Süreç modeli ve syscall ABI

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: PID yeniden kullanımda nesil değişir.

Uygulanacak işlem

“PID ve nesil tablosu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: PID yeniden kullanımda nesil değişir. “Üç süreç aynı boş slotu kullanır” kabulü ile “Eski PID kill talebi” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

PID yeniden kullanımda nesil değişir

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_pid

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üç süreç aynı boş slotu kullanır

Karşı-örnek / hata girdisi

Eski PID kill talebi

Gerçek konuk kabulü

Yeni süreç eski isteği reddeder

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_pid_positive
os_process_table_pid_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Tür ve geçiş tablosu PID yeniden kullanımda nesil değişir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Eski PID kill talebi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1105: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. İlk hamle; mevcut K501–K600 sözleşmesi başlangıç bağlamıdır. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: PID yeniden kullanımda nesil değişir.

Uygulanacak işlem

kernel/src/runtime/process_table.rs hedefinde os_process_table_pid yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

PID yeniden kullanımda nesil değişir

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_pid

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üç süreç aynı boş slotu kullanır

Karşı-örnek / hata girdisi

Eski PID kill talebi

Gerçek konuk kabulü

Yeni süreç eski isteği reddeder

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_pid_positive
os_process_table_pid_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç süreç aynı boş slotu kullanır ile Eski PID kill talebi ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Eski PID kill talebi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1105: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1101. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: PID yeniden kullanımda nesil değişir.

Uygulanacak işlem

os_process_table_pid_positive testini oluştur: “Üç süreç aynı boş slotu kullanır”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

PID yeniden kullanımda nesil değişir

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_pid

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üç süreç aynı boş slotu kullanır

Karşı-örnek / hata girdisi

Eski PID kill talebi

Gerçek konuk kabulü

Yeni süreç eski isteği reddeder

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_pid_positive
os_process_table_pid_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Üç süreç aynı boş slotu kullanır girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Eski PID kill talebi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1105: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1102. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: PID yeniden kullanımda nesil değişir.

Uygulanacak işlem

os_process_table_pid_negative testini oluştur: “Eski PID kill talebi”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

PID yeniden kullanımda nesil değişir

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_pid

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üç süreç aynı boş slotu kullanır

Karşı-örnek / hata girdisi

Eski PID kill talebi

Gerçek konuk kabulü

Yeni süreç eski isteği reddeder

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_pid_positive
os_process_table_pid_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Eski PID kill talebi karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Eski PID kill talebi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1105: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1103. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: PID yeniden kullanımda nesil değişir.

Uygulanacak işlem

Tek ürün Image'ında “Yeni süreç eski isteği reddeder” kabulünü koştur. scripts/os-acceptance/process_table.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

PID yeniden kullanımda nesil değişir

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_pid

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üç süreç aynı boş slotu kullanır

Karşı-örnek / hata girdisi

Eski PID kill talebi

Gerçek konuk kabulü

Yeni süreç eski isteği reddeder

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_pid_positive
os_process_table_pid_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Yeni süreç eski isteği reddeder; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Eski PID kill talebi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1105: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1104. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Çocuk bağı tam kimliğe bağlıdır.

Uygulanacak işlem

“Ebeveyn çocuk bağı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Çocuk bağı tam kimliğe bağlıdır. “A iki çocuk oluşturur” kabulü ile “Yabancı ebeveyn wait” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Çocuk bağı tam kimliğe bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_parent

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

A iki çocuk oluşturur

Karşı-örnek / hata girdisi

Yabancı ebeveyn wait

Gerçek konuk kabulü

Yalnız sahibi çıkış kodunu alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_parent_positive
os_process_table_parent_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Tür ve geçiş tablosu Çocuk bağı tam kimliğe bağlıdır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Yabancı ebeveyn wait” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1110: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1105. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Çocuk bağı tam kimliğe bağlıdır.

Uygulanacak işlem

kernel/src/runtime/process_table.rs hedefinde os_process_table_parent yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Çocuk bağı tam kimliğe bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_parent

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

A iki çocuk oluşturur

Karşı-örnek / hata girdisi

Yabancı ebeveyn wait

Gerçek konuk kabulü

Yalnız sahibi çıkış kodunu alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_parent_positive
os_process_table_parent_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. A iki çocuk oluşturur ile Yabancı ebeveyn wait ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Yabancı ebeveyn wait” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1110: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1106. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Çocuk bağı tam kimliğe bağlıdır.

Uygulanacak işlem

os_process_table_parent_positive testini oluştur: “A iki çocuk oluşturur”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Çocuk bağı tam kimliğe bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_parent

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

A iki çocuk oluşturur

Karşı-örnek / hata girdisi

Yabancı ebeveyn wait

Gerçek konuk kabulü

Yalnız sahibi çıkış kodunu alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_parent_positive
os_process_table_parent_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; A iki çocuk oluşturur girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Yabancı ebeveyn wait” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1110: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1107. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Çocuk bağı tam kimliğe bağlıdır.

Uygulanacak işlem

os_process_table_parent_negative testini oluştur: “Yabancı ebeveyn wait”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Çocuk bağı tam kimliğe bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_parent

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

A iki çocuk oluşturur

Karşı-örnek / hata girdisi

Yabancı ebeveyn wait

Gerçek konuk kabulü

Yalnız sahibi çıkış kodunu alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_parent_positive
os_process_table_parent_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Yabancı ebeveyn wait karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Yabancı ebeveyn wait” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1110: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1108. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Çocuk bağı tam kimliğe bağlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Yalnız sahibi çıkış kodunu alır” kabulünü koştur. scripts/os-acceptance/process_table.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Çocuk bağı tam kimliğe bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_parent

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

A iki çocuk oluşturur

Karşı-örnek / hata girdisi

Yabancı ebeveyn wait

Gerçek konuk kabulü

Yalnız sahibi çıkış kodunu alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_parent_positive
os_process_table_parent_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Yalnız sahibi çıkış kodunu alır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Yabancı ebeveyn wait” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1110: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1109. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Thread map handle süreç sahibine bağlıdır.

Uygulanacak işlem

“Süreç kaynak torbası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Thread map handle süreç sahibine bağlıdır. “İki adres alanı ve üç handle” kabulü ile “Kaynak ortada tükenir” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Thread map handle süreç sahibine bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_resources

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki adres alanı ve üç handle

Karşı-örnek / hata girdisi

Kaynak ortada tükenir

Gerçek konuk kabulü

Oluşturma atomik geri alınır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_resources_positive
os_process_table_resources_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Tür ve geçiş tablosu Thread map handle süreç sahibine bağlıdır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Kaynak ortada tükenir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1115: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1110. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Thread map handle süreç sahibine bağlıdır.

Uygulanacak işlem

kernel/src/runtime/process_table.rs hedefinde os_process_table_resources yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Thread map handle süreç sahibine bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_resources

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki adres alanı ve üç handle

Karşı-örnek / hata girdisi

Kaynak ortada tükenir

Gerçek konuk kabulü

Oluşturma atomik geri alınır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_resources_positive
os_process_table_resources_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki adres alanı ve üç handle ile Kaynak ortada tükenir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Kaynak ortada tükenir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1115: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1111. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Thread map handle süreç sahibine bağlıdır.

Uygulanacak işlem

os_process_table_resources_positive testini oluştur: “İki adres alanı ve üç handle”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Thread map handle süreç sahibine bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_resources

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki adres alanı ve üç handle

Karşı-örnek / hata girdisi

Kaynak ortada tükenir

Gerçek konuk kabulü

Oluşturma atomik geri alınır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_resources_positive
os_process_table_resources_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki adres alanı ve üç handle girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Kaynak ortada tükenir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1115: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1112. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Thread map handle süreç sahibine bağlıdır.

Uygulanacak işlem

