← 1900 hamlenin bütünüFAZ 05 / K1001–K1100

İş parçacığı ve preemptive scheduler

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır.

100planlı hamle

5modül

20yetenek

0gerçek kabul

Bu fazın 100 hamlesinde ara

100 / 100 hamle gösteriliyor

Kernel Rust · K1001–K1020

Thread kimliği ve yığın

Dört yetenek: Thread slot ve nesil · Thread özel kernel yığını · Ready Running Sleeping Dead · Thread sonlanma iadesi. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K1001Thread slot ve nesil · Sözleşme ve durum modeliPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: ThreadId slot tekrarında değişir.

Uygulanacak işlem: “Thread slot ve nesil” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: ThreadId slot tekrarında değişir. “Slotu üç kez kullan” kabulü ile “Eski ThreadId wake” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: ThreadId slot tekrarında değişir
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_identity
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Slotu üç kez kullan
Karşı-örnek / hata girdisi: Eski ThreadId wake
Gerçek konuk kabulü: Yeni görev etkilenmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_identity_positive
os_threads_identity_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Tür ve geçiş tablosu ThreadId slot tekrarında değişir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Eski ThreadId 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/K1005: 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 4 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.

K1002Thread slot ve nesil · Rust uygulaması ve sahiplikPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: ThreadId slot tekrarında değişir.

Uygulanacak işlem: kernel/src/runtime/threads.rs hedefinde os_threads_identity 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: ThreadId slot tekrarında değişir
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_identity
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Slotu üç kez kullan
Karşı-örnek / hata girdisi: Eski ThreadId wake
Gerçek konuk kabulü: Yeni görev etkilenmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_identity_positive
os_threads_identity_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Slotu üç kez kullan ile Eski ThreadId wake ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Eski ThreadId 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/K1005: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1001. Ayrıca faz 4 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.

K1003Thread slot ve nesil · Olumlu ve sınır birim testiPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: ThreadId slot tekrarında değişir.

Uygulanacak işlem: os_threads_identity_positive testini oluştur: “Slotu üç kez kullan”. 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: ThreadId slot tekrarında değişir
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_identity
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Slotu üç kez kullan
Karşı-örnek / hata girdisi: Eski ThreadId wake
Gerçek konuk kabulü: Yeni görev etkilenmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_identity_positive
os_threads_identity_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Slotu üç kez kullan girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Eski ThreadId 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/K1005: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1002. Ayrıca faz 4 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.

K1004Thread slot ve nesil · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: ThreadId slot tekrarında değişir.

Uygulanacak işlem: os_threads_identity_negative testini oluştur: “Eski ThreadId 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: ThreadId slot tekrarında değişir
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_identity
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Slotu üç kez kullan
Karşı-örnek / hata girdisi: Eski ThreadId wake
Gerçek konuk kabulü: Yeni görev etkilenmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_identity_positive
os_threads_identity_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Eski ThreadId 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üş: “Eski ThreadId 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/K1005: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1003. Ayrıca faz 4 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.

K1005Thread slot ve nesil · Gerçek konukta ürün kabulüPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: ThreadId slot tekrarında değişir.

Uygulanacak işlem: Tek ürün Image'ında “Yeni görev etkilenmez” kabulünü koştur. scripts/os-acceptance/threads.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: ThreadId slot tekrarında değişir
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_identity
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Slotu üç kez kullan
Karşı-örnek / hata girdisi: Eski ThreadId wake
Gerçek konuk kabulü: Yeni görev etkilenmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_identity_positive
os_threads_identity_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Yeni görev 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üş: “Eski ThreadId 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/K1005: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1004. Ayrıca faz 4 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.

K1006Thread özel kernel yığını · Sözleşme ve durum modeliPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Her thread guardlı ayrı backing taşır.

