Handle IPC ve hizmet sınırları

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Dosya channel ve task türü ayrılır.

Uygulanacak işlem

“Tipli nesne handle” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Dosya channel ve task türü ayrılır. “Üç tür üç kayıt” kabulü ile “Dosya handle channel APIde” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Dosya channel ve task türü ayrılır

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_types

Mevcut başlangıç referansı

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

Olumlu deney

Üç tür üç kayıt

Karşı-örnek / hata girdisi

Dosya handle channel APIde

Gerçek konuk kabulü

Yanlış tür EBADF döndürür

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

kernel/tests/os/handles.rs
os_handles_types_positive
os_handles_types_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

Tür ve geçiş tablosu Dosya channel ve task türü 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üş

“Dosya handle channel APIde” 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/K1305: 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 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Dosya channel ve task türü ayrılır.

Uygulanacak işlem

kernel/src/runtime/handles.rs hedefinde os_handles_types 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

Dosya channel ve task türü ayrılır

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_types

Mevcut başlangıç referansı

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

Olumlu deney

Üç tür üç kayıt

Karşı-örnek / hata girdisi

Dosya handle channel APIde

Gerçek konuk kabulü

Yanlış tür EBADF döndürür

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

kernel/tests/os/handles.rs
os_handles_types_positive
os_handles_types_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç tür üç kayıt ile Dosya handle channel APIde ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Dosya handle channel APIde” 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/K1305: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1301. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Dosya channel ve task türü ayrılır.

Uygulanacak işlem

os_handles_types_positive testini oluştur: “Üç tür üç kayıt”. 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

Dosya channel ve task türü ayrılır

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_types

Mevcut başlangıç referansı

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

Olumlu deney

Üç tür üç kayıt

Karşı-örnek / hata girdisi

Dosya handle channel APIde

Gerçek konuk kabulü

Yanlış tür EBADF döndürür

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

kernel/tests/os/handles.rs
os_handles_types_positive
os_handles_types_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

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

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

“Dosya handle channel APIde” 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/K1305: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1302. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Dosya channel ve task türü ayrılır.

Uygulanacak işlem

os_handles_types_negative testini oluştur: “Dosya handle channel APIde”. 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

Dosya channel ve task türü ayrılır

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_types

Mevcut başlangıç referansı

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

Olumlu deney

Üç tür üç kayıt

Karşı-örnek / hata girdisi

Dosya handle channel APIde

Gerçek konuk kabulü

Yanlış tür EBADF döndürür

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

kernel/tests/os/handles.rs
os_handles_types_positive
os_handles_types_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

Dosya handle channel APIde 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üş

“Dosya handle channel APIde” 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/K1305: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1303. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Dosya channel ve task türü ayrılır.

Uygulanacak işlem

Tek ürün Image'ında “Yanlış tür EBADF döndürür” kabulünü koştur. scripts/os-acceptance/handles.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

Dosya channel ve task türü ayrılır

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_types

Mevcut başlangıç referansı

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

Olumlu deney

Üç tür üç kayıt

Karşı-örnek / hata girdisi

Dosya handle channel APIde

Gerçek konuk kabulü

Yanlış tür EBADF döndürür

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

kernel/tests/os/handles.rs
os_handles_types_positive
os_handles_types_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

Yanlış tür EBADF döndü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üş

“Dosya handle channel APIde” 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/K1305: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1304. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Eski handle yeni nesneye erişmez.

Uygulanacak işlem

“Handle nesil tekrar kullanımı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Eski handle yeni nesneye erişmez. “Aynı slot üç close open” kabulü ile “Nesil taşması” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Eski handle yeni nesneye erişmez

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_generation

Mevcut başlangıç referansı

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

Olumlu deney

Aynı slot üç close open

Karşı-örnek / hata girdisi

Nesil taşması

Gerçek konuk kabulü

Stale erişim yan etkisiz ret

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

kernel/tests/os/handles.rs
os_handles_generation_positive
os_handles_generation_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

Tür ve geçiş tablosu Eski handle yeni nesneye erişmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Nesil taşması” 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/K1310: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1305. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Eski handle yeni nesneye erişmez.

Uygulanacak işlem

kernel/src/runtime/handles.rs hedefinde os_handles_generation 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

Eski handle yeni nesneye erişmez

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_generation

Mevcut başlangıç referansı

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

Olumlu deney

Aynı slot üç close open

Karşı-örnek / hata girdisi

Nesil taşması

Gerçek konuk kabulü

Stale erişim yan etkisiz ret

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

kernel/tests/os/handles.rs
os_handles_generation_positive
os_handles_generation_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Aynı slot üç close open ile Nesil taşması ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Nesil taşması” 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/K1310: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1306. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Eski handle yeni nesneye erişmez.

Uygulanacak işlem

os_handles_generation_positive testini oluştur: “Aynı slot üç close open”. 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

Eski handle yeni nesneye erişmez

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_generation

Mevcut başlangıç referansı

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

Olumlu deney

Aynı slot üç close open

Karşı-örnek / hata girdisi

Nesil taşması

Gerçek konuk kabulü

Stale erişim yan etkisiz ret

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

kernel/tests/os/handles.rs
os_handles_generation_positive
os_handles_generation_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Aynı slot üç close open girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Nesil taşması” 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/K1310: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1307. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Eski handle yeni nesneye erişmez.

Uygulanacak işlem

os_handles_generation_negative testini oluştur: “Nesil taşması”. 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

Eski handle yeni nesneye erişmez

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_generation

Mevcut başlangıç referansı

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

Olumlu deney

Aynı slot üç close open

Karşı-örnek / hata girdisi

Nesil taşması

Gerçek konuk kabulü

Stale erişim yan etkisiz ret

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

kernel/tests/os/handles.rs
os_handles_generation_positive
os_handles_generation_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

Nesil taşması 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üş

“Nesil taşması” 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/K1310: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1308. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Eski handle yeni nesneye erişmez.

Uygulanacak işlem

Tek ürün Image'ında “Stale erişim yan etkisiz ret” kabulünü koştur. scripts/os-acceptance/handles.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

Eski handle yeni nesneye erişmez

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_generation

Mevcut başlangıç referansı

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

Olumlu deney

Aynı slot üç close open

Karşı-örnek / hata girdisi

Nesil taşması

Gerçek konuk kabulü

Stale erişim yan etkisiz ret

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

kernel/tests/os/handles.rs
os_handles_generation_positive
os_handles_generation_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

Stale erişim yan etkisiz ret; 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üş

“Nesil taşması” 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/K1310: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1309. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Duplicate hakları genişletemez.

Uygulanacak işlem

“Hak daraltma ve çoğaltma” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Duplicate hakları genişletemez. “RWdan RO kopya” kabulü ile “ROdan RW isteği” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Duplicate hakları genişletemez

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_rights

Mevcut başlangıç referansı

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

Olumlu deney

RWdan RO kopya

Karşı-örnek / hata girdisi

ROdan RW isteği

Gerçek konuk kabulü

Yeni kopya yalnız RO işlemler yapar

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

kernel/tests/os/handles.rs
os_handles_rights_positive
os_handles_rights_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

Tür ve geçiş tablosu Duplicate hakları genişletemez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“ROdan RW isteğ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/K1315: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1310. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Duplicate hakları genişletemez.

Uygulanacak işlem

kernel/src/runtime/handles.rs hedefinde os_handles_rights 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

Duplicate hakları genişletemez

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_rights

Mevcut başlangıç referansı

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

Olumlu deney

RWdan RO kopya

Karşı-örnek / hata girdisi

ROdan RW isteği

Gerçek konuk kabulü

Yeni kopya yalnız RO işlemler yapar

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

kernel/tests/os/handles.rs
os_handles_rights_positive
os_handles_rights_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. RWdan RO kopya ile ROdan RW isteği ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“ROdan RW isteğ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/K1315: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1311. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Duplicate hakları genişletemez.

Uygulanacak işlem

os_handles_rights_positive testini oluştur: “RWdan RO kopya”. 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

Duplicate hakları genişletemez

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_rights

Mevcut başlangıç referansı

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

Olumlu deney

RWdan RO kopya

Karşı-örnek / hata girdisi

ROdan RW isteği

Gerçek konuk kabulü

Yeni kopya yalnız RO işlemler yapar

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

kernel/tests/os/handles.rs
os_handles_rights_positive
os_handles_rights_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

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

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

“ROdan RW isteğ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/K1315: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1312. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Duplicate hakları genişletemez.

Uygulanacak işlem

os_handles_rights_negative testini oluştur: “ROdan RW isteğ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

Duplicate hakları genişletemez

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_rights

Mevcut başlangıç referansı

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

Olumlu deney

RWdan RO kopya

Karşı-örnek / hata girdisi

ROdan RW isteği

Gerçek konuk kabulü

Yeni kopya yalnız RO işlemler yapar

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