os_process_table_resources_negative testini oluştur: “Kaynak ortada tükenir”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Thread map handle süreç sahibine bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_resources

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki adres alanı ve üç handle

Karşı-örnek / hata girdisi

Kaynak ortada tükenir

Gerçek konuk kabulü

Oluşturma atomik geri alınır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_resources_positive
os_process_table_resources_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Kaynak ortada tükenir karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Kaynak ortada tükenir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1115: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1113. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Thread map handle süreç sahibine bağlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Oluşturma atomik geri alınır” kabulünü koştur. scripts/os-acceptance/process_table.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Thread map handle süreç sahibine bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_resources

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki adres alanı ve üç handle

Karşı-örnek / hata girdisi

Kaynak ortada tükenir

Gerçek konuk kabulü

Oluşturma atomik geri alınır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_resources_positive
os_process_table_resources_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Oluşturma atomik geri alınır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Kaynak ortada tükenir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1115: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1114. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Hazırlanmamış süreç runnable olmaz.

Uygulanacak işlem

“Süreç atomik yayımlama” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Hazırlanmamış süreç runnable olmaz. “İmaj ve stack tamamlanır” kabulü ile “Stack kurmadan enqueue” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Hazırlanmamış süreç runnable olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_publish

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İmaj ve stack tamamlanır

Karşı-örnek / hata girdisi

Stack kurmadan enqueue

Gerçek konuk kabulü

Başarısız PID hiçbir listede yok

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_publish_positive
os_process_table_publish_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Tür ve geçiş tablosu Hazırlanmamış süreç runnable olmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Stack kurmadan enqueue” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1120: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1115. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Hazırlanmamış süreç runnable olmaz.

Uygulanacak işlem

kernel/src/runtime/process_table.rs hedefinde os_process_table_publish yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Hazırlanmamış süreç runnable olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_publish

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İmaj ve stack tamamlanır

Karşı-örnek / hata girdisi

Stack kurmadan enqueue

Gerçek konuk kabulü

Başarısız PID hiçbir listede yok

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_publish_positive
os_process_table_publish_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İmaj ve stack tamamlanır ile Stack kurmadan enqueue ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Stack kurmadan enqueue” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1120: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1116. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Hazırlanmamış süreç runnable olmaz.

Uygulanacak işlem

os_process_table_publish_positive testini oluştur: “İmaj ve stack tamamlanır”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Hazırlanmamış süreç runnable olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_publish

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İmaj ve stack tamamlanır

Karşı-örnek / hata girdisi

Stack kurmadan enqueue

Gerçek konuk kabulü

Başarısız PID hiçbir listede yok

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_publish_positive
os_process_table_publish_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İmaj ve stack tamamlanır girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Stack kurmadan enqueue” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1120: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1117. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Hazırlanmamış süreç runnable olmaz.

Uygulanacak işlem

os_process_table_publish_negative testini oluştur: “Stack kurmadan enqueue”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Hazırlanmamış süreç runnable olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_publish

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İmaj ve stack tamamlanır

Karşı-örnek / hata girdisi

Stack kurmadan enqueue

Gerçek konuk kabulü

Başarısız PID hiçbir listede yok

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_publish_positive
os_process_table_publish_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Stack kurmadan enqueue karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Stack kurmadan enqueue” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1120: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1118. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Hazırlanmamış süreç runnable olmaz.

Uygulanacak işlem

Tek ürün Image'ında “Başarısız PID hiçbir listede yok” kabulünü koştur. scripts/os-acceptance/process_table.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Hazırlanmamış süreç runnable olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/process_table.rs · os_process_table_publish

Mevcut başlangıç referansı

kernel/src/process.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İmaj ve stack tamamlanır

Karşı-örnek / hata girdisi

Stack kurmadan enqueue

Gerçek konuk kabulü

Başarısız PID hiçbir listede yok

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_table.rs
os_process_table_publish_positive
os_process_table_publish_negative
scripts/os-acceptance/process_table.mjs

Geçiş koşulu

Başarısız PID hiçbir listede yok; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Stack kurmadan enqueue” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1120: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1119. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Bilinmeyen numara ENOSYS döndürür.

Uygulanacak işlem

“Syscall numara ve sürüm” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Bilinmeyen numara ENOSYS döndürür. “ABI V1 bilinen çağrı” kabulü ile “u64 maksimum syscall” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Bilinmeyen numara ENOSYS döndürür

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_numbers

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

ABI V1 bilinen çağrı

Karşı-örnek / hata girdisi

u64 maksimum syscall

Gerçek konuk kabulü

Ret sonrası EL0 çalışmaya devam

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_numbers_positive
os_syscall_abi_numbers_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

Tür ve geçiş tablosu Bilinmeyen numara ENOSYS döndürür kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“u64 maksimum syscall” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1125: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1120. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Bilinmeyen numara ENOSYS döndürür.

Uygulanacak işlem

kernel/src/runtime/syscall_abi.rs hedefinde os_syscall_abi_numbers yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/syscall.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Bilinmeyen numara ENOSYS döndürür

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_numbers

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

ABI V1 bilinen çağrı

Karşı-örnek / hata girdisi

u64 maksimum syscall

Gerçek konuk kabulü

Ret sonrası EL0 çalışmaya devam

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_numbers_positive
os_syscall_abi_numbers_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. ABI V1 bilinen çağrı ile u64 maksimum syscall ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“u64 maksimum syscall” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1125: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1121. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Bilinmeyen numara ENOSYS döndürür.

Uygulanacak işlem

os_syscall_abi_numbers_positive testini oluştur: “ABI V1 bilinen çağrı”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Bilinmeyen numara ENOSYS döndürür

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_numbers

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

ABI V1 bilinen çağrı

Karşı-örnek / hata girdisi

u64 maksimum syscall

Gerçek konuk kabulü

Ret sonrası EL0 çalışmaya devam

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_numbers_positive
os_syscall_abi_numbers_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; ABI V1 bilinen çağrı girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“u64 maksimum syscall” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1125: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1122. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Bilinmeyen numara ENOSYS döndürür.

Uygulanacak işlem

os_syscall_abi_numbers_negative testini oluştur: “u64 maksimum syscall”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Bilinmeyen numara ENOSYS döndürür

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_numbers

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

ABI V1 bilinen çağrı

Karşı-örnek / hata girdisi

u64 maksimum syscall

Gerçek konuk kabulü

Ret sonrası EL0 çalışmaya devam

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_numbers_positive
os_syscall_abi_numbers_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

u64 maksimum syscall karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“u64 maksimum syscall” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1125: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1123. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Bilinmeyen numara ENOSYS döndürür.

Uygulanacak işlem

Tek ürün Image'ında “Ret sonrası EL0 çalışmaya devam” kabulünü koştur. scripts/os-acceptance/syscall_abi.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Bilinmeyen numara ENOSYS döndürür

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_numbers

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

ABI V1 bilinen çağrı

Karşı-örnek / hata girdisi

u64 maksimum syscall

Gerçek konuk kabulü

Ret sonrası EL0 çalışmaya devam

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_numbers_positive
os_syscall_abi_numbers_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

Ret sonrası EL0 çalışmaya devam; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“u64 maksimum syscall” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1125: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1124. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Argüman genişliği işareti açık belirtilir.

Uygulanacak işlem

“Kayıt argüman sözleşmesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Argüman genişliği işareti açık belirtilir. “Altı kayıt argümanı” kabulü ile “32 bit sayı üst bitleri” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Argüman genişliği işareti açık belirtilir

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_arguments

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Altı kayıt argümanı

Karşı-örnek / hata girdisi

32 bit sayı üst bitleri

Gerçek konuk kabulü

Kernel normalleştirilmiş değeri kullanır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_arguments_positive
os_syscall_abi_arguments_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

Tür ve geçiş tablosu Argüman genişliği işareti açık belirtilir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“32 bit sayı üst bitleri” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1130: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1125. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Argüman genişliği işareti açık belirtilir.

