← 1900 hamlenin bütünüFAZ 03 / K801–K900

Sanal bellek ve adres alanları

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir.

100planlı hamle

5modül

20yetenek

0gerçek kabul

Bu fazın 100 hamlesinde ara

100 / 100 hamle gösteriliyor

AArch64 / Rust + küçük assembly sınırı · K801–K820

Sayfa tablosu sahipliği

Dört yetenek: AArch64 tablo düzeyleri · Tablo sayfası tahsisi · RW RX ve PXN UXN · Tablo ağacı imhası. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K801AArch64 tablo düzeyleri · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: İndeks ve descriptor bitleri sınırlıdır.

Uygulanacak işlem: “AArch64 tablo düzeyleri” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: İndeks ve descriptor bitleri sınırlıdır. “Dört düzey 4 KiB yürüyüş” kabulü ile “Ayrılmış descriptor biti” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: İndeks ve descriptor bitleri sınırlıdır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_levels
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Dört düzey 4 KiB yürüyüş
Karşı-örnek / hata girdisi: Ayrılmış descriptor biti
Gerçek konuk kabulü: Bilinen VA doğru PA üretir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_levels_positive
os_page_tables_levels_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: Tür ve geçiş tablosu İndeks ve descriptor bitleri sınırlıdır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Ayrılmış descriptor biti” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K805: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. İlk hamle; mevcut K501–K600 sözleşmesi başlangıç bağlamıdır. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K802AArch64 tablo düzeyleri · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: İndeks ve descriptor bitleri sınırlıdır.

Uygulanacak işlem: kernel/src/arch/aarch64/page_tables.rs hedefinde os_page_tables_levels yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/paging.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: İndeks ve descriptor bitleri sınırlıdır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_levels
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Dört düzey 4 KiB yürüyüş
Karşı-örnek / hata girdisi: Ayrılmış descriptor biti
Gerçek konuk kabulü: Bilinen VA doğru PA üretir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_levels_positive
os_page_tables_levels_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Dört düzey 4 KiB yürüyüş ile Ayrılmış descriptor biti ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Ayrılmış descriptor biti” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K805: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K801. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K803AArch64 tablo düzeyleri · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: İndeks ve descriptor bitleri sınırlıdır.

Uygulanacak işlem: os_page_tables_levels_positive testini oluştur: “Dört düzey 4 KiB yürüyüş”. 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: İndeks ve descriptor bitleri sınırlıdır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_levels
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Dört düzey 4 KiB yürüyüş
Karşı-örnek / hata girdisi: Ayrılmış descriptor biti
Gerçek konuk kabulü: Bilinen VA doğru PA üretir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_levels_positive
os_page_tables_levels_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Dört düzey 4 KiB yürüyüş girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Ayrılmış descriptor biti” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K805: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K802. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K804AArch64 tablo düzeyleri · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: İndeks ve descriptor bitleri sınırlıdır.

Uygulanacak işlem: os_page_tables_levels_negative testini oluştur: “Ayrılmış descriptor biti”. 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: İndeks ve descriptor bitleri sınırlıdır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_levels
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Dört düzey 4 KiB yürüyüş
Karşı-örnek / hata girdisi: Ayrılmış descriptor biti
Gerçek konuk kabulü: Bilinen VA doğru PA üretir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_levels_positive
os_page_tables_levels_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: Ayrılmış descriptor biti 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üş: “Ayrılmış descriptor biti” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K805: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K803. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K805AArch64 tablo düzeyleri · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: İndeks ve descriptor bitleri sınırlıdır.

Uygulanacak işlem: Tek ürün Image'ında “Bilinen VA doğru PA üretir” kabulünü koştur. scripts/os-acceptance/page_tables.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: İndeks ve descriptor bitleri sınırlıdır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_levels
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Dört düzey 4 KiB yürüyüş
Karşı-örnek / hata girdisi: Ayrılmış descriptor biti
Gerçek konuk kabulü: Bilinen VA doğru PA üretir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_levels_positive
os_page_tables_levels_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: Bilinen VA doğru PA üretir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Ayrılmış descriptor biti” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K805: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K804. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K806Tablo sayfası tahsisi · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Her tablo tek metadata sahibindedir.

Uygulanacak işlem: “Tablo sayfası tahsisi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Her tablo tek metadata sahibindedir. “Üç boş ara tablo” kabulü ile “İkinci tabloda ENOSPC” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Her tablo tek metadata sahibindedir
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_allocate
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç boş ara tablo
Karşı-örnek / hata girdisi: İkinci tabloda ENOSPC
Gerçek konuk kabulü: Yayımlanmamış tablolar geri döner
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_allocate_positive
os_page_tables_allocate_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: Tür ve geçiş tablosu Her tablo tek metadata sahibindedir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “İkinci tabloda ENOSPC” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K810: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K805. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K807Tablo sayfası tahsisi · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Her tablo tek metadata sahibindedir.

Uygulanacak işlem: kernel/src/arch/aarch64/page_tables.rs hedefinde os_page_tables_allocate yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/paging.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 tablo tek metadata sahibindedir
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_allocate
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç boş ara tablo
Karşı-örnek / hata girdisi: İkinci tabloda ENOSPC
Gerçek konuk kabulü: Yayımlanmamış tablolar geri döner
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_allocate_positive
os_page_tables_allocate_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç boş ara tablo ile İkinci tabloda ENOSPC ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “İkinci tabloda ENOSPC” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K810: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K806. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K808Tablo sayfası tahsisi · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Her tablo tek metadata sahibindedir.

Uygulanacak işlem: os_page_tables_allocate_positive testini oluştur: “Üç boş ara tablo”. 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 tablo tek metadata sahibindedir
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_allocate
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç boş ara tablo
Karşı-örnek / hata girdisi: İkinci tabloda ENOSPC
Gerçek konuk kabulü: Yayımlanmamış tablolar geri döner
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_allocate_positive
os_page_tables_allocate_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Üç boş ara tablo girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “İkinci tabloda ENOSPC” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K810: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K807. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K809Tablo sayfası tahsisi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Her tablo tek metadata sahibindedir.

Uygulanacak işlem: os_page_tables_allocate_negative testini oluştur: “İkinci tabloda ENOSPC”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Her tablo tek metadata sahibindedir
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_allocate
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç boş ara tablo
Karşı-örnek / hata girdisi: İkinci tabloda ENOSPC
Gerçek konuk kabulü: Yayımlanmamış tablolar geri döner
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_allocate_positive
os_page_tables_allocate_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: İkinci tabloda ENOSPC karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “İkinci tabloda ENOSPC” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K810: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K808. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K810Tablo sayfası tahsisi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Her tablo tek metadata sahibindedir.

Uygulanacak işlem: Tek ürün Image'ında “Yayımlanmamış tablolar geri döner” kabulünü koştur. scripts/os-acceptance/page_tables.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 tablo tek metadata sahibindedir
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_allocate
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç boş ara tablo
Karşı-örnek / hata girdisi: İkinci tabloda ENOSPC
Gerçek konuk kabulü: Yayımlanmamış tablolar geri döner
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_allocate_positive
os_page_tables_allocate_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: Yayımlanmamış tablolar geri döner; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “İkinci tabloda ENOSPC” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K810: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K809. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K811RW RX ve PXN UXN · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Aynı kullanıcı sayfası W ve X olmaz.

Uygulanacak işlem: “RW RX ve PXN UXN” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Aynı kullanıcı sayfası W ve X olmaz. “Kod RX veri RW” kabulü ile “RWX haritalama” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Aynı kullanıcı sayfası W ve X olmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_permissions
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Kod RX veri RW
Karşı-örnek / hata girdisi: RWX haritalama
Gerçek konuk kabulü: Konukta kod yazısı ve veri yürütme fault
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_permissions_positive
os_page_tables_permissions_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: Tür ve geçiş tablosu Aynı kullanıcı sayfası W ve X 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üş: “RWX haritalama” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K815: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K810. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K812RW RX ve PXN UXN · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Aynı kullanıcı sayfası W ve X olmaz.

Uygulanacak işlem: kernel/src/arch/aarch64/page_tables.rs hedefinde os_page_tables_permissions yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/paging.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: Aynı kullanıcı sayfası W ve X olmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_permissions
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Kod RX veri RW
Karşı-örnek / hata girdisi: RWX haritalama
Gerçek konuk kabulü: Konukta kod yazısı ve veri yürütme fault
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_permissions_positive
os_page_tables_permissions_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Kod RX veri RW ile RWX haritalama ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “RWX haritalama” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K815: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K811. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K813RW RX ve PXN UXN · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Aynı kullanıcı sayfası W ve X olmaz.