Uygulanacak işlem: “Thread özel kernel yığını” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Her thread guardlı ayrı backing taşır. “Üç thread üç stack” kabulü ile “Ortak yığın iki bağlamda” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Her thread guardlı ayrı backing taşır
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_stacks
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç thread üç stack
Karşı-örnek / hata girdisi: Ortak yığın iki bağlamda
Gerçek konuk kabulü: Guard fault yalnız tanımlı fatal yol
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_stacks_positive
os_threads_stacks_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Tür ve geçiş tablosu Her thread guardlı ayrı backing taşı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üş: “Ortak yığın iki bağlamda” 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/K1010: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1005. Ayrıca faz 4 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.

K1007Thread özel kernel yığını · Rust uygulaması ve sahiplikPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Her thread guardlı ayrı backing taşır.

Uygulanacak işlem: kernel/src/runtime/threads.rs hedefinde os_threads_stacks 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: Her thread guardlı ayrı backing taşır
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_stacks
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç thread üç stack
Karşı-örnek / hata girdisi: Ortak yığın iki bağlamda
Gerçek konuk kabulü: Guard fault yalnız tanımlı fatal yol
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_stacks_positive
os_threads_stacks_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç thread üç stack ile Ortak yığın iki bağlamda ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Ortak yığın iki bağlamda” 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/K1010: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1006. Ayrıca faz 4 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.

K1008Thread özel kernel yığını · Olumlu ve sınır birim testiPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Her thread guardlı ayrı backing taşır.

Uygulanacak işlem: os_threads_stacks_positive testini oluştur: “Üç thread üç stack”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: Her thread guardlı ayrı backing taşır
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_stacks
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç thread üç stack
Karşı-örnek / hata girdisi: Ortak yığın iki bağlamda
Gerçek konuk kabulü: Guard fault yalnız tanımlı fatal yol
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_stacks_positive
os_threads_stacks_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Üç thread üç stack girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Ortak yığın iki bağlamda” 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/K1010: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1007. Ayrıca faz 4 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.

K1009Thread özel kernel yığını · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Her thread guardlı ayrı backing taşır.

Uygulanacak işlem: os_threads_stacks_negative testini oluştur: “Ortak yığın iki bağlamda”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Her thread guardlı ayrı backing taşır
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_stacks
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç thread üç stack
Karşı-örnek / hata girdisi: Ortak yığın iki bağlamda
Gerçek konuk kabulü: Guard fault yalnız tanımlı fatal yol
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_stacks_positive
os_threads_stacks_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Ortak yığın iki bağlamda 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üş: “Ortak yığın iki bağlamda” 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/K1010: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1008. Ayrıca faz 4 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.

K1010Thread özel kernel yığını · Gerçek konukta ürün kabulüPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Her thread guardlı ayrı backing taşır.

Uygulanacak işlem: Tek ürün Image'ında “Guard fault yalnız tanımlı fatal yol” kabulünü koştur. scripts/os-acceptance/threads.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.
Değişmez / korunan bağlam: Her thread guardlı ayrı backing taşır
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_stacks
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç thread üç stack
Karşı-örnek / hata girdisi: Ortak yığın iki bağlamda
Gerçek konuk kabulü: Guard fault yalnız tanımlı fatal yol
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_stacks_positive
os_threads_stacks_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Guard fault yalnız tanımlı fatal yol; 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üş: “Ortak yığın iki bağlamda” 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/K1010: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1009. Ayrıca faz 4 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.

K1011Ready Running Sleeping Dead · Sözleşme ve durum modeliPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Geçersiz durum geçişi yayımlanmaz.

Uygulanacak işlem: “Ready Running Sleeping Dead” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Geçersiz durum geçişi yayımlanmaz. “Ready Running Sleeping Ready” kabulü ile “Dead Ready geçişi” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Geçersiz durum geçişi yayımlanmaz
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_states
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Ready Running Sleeping Ready
Karşı-örnek / hata girdisi: Dead Ready geçişi
Gerçek konuk kabulü: Ölü thread runqueueda bulunmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_states_positive
os_threads_states_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Tür ve geçiş tablosu Geçersiz durum geçişi yayımlanmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Dead Ready geçiş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/K1015: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1010. Ayrıca faz 4 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.

K1012Ready Running Sleeping Dead · Rust uygulaması ve sahiplikPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Geçersiz durum geçişi yayımlanmaz.