Uygulanacak işlem

kernel/src/runtime/syscall_abi.rs hedefinde os_syscall_abi_arguments yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/syscall.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Argüman genişliği işareti açık belirtilir

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_arguments

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Altı kayıt argümanı

Karşı-örnek / hata girdisi

32 bit sayı üst bitleri

Gerçek konuk kabulü

Kernel normalleştirilmiş değeri kullanır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_arguments_positive
os_syscall_abi_arguments_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Altı kayıt argümanı ile 32 bit sayı üst bitleri ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“32 bit sayı üst bitleri” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1130: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1126. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Argüman genişliği işareti açık belirtilir.

Uygulanacak işlem

os_syscall_abi_arguments_positive testini oluştur: “Altı kayıt argümanı”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Argüman genişliği işareti açık belirtilir

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_arguments

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Altı kayıt argümanı

Karşı-örnek / hata girdisi

32 bit sayı üst bitleri

Gerçek konuk kabulü

Kernel normalleştirilmiş değeri kullanır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_arguments_positive
os_syscall_abi_arguments_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Altı kayıt argümanı girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“32 bit sayı üst bitleri” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1130: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1127. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Argüman genişliği işareti açık belirtilir.

Uygulanacak işlem

os_syscall_abi_arguments_negative testini oluştur: “32 bit sayı üst bitleri”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Argüman genişliği işareti açık belirtilir

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_arguments

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Altı kayıt argümanı

Karşı-örnek / hata girdisi

32 bit sayı üst bitleri

Gerçek konuk kabulü

Kernel normalleştirilmiş değeri kullanır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_arguments_positive
os_syscall_abi_arguments_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

32 bit sayı üst bitleri karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“32 bit sayı üst bitleri” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1130: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1128. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Argüman genişliği işareti açık belirtilir.

Uygulanacak işlem

Tek ürün Image'ında “Kernel normalleştirilmiş değeri kullanır” kabulünü koştur. scripts/os-acceptance/syscall_abi.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Argüman genişliği işareti açık belirtilir

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_arguments

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Altı kayıt argümanı

Karşı-örnek / hata girdisi

32 bit sayı üst bitleri

Gerçek konuk kabulü

Kernel normalleştirilmiş değeri kullanır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_arguments_positive
os_syscall_abi_arguments_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

Kernel normalleştirilmiş değeri kullanır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“32 bit sayı üst bitleri” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1130: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1129. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Hata pointer veya başarıyla karışmaz.

Uygulanacak işlem

“Hata kodu ve sonuç tipi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Hata pointer veya başarıyla karışmaz. “EBADF EFAULT ENOMEM” kabulü ile “Negatif hata unsigned uzunluk olur” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Hata pointer veya başarıyla karışmaz

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_errors

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

EBADF EFAULT ENOMEM

Karşı-örnek / hata girdisi

Negatif hata unsigned uzunluk olur

Gerçek konuk kabulü

Kullanıcı wrapper doğru hata görür

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_errors_positive
os_syscall_abi_errors_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

Tür ve geçiş tablosu Hata pointer veya başarıyla karışmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Negatif hata unsigned uzunluk olur” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1135: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1130. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Hata pointer veya başarıyla karışmaz.

Uygulanacak işlem

kernel/src/runtime/syscall_abi.rs hedefinde os_syscall_abi_errors yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/syscall.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Hata pointer veya başarıyla karışmaz

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_errors

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

EBADF EFAULT ENOMEM

Karşı-örnek / hata girdisi

Negatif hata unsigned uzunluk olur

Gerçek konuk kabulü

Kullanıcı wrapper doğru hata görür

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_errors_positive
os_syscall_abi_errors_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. EBADF EFAULT ENOMEM ile Negatif hata unsigned uzunluk olur ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Negatif hata unsigned uzunluk olur” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1135: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1131. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Hata pointer veya başarıyla karışmaz.

Uygulanacak işlem

os_syscall_abi_errors_positive testini oluştur: “EBADF EFAULT ENOMEM”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Hata pointer veya başarıyla karışmaz

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_errors

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

EBADF EFAULT ENOMEM

Karşı-örnek / hata girdisi

Negatif hata unsigned uzunluk olur

Gerçek konuk kabulü

Kullanıcı wrapper doğru hata görür

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_errors_positive
os_syscall_abi_errors_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; EBADF EFAULT ENOMEM girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Negatif hata unsigned uzunluk olur” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1135: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1132. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Hata pointer veya başarıyla karışmaz.

Uygulanacak işlem

os_syscall_abi_errors_negative testini oluştur: “Negatif hata unsigned uzunluk olur”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Hata pointer veya başarıyla karışmaz

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_errors

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

EBADF EFAULT ENOMEM

Karşı-örnek / hata girdisi

Negatif hata unsigned uzunluk olur

Gerçek konuk kabulü

Kullanıcı wrapper doğru hata görür

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_errors_positive
os_syscall_abi_errors_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

Negatif hata unsigned uzunluk olur karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Negatif hata unsigned uzunluk olur” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1135: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1133. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Hata pointer veya başarıyla karışmaz.

Uygulanacak işlem

Tek ürün Image'ında “Kullanıcı wrapper doğru hata görür” kabulünü koştur. scripts/os-acceptance/syscall_abi.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Hata pointer veya başarıyla karışmaz

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_errors

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

EBADF EFAULT ENOMEM

Karşı-örnek / hata girdisi

Negatif hata unsigned uzunluk olur

Gerçek konuk kabulü

Kullanıcı wrapper doğru hata görür

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_errors_positive
os_syscall_abi_errors_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

Kullanıcı wrapper doğru hata görür; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Negatif hata unsigned uzunluk olur” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1135: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1134. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Yetki ve pointer kontrolü işlemi önceler.

Uygulanacak işlem

“SVC dispatch tablosu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yetki ve pointer kontrolü işlemi önceler. “Yetkili yazı çağrısı” kabulü ile “Yabancı adresli write” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Yetki ve pointer kontrolü işlemi önceler

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_dispatch

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Yetkili yazı çağrısı

Karşı-örnek / hata girdisi

Yabancı adresli write

Gerçek konuk kabulü

Başarısız çağrı yan etki üretmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_dispatch_positive
os_syscall_abi_dispatch_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

Tür ve geçiş tablosu Yetki ve pointer kontrolü işlemi önceler kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Yabancı adresli write” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1140: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1135. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Yetki ve pointer kontrolü işlemi önceler.

Uygulanacak işlem

kernel/src/runtime/syscall_abi.rs hedefinde os_syscall_abi_dispatch yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/syscall.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Yetki ve pointer kontrolü işlemi önceler

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_dispatch

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Yetkili yazı çağrısı

Karşı-örnek / hata girdisi

Yabancı adresli write

Gerçek konuk kabulü

Başarısız çağrı yan etki üretmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_dispatch_positive
os_syscall_abi_dispatch_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Yetkili yazı çağrısı ile Yabancı adresli write ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Yabancı adresli write” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1140: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1136. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Yetki ve pointer kontrolü işlemi önceler.

Uygulanacak işlem

os_syscall_abi_dispatch_positive testini oluştur: “Yetkili yazı çağrısı”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Yetki ve pointer kontrolü işlemi önceler

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_dispatch

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Yetkili yazı çağrısı

Karşı-örnek / hata girdisi

Yabancı adresli write

Gerçek konuk kabulü

Başarısız çağrı yan etki üretmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_dispatch_positive
os_syscall_abi_dispatch_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Yetkili yazı çağrısı girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Yabancı adresli write” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1140: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1137. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Yetki ve pointer kontrolü işlemi önceler.

Uygulanacak işlem

os_syscall_abi_dispatch_negative testini oluştur: “Yabancı adresli write”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Yetki ve pointer kontrolü işlemi önceler

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_dispatch

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Yetkili yazı çağrısı