Uygulanacak işlem: os_page_tables_permissions_positive testini oluştur: “Kod RX veri RW”. 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: Aynı kullanıcı sayfası W ve X olmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_permissions
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Kod RX veri RW
Karşı-örnek / hata girdisi: RWX haritalama
Gerçek konuk kabulü: Konukta kod yazısı ve veri yürütme fault
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_permissions_positive
os_page_tables_permissions_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Kod RX veri RW girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “RWX haritalama” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K815: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K812. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K814RW RX ve PXN UXN · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Aynı kullanıcı sayfası W ve X olmaz.

Uygulanacak işlem: os_page_tables_permissions_negative testini oluştur: “RWX haritalama”. 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: Aynı kullanıcı sayfası W ve X olmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_permissions
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Kod RX veri RW
Karşı-örnek / hata girdisi: RWX haritalama
Gerçek konuk kabulü: Konukta kod yazısı ve veri yürütme fault
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_permissions_positive
os_page_tables_permissions_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: RWX haritalama 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üş: “RWX haritalama” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K815: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K813. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K815RW RX ve PXN UXN · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Aynı kullanıcı sayfası W ve X olmaz.

Uygulanacak işlem: Tek ürün Image'ında “Konukta kod yazısı ve veri yürütme fault” kabulünü koştur. scripts/os-acceptance/page_tables.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: Aynı kullanıcı sayfası W ve X olmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_permissions
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Kod RX veri RW
Karşı-örnek / hata girdisi: RWX haritalama
Gerçek konuk kabulü: Konukta kod yazısı ve veri yürütme fault
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_permissions_positive
os_page_tables_permissions_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: Konukta kod yazısı ve veri yürütme fault; 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üş: “RWX haritalama” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K815: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K814. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K816Tablo ağacı imhası · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: TLB emekliliği tamamlanmadan tablo iade yok.

Uygulanacak işlem: “Tablo ağacı imhası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: TLB emekliliği tamamlanmadan tablo iade yok. “Boş adres alanı kapatılır” kabulü ile “Etkin TTBR tablosunu free” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: TLB emekliliği tamamlanmadan tablo iade yok
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_destroy
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Boş adres alanı kapatılır
Karşı-örnek / hata girdisi: Etkin TTBR tablosunu free
Gerçek konuk kabulü: Sırayla detach flush ve iade
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_destroy_positive
os_page_tables_destroy_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: Tür ve geçiş tablosu TLB emekliliği tamamlanmadan tablo iade yok kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Etkin TTBR tablosunu 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/K820: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K815. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K817Tablo ağacı imhası · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: TLB emekliliği tamamlanmadan tablo iade yok.

Uygulanacak işlem: kernel/src/arch/aarch64/page_tables.rs hedefinde os_page_tables_destroy yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/paging.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: TLB emekliliği tamamlanmadan tablo iade yok
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_destroy
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Boş adres alanı kapatılır
Karşı-örnek / hata girdisi: Etkin TTBR tablosunu free
Gerçek konuk kabulü: Sırayla detach flush ve iade
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_destroy_positive
os_page_tables_destroy_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Boş adres alanı kapatılır ile Etkin TTBR tablosunu free ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Etkin TTBR tablosunu 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/K820: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K816. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K818Tablo ağacı imhası · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: TLB emekliliği tamamlanmadan tablo iade yok.

Uygulanacak işlem: os_page_tables_destroy_positive testini oluştur: “Boş adres alanı kapatılı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: TLB emekliliği tamamlanmadan tablo iade yok
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_destroy
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Boş adres alanı kapatılır
Karşı-örnek / hata girdisi: Etkin TTBR tablosunu free
Gerçek konuk kabulü: Sırayla detach flush ve iade
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_destroy_positive
os_page_tables_destroy_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Boş adres alanı kapatılır girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Etkin TTBR tablosunu 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/K820: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K817. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K819Tablo ağacı imhası · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: TLB emekliliği tamamlanmadan tablo iade yok.

Uygulanacak işlem: os_page_tables_destroy_negative testini oluştur: “Etkin TTBR tablosunu 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: TLB emekliliği tamamlanmadan tablo iade yok
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_destroy
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Boş adres alanı kapatılır
Karşı-örnek / hata girdisi: Etkin TTBR tablosunu free
Gerçek konuk kabulü: Sırayla detach flush ve iade
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_destroy_positive
os_page_tables_destroy_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: Etkin TTBR tablosunu free karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Etkin TTBR tablosunu 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/K820: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K818. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K820Tablo ağacı imhası · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: TLB emekliliği tamamlanmadan tablo iade yok.

Uygulanacak işlem: Tek ürün Image'ında “Sırayla detach flush ve iade” kabulünü koştur. scripts/os-acceptance/page_tables.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: TLB emekliliği tamamlanmadan tablo iade yok
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/page_tables.rs · os_page_tables_destroy
Mevcut başlangıç referansı: kernel/src/paging.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Boş adres alanı kapatılır
Karşı-örnek / hata girdisi: Etkin TTBR tablosunu free
Gerçek konuk kabulü: Sırayla detach flush ve iade
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_tables.rs
os_page_tables_destroy_positive
os_page_tables_destroy_negative
scripts/os-acceptance/page_tables.mjs
Geçiş koşulu: Sırayla detach flush ve iade; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Etkin TTBR tablosunu 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/K820: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K819. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

Kernel Rust · K821–K840

Adres alanı ve ASID

Dört yetenek: Adres alanı oluşturma · TTBR ASID bağlam geçişi · ASID nesil geri dönüşümü · Ortak kernel harita sınırı. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K821Adres alanı oluşturma · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Kimlik ve kök atomik yayımlanır.

Uygulanacak işlem: “Adres alanı oluşturma” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kimlik ve kök atomik yayımlanır. “A ve B farklı kök” kabulü ile “Kök tahsisinde hata” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Kimlik ve kök atomik yayımlanır
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_create
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A ve B farklı kök
Karşı-örnek / hata girdisi: Kök tahsisinde hata
Gerçek konuk kabulü: Başarısız oluşturma kayıt bırakmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_create_positive
os_address_spaces_create_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: Tür ve geçiş tablosu Kimlik ve kök atomik yayımlanı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üş: “Kök tahsisinde hata” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K825: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K820. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K822Adres alanı oluşturma · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Kimlik ve kök atomik yayımlanır.

Uygulanacak işlem: kernel/src/runtime/address_spaces.rs hedefinde os_address_spaces_create 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: Kimlik ve kök atomik yayımlanır
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_create
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A ve B farklı kök
Karşı-örnek / hata girdisi: Kök tahsisinde hata
Gerçek konuk kabulü: Başarısız oluşturma kayıt bırakmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_create_positive
os_address_spaces_create_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. A ve B farklı kök ile Kök tahsisinde hata ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Kök tahsisinde hata” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K825: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K821. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K823Adres alanı oluşturma · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Kimlik ve kök atomik yayımlanır.

Uygulanacak işlem: os_address_spaces_create_positive testini oluştur: “A ve B farklı kö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: Kimlik ve kök atomik yayımlanır
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_create
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A ve B farklı kök
Karşı-örnek / hata girdisi: Kök tahsisinde hata
Gerçek konuk kabulü: Başarısız oluşturma kayıt bırakmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_create_positive
os_address_spaces_create_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; A ve B farklı kök girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Kök tahsisinde hata” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K825: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K822. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K824Adres alanı oluşturma · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Kimlik ve kök atomik yayımlanır.

Uygulanacak işlem: os_address_spaces_create_negative testini oluştur: “Kök tahsisinde hata”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Kimlik ve kök atomik yayımlanır
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_create
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A ve B farklı kök
Karşı-örnek / hata girdisi: Kök tahsisinde hata
Gerçek konuk kabulü: Başarısız oluşturma kayıt bırakmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_create_positive
os_address_spaces_create_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: Kök tahsisinde hata 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üş: “Kök tahsisinde hata” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K825: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K823. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K825Adres alanı oluşturma · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Kimlik ve kök atomik yayımlanır.

Uygulanacak işlem: Tek ürün Image'ında “Başarısız oluşturma kayıt bırakmaz” kabulünü koştur. scripts/os-acceptance/address_spaces.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.
Değişmez / korunan bağlam: Kimlik ve kök atomik yayımlanır
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_create
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A ve B farklı kök
Karşı-örnek / hata girdisi: Kök tahsisinde hata
Gerçek konuk kabulü: Başarısız oluşturma kayıt bırakmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_create_positive
os_address_spaces_create_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: Başarısız oluşturma kayıt bırakmaz; 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üş: “Kök tahsisinde hata” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K825: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K824. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K826TTBR ASID bağlam geçişi · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Kök doğru ASID ve süreçle eşleşir.