kernel/tests/os/handles.rs
os_handles_rights_positive
os_handles_rights_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

ROdan RW isteğ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üş

“ROdan RW isteğ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/K1315: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1313. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Duplicate hakları genişletemez.

Uygulanacak işlem

Tek ürün Image'ında “Yeni kopya yalnız RO işlemler yapar” kabulünü koştur. scripts/os-acceptance/handles.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

Duplicate hakları genişletemez

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_rights

Mevcut başlangıç referansı

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

Olumlu deney

RWdan RO kopya

Karşı-örnek / hata girdisi

ROdan RW isteği

Gerçek konuk kabulü

Yeni kopya yalnız RO işlemler yapar

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

kernel/tests/os/handles.rs
os_handles_rights_positive
os_handles_rights_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

Yeni kopya yalnız RO işlemler yapar; 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üş

“ROdan RW isteğ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/K1315: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1314. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Son close kaynak ömrünü bitirir.

Uygulanacak işlem

“Son referans nesne kapanışı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Son close kaynak ömrünü bitirir. “İki süreçte iki referans” kabulü ile “Wait sırasında son close” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Son close kaynak ömrünü bitirir

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_close

Mevcut başlangıç referansı

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

Olumlu deney

İki süreçte iki referans

Karşı-örnek / hata girdisi

Wait sırasında son close

Gerçek konuk kabulü

Waiter tanımlı closed sonucu alır

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

kernel/tests/os/handles.rs
os_handles_close_positive
os_handles_close_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

Tür ve geçiş tablosu Son close kaynak ömrünü bitirir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Wait sırasında son close” 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/K1320: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1315. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Son close kaynak ömrünü bitirir.

Uygulanacak işlem

kernel/src/runtime/handles.rs hedefinde os_handles_close 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

Son close kaynak ömrünü bitirir

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_close

Mevcut başlangıç referansı

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

Olumlu deney

İki süreçte iki referans

Karşı-örnek / hata girdisi

Wait sırasında son close

Gerçek konuk kabulü

Waiter tanımlı closed sonucu alır

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

kernel/tests/os/handles.rs
os_handles_close_positive
os_handles_close_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki süreçte iki referans ile Wait sırasında son close ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Wait sırasında son close” 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/K1320: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1316. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Son close kaynak ömrünü bitirir.

Uygulanacak işlem

os_handles_close_positive testini oluştur: “İki süreçte iki referans”. 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

Son close kaynak ömrünü bitirir

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_close

Mevcut başlangıç referansı

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

Olumlu deney

İki süreçte iki referans

Karşı-örnek / hata girdisi

Wait sırasında son close

Gerçek konuk kabulü

Waiter tanımlı closed sonucu alır

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

kernel/tests/os/handles.rs
os_handles_close_positive
os_handles_close_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

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

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

“Wait sırasında son close” 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/K1320: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1317. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Son close kaynak ömrünü bitirir.

Uygulanacak işlem

os_handles_close_negative testini oluştur: “Wait sırasında son close”. 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

Son close kaynak ömrünü bitirir

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_close

Mevcut başlangıç referansı

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

Olumlu deney

İki süreçte iki referans

Karşı-örnek / hata girdisi

Wait sırasında son close

Gerçek konuk kabulü

Waiter tanımlı closed sonucu alır

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

kernel/tests/os/handles.rs
os_handles_close_positive
os_handles_close_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

Wait sırasında son close 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üş

“Wait sırasında son close” 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/K1320: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1318. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Son close kaynak ömrünü bitirir.

Uygulanacak işlem

Tek ürün Image'ında “Waiter tanımlı closed sonucu alır” kabulünü koştur. scripts/os-acceptance/handles.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

Son close kaynak ömrünü bitirir

Kod hedefi — henüz öneri

kernel/src/runtime/handles.rs · os_handles_close

Mevcut başlangıç referansı

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

Olumlu deney

İki süreçte iki referans

Karşı-örnek / hata girdisi

Wait sırasında son close

Gerçek konuk kabulü

Waiter tanımlı closed sonucu alır

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

kernel/tests/os/handles.rs
os_handles_close_positive
os_handles_close_negative
scripts/os-acceptance/handles.mjs

Geçiş koşulu

Waiter tanımlı closed sonucu 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üş

“Wait sırasında son close” 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/K1320: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1319. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Büyük mesaj partial enqueue olmaz.

Uygulanacak işlem

“Mesaj boyu ve kuyruk sınırı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Büyük mesaj partial enqueue olmaz. “Limitte mesaj ve dolu kuyruk” kabulü ile “Limit artı bir payload” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Büyük mesaj partial enqueue olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_capacity

Mevcut başlangıç referansı

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

Olumlu deney

Limitte mesaj ve dolu kuyruk

Karşı-örnek / hata girdisi

Limit artı bir payload

Gerçek konuk kabulü

EAGAIN ENOSPC ayrı görünür

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

kernel/tests/os/channels.rs
os_channels_capacity_positive
os_channels_capacity_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

Tür ve geçiş tablosu Büyük mesaj partial enqueue 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üş

“Limit artı bir payload” 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/K1325: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1320. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Büyük mesaj partial enqueue olmaz.

Uygulanacak işlem

kernel/src/runtime/channels.rs hedefinde os_channels_capacity yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/ipc.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

Büyük mesaj partial enqueue olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_capacity

Mevcut başlangıç referansı

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

Olumlu deney

Limitte mesaj ve dolu kuyruk

Karşı-örnek / hata girdisi

Limit artı bir payload

Gerçek konuk kabulü

EAGAIN ENOSPC ayrı görünür

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

kernel/tests/os/channels.rs
os_channels_capacity_positive
os_channels_capacity_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Limitte mesaj ve dolu kuyruk ile Limit artı bir payload ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Limit artı bir payload” 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/K1325: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1321. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Büyük mesaj partial enqueue olmaz.

Uygulanacak işlem

os_channels_capacity_positive testini oluştur: “Limitte mesaj ve dolu kuyruk”. 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

Büyük mesaj partial enqueue olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_capacity

Mevcut başlangıç referansı

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

Olumlu deney

Limitte mesaj ve dolu kuyruk

Karşı-örnek / hata girdisi

Limit artı bir payload

Gerçek konuk kabulü

EAGAIN ENOSPC ayrı görünür

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

kernel/tests/os/channels.rs
os_channels_capacity_positive
os_channels_capacity_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Limitte mesaj ve dolu kuyruk girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Limit artı bir payload” 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/K1325: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1322. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Büyük mesaj partial enqueue olmaz.

Uygulanacak işlem

os_channels_capacity_negative testini oluştur: “Limit artı bir payload”. 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

Büyük mesaj partial enqueue olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_capacity

Mevcut başlangıç referansı

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

Olumlu deney

Limitte mesaj ve dolu kuyruk

Karşı-örnek / hata girdisi

Limit artı bir payload

Gerçek konuk kabulü

EAGAIN ENOSPC ayrı görünür

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

kernel/tests/os/channels.rs
os_channels_capacity_positive
os_channels_capacity_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

Limit artı bir payload 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 payload” 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/K1325: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1323. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Büyük mesaj partial enqueue olmaz.

Uygulanacak işlem

Tek ürün Image'ında “EAGAIN ENOSPC ayrı görünür” kabulünü koştur. scripts/os-acceptance/channels.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

Büyük mesaj partial enqueue olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_capacity

Mevcut başlangıç referansı

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

Olumlu deney

Limitte mesaj ve dolu kuyruk

Karşı-örnek / hata girdisi

Limit artı bir payload

Gerçek konuk kabulü

EAGAIN ENOSPC ayrı görünür

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

kernel/tests/os/channels.rs
os_channels_capacity_positive
os_channels_capacity_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

EAGAIN ENOSPC ayrı görü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üş

“Limit artı bir payload” 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/K1325: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1324. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Gönderici buffer değişimi mesajı bozmaz.

Uygulanacak işlem

“Sahipli mesaj kopyası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Gönderici buffer değişimi mesajı bozmaz. “Send ardından buffer overwrite” kabulü ile “Yabancı kullanıcı pointer” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Gönderici buffer değişimi mesajı bozmaz

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_copy

Mevcut başlangıç referansı

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

Olumlu deney

Send ardından buffer overwrite

Karşı-örnek / hata girdisi

Yabancı kullanıcı pointer

Gerçek konuk kabulü

Alıcı özgün mesaj hashini alır

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

kernel/tests/os/channels.rs
os_channels_copy_positive
os_channels_copy_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

Tür ve geçiş tablosu Gönderici buffer değişimi mesajı bozmaz 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ı kullanıcı pointer” 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/K1330: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1325. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Gönderici buffer değişimi mesajı bozmaz.

Uygulanacak işlem

kernel/src/runtime/channels.rs hedefinde os_channels_copy yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/ipc.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

