SMP ve çok çekirdekli runtime

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: MPIDR kimliği logical CPUdan ayrıdır.

Uygulanacak işlem

“DTB CPU topology” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: MPIDR kimliği logical CPUdan ayrıdır. “İki ve dört CPU düğümü” kabulü ile “Duplicate MPIDR veya disabled CPU” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

MPIDR kimliği logical CPUdan ayrıdır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_topology

Mevcut başlangıç referansı

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

Olumlu deney

İki ve dört CPU düğümü

Karşı-örnek / hata girdisi

Duplicate MPIDR veya disabled CPU

Gerçek konuk kabulü

Her CPU bir logical slot alır

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

kernel/tests/os/smp_boot.rs
os_smp_boot_topology_positive
os_smp_boot_topology_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Tür ve geçiş tablosu MPIDR kimliği logical CPUdan ayrı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üş

“Duplicate MPIDR veya disabled CPU” 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/K2005: PASS.

Profil ve bağlar

256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. İlk hamle; mevcut K501–K600 sözleşmesi başlangıç bağlamıdır. Ayrıca faz 14 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.

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: MPIDR kimliği logical CPUdan ayrıdır.

Uygulanacak işlem

kernel/src/arch/aarch64/smp_boot.rs hedefinde os_smp_boot_topology yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/smp.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

MPIDR kimliği logical CPUdan ayrıdır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_topology

Mevcut başlangıç referansı

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

Olumlu deney

İki ve dört CPU düğümü

Karşı-örnek / hata girdisi

Duplicate MPIDR veya disabled CPU

Gerçek konuk kabulü

Her CPU bir logical slot alır

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

kernel/tests/os/smp_boot.rs
os_smp_boot_topology_positive
os_smp_boot_topology_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki ve dört CPU düğümü ile Duplicate MPIDR veya disabled CPU ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Duplicate MPIDR veya disabled CPU” 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/K2005: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: MPIDR kimliği logical CPUdan ayrıdır.

Uygulanacak işlem

os_smp_boot_topology_positive testini oluştur: “İki ve dört CPU düğümü”. 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

MPIDR kimliği logical CPUdan ayrıdır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_topology

Mevcut başlangıç referansı

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

Olumlu deney

İki ve dört CPU düğümü

Karşı-örnek / hata girdisi

Duplicate MPIDR veya disabled CPU

Gerçek konuk kabulü

Her CPU bir logical slot alır

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

kernel/tests/os/smp_boot.rs
os_smp_boot_topology_positive
os_smp_boot_topology_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki ve dört CPU düğümü girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Duplicate MPIDR veya disabled CPU” 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/K2005: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: MPIDR kimliği logical CPUdan ayrıdır.

Uygulanacak işlem

os_smp_boot_topology_negative testini oluştur: “Duplicate MPIDR veya disabled CPU”. 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

MPIDR kimliği logical CPUdan ayrıdır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_topology

Mevcut başlangıç referansı

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

Olumlu deney

İki ve dört CPU düğümü

Karşı-örnek / hata girdisi

Duplicate MPIDR veya disabled CPU

Gerçek konuk kabulü

Her CPU bir logical slot alır

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

kernel/tests/os/smp_boot.rs
os_smp_boot_topology_positive
os_smp_boot_topology_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Duplicate MPIDR veya disabled CPU 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 MPIDR veya disabled CPU” 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/K2005: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: MPIDR kimliği logical CPUdan ayrıdır.

Uygulanacak işlem

Tek ürün Image'ında “Her CPU bir logical slot alır” kabulünü koştur. scripts/os-acceptance/smp_boot.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

MPIDR kimliği logical CPUdan ayrıdır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_topology

Mevcut başlangıç referansı

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

Olumlu deney

İki ve dört CPU düğümü

Karşı-örnek / hata girdisi

Duplicate MPIDR veya disabled CPU

Gerçek konuk kabulü

Her CPU bir logical slot alır

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

kernel/tests/os/smp_boot.rs
os_smp_boot_topology_positive
os_smp_boot_topology_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Her CPU bir logical slot 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üş

“Duplicate MPIDR veya disabled CPU” 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/K2005: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Conduit ve entry platformdan doğrulanır.

Uygulanacak işlem

“PSCI CPUON çağrı sözleşmesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Conduit ve entry platformdan doğrulanır. “Destekli SMC veya HVC conduit” kabulü ile “Eksik PSCI node” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Conduit ve entry platformdan doğrulanır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_psci

Mevcut başlangıç referansı

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

Olumlu deney

Destekli SMC veya HVC conduit

Karşı-örnek / hata girdisi

Eksik PSCI node

Gerçek konuk kabulü

Unsupported ret tek CPUyu korur

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

kernel/tests/os/smp_boot.rs
os_smp_boot_psci_positive
os_smp_boot_psci_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Tür ve geçiş tablosu Conduit ve entry platformdan doğrulanı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üş

“Eksik PSCI node” 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/K2010: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Conduit ve entry platformdan doğrulanır.

Uygulanacak işlem

kernel/src/arch/aarch64/smp_boot.rs hedefinde os_smp_boot_psci yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/smp.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

Conduit ve entry platformdan doğrulanır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_psci

Mevcut başlangıç referansı

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

Olumlu deney

Destekli SMC veya HVC conduit

Karşı-örnek / hata girdisi

Eksik PSCI node

Gerçek konuk kabulü

Unsupported ret tek CPUyu korur

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

kernel/tests/os/smp_boot.rs
os_smp_boot_psci_positive
os_smp_boot_psci_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Destekli SMC veya HVC conduit ile Eksik PSCI node ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Eksik PSCI node” 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/K2010: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Conduit ve entry platformdan doğrulanır.

Uygulanacak işlem

os_smp_boot_psci_positive testini oluştur: “Destekli SMC veya HVC conduit”. 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

Conduit ve entry platformdan doğrulanır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_psci

Mevcut başlangıç referansı

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

Olumlu deney

Destekli SMC veya HVC conduit

Karşı-örnek / hata girdisi

Eksik PSCI node

Gerçek konuk kabulü

Unsupported ret tek CPUyu korur

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

kernel/tests/os/smp_boot.rs
os_smp_boot_psci_positive
os_smp_boot_psci_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Destekli SMC veya HVC conduit girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Eksik PSCI node” 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/K2010: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Conduit ve entry platformdan doğrulanır.

Uygulanacak işlem

os_smp_boot_psci_negative testini oluştur: “Eksik PSCI node”. 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

Conduit ve entry platformdan doğrulanır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_psci

Mevcut başlangıç referansı

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

Olumlu deney

Destekli SMC veya HVC conduit

Karşı-örnek / hata girdisi

Eksik PSCI node

Gerçek konuk kabulü

Unsupported ret tek CPUyu korur

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

kernel/tests/os/smp_boot.rs
os_smp_boot_psci_positive
os_smp_boot_psci_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Eksik PSCI node 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üş

“Eksik PSCI node” 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/K2010: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Conduit ve entry platformdan doğrulanır.

Uygulanacak işlem

Tek ürün Image'ında “Unsupported ret tek CPUyu korur” kabulünü koştur. scripts/os-acceptance/smp_boot.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

Conduit ve entry platformdan doğrulanır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_psci

Mevcut başlangıç referansı

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

Olumlu deney

Destekli SMC veya HVC conduit

Karşı-örnek / hata girdisi

Eksik PSCI node

Gerçek konuk kabulü

Unsupported ret tek CPUyu korur

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

kernel/tests/os/smp_boot.rs
os_smp_boot_psci_positive
os_smp_boot_psci_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Unsupported ret tek CPUyu 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üş

“Eksik PSCI node” 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/K2010: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Her CPU özel stack ve perCPU alır.

Uygulanacak işlem

“İkincil CPU giriş verisi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Her CPU özel stack ve perCPU alır. “İki secondary entry” kabulü ile “Yanlış CPU stack tuple” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Her CPU özel stack ve perCPU alır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_secondary

Mevcut başlangıç referansı

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

Olumlu deney

İki secondary entry

Karşı-örnek / hata girdisi

Yanlış CPU stack tuple

Gerçek konuk kabulü

Boot CPU belleği değişmeden kalır

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

kernel/tests/os/smp_boot.rs
os_smp_boot_secondary_positive
os_smp_boot_secondary_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Tür ve geçiş tablosu Her CPU özel stack ve perCPU alır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Yanlış CPU stack tuple” 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/K2015: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Her CPU özel stack ve perCPU alır.

Uygulanacak işlem

kernel/src/arch/aarch64/smp_boot.rs hedefinde os_smp_boot_secondary yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/smp.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 CPU özel stack ve perCPU alır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_secondary

Mevcut başlangıç referansı

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

Olumlu deney

İki secondary entry