Karşı-örnek / hata girdisi

Yabancı adresli write

Gerçek konuk kabulü

Başarısız çağrı yan etki üretmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_dispatch_positive
os_syscall_abi_dispatch_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

Yabancı adresli write karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Yabancı adresli write” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1140: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1138. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Yetki ve pointer kontrolü işlemi önceler.

Uygulanacak işlem

Tek ürün Image'ında “Başarısız çağrı yan etki üretmez” kabulünü koştur. scripts/os-acceptance/syscall_abi.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Yetki ve pointer kontrolü işlemi önceler

Kod hedefi — henüz öneri

kernel/src/runtime/syscall_abi.rs · os_syscall_abi_dispatch

Mevcut başlangıç referansı

kernel/src/syscall.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Yetkili yazı çağrısı

Karşı-örnek / hata girdisi

Yabancı adresli write

Gerçek konuk kabulü

Başarısız çağrı yan etki üretmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/syscall_abi.rs
os_syscall_abi_dispatch_positive
os_syscall_abi_dispatch_negative
scripts/os-acceptance/syscall_abi.mjs

Geçiş koşulu

Başarısız çağrı yan etki üretmez; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Yabancı adresli write” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1140: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1139. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: İlk exec güvenilir imaj boyuyla sınırlıdır.

Uygulanacak işlem

“Gömülü INIT imaj devri” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: İlk exec güvenilir imaj boyuyla sınırlıdır. “Bilinen küçük static ELF” kabulü ile “Kesik ELF header” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

İlk exec güvenilir imaj boyuyla sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_image

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bilinen küçük static ELF

Karşı-örnek / hata girdisi

Kesik ELF header

Gerçek konuk kabulü

PID veya frame yayımlanmaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_image_positive
os_spawn_transaction_image_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

Tür ve geçiş tablosu İlk exec güvenilir imaj boyuyla sınırlıdır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Kesik ELF header” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1145: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1140. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: İlk exec güvenilir imaj boyuyla sınırlıdır.

Uygulanacak işlem

kernel/src/runtime/spawn_transaction.rs hedefinde os_spawn_transaction_image yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process_image.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

İlk exec güvenilir imaj boyuyla sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_image

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bilinen küçük static ELF

Karşı-örnek / hata girdisi

Kesik ELF header

Gerçek konuk kabulü

PID veya frame yayımlanmaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_image_positive
os_spawn_transaction_image_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bilinen küçük static ELF ile Kesik ELF header ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Kesik ELF header” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1145: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1141. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: İlk exec güvenilir imaj boyuyla sınırlıdır.

Uygulanacak işlem

os_spawn_transaction_image_positive testini oluştur: “Bilinen küçük static ELF”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

İlk exec güvenilir imaj boyuyla sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_image

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bilinen küçük static ELF

Karşı-örnek / hata girdisi

Kesik ELF header

Gerçek konuk kabulü

PID veya frame yayımlanmaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_image_positive
os_spawn_transaction_image_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Bilinen küçük static ELF girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Kesik ELF header” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1145: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1142. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: İlk exec güvenilir imaj boyuyla sınırlıdır.

Uygulanacak işlem

os_spawn_transaction_image_negative testini oluştur: “Kesik ELF header”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

İlk exec güvenilir imaj boyuyla sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_image

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bilinen küçük static ELF

Karşı-örnek / hata girdisi

Kesik ELF header

Gerçek konuk kabulü

PID veya frame yayımlanmaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_image_positive
os_spawn_transaction_image_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

Kesik ELF header karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Kesik ELF header” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1145: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1143. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: İlk exec güvenilir imaj boyuyla sınırlıdır.

Uygulanacak işlem

Tek ürün Image'ında “PID veya frame yayımlanmaz” kabulünü koştur. scripts/os-acceptance/spawn_transaction.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

İlk exec güvenilir imaj boyuyla sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_image

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bilinen küçük static ELF

Karşı-örnek / hata girdisi

Kesik ELF header

Gerçek konuk kabulü

PID veya frame yayımlanmaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_image_positive
os_spawn_transaction_image_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

PID veya frame yayımlanmaz; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Kesik ELF header” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1145: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1144. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Pointerlar yalnız özel stack içinde kalır.

Uygulanacak işlem

“Argv env ve kullanıcı stack” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Pointerlar yalnız özel stack içinde kalır. “İki argüman ve iki env” kabulü ile “Toplam metin limit artı bir” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Pointerlar yalnız özel stack içinde kalır

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_argv

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki argüman ve iki env

Karşı-örnek / hata girdisi

Toplam metin limit artı bir

Gerçek konuk kabulü

Hata bütün edinimi geri alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_argv_positive
os_spawn_transaction_argv_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

Tür ve geçiş tablosu Pointerlar yalnız özel stack içinde kalır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Toplam metin limit artı bir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1150: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1145. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Pointerlar yalnız özel stack içinde kalır.

Uygulanacak işlem

kernel/src/runtime/spawn_transaction.rs hedefinde os_spawn_transaction_argv yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process_image.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Pointerlar yalnız özel stack içinde kalır

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_argv

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki argüman ve iki env

Karşı-örnek / hata girdisi

Toplam metin limit artı bir

Gerçek konuk kabulü

Hata bütün edinimi geri alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_argv_positive
os_spawn_transaction_argv_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki argüman ve iki env ile Toplam metin limit artı bir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Toplam metin limit artı bir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1150: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1146. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Pointerlar yalnız özel stack içinde kalır.

Uygulanacak işlem

os_spawn_transaction_argv_positive testini oluştur: “İki argüman ve iki env”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Pointerlar yalnız özel stack içinde kalır

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_argv

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki argüman ve iki env

Karşı-örnek / hata girdisi

Toplam metin limit artı bir

Gerçek konuk kabulü

Hata bütün edinimi geri alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_argv_positive
os_spawn_transaction_argv_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki argüman ve iki env girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Toplam metin limit artı bir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1150: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1147. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Pointerlar yalnız özel stack içinde kalır.

Uygulanacak işlem

os_spawn_transaction_argv_negative testini oluştur: “Toplam metin limit artı bir”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Pointerlar yalnız özel stack içinde kalır

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_argv

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki argüman ve iki env

Karşı-örnek / hata girdisi

Toplam metin limit artı bir

Gerçek konuk kabulü

Hata bütün edinimi geri alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_argv_positive
os_spawn_transaction_argv_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

Toplam metin limit artı bir karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Toplam metin limit artı bir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1150: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1148. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Pointerlar yalnız özel stack içinde kalır.

Uygulanacak işlem

Tek ürün Image'ında “Hata bütün edinimi geri alır” kabulünü koştur. scripts/os-acceptance/spawn_transaction.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Pointerlar yalnız özel stack içinde kalır

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_argv

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki argüman ve iki env

Karşı-örnek / hata girdisi

Toplam metin limit artı bir

Gerçek konuk kabulü

Hata bütün edinimi geri alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_argv_positive
os_spawn_transaction_argv_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

Hata bütün edinimi geri alır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Toplam metin limit artı bir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1150: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1149. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Entry RX SP RW ve SPSR EL0 olur.

Uygulanacak işlem

“İlk EL0 ERET” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Entry RX SP RW ve SPSR EL0 olur. “Hizalı geçerli entry” kabulü ile “Kernel VA entry” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Entry RX SP RW ve SPSR EL0 olur

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_entry

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Hizalı geçerli entry

Karşı-örnek / hata girdisi

Kernel VA entry

Gerçek konuk kabulü

Bozuk giriş ERETten önce reddedilir

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_entry_positive
os_spawn_transaction_entry_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

Tür ve geçiş tablosu Entry RX SP RW ve SPSR EL0 olur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Kernel VA entry” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1155: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1150. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Entry RX SP RW ve SPSR EL0 olur.

Uygulanacak işlem