Gönderici buffer değişimi mesajı bozmaz

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_copy

Mevcut başlangıç referansı

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

Olumlu deney

Send ardından buffer overwrite

Karşı-örnek / hata girdisi

Yabancı kullanıcı pointer

Gerçek konuk kabulü

Alıcı özgün mesaj hashini alır

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

kernel/tests/os/channels.rs
os_channels_copy_positive
os_channels_copy_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Send ardından buffer overwrite ile Yabancı kullanıcı pointer ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Yabancı kullanıcı pointer” 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/K1330: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1326. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Gönderici buffer değişimi mesajı bozmaz.

Uygulanacak işlem

os_channels_copy_positive testini oluştur: “Send ardından buffer overwrite”. 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

Gönderici buffer değişimi mesajı bozmaz

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_copy

Mevcut başlangıç referansı

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

Olumlu deney

Send ardından buffer overwrite

Karşı-örnek / hata girdisi

Yabancı kullanıcı pointer

Gerçek konuk kabulü

Alıcı özgün mesaj hashini alır

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

kernel/tests/os/channels.rs
os_channels_copy_positive
os_channels_copy_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Send ardından buffer overwrite girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Yabancı kullanıcı pointer” 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/K1330: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1327. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Gönderici buffer değişimi mesajı bozmaz.

Uygulanacak işlem

os_channels_copy_negative testini oluştur: “Yabancı kullanıcı pointer”. 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

Gönderici buffer değişimi mesajı bozmaz

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_copy

Mevcut başlangıç referansı

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

Olumlu deney

Send ardından buffer overwrite

Karşı-örnek / hata girdisi

Yabancı kullanıcı pointer

Gerçek konuk kabulü

Alıcı özgün mesaj hashini alır

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

kernel/tests/os/channels.rs
os_channels_copy_positive
os_channels_copy_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

Yabancı kullanıcı pointer 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ı kullanıcı pointer” 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/K1330: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1328. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Gönderici buffer değişimi mesajı bozmaz.

Uygulanacak işlem

Tek ürün Image'ında “Alıcı özgün mesaj hashini alır” kabulünü koştur. scripts/os-acceptance/channels.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

Gönderici buffer değişimi mesajı bozmaz

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_copy

Mevcut başlangıç referansı

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

Olumlu deney

Send ardından buffer overwrite

Karşı-örnek / hata girdisi

Yabancı kullanıcı pointer

Gerçek konuk kabulü

Alıcı özgün mesaj hashini alır

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

kernel/tests/os/channels.rs
os_channels_copy_positive
os_channels_copy_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

Alıcı özgün mesaj hashini 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ı kullanıcı pointer” 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/K1330: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1329. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Transfer ya tamamen olur ya olmaz.

Uygulanacak işlem

“Mesajla handle devri” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Transfer ya tamamen olur ya olmaz. “İki yetkili handle” kabulü ile “İkinci handle stale” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Transfer ya tamamen olur ya olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_transfer

Mevcut başlangıç referansı

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

Olumlu deney

İki yetkili handle

Karşı-örnek / hata girdisi

İkinci handle stale

Gerçek konuk kabulü

Gönderici ve alıcı tabloları aynı kalır

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

kernel/tests/os/channels.rs
os_channels_transfer_positive
os_channels_transfer_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

Tür ve geçiş tablosu Transfer ya tamamen olur ya 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üş

“İkinci handle stale” 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/K1335: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1330. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Transfer ya tamamen olur ya olmaz.

Uygulanacak işlem

kernel/src/runtime/channels.rs hedefinde os_channels_transfer yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/ipc.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

Transfer ya tamamen olur ya olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_transfer

Mevcut başlangıç referansı

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

Olumlu deney

İki yetkili handle

Karşı-örnek / hata girdisi

İkinci handle stale

Gerçek konuk kabulü

Gönderici ve alıcı tabloları aynı kalır

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

kernel/tests/os/channels.rs
os_channels_transfer_positive
os_channels_transfer_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki yetkili handle ile İkinci handle stale ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“İkinci handle stale” 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/K1335: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1331. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Transfer ya tamamen olur ya olmaz.

Uygulanacak işlem

os_channels_transfer_positive testini oluştur: “İki yetkili 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

Transfer ya tamamen olur ya olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_transfer

Mevcut başlangıç referansı

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

Olumlu deney

İki yetkili handle

Karşı-örnek / hata girdisi

İkinci handle stale

Gerçek konuk kabulü

Gönderici ve alıcı tabloları aynı kalır

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

kernel/tests/os/channels.rs
os_channels_transfer_positive
os_channels_transfer_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

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

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

“İkinci handle stale” 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/K1335: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1332. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Transfer ya tamamen olur ya olmaz.

Uygulanacak işlem

os_channels_transfer_negative testini oluştur: “İkinci handle stale”. 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

Transfer ya tamamen olur ya olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_transfer

Mevcut başlangıç referansı

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

Olumlu deney

İki yetkili handle

Karşı-örnek / hata girdisi

İkinci handle stale

Gerçek konuk kabulü

Gönderici ve alıcı tabloları aynı kalır

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

kernel/tests/os/channels.rs
os_channels_transfer_positive
os_channels_transfer_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

İkinci handle stale 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üş

“İkinci handle stale” 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/K1335: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1333. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Transfer ya tamamen olur ya olmaz.

Uygulanacak işlem

Tek ürün Image'ında “Gönderici ve alıcı tabloları aynı kalır” kabulünü koştur. scripts/os-acceptance/channels.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

Transfer ya tamamen olur ya olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_transfer

Mevcut başlangıç referansı

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

Olumlu deney

İki yetkili handle

Karşı-örnek / hata girdisi

İkinci handle stale

Gerçek konuk kabulü

Gönderici ve alıcı tabloları aynı kalır

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

kernel/tests/os/channels.rs
os_channels_transfer_positive
os_channels_transfer_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

Gönderici ve alıcı tabloları aynı kalı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üş

“İkinci handle stale” 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/K1335: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1334. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Ölü peer mesajı başarı diye verilmez.

Uygulanacak işlem

“Eş ölümü ve kapalı kanal” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Ölü peer mesajı başarı diye verilmez. “Peer kuyruk boşken çıkar” kabulü ile “Ölü nesil yeniden send” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Ölü peer mesajı başarı diye verilmez

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_peer_death

Mevcut başlangıç referansı

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

Olumlu deney

Peer kuyruk boşken çıkar

Karşı-örnek / hata girdisi

Ölü nesil yeniden send

Gerçek konuk kabulü

Alıcı closed sonucu ile devam

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

kernel/tests/os/channels.rs
os_channels_peer_death_positive
os_channels_peer_death_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

Tür ve geçiş tablosu Ölü peer mesajı başarı diye 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üş

“Ölü nesil yeniden send” 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/K1340: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1335. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Ölü peer mesajı başarı diye verilmez.

Uygulanacak işlem

kernel/src/runtime/channels.rs hedefinde os_channels_peer_death yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/ipc.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

Ölü peer mesajı başarı diye verilmez

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_peer_death

Mevcut başlangıç referansı

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

Olumlu deney

Peer kuyruk boşken çıkar

Karşı-örnek / hata girdisi

Ölü nesil yeniden send

Gerçek konuk kabulü

Alıcı closed sonucu ile devam

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

kernel/tests/os/channels.rs
os_channels_peer_death_positive
os_channels_peer_death_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Peer kuyruk boşken çıkar ile Ölü nesil yeniden send ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Ölü nesil yeniden send” 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/K1340: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1336. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Ölü peer mesajı başarı diye verilmez.

Uygulanacak işlem

os_channels_peer_death_positive testini oluştur: “Peer kuyruk boşken çı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

Ölü peer mesajı başarı diye verilmez

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_peer_death

Mevcut başlangıç referansı

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

Olumlu deney

Peer kuyruk boşken çıkar

Karşı-örnek / hata girdisi

Ölü nesil yeniden send

Gerçek konuk kabulü

Alıcı closed sonucu ile devam

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

kernel/tests/os/channels.rs
os_channels_peer_death_positive
os_channels_peer_death_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Peer kuyruk boşken çıkar girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Ölü nesil yeniden send” 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/K1340: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1337. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Ölü peer mesajı başarı diye verilmez.

Uygulanacak işlem

os_channels_peer_death_negative testini oluştur: “Ölü nesil yeniden send”. 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

Ölü peer mesajı başarı diye verilmez

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_peer_death

Mevcut başlangıç referansı

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

Olumlu deney

Peer kuyruk boşken çıkar

Karşı-örnek / hata girdisi

Ölü nesil yeniden send

Gerçek konuk kabulü

Alıcı closed sonucu ile devam

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

kernel/tests/os/channels.rs
os_channels_peer_death_positive
os_channels_peer_death_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