Karşı-örnek / hata girdisi

Yanlış CPU stack tuple

Gerçek konuk kabulü

Boot CPU belleği değişmeden kalır

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

kernel/tests/os/smp_boot.rs
os_smp_boot_secondary_positive
os_smp_boot_secondary_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki secondary entry ile Yanlış CPU stack tuple ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Yanlış CPU stack tuple” 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/K2015: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Her CPU özel stack ve perCPU alır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Her CPU özel stack ve perCPU alır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_secondary

Mevcut başlangıç referansı

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

Olumlu deney

İki secondary entry

Karşı-örnek / hata girdisi

Yanlış CPU stack tuple

Gerçek konuk kabulü

Boot CPU belleği değişmeden kalır

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

kernel/tests/os/smp_boot.rs
os_smp_boot_secondary_positive
os_smp_boot_secondary_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

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

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

“Yanlış CPU stack tuple” 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/K2015: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Her CPU özel stack ve perCPU alır.

Uygulanacak işlem

os_smp_boot_secondary_negative testini oluştur: “Yanlış CPU stack tuple”. 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 CPU özel stack ve perCPU alır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_secondary

Mevcut başlangıç referansı

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

Olumlu deney

İki secondary entry

Karşı-örnek / hata girdisi

Yanlış CPU stack tuple

Gerçek konuk kabulü

Boot CPU belleği değişmeden kalır

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

kernel/tests/os/smp_boot.rs
os_smp_boot_secondary_positive
os_smp_boot_secondary_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Yanlış CPU stack tuple 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üş

“Yanlış CPU stack tuple” 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/K2015: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Her CPU özel stack ve perCPU alır.

Uygulanacak işlem

Tek ürün Image'ında “Boot CPU belleği değişmeden kalır” kabulünü koştur. scripts/os-acceptance/smp_boot.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 CPU özel stack ve perCPU alır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_secondary

Mevcut başlangıç referansı

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

Olumlu deney

İki secondary entry

Karşı-örnek / hata girdisi

Yanlış CPU stack tuple

Gerçek konuk kabulü

Boot CPU belleği değişmeden kalır

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

kernel/tests/os/smp_boot.rs
os_smp_boot_secondary_positive
os_smp_boot_secondary_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Boot CPU belleği değişmeden 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üş

“Yanlış CPU stack tuple” 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/K2015: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: CPU ready olmadan runqueueya iş gelmez.

Uygulanacak işlem

“SMP başlatma bariyeri” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: CPU ready olmadan runqueueya iş gelmez. “Dört CPU aşamalı ready” kabulü ile “Bir CPU timeout” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

CPU ready olmadan runqueueya iş gelmez

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_barrier

Mevcut başlangıç referansı

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

Olumlu deney

Dört CPU aşamalı ready

Karşı-örnek / hata girdisi

Bir CPU timeout

Gerçek konuk kabulü

Degraded CPU kümesi açık raporlanır

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

kernel/tests/os/smp_boot.rs
os_smp_boot_barrier_positive
os_smp_boot_barrier_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Tür ve geçiş tablosu CPU ready olmadan runqueueya iş gelmez 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 CPU timeout” 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/K2020: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: CPU ready olmadan runqueueya iş gelmez.

Uygulanacak işlem

kernel/src/arch/aarch64/smp_boot.rs hedefinde os_smp_boot_barrier yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/smp.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

CPU ready olmadan runqueueya iş gelmez

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_barrier

Mevcut başlangıç referansı

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

Olumlu deney

Dört CPU aşamalı ready

Karşı-örnek / hata girdisi

Bir CPU timeout

Gerçek konuk kabulü

Degraded CPU kümesi açık raporlanır

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

kernel/tests/os/smp_boot.rs
os_smp_boot_barrier_positive
os_smp_boot_barrier_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Dört CPU aşamalı ready ile Bir CPU timeout ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Bir CPU timeout” 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/K2020: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: CPU ready olmadan runqueueya iş gelmez.

Uygulanacak işlem

os_smp_boot_barrier_positive testini oluştur: “Dört CPU aşamalı 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

CPU ready olmadan runqueueya iş gelmez

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_barrier

Mevcut başlangıç referansı

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

Olumlu deney

Dört CPU aşamalı ready

Karşı-örnek / hata girdisi

Bir CPU timeout

Gerçek konuk kabulü

Degraded CPU kümesi açık raporlanır

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

kernel/tests/os/smp_boot.rs
os_smp_boot_barrier_positive
os_smp_boot_barrier_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Dört CPU aşamalı ready girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Bir CPU timeout” 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/K2020: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: CPU ready olmadan runqueueya iş gelmez.

Uygulanacak işlem

os_smp_boot_barrier_negative testini oluştur: “Bir CPU timeout”. 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

CPU ready olmadan runqueueya iş gelmez

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_barrier

Mevcut başlangıç referansı

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

Olumlu deney

Dört CPU aşamalı ready

Karşı-örnek / hata girdisi

Bir CPU timeout

Gerçek konuk kabulü

Degraded CPU kümesi açık raporlanır

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

kernel/tests/os/smp_boot.rs
os_smp_boot_barrier_positive
os_smp_boot_barrier_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Bir CPU timeout 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 CPU timeout” 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/K2020: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: CPU ready olmadan runqueueya iş gelmez.

Uygulanacak işlem

Tek ürün Image'ında “Degraded CPU kümesi açık raporlanır” kabulünü koştur. scripts/os-acceptance/smp_boot.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

CPU ready olmadan runqueueya iş gelmez

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_boot.rs · os_smp_boot_barrier

Mevcut başlangıç referansı

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

Olumlu deney

Dört CPU aşamalı ready

Karşı-örnek / hata girdisi

Bir CPU timeout

Gerçek konuk kabulü

Degraded CPU kümesi açık raporlanır

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

kernel/tests/os/smp_boot.rs
os_smp_boot_barrier_positive
os_smp_boot_barrier_negative
scripts/os-acceptance/smp_boot.mjs

Geçiş koşulu

Degraded CPU kümesi açık raporlanı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üş

“Bir CPU timeout” 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/K2020: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: CPU slotu başka CPU datasını alias etmez.

Uygulanacak işlem

“PerCPU veri alanı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: CPU slotu başka CPU datasını alias etmez. “Dört sayaç dört backing” kabulü ile “Slot offset overflow” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

CPU slotu başka CPU datasını alias etmez

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_storage

Mevcut başlangıç referansı

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

Olumlu deney

Dört sayaç dört backing

Karşı-örnek / hata girdisi

Slot offset overflow

Gerçek konuk kabulü

Yerel sayımlar çapraz bozulmaz

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

kernel/tests/os/per_cpu.rs
os_per_cpu_storage_positive
os_per_cpu_storage_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

Tür ve geçiş tablosu CPU slotu başka CPU datasını alias 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üş

“Slot offset overflow” 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/K2025: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: CPU slotu başka CPU datasını alias etmez.

Uygulanacak işlem

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

CPU slotu başka CPU datasını alias etmez

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_storage

Mevcut başlangıç referansı

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

Olumlu deney

Dört sayaç dört backing

Karşı-örnek / hata girdisi

Slot offset overflow

Gerçek konuk kabulü

Yerel sayımlar çapraz bozulmaz

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

kernel/tests/os/per_cpu.rs
os_per_cpu_storage_positive
os_per_cpu_storage_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Dört sayaç dört backing ile Slot offset overflow ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Slot offset overflow” 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/K2025: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: CPU slotu başka CPU datasını alias etmez.

Uygulanacak işlem

os_per_cpu_storage_positive testini oluştur: “Dört sayaç dört backing”. 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

CPU slotu başka CPU datasını alias etmez

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_storage

Mevcut başlangıç referansı

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

Olumlu deney

Dört sayaç dört backing

Karşı-örnek / hata girdisi

Slot offset overflow

Gerçek konuk kabulü

Yerel sayımlar çapraz bozulmaz

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

kernel/tests/os/per_cpu.rs
os_per_cpu_storage_positive
os_per_cpu_storage_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Dört sayaç dört backing girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Slot offset overflow” 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/K2025: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: CPU slotu başka CPU datasını alias etmez.

Uygulanacak işlem

os_per_cpu_storage_negative testini oluştur: “Slot offset overflow”. 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

CPU slotu başka CPU datasını alias etmez

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_storage

Mevcut başlangıç referansı

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

Olumlu deney

Dört sayaç dört backing

Karşı-örnek / hata girdisi

Slot offset overflow

Gerçek konuk kabulü

Yerel sayımlar çapraz bozulmaz

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

kernel/tests/os/per_cpu.rs
os_per_cpu_storage_positive
os_per_cpu_storage_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

Slot offset overflow 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üş

“Slot offset overflow” 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/K2025: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: CPU slotu başka CPU datasını alias etmez.