Uygulanacak işlem: “TTBR ASID bağlam geçişi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kök doğru ASID ve süreçle eşleşir. “A B A geçiş dizisi” kabulü ile “Yabancı kök ile eski ASID” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Kök doğru ASID ve süreçle eşleşir
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_switch
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A B A geçiş dizisi
Karşı-örnek / hata girdisi: Yabancı kök ile eski ASID
Gerçek konuk kabulü: A verisi B adresinde görünmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_switch_positive
os_address_spaces_switch_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: Tür ve geçiş tablosu Kök doğru ASID ve süreçle eşleşir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Yabancı kök ile eski ASID” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K830: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K825. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K827TTBR ASID bağlam geçişi · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Kök doğru ASID ve süreçle eşleşir.

Uygulanacak işlem: kernel/src/runtime/address_spaces.rs hedefinde os_address_spaces_switch 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: Kök doğru ASID ve süreçle eşleşir
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_switch
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A B A geçiş dizisi
Karşı-örnek / hata girdisi: Yabancı kök ile eski ASID
Gerçek konuk kabulü: A verisi B adresinde görünmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_switch_positive
os_address_spaces_switch_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. A B A geçiş dizisi ile Yabancı kök ile eski ASID ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Yabancı kök ile eski ASID” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K830: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K826. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K828TTBR ASID bağlam geçişi · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Kök doğru ASID ve süreçle eşleşir.

Uygulanacak işlem: os_address_spaces_switch_positive testini oluştur: “A B A geçiş dizisi”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: Kök doğru ASID ve süreçle eşleşir
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_switch
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A B A geçiş dizisi
Karşı-örnek / hata girdisi: Yabancı kök ile eski ASID
Gerçek konuk kabulü: A verisi B adresinde görünmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_switch_positive
os_address_spaces_switch_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; A B A geçiş dizisi girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Yabancı kök ile eski ASID” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K830: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K827. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K829TTBR ASID bağlam geçişi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Kök doğru ASID ve süreçle eşleşir.

Uygulanacak işlem: os_address_spaces_switch_negative testini oluştur: “Yabancı kök ile eski ASID”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Kök doğru ASID ve süreçle eşleşir
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_switch
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A B A geçiş dizisi
Karşı-örnek / hata girdisi: Yabancı kök ile eski ASID
Gerçek konuk kabulü: A verisi B adresinde görünmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_switch_positive
os_address_spaces_switch_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: Yabancı kök ile eski ASID karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Yabancı kök ile eski ASID” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K830: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K828. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K830TTBR ASID bağlam geçişi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Kök doğru ASID ve süreçle eşleşir.

Uygulanacak işlem: Tek ürün Image'ında “A verisi B adresinde görünmez” kabulünü koştur. scripts/os-acceptance/address_spaces.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.
Değişmez / korunan bağlam: Kök doğru ASID ve süreçle eşleşir
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_switch
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A B A geçiş dizisi
Karşı-örnek / hata girdisi: Yabancı kök ile eski ASID
Gerçek konuk kabulü: A verisi B adresinde görünmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_switch_positive
os_address_spaces_switch_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: A verisi B adresinde görünmez; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Yabancı kök ile eski ASID” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K830: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K829. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K831ASID nesil geri dönüşümü · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yeniden kullanım hedefli TLBI ister.

Uygulanacak işlem: “ASID nesil geri dönüşümü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yeniden kullanım hedefli TLBI ister. “Az ASID ile çok süreç” kabulü ile “Nesil taşması” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Yeniden kullanım hedefli TLBI ister
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_recycle
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Az ASID ile çok süreç
Karşı-örnek / hata girdisi: Nesil taşması
Gerçek konuk kabulü: Eski TLB çevirisi yeni sürece sızmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_recycle_positive
os_address_spaces_recycle_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: Tür ve geçiş tablosu Yeniden kullanım hedefli TLBI ister kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Nesil taşması” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K835: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K830. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K832ASID nesil geri dönüşümü · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yeniden kullanım hedefli TLBI ister.

Uygulanacak işlem: kernel/src/runtime/address_spaces.rs hedefinde os_address_spaces_recycle 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: Yeniden kullanım hedefli TLBI ister
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_recycle
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Az ASID ile çok süreç
Karşı-örnek / hata girdisi: Nesil taşması
Gerçek konuk kabulü: Eski TLB çevirisi yeni sürece sızmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_recycle_positive
os_address_spaces_recycle_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Az ASID ile çok süreç ile Nesil taşması ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Nesil taşması” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K835: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K831. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K833ASID nesil geri dönüşümü · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yeniden kullanım hedefli TLBI ister.

Uygulanacak işlem: os_address_spaces_recycle_positive testini oluştur: “Az ASID ile çok süreç”. 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: Yeniden kullanım hedefli TLBI ister
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_recycle
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Az ASID ile çok süreç
Karşı-örnek / hata girdisi: Nesil taşması
Gerçek konuk kabulü: Eski TLB çevirisi yeni sürece sızmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_recycle_positive
os_address_spaces_recycle_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Az ASID ile çok süreç girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Nesil taşması” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K835: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K832. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K834ASID nesil geri dönüşümü · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yeniden kullanım hedefli TLBI ister.

Uygulanacak işlem: os_address_spaces_recycle_negative testini oluştur: “Nesil taşması”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Yeniden kullanım hedefli TLBI ister
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_recycle
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Az ASID ile çok süreç
Karşı-örnek / hata girdisi: Nesil taşması
Gerçek konuk kabulü: Eski TLB çevirisi yeni sürece sızmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_recycle_positive
os_address_spaces_recycle_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: Nesil taşması karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Nesil taşması” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K835: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K833. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K835ASID nesil geri dönüşümü · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yeniden kullanım hedefli TLBI ister.

Uygulanacak işlem: Tek ürün Image'ında “Eski TLB çevirisi yeni sürece sızmaz” kabulünü koştur. scripts/os-acceptance/address_spaces.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: Yeniden kullanım hedefli TLBI ister
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_recycle
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Az ASID ile çok süreç
Karşı-örnek / hata girdisi: Nesil taşması
Gerçek konuk kabulü: Eski TLB çevirisi yeni sürece sızmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_recycle_positive
os_address_spaces_recycle_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: Eski TLB çevirisi yeni sürece sızmaz; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Nesil taşması” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K835: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K834. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K836Ortak kernel harita sınırı · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Ortak kernel alanı EL0 için kapalıdır.

Uygulanacak işlem: “Ortak kernel harita sınırı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Ortak kernel alanı EL0 için kapalıdır. “İki süreç aynı kernel kökü” kabulü ile “MMIO user biti açık” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Ortak kernel alanı EL0 için kapalıdır
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_kernel_map
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki süreç aynı kernel kökü
Karşı-örnek / hata girdisi: MMIO user biti açık
Gerçek konuk kabulü: EL0 kernel adresinde fault olur
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_kernel_map_positive
os_address_spaces_kernel_map_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: Tür ve geçiş tablosu Ortak kernel alanı EL0 için kapalı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üş: “MMIO user biti açık” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K840: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K835. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K837Ortak kernel harita sınırı · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Ortak kernel alanı EL0 için kapalıdır.

Uygulanacak işlem: kernel/src/runtime/address_spaces.rs hedefinde os_address_spaces_kernel_map 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: Ortak kernel alanı EL0 için kapalıdır
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_kernel_map
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki süreç aynı kernel kökü
Karşı-örnek / hata girdisi: MMIO user biti açık
Gerçek konuk kabulü: EL0 kernel adresinde fault olur
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_kernel_map_positive
os_address_spaces_kernel_map_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki süreç aynı kernel kökü ile MMIO user biti açık ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “MMIO user biti açık” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K840: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K836. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K838Ortak kernel harita sınırı · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Ortak kernel alanı EL0 için kapalıdır.

Uygulanacak işlem: os_address_spaces_kernel_map_positive testini oluştur: “İki süreç aynı kernel kö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: Ortak kernel alanı EL0 için kapalıdır
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_kernel_map
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki süreç aynı kernel kökü
Karşı-örnek / hata girdisi: MMIO user biti açık
Gerçek konuk kabulü: EL0 kernel adresinde fault olur
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_kernel_map_positive
os_address_spaces_kernel_map_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; İki süreç aynı kernel kökü girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “MMIO user biti açık” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K840: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K837. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K839Ortak kernel harita sınırı · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Ortak kernel alanı EL0 için kapalıdır.