Ölü nesil yeniden send 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üş

“Ölü nesil yeniden send” 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/K1340: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1338. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Ölü peer mesajı başarı diye verilmez.

Uygulanacak işlem

Tek ürün Image'ında “Alıcı closed sonucu ile devam” kabulünü koştur. scripts/os-acceptance/channels.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

Ölü peer mesajı başarı diye verilmez

Kod hedefi — henüz öneri

kernel/src/runtime/channels.rs · os_channels_peer_death

Mevcut başlangıç referansı

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

Olumlu deney

Peer kuyruk boşken çıkar

Karşı-örnek / hata girdisi

Ölü nesil yeniden send

Gerçek konuk kabulü

Alıcı closed sonucu ile devam

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

kernel/tests/os/channels.rs
os_channels_peer_death_positive
os_channels_peer_death_negative
scripts/os-acceptance/channels.mjs

Geçiş koşulu

Alıcı closed sonucu ile 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üş

“Ölü nesil yeniden send” 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/K1340: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1339. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Tek waiter aynı nesneyi iki kez eklemez.

Uygulanacak işlem

“Waitset nesne kaydı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Tek waiter aynı nesneyi iki kez eklemez. “İki kanal bir timer” kabulü ile “Duplicate handle kaydı” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Tek waiter aynı nesneyi iki kez eklemez

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_registration

Mevcut başlangıç referansı

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

Olumlu deney

İki kanal bir timer

Karşı-örnek / hata girdisi

Duplicate handle kaydı

Gerçek konuk kabulü

Bir olay bir wake üretir

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

kernel/tests/os/waitsets.rs
os_waitsets_registration_positive
os_waitsets_registration_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Tür ve geçiş tablosu Tek waiter aynı nesneyi iki kez eklemez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Duplicate handle kaydı” 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/K1345: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1340. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Tek waiter aynı nesneyi iki kez eklemez.

Uygulanacak işlem

kernel/src/runtime/waitsets.rs hedefinde os_waitsets_registration yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/task.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

Tek waiter aynı nesneyi iki kez eklemez

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_registration

Mevcut başlangıç referansı

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

Olumlu deney

İki kanal bir timer

Karşı-örnek / hata girdisi

Duplicate handle kaydı

Gerçek konuk kabulü

Bir olay bir wake üretir

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

kernel/tests/os/waitsets.rs
os_waitsets_registration_positive
os_waitsets_registration_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki kanal bir timer ile Duplicate handle kaydı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Duplicate handle kaydı” 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/K1345: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1341. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Tek waiter aynı nesneyi iki kez eklemez.

Uygulanacak işlem

os_waitsets_registration_positive testini oluştur: “İki kanal bir timer”. 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

Tek waiter aynı nesneyi iki kez eklemez

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_registration

Mevcut başlangıç referansı

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

Olumlu deney

İki kanal bir timer

Karşı-örnek / hata girdisi

Duplicate handle kaydı

Gerçek konuk kabulü

Bir olay bir wake üretir

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

kernel/tests/os/waitsets.rs
os_waitsets_registration_positive
os_waitsets_registration_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

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

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

“Duplicate handle kaydı” 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/K1345: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1342. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Tek waiter aynı nesneyi iki kez eklemez.

Uygulanacak işlem

os_waitsets_registration_negative testini oluştur: “Duplicate handle kaydı”. 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

Tek waiter aynı nesneyi iki kez eklemez

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_registration

Mevcut başlangıç referansı

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

Olumlu deney

İki kanal bir timer

Karşı-örnek / hata girdisi

Duplicate handle kaydı

Gerçek konuk kabulü

Bir olay bir wake üretir

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

kernel/tests/os/waitsets.rs
os_waitsets_registration_positive
os_waitsets_registration_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Duplicate handle kaydı 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üş

“Duplicate handle kaydı” 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/K1345: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1343. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Tek waiter aynı nesneyi iki kez eklemez.

Uygulanacak işlem

Tek ürün Image'ında “Bir olay bir wake üretir” kabulünü koştur. scripts/os-acceptance/waitsets.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

Tek waiter aynı nesneyi iki kez eklemez

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_registration

Mevcut başlangıç referansı

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

Olumlu deney

İki kanal bir timer

Karşı-örnek / hata girdisi

Duplicate handle kaydı

Gerçek konuk kabulü

Bir olay bir wake üretir

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

kernel/tests/os/waitsets.rs
os_waitsets_registration_positive
os_waitsets_registration_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Bir olay bir wake üretir; 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üş

“Duplicate handle kaydı” 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/K1345: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1344. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Okunabilir nesne olay kaybetmez.

Uygulanacak işlem

“Seviye tetiklenen readiness” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Okunabilir nesne olay kaybetmez. “Okunmamış iki mesaj” kabulü ile “Event teslimi readinessı siler” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Okunabilir nesne olay kaybetmez

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_readiness

Mevcut başlangıç referansı

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

Olumlu deney

Okunmamış iki mesaj

Karşı-örnek / hata girdisi

Event teslimi readinessı siler

Gerçek konuk kabulü

Drain bitene kadar tekrar hazır

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

kernel/tests/os/waitsets.rs
os_waitsets_readiness_positive
os_waitsets_readiness_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Tür ve geçiş tablosu Okunabilir nesne olay kaybetmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Event teslimi readinessı siler” 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/K1350: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1345. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Okunabilir nesne olay kaybetmez.

Uygulanacak işlem

kernel/src/runtime/waitsets.rs hedefinde os_waitsets_readiness yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/task.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

Okunabilir nesne olay kaybetmez

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_readiness

Mevcut başlangıç referansı

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

Olumlu deney

Okunmamış iki mesaj

Karşı-örnek / hata girdisi

Event teslimi readinessı siler

Gerçek konuk kabulü

Drain bitene kadar tekrar hazır

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

kernel/tests/os/waitsets.rs
os_waitsets_readiness_positive
os_waitsets_readiness_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Okunmamış iki mesaj ile Event teslimi readinessı siler ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Event teslimi readinessı siler” 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/K1350: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1346. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Okunabilir nesne olay kaybetmez.

Uygulanacak işlem

os_waitsets_readiness_positive testini oluştur: “Okunmamış iki mesaj”. 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

Okunabilir nesne olay kaybetmez

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_readiness

Mevcut başlangıç referansı

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

Olumlu deney

Okunmamış iki mesaj

Karşı-örnek / hata girdisi

Event teslimi readinessı siler

Gerçek konuk kabulü

Drain bitene kadar tekrar hazır

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

kernel/tests/os/waitsets.rs
os_waitsets_readiness_positive
os_waitsets_readiness_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

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

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

“Event teslimi readinessı siler” 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/K1350: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1347. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Okunabilir nesne olay kaybetmez.

Uygulanacak işlem

os_waitsets_readiness_negative testini oluştur: “Event teslimi readinessı siler”. 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

Okunabilir nesne olay kaybetmez

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_readiness

Mevcut başlangıç referansı

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

Olumlu deney

Okunmamış iki mesaj

Karşı-örnek / hata girdisi

Event teslimi readinessı siler

Gerçek konuk kabulü

Drain bitene kadar tekrar hazır

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

kernel/tests/os/waitsets.rs
os_waitsets_readiness_positive
os_waitsets_readiness_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Event teslimi readinessı siler 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üş

“Event teslimi readinessı siler” 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/K1350: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1348. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Okunabilir nesne olay kaybetmez.

Uygulanacak işlem

Tek ürün Image'ında “Drain bitene kadar tekrar hazır” kabulünü koştur. scripts/os-acceptance/waitsets.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

Okunabilir nesne olay kaybetmez

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_readiness

Mevcut başlangıç referansı

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

Olumlu deney

Okunmamış iki mesaj

Karşı-örnek / hata girdisi

Event teslimi readinessı siler

Gerçek konuk kabulü

Drain bitene kadar tekrar hazır

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

kernel/tests/os/waitsets.rs
os_waitsets_readiness_positive
os_waitsets_readiness_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Drain bitene kadar tekrar hazı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üş

“Event teslimi readinessı siler” 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/K1350: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1349. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Olay ve timeout tek sonuç seçer.

Uygulanacak işlem

“Waitset timeout iptal yarışı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Olay ve timeout tek sonuç seçer. “Mesaj deadline tickinde” kabulü ile “Ölü timer eski wake” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Olay ve timeout tek sonuç seçer

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_deadlines

Mevcut başlangıç referansı

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

Olumlu deney

Mesaj deadline tickinde

Karşı-örnek / hata girdisi

Ölü timer eski wake

Gerçek konuk kabulü

Tek completion ve kayıt temizliği

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

kernel/tests/os/waitsets.rs
os_waitsets_deadlines_positive
os_waitsets_deadlines_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Tür ve geçiş tablosu Olay ve timeout tek sonuç seçer kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Ölü timer eski wake” 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/K1355: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1350. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Olay ve timeout tek sonuç seçer.