Uygulanacak işlem

Tek ürün Image'ında “Yerel sayımlar çapraz bozulmaz” kabulünü koştur. scripts/os-acceptance/per_cpu.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

CPU slotu başka CPU datasını alias etmez

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_storage

Mevcut başlangıç referansı

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

Olumlu deney

Dört sayaç dört backing

Karşı-örnek / hata girdisi

Slot offset overflow

Gerçek konuk kabulü

Yerel sayımlar çapraz bozulmaz

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

kernel/tests/os/per_cpu.rs
os_per_cpu_storage_positive
os_per_cpu_storage_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

Yerel sayımlar çapraz bozulmaz; 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üş

“Slot offset overflow” 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/K2025: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Her CPU exception stacki ayrıdır.

Uygulanacak işlem

“CPU başına vektör ve IRQ stack” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Her CPU exception stacki ayrıdır. “Aynı anda iki timer IRQ” kabulü ile “Secondary boot stack IRQda kullanılır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Her CPU exception stacki ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_vectors

Mevcut başlangıç referansı

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

Olumlu deney

Aynı anda iki timer IRQ

Karşı-örnek / hata girdisi

Secondary boot stack IRQda kullanılır

Gerçek konuk kabulü

Kanaryalar bütün CPUlarda aynı

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

kernel/tests/os/per_cpu.rs
os_per_cpu_vectors_positive
os_per_cpu_vectors_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

Tür ve geçiş tablosu Her CPU exception stacki ayrı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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Her CPU exception stacki ayrıdır.

Uygulanacak işlem

kernel/src/runtime/per_cpu.rs hedefinde os_per_cpu_vectors yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/smp.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 CPU exception stacki ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_vectors

Mevcut başlangıç referansı

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

Olumlu deney

Aynı anda iki timer IRQ

Karşı-örnek / hata girdisi

Secondary boot stack IRQda kullanılır

Gerçek konuk kabulü

Kanaryalar bütün CPUlarda aynı

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

kernel/tests/os/per_cpu.rs
os_per_cpu_vectors_positive
os_per_cpu_vectors_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Aynı anda iki timer IRQ ile Secondary boot stack IRQda kullanılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Her CPU exception stacki ayrıdır.

Uygulanacak işlem

os_per_cpu_vectors_positive testini oluştur: “Aynı anda iki timer IRQ”. 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 CPU exception stacki ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_vectors

Mevcut başlangıç referansı

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

Olumlu deney

Aynı anda iki timer IRQ

Karşı-örnek / hata girdisi

Secondary boot stack IRQda kullanılır

Gerçek konuk kabulü

Kanaryalar bütün CPUlarda aynı

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

kernel/tests/os/per_cpu.rs
os_per_cpu_vectors_positive
os_per_cpu_vectors_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Her CPU exception stacki ayrıdır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Her CPU exception stacki ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_vectors

Mevcut başlangıç referansı

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

Olumlu deney

Aynı anda iki timer IRQ

Karşı-örnek / hata girdisi

Secondary boot stack IRQda kullanılır

Gerçek konuk kabulü

Kanaryalar bütün CPUlarda aynı

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

kernel/tests/os/per_cpu.rs
os_per_cpu_vectors_positive
os_per_cpu_vectors_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

Secondary boot stack IRQda kullanılır karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Her CPU exception stacki ayrıdır.

Uygulanacak işlem

Tek ürün Image'ında “Kanaryalar bütün CPUlarda aynı” kabulünü koştur. scripts/os-acceptance/per_cpu.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 CPU exception stacki ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_vectors

Mevcut başlangıç referansı

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

Olumlu deney

Aynı anda iki timer IRQ

Karşı-örnek / hata girdisi

Secondary boot stack IRQda kullanılır

Gerçek konuk kabulü

Kanaryalar bütün CPUlarda aynı

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

kernel/tests/os/per_cpu.rs
os_per_cpu_vectors_positive
os_per_cpu_vectors_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

Kanaryalar bütün CPUlarda 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: PPI kurulum ve EOI yerel CPUda olur.

Uygulanacak işlem

“CPU başına timer kaydı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: PPI kurulum ve EOI yerel CPUda olur. “İki eşzamanlı fiziksel timer” kabulü ile “CPU0 CPU1 timerını kapatır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

PPI kurulum ve EOI yerel CPUda olur

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_timer

Mevcut başlangıç referansı

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

Olumlu deney

İki eşzamanlı fiziksel timer

Karşı-örnek / hata girdisi

CPU0 CPU1 timerını kapatır

Gerçek konuk kabulü

İki CPU bağımsız tick ilerletir

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

kernel/tests/os/per_cpu.rs
os_per_cpu_timer_positive
os_per_cpu_timer_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

Tür ve geçiş tablosu PPI kurulum ve EOI yerel CPUda 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üş

“CPU0 CPU1 timerını kapatı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/K2035: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: PPI kurulum ve EOI yerel CPUda olur.

Uygulanacak işlem

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

PPI kurulum ve EOI yerel CPUda olur

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_timer

Mevcut başlangıç referansı

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

Olumlu deney

İki eşzamanlı fiziksel timer

Karşı-örnek / hata girdisi

CPU0 CPU1 timerını kapatır

Gerçek konuk kabulü

İki CPU bağımsız tick ilerletir

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

kernel/tests/os/per_cpu.rs
os_per_cpu_timer_positive
os_per_cpu_timer_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki eşzamanlı fiziksel timer ile CPU0 CPU1 timerını kapatır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“CPU0 CPU1 timerını kapatı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/K2035: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: PPI kurulum ve EOI yerel CPUda olur.

Uygulanacak işlem

os_per_cpu_timer_positive testini oluştur: “İki eşzamanlı fiziksel 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

PPI kurulum ve EOI yerel CPUda olur

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_timer

Mevcut başlangıç referansı

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

Olumlu deney

İki eşzamanlı fiziksel timer

Karşı-örnek / hata girdisi

CPU0 CPU1 timerını kapatır

Gerçek konuk kabulü

İki CPU bağımsız tick ilerletir

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

kernel/tests/os/per_cpu.rs
os_per_cpu_timer_positive
os_per_cpu_timer_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

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

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

“CPU0 CPU1 timerını kapatı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/K2035: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: PPI kurulum ve EOI yerel CPUda olur.

Uygulanacak işlem

os_per_cpu_timer_negative testini oluştur: “CPU0 CPU1 timerını kapatı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

PPI kurulum ve EOI yerel CPUda olur

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_timer

Mevcut başlangıç referansı

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

Olumlu deney

İki eşzamanlı fiziksel timer

Karşı-örnek / hata girdisi

CPU0 CPU1 timerını kapatır

Gerçek konuk kabulü

İki CPU bağımsız tick ilerletir

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

kernel/tests/os/per_cpu.rs
os_per_cpu_timer_positive
os_per_cpu_timer_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

CPU0 CPU1 timerını kapatı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üş

“CPU0 CPU1 timerını kapatı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/K2035: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: PPI kurulum ve EOI yerel CPUda olur.

Uygulanacak işlem

Tek ürün Image'ında “İki CPU bağımsız tick ilerletir” kabulünü koştur. scripts/os-acceptance/per_cpu.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

PPI kurulum ve EOI yerel CPUda olur

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_timer

Mevcut başlangıç referansı

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

Olumlu deney

İki eşzamanlı fiziksel timer

Karşı-örnek / hata girdisi

CPU0 CPU1 timerını kapatır

Gerçek konuk kabulü

İki CPU bağımsız tick ilerletir

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

kernel/tests/os/per_cpu.rs
os_per_cpu_timer_positive
os_per_cpu_timer_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

İki CPU bağımsız tick ilerletir; 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üş

“CPU0 CPU1 timerını kapatı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/K2035: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Offline CPUya yeni iş yönlenmez.

Uygulanacak işlem

“CPU online offline durumları” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Offline CPUya yeni iş yönlenmez. “Idle CPU kontrollü offline” kabulü ile “Aktif mapping emekliliği eksik” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Offline CPUya yeni iş yönlenmez

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_online

Mevcut başlangıç referansı

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

Olumlu deney

Idle CPU kontrollü offline

Karşı-örnek / hata girdisi

Aktif mapping emekliliği eksik

Gerçek konuk kabulü

EBUSY veya tamamlanmış drain

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

kernel/tests/os/per_cpu.rs
os_per_cpu_online_positive
os_per_cpu_online_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

Tür ve geçiş tablosu Offline CPUya yeni iş yönlenmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Aktif mapping emekliliği eksik” 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/K2040: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Offline CPUya yeni iş yönlenmez.

Uygulanacak işlem

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

Offline CPUya yeni iş yönlenmez

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_online

Mevcut başlangıç referansı

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