kernel/src/runtime/spawn_transaction.rs hedefinde os_spawn_transaction_entry yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process_image.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Entry RX SP RW ve SPSR EL0 olur

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_entry

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Hizalı geçerli entry

Karşı-örnek / hata girdisi

Kernel VA entry

Gerçek konuk kabulü

Bozuk giriş ERETten önce reddedilir

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_entry_positive
os_spawn_transaction_entry_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Hizalı geçerli entry ile Kernel VA entry ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Kernel VA entry” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1155: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1151. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Entry RX SP RW ve SPSR EL0 olur.

Uygulanacak işlem

os_spawn_transaction_entry_positive testini oluştur: “Hizalı geçerli entry”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Entry RX SP RW ve SPSR EL0 olur

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_entry

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Hizalı geçerli entry

Karşı-örnek / hata girdisi

Kernel VA entry

Gerçek konuk kabulü

Bozuk giriş ERETten önce reddedilir

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_entry_positive
os_spawn_transaction_entry_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Hizalı geçerli entry girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Kernel VA entry” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1155: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1152. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Entry RX SP RW ve SPSR EL0 olur.

Uygulanacak işlem

os_spawn_transaction_entry_negative testini oluştur: “Kernel VA entry”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Entry RX SP RW ve SPSR EL0 olur

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_entry

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Hizalı geçerli entry

Karşı-örnek / hata girdisi

Kernel VA entry

Gerçek konuk kabulü

Bozuk giriş ERETten önce reddedilir

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_entry_positive
os_spawn_transaction_entry_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

Kernel VA entry karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Kernel VA entry” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1155: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1153. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Entry RX SP RW ve SPSR EL0 olur.

Uygulanacak işlem

Tek ürün Image'ında “Bozuk giriş ERETten önce reddedilir” kabulünü koştur. scripts/os-acceptance/spawn_transaction.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Entry RX SP RW ve SPSR EL0 olur

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_entry

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Hizalı geçerli entry

Karşı-örnek / hata girdisi

Kernel VA entry

Gerçek konuk kabulü

Bozuk giriş ERETten önce reddedilir

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_entry_positive
os_spawn_transaction_entry_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

Bozuk giriş ERETten önce reddedilir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Kernel VA entry” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1155: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1154. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Her edinim durağı aynı başlangıca döner.

Uygulanacak işlem

“Kısmi spawn geri alma” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Her edinim durağı aynı başlangıca döner. “Üçüncü frame sonrası başarısızlık” kabulü ile “Handle tahsisi sonrası ENOSPC” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Her edinim durağı aynı başlangıca döner

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_unwind

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üçüncü frame sonrası başarısızlık

Karşı-örnek / hata girdisi

Handle tahsisi sonrası ENOSPC

Gerçek konuk kabulü

PID nesil ve free sayısı korunur

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_unwind_positive
os_spawn_transaction_unwind_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

Tür ve geçiş tablosu Her edinim durağı aynı başlangıca döner kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Handle tahsisi sonrası ENOSPC” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1160: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1155. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Her edinim durağı aynı başlangıca döner.

Uygulanacak işlem

kernel/src/runtime/spawn_transaction.rs hedefinde os_spawn_transaction_unwind yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process_image.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Her edinim durağı aynı başlangıca döner

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_unwind

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üçüncü frame sonrası başarısızlık

Karşı-örnek / hata girdisi

Handle tahsisi sonrası ENOSPC

Gerçek konuk kabulü

PID nesil ve free sayısı korunur

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_unwind_positive
os_spawn_transaction_unwind_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üçüncü frame sonrası başarısızlık ile Handle tahsisi sonrası ENOSPC ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Handle tahsisi sonrası ENOSPC” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1160: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1156. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Her edinim durağı aynı başlangıca döner.

Uygulanacak işlem

os_spawn_transaction_unwind_positive testini oluştur: “Üçüncü frame sonrası başarısızlık”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Her edinim durağı aynı başlangıca döner

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_unwind

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üçüncü frame sonrası başarısızlık

Karşı-örnek / hata girdisi

Handle tahsisi sonrası ENOSPC

Gerçek konuk kabulü

PID nesil ve free sayısı korunur

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_unwind_positive
os_spawn_transaction_unwind_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Üçüncü frame sonrası başarısızlık girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Handle tahsisi sonrası ENOSPC” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1160: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1157. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Her edinim durağı aynı başlangıca döner.

Uygulanacak işlem

os_spawn_transaction_unwind_negative testini oluştur: “Handle tahsisi sonrası ENOSPC”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Her edinim durağı aynı başlangıca döner

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_unwind

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üçüncü frame sonrası başarısızlık

Karşı-örnek / hata girdisi

Handle tahsisi sonrası ENOSPC

Gerçek konuk kabulü

PID nesil ve free sayısı korunur

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_unwind_positive
os_spawn_transaction_unwind_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

Handle tahsisi sonrası ENOSPC karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Handle tahsisi sonrası ENOSPC” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1160: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1158. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Her edinim durağı aynı başlangıca döner.

Uygulanacak işlem

Tek ürün Image'ında “PID nesil ve free sayısı korunur” kabulünü koştur. scripts/os-acceptance/spawn_transaction.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Her edinim durağı aynı başlangıca döner

Kod hedefi — henüz öneri

kernel/src/runtime/spawn_transaction.rs · os_spawn_transaction_unwind

Mevcut başlangıç referansı

kernel/src/process_image.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üçüncü frame sonrası başarısızlık

Karşı-örnek / hata girdisi

Handle tahsisi sonrası ENOSPC

Gerçek konuk kabulü

PID nesil ve free sayısı korunur

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/spawn_transaction.rs
os_spawn_transaction_unwind_positive
os_spawn_transaction_unwind_negative
scripts/os-acceptance/spawn_transaction.mjs

Geçiş koşulu

PID nesil ve free sayısı korunur; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Handle tahsisi sonrası ENOSPC” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1160: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1159. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Kimlik kullanıcı argümanından alınmaz.

Uygulanacak işlem

“Süreç principal kimliği” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kimlik kullanıcı argümanından alınmaz. “Kernel atadığı iki principal” kabulü ile “Kullanıcı principal 0 ister” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kimlik kullanıcı argümanından alınmaz

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_principal

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Kernel atadığı iki principal

Karşı-örnek / hata girdisi

Kullanıcı principal 0 ister

Gerçek konuk kabulü

Yükseltme açık ret verir

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_principal_positive
os_process_rights_principal_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kimlik kullanıcı argümanından alınmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Kullanıcı principal 0 ister” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1165: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1160. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Kimlik kullanıcı argümanından alınmaz.

Uygulanacak işlem

kernel/src/runtime/process_rights.rs hedefinde os_process_rights_principal yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/handle.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Kimlik kullanıcı argümanından alınmaz

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_principal

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Kernel atadığı iki principal

Karşı-örnek / hata girdisi

Kullanıcı principal 0 ister

Gerçek konuk kabulü

Yükseltme açık ret verir

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_principal_positive
os_process_rights_principal_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Kernel atadığı iki principal ile Kullanıcı principal 0 ister ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Kullanıcı principal 0 ister” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1165: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1161. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Kimlik kullanıcı argümanından alınmaz.

Uygulanacak işlem

os_process_rights_principal_positive testini oluştur: “Kernel atadığı iki principal”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Kimlik kullanıcı argümanından alınmaz

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_principal

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Kernel atadığı iki principal

Karşı-örnek / hata girdisi

Kullanıcı principal 0 ister

Gerçek konuk kabulü

Yükseltme açık ret verir

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_principal_positive
os_process_rights_principal_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Kernel atadığı iki principal girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Kullanıcı principal 0 ister” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1165: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1162. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Kimlik kullanıcı argümanından alınmaz.

Uygulanacak işlem

os_process_rights_principal_negative testini oluştur: “Kullanıcı principal 0 ister”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Kimlik kullanıcı argümanından alınmaz

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_principal

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Kernel atadığı iki principal