Uygulanacak işlem: os_address_spaces_kernel_map_negative testini oluştur: “MMIO user biti açık”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Ortak kernel alanı EL0 için kapalıdır
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_kernel_map
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki süreç aynı kernel kökü
Karşı-örnek / hata girdisi: MMIO user biti açık
Gerçek konuk kabulü: EL0 kernel adresinde fault olur
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_kernel_map_positive
os_address_spaces_kernel_map_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: MMIO user biti açık karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “MMIO user biti açık” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K840: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K838. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K840Ortak kernel harita sınırı · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Ortak kernel alanı EL0 için kapalıdır.

Uygulanacak işlem: Tek ürün Image'ında “EL0 kernel adresinde fault olur” kabulünü koştur. scripts/os-acceptance/address_spaces.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: Ortak kernel alanı EL0 için kapalıdır
Kod hedefi — henüz öneri: kernel/src/runtime/address_spaces.rs · os_address_spaces_kernel_map
Mevcut başlangıç referansı: kernel/src/asid.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki süreç aynı kernel kökü
Karşı-örnek / hata girdisi: MMIO user biti açık
Gerçek konuk kabulü: EL0 kernel adresinde fault olur
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/address_spaces.rs
os_address_spaces_kernel_map_positive
os_address_spaces_kernel_map_negative
scripts/os-acceptance/address_spaces.mjs
Geçiş koşulu: EL0 kernel adresinde fault 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üş: “MMIO user biti açık” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K840: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K839. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

Kernel Rust · K841–K860

Map unmap ve koruma

Dört yetenek: Atomik çok sayfalı map · Aralık unmap işlemi · mprotect benzeri izin dönüşümü · Adres boşlukları ve guard. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K841Atomik çok sayfalı map · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Aralığın tamamı kontrol edilmeden PTE yazılmaz.

Uygulanacak işlem: “Atomik çok sayfalı map” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Aralığın tamamı kontrol edilmeden PTE yazılmaz. “Üç ardışık sayfa” kabulü ile “Son sayfa mevcut map üstünde” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Aralığın tamamı kontrol edilmeden PTE yazılmaz
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_insert
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç ardışık sayfa
Karşı-örnek / hata girdisi: Son sayfa mevcut map üstünde
Gerçek konuk kabulü: Çakışmada hiçbir prefix yayımlanmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_insert_positive
os_mapping_insert_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: Tür ve geçiş tablosu Aralığın tamamı kontrol edilmeden PTE yazı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üş: “Son sayfa mevcut map üstünde” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K845: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K840. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K842Atomik çok sayfalı map · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Aralığın tamamı kontrol edilmeden PTE yazılmaz.

Uygulanacak işlem: kernel/src/runtime/mapping.rs hedefinde os_mapping_insert yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/mmu.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: Aralığın tamamı kontrol edilmeden PTE yazılmaz
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_insert
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç ardışık sayfa
Karşı-örnek / hata girdisi: Son sayfa mevcut map üstünde
Gerçek konuk kabulü: Çakışmada hiçbir prefix yayımlanmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_insert_positive
os_mapping_insert_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç ardışık sayfa ile Son sayfa mevcut map üstünde ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Son sayfa mevcut map üstünde” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K845: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K841. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K843Atomik çok sayfalı map · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Aralığın tamamı kontrol edilmeden PTE yazılmaz.

Uygulanacak işlem: os_mapping_insert_positive testini oluştur: “Üç ardışık sayfa”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: Aralığın tamamı kontrol edilmeden PTE yazılmaz
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_insert
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç ardışık sayfa
Karşı-örnek / hata girdisi: Son sayfa mevcut map üstünde
Gerçek konuk kabulü: Çakışmada hiçbir prefix yayımlanmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_insert_positive
os_mapping_insert_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Üç ardışık sayfa girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Son sayfa mevcut map üstünde” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K845: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K842. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K844Atomik çok sayfalı map · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Aralığın tamamı kontrol edilmeden PTE yazılmaz.

Uygulanacak işlem: os_mapping_insert_negative testini oluştur: “Son sayfa mevcut map üstünde”. 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: Aralığın tamamı kontrol edilmeden PTE yazılmaz
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_insert
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç ardışık sayfa
Karşı-örnek / hata girdisi: Son sayfa mevcut map üstünde
Gerçek konuk kabulü: Çakışmada hiçbir prefix yayımlanmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_insert_positive
os_mapping_insert_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: Son sayfa mevcut map üstünde 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üş: “Son sayfa mevcut map üstünde” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K845: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K843. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K845Atomik çok sayfalı map · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Aralığın tamamı kontrol edilmeden PTE yazılmaz.

Uygulanacak işlem: Tek ürün Image'ında “Çakışmada hiçbir prefix yayımlanmaz” kabulünü koştur. scripts/os-acceptance/mapping.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: Aralığın tamamı kontrol edilmeden PTE yazılmaz
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_insert
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç ardışık sayfa
Karşı-örnek / hata girdisi: Son sayfa mevcut map üstünde
Gerçek konuk kabulü: Çakışmada hiçbir prefix yayımlanmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_insert_positive
os_mapping_insert_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: Çakışmada hiçbir prefix yayımlanmaz; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Son sayfa mevcut map üstünde” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K845: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K844. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K846Aralık unmap işlemi · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yalnız sahibin sayfaları çözülür.

Uygulanacak işlem: “Aralık unmap işlemi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yalnız sahibin sayfaları çözülür. “Bir aralığın orta sayfası” kabulü ile “Yabancı süreç unmap talebi” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Yalnız sahibin sayfaları çözülür
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_remove
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bir aralığın orta sayfası
Karşı-örnek / hata girdisi: Yabancı süreç unmap talebi
Gerçek konuk kabulü: Kalan iki sayfa erişilir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_remove_positive
os_mapping_remove_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: Tür ve geçiş tablosu Yalnız sahibin sayfaları çözü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üş: “Yabancı süreç unmap talebi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K850: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K845. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K847Aralık unmap işlemi · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yalnız sahibin sayfaları çözülür.

Uygulanacak işlem: kernel/src/runtime/mapping.rs hedefinde os_mapping_remove yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/mmu.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: Yalnız sahibin sayfaları çözülür
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_remove
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bir aralığın orta sayfası
Karşı-örnek / hata girdisi: Yabancı süreç unmap talebi
Gerçek konuk kabulü: Kalan iki sayfa erişilir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_remove_positive
os_mapping_remove_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bir aralığın orta sayfası ile Yabancı süreç unmap talebi ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Yabancı süreç unmap talebi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K850: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K846. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K848Aralık unmap işlemi · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yalnız sahibin sayfaları çözülür.

Uygulanacak işlem: os_mapping_remove_positive testini oluştur: “Bir aralığın orta sayfası”. 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: Yalnız sahibin sayfaları çözülür
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_remove
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bir aralığın orta sayfası
Karşı-örnek / hata girdisi: Yabancı süreç unmap talebi
Gerçek konuk kabulü: Kalan iki sayfa erişilir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_remove_positive
os_mapping_remove_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Bir aralığın orta sayfası girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Yabancı süreç unmap talebi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K850: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K847. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K849Aralık unmap işlemi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yalnız sahibin sayfaları çözülür.

Uygulanacak işlem: os_mapping_remove_negative testini oluştur: “Yabancı süreç unmap talebi”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Yalnız sahibin sayfaları çözülür
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_remove
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bir aralığın orta sayfası
Karşı-örnek / hata girdisi: Yabancı süreç unmap talebi
Gerçek konuk kabulü: Kalan iki sayfa erişilir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_remove_positive
os_mapping_remove_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: Yabancı süreç unmap talebi karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Yabancı süreç unmap talebi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K850: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K848. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K850Aralık unmap işlemi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yalnız sahibin sayfaları çözülür.

Uygulanacak işlem: Tek ürün Image'ında “Kalan iki sayfa erişilir” kabulünü koştur. scripts/os-acceptance/mapping.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: Yalnız sahibin sayfaları çözülür
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_remove
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bir aralığın orta sayfası
Karşı-örnek / hata girdisi: Yabancı süreç unmap talebi
Gerçek konuk kabulü: Kalan iki sayfa erişilir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_remove_positive
os_mapping_remove_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: Kalan iki sayfa erişilir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Yabancı süreç unmap talebi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K850: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K849. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K851mprotect benzeri izin dönüşümü · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yeni izin W xor X kuralını korur.