Olumlu deney

Idle CPU kontrollü offline

Karşı-örnek / hata girdisi

Aktif mapping emekliliği eksik

Gerçek konuk kabulü

EBUSY veya tamamlanmış drain

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

kernel/tests/os/per_cpu.rs
os_per_cpu_online_positive
os_per_cpu_online_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Idle CPU kontrollü offline ile Aktif mapping emekliliği eksik ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Aktif mapping emekliliği eksik” 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/K2040: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Offline CPUya yeni iş yönlenmez.

Uygulanacak işlem

os_per_cpu_online_positive testini oluştur: “Idle CPU kontrollü offline”. 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

Offline CPUya yeni iş yönlenmez

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_online

Mevcut başlangıç referansı

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

Olumlu deney

Idle CPU kontrollü offline

Karşı-örnek / hata girdisi

Aktif mapping emekliliği eksik

Gerçek konuk kabulü

EBUSY veya tamamlanmış drain

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

kernel/tests/os/per_cpu.rs
os_per_cpu_online_positive
os_per_cpu_online_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Idle CPU kontrollü offline girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Aktif mapping emekliliği eksik” 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/K2040: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Offline CPUya yeni iş yönlenmez.

Uygulanacak işlem

os_per_cpu_online_negative testini oluştur: “Aktif mapping emekliliği eksik”. 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

Offline CPUya yeni iş yönlenmez

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_online

Mevcut başlangıç referansı

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

Olumlu deney

Idle CPU kontrollü offline

Karşı-örnek / hata girdisi

Aktif mapping emekliliği eksik

Gerçek konuk kabulü

EBUSY veya tamamlanmış drain

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

kernel/tests/os/per_cpu.rs
os_per_cpu_online_positive
os_per_cpu_online_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

Aktif mapping emekliliği eksik 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üş

“Aktif mapping emekliliği eksik” 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/K2040: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Offline CPUya yeni iş yönlenmez.

Uygulanacak işlem

Tek ürün Image'ında “EBUSY veya tamamlanmış drain” kabulünü koştur. scripts/os-acceptance/per_cpu.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

Offline CPUya yeni iş yönlenmez

Kod hedefi — henüz öneri

kernel/src/runtime/per_cpu.rs · os_per_cpu_online

Mevcut başlangıç referansı

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

Olumlu deney

Idle CPU kontrollü offline

Karşı-örnek / hata girdisi

Aktif mapping emekliliği eksik

Gerçek konuk kabulü

EBUSY veya tamamlanmış drain

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

kernel/tests/os/per_cpu.rs
os_per_cpu_online_positive
os_per_cpu_online_negative
scripts/os-acceptance/per_cpu.mjs

Geçiş koşulu

EBUSY veya tamamlanmış drain; 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üş

“Aktif mapping emekliliği eksik” 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/K2040: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Thread aynı anda iki CPUda Running olmaz.

Uygulanacak işlem

“CPU başına runqueue” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Thread aynı anda iki CPUda Running olmaz. “İki CPU bir Ready thread” kabulü ile “İki eşzamanlı claim” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Thread aynı anda iki CPUda Running olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_queues

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU bir Ready thread

Karşı-örnek / hata girdisi

İki eşzamanlı claim

Gerçek konuk kabulü

Tek claim ve tek runnable sahibi

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_queues_positive
os_smp_scheduler_queues_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

Tür ve geçiş tablosu Thread aynı anda iki CPUda Running 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üş

“İki eşzamanlı claim” 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/K2045: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Thread aynı anda iki CPUda Running olmaz.

Uygulanacak işlem

kernel/src/runtime/smp_scheduler.rs hedefinde os_smp_scheduler_queues 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

Thread aynı anda iki CPUda Running olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_queues

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU bir Ready thread

Karşı-örnek / hata girdisi

İki eşzamanlı claim

Gerçek konuk kabulü

Tek claim ve tek runnable sahibi

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_queues_positive
os_smp_scheduler_queues_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki CPU bir Ready thread ile İki eşzamanlı claim ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“İki eşzamanlı claim” 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/K2045: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Thread aynı anda iki CPUda Running olmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Thread aynı anda iki CPUda Running olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_queues

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU bir Ready thread

Karşı-örnek / hata girdisi

İki eşzamanlı claim

Gerçek konuk kabulü

Tek claim ve tek runnable sahibi

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_queues_positive
os_smp_scheduler_queues_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

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

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

“İki eşzamanlı claim” 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/K2045: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Thread aynı anda iki CPUda Running olmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Thread aynı anda iki CPUda Running olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_queues

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU bir Ready thread

Karşı-örnek / hata girdisi

İki eşzamanlı claim

Gerçek konuk kabulü

Tek claim ve tek runnable sahibi

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_queues_positive
os_smp_scheduler_queues_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

İki eşzamanlı claim karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

“İki eşzamanlı claim” 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/K2045: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Thread aynı anda iki CPUda Running olmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Thread aynı anda iki CPUda Running olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_queues

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU bir Ready thread

Karşı-örnek / hata girdisi

İki eşzamanlı claim

Gerçek konuk kabulü

Tek claim ve tek runnable sahibi

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_queues_positive
os_smp_scheduler_queues_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

Tek claim ve tek runnable sahibi; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

“İki eşzamanlı claim” 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/K2045: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: IPI target mask logical CPUya bağlıdır.

Uygulanacak işlem

“SGI ile uzak wake” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: IPI target mask logical CPUya bağlıdır. “CPU0 CPU1 waiteri uyandırır” kabulü ile “Offline CPUya SGI” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

IPI target mask logical CPUya bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_ipi_wake

Mevcut başlangıç referansı

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

Olumlu deney

CPU0 CPU1 waiteri uyandırır

Karşı-örnek / hata girdisi

Offline CPUya SGI

Gerçek konuk kabulü

Wake kaybolmaz veya explicit offline

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_ipi_wake_positive
os_smp_scheduler_ipi_wake_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

Tür ve geçiş tablosu IPI target mask logical CPUya bağlıdır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Offline CPUya SGI” 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/K2050: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: IPI target mask logical CPUya bağlıdır.

Uygulanacak işlem

kernel/src/runtime/smp_scheduler.rs hedefinde os_smp_scheduler_ipi_wake 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

IPI target mask logical CPUya bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_ipi_wake

Mevcut başlangıç referansı

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

Olumlu deney

CPU0 CPU1 waiteri uyandırır

Karşı-örnek / hata girdisi

Offline CPUya SGI

Gerçek konuk kabulü

Wake kaybolmaz veya explicit offline

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_ipi_wake_positive
os_smp_scheduler_ipi_wake_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. CPU0 CPU1 waiteri uyandırır ile Offline CPUya SGI ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Offline CPUya SGI” 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/K2050: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: IPI target mask logical CPUya bağlıdır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

IPI target mask logical CPUya bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_ipi_wake

Mevcut başlangıç referansı

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

Olumlu deney

CPU0 CPU1 waiteri uyandırır

Karşı-örnek / hata girdisi

Offline CPUya SGI

Gerçek konuk kabulü

Wake kaybolmaz veya explicit offline

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_ipi_wake_positive
os_smp_scheduler_ipi_wake_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; CPU0 CPU1 waiteri uyandırır girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Offline CPUya SGI” 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/K2050: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: IPI target mask logical CPUya bağlıdır.

Uygulanacak işlem

os_smp_scheduler_ipi_wake_negative testini oluştur: “Offline CPUya SGI”. 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

IPI target mask logical CPUya bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_ipi_wake

Mevcut başlangıç referansı

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

Olumlu deney

CPU0 CPU1 waiteri uyandırır

Karşı-örnek / hata girdisi

Offline CPUya SGI

Gerçek konuk kabulü

Wake kaybolmaz veya explicit offline

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_ipi_wake_positive
os_smp_scheduler_ipi_wake_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

Offline CPUya SGI 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üş

“Offline CPUya SGI” 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/K2050: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: IPI target mask logical CPUya bağlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Wake kaybolmaz veya explicit offline” kabulünü koştur. scripts/os-acceptance/smp_scheduler.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

IPI target mask logical CPUya bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_ipi_wake

Mevcut başlangıç referansı

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

Olumlu deney

CPU0 CPU1 waiteri uyandırır

Karşı-örnek / hata girdisi

Offline CPUya SGI

Gerçek konuk kabulü

Wake kaybolmaz veya explicit offline

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_ipi_wake_positive
os_smp_scheduler_ipi_wake_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

Wake kaybolmaz veya explicit offline; 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üş

“Offline CPUya SGI” 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/K2050: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Göç aktif stack üzerinde yapılmaz.

Uygulanacak işlem