Karşı-örnek / hata girdisi

Kullanıcı principal 0 ister

Gerçek konuk kabulü

Yükseltme açık ret verir

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_principal_positive
os_process_rights_principal_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Kullanıcı principal 0 ister karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Kullanıcı principal 0 ister” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1165: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1163. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Kimlik kullanıcı argümanından alınmaz.

Uygulanacak işlem

Tek ürün Image'ında “Yükseltme açık ret verir” kabulünü koştur. scripts/os-acceptance/process_rights.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Kimlik kullanıcı argümanından alınmaz

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_principal

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Kernel atadığı iki principal

Karşı-örnek / hata girdisi

Kullanıcı principal 0 ister

Gerçek konuk kabulü

Yükseltme açık ret verir

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_principal_positive
os_process_rights_principal_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Yükseltme açık ret verir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Kullanıcı principal 0 ister” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1165: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1164. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Çocuk yalnız açık devredilen hak alır.

Uygulanacak işlem

“Spawn yetki devri” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Çocuk yalnız açık devredilen hak alır. “RO dosya handle mirası” kabulü ile “Kernel aygıt handle mirası” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Çocuk yalnız açık devredilen hak alır

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_inherit

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

RO dosya handle mirası

Karşı-örnek / hata girdisi

Kernel aygıt handle mirası

Gerçek konuk kabulü

Çocuk kernel kontrolü edinmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_inherit_positive
os_process_rights_inherit_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Tür ve geçiş tablosu Çocuk yalnız açık devredilen hak alır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Kernel aygıt handle mirası” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1170: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1165. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Çocuk yalnız açık devredilen hak alır.

Uygulanacak işlem

kernel/src/runtime/process_rights.rs hedefinde os_process_rights_inherit yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/handle.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Çocuk yalnız açık devredilen hak alır

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_inherit

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

RO dosya handle mirası

Karşı-örnek / hata girdisi

Kernel aygıt handle mirası

Gerçek konuk kabulü

Çocuk kernel kontrolü edinmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_inherit_positive
os_process_rights_inherit_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. RO dosya handle mirası ile Kernel aygıt handle mirası ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Kernel aygıt handle mirası” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1170: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1166. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Çocuk yalnız açık devredilen hak alır.

Uygulanacak işlem

os_process_rights_inherit_positive testini oluştur: “RO dosya handle mirası”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Çocuk yalnız açık devredilen hak alır

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_inherit

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

RO dosya handle mirası

Karşı-örnek / hata girdisi

Kernel aygıt handle mirası

Gerçek konuk kabulü

Çocuk kernel kontrolü edinmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_inherit_positive
os_process_rights_inherit_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; RO dosya handle mirası girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Kernel aygıt handle mirası” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1170: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1167. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Çocuk yalnız açık devredilen hak alır.

Uygulanacak işlem

os_process_rights_inherit_negative testini oluştur: “Kernel aygıt handle mirası”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Çocuk yalnız açık devredilen hak alır

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_inherit

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

RO dosya handle mirası

Karşı-örnek / hata girdisi

Kernel aygıt handle mirası

Gerçek konuk kabulü

Çocuk kernel kontrolü edinmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_inherit_positive
os_process_rights_inherit_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Kernel aygıt handle mirası karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Kernel aygıt handle mirası” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1170: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1168. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Çocuk yalnız açık devredilen hak alır.

Uygulanacak işlem

Tek ürün Image'ında “Çocuk kernel kontrolü edinmez” kabulünü koştur. scripts/os-acceptance/process_rights.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Çocuk yalnız açık devredilen hak alır

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_inherit

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

RO dosya handle mirası

Karşı-örnek / hata girdisi

Kernel aygıt handle mirası

Gerçek konuk kabulü

Çocuk kernel kontrolü edinmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_inherit_positive
os_process_rights_inherit_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Çocuk kernel kontrolü edinmez; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Kernel aygıt handle mirası” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1170: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1169. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Inspect yetkisi olmadan map okunmaz.

Uygulanacak işlem

“Başka süreci gözleme” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Inspect yetkisi olmadan map okunmaz. “Yetkili monitor metadata” kabulü ile “Yabancı süreç belleği” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Inspect yetkisi olmadan map okunmaz

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_inspect

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Yetkili monitor metadata

Karşı-örnek / hata girdisi

Yabancı süreç belleği

Gerçek konuk kabulü

Ret sonrası hedef hash sabit

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_inspect_positive
os_process_rights_inspect_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Tür ve geçiş tablosu Inspect yetkisi olmadan map okunmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Yabancı süreç belleği” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1175: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1170. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Inspect yetkisi olmadan map okunmaz.

Uygulanacak işlem

kernel/src/runtime/process_rights.rs hedefinde os_process_rights_inspect yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/handle.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Inspect yetkisi olmadan map okunmaz

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_inspect

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Yetkili monitor metadata

Karşı-örnek / hata girdisi

Yabancı süreç belleği

Gerçek konuk kabulü

Ret sonrası hedef hash sabit

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_inspect_positive
os_process_rights_inspect_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Yetkili monitor metadata ile Yabancı süreç belleği ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Yabancı süreç belleği” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1175: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1171. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Inspect yetkisi olmadan map okunmaz.

Uygulanacak işlem

os_process_rights_inspect_positive testini oluştur: “Yetkili monitor metadata”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Inspect yetkisi olmadan map okunmaz

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_inspect

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Yetkili monitor metadata

Karşı-örnek / hata girdisi

Yabancı süreç belleği

Gerçek konuk kabulü

Ret sonrası hedef hash sabit

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_inspect_positive
os_process_rights_inspect_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Yetkili monitor metadata girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Yabancı süreç belleği” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1175: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1172. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Inspect yetkisi olmadan map okunmaz.

Uygulanacak işlem

os_process_rights_inspect_negative testini oluştur: “Yabancı süreç belleği”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Inspect yetkisi olmadan map okunmaz

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_inspect

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Yetkili monitor metadata

Karşı-örnek / hata girdisi

Yabancı süreç belleği

Gerçek konuk kabulü

Ret sonrası hedef hash sabit

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_inspect_positive
os_process_rights_inspect_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Yabancı süreç belleği karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Yabancı süreç belleği” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1175: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1173. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Inspect yetkisi olmadan map okunmaz.

Uygulanacak işlem

Tek ürün Image'ında “Ret sonrası hedef hash sabit” kabulünü koştur. scripts/os-acceptance/process_rights.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Inspect yetkisi olmadan map okunmaz

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_inspect

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Yetkili monitor metadata

Karşı-örnek / hata girdisi

Yabancı süreç belleği

Gerçek konuk kabulü

Ret sonrası hedef hash sabit

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_inspect_positive
os_process_rights_inspect_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Ret sonrası hedef hash sabit; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Yabancı süreç belleği” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1175: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1174. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Sayfa thread ve handle sınırı uygulanır.

Uygulanacak işlem

“Süreç quota başlangıcı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Sayfa thread ve handle sınırı uygulanır. “Limitte son thread” kabulü ile “Limit artı bir task” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Sayfa thread ve handle sınırı uygulanır

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_limits

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Limitte son thread

Karşı-örnek / hata girdisi

Limit artı bir task

Gerçek konuk kabulü

Diğer süreçler çalışmayı sürdürür

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_limits_positive
os_process_rights_limits_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Tür ve geçiş tablosu Sayfa thread ve handle sınırı uygulanır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Limit artı bir task” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1180: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1175. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Sayfa thread ve handle sınırı uygulanır.

Uygulanacak işlem

kernel/src/runtime/process_rights.rs hedefinde os_process_rights_limits yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/handle.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Sayfa thread ve handle sınırı uygulanır

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_limits

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Limitte son thread

Karşı-örnek / hata girdisi

Limit artı bir task