Uygulanacak işlem: kernel/src/runtime/threads.rs hedefinde os_threads_states 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: Geçersiz durum geçişi yayımlanmaz
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_states
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Ready Running Sleeping Ready
Karşı-örnek / hata girdisi: Dead Ready geçişi
Gerçek konuk kabulü: Ölü thread runqueueda bulunmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_states_positive
os_threads_states_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Ready Running Sleeping Ready ile Dead Ready geçişi ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Dead Ready geçiş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/K1015: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1011. Ayrıca faz 4 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.

K1013Ready Running Sleeping Dead · Olumlu ve sınır birim testiPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Geçersiz durum geçişi yayımlanmaz.

Uygulanacak işlem: os_threads_states_positive testini oluştur: “Ready Running Sleeping Ready”. 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: Geçersiz durum geçişi yayımlanmaz
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_states
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Ready Running Sleeping Ready
Karşı-örnek / hata girdisi: Dead Ready geçişi
Gerçek konuk kabulü: Ölü thread runqueueda bulunmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_states_positive
os_threads_states_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Ready Running Sleeping Ready girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Dead Ready geçiş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/K1015: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1012. Ayrıca faz 4 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.

K1014Ready Running Sleeping Dead · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Geçersiz durum geçişi yayımlanmaz.

Uygulanacak işlem: os_threads_states_negative testini oluştur: “Dead Ready geçiş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: Geçersiz durum geçişi yayımlanmaz
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_states
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Ready Running Sleeping Ready
Karşı-örnek / hata girdisi: Dead Ready geçişi
Gerçek konuk kabulü: Ölü thread runqueueda bulunmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_states_positive
os_threads_states_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Dead Ready geçiş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üş: “Dead Ready geçiş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/K1015: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1013. Ayrıca faz 4 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.

K1015Ready Running Sleeping Dead · Gerçek konukta ürün kabulüPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Geçersiz durum geçişi yayımlanmaz.

Uygulanacak işlem: Tek ürün Image'ında “Ölü thread runqueueda bulunmaz” kabulünü koştur. scripts/os-acceptance/threads.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: Geçersiz durum geçişi yayımlanmaz
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_states
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Ready Running Sleeping Ready
Karşı-örnek / hata girdisi: Dead Ready geçişi
Gerçek konuk kabulü: Ölü thread runqueueda bulunmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_states_positive
os_threads_states_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Ölü thread runqueueda bulunmaz; 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üş: “Dead Ready geçiş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/K1015: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1014. Ayrıca faz 4 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.

K1016Thread sonlanma iadesi · Sözleşme ve durum modeliPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Çalışan stack üzerinde free yapılmaz.

Uygulanacak işlem: “Thread sonlanma iadesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Çalışan stack üzerinde free yapılmaz. “Başka stackten reap” kabulü ile “Kendi stackini anında iade” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Çalışan stack üzerinde free yapılmaz
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_retire
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Başka stackten reap
Karşı-örnek / hata girdisi: Kendi stackini anında iade
Gerçek konuk kabulü: Reap sonrasında kaynak sayısı başlangıç
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_retire_positive
os_threads_retire_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Tür ve geçiş tablosu Çalışan stack üzerinde free yapılmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Kendi stackini anında iade” 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/K1020: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1015. Ayrıca faz 4 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.

K1017Thread sonlanma iadesi · Rust uygulaması ve sahiplikPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Çalışan stack üzerinde free yapılmaz.

Uygulanacak işlem: kernel/src/runtime/threads.rs hedefinde os_threads_retire 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: Çalışan stack üzerinde free yapılmaz
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_retire
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Başka stackten reap
Karşı-örnek / hata girdisi: Kendi stackini anında iade
Gerçek konuk kabulü: Reap sonrasında kaynak sayısı başlangıç
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_retire_positive
os_threads_retire_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Başka stackten reap ile Kendi stackini anında iade ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Kendi stackini anında iade” 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/K1020: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1016. Ayrıca faz 4 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.

K1018Thread sonlanma iadesi · Olumlu ve sınır birim testiPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Çalışan stack üzerinde free yapılmaz.