“Thread güvenli CPU göçü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Göç aktif stack üzerinde yapılmaz. “A bir CPUdan diğerine taşınır” kabulü ile “Running thread anında taşınır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Göç aktif stack üzerinde yapılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_migration

Mevcut başlangıç referansı

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

Olumlu deney

A bir CPUdan diğerine taşınır

Karşı-örnek / hata girdisi

Running thread anında taşınır

Gerçek konuk kabulü

Tanıklar ve thread kimliği korunur

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_migration_positive
os_smp_scheduler_migration_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

Tür ve geçiş tablosu Göç aktif stack üzerinde 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üş

“Running thread anında taşını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/K2055: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Göç aktif stack üzerinde yapılmaz.

Uygulanacak işlem

kernel/src/runtime/smp_scheduler.rs hedefinde os_smp_scheduler_migration 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

Göç aktif stack üzerinde yapılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_migration

Mevcut başlangıç referansı

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

Olumlu deney

A bir CPUdan diğerine taşınır

Karşı-örnek / hata girdisi

Running thread anında taşınır

Gerçek konuk kabulü

Tanıklar ve thread kimliği korunur

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_migration_positive
os_smp_scheduler_migration_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. A bir CPUdan diğerine taşınır ile Running thread anında taşınır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Running thread anında taşını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/K2055: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Göç aktif stack üzerinde yapılmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Göç aktif stack üzerinde yapılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_migration

Mevcut başlangıç referansı

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

Olumlu deney

A bir CPUdan diğerine taşınır

Karşı-örnek / hata girdisi

Running thread anında taşınır

Gerçek konuk kabulü

Tanıklar ve thread kimliği korunur

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_migration_positive
os_smp_scheduler_migration_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; A bir CPUdan diğerine taşınır girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Running thread anında taşını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/K2055: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Göç aktif stack üzerinde yapılmaz.

Uygulanacak işlem

os_smp_scheduler_migration_negative testini oluştur: “Running thread anında taşını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

Göç aktif stack üzerinde yapılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_migration

Mevcut başlangıç referansı

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

Olumlu deney

A bir CPUdan diğerine taşınır

Karşı-örnek / hata girdisi

Running thread anında taşınır

Gerçek konuk kabulü

Tanıklar ve thread kimliği korunur

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_migration_positive
os_smp_scheduler_migration_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

Running thread anında taşını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üş

“Running thread anında taşını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/K2055: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Göç aktif stack üzerinde yapılmaz.

Uygulanacak işlem

Tek ürün Image'ında “Tanıklar ve thread kimliği korunur” kabulünü koştur. scripts/os-acceptance/smp_scheduler.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öç aktif stack üzerinde yapılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_migration

Mevcut başlangıç referansı

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

Olumlu deney

A bir CPUdan diğerine taşınır

Karşı-örnek / hata girdisi

Running thread anında taşınır

Gerçek konuk kabulü

Tanıklar ve thread kimliği korunur

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_migration_positive
os_smp_scheduler_migration_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

Tanıklar ve thread kimliği korunur; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

“Running thread anında taşını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/K2055: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Affinity dışı CPU threadi çalıştıramaz.

Uygulanacak işlem

“CPU affinity ve yük dengeleme” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Affinity dışı CPU threadi çalıştıramaz. “İki görev ayrı maskeler” kabulü ile “Boş affinity mask” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Affinity dışı CPU threadi çalıştıramaz

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_affinity

Mevcut başlangıç referansı

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

Olumlu deney

İki görev ayrı maskeler

Karşı-örnek / hata girdisi

Boş affinity mask

Gerçek konuk kabulü

Ret sonrası eski atama devam

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_affinity_positive
os_smp_scheduler_affinity_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

Tür ve geçiş tablosu Affinity dışı CPU threadi çalıştıramaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Boş affinity mask” 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/K2060: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Affinity dışı CPU threadi çalıştıramaz.

Uygulanacak işlem

kernel/src/runtime/smp_scheduler.rs hedefinde os_smp_scheduler_affinity 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

Affinity dışı CPU threadi çalıştıramaz

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_affinity

Mevcut başlangıç referansı

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

Olumlu deney

İki görev ayrı maskeler

Karşı-örnek / hata girdisi

Boş affinity mask

Gerçek konuk kabulü

Ret sonrası eski atama devam

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_affinity_positive
os_smp_scheduler_affinity_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki görev ayrı maskeler ile Boş affinity mask ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Boş affinity mask” 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/K2060: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Affinity dışı CPU threadi çalıştıramaz.

Uygulanacak işlem

os_smp_scheduler_affinity_positive testini oluştur: “İki görev ayrı maskeler”. 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

Affinity dışı CPU threadi çalıştıramaz

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_affinity

Mevcut başlangıç referansı

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

Olumlu deney

İki görev ayrı maskeler

Karşı-örnek / hata girdisi

Boş affinity mask

Gerçek konuk kabulü

Ret sonrası eski atama devam

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_affinity_positive
os_smp_scheduler_affinity_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki görev ayrı maskeler girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Boş affinity mask” 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/K2060: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Affinity dışı CPU threadi çalıştıramaz.

Uygulanacak işlem

os_smp_scheduler_affinity_negative testini oluştur: “Boş affinity mask”. 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

Affinity dışı CPU threadi çalıştıramaz

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_affinity

Mevcut başlangıç referansı

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

Olumlu deney

İki görev ayrı maskeler

Karşı-örnek / hata girdisi

Boş affinity mask

Gerçek konuk kabulü

Ret sonrası eski atama devam

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_affinity_positive
os_smp_scheduler_affinity_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

Boş affinity mask 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üş

“Boş affinity mask” 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/K2060: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Affinity dışı CPU threadi çalıştıramaz.

Uygulanacak işlem

Tek ürün Image'ında “Ret sonrası eski atama devam” kabulünü koştur. scripts/os-acceptance/smp_scheduler.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

Affinity dışı CPU threadi çalıştıramaz

Kod hedefi — henüz öneri

kernel/src/runtime/smp_scheduler.rs · os_smp_scheduler_affinity

Mevcut başlangıç referansı

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

Olumlu deney

İki görev ayrı maskeler

Karşı-örnek / hata girdisi

Boş affinity mask

Gerçek konuk kabulü

Ret sonrası eski atama devam

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

kernel/tests/os/smp_scheduler.rs
os_smp_scheduler_affinity_positive
os_smp_scheduler_affinity_negative
scripts/os-acceptance/smp_scheduler.mjs

Geçiş koşulu

Ret sonrası eski atama 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üş

“Boş affinity mask” 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/K2060: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Free bütün etkin CPU acklerini bekler.

Uygulanacak işlem

“Uzak CPU TLB shootdown” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Free bütün etkin CPU acklerini bekler. “Aynı space iki CPUda” kabulü ile “Eksik secondary ack” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Free bütün etkin CPU acklerini bekler

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_shootdown

Mevcut başlangıç referansı

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

Olumlu deney

Aynı space iki CPUda

Karşı-örnek / hata girdisi

Eksik secondary ack

Gerçek konuk kabulü

Backing iade edilmeyip quarantine olur

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

kernel/tests/os/smp_memory.rs
os_smp_memory_shootdown_positive
os_smp_memory_shootdown_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Tür ve geçiş tablosu Free bütün etkin CPU acklerini bekler kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Eksik secondary ack” 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/K2065: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Free bütün etkin CPU acklerini bekler.

Uygulanacak işlem

kernel/src/arch/aarch64/smp_memory.rs hedefinde os_smp_memory_shootdown yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/asid.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

Free bütün etkin CPU acklerini bekler

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_shootdown

Mevcut başlangıç referansı

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

Olumlu deney

Aynı space iki CPUda

Karşı-örnek / hata girdisi

Eksik secondary ack

Gerçek konuk kabulü

Backing iade edilmeyip quarantine olur

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

kernel/tests/os/smp_memory.rs
os_smp_memory_shootdown_positive
os_smp_memory_shootdown_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Aynı space iki CPUda ile Eksik secondary ack ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Eksik secondary ack” 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/K2065: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Free bütün etkin CPU acklerini bekler.

Uygulanacak işlem

os_smp_memory_shootdown_positive testini oluştur: “Aynı space iki CPUda”. 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

Free bütün etkin CPU acklerini bekler

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_shootdown

Mevcut başlangıç referansı

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

Olumlu deney

Aynı space iki CPUda

Karşı-örnek / hata girdisi

Eksik secondary ack

Gerçek konuk kabulü

Backing iade edilmeyip quarantine olur

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

kernel/tests/os/smp_memory.rs
os_smp_memory_shootdown_positive
os_smp_memory_shootdown_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

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

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

“Eksik secondary ack” 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/K2065: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Free bütün etkin CPU acklerini bekler.

Uygulanacak işlem