Uygulanacak işlem

kernel/src/runtime/waitsets.rs hedefinde os_waitsets_deadlines yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/task.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

Olay ve timeout tek sonuç seçer

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_deadlines

Mevcut başlangıç referansı

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

Olumlu deney

Mesaj deadline tickinde

Karşı-örnek / hata girdisi

Ölü timer eski wake

Gerçek konuk kabulü

Tek completion ve kayıt temizliği

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

kernel/tests/os/waitsets.rs
os_waitsets_deadlines_positive
os_waitsets_deadlines_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Mesaj deadline tickinde ile Ölü timer eski wake ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Ölü timer eski wake” 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/K1355: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1351. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Olay ve timeout tek sonuç seçer.

Uygulanacak işlem

os_waitsets_deadlines_positive testini oluştur: “Mesaj deadline tickinde”. 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

Olay ve timeout tek sonuç seçer

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_deadlines

Mevcut başlangıç referansı

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

Olumlu deney

Mesaj deadline tickinde

Karşı-örnek / hata girdisi

Ölü timer eski wake

Gerçek konuk kabulü

Tek completion ve kayıt temizliği

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

kernel/tests/os/waitsets.rs
os_waitsets_deadlines_positive
os_waitsets_deadlines_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

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

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

“Ölü timer eski wake” 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/K1355: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1352. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Olay ve timeout tek sonuç seçer.

Uygulanacak işlem

os_waitsets_deadlines_negative testini oluştur: “Ölü timer eski wake”. 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

Olay ve timeout tek sonuç seçer

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_deadlines

Mevcut başlangıç referansı

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

Olumlu deney

Mesaj deadline tickinde

Karşı-örnek / hata girdisi

Ölü timer eski wake

Gerçek konuk kabulü

Tek completion ve kayıt temizliği

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

kernel/tests/os/waitsets.rs
os_waitsets_deadlines_positive
os_waitsets_deadlines_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Ölü timer eski wake 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üş

“Ölü timer eski wake” 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/K1355: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1353. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Olay ve timeout tek sonuç seçer.

Uygulanacak işlem

Tek ürün Image'ında “Tek completion ve kayıt temizliği” kabulünü koştur. scripts/os-acceptance/waitsets.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

Olay ve timeout tek sonuç seçer

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_deadlines

Mevcut başlangıç referansı

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

Olumlu deney

Mesaj deadline tickinde

Karşı-örnek / hata girdisi

Ölü timer eski wake

Gerçek konuk kabulü

Tek completion ve kayıt temizliği

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

kernel/tests/os/waitsets.rs
os_waitsets_deadlines_positive
os_waitsets_deadlines_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Tek completion ve kayıt temizliği; 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üş

“Ölü timer eski wake” 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/K1355: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1354. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Kapatma bütün abonelikleri söker.

Uygulanacak işlem

“Waitset kapatma ömrü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kapatma bütün abonelikleri söker. “Üç nesne bağlı waitset” kabulü ile “Peer ölümüyle eşzamanlı close” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kapatma bütün abonelikleri söker

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_teardown

Mevcut başlangıç referansı

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

Olumlu deney

Üç nesne bağlı waitset

Karşı-örnek / hata girdisi

Peer ölümüyle eşzamanlı close

Gerçek konuk kabulü

Kaynak sayaçları başlangıca döner

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

kernel/tests/os/waitsets.rs
os_waitsets_teardown_positive
os_waitsets_teardown_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kapatma bütün abonelikleri söker kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Peer ölümüyle eşzamanlı close” 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/K1360: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1355. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Kapatma bütün abonelikleri söker.

Uygulanacak işlem

kernel/src/runtime/waitsets.rs hedefinde os_waitsets_teardown yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/task.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

Kapatma bütün abonelikleri söker

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_teardown

Mevcut başlangıç referansı

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

Olumlu deney

Üç nesne bağlı waitset

Karşı-örnek / hata girdisi

Peer ölümüyle eşzamanlı close

Gerçek konuk kabulü

Kaynak sayaçları başlangıca döner

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

kernel/tests/os/waitsets.rs
os_waitsets_teardown_positive
os_waitsets_teardown_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç nesne bağlı waitset ile Peer ölümüyle eşzamanlı close ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Peer ölümüyle eşzamanlı close” 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/K1360: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1356. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Kapatma bütün abonelikleri söker.

Uygulanacak işlem

os_waitsets_teardown_positive testini oluştur: “Üç nesne bağlı waitset”. 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

Kapatma bütün abonelikleri söker

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_teardown

Mevcut başlangıç referansı

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

Olumlu deney

Üç nesne bağlı waitset

Karşı-örnek / hata girdisi

Peer ölümüyle eşzamanlı close

Gerçek konuk kabulü

Kaynak sayaçları başlangıca döner

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

kernel/tests/os/waitsets.rs
os_waitsets_teardown_positive
os_waitsets_teardown_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Üç nesne bağlı waitset girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Peer ölümüyle eşzamanlı close” 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/K1360: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1357. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Kapatma bütün abonelikleri söker.

Uygulanacak işlem

os_waitsets_teardown_negative testini oluştur: “Peer ölümüyle eşzamanlı close”. 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

Kapatma bütün abonelikleri söker

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_teardown

Mevcut başlangıç referansı

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

Olumlu deney

Üç nesne bağlı waitset

Karşı-örnek / hata girdisi

Peer ölümüyle eşzamanlı close

Gerçek konuk kabulü

Kaynak sayaçları başlangıca döner

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

kernel/tests/os/waitsets.rs
os_waitsets_teardown_positive
os_waitsets_teardown_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Peer ölümüyle eşzamanlı close 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üş

“Peer ölümüyle eşzamanlı close” 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/K1360: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1358. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Kapatma bütün abonelikleri söker.

Uygulanacak işlem

Tek ürün Image'ında “Kaynak sayaçları başlangıca döner” kabulünü koştur. scripts/os-acceptance/waitsets.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

Kapatma bütün abonelikleri söker

Kod hedefi — henüz öneri

kernel/src/runtime/waitsets.rs · os_waitsets_teardown

Mevcut başlangıç referansı

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

Olumlu deney

Üç nesne bağlı waitset

Karşı-örnek / hata girdisi

Peer ölümüyle eşzamanlı close

Gerçek konuk kabulü

Kaynak sayaçları başlangıca döner

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

kernel/tests/os/waitsets.rs
os_waitsets_teardown_positive
os_waitsets_teardown_negative
scripts/os-acceptance/waitsets.mjs

Geçiş koşulu

Kaynak sayaçları başlangıca döner; 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üş

“Peer ölümüyle eşzamanlı close” 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/K1360: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1359. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Nesne sayfaları yalnız yetkili süreçte map olur.

Uygulanacak işlem

“Paylaşılan sayfa nesnesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Nesne sayfaları yalnız yetkili süreçte map olur. “A B ortak iki sayfa” kabulü ile “C izinsiz handle edinir” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Nesne sayfaları yalnız yetkili süreçte map olur

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_create

Mevcut başlangıç referansı

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

Olumlu deney

A B ortak iki sayfa

Karşı-örnek / hata girdisi

C izinsiz handle edinir

Gerçek konuk kabulü

C erişimi reddedilir

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

kernel/tests/os/shared_memory.rs
os_shared_memory_create_positive
os_shared_memory_create_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

Tür ve geçiş tablosu Nesne sayfaları yalnız yetkili süreçte map 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üş

“C izinsiz handle edinir” 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/K1365: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1360. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Nesne sayfaları yalnız yetkili süreçte map olur.

Uygulanacak işlem

kernel/src/runtime/shared_memory.rs hedefinde os_shared_memory_create yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process_copy.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

Nesne sayfaları yalnız yetkili süreçte map olur

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_create

Mevcut başlangıç referansı

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

Olumlu deney

A B ortak iki sayfa

Karşı-örnek / hata girdisi

C izinsiz handle edinir

Gerçek konuk kabulü

C erişimi reddedilir

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

kernel/tests/os/shared_memory.rs
os_shared_memory_create_positive
os_shared_memory_create_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. A B ortak iki sayfa ile C izinsiz handle edinir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“C izinsiz handle edinir” 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/K1365: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1361. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Nesne sayfaları yalnız yetkili süreçte map olur.

Uygulanacak işlem

os_shared_memory_create_positive testini oluştur: “A B ortak iki sayfa”. 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

Nesne sayfaları yalnız yetkili süreçte map olur

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_create

Mevcut başlangıç referansı

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

Olumlu deney

A B ortak iki sayfa

Karşı-örnek / hata girdisi

C izinsiz handle edinir

Gerçek konuk kabulü

C erişimi reddedilir

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

kernel/tests/os/shared_memory.rs
os_shared_memory_create_positive
os_shared_memory_create_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

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

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