Uygulanacak işlem: “mprotect benzeri izin dönüşümü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yeni izin W xor X kuralını korur. “RW sayfa önce RO sonra RX” kabulü ile “W ve X birlikte istenir” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Yeni izin W xor X kuralını korur
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_protect
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: RW sayfa önce RO sonra RX
Karşı-örnek / hata girdisi: W ve X birlikte istenir
Gerçek konuk kabulü: Eski izin TLB içinde kalmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_protect_positive
os_mapping_protect_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: Tür ve geçiş tablosu Yeni izin W xor X kuralını korur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “W ve X birlikte istenir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K855: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K850. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K852mprotect benzeri izin dönüşümü · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yeni izin W xor X kuralını korur.

Uygulanacak işlem: kernel/src/runtime/mapping.rs hedefinde os_mapping_protect yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/mmu.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.
Değişmez / korunan bağlam: Yeni izin W xor X kuralını korur
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_protect
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: RW sayfa önce RO sonra RX
Karşı-örnek / hata girdisi: W ve X birlikte istenir
Gerçek konuk kabulü: Eski izin TLB içinde kalmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_protect_positive
os_mapping_protect_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. RW sayfa önce RO sonra RX ile W ve X birlikte istenir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “W ve X birlikte istenir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K855: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K851. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K853mprotect benzeri izin dönüşümü · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yeni izin W xor X kuralını korur.

Uygulanacak işlem: os_mapping_protect_positive testini oluştur: “RW sayfa önce RO sonra RX”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: Yeni izin W xor X kuralını korur
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_protect
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: RW sayfa önce RO sonra RX
Karşı-örnek / hata girdisi: W ve X birlikte istenir
Gerçek konuk kabulü: Eski izin TLB içinde kalmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_protect_positive
os_mapping_protect_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; RW sayfa önce RO sonra RX girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “W ve X birlikte istenir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K855: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K852. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K854mprotect benzeri izin dönüşümü · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yeni izin W xor X kuralını korur.

Uygulanacak işlem: os_mapping_protect_negative testini oluştur: “W ve X birlikte istenir”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Yeni izin W xor X kuralını korur
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_protect
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: RW sayfa önce RO sonra RX
Karşı-örnek / hata girdisi: W ve X birlikte istenir
Gerçek konuk kabulü: Eski izin TLB içinde kalmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_protect_positive
os_mapping_protect_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: W ve X birlikte istenir 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üş: “W ve X birlikte istenir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K855: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K853. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K855mprotect benzeri izin dönüşümü · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yeni izin W xor X kuralını korur.

Uygulanacak işlem: Tek ürün Image'ında “Eski izin TLB içinde kalmaz” kabulünü koştur. scripts/os-acceptance/mapping.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.
Değişmez / korunan bağlam: Yeni izin W xor X kuralını korur
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_protect
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: RW sayfa önce RO sonra RX
Karşı-örnek / hata girdisi: W ve X birlikte istenir
Gerçek konuk kabulü: Eski izin TLB içinde kalmaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_protect_positive
os_mapping_protect_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: Eski izin TLB içinde kalmaz; 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üş: “W ve X birlikte istenir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K855: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K854. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K856Adres boşlukları ve guard · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Guard sayfası backing edinmez.

Uygulanacak işlem: “Adres boşlukları ve guard” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Guard sayfası backing edinmez. “Yığın altında bir boş sayfa” kabulü ile “Guard yanlışlıkla zero page olur” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Guard sayfası backing edinmez
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_guard
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Yığın altında bir boş sayfa
Karşı-örnek / hata girdisi: Guard yanlışlıkla zero page olur
Gerçek konuk kabulü: Yığın taşması yalnız süreci keser
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_guard_positive
os_mapping_guard_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: Tür ve geçiş tablosu Guard sayfası backing edinmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Guard yanlışlıkla zero page olur” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K860: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K855. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K857Adres boşlukları ve guard · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Guard sayfası backing edinmez.

Uygulanacak işlem: kernel/src/runtime/mapping.rs hedefinde os_mapping_guard yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/mmu.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: Guard sayfası backing edinmez
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_guard
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Yığın altında bir boş sayfa
Karşı-örnek / hata girdisi: Guard yanlışlıkla zero page olur
Gerçek konuk kabulü: Yığın taşması yalnız süreci keser
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_guard_positive
os_mapping_guard_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Yığın altında bir boş sayfa ile Guard yanlışlıkla zero page olur ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Guard yanlışlıkla zero page olur” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K860: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K856. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K858Adres boşlukları ve guard · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Guard sayfası backing edinmez.

Uygulanacak işlem: os_mapping_guard_positive testini oluştur: “Yığın altında bir boş sayfa”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: Guard sayfası backing edinmez
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_guard
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Yığın altında bir boş sayfa
Karşı-örnek / hata girdisi: Guard yanlışlıkla zero page olur
Gerçek konuk kabulü: Yığın taşması yalnız süreci keser
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_guard_positive
os_mapping_guard_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Yığın altında bir boş sayfa girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Guard yanlışlıkla zero page olur” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K860: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K857. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K859Adres boşlukları ve guard · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Guard sayfası backing edinmez.

Uygulanacak işlem: os_mapping_guard_negative testini oluştur: “Guard yanlışlıkla zero page olur”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Guard sayfası backing edinmez
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_guard
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Yığın altında bir boş sayfa
Karşı-örnek / hata girdisi: Guard yanlışlıkla zero page olur
Gerçek konuk kabulü: Yığın taşması yalnız süreci keser
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_guard_positive
os_mapping_guard_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: Guard yanlışlıkla zero page olur karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Guard yanlışlıkla zero page olur” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K860: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K858. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K860Adres boşlukları ve guard · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Guard sayfası backing edinmez.

Uygulanacak işlem: Tek ürün Image'ında “Yığın taşması yalnız süreci keser” kabulünü koştur. scripts/os-acceptance/mapping.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: Guard sayfası backing edinmez
Kod hedefi — henüz öneri: kernel/src/runtime/mapping.rs · os_mapping_guard
Mevcut başlangıç referansı: kernel/src/mmu.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Yığın altında bir boş sayfa
Karşı-örnek / hata girdisi: Guard yanlışlıkla zero page olur
Gerçek konuk kabulü: Yığın taşması yalnız süreci keser
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/mapping.rs
os_mapping_guard_positive
os_mapping_guard_negative
scripts/os-acceptance/mapping.mjs
Geçiş koşulu: Yığın taşması yalnız süreci keser; 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üş: “Guard yanlışlıkla zero page olur” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K860: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K859. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

Kernel Rust · K861–K880

Genel kullanıcı kopyalama

Dört yetenek: Çok sayfalı copy_from_user · Çok sayfalı copy_to_user · Sınırlı kullanıcı metni · Kopya sırasında mapping ömrü. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K861Çok sayfalı copy_from_user · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Tam aralık önce okunabilir doğrulanır.

Uygulanacak işlem: “Çok sayfalı copy_from_user” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Tam aralık önce okunabilir doğrulanır. “4095 ofsette 8193 bayt” kabulü ile “Son sayfa unmapped” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Tam aralık önce okunabilir doğrulanır
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_read
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 4095 ofsette 8193 bayt
Karşı-örnek / hata girdisi: Son sayfa unmapped
Gerçek konuk kabulü: Kernel hedefinde kısmi değişiklik yok
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_read_positive
os_user_copy_read_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: Tür ve geçiş tablosu Tam aralık önce okunabilir 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üş: “Son sayfa unmapped” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K865: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K860. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K862Çok sayfalı copy_from_user · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Tam aralık önce okunabilir doğrulanır.

Uygulanacak işlem: kernel/src/runtime/user_copy.rs hedefinde os_user_copy_read yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process_copy.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.
Değişmez / korunan bağlam: Tam aralık önce okunabilir doğrulanır
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_read
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 4095 ofsette 8193 bayt
Karşı-örnek / hata girdisi: Son sayfa unmapped
Gerçek konuk kabulü: Kernel hedefinde kısmi değişiklik yok
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_read_positive
os_user_copy_read_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 4095 ofsette 8193 bayt ile Son sayfa unmapped ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Son sayfa unmapped” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K865: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K861. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K863Çok sayfalı copy_from_user · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Tam aralık önce okunabilir doğrulanır.

Uygulanacak işlem: os_user_copy_read_positive testini oluştur: “4095 ofsette 8193 bayt”. 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: Tam aralık önce okunabilir doğrulanır
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_read
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 4095 ofsette 8193 bayt
Karşı-örnek / hata girdisi: Son sayfa unmapped
Gerçek konuk kabulü: Kernel hedefinde kısmi değişiklik yok
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_read_positive
os_user_copy_read_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; 4095 ofsette 8193 bayt girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Son sayfa unmapped” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K865: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K862. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K864Çok sayfalı copy_from_user · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Tam aralık önce okunabilir doğrulanır.