os_smp_memory_shootdown_negative testini oluştur: “Eksik secondary ack”. 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

Free bütün etkin CPU acklerini bekler

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_shootdown

Mevcut başlangıç referansı

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

Olumlu deney

Aynı space iki CPUda

Karşı-örnek / hata girdisi

Eksik secondary ack

Gerçek konuk kabulü

Backing iade edilmeyip quarantine olur

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

kernel/tests/os/smp_memory.rs
os_smp_memory_shootdown_positive
os_smp_memory_shootdown_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Eksik secondary ack 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üş

“Eksik secondary ack” 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/K2065: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Free bütün etkin CPU acklerini bekler.

Uygulanacak işlem

Tek ürün Image'ında “Backing iade edilmeyip quarantine olur” kabulünü koştur. scripts/os-acceptance/smp_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

Free bütün etkin CPU acklerini bekler

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_shootdown

Mevcut başlangıç referansı

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

Olumlu deney

Aynı space iki CPUda

Karşı-örnek / hata girdisi

Eksik secondary ack

Gerçek konuk kabulü

Backing iade edilmeyip quarantine olur

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

kernel/tests/os/smp_memory.rs
os_smp_memory_shootdown_positive
os_smp_memory_shootdown_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Backing iade edilmeyip quarantine olur; 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üş

“Eksik secondary ack” 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/K2065: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Nesil global emeklilikten önce reuse olmaz.

Uygulanacak işlem

“SMP ASID nesil bariyeri” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Nesil global emeklilikten önce reuse olmaz. “Küçük ASID havuzu” kabulü ile “Eski CPU epoch ile erişir” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Nesil global emeklilikten önce reuse olmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_asid_epoch

Mevcut başlangıç referansı

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

Olumlu deney

Küçük ASID havuzu

Karşı-örnek / hata girdisi

Eski CPU epoch ile erişir

Gerçek konuk kabulü

Yeni süreç stale translation görmez

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

kernel/tests/os/smp_memory.rs
os_smp_memory_asid_epoch_positive
os_smp_memory_asid_epoch_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Tür ve geçiş tablosu Nesil global emeklilikten önce reuse 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üş

“Eski CPU epoch ile erişir” 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/K2070: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Nesil global emeklilikten önce reuse olmaz.

Uygulanacak işlem

kernel/src/arch/aarch64/smp_memory.rs hedefinde os_smp_memory_asid_epoch yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/asid.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

Nesil global emeklilikten önce reuse olmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_asid_epoch

Mevcut başlangıç referansı

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

Olumlu deney

Küçük ASID havuzu

Karşı-örnek / hata girdisi

Eski CPU epoch ile erişir

Gerçek konuk kabulü

Yeni süreç stale translation görmez

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

kernel/tests/os/smp_memory.rs
os_smp_memory_asid_epoch_positive
os_smp_memory_asid_epoch_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Küçük ASID havuzu ile Eski CPU epoch ile erişir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Eski CPU epoch ile erişir” 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/K2070: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Nesil global emeklilikten önce reuse olmaz.

Uygulanacak işlem

os_smp_memory_asid_epoch_positive testini oluştur: “Küçük ASID havuzu”. 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

Nesil global emeklilikten önce reuse olmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_asid_epoch

Mevcut başlangıç referansı

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

Olumlu deney

Küçük ASID havuzu

Karşı-örnek / hata girdisi

Eski CPU epoch ile erişir

Gerçek konuk kabulü

Yeni süreç stale translation görmez

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

kernel/tests/os/smp_memory.rs
os_smp_memory_asid_epoch_positive
os_smp_memory_asid_epoch_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

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

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

“Eski CPU epoch ile erişir” 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/K2070: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Nesil global emeklilikten önce reuse olmaz.

Uygulanacak işlem

os_smp_memory_asid_epoch_negative testini oluştur: “Eski CPU epoch ile erişir”. 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

Nesil global emeklilikten önce reuse olmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_asid_epoch

Mevcut başlangıç referansı

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

Olumlu deney

Küçük ASID havuzu

Karşı-örnek / hata girdisi

Eski CPU epoch ile erişir

Gerçek konuk kabulü

Yeni süreç stale translation görmez

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

kernel/tests/os/smp_memory.rs
os_smp_memory_asid_epoch_positive
os_smp_memory_asid_epoch_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Eski CPU epoch ile erişir 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 CPU epoch ile erişir” 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/K2070: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Nesil global emeklilikten önce reuse olmaz.

Uygulanacak işlem

Tek ürün Image'ında “Yeni süreç stale translation görmez” kabulünü koştur. scripts/os-acceptance/smp_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

Nesil global emeklilikten önce reuse olmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_asid_epoch

Mevcut başlangıç referansı

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

Olumlu deney

Küçük ASID havuzu

Karşı-örnek / hata girdisi

Eski CPU epoch ile erişir

Gerçek konuk kabulü

Yeni süreç stale translation görmez

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

kernel/tests/os/smp_memory.rs
os_smp_memory_asid_epoch_positive
os_smp_memory_asid_epoch_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Yeni süreç stale translation görmez; 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 CPU epoch ile erişir” 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/K2070: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Gerçek eşzamanlı tahsis tek sahip verir.

Uygulanacak işlem

“SMP frame allocator hizmeti” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Gerçek eşzamanlı tahsis tek sahip verir. “İki CPU bin tahsis iade” kabulü ile “Kilit recursion veya çift free” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Gerçek eşzamanlı tahsis tek sahip verir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_allocator

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU bin tahsis iade

Karşı-örnek / hata girdisi

Kilit recursion veya çift free

Gerçek konuk kabulü

Frame toplamı ve owner listesi eşit

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

kernel/tests/os/smp_memory.rs
os_smp_memory_allocator_positive
os_smp_memory_allocator_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Tür ve geçiş tablosu Gerçek eşzamanlı tahsis tek sahip verir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Kilit recursion veya çift 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/K2075: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Gerçek eşzamanlı tahsis tek sahip verir.

Uygulanacak işlem

kernel/src/arch/aarch64/smp_memory.rs hedefinde os_smp_memory_allocator yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/asid.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

Gerçek eşzamanlı tahsis tek sahip verir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_allocator

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU bin tahsis iade

Karşı-örnek / hata girdisi

Kilit recursion veya çift free

Gerçek konuk kabulü

Frame toplamı ve owner listesi eşit

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

kernel/tests/os/smp_memory.rs
os_smp_memory_allocator_positive
os_smp_memory_allocator_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki CPU bin tahsis iade ile Kilit recursion veya çift free ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Kilit recursion veya çift 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/K2075: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Gerçek eşzamanlı tahsis tek sahip verir.

Uygulanacak işlem

os_smp_memory_allocator_positive testini oluştur: “İki CPU bin tahsis iade”. 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

Gerçek eşzamanlı tahsis tek sahip verir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_allocator

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU bin tahsis iade

Karşı-örnek / hata girdisi

Kilit recursion veya çift free

Gerçek konuk kabulü

Frame toplamı ve owner listesi eşit

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

kernel/tests/os/smp_memory.rs
os_smp_memory_allocator_positive
os_smp_memory_allocator_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

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

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

“Kilit recursion veya çift 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/K2075: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Gerçek eşzamanlı tahsis tek sahip verir.

Uygulanacak işlem

os_smp_memory_allocator_negative testini oluştur: “Kilit recursion veya çift 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

Gerçek eşzamanlı tahsis tek sahip verir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_allocator

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU bin tahsis iade

Karşı-örnek / hata girdisi

Kilit recursion veya çift free

Gerçek konuk kabulü

Frame toplamı ve owner listesi eşit

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

kernel/tests/os/smp_memory.rs
os_smp_memory_allocator_positive
os_smp_memory_allocator_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Kilit recursion veya çift 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üş

“Kilit recursion veya çift 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/K2075: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Gerçek eşzamanlı tahsis tek sahip verir.

Uygulanacak işlem

Tek ürün Image'ında “Frame toplamı ve owner listesi eşit” kabulünü koştur. scripts/os-acceptance/smp_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

Gerçek eşzamanlı tahsis tek sahip verir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_allocator

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU bin tahsis iade

Karşı-örnek / hata girdisi

Kilit recursion veya çift free

Gerçek konuk kabulü

Frame toplamı ve owner listesi eşit

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

kernel/tests/os/smp_memory.rs
os_smp_memory_allocator_positive
os_smp_memory_allocator_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Frame toplamı ve owner listesi eşit; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

“Kilit recursion veya çift 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/K2075: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Payload sequence yayınından önce görünür.

Uygulanacak işlem

“Acquire release yayın kanıtı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Payload sequence yayınından önce görünür. “İki CPU artan payloadlar” kabulü ile “Eksik release veya çift publisher” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Payload sequence yayınından önce görünür

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_publication

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU artan payloadlar