Uygulanacak işlem: os_threads_retire_positive testini oluştur: “Başka stackten reap”. 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: Çalışan stack üzerinde free yapılmaz
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_retire
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Başka stackten reap
Karşı-örnek / hata girdisi: Kendi stackini anında iade
Gerçek konuk kabulü: Reap sonrasında kaynak sayısı başlangıç
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_retire_positive
os_threads_retire_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Başka stackten reap girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Kendi stackini anında iade” 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/K1020: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1017. Ayrıca faz 4 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.

K1019Thread sonlanma iadesi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Çalışan stack üzerinde free yapılmaz.

Uygulanacak işlem: os_threads_retire_negative testini oluştur: “Kendi stackini anında iade”. 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: Çalışan stack üzerinde free yapılmaz
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_retire
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Başka stackten reap
Karşı-örnek / hata girdisi: Kendi stackini anında iade
Gerçek konuk kabulü: Reap sonrasında kaynak sayısı başlangıç
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_retire_positive
os_threads_retire_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Kendi stackini anında iade 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üş: “Kendi stackini anında iade” 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/K1020: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1018. Ayrıca faz 4 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.

K1020Thread sonlanma iadesi · Gerçek konukta ürün kabulüPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Çalışan stack üzerinde free yapılmaz.

Uygulanacak işlem: Tek ürün Image'ında “Reap sonrasında kaynak sayısı başlangıç” kabulünü koştur. scripts/os-acceptance/threads.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: Çalışan stack üzerinde free yapılmaz
Kod hedefi — henüz öneri: kernel/src/runtime/threads.rs · os_threads_retire
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Başka stackten reap
Karşı-örnek / hata girdisi: Kendi stackini anında iade
Gerçek konuk kabulü: Reap sonrasında kaynak sayısı başlangıç
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/threads.rs
os_threads_retire_positive
os_threads_retire_negative
scripts/os-acceptance/threads.mjs
Geçiş koşulu: Reap sonrasında kaynak sayısı başlangıç; 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üş: “Kendi stackini anında iade” 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/K1020: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1019. Ayrıca faz 4 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.

AArch64 / Rust + küçük assembly sınırı · K1021–K1040

Kernel bağlam geçişi

Dört yetenek: Callee saved kayıt düzeni · SIMD FPU sahipliği · Timerdan thread değiştirme · Idle ve WFI yolu. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K1021Callee saved kayıt düzeni · Sözleşme ve durum modeliPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Assembly ve Rust ofsetleri eşittir.

Uygulanacak işlem: “Callee saved kayıt düzeni” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Assembly ve Rust ofsetleri eşittir. “x19 x29 tanık değerleri” kabulü ile “Bir ofset kaydırılmış frame” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Assembly ve Rust ofsetleri eşittir
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/context_switch.rs · os_context_switch_callee_saved
Mevcut başlangıç referansı: kernel/src/task_switch.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: x19 x29 tanık değerleri
Karşı-örnek / hata girdisi: Bir ofset kaydırılmış frame
Gerçek konuk kabulü: Bin geçişte kayıtlar aynı
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/context_switch.rs
os_context_switch_callee_saved_positive
os_context_switch_callee_saved_negative
scripts/os-acceptance/context_switch.mjs
Geçiş koşulu: Tür ve geçiş tablosu Assembly ve Rust ofsetleri eşittir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Bir ofset kaydırılmış frame” 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/K1025: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1020. Ayrıca faz 4 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.

K1022Callee saved kayıt düzeni · Rust uygulaması ve sahiplikPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Assembly ve Rust ofsetleri eşittir.

Uygulanacak işlem: kernel/src/arch/aarch64/context_switch.rs hedefinde os_context_switch_callee_saved yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/task_switch.S 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: Assembly ve Rust ofsetleri eşittir
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/context_switch.rs · os_context_switch_callee_saved
Mevcut başlangıç referansı: kernel/src/task_switch.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: x19 x29 tanık değerleri
Karşı-örnek / hata girdisi: Bir ofset kaydırılmış frame
Gerçek konuk kabulü: Bin geçişte kayıtlar aynı
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/context_switch.rs
os_context_switch_callee_saved_positive
os_context_switch_callee_saved_negative
scripts/os-acceptance/context_switch.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. x19 x29 tanık değerleri ile Bir ofset kaydırılmış frame ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Bir ofset kaydırılmış frame” 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/K1025: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1021. Ayrıca faz 4 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.