Uygulanacak işlem: os_user_copy_read_negative testini oluştur: “Son sayfa unmapped”. 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: Tam aralık önce okunabilir doğrulanır
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_read
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 4095 ofsette 8193 bayt
Karşı-örnek / hata girdisi: Son sayfa unmapped
Gerçek konuk kabulü: Kernel hedefinde kısmi değişiklik yok
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_read_positive
os_user_copy_read_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: Son sayfa unmapped 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üş: “Son sayfa unmapped” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K865: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K863. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K865Çok sayfalı copy_from_user · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Tam aralık önce okunabilir doğrulanır.

Uygulanacak işlem: Tek ürün Image'ında “Kernel hedefinde kısmi değişiklik yok” kabulünü koştur. scripts/os-acceptance/user_copy.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: Tam aralık önce okunabilir doğrulanır
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_read
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 4095 ofsette 8193 bayt
Karşı-örnek / hata girdisi: Son sayfa unmapped
Gerçek konuk kabulü: Kernel hedefinde kısmi değişiklik yok
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_read_positive
os_user_copy_read_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: Kernel hedefinde kısmi değişiklik yok; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Son sayfa unmapped” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K865: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K864. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K866Çok sayfalı copy_to_user · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: RO RX veya yabancı sayfaya yazı yok.

Uygulanacak işlem: “Çok sayfalı copy_to_user” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: RO RX veya yabancı sayfaya yazı yok. “İki RW sayfaya sonuç” kabulü ile “RX son sayfa” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: RO RX veya yabancı sayfaya yazı yok
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_write
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki RW sayfaya sonuç
Karşı-örnek / hata girdisi: RX son sayfa
Gerçek konuk kabulü: Kullanıcı prefixi hata öncesi aynı
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_write_positive
os_user_copy_write_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: Tür ve geçiş tablosu RO RX veya yabancı sayfaya yazı yok kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “RX son sayfa” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K870: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K865. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K867Çok sayfalı copy_to_user · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: RO RX veya yabancı sayfaya yazı yok.

Uygulanacak işlem: kernel/src/runtime/user_copy.rs hedefinde os_user_copy_write yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process_copy.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.
Değişmez / korunan bağlam: RO RX veya yabancı sayfaya yazı yok
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_write
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki RW sayfaya sonuç
Karşı-örnek / hata girdisi: RX son sayfa
Gerçek konuk kabulü: Kullanıcı prefixi hata öncesi aynı
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_write_positive
os_user_copy_write_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki RW sayfaya sonuç ile RX son sayfa ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “RX son sayfa” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K870: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K866. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K868Çok sayfalı copy_to_user · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: RO RX veya yabancı sayfaya yazı yok.

Uygulanacak işlem: os_user_copy_write_positive testini oluştur: “İki RW sayfaya sonuç”. 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: RO RX veya yabancı sayfaya yazı yok
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_write
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki RW sayfaya sonuç
Karşı-örnek / hata girdisi: RX son sayfa
Gerçek konuk kabulü: Kullanıcı prefixi hata öncesi aynı
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_write_positive
os_user_copy_write_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; İki RW sayfaya sonuç girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “RX son sayfa” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K870: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K867. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K869Çok sayfalı copy_to_user · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: RO RX veya yabancı sayfaya yazı yok.

Uygulanacak işlem: os_user_copy_write_negative testini oluştur: “RX son sayfa”. 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: RO RX veya yabancı sayfaya yazı yok
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_write
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki RW sayfaya sonuç
Karşı-örnek / hata girdisi: RX son sayfa
Gerçek konuk kabulü: Kullanıcı prefixi hata öncesi aynı
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_write_positive
os_user_copy_write_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: RX son sayfa 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üş: “RX son sayfa” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K870: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K868. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K870Çok sayfalı copy_to_user · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: RO RX veya yabancı sayfaya yazı yok.

Uygulanacak işlem: Tek ürün Image'ında “Kullanıcı prefixi hata öncesi aynı” kabulünü koştur. scripts/os-acceptance/user_copy.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: RO RX veya yabancı sayfaya yazı yok
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_write
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki RW sayfaya sonuç
Karşı-örnek / hata girdisi: RX son sayfa
Gerçek konuk kabulü: Kullanıcı prefixi hata öncesi aynı
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_write_positive
os_user_copy_write_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: Kullanıcı prefixi hata öncesi 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üş: “RX son sayfa” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K870: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K869. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K871Sınırlı kullanıcı metni · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: NUL araması azami uzunlukla durur.

Uygulanacak işlem: “Sınırlı kullanıcı metni” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: NUL araması azami uzunlukla durur. “İki sayfayı geçen kısa ad” kabulü ile “NUL olmayan 64 KiB” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: NUL araması azami uzunlukla durur
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_strings
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki sayfayı geçen kısa ad
Karşı-örnek / hata girdisi: NUL olmayan 64 KiB
Gerçek konuk kabulü: ENAMETOOLONG kernel sırlarını okumaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_strings_positive
os_user_copy_strings_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: Tür ve geçiş tablosu NUL araması azami uzunlukla durur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “NUL olmayan 64 KiB” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K875: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K870. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K872Sınırlı kullanıcı metni · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: NUL araması azami uzunlukla durur.

Uygulanacak işlem: kernel/src/runtime/user_copy.rs hedefinde os_user_copy_strings yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process_copy.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.
Değişmez / korunan bağlam: NUL araması azami uzunlukla durur
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_strings
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki sayfayı geçen kısa ad
Karşı-örnek / hata girdisi: NUL olmayan 64 KiB
Gerçek konuk kabulü: ENAMETOOLONG kernel sırlarını okumaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_strings_positive
os_user_copy_strings_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki sayfayı geçen kısa ad ile NUL olmayan 64 KiB ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “NUL olmayan 64 KiB” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K875: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K871. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K873Sınırlı kullanıcı metni · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: NUL araması azami uzunlukla durur.

Uygulanacak işlem: os_user_copy_strings_positive testini oluştur: “İki sayfayı geçen kısa ad”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: NUL araması azami uzunlukla durur
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_strings
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki sayfayı geçen kısa ad
Karşı-örnek / hata girdisi: NUL olmayan 64 KiB
Gerçek konuk kabulü: ENAMETOOLONG kernel sırlarını okumaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_strings_positive
os_user_copy_strings_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; İki sayfayı geçen kısa ad girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “NUL olmayan 64 KiB” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K875: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K872. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K874Sınırlı kullanıcı metni · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: NUL araması azami uzunlukla durur.

Uygulanacak işlem: os_user_copy_strings_negative testini oluştur: “NUL olmayan 64 KiB”. 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: NUL araması azami uzunlukla durur
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_strings
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki sayfayı geçen kısa ad
Karşı-örnek / hata girdisi: NUL olmayan 64 KiB
Gerçek konuk kabulü: ENAMETOOLONG kernel sırlarını okumaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_strings_positive
os_user_copy_strings_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: NUL olmayan 64 KiB 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üş: “NUL olmayan 64 KiB” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K875: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K873. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K875Sınırlı kullanıcı metni · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: NUL araması azami uzunlukla durur.

Uygulanacak işlem: Tek ürün Image'ında “ENAMETOOLONG kernel sırlarını okumaz” kabulünü koştur. scripts/os-acceptance/user_copy.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: NUL araması azami uzunlukla durur
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_strings
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki sayfayı geçen kısa ad
Karşı-örnek / hata girdisi: NUL olmayan 64 KiB
Gerçek konuk kabulü: ENAMETOOLONG kernel sırlarını okumaz
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_strings_positive
os_user_copy_strings_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: ENAMETOOLONG kernel sırlarını okumaz; 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üş: “NUL olmayan 64 KiB” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K875: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K874. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K876Kopya sırasında mapping ömrü · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Kopya pinlenmiş haritayı kullanır.

Uygulanacak işlem: “Kopya sırasında mapping ömrü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kopya pinlenmiş haritayı kullanır. “Diğer thread unmap dener” kabulü ile “Pin kalkmadan backing free” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Kopya pinlenmiş haritayı kullanır
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_race
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Diğer thread unmap dener
Karşı-örnek / hata girdisi: Pin kalkmadan backing free
Gerçek konuk kabulü: Kopya tamamlanır veya tanımlı EFAULT
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_race_positive
os_user_copy_race_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: Tür ve geçiş tablosu Kopya pinlenmiş haritayı kullanı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üş: “Pin kalkmadan backing free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K880: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K875. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K877Kopya sırasında mapping ömrü · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Kopya pinlenmiş haritayı kullanır.