Karşı-örnek / hata girdisi

Eksik release veya çift publisher

Gerçek konuk kabulü

Alıcı sıra ve byte hashini doğrular

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

kernel/tests/os/smp_memory.rs
os_smp_memory_publication_positive
os_smp_memory_publication_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Tür ve geçiş tablosu Payload sequence yayınından önce görünü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üş

“Eksik release veya çift publisher” 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/K2080: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Payload sequence yayınından önce görünür.

Uygulanacak işlem

kernel/src/arch/aarch64/smp_memory.rs hedefinde os_smp_memory_publication yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/asid.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

Payload sequence yayınından önce görünür

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_publication

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU artan payloadlar

Karşı-örnek / hata girdisi

Eksik release veya çift publisher

Gerçek konuk kabulü

Alıcı sıra ve byte hashini doğrular

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

kernel/tests/os/smp_memory.rs
os_smp_memory_publication_positive
os_smp_memory_publication_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki CPU artan payloadlar ile Eksik release veya çift publisher ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Eksik release veya çift publisher” 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/K2080: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Payload sequence yayınından önce görünür.

Uygulanacak işlem

os_smp_memory_publication_positive testini oluştur: “İki CPU artan payloadlar”. 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

Payload sequence yayınından önce görünür

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_publication

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU artan payloadlar

Karşı-örnek / hata girdisi

Eksik release veya çift publisher

Gerçek konuk kabulü

Alıcı sıra ve byte hashini doğrular

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

kernel/tests/os/smp_memory.rs
os_smp_memory_publication_positive
os_smp_memory_publication_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

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

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

“Eksik release veya çift publisher” 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/K2080: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Payload sequence yayınından önce görünür.

Uygulanacak işlem

os_smp_memory_publication_negative testini oluştur: “Eksik release veya çift publisher”. 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

Payload sequence yayınından önce görünür

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_publication

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU artan payloadlar

Karşı-örnek / hata girdisi

Eksik release veya çift publisher

Gerçek konuk kabulü

Alıcı sıra ve byte hashini doğrular

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

kernel/tests/os/smp_memory.rs
os_smp_memory_publication_positive
os_smp_memory_publication_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Eksik release veya çift publisher 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üş

“Eksik release veya çift publisher” 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/K2080: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Payload sequence yayınından önce görünür.

Uygulanacak işlem

Tek ürün Image'ında “Alıcı sıra ve byte hashini doğrular” kabulünü koştur. scripts/os-acceptance/smp_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

Payload sequence yayınından önce görünür

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/smp_memory.rs · os_smp_memory_publication

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU artan payloadlar

Karşı-örnek / hata girdisi

Eksik release veya çift publisher

Gerçek konuk kabulü

Alıcı sıra ve byte hashini doğrular

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

kernel/tests/os/smp_memory.rs
os_smp_memory_publication_positive
os_smp_memory_publication_negative
scripts/os-acceptance/smp_memory.mjs

Geçiş koşulu

Alıcı sıra ve byte hashini doğrular; 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üş

“Eksik release veya çift publisher” 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/K2080: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: CPU ve thread payları ayrı ölçülür.

Uygulanacak işlem

“Çok CPU ilerleme dağılımı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: CPU ve thread payları ayrı ölçülür. “Dört CPU sekiz worker” kabulü ile “Bir CPU sürekli lock sahibi” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

CPU ve thread payları ayrı ölçülür

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_fairness

Mevcut başlangıç referansı

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

Olumlu deney

Dört CPU sekiz worker

Karşı-örnek / hata girdisi

Bir CPU sürekli lock sahibi

Gerçek konuk kabulü

Her affinity grubunda ilerleme var

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_fairness_positive
os_smp_acceptance_fairness_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

Tür ve geçiş tablosu CPU ve thread payları ayrı ölçü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üş

“Bir CPU sürekli lock sahibi” 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/K2085: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: CPU ve thread payları ayrı ölçülür.

Uygulanacak işlem

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

CPU ve thread payları ayrı ölçülür

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_fairness

Mevcut başlangıç referansı

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

Olumlu deney

Dört CPU sekiz worker

Karşı-örnek / hata girdisi

Bir CPU sürekli lock sahibi

Gerçek konuk kabulü

Her affinity grubunda ilerleme var

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_fairness_positive
os_smp_acceptance_fairness_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Dört CPU sekiz worker ile Bir CPU sürekli lock sahibi ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Bir CPU sürekli lock sahibi” 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/K2085: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: CPU ve thread payları ayrı ölçülür.

Uygulanacak işlem

os_smp_acceptance_fairness_positive testini oluştur: “Dört CPU sekiz worker”. 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

CPU ve thread payları ayrı ölçülür

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_fairness

Mevcut başlangıç referansı

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

Olumlu deney

Dört CPU sekiz worker

Karşı-örnek / hata girdisi

Bir CPU sürekli lock sahibi

Gerçek konuk kabulü

Her affinity grubunda ilerleme var

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_fairness_positive
os_smp_acceptance_fairness_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Dört CPU sekiz worker girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Bir CPU sürekli lock sahibi” 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/K2085: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: CPU ve thread payları ayrı ölçülür.

Uygulanacak işlem

os_smp_acceptance_fairness_negative testini oluştur: “Bir CPU sürekli lock sahibi”. 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

CPU ve thread payları ayrı ölçülür

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_fairness

Mevcut başlangıç referansı

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

Olumlu deney

Dört CPU sekiz worker

Karşı-örnek / hata girdisi

Bir CPU sürekli lock sahibi

Gerçek konuk kabulü

Her affinity grubunda ilerleme var

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_fairness_positive
os_smp_acceptance_fairness_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

Bir CPU sürekli lock sahibi 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 CPU sürekli lock sahibi” 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/K2085: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: CPU ve thread payları ayrı ölçülür.

Uygulanacak işlem

Tek ürün Image'ında “Her affinity grubunda ilerleme var” kabulünü koştur. scripts/os-acceptance/smp_acceptance.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

CPU ve thread payları ayrı ölçülür

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_fairness

Mevcut başlangıç referansı

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

Olumlu deney

Dört CPU sekiz worker

Karşı-örnek / hata girdisi

Bir CPU sürekli lock sahibi

Gerçek konuk kabulü

Her affinity grubunda ilerleme var

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_fairness_positive
os_smp_acceptance_fairness_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

Her affinity grubunda ilerleme var; 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 CPU sürekli lock sahibi” 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/K2085: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Bekleme ile kritik bölüm süreleri ayrıdır.

Uygulanacak işlem

“Kilit bekleme ve hold süresi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Bekleme ile kritik bölüm süreleri ayrıdır. “Contended ve uncontended örnek” kabulü ile “Tek sayı bütün gecikme diye sunulur” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Bekleme ile kritik bölüm süreleri ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_lock_metrics

Mevcut başlangıç referansı

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

Olumlu deney

Contended ve uncontended örnek

Karşı-örnek / hata girdisi

Tek sayı bütün gecikme diye sunulur

Gerçek konuk kabulü

Dağılım örnek sayısıyla raporlanır

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_lock_metrics_positive
os_smp_acceptance_lock_metrics_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

Tür ve geçiş tablosu Bekleme ile kritik bölüm süreleri ayrı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üş

“Tek sayı bütün gecikme diye sunulur” 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/K2090: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Bekleme ile kritik bölüm süreleri ayrıdır.

Uygulanacak işlem

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

Bekleme ile kritik bölüm süreleri ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_lock_metrics

Mevcut başlangıç referansı

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

Olumlu deney

Contended ve uncontended örnek

Karşı-örnek / hata girdisi

Tek sayı bütün gecikme diye sunulur

Gerçek konuk kabulü

Dağılım örnek sayısıyla raporlanır

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_lock_metrics_positive
os_smp_acceptance_lock_metrics_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Contended ve uncontended örnek ile Tek sayı bütün gecikme diye sunulur ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Tek sayı bütün gecikme diye sunulur” 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/K2090: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Bekleme ile kritik bölüm süreleri ayrıdır.

Uygulanacak işlem

os_smp_acceptance_lock_metrics_positive testini oluştur: “Contended ve uncontended örnek”. 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

Bekleme ile kritik bölüm süreleri ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_lock_metrics

Mevcut başlangıç referansı

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

Olumlu deney

Contended ve uncontended örnek

Karşı-örnek / hata girdisi

Tek sayı bütün gecikme diye sunulur

Gerçek konuk kabulü

Dağılım örnek sayısıyla raporlanır

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_lock_metrics_positive
os_smp_acceptance_lock_metrics_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Contended ve uncontended örnek girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Tek sayı bütün gecikme diye sunulur” 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/K2090: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Bekleme ile kritik bölüm süreleri ayrıdır.