Gerçek konuk kabulü

Diğer süreçler çalışmayı sürdürür

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_limits_positive
os_process_rights_limits_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Limitte son thread ile Limit artı bir task ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Limit artı bir task” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1180: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1176. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Sayfa thread ve handle sınırı uygulanır.

Uygulanacak işlem

os_process_rights_limits_positive testini oluştur: “Limitte son thread”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Sayfa thread ve handle sınırı uygulanır

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_limits

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Limitte son thread

Karşı-örnek / hata girdisi

Limit artı bir task

Gerçek konuk kabulü

Diğer süreçler çalışmayı sürdürür

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_limits_positive
os_process_rights_limits_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Limitte son thread girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Limit artı bir task” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1180: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1177. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Sayfa thread ve handle sınırı uygulanır.

Uygulanacak işlem

os_process_rights_limits_negative testini oluştur: “Limit artı bir task”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Sayfa thread ve handle sınırı uygulanır

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_limits

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Limitte son thread

Karşı-örnek / hata girdisi

Limit artı bir task

Gerçek konuk kabulü

Diğer süreçler çalışmayı sürdürür

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_limits_positive
os_process_rights_limits_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Limit artı bir task karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Limit artı bir task” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1180: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1178. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Sayfa thread ve handle sınırı uygulanır.

Uygulanacak işlem

Tek ürün Image'ında “Diğer süreçler çalışmayı sürdürür” kabulünü koştur. scripts/os-acceptance/process_rights.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Sayfa thread ve handle sınırı uygulanır

Kod hedefi — henüz öneri

kernel/src/runtime/process_rights.rs · os_process_rights_limits

Mevcut başlangıç referansı

kernel/src/handle.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Limitte son thread

Karşı-örnek / hata girdisi

Limit artı bir task

Gerçek konuk kabulü

Diğer süreçler çalışmayı sürdürür

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_rights.rs
os_process_rights_limits_positive
os_process_rights_limits_negative
scripts/os-acceptance/process_rights.mjs

Geçiş koşulu

Diğer süreçler çalışmayı sürdürür; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Limit artı bir task” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1180: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1179. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Fault sonucu normal çıkıştan ayrılır.

Uygulanacak işlem

“Temiz ve fault çıkış tipi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Fault sonucu normal çıkıştan ayrılır. “EXIT 0 ve EXIT 42” kabulü ile “FAR fault başarı sayılır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Fault sonucu normal çıkıştan ayrılır

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_exit_code

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

EXIT 0 ve EXIT 42

Karşı-örnek / hata girdisi

FAR fault başarı sayılır

Gerçek konuk kabulü

INIT üç ayrı sonucu kaydeder

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_exit_code_positive
os_process_exit_exit_code_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

Tür ve geçiş tablosu Fault sonucu normal çıkıştan ayrılır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“FAR fault başarı sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1185: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1180. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Fault sonucu normal çıkıştan ayrılır.

Uygulanacak işlem

kernel/src/runtime/process_exit.rs hedefinde os_process_exit_exit_code yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/init_exit.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Fault sonucu normal çıkıştan ayrılır

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_exit_code

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

EXIT 0 ve EXIT 42

Karşı-örnek / hata girdisi

FAR fault başarı sayılır

Gerçek konuk kabulü

INIT üç ayrı sonucu kaydeder

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_exit_code_positive
os_process_exit_exit_code_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. EXIT 0 ve EXIT 42 ile FAR fault başarı sayılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“FAR fault başarı sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1185: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1181. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Fault sonucu normal çıkıştan ayrılır.

Uygulanacak işlem

os_process_exit_exit_code_positive testini oluştur: “EXIT 0 ve EXIT 42”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Fault sonucu normal çıkıştan ayrılır

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_exit_code

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

EXIT 0 ve EXIT 42

Karşı-örnek / hata girdisi

FAR fault başarı sayılır

Gerçek konuk kabulü

INIT üç ayrı sonucu kaydeder

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_exit_code_positive
os_process_exit_exit_code_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; EXIT 0 ve EXIT 42 girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“FAR fault başarı sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1185: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1182. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Fault sonucu normal çıkıştan ayrılır.

Uygulanacak işlem

os_process_exit_exit_code_negative testini oluştur: “FAR fault başarı sayılır”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Fault sonucu normal çıkıştan ayrılır

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_exit_code

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

EXIT 0 ve EXIT 42

Karşı-örnek / hata girdisi

FAR fault başarı sayılır

Gerçek konuk kabulü

INIT üç ayrı sonucu kaydeder

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_exit_code_positive
os_process_exit_exit_code_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

FAR fault başarı sayılır karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“FAR fault başarı sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1185: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1183. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Fault sonucu normal çıkıştan ayrılır.

Uygulanacak işlem

Tek ürün Image'ında “INIT üç ayrı sonucu kaydeder” kabulünü koştur. scripts/os-acceptance/process_exit.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Fault sonucu normal çıkıştan ayrılır

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_exit_code

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

EXIT 0 ve EXIT 42

Karşı-örnek / hata girdisi

FAR fault başarı sayılır

Gerçek konuk kabulü

INIT üç ayrı sonucu kaydeder

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_exit_code_positive
os_process_exit_exit_code_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

INIT üç ayrı sonucu kaydeder; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“FAR fault başarı sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1185: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1184. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Çıkış kodu tüketimden sonra tekrar verilmez.

Uygulanacak işlem

“Tek teslim edilen çocuk sonucu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Çıkış kodu tüketimden sonra tekrar verilmez. “Çocuk önce ve sonra çıkar” kabulü ile “İki waiter aynı sonucu alır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Çıkış kodu tüketimden sonra tekrar verilmez

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_wait

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Çocuk önce ve sonra çıkar

Karşı-örnek / hata girdisi

İki waiter aynı sonucu alır

Gerçek konuk kabulü

Tek sonuç sonra ECHILD

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_wait_positive
os_process_exit_wait_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

Tür ve geçiş tablosu Çıkış kodu tüketimden sonra tekrar verilmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“İki waiter aynı sonucu alır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1190: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1185. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Çıkış kodu tüketimden sonra tekrar verilmez.

Uygulanacak işlem

kernel/src/runtime/process_exit.rs hedefinde os_process_exit_wait yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/init_exit.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Çıkış kodu tüketimden sonra tekrar verilmez

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_wait

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Çocuk önce ve sonra çıkar

Karşı-örnek / hata girdisi

İki waiter aynı sonucu alır

Gerçek konuk kabulü

Tek sonuç sonra ECHILD

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_wait_positive
os_process_exit_wait_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Çocuk önce ve sonra çıkar ile İki waiter aynı sonucu alır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“İki waiter aynı sonucu alır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1190: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1186. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Çıkış kodu tüketimden sonra tekrar verilmez.

Uygulanacak işlem

os_process_exit_wait_positive testini oluştur: “Çocuk önce ve sonra çıkar”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Çıkış kodu tüketimden sonra tekrar verilmez

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_wait

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Çocuk önce ve sonra çıkar

Karşı-örnek / hata girdisi

İki waiter aynı sonucu alır

Gerçek konuk kabulü

Tek sonuç sonra ECHILD

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_wait_positive
os_process_exit_wait_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Çocuk önce ve sonra çıkar girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“İki waiter aynı sonucu alır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1190: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1187. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Çıkış kodu tüketimden sonra tekrar verilmez.

Uygulanacak işlem

os_process_exit_wait_negative testini oluştur: “İki waiter aynı sonucu alır”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Çıkış kodu tüketimden sonra tekrar verilmez

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_wait

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Çocuk önce ve sonra çıkar

Karşı-örnek / hata girdisi

İki waiter aynı sonucu alır

Gerçek konuk kabulü

Tek sonuç sonra ECHILD

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_wait_positive
os_process_exit_wait_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