“C izinsiz handle edinir” 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/K1365: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1362. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Nesne sayfaları yalnız yetkili süreçte map olur.

Uygulanacak işlem

os_shared_memory_create_negative testini oluştur: “C izinsiz handle edinir”. 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

Nesne sayfaları yalnız yetkili süreçte map olur

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_create

Mevcut başlangıç referansı

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

Olumlu deney

A B ortak iki sayfa

Karşı-örnek / hata girdisi

C izinsiz handle edinir

Gerçek konuk kabulü

C erişimi reddedilir

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

kernel/tests/os/shared_memory.rs
os_shared_memory_create_positive
os_shared_memory_create_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

C izinsiz handle edinir 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üş

“C izinsiz handle edinir” 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/K1365: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1363. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Nesne sayfaları yalnız yetkili süreçte map olur.

Uygulanacak işlem

Tek ürün Image'ında “C erişimi reddedilir” kabulünü koştur. scripts/os-acceptance/shared_memory.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

Nesne sayfaları yalnız yetkili süreçte map olur

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_create

Mevcut başlangıç referansı

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

Olumlu deney

A B ortak iki sayfa

Karşı-örnek / hata girdisi

C izinsiz handle edinir

Gerçek konuk kabulü

C erişimi reddedilir

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

kernel/tests/os/shared_memory.rs
os_shared_memory_create_positive
os_shared_memory_create_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

C erişimi 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üş

“C izinsiz handle edinir” 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/K1365: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1364. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Seal sonrası yeni writable map yok.

Uygulanacak işlem

“RO seal ve izin düşürme” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Seal sonrası yeni writable map yok. “Veri hazırlayıp seal” kabulü ile “Seal sonrası RW talebi” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Seal sonrası yeni writable map yok

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_seal

Mevcut başlangıç referansı

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

Olumlu deney

Veri hazırlayıp seal

Karşı-örnek / hata girdisi

Seal sonrası RW talebi

Gerçek konuk kabulü

B RO okur A tekrar yazamaz

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

kernel/tests/os/shared_memory.rs
os_shared_memory_seal_positive
os_shared_memory_seal_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

Tür ve geçiş tablosu Seal sonrası yeni writable map yok kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Seal sonrası RW 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/K1370: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1365. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Seal sonrası yeni writable map yok.

Uygulanacak işlem

kernel/src/runtime/shared_memory.rs hedefinde os_shared_memory_seal yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process_copy.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

Seal sonrası yeni writable map yok

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_seal

Mevcut başlangıç referansı

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

Olumlu deney

Veri hazırlayıp seal

Karşı-örnek / hata girdisi

Seal sonrası RW talebi

Gerçek konuk kabulü

B RO okur A tekrar yazamaz

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

kernel/tests/os/shared_memory.rs
os_shared_memory_seal_positive
os_shared_memory_seal_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Veri hazırlayıp seal ile Seal sonrası RW talebi ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Seal sonrası RW 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/K1370: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1366. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Seal sonrası yeni writable map yok.

Uygulanacak işlem

os_shared_memory_seal_positive testini oluştur: “Veri hazırlayıp seal”. 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

Seal sonrası yeni writable map yok

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_seal

Mevcut başlangıç referansı

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

Olumlu deney

Veri hazırlayıp seal

Karşı-örnek / hata girdisi

Seal sonrası RW talebi

Gerçek konuk kabulü

B RO okur A tekrar yazamaz

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

kernel/tests/os/shared_memory.rs
os_shared_memory_seal_positive
os_shared_memory_seal_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Veri hazırlayıp seal girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Seal sonrası RW 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/K1370: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1367. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Seal sonrası yeni writable map yok.

Uygulanacak işlem

os_shared_memory_seal_negative testini oluştur: “Seal sonrası RW 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

Seal sonrası yeni writable map yok

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_seal

Mevcut başlangıç referansı

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

Olumlu deney

Veri hazırlayıp seal

Karşı-örnek / hata girdisi

Seal sonrası RW talebi

Gerçek konuk kabulü

B RO okur A tekrar yazamaz

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

kernel/tests/os/shared_memory.rs
os_shared_memory_seal_positive
os_shared_memory_seal_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

Seal sonrası RW 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üş

“Seal sonrası RW 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/K1370: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1368. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Seal sonrası yeni writable map yok.

Uygulanacak işlem

Tek ürün Image'ında “B RO okur A tekrar yazamaz” kabulünü koştur. scripts/os-acceptance/shared_memory.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

Seal sonrası yeni writable map yok

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_seal

Mevcut başlangıç referansı

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

Olumlu deney

Veri hazırlayıp seal

Karşı-örnek / hata girdisi

Seal sonrası RW talebi

Gerçek konuk kabulü

B RO okur A tekrar yazamaz

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

kernel/tests/os/shared_memory.rs
os_shared_memory_seal_positive
os_shared_memory_seal_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

B RO okur A tekrar yazamaz; 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üş

“Seal sonrası RW 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/K1370: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1369. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Map ve handle sıfırlanınca free olur.

Uygulanacak işlem

“Son map ve referans ömrü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Map ve handle sıfırlanınca free olur. “Handle close map canlı” kabulü ile “Map canlıyken backing free” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Map ve handle sıfırlanınca free olur

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_lifetime

Mevcut başlangıç referansı

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

Olumlu deney

Handle close map canlı

Karşı-örnek / hata girdisi

Map canlıyken backing free

Gerçek konuk kabulü

Son unmap sonrası tek iade

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

kernel/tests/os/shared_memory.rs
os_shared_memory_lifetime_positive
os_shared_memory_lifetime_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

Tür ve geçiş tablosu Map ve handle sıfırlanınca free 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üş

“Map canlıyken backing 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/K1375: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1370. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Map ve handle sıfırlanınca free olur.

Uygulanacak işlem

kernel/src/runtime/shared_memory.rs hedefinde os_shared_memory_lifetime yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process_copy.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

Map ve handle sıfırlanınca free olur

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_lifetime

Mevcut başlangıç referansı

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

Olumlu deney

Handle close map canlı

Karşı-örnek / hata girdisi

Map canlıyken backing free

Gerçek konuk kabulü

Son unmap sonrası tek iade

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

kernel/tests/os/shared_memory.rs
os_shared_memory_lifetime_positive
os_shared_memory_lifetime_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Handle close map canlı ile Map canlıyken backing free ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Map canlıyken backing 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/K1375: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1371. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Map ve handle sıfırlanınca free olur.

Uygulanacak işlem

os_shared_memory_lifetime_positive testini oluştur: “Handle close map canlı”. 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

Map ve handle sıfırlanınca free olur

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_lifetime

Mevcut başlangıç referansı

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

Olumlu deney

Handle close map canlı

Karşı-örnek / hata girdisi

Map canlıyken backing free

Gerçek konuk kabulü

Son unmap sonrası tek iade

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

kernel/tests/os/shared_memory.rs
os_shared_memory_lifetime_positive
os_shared_memory_lifetime_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Handle close map canlı girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Map canlıyken backing 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/K1375: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1372. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Map ve handle sıfırlanınca free olur.

Uygulanacak işlem

os_shared_memory_lifetime_negative testini oluştur: “Map canlıyken backing 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

Map ve handle sıfırlanınca free olur

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_lifetime

Mevcut başlangıç referansı

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

Olumlu deney

Handle close map canlı

Karşı-örnek / hata girdisi

Map canlıyken backing free

Gerçek konuk kabulü

Son unmap sonrası tek iade

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

kernel/tests/os/shared_memory.rs
os_shared_memory_lifetime_positive
os_shared_memory_lifetime_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

Map canlıyken backing 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üş

“Map canlıyken backing 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/K1375: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1373. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Map ve handle sıfırlanınca free olur.

Uygulanacak işlem

Tek ürün Image'ında “Son unmap sonrası tek iade” kabulünü koştur. scripts/os-acceptance/shared_memory.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

Map ve handle sıfırlanınca free olur

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_lifetime

Mevcut başlangıç referansı

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

Olumlu deney

Handle close map canlı

Karşı-örnek / hata girdisi

Map canlıyken backing free

Gerçek konuk kabulü

Son unmap sonrası tek iade

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

kernel/tests/os/shared_memory.rs
os_shared_memory_lifetime_positive
os_shared_memory_lifetime_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

Son unmap sonrası tek iade; 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üş

“Map canlıyken backing 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/K1375: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1374. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Baş son ve kapasite atomik sınırlıdır.

Uygulanacak işlem

“Paylaşılan kullanıcı ringi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Baş son ve kapasite atomik sınırlıdır. “Üretici tüketici bin mesaj” kabulü ile “Bozuk producer index” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Baş son ve kapasite atomik sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_ring

Mevcut başlangıç referansı

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

Olumlu deney

Üretici tüketici bin mesaj