K1023Callee saved kayıt düzeni · Olumlu ve sınır birim testiPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Assembly ve Rust ofsetleri eşittir.

Uygulanacak işlem: os_context_switch_callee_saved_positive testini oluştur: “x19 x29 tanık değerleri”. 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: Assembly ve Rust ofsetleri eşittir
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/context_switch.rs · os_context_switch_callee_saved
Mevcut başlangıç referansı: kernel/src/task_switch.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: x19 x29 tanık değerleri
Karşı-örnek / hata girdisi: Bir ofset kaydırılmış frame
Gerçek konuk kabulü: Bin geçişte kayıtlar aynı
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/context_switch.rs
os_context_switch_callee_saved_positive
os_context_switch_callee_saved_negative
scripts/os-acceptance/context_switch.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; x19 x29 tanık değerleri girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Bir ofset kaydırılmış frame” 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/K1025: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1022. Ayrıca faz 4 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.

K1024Callee saved kayıt düzeni · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Assembly ve Rust ofsetleri eşittir.

Uygulanacak işlem: os_context_switch_callee_saved_negative testini oluştur: “Bir ofset kaydırılmış frame”. 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: Assembly ve Rust ofsetleri eşittir
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/context_switch.rs · os_context_switch_callee_saved
Mevcut başlangıç referansı: kernel/src/task_switch.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: x19 x29 tanık değerleri
Karşı-örnek / hata girdisi: Bir ofset kaydırılmış frame
Gerçek konuk kabulü: Bin geçişte kayıtlar aynı
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/context_switch.rs
os_context_switch_callee_saved_positive
os_context_switch_callee_saved_negative
scripts/os-acceptance/context_switch.mjs
Geçiş koşulu: Bir ofset kaydırılmış frame 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üş: “Bir ofset kaydırılmış frame” 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/K1025: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1023. Ayrıca faz 4 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.

K1025Callee saved kayıt düzeni · Gerçek konukta ürün kabulüPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Assembly ve Rust ofsetleri eşittir.

Uygulanacak işlem: Tek ürün Image'ında “Bin geçişte kayıtlar aynı” kabulünü koştur. scripts/os-acceptance/context_switch.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: Assembly ve Rust ofsetleri eşittir
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/context_switch.rs · os_context_switch_callee_saved
Mevcut başlangıç referansı: kernel/src/task_switch.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: x19 x29 tanık değerleri
Karşı-örnek / hata girdisi: Bir ofset kaydırılmış frame
Gerçek konuk kabulü: Bin geçişte kayıtlar aynı
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/context_switch.rs
os_context_switch_callee_saved_positive
os_context_switch_callee_saved_negative
scripts/os-acceptance/context_switch.mjs
Geçiş koşulu: Bin geçişte kayıtlar aynı; 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üş: “Bir ofset kaydırılmış frame” 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/K1025: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1024. Ayrıca faz 4 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.

K1026SIMD FPU sahipliği · Sözleşme ve durum modeliPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Etkin SIMD bağlamı başka threade sızmaz.

Uygulanacak işlem: “SIMD FPU sahipliği” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Etkin SIMD bağlamı başka threade sızmaz. “A ve B farklı v0 v31” kabulü ile “Lazy owner ölü threadde kalır” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Etkin SIMD bağlamı başka threade sızmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/context_switch.rs · os_context_switch_simd
Mevcut başlangıç referansı: kernel/src/task_switch.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A ve B farklı v0 v31
Karşı-örnek / hata girdisi: Lazy owner ölü threadde kalır
Gerçek konuk kabulü: İki görev kendi SIMD hashini korur
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/context_switch.rs
os_context_switch_simd_positive
os_context_switch_simd_negative
scripts/os-acceptance/context_switch.mjs
Geçiş koşulu: Tür ve geçiş tablosu Etkin SIMD bağlamı başka threade sızmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Lazy owner ölü threadde kalır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1030: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1025. Ayrıca faz 4 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.