Uygulanacak işlem: kernel/src/runtime/user_copy.rs hedefinde os_user_copy_race yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/process_copy.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.
Değişmez / korunan bağlam: Kopya pinlenmiş haritayı kullanır
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_race
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Diğer thread unmap dener
Karşı-örnek / hata girdisi: Pin kalkmadan backing free
Gerçek konuk kabulü: Kopya tamamlanır veya tanımlı EFAULT
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_race_positive
os_user_copy_race_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Diğer thread unmap dener ile Pin kalkmadan backing free ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Pin kalkmadan backing free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K880: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K876. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K878Kopya sırasında mapping ömrü · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Kopya pinlenmiş haritayı kullanır.

Uygulanacak işlem: os_user_copy_race_positive testini oluştur: “Diğer thread unmap dener”. 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: Kopya pinlenmiş haritayı kullanır
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_race
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Diğer thread unmap dener
Karşı-örnek / hata girdisi: Pin kalkmadan backing free
Gerçek konuk kabulü: Kopya tamamlanır veya tanımlı EFAULT
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_race_positive
os_user_copy_race_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Diğer thread unmap dener girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Pin kalkmadan backing free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K880: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K877. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K879Kopya sırasında mapping ömrü · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Kopya pinlenmiş haritayı kullanır.

Uygulanacak işlem: os_user_copy_race_negative testini oluştur: “Pin kalkmadan backing free”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Kopya pinlenmiş haritayı kullanır
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_race
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Diğer thread unmap dener
Karşı-örnek / hata girdisi: Pin kalkmadan backing free
Gerçek konuk kabulü: Kopya tamamlanır veya tanımlı EFAULT
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_race_positive
os_user_copy_race_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: Pin kalkmadan backing free karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Pin kalkmadan backing free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K880: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K878. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K880Kopya sırasında mapping ömrü · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Kopya pinlenmiş haritayı kullanır.

Uygulanacak işlem: Tek ürün Image'ında “Kopya tamamlanır veya tanımlı EFAULT” kabulünü koştur. scripts/os-acceptance/user_copy.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: Kopya pinlenmiş haritayı kullanır
Kod hedefi — henüz öneri: kernel/src/runtime/user_copy.rs · os_user_copy_race
Mevcut başlangıç referansı: kernel/src/process_copy.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Diğer thread unmap dener
Karşı-örnek / hata girdisi: Pin kalkmadan backing free
Gerçek konuk kabulü: Kopya tamamlanır veya tanımlı EFAULT
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/user_copy.rs
os_user_copy_race_positive
os_user_copy_race_negative
scripts/os-acceptance/user_copy.mjs
Geçiş koşulu: Kopya tamamlanır veya tanımlı EFAULT; 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üş: “Pin kalkmadan backing free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K880: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K879. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

Kernel Rust · K881–K900

Talep sayfalama ve fault

Dört yetenek: Kullanıcı fault sınıfları · Anonim sıfır sayfa · Sınırlı yığın büyümesi · COW sayfa ayrışması. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K881Kullanıcı fault sınıfları · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Translation permission ve kernel fault ayrılır.

Uygulanacak işlem: “Kullanıcı fault sınıfları” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Translation permission ve kernel fault ayrılır. “Eksik kullanıcı veri sayfası” kabulü ile “Kernel fault kullanıcı hatası sayılır” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Translation permission ve kernel fault ayrılır
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_classify
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Eksik kullanıcı veri sayfası
Karşı-örnek / hata girdisi: Kernel fault kullanıcı hatası sayılır
Gerçek konuk kabulü: Tanı doğru hata alanını gösterir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_classify_positive
os_page_faults_classify_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: Tür ve geçiş tablosu Translation permission ve kernel fault ayrılır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Kernel fault kullanıcı hatası sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K885: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K880. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K882Kullanıcı fault sınıfları · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Translation permission ve kernel fault ayrılır.

Uygulanacak işlem: kernel/src/runtime/page_faults.rs hedefinde os_page_faults_classify yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/exception.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: Translation permission ve kernel fault ayrılır
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_classify
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Eksik kullanıcı veri sayfası
Karşı-örnek / hata girdisi: Kernel fault kullanıcı hatası sayılır
Gerçek konuk kabulü: Tanı doğru hata alanını gösterir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_classify_positive
os_page_faults_classify_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Eksik kullanıcı veri sayfası ile Kernel fault kullanıcı hatası sayılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Kernel fault kullanıcı hatası sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K885: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K881. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K883Kullanıcı fault sınıfları · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Translation permission ve kernel fault ayrılır.

Uygulanacak işlem: os_page_faults_classify_positive testini oluştur: “Eksik kullanıcı veri sayfası”. 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: Translation permission ve kernel fault ayrılır
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_classify
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Eksik kullanıcı veri sayfası
Karşı-örnek / hata girdisi: Kernel fault kullanıcı hatası sayılır
Gerçek konuk kabulü: Tanı doğru hata alanını gösterir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_classify_positive
os_page_faults_classify_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Eksik kullanıcı veri sayfası girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Kernel fault kullanıcı hatası sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K885: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K882. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K884Kullanıcı fault sınıfları · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Translation permission ve kernel fault ayrılır.

Uygulanacak işlem: os_page_faults_classify_negative testini oluştur: “Kernel fault kullanıcı hatası sayılır”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Translation permission ve kernel fault ayrılır
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_classify
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Eksik kullanıcı veri sayfası
Karşı-örnek / hata girdisi: Kernel fault kullanıcı hatası sayılır
Gerçek konuk kabulü: Tanı doğru hata alanını gösterir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_classify_positive
os_page_faults_classify_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: Kernel fault kullanıcı hatası sayılır karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Kernel fault kullanıcı hatası sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K885: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K883. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K885Kullanıcı fault sınıfları · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Translation permission ve kernel fault ayrılır.

Uygulanacak işlem: Tek ürün Image'ında “Tanı doğru hata alanını gösterir” kabulünü koştur. scripts/os-acceptance/page_faults.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: Translation permission ve kernel fault ayrılır
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_classify
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Eksik kullanıcı veri sayfası
Karşı-örnek / hata girdisi: Kernel fault kullanıcı hatası sayılır
Gerçek konuk kabulü: Tanı doğru hata alanını gösterir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_classify_positive
os_page_faults_classify_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: Tanı doğru hata alanını gösterir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Kernel fault kullanıcı hatası sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K885: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K884. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K886Anonim sıfır sayfa · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: İlk erişim tek zero backing edinir.

Uygulanacak işlem: “Anonim sıfır sayfa” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: İlk erişim tek zero backing edinir. “Aynı sayfaya iki erişim” kabulü ile “Quota doluyken ilk fault” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: İlk erişim tek zero backing edinir
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_anonymous
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Aynı sayfaya iki erişim
Karşı-örnek / hata girdisi: Quota doluyken ilk fault
Gerçek konuk kabulü: Tek tahsis veya temiz ENOMEM
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_anonymous_positive
os_page_faults_anonymous_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: Tür ve geçiş tablosu İlk erişim tek zero backing edinir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Quota doluyken ilk fault” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K890: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K885. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K887Anonim sıfır sayfa · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: İlk erişim tek zero backing edinir.

Uygulanacak işlem: kernel/src/runtime/page_faults.rs hedefinde os_page_faults_anonymous yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/exception.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.
Değişmez / korunan bağlam: İlk erişim tek zero backing edinir
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_anonymous
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Aynı sayfaya iki erişim
Karşı-örnek / hata girdisi: Quota doluyken ilk fault
Gerçek konuk kabulü: Tek tahsis veya temiz ENOMEM
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_anonymous_positive
os_page_faults_anonymous_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Aynı sayfaya iki erişim ile Quota doluyken ilk fault ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Quota doluyken ilk fault” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K890: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K886. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K888Anonim sıfır sayfa · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: İlk erişim tek zero backing edinir.

Uygulanacak işlem: os_page_faults_anonymous_positive testini oluştur: “Aynı sayfaya iki erişim”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: İlk erişim tek zero backing edinir
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_anonymous
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Aynı sayfaya iki erişim
Karşı-örnek / hata girdisi: Quota doluyken ilk fault
Gerçek konuk kabulü: Tek tahsis veya temiz ENOMEM
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_anonymous_positive
os_page_faults_anonymous_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Aynı sayfaya iki erişim girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Quota doluyken ilk fault” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K890: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K887. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K889Anonim sıfır sayfa · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: İlk erişim tek zero backing edinir.