Karşı-örnek / hata girdisi

Bozuk producer index

Gerçek konuk kabulü

Ret sınırı kernel belleğini korur

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

kernel/tests/os/shared_memory.rs
os_shared_memory_ring_positive
os_shared_memory_ring_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

Tür ve geçiş tablosu Baş son ve kapasite atomik 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üş

“Bozuk producer index” 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/K1380: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1375. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Baş son ve kapasite atomik sınırlıdır.

Uygulanacak işlem

kernel/src/runtime/shared_memory.rs hedefinde os_shared_memory_ring yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process_copy.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

Baş son ve kapasite atomik sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_ring

Mevcut başlangıç referansı

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

Olumlu deney

Üretici tüketici bin mesaj

Karşı-örnek / hata girdisi

Bozuk producer index

Gerçek konuk kabulü

Ret sınırı kernel belleğini korur

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

kernel/tests/os/shared_memory.rs
os_shared_memory_ring_positive
os_shared_memory_ring_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üretici tüketici bin mesaj ile Bozuk producer index ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Bozuk producer index” 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/K1380: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1376. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Baş son ve kapasite atomik sınırlıdır.

Uygulanacak işlem

os_shared_memory_ring_positive testini oluştur: “Üretici tüketici bin mesaj”. 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

Baş son ve kapasite atomik sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_ring

Mevcut başlangıç referansı

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

Olumlu deney

Üretici tüketici bin mesaj

Karşı-örnek / hata girdisi

Bozuk producer index

Gerçek konuk kabulü

Ret sınırı kernel belleğini korur

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

kernel/tests/os/shared_memory.rs
os_shared_memory_ring_positive
os_shared_memory_ring_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Üretici tüketici bin mesaj girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Bozuk producer index” 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/K1380: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1377. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Baş son ve kapasite atomik sınırlıdır.

Uygulanacak işlem

os_shared_memory_ring_negative testini oluştur: “Bozuk producer index”. 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

Baş son ve kapasite atomik sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_ring

Mevcut başlangıç referansı

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

Olumlu deney

Üretici tüketici bin mesaj

Karşı-örnek / hata girdisi

Bozuk producer index

Gerçek konuk kabulü

Ret sınırı kernel belleğini korur

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

kernel/tests/os/shared_memory.rs
os_shared_memory_ring_positive
os_shared_memory_ring_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

Bozuk producer index 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üş

“Bozuk producer index” 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/K1380: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1378. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Baş son ve kapasite atomik sınırlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Ret sınırı kernel belleğini korur” kabulünü koştur. scripts/os-acceptance/shared_memory.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

Baş son ve kapasite atomik sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/shared_memory.rs · os_shared_memory_ring

Mevcut başlangıç referansı

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

Olumlu deney

Üretici tüketici bin mesaj

Karşı-örnek / hata girdisi

Bozuk producer index

Gerçek konuk kabulü

Ret sınırı kernel belleğini korur

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

kernel/tests/os/shared_memory.rs
os_shared_memory_ring_positive
os_shared_memory_ring_negative
scripts/os-acceptance/shared_memory.mjs

Geçiş koşulu

Ret sınırı kernel belleğini korur; 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üş

“Bozuk producer index” 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/K1380: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1379. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Ad yalnız yetkili publishera bağlanır.

Uygulanacak işlem

“Hizmet adı kayıt sahipliği” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Ad yalnız yetkili publishera bağlanır. “Console ve file iki ad” kabulü ile “Yabancı aynı adı ele geçirir” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Ad yalnız yetkili publishera bağlanır

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_names

Mevcut başlangıç referansı

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

Olumlu deney

Console ve file iki ad

Karşı-örnek / hata girdisi

Yabancı aynı adı ele geçirir

Gerçek konuk kabulü

Eski publisher etkilenmez

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

userspace/tests/service_registry.rs
os_service_registry_names_positive
os_service_registry_names_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

Tür ve geçiş tablosu Ad yalnız yetkili publishera bağlanı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ı aynı adı ele geçirir” 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/K1385: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1380. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Ad yalnız yetkili publishera bağlanır.

Uygulanacak işlem

userspace/src/service_registry.rs hedefinde os_service_registry_names yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/ipc.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

Ad yalnız yetkili publishera bağlanır

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_names

Mevcut başlangıç referansı

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

Olumlu deney

Console ve file iki ad

Karşı-örnek / hata girdisi

Yabancı aynı adı ele geçirir

Gerçek konuk kabulü

Eski publisher etkilenmez

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

userspace/tests/service_registry.rs
os_service_registry_names_positive
os_service_registry_names_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Console ve file iki ad ile Yabancı aynı adı ele geçirir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Yabancı aynı adı ele geçirir” 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/K1385: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1381. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Ad yalnız yetkili publishera bağlanır.

Uygulanacak işlem

os_service_registry_names_positive testini oluştur: “Console ve file iki ad”. 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

Ad yalnız yetkili publishera bağlanır

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_names

Mevcut başlangıç referansı

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

Olumlu deney

Console ve file iki ad

Karşı-örnek / hata girdisi

Yabancı aynı adı ele geçirir

Gerçek konuk kabulü

Eski publisher etkilenmez

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

userspace/tests/service_registry.rs
os_service_registry_names_positive
os_service_registry_names_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

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

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

“Yabancı aynı adı ele geçirir” 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/K1385: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1382. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Ad yalnız yetkili publishera bağlanır.

Uygulanacak işlem

os_service_registry_names_negative testini oluştur: “Yabancı aynı adı ele geçirir”. 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

Ad yalnız yetkili publishera bağlanır

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_names

Mevcut başlangıç referansı

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

Olumlu deney

Console ve file iki ad

Karşı-örnek / hata girdisi

Yabancı aynı adı ele geçirir

Gerçek konuk kabulü

Eski publisher etkilenmez

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

userspace/tests/service_registry.rs
os_service_registry_names_positive
os_service_registry_names_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

Yabancı aynı adı ele geçirir 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ı aynı adı ele geçirir” 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/K1385: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1383. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Ad yalnız yetkili publishera bağlanır.

Uygulanacak işlem

Tek ürün Image'ında “Eski publisher etkilenmez” kabulünü koştur. scripts/os-acceptance/service_registry.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

Ad yalnız yetkili publishera bağlanır

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_names

Mevcut başlangıç referansı

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

Olumlu deney

Console ve file iki ad

Karşı-örnek / hata girdisi

Yabancı aynı adı ele geçirir

Gerçek konuk kabulü

Eski publisher etkilenmez

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

userspace/tests/service_registry.rs
os_service_registry_names_positive
os_service_registry_names_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

Eski publisher etkilenmez; 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ı aynı adı ele geçirir” 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/K1385: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1384. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Başlık boyu ve sürüm payloadı sınırlar.

Uygulanacak işlem

“Mesaj protokol 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: Başlık boyu ve sürüm payloadı sınırlar. “V1 request response” kabulü ile “V255 ve kesik başlık” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Başlık boyu ve sürüm payloadı sınırlar

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_versions

Mevcut başlangıç referansı

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

Olumlu deney

V1 request response

Karşı-örnek / hata girdisi

V255 ve kesik başlık

Gerçek konuk kabulü

Servis yanlış mesajı paniksiz reddeder

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

userspace/tests/service_registry.rs
os_service_registry_versions_positive
os_service_registry_versions_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

Tür ve geçiş tablosu Başlık boyu ve sürüm payloadı sınırlar kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“V255 ve kesik başlık” 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/K1390: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1385. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Başlık boyu ve sürüm payloadı sınırlar.

Uygulanacak işlem

userspace/src/service_registry.rs hedefinde os_service_registry_versions yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/ipc.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

Başlık boyu ve sürüm payloadı sınırlar

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_versions

Mevcut başlangıç referansı

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

Olumlu deney

V1 request response

Karşı-örnek / hata girdisi

V255 ve kesik başlık

Gerçek konuk kabulü

Servis yanlış mesajı paniksiz reddeder

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

userspace/tests/service_registry.rs
os_service_registry_versions_positive
os_service_registry_versions_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. V1 request response ile V255 ve kesik başlık ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“V255 ve kesik başlık” 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/K1390: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1386. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Başlık boyu ve sürüm payloadı sınırlar.

Uygulanacak işlem

os_service_registry_versions_positive testini oluştur: “V1 request response”. 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

Başlık boyu ve sürüm payloadı sınırlar

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_versions

Mevcut başlangıç referansı

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

Olumlu deney

V1 request response

Karşı-örnek / hata girdisi

V255 ve kesik başlık

Gerçek konuk kabulü

Servis yanlış mesajı paniksiz reddeder

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

userspace/tests/service_registry.rs
os_service_registry_versions_positive
os_service_registry_versions_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

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

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

“V255 ve kesik başlık” 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/K1390: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1387. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Başlık boyu ve sürüm payloadı sınırlar.