K1027SIMD FPU sahipliği · Rust uygulaması ve sahiplikPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Etkin SIMD bağlamı başka threade sızmaz.

Uygulanacak işlem: kernel/src/arch/aarch64/context_switch.rs hedefinde os_context_switch_simd yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/task_switch.S 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: Etkin SIMD bağlamı başka threade sızmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/context_switch.rs · os_context_switch_simd
Mevcut başlangıç referansı: kernel/src/task_switch.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A ve B farklı v0 v31
Karşı-örnek / hata girdisi: Lazy owner ölü threadde kalır
Gerçek konuk kabulü: İki görev kendi SIMD hashini korur
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/context_switch.rs
os_context_switch_simd_positive
os_context_switch_simd_negative
scripts/os-acceptance/context_switch.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. A ve B farklı v0 v31 ile Lazy owner ölü threadde kalır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Lazy owner ölü threadde kalır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1030: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1026. Ayrıca faz 4 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.

K1028SIMD FPU sahipliği · Olumlu ve sınır birim testiPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Etkin SIMD bağlamı başka threade sızmaz.

Uygulanacak işlem: os_context_switch_simd_positive testini oluştur: “A ve B farklı v0 v31”. 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: Etkin SIMD bağlamı başka threade sızmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/context_switch.rs · os_context_switch_simd
Mevcut başlangıç referansı: kernel/src/task_switch.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A ve B farklı v0 v31
Karşı-örnek / hata girdisi: Lazy owner ölü threadde kalır
Gerçek konuk kabulü: İki görev kendi SIMD hashini korur
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/context_switch.rs
os_context_switch_simd_positive
os_context_switch_simd_negative
scripts/os-acceptance/context_switch.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; A ve B farklı v0 v31 girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Lazy owner ölü threadde kalır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1030: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1027. Ayrıca faz 4 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.

K1029SIMD FPU sahipliği · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Etkin SIMD bağlamı başka threade sızmaz.

Uygulanacak işlem: os_context_switch_simd_negative testini oluştur: “Lazy owner ölü threadde kalır”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Etkin SIMD bağlamı başka threade sızmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/context_switch.rs · os_context_switch_simd
Mevcut başlangıç referansı: kernel/src/task_switch.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A ve B farklı v0 v31
Karşı-örnek / hata girdisi: Lazy owner ölü threadde kalır
Gerçek konuk kabulü: İki görev kendi SIMD hashini korur
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/context_switch.rs
os_context_switch_simd_positive
os_context_switch_simd_negative
scripts/os-acceptance/context_switch.mjs
Geçiş koşulu: Lazy owner ölü threadde kalır karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Lazy owner ölü threadde kalır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1030: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1028. Ayrıca faz 4 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.

K1030SIMD FPU sahipliği · Gerçek konukta ürün kabulüPLAN / SINANMADI

İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır. Bu hamlenin koruduğu değişmez: Etkin SIMD bağlamı başka threade sızmaz.

Uygulanacak işlem: Tek ürün Image'ında “İki görev kendi SIMD hashini korur” kabulünü koştur. scripts/os-acceptance/context_switch.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: Etkin SIMD bağlamı başka threade sızmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/context_switch.rs · os_context_switch_simd
Mevcut başlangıç referansı: kernel/src/task_switch.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A ve B farklı v0 v31
Karşı-örnek / hata girdisi: Lazy owner ölü threadde kalır
Gerçek konuk kabulü: İki görev kendi SIMD hashini korur
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/context_switch.rs
os_context_switch_simd_positive
os_context_switch_simd_negative
scripts/os-acceptance/context_switch.mjs
Geçiş koşulu: İki görev kendi SIMD hashini 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üş: “Lazy owner ölü threadde kalır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1030: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1029. Ayrıca faz 4 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.

K1031Timerdan thread değiştirme · Sözleşme ve durum modeliPLAN / SINANMADI