Uygulanacak işlem: os_page_faults_anonymous_negative testini oluştur: “Quota doluyken ilk fault”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: İlk erişim tek zero backing edinir
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_anonymous
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Aynı sayfaya iki erişim
Karşı-örnek / hata girdisi: Quota doluyken ilk fault
Gerçek konuk kabulü: Tek tahsis veya temiz ENOMEM
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_anonymous_positive
os_page_faults_anonymous_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: Quota doluyken ilk fault 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üş: “Quota doluyken ilk fault” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K890: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K888. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K890Anonim sıfır sayfa · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: İlk erişim tek zero backing edinir.

Uygulanacak işlem: Tek ürün Image'ında “Tek tahsis veya temiz ENOMEM” kabulünü koştur. scripts/os-acceptance/page_faults.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.
Değişmez / korunan bağlam: İlk erişim tek zero backing edinir
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_anonymous
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Aynı sayfaya iki erişim
Karşı-örnek / hata girdisi: Quota doluyken ilk fault
Gerçek konuk kabulü: Tek tahsis veya temiz ENOMEM
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_anonymous_positive
os_page_faults_anonymous_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: Tek tahsis veya temiz ENOMEM; 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üş: “Quota doluyken ilk fault” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K890: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K889. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K891Sınırlı yığın büyümesi · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Büyüme ayrılmış pencereyi geçmez.

Uygulanacak işlem: “Sınırlı yığın büyümesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Büyüme ayrılmış pencereyi geçmez. “Guard üstü komşu erişim” kabulü ile “Heap içine atlayan SP” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Büyüme ayrılmış pencereyi geçmez
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_stack_grow
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Guard üstü komşu erişim
Karşı-örnek / hata girdisi: Heap içine atlayan SP
Gerçek konuk kabulü: Sınır dışı task sonlanır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_stack_grow_positive
os_page_faults_stack_grow_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: Tür ve geçiş tablosu Büyüme ayrılmış pencereyi geçmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Heap içine atlayan SP” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K895: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K890. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K892Sınırlı yığın büyümesi · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Büyüme ayrılmış pencereyi geçmez.

Uygulanacak işlem: kernel/src/runtime/page_faults.rs hedefinde os_page_faults_stack_grow yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/exception.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.
Değişmez / korunan bağlam: Büyüme ayrılmış pencereyi geçmez
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_stack_grow
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Guard üstü komşu erişim
Karşı-örnek / hata girdisi: Heap içine atlayan SP
Gerçek konuk kabulü: Sınır dışı task sonlanır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_stack_grow_positive
os_page_faults_stack_grow_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Guard üstü komşu erişim ile Heap içine atlayan SP ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Heap içine atlayan SP” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K895: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K891. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K893Sınırlı yığın büyümesi · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Büyüme ayrılmış pencereyi geçmez.

Uygulanacak işlem: os_page_faults_stack_grow_positive testini oluştur: “Guard üstü komşu erişim”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: Büyüme ayrılmış pencereyi geçmez
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_stack_grow
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Guard üstü komşu erişim
Karşı-örnek / hata girdisi: Heap içine atlayan SP
Gerçek konuk kabulü: Sınır dışı task sonlanır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_stack_grow_positive
os_page_faults_stack_grow_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Guard üstü komşu erişim girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Heap içine atlayan SP” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K895: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K892. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K894Sınırlı yığın büyümesi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Büyüme ayrılmış pencereyi geçmez.

Uygulanacak işlem: os_page_faults_stack_grow_negative testini oluştur: “Heap içine atlayan SP”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Büyüme ayrılmış pencereyi geçmez
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_stack_grow
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Guard üstü komşu erişim
Karşı-örnek / hata girdisi: Heap içine atlayan SP
Gerçek konuk kabulü: Sınır dışı task sonlanır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_stack_grow_positive
os_page_faults_stack_grow_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: Heap içine atlayan SP 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üş: “Heap içine atlayan SP” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K895: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K893. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K895Sınırlı yığın büyümesi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Büyüme ayrılmış pencereyi geçmez.

Uygulanacak işlem: Tek ürün Image'ında “Sınır dışı task sonlanır” kabulünü koştur. scripts/os-acceptance/page_faults.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.
Değişmez / korunan bağlam: Büyüme ayrılmış pencereyi geçmez
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_stack_grow
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Guard üstü komşu erişim
Karşı-örnek / hata girdisi: Heap içine atlayan SP
Gerçek konuk kabulü: Sınır dışı task sonlanır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_stack_grow_positive
os_page_faults_stack_grow_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: Sınır dışı task sonlanı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üş: “Heap içine atlayan SP” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K895: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K894. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K896COW sayfa ayrışması · Sözleşme ve durum modeliPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yazıcı özel kopya alır okuyucu aynı veride kalır.

Uygulanacak işlem: “COW sayfa ayrışması” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yazıcı özel kopya alır okuyucu aynı veride kalır. “A B ortak RO veri” kabulü ile “Kopya tahsisinde ENOSPC” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Yazıcı özel kopya alır okuyucu aynı veride kalır
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_copy_on_write
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A B ortak RO veri
Karşı-örnek / hata girdisi: Kopya tahsisinde ENOSPC
Gerçek konuk kabulü: A yazınca B hash değişmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_copy_on_write_positive
os_page_faults_copy_on_write_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: Tür ve geçiş tablosu Yazıcı özel kopya alır okuyucu aynı veride kalır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Kopya tahsisinde ENOSPC” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K900: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K895. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K897COW sayfa ayrışması · Rust uygulaması ve sahiplikPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yazıcı özel kopya alır okuyucu aynı veride kalır.

Uygulanacak işlem: kernel/src/runtime/page_faults.rs hedefinde os_page_faults_copy_on_write yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/exception.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: Yazıcı özel kopya alır okuyucu aynı veride kalır
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_copy_on_write
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A B ortak RO veri
Karşı-örnek / hata girdisi: Kopya tahsisinde ENOSPC
Gerçek konuk kabulü: A yazınca B hash değişmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_copy_on_write_positive
os_page_faults_copy_on_write_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. A B ortak RO veri ile Kopya tahsisinde ENOSPC ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Kopya tahsisinde ENOSPC” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K900: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K896. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K898COW sayfa ayrışması · Olumlu ve sınır birim testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yazıcı özel kopya alır okuyucu aynı veride kalır.

Uygulanacak işlem: os_page_faults_copy_on_write_positive testini oluştur: “A B ortak RO veri”. 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: Yazıcı özel kopya alır okuyucu aynı veride kalır
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_copy_on_write
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A B ortak RO veri
Karşı-örnek / hata girdisi: Kopya tahsisinde ENOSPC
Gerçek konuk kabulü: A yazınca B hash değişmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_copy_on_write_positive
os_page_faults_copy_on_write_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; A B ortak RO veri girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Kopya tahsisinde ENOSPC” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K900: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K897. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K899COW sayfa ayrışması · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yazıcı özel kopya alır okuyucu aynı veride kalır.

Uygulanacak işlem: os_page_faults_copy_on_write_negative testini oluştur: “Kopya tahsisinde ENOSPC”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Yazıcı özel kopya alır okuyucu aynı veride kalır
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_copy_on_write
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A B ortak RO veri
Karşı-örnek / hata girdisi: Kopya tahsisinde ENOSPC
Gerçek konuk kabulü: A yazınca B hash değişmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_copy_on_write_positive
os_page_faults_copy_on_write_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: Kopya tahsisinde ENOSPC karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Kopya tahsisinde ENOSPC” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K900: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K898. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K900COW sayfa ayrışması · Gerçek konukta ürün kabulüPLAN / SINANMADI

Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir. Bu hamlenin koruduğu değişmez: Yazıcı özel kopya alır okuyucu aynı veride kalır.

Uygulanacak işlem: Tek ürün Image'ında “A yazınca B hash değişmez” kabulünü koştur. scripts/os-acceptance/page_faults.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: Yazıcı özel kopya alır okuyucu aynı veride kalır
Kod hedefi — henüz öneri: kernel/src/runtime/page_faults.rs · os_page_faults_copy_on_write
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: A B ortak RO veri
Karşı-örnek / hata girdisi: Kopya tahsisinde ENOSPC
Gerçek konuk kabulü: A yazınca B hash değişmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/page_faults.rs
os_page_faults_copy_on_write_positive
os_page_faults_copy_on_write_negative
scripts/os-acceptance/page_faults.mjs
Geçiş koşulu: A yazınca B hash değişmez; 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üş: “Kopya tahsisinde ENOSPC” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K900: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K899. Ayrıca faz 2 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.