Uygulanacak işlem

os_service_registry_versions_negative testini oluştur: “V255 ve kesik başlık”. 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

Başlık boyu ve sürüm payloadı sınırlar

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_versions

Mevcut başlangıç referansı

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

Olumlu deney

V1 request response

Karşı-örnek / hata girdisi

V255 ve kesik başlık

Gerçek konuk kabulü

Servis yanlış mesajı paniksiz reddeder

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

userspace/tests/service_registry.rs
os_service_registry_versions_positive
os_service_registry_versions_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

V255 ve kesik başlık 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üş

“V255 ve kesik başlık” 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/K1390: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1388. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Başlık boyu ve sürüm payloadı sınırlar.

Uygulanacak işlem

Tek ürün Image'ında “Servis yanlış mesajı paniksiz reddeder” kabulünü koştur. scripts/os-acceptance/service_registry.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

Başlık boyu ve sürüm payloadı sınırlar

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_versions

Mevcut başlangıç referansı

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

Olumlu deney

V1 request response

Karşı-örnek / hata girdisi

V255 ve kesik başlık

Gerçek konuk kabulü

Servis yanlış mesajı paniksiz reddeder

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

userspace/tests/service_registry.rs
os_service_registry_versions_positive
os_service_registry_versions_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

Servis yanlış mesajı paniksiz 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üş

“V255 ve kesik başlık” 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/K1390: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1389. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Yeni nesil eski sessionı kabul etmez.

Uygulanacak işlem

“Hizmet nesli yeniden bağlama” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yeni nesil eski sessionı kabul etmez. “Servis kapanır yeni PID başlar” kabulü ile “Eski session replay” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Yeni nesil eski sessionı kabul etmez

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_restart

Mevcut başlangıç referansı

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

Olumlu deney

Servis kapanır yeni PID başlar

Karşı-örnek / hata girdisi

Eski session replay

Gerçek konuk kabulü

İstemci yeni session edinir

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

userspace/tests/service_registry.rs
os_service_registry_restart_positive
os_service_registry_restart_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

Tür ve geçiş tablosu Yeni nesil eski sessionı kabul etmez 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 session replay” 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/K1395: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1390. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Yeni nesil eski sessionı kabul etmez.

Uygulanacak işlem

userspace/src/service_registry.rs hedefinde os_service_registry_restart yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/ipc.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

Yeni nesil eski sessionı kabul etmez

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_restart

Mevcut başlangıç referansı

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

Olumlu deney

Servis kapanır yeni PID başlar

Karşı-örnek / hata girdisi

Eski session replay

Gerçek konuk kabulü

İstemci yeni session edinir

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

userspace/tests/service_registry.rs
os_service_registry_restart_positive
os_service_registry_restart_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Servis kapanır yeni PID başlar ile Eski session replay ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Eski session replay” 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/K1395: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1391. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Yeni nesil eski sessionı kabul etmez.

Uygulanacak işlem

os_service_registry_restart_positive testini oluştur: “Servis kapanır yeni PID başlar”. 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

Yeni nesil eski sessionı kabul etmez

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_restart

Mevcut başlangıç referansı

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

Olumlu deney

Servis kapanır yeni PID başlar

Karşı-örnek / hata girdisi

Eski session replay

Gerçek konuk kabulü

İstemci yeni session edinir

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

userspace/tests/service_registry.rs
os_service_registry_restart_positive
os_service_registry_restart_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Servis kapanır yeni PID başlar girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Eski session replay” 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/K1395: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1392. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Yeni nesil eski sessionı kabul etmez.

Uygulanacak işlem

os_service_registry_restart_negative testini oluştur: “Eski session replay”. 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

Yeni nesil eski sessionı kabul etmez

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_restart

Mevcut başlangıç referansı

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

Olumlu deney

Servis kapanır yeni PID başlar

Karşı-örnek / hata girdisi

Eski session replay

Gerçek konuk kabulü

İstemci yeni session edinir

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

userspace/tests/service_registry.rs
os_service_registry_restart_positive
os_service_registry_restart_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

Eski session replay 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 session replay” 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/K1395: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1393. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Yeni nesil eski sessionı kabul etmez.

Uygulanacak işlem

Tek ürün Image'ında “İstemci yeni session edinir” kabulünü koştur. scripts/os-acceptance/service_registry.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

Yeni nesil eski sessionı kabul etmez

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_restart

Mevcut başlangıç referansı

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

Olumlu deney

Servis kapanır yeni PID başlar

Karşı-örnek / hata girdisi

Eski session replay

Gerçek konuk kabulü

İstemci yeni session edinir

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

userspace/tests/service_registry.rs
os_service_registry_restart_positive
os_service_registry_restart_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

İstemci yeni session edinir; 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 session replay” 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/K1395: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1394. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Namespace görünürlüğü principal ile sınırlıdır.

Uygulanacak işlem

“Kısıtlı hizmet keşfi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Namespace görünürlüğü principal ile sınırlıdır. “İzinli iki hizmet sorgusu” kabulü ile “Yönetim namespace sorgusu” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Namespace görünürlüğü principal ile sınırlıdır

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_discovery

Mevcut başlangıç referansı

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

Olumlu deney

İzinli iki hizmet sorgusu

Karşı-örnek / hata girdisi

Yönetim namespace sorgusu

Gerçek konuk kabulü

Yetkisiz adlar açıklanmaz

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

userspace/tests/service_registry.rs
os_service_registry_discovery_positive
os_service_registry_discovery_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

Tür ve geçiş tablosu Namespace görünürlüğü principal ile 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üş

“Yönetim namespace sorgusu” 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/K1400: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1395. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Namespace görünürlüğü principal ile sınırlıdır.

Uygulanacak işlem

userspace/src/service_registry.rs hedefinde os_service_registry_discovery yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/ipc.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

Namespace görünürlüğü principal ile sınırlıdır

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_discovery

Mevcut başlangıç referansı

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

Olumlu deney

İzinli iki hizmet sorgusu

Karşı-örnek / hata girdisi

Yönetim namespace sorgusu

Gerçek konuk kabulü

Yetkisiz adlar açıklanmaz

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

userspace/tests/service_registry.rs
os_service_registry_discovery_positive
os_service_registry_discovery_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İzinli iki hizmet sorgusu ile Yönetim namespace sorgusu ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Yönetim namespace sorgusu” 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/K1400: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1396. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Namespace görünürlüğü principal ile sınırlıdır.

Uygulanacak işlem

os_service_registry_discovery_positive testini oluştur: “İzinli iki hizmet sorgusu”. 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

Namespace görünürlüğü principal ile sınırlıdır

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_discovery

Mevcut başlangıç referansı

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

Olumlu deney

İzinli iki hizmet sorgusu

Karşı-örnek / hata girdisi

Yönetim namespace sorgusu

Gerçek konuk kabulü

Yetkisiz adlar açıklanmaz

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

userspace/tests/service_registry.rs
os_service_registry_discovery_positive
os_service_registry_discovery_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İzinli iki hizmet sorgusu girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Yönetim namespace sorgusu” 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/K1400: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1397. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Namespace görünürlüğü principal ile sınırlıdır.

Uygulanacak işlem

os_service_registry_discovery_negative testini oluştur: “Yönetim namespace sorgusu”. 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

Namespace görünürlüğü principal ile sınırlıdır

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_discovery

Mevcut başlangıç referansı

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

Olumlu deney

İzinli iki hizmet sorgusu

Karşı-örnek / hata girdisi

Yönetim namespace sorgusu

Gerçek konuk kabulü

Yetkisiz adlar açıklanmaz

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

userspace/tests/service_registry.rs
os_service_registry_discovery_positive
os_service_registry_discovery_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

Yönetim namespace sorgusu 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üş

“Yönetim namespace sorgusu” 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/K1400: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1398. Ayrıca faz 7 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.

Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur. Bu hamlenin koruduğu değişmez: Namespace görünürlüğü principal ile sınırlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Yetkisiz adlar açıklanmaz” kabulünü koştur. scripts/os-acceptance/service_registry.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

Namespace görünürlüğü principal ile sınırlıdır

Kod hedefi — henüz öneri

userspace/src/service_registry.rs · os_service_registry_discovery

Mevcut başlangıç referansı

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

Olumlu deney

İzinli iki hizmet sorgusu

Karşı-örnek / hata girdisi

Yönetim namespace sorgusu

Gerçek konuk kabulü

Yetkisiz adlar açıklanmaz

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

userspace/tests/service_registry.rs
os_service_registry_discovery_positive
os_service_registry_discovery_negative
scripts/os-acceptance/service_registry.mjs

Geçiş koşulu

Yetkisiz adlar açıklanmaz; 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üş

“Yönetim namespace sorgusu” 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/K1400: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1399. Ayrıca faz 7 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.