İki waiter aynı sonucu alır karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“İki waiter aynı sonucu alır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1190: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1188. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Çıkış kodu tüketimden sonra tekrar verilmez.

Uygulanacak işlem

Tek ürün Image'ında “Tek sonuç sonra ECHILD” kabulünü koştur. scripts/os-acceptance/process_exit.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Çıkış kodu tüketimden sonra tekrar verilmez

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_wait

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Çocuk önce ve sonra çıkar

Karşı-örnek / hata girdisi

İki waiter aynı sonucu alır

Gerçek konuk kabulü

Tek sonuç sonra ECHILD

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_wait_positive
os_process_exit_wait_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

Tek sonuç sonra ECHILD; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“İki waiter aynı sonucu alır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1190: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1189. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Ebeveyn ölümü çocuğu rastgele sahiplenmez.

Uygulanacak işlem

“Yetim çocuk politikası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Ebeveyn ölümü çocuğu rastgele sahiplenmez. “Ebeveyn iki çocukla sonlanır” kabulü ile “Eski ebeveyn PID yeniden kullanılır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Ebeveyn ölümü çocuğu rastgele sahiplenmez

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_orphan

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Ebeveyn iki çocukla sonlanır

Karşı-örnek / hata girdisi

Eski ebeveyn PID yeniden kullanılır

Gerçek konuk kabulü

INIT yetimleri tanımlı sırayla toplar

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_orphan_positive
os_process_exit_orphan_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

Tür ve geçiş tablosu Ebeveyn ölümü çocuğu rastgele sahiplenmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Eski ebeveyn PID yeniden kullanılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1195: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1190. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Ebeveyn ölümü çocuğu rastgele sahiplenmez.

Uygulanacak işlem

kernel/src/runtime/process_exit.rs hedefinde os_process_exit_orphan yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/init_exit.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Ebeveyn ölümü çocuğu rastgele sahiplenmez

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_orphan

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Ebeveyn iki çocukla sonlanır

Karşı-örnek / hata girdisi

Eski ebeveyn PID yeniden kullanılır

Gerçek konuk kabulü

INIT yetimleri tanımlı sırayla toplar

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_orphan_positive
os_process_exit_orphan_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Ebeveyn iki çocukla sonlanır ile Eski ebeveyn PID yeniden kullanılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Eski ebeveyn PID yeniden kullanılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1195: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1191. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Ebeveyn ölümü çocuğu rastgele sahiplenmez.

Uygulanacak işlem

os_process_exit_orphan_positive testini oluştur: “Ebeveyn iki çocukla sonlanır”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Ebeveyn ölümü çocuğu rastgele sahiplenmez

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_orphan

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Ebeveyn iki çocukla sonlanır

Karşı-örnek / hata girdisi

Eski ebeveyn PID yeniden kullanılır

Gerçek konuk kabulü

INIT yetimleri tanımlı sırayla toplar

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_orphan_positive
os_process_exit_orphan_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Ebeveyn iki çocukla sonlanır girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Eski ebeveyn PID yeniden kullanılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1195: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1192. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Ebeveyn ölümü çocuğu rastgele sahiplenmez.

Uygulanacak işlem

os_process_exit_orphan_negative testini oluştur: “Eski ebeveyn PID yeniden kullanılır”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Ebeveyn ölümü çocuğu rastgele sahiplenmez

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_orphan

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Ebeveyn iki çocukla sonlanır

Karşı-örnek / hata girdisi

Eski ebeveyn PID yeniden kullanılır

Gerçek konuk kabulü

INIT yetimleri tanımlı sırayla toplar

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_orphan_positive
os_process_exit_orphan_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

Eski ebeveyn PID yeniden kullanılır karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Eski ebeveyn PID yeniden kullanılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1195: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1193. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: Ebeveyn ölümü çocuğu rastgele sahiplenmez.

Uygulanacak işlem

Tek ürün Image'ında “INIT yetimleri tanımlı sırayla toplar” kabulünü koştur. scripts/os-acceptance/process_exit.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Ebeveyn ölümü çocuğu rastgele sahiplenmez

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_orphan

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Ebeveyn iki çocukla sonlanır

Karşı-örnek / hata girdisi

Eski ebeveyn PID yeniden kullanılır

Gerçek konuk kabulü

INIT yetimleri tanımlı sırayla toplar

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_orphan_positive
os_process_exit_orphan_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

INIT yetimleri tanımlı sırayla toplar; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Eski ebeveyn PID yeniden kullanılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1195: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1194. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: TTBR TLBI DMA thread ömrü tamamlanır.

Uygulanacak işlem

“Süreç son kaynak emekliliği” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: TTBR TLBI DMA thread ömrü tamamlanır. “Üç süreç biri fault” kabulü ile “Etkin sayfa erken free” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

TTBR TLBI DMA thread ömrü tamamlanır

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_retirement

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üç süreç biri fault

Karşı-örnek / hata girdisi

Etkin sayfa erken free

Gerçek konuk kabulü

Sağlam iki süreç sürer hesap eşit

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_retirement_positive
os_process_exit_retirement_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

Tür ve geçiş tablosu TTBR TLBI DMA thread ömrü tamamlanır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Etkin sayfa erken free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1200: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1195. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: TTBR TLBI DMA thread ömrü tamamlanır.

Uygulanacak işlem

kernel/src/runtime/process_exit.rs hedefinde os_process_exit_retirement yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/init_exit.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

TTBR TLBI DMA thread ömrü tamamlanır

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_retirement

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üç süreç biri fault

Karşı-örnek / hata girdisi

Etkin sayfa erken free

Gerçek konuk kabulü

Sağlam iki süreç sürer hesap eşit

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_retirement_positive
os_process_exit_retirement_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç süreç biri fault ile Etkin sayfa erken free ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Etkin sayfa erken free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1200: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1196. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: TTBR TLBI DMA thread ömrü tamamlanır.

Uygulanacak işlem

os_process_exit_retirement_positive testini oluştur: “Üç süreç biri fault”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

TTBR TLBI DMA thread ömrü tamamlanır

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_retirement

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üç süreç biri fault

Karşı-örnek / hata girdisi

Etkin sayfa erken free

Gerçek konuk kabulü

Sağlam iki süreç sürer hesap eşit

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_retirement_positive
os_process_exit_retirement_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Üç süreç biri fault girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Etkin sayfa erken free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1200: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1197. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: TTBR TLBI DMA thread ömrü tamamlanır.

Uygulanacak işlem

os_process_exit_retirement_negative testini oluştur: “Etkin sayfa erken free”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

TTBR TLBI DMA thread ömrü tamamlanır

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_retirement

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üç süreç biri fault

Karşı-örnek / hata girdisi

Etkin sayfa erken free

Gerçek konuk kabulü

Sağlam iki süreç sürer hesap eşit

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_retirement_positive
os_process_exit_retirement_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

Etkin sayfa erken free karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Etkin sayfa erken free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1200: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1198. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır. Bu hamlenin koruduğu değişmez: TTBR TLBI DMA thread ömrü tamamlanır.

Uygulanacak işlem

Tek ürün Image'ında “Sağlam iki süreç sürer hesap eşit” kabulünü koştur. scripts/os-acceptance/process_exit.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

TTBR TLBI DMA thread ömrü tamamlanır

Kod hedefi — henüz öneri

kernel/src/runtime/process_exit.rs · os_process_exit_retirement

Mevcut başlangıç referansı

kernel/src/init_exit.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üç süreç biri fault

Karşı-örnek / hata girdisi

Etkin sayfa erken free

Gerçek konuk kabulü

Sağlam iki süreç sürer hesap eşit

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/process_exit.rs
os_process_exit_retirement_positive
os_process_exit_retirement_negative
scripts/os-acceptance/process_exit.mjs

Geçiş koşulu

Sağlam iki süreç sürer hesap eşit; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Etkin sayfa erken free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1200: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1199. Ayrıca faz 5 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.