Uygulanacak işlem

os_smp_acceptance_lock_metrics_negative testini oluştur: “Tek sayı bütün gecikme diye sunulur”. 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

Bekleme ile kritik bölüm süreleri ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_lock_metrics

Mevcut başlangıç referansı

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

Olumlu deney

Contended ve uncontended örnek

Karşı-örnek / hata girdisi

Tek sayı bütün gecikme diye sunulur

Gerçek konuk kabulü

Dağılım örnek sayısıyla raporlanır

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_lock_metrics_positive
os_smp_acceptance_lock_metrics_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

Tek sayı bütün gecikme diye sunulur 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üş

“Tek sayı bütün gecikme diye sunulur” 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/K2090: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Bekleme ile kritik bölüm süreleri ayrıdır.

Uygulanacak işlem

Tek ürün Image'ında “Dağılım örnek sayısıyla raporlanır” kabulünü koştur. scripts/os-acceptance/smp_acceptance.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

Bekleme ile kritik bölüm süreleri ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_lock_metrics

Mevcut başlangıç referansı

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

Olumlu deney

Contended ve uncontended örnek

Karşı-örnek / hata girdisi

Tek sayı bütün gecikme diye sunulur

Gerçek konuk kabulü

Dağılım örnek sayısıyla raporlanır

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_lock_metrics_positive
os_smp_acceptance_lock_metrics_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

Dağılım örnek sayısıyla raporlanı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üş

“Tek sayı bütün gecikme diye sunulur” 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/K2090: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Timeout canlı sahibi sessiz free etmez.

Uygulanacak işlem

“İkincil CPU yanıt vermeme” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Timeout canlı sahibi sessiz free etmez. “Bir secondary bekleme enjeksiyonu” kabulü ile “Ack yokken bellek recycle” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Timeout canlı sahibi sessiz free etmez

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_cpu_failure

Mevcut başlangıç referansı

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

Olumlu deney

Bir secondary bekleme enjeksiyonu

Karşı-örnek / hata girdisi

Ack yokken bellek recycle

Gerçek konuk kabulü

Sistem açık degraded veya failstop

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_cpu_failure_positive
os_smp_acceptance_cpu_failure_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

Tür ve geçiş tablosu Timeout canlı sahibi sessiz free 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üş

“Ack yokken bellek recycle” 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/K2095: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Timeout canlı sahibi sessiz free etmez.

Uygulanacak işlem

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

Timeout canlı sahibi sessiz free etmez

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_cpu_failure

Mevcut başlangıç referansı

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

Olumlu deney

Bir secondary bekleme enjeksiyonu

Karşı-örnek / hata girdisi

Ack yokken bellek recycle

Gerçek konuk kabulü

Sistem açık degraded veya failstop

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_cpu_failure_positive
os_smp_acceptance_cpu_failure_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bir secondary bekleme enjeksiyonu ile Ack yokken bellek recycle ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Ack yokken bellek recycle” 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/K2095: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Timeout canlı sahibi sessiz free etmez.

Uygulanacak işlem

os_smp_acceptance_cpu_failure_positive testini oluştur: “Bir secondary bekleme enjeksiyonu”. 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

Timeout canlı sahibi sessiz free etmez

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_cpu_failure

Mevcut başlangıç referansı

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

Olumlu deney

Bir secondary bekleme enjeksiyonu

Karşı-örnek / hata girdisi

Ack yokken bellek recycle

Gerçek konuk kabulü

Sistem açık degraded veya failstop

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_cpu_failure_positive
os_smp_acceptance_cpu_failure_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Bir secondary bekleme enjeksiyonu girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Ack yokken bellek recycle” 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/K2095: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Timeout canlı sahibi sessiz free etmez.

Uygulanacak işlem

os_smp_acceptance_cpu_failure_negative testini oluştur: “Ack yokken bellek recycle”. 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

Timeout canlı sahibi sessiz free etmez

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_cpu_failure

Mevcut başlangıç referansı

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

Olumlu deney

Bir secondary bekleme enjeksiyonu

Karşı-örnek / hata girdisi

Ack yokken bellek recycle

Gerçek konuk kabulü

Sistem açık degraded veya failstop

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_cpu_failure_positive
os_smp_acceptance_cpu_failure_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

Ack yokken bellek recycle 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üş

“Ack yokken bellek recycle” 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/K2095: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Timeout canlı sahibi sessiz free etmez.

Uygulanacak işlem

Tek ürün Image'ında “Sistem açık degraded veya failstop” kabulünü koştur. scripts/os-acceptance/smp_acceptance.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

Timeout canlı sahibi sessiz free etmez

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_cpu_failure

Mevcut başlangıç referansı

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

Olumlu deney

Bir secondary bekleme enjeksiyonu

Karşı-örnek / hata girdisi

Ack yokken bellek recycle

Gerçek konuk kabulü

Sistem açık degraded veya failstop

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_cpu_failure_positive
os_smp_acceptance_cpu_failure_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

Sistem açık degraded veya failstop; 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üş

“Ack yokken bellek recycle” 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/K2095: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Process IPC VFS timer birlikte sınanır.

Uygulanacak işlem

“Birleşik SMP ürün yükü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Process IPC VFS timer birlikte sınanır. “Dört CPU shell ve ağ yükü” kabulü ile “Uzun yükte eski PID wake” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Process IPC VFS timer birlikte sınanır

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_workload

Mevcut başlangıç referansı

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

Olumlu deney

Dört CPU shell ve ağ yükü

Karşı-örnek / hata girdisi

Uzun yükte eski PID wake

Gerçek konuk kabulü

Saatler boyunca muhasebe ve kanarya korunur

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_workload_positive
os_smp_acceptance_workload_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

Tür ve geçiş tablosu Process IPC VFS timer birlikte sınanı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üş

“Uzun yükte eski PID 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/K2100: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Process IPC VFS timer birlikte sınanır.

Uygulanacak işlem

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

Process IPC VFS timer birlikte sınanır

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_workload

Mevcut başlangıç referansı

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

Olumlu deney

Dört CPU shell ve ağ yükü

Karşı-örnek / hata girdisi

Uzun yükte eski PID wake

Gerçek konuk kabulü

Saatler boyunca muhasebe ve kanarya korunur

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_workload_positive
os_smp_acceptance_workload_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Dört CPU shell ve ağ yükü ile Uzun yükte eski PID wake ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Uzun yükte eski PID 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/K2100: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Process IPC VFS timer birlikte sınanır.

Uygulanacak işlem

os_smp_acceptance_workload_positive testini oluştur: “Dört CPU shell ve ağ yükü”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Process IPC VFS timer birlikte sınanır

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_workload

Mevcut başlangıç referansı

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

Olumlu deney

Dört CPU shell ve ağ yükü

Karşı-örnek / hata girdisi

Uzun yükte eski PID wake

Gerçek konuk kabulü

Saatler boyunca muhasebe ve kanarya korunur

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_workload_positive
os_smp_acceptance_workload_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Dört CPU shell ve ağ yükü girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Uzun yükte eski PID 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/K2100: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Process IPC VFS timer birlikte sınanır.

Uygulanacak işlem

os_smp_acceptance_workload_negative testini oluştur: “Uzun yükte eski PID 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

Process IPC VFS timer birlikte sınanır

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_workload

Mevcut başlangıç referansı

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

Olumlu deney

Dört CPU shell ve ağ yükü

Karşı-örnek / hata girdisi

Uzun yükte eski PID wake

Gerçek konuk kabulü

Saatler boyunca muhasebe ve kanarya korunur

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_workload_positive
os_smp_acceptance_workload_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

Uzun yükte eski PID 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üş

“Uzun yükte eski PID 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/K2100: PASS.

Profil ve bağlar

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

İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır. Bu hamlenin koruduğu değişmez: Process IPC VFS timer birlikte sınanır.

Uygulanacak işlem

Tek ürün Image'ında “Saatler boyunca muhasebe ve kanarya korunur” kabulünü koştur. scripts/os-acceptance/smp_acceptance.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

Process IPC VFS timer birlikte sınanır

Kod hedefi — henüz öneri

kernel/src/runtime/smp_acceptance.rs · os_smp_acceptance_workload

Mevcut başlangıç referansı

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

Olumlu deney

Dört CPU shell ve ağ yükü

Karşı-örnek / hata girdisi

Uzun yükte eski PID wake

Gerçek konuk kabulü

Saatler boyunca muhasebe ve kanarya korunur

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

kernel/tests/os/smp_acceptance.rs
os_smp_acceptance_workload_positive
os_smp_acceptance_workload_negative
scripts/os-acceptance/smp_acceptance.mjs

Geçiş koşulu

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

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

“Uzun yükte eski PID 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/K2100: PASS.

Profil ve bağlar

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