Fiziksel bellek ve kernel heap

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yalnız açık devralınan RAM tahsis edilir.

Uygulanacak işlem

“Firmware RAM 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: Yalnız açık devralınan RAM tahsis edilir. “Conventional ile DTB kesişimi” kabulü ile “Bilinmeyen firmware türü” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Yalnız açık devralınan RAM tahsis edilir

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_classify

Mevcut başlangıç referansı

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

Olumlu deney

Conventional ile DTB kesişimi

Karşı-örnek / hata girdisi

Bilinmeyen firmware türü

Gerçek konuk kabulü

Yabancı fiziksel adres tahsis edilmez

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

kernel/tests/os/frame_authority.rs
os_frame_authority_classify_positive
os_frame_authority_classify_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

Tür ve geçiş tablosu Yalnız açık devralınan RAM tahsis edilir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Bilinmeyen firmware tü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/K705: 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 1 tamamen kabul edilmiş olmalı.

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yalnız açık devralınan RAM tahsis edilir.

Uygulanacak işlem

kernel/src/runtime/frame_authority.rs hedefinde os_frame_authority_classify yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/memory.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 açık devralınan RAM tahsis edilir

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_classify

Mevcut başlangıç referansı

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

Olumlu deney

Conventional ile DTB kesişimi

Karşı-örnek / hata girdisi

Bilinmeyen firmware türü

Gerçek konuk kabulü

Yabancı fiziksel adres tahsis edilmez

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

kernel/tests/os/frame_authority.rs
os_frame_authority_classify_positive
os_frame_authority_classify_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Conventional ile DTB kesişimi ile Bilinmeyen firmware türü ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Bilinmeyen firmware tü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/K705: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yalnız açık devralınan RAM tahsis edilir.

Uygulanacak işlem

os_frame_authority_classify_positive testini oluştur: “Conventional ile DTB kesişimi”. 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 açık devralınan RAM tahsis edilir

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_classify

Mevcut başlangıç referansı

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

Olumlu deney

Conventional ile DTB kesişimi

Karşı-örnek / hata girdisi

Bilinmeyen firmware türü

Gerçek konuk kabulü

Yabancı fiziksel adres tahsis edilmez

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

kernel/tests/os/frame_authority.rs
os_frame_authority_classify_positive
os_frame_authority_classify_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Conventional ile DTB kesişimi girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Bilinmeyen firmware tü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/K705: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yalnız açık devralınan RAM tahsis edilir.

Uygulanacak işlem

os_frame_authority_classify_negative testini oluştur: “Bilinmeyen firmware tü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

Yalnız açık devralınan RAM tahsis edilir

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_classify

Mevcut başlangıç referansı

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

Olumlu deney

Conventional ile DTB kesişimi

Karşı-örnek / hata girdisi

Bilinmeyen firmware türü

Gerçek konuk kabulü

Yabancı fiziksel adres tahsis edilmez

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

kernel/tests/os/frame_authority.rs
os_frame_authority_classify_positive
os_frame_authority_classify_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

Bilinmeyen firmware tü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üş

“Bilinmeyen firmware tü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/K705: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yalnız açık devralınan RAM tahsis edilir.

Uygulanacak işlem

Tek ürün Image'ında “Yabancı fiziksel adres tahsis edilmez” kabulünü koştur. scripts/os-acceptance/frame_authority.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 açık devralınan RAM tahsis edilir

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_classify

Mevcut başlangıç referansı

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

Olumlu deney

Conventional ile DTB kesişimi

Karşı-örnek / hata girdisi

Bilinmeyen firmware türü

Gerçek konuk kabulü

Yabancı fiziksel adres tahsis edilmez

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

kernel/tests/os/frame_authority.rs
os_frame_authority_classify_positive
os_frame_authority_classify_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

Yabancı fiziksel adres tahsis edilmez; 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üş

“Bilinmeyen firmware tü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/K705: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Canlı tahsis üstüne rezervasyon kurulmaz.

Uygulanacak işlem

“Dinamik rezervasyon API” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Canlı tahsis üstüne rezervasyon kurulmaz. “Boş aralığı rezervasyon” kabulü ile “Etkin çerçeveyi rezervasyon” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Canlı tahsis üstüne rezervasyon kurulmaz

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_reserve

Mevcut başlangıç referansı

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

Olumlu deney

Boş aralığı rezervasyon

Karşı-örnek / hata girdisi

Etkin çerçeveyi rezervasyon

Gerçek konuk kabulü

Önce ve sonra hesap aynı toplamı verir

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

kernel/tests/os/frame_authority.rs
os_frame_authority_reserve_positive
os_frame_authority_reserve_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

Tür ve geçiş tablosu Canlı tahsis üstüne rezervasyon kurulmaz 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 çerçeveyi rezervasyon” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Canlı tahsis üstüne rezervasyon kurulmaz.

Uygulanacak işlem

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

Canlı tahsis üstüne rezervasyon kurulmaz

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_reserve

Mevcut başlangıç referansı

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

Olumlu deney

Boş aralığı rezervasyon

Karşı-örnek / hata girdisi

Etkin çerçeveyi rezervasyon

Gerçek konuk kabulü

Önce ve sonra hesap aynı toplamı verir

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

kernel/tests/os/frame_authority.rs
os_frame_authority_reserve_positive
os_frame_authority_reserve_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Boş aralığı rezervasyon ile Etkin çerçeveyi rezervasyon ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Canlı tahsis üstüne rezervasyon kurulmaz.

Uygulanacak işlem

os_frame_authority_reserve_positive testini oluştur: “Boş aralığı rezervasyon”. 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

Canlı tahsis üstüne rezervasyon kurulmaz

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_reserve

Mevcut başlangıç referansı

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

Olumlu deney

Boş aralığı rezervasyon

Karşı-örnek / hata girdisi

Etkin çerçeveyi rezervasyon

Gerçek konuk kabulü

Önce ve sonra hesap aynı toplamı verir

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

kernel/tests/os/frame_authority.rs
os_frame_authority_reserve_positive
os_frame_authority_reserve_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Canlı tahsis üstüne rezervasyon kurulmaz.

Uygulanacak işlem

os_frame_authority_reserve_negative testini oluştur: “Etkin çerçeveyi rezervasyon”. 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

Canlı tahsis üstüne rezervasyon kurulmaz

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_reserve

Mevcut başlangıç referansı

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

Olumlu deney

Boş aralığı rezervasyon

Karşı-örnek / hata girdisi

Etkin çerçeveyi rezervasyon

Gerçek konuk kabulü

Önce ve sonra hesap aynı toplamı verir

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

kernel/tests/os/frame_authority.rs
os_frame_authority_reserve_positive
os_frame_authority_reserve_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

Etkin çerçeveyi rezervasyon 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 çerçeveyi rezervasyon” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Canlı tahsis üstüne rezervasyon kurulmaz.

Uygulanacak işlem

Tek ürün Image'ında “Önce ve sonra hesap aynı toplamı verir” kabulünü koştur. scripts/os-acceptance/frame_authority.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

Canlı tahsis üstüne rezervasyon kurulmaz

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_reserve

Mevcut başlangıç referansı

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

Olumlu deney

Boş aralığı rezervasyon

Karşı-örnek / hata girdisi

Etkin çerçeveyi rezervasyon

Gerçek konuk kabulü

Önce ve sonra hesap aynı toplamı verir

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

kernel/tests/os/frame_authority.rs
os_frame_authority_reserve_positive
os_frame_authority_reserve_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

Önce ve sonra hesap aynı toplamı verir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: İlk ve son tam sayfa kanaryası korunur.

Uygulanacak işlem

“Bankaların uç sayfaları” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: İlk ve son tam sayfa kanaryası korunur. “256 512 1024 MiB uçları” kabulü ile “Bankanın yarım son sayfası” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

İlk ve son tam sayfa kanaryası korunur

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_endpoints

Mevcut başlangıç referansı

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

Olumlu deney

256 512 1024 MiB uçları

Karşı-örnek / hata girdisi

Bankanın yarım son sayfası

Gerçek konuk kabulü

Uç kanaryaları geri okumada eşit

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

kernel/tests/os/frame_authority.rs
os_frame_authority_endpoints_positive
os_frame_authority_endpoints_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

Tür ve geçiş tablosu İlk ve son tam sayfa kanaryası korunur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: İlk ve son tam sayfa kanaryası korunur.

Uygulanacak işlem

kernel/src/runtime/frame_authority.rs hedefinde os_frame_authority_endpoints yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/memory.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 ve son tam sayfa kanaryası korunur

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_endpoints

Mevcut başlangıç referansı

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

Olumlu deney

256 512 1024 MiB uçları

Karşı-örnek / hata girdisi

Bankanın yarım son sayfası

Gerçek konuk kabulü

Uç kanaryaları geri okumada eşit

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

kernel/tests/os/frame_authority.rs
os_frame_authority_endpoints_positive
os_frame_authority_endpoints_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 256 512 1024 MiB uçları ile Bankanın yarım son sayfası ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: İlk ve son tam sayfa kanaryası korunur.

Uygulanacak işlem

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

Değişmez / korunan bağlam

İlk ve son tam sayfa kanaryası korunur

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_endpoints

Mevcut başlangıç referansı

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

Olumlu deney

256 512 1024 MiB uçları

Karşı-örnek / hata girdisi

Bankanın yarım son sayfası

Gerçek konuk kabulü

Uç kanaryaları geri okumada eşit

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

kernel/tests/os/frame_authority.rs
os_frame_authority_endpoints_positive
os_frame_authority_endpoints_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; 256 512 1024 MiB uçları girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: İlk ve son tam sayfa kanaryası korunur.

Uygulanacak işlem

os_frame_authority_endpoints_negative testini oluştur: “Bankanın yarım son sayfası”. 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 ve son tam sayfa kanaryası korunur

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_endpoints

Mevcut başlangıç referansı

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

Olumlu deney

256 512 1024 MiB uçları

Karşı-örnek / hata girdisi

Bankanın yarım son sayfası

Gerçek konuk kabulü

Uç kanaryaları geri okumada eşit

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

kernel/tests/os/frame_authority.rs
os_frame_authority_endpoints_positive
os_frame_authority_endpoints_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

Bankanın yarım son sayfası 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: İlk ve son tam sayfa kanaryası korunur.

Uygulanacak işlem

Tek ürün Image'ında “Uç kanaryaları geri okumada eşit” kabulünü koştur. scripts/os-acceptance/frame_authority.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 ve son tam sayfa kanaryası korunur

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_endpoints

Mevcut başlangıç referansı

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

Olumlu deney

256 512 1024 MiB uçları

Karşı-örnek / hata girdisi

Bankanın yarım son sayfası

Gerçek konuk kabulü

Uç kanaryaları geri okumada eşit

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

kernel/tests/os/frame_authority.rs
os_frame_authority_endpoints_positive
os_frame_authority_endpoints_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Boş ayrılmış ve canlı sayılar toplamı korunur.

Uygulanacak işlem

“Sahiplik muhasebesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Boş ayrılmış ve canlı sayılar toplamı korunur. “Dağıt iade ve yeniden dağıt” kabulü ile “Sahipsiz veya iki sahipli sayfa” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Boş ayrılmış ve canlı sayılar toplamı korunur

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_audit

Mevcut başlangıç referansı

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

Olumlu deney

Dağıt iade ve yeniden dağıt

Karşı-örnek / hata girdisi

Sahipsiz veya iki sahipli sayfa

Gerçek konuk kabulü

Her tur fiziksel hesap eşit

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

kernel/tests/os/frame_authority.rs
os_frame_authority_audit_positive
os_frame_authority_audit_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

Tür ve geçiş tablosu Boş ayrılmış ve canlı sayılar toplamı korunur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Sahipsiz veya iki sahipli 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/K720: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Boş ayrılmış ve canlı sayılar toplamı korunur.

Uygulanacak işlem

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

Boş ayrılmış ve canlı sayılar toplamı korunur

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_audit

Mevcut başlangıç referansı

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

Olumlu deney

Dağıt iade ve yeniden dağıt

Karşı-örnek / hata girdisi

Sahipsiz veya iki sahipli sayfa

Gerçek konuk kabulü

Her tur fiziksel hesap eşit

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

kernel/tests/os/frame_authority.rs
os_frame_authority_audit_positive
os_frame_authority_audit_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Dağıt iade ve yeniden dağıt ile Sahipsiz veya iki sahipli sayfa ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Sahipsiz veya iki sahipli 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/K720: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Boş ayrılmış ve canlı sayılar toplamı korunur.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Boş ayrılmış ve canlı sayılar toplamı korunur

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_audit

Mevcut başlangıç referansı

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

Olumlu deney

Dağıt iade ve yeniden dağıt

Karşı-örnek / hata girdisi

Sahipsiz veya iki sahipli sayfa

Gerçek konuk kabulü

Her tur fiziksel hesap eşit

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

kernel/tests/os/frame_authority.rs
os_frame_authority_audit_positive
os_frame_authority_audit_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Dağıt iade ve yeniden dağıt girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Sahipsiz veya iki sahipli 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/K720: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Boş ayrılmış ve canlı sayılar toplamı korunur.

Uygulanacak işlem

os_frame_authority_audit_negative testini oluştur: “Sahipsiz veya iki sahipli 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

Boş ayrılmış ve canlı sayılar toplamı korunur

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_audit

Mevcut başlangıç referansı

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

Olumlu deney

Dağıt iade ve yeniden dağıt

Karşı-örnek / hata girdisi

Sahipsiz veya iki sahipli sayfa

Gerçek konuk kabulü

Her tur fiziksel hesap eşit

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

kernel/tests/os/frame_authority.rs
os_frame_authority_audit_positive
os_frame_authority_audit_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

Sahipsiz veya iki sahipli 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üş

“Sahipsiz veya iki sahipli 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/K720: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Boş ayrılmış ve canlı sayılar toplamı korunur.

Uygulanacak işlem

Tek ürün Image'ında “Her tur fiziksel hesap eşit” kabulünü koştur. scripts/os-acceptance/frame_authority.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

Boş ayrılmış ve canlı sayılar toplamı korunur

Kod hedefi — henüz öneri

kernel/src/runtime/frame_authority.rs · os_frame_authority_audit

Mevcut başlangıç referansı

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

Olumlu deney

Dağıt iade ve yeniden dağıt

Karşı-örnek / hata girdisi

Sahipsiz veya iki sahipli sayfa

Gerçek konuk kabulü

Her tur fiziksel hesap eşit

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

kernel/tests/os/frame_authority.rs
os_frame_authority_audit_positive
os_frame_authority_audit_negative
scripts/os-acceptance/frame_authority.mjs

Geçiş koşulu

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

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

“Sahipsiz veya iki sahipli 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/K720: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: İade tam sahibi ve nesli ister.

Uygulanacak işlem

“Sahip ve nesil kaydı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: İade tam sahibi ve nesli ister. “Aynı sayfada yeni nesil” kabulü ile “Önceki neslin iadesi” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

İade tam sahibi ve nesli ister

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_owner

Mevcut başlangıç referansı

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

Olumlu deney

Aynı sayfada yeni nesil

Karşı-örnek / hata girdisi

Önceki neslin iadesi

Gerçek konuk kabulü

Eski tanıtıcı canlı sayfayı alamaz

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_owner_positive
os_frame_metadata_owner_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

Tür ve geçiş tablosu İade tam sahibi ve nesli 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: İade tam sahibi ve nesli ister.

Uygulanacak işlem

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

İade tam sahibi ve nesli ister

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_owner

Mevcut başlangıç referansı

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

Olumlu deney

Aynı sayfada yeni nesil

Karşı-örnek / hata girdisi

Önceki neslin iadesi

Gerçek konuk kabulü

Eski tanıtıcı canlı sayfayı alamaz

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_owner_positive
os_frame_metadata_owner_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Aynı sayfada yeni nesil ile Önceki neslin iadesi ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: İade tam sahibi ve nesli ister.

Uygulanacak işlem

os_frame_metadata_owner_positive testini oluştur: “Aynı sayfada yeni nesil”. 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

İade tam sahibi ve nesli ister

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_owner

Mevcut başlangıç referansı

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

Olumlu deney

Aynı sayfada yeni nesil

Karşı-örnek / hata girdisi

Önceki neslin iadesi

Gerçek konuk kabulü

Eski tanıtıcı canlı sayfayı alamaz

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_owner_positive
os_frame_metadata_owner_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: İade tam sahibi ve nesli ister.

Uygulanacak işlem

os_frame_metadata_owner_negative testini oluştur: “Önceki neslin iadesi”. 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

İade tam sahibi ve nesli ister

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_owner

Mevcut başlangıç referansı

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

Olumlu deney

Aynı sayfada yeni nesil

Karşı-örnek / hata girdisi

Önceki neslin iadesi

Gerçek konuk kabulü

Eski tanıtıcı canlı sayfayı alamaz

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_owner_positive
os_frame_metadata_owner_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

Önceki neslin iadesi 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: İade tam sahibi ve nesli ister.

Uygulanacak işlem

Tek ürün Image'ında “Eski tanıtıcı canlı sayfayı alamaz” kabulünü koştur. scripts/os-acceptance/frame_metadata.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

İade tam sahibi ve nesli ister

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_owner

Mevcut başlangıç referansı

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

Olumlu deney

Aynı sayfada yeni nesil

Karşı-örnek / hata girdisi

Önceki neslin iadesi

Gerçek konuk kabulü

Eski tanıtıcı canlı sayfayı alamaz

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_owner_positive
os_frame_metadata_owner_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

Eski tanıtıcı canlı sayfayı alamaz; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yeni kullanıcı eski veriyi göremez.

Uygulanacak işlem

“Kullanıcı çerçevesi sıfırlama” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yeni kullanıcı eski veriyi göremez. “0xa5 ile dolu geri gelen sayfa” kabulü ile “Sıfırlama yalnız ilk satırı yapar” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Yeni kullanıcı eski veriyi göremez

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_zero

Mevcut başlangıç referansı

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

Olumlu deney

0xa5 ile dolu geri gelen sayfa

Karşı-örnek / hata girdisi

Sıfırlama yalnız ilk satırı yapar

Gerçek konuk kabulü

İki süreç arasında sır kanaryası yok

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_zero_positive
os_frame_metadata_zero_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

Tür ve geçiş tablosu Yeni kullanıcı eski veriyi göremez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yeni kullanıcı eski veriyi göremez.

Uygulanacak işlem

kernel/src/runtime/frame_metadata.rs hedefinde os_frame_metadata_zero yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/memory.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 kullanıcı eski veriyi göremez

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_zero

Mevcut başlangıç referansı

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

Olumlu deney

0xa5 ile dolu geri gelen sayfa

Karşı-örnek / hata girdisi

Sıfırlama yalnız ilk satırı yapar

Gerçek konuk kabulü

İki süreç arasında sır kanaryası yok

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_zero_positive
os_frame_metadata_zero_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 0xa5 ile dolu geri gelen sayfa ile Sıfırlama yalnız ilk satırı yapar ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yeni kullanıcı eski veriyi göremez.

Uygulanacak işlem

os_frame_metadata_zero_positive testini oluştur: “0xa5 ile dolu geri gelen 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

Yeni kullanıcı eski veriyi göremez

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_zero

Mevcut başlangıç referansı

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

Olumlu deney

0xa5 ile dolu geri gelen sayfa

Karşı-örnek / hata girdisi

Sıfırlama yalnız ilk satırı yapar

Gerçek konuk kabulü

İki süreç arasında sır kanaryası yok

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_zero_positive
os_frame_metadata_zero_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; 0xa5 ile dolu geri gelen sayfa girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yeni kullanıcı eski veriyi göremez.

Uygulanacak işlem

os_frame_metadata_zero_negative testini oluştur: “Sıfırlama yalnız ilk satırı yapar”. 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 kullanıcı eski veriyi göremez

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_zero

Mevcut başlangıç referansı

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

Olumlu deney

0xa5 ile dolu geri gelen sayfa

Karşı-örnek / hata girdisi

Sıfırlama yalnız ilk satırı yapar

Gerçek konuk kabulü

İki süreç arasında sır kanaryası yok

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_zero_positive
os_frame_metadata_zero_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

Sıfırlama yalnız ilk satırı yapar 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yeni kullanıcı eski veriyi göremez.

Uygulanacak işlem

Tek ürün Image'ında “İki süreç arasında sır kanaryası yok” kabulünü koştur. scripts/os-acceptance/frame_metadata.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 kullanıcı eski veriyi göremez

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_zero

Mevcut başlangıç referansı

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

Olumlu deney

0xa5 ile dolu geri gelen sayfa

Karşı-örnek / hata girdisi

Sıfırlama yalnız ilk satırı yapar

Gerçek konuk kabulü

İki süreç arasında sır kanaryası yok

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_zero_positive
os_frame_metadata_zero_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

İki süreç arasında sır kanaryası 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Pin sıfırlanmadan fiziksel iade yok.

Uygulanacak işlem

“Pin referans sayısı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Pin sıfırlanmadan fiziksel iade yok. “İki ayrı pin bırakılır” kabulü ile “Pin taşması veya çift unpin” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Pin sıfırlanmadan fiziksel iade yok

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_pins

Mevcut başlangıç referansı

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

Olumlu deney

İki ayrı pin bırakılır

Karşı-örnek / hata girdisi

Pin taşması veya çift unpin

Gerçek konuk kabulü

Son pin kalkınca tek iade

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_pins_positive
os_frame_metadata_pins_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

Tür ve geçiş tablosu Pin sıfırlanmadan fiziksel 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Pin sıfırlanmadan fiziksel iade yok.

Uygulanacak işlem

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

Pin sıfırlanmadan fiziksel iade yok

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_pins

Mevcut başlangıç referansı

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

Olumlu deney

İki ayrı pin bırakılır

Karşı-örnek / hata girdisi

Pin taşması veya çift unpin

Gerçek konuk kabulü

Son pin kalkınca tek iade

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_pins_positive
os_frame_metadata_pins_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki ayrı pin bırakılır ile Pin taşması veya çift unpin ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Pin sıfırlanmadan fiziksel iade yok.

Uygulanacak işlem

os_frame_metadata_pins_positive testini oluştur: “İki ayrı pin bırakı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

Pin sıfırlanmadan fiziksel iade yok

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_pins

Mevcut başlangıç referansı

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

Olumlu deney

İki ayrı pin bırakılır

Karşı-örnek / hata girdisi

Pin taşması veya çift unpin

Gerçek konuk kabulü

Son pin kalkınca tek iade

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_pins_positive
os_frame_metadata_pins_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki ayrı pin bırakılır girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Pin sıfırlanmadan fiziksel iade yok.

Uygulanacak işlem

os_frame_metadata_pins_negative testini oluştur: “Pin taşması veya çift unpin”. 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

Pin sıfırlanmadan fiziksel iade yok

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_pins

Mevcut başlangıç referansı

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

Olumlu deney

İki ayrı pin bırakılır

Karşı-örnek / hata girdisi

Pin taşması veya çift unpin

Gerçek konuk kabulü

Son pin kalkınca tek iade

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_pins_positive
os_frame_metadata_pins_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

Pin taşması veya çift unpin 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 taşması veya çift unpin” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Pin sıfırlanmadan fiziksel iade yok.

Uygulanacak işlem

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

Pin sıfırlanmadan fiziksel iade yok

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_pins

Mevcut başlangıç referansı

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

Olumlu deney

İki ayrı pin bırakılır

Karşı-örnek / hata girdisi

Pin taşması veya çift unpin

Gerçek konuk kabulü

Son pin kalkınca tek iade

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_pins_positive
os_frame_metadata_pins_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

Son pin kalkınca tek iade; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Metadata ENOSPC tahsisi yayımlamaz.

Uygulanacak işlem

“Metadata kapasite tükenmesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Metadata ENOSPC tahsisi yayımlamaz. “Son kayıt kullanılır” kabulü ile “Kapasite artı bir talep” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Metadata ENOSPC tahsisi yayımlamaz

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_reclaim

Mevcut başlangıç referansı

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

Olumlu deney

Son kayıt kullanılır

Karşı-örnek / hata girdisi

Kapasite artı bir talep

Gerçek konuk kabulü

Fiziksel ve metadata toplamı sabit

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_reclaim_positive
os_frame_metadata_reclaim_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

Tür ve geçiş tablosu Metadata ENOSPC tahsisi yayımlamaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Metadata ENOSPC tahsisi yayımlamaz.

Uygulanacak işlem

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

Metadata ENOSPC tahsisi yayımlamaz

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_reclaim

Mevcut başlangıç referansı

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

Olumlu deney

Son kayıt kullanılır

Karşı-örnek / hata girdisi

Kapasite artı bir talep

Gerçek konuk kabulü

Fiziksel ve metadata toplamı sabit

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_reclaim_positive
os_frame_metadata_reclaim_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Son kayıt kullanılır ile Kapasite artı bir talep ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Metadata ENOSPC tahsisi yayımlamaz.

Uygulanacak işlem

os_frame_metadata_reclaim_positive testini oluştur: “Son kayıt kullanı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

Metadata ENOSPC tahsisi yayımlamaz

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_reclaim

Mevcut başlangıç referansı

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

Olumlu deney

Son kayıt kullanılır

Karşı-örnek / hata girdisi

Kapasite artı bir talep

Gerçek konuk kabulü

Fiziksel ve metadata toplamı sabit

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_reclaim_positive
os_frame_metadata_reclaim_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Metadata ENOSPC tahsisi yayımlamaz.

Uygulanacak işlem

os_frame_metadata_reclaim_negative testini oluştur: “Kapasite artı bir talep”. 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

Metadata ENOSPC tahsisi yayımlamaz

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_reclaim

Mevcut başlangıç referansı

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

Olumlu deney

Son kayıt kullanılır

Karşı-örnek / hata girdisi

Kapasite artı bir talep

Gerçek konuk kabulü

Fiziksel ve metadata toplamı sabit

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_reclaim_positive
os_frame_metadata_reclaim_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

Kapasite artı bir talep 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Metadata ENOSPC tahsisi yayımlamaz.

Uygulanacak işlem

Tek ürün Image'ında “Fiziksel ve metadata toplamı sabit” kabulünü koştur. scripts/os-acceptance/frame_metadata.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

Metadata ENOSPC tahsisi yayımlamaz

Kod hedefi — henüz öneri

kernel/src/runtime/frame_metadata.rs · os_frame_metadata_reclaim

Mevcut başlangıç referansı

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

Olumlu deney

Son kayıt kullanılır

Karşı-örnek / hata girdisi

Kapasite artı bir talep

Gerçek konuk kabulü

Fiziksel ve metadata toplamı sabit

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

kernel/tests/os/frame_metadata.rs
os_frame_metadata_reclaim_positive
os_frame_metadata_reclaim_negative
scripts/os-acceptance/frame_metadata.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Her blok hizalı ve tek mertebededir.

Uygulanacak işlem

“Buddy mertebe düzeni” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Her blok hizalı ve tek mertebededir. “1 2 4 8 sayfa” kabulü ile “Hizasız blok başlangıcı” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Her blok hizalı ve tek mertebededir

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_orders

Mevcut başlangıç referansı

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

Olumlu deney

1 2 4 8 sayfa

Karşı-örnek / hata girdisi

Hizasız blok başlangıcı

Gerçek konuk kabulü

Çok sayfalı konuk tahsisi ayrık

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

kernel/tests/os/buddy.rs
os_buddy_orders_positive
os_buddy_orders_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

Tür ve geçiş tablosu Her blok hizalı ve tek mertebededir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Her blok hizalı ve tek mertebededir.

Uygulanacak işlem

kernel/src/runtime/buddy.rs hedefinde os_buddy_orders yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/memory.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 blok hizalı ve tek mertebededir

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_orders

Mevcut başlangıç referansı

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

Olumlu deney

1 2 4 8 sayfa

Karşı-örnek / hata girdisi

Hizasız blok başlangıcı

Gerçek konuk kabulü

Çok sayfalı konuk tahsisi ayrık

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

kernel/tests/os/buddy.rs
os_buddy_orders_positive
os_buddy_orders_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 1 2 4 8 sayfa ile Hizasız blok başlangıcı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Her blok hizalı ve tek mertebededir.

Uygulanacak işlem

os_buddy_orders_positive testini oluştur: “1 2 4 8 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

Her blok hizalı ve tek mertebededir

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_orders

Mevcut başlangıç referansı

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

Olumlu deney

1 2 4 8 sayfa

Karşı-örnek / hata girdisi

Hizasız blok başlangıcı

Gerçek konuk kabulü

Çok sayfalı konuk tahsisi ayrık

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

kernel/tests/os/buddy.rs
os_buddy_orders_positive
os_buddy_orders_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; 1 2 4 8 sayfa girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Her blok hizalı ve tek mertebededir.

Uygulanacak işlem

os_buddy_orders_negative testini oluştur: “Hizasız blok başlangıcı”. 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 blok hizalı ve tek mertebededir

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_orders

Mevcut başlangıç referansı

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

Olumlu deney

1 2 4 8 sayfa

Karşı-örnek / hata girdisi

Hizasız blok başlangıcı

Gerçek konuk kabulü

Çok sayfalı konuk tahsisi ayrık

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

kernel/tests/os/buddy.rs
os_buddy_orders_positive
os_buddy_orders_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

Hizasız blok başlangıcı 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Her blok hizalı ve tek mertebededir.

Uygulanacak işlem

Tek ürün Image'ında “Çok sayfalı konuk tahsisi ayrık” kabulünü koştur. scripts/os-acceptance/buddy.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 blok hizalı ve tek mertebededir

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_orders

Mevcut başlangıç referansı

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

Olumlu deney

1 2 4 8 sayfa

Karşı-örnek / hata girdisi

Hizasız blok başlangıcı

Gerçek konuk kabulü

Çok sayfalı konuk tahsisi ayrık

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

kernel/tests/os/buddy.rs
os_buddy_orders_positive
os_buddy_orders_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

Çok sayfalı konuk tahsisi ayrık; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Bölme çocukları ebeveyni tam örter.

Uygulanacak işlem

“Blok bölme işlemi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Bölme çocukları ebeveyni tam örter. “8 sayfadan iki 4” kabulü ile “Bir çocuk iki kez listelenir” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Bölme çocukları ebeveyni tam örter

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_split

Mevcut başlangıç referansı

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

Olumlu deney

8 sayfadan iki 4

Karşı-örnek / hata girdisi

Bir çocuk iki kez listelenir

Gerçek konuk kabulü

Üç mertebe tahsis toplamı eşit

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

kernel/tests/os/buddy.rs
os_buddy_split_positive
os_buddy_split_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

Tür ve geçiş tablosu Bölme çocukları ebeveyni tam örter kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Bölme çocukları ebeveyni tam örter.

Uygulanacak işlem

kernel/src/runtime/buddy.rs hedefinde os_buddy_split yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/memory.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ölme çocukları ebeveyni tam örter

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_split

Mevcut başlangıç referansı

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

Olumlu deney

8 sayfadan iki 4

Karşı-örnek / hata girdisi

Bir çocuk iki kez listelenir

Gerçek konuk kabulü

Üç mertebe tahsis toplamı eşit

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

kernel/tests/os/buddy.rs
os_buddy_split_positive
os_buddy_split_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 8 sayfadan iki 4 ile Bir çocuk iki kez listelenir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Bölme çocukları ebeveyni tam örter.

Uygulanacak işlem

os_buddy_split_positive testini oluştur: “8 sayfadan iki 4”. 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ölme çocukları ebeveyni tam örter

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_split

Mevcut başlangıç referansı

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

Olumlu deney

8 sayfadan iki 4

Karşı-örnek / hata girdisi

Bir çocuk iki kez listelenir

Gerçek konuk kabulü

Üç mertebe tahsis toplamı eşit

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

kernel/tests/os/buddy.rs
os_buddy_split_positive
os_buddy_split_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Bölme çocukları ebeveyni tam örter.

Uygulanacak işlem

os_buddy_split_negative testini oluştur: “Bir çocuk iki kez listelenir”. 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ölme çocukları ebeveyni tam örter

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_split

Mevcut başlangıç referansı

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

Olumlu deney

8 sayfadan iki 4

Karşı-örnek / hata girdisi

Bir çocuk iki kez listelenir

Gerçek konuk kabulü

Üç mertebe tahsis toplamı eşit

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

kernel/tests/os/buddy.rs
os_buddy_split_positive
os_buddy_split_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

Bir çocuk iki kez listelenir karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Bölme çocukları ebeveyni tam örter.

Uygulanacak işlem

Tek ürün Image'ında “Üç mertebe tahsis toplamı eşit” kabulünü koştur. scripts/os-acceptance/buddy.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ölme çocukları ebeveyni tam örter

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_split

Mevcut başlangıç referansı

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

Olumlu deney

8 sayfadan iki 4

Karşı-örnek / hata girdisi

Bir çocuk iki kez listelenir

Gerçek konuk kabulü

Üç mertebe tahsis toplamı eşit

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

kernel/tests/os/buddy.rs
os_buddy_split_positive
os_buddy_split_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yalnız boş aynı mertebe arkadaş birleşir.

Uygulanacak işlem

“Arkadaş blok birleştirme” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yalnız boş aynı mertebe arkadaş birleşir. “İki boş komşu blok” kabulü ile “Canlı arkadaşla birleştirme” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Yalnız boş aynı mertebe arkadaş birleşir

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_merge

Mevcut başlangıç referansı

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

Olumlu deney

İki boş komşu blok

Karşı-örnek / hata girdisi

Canlı arkadaşla birleştirme

Gerçek konuk kabulü

Parçalanma sonrası büyük blok geri gelir

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

kernel/tests/os/buddy.rs
os_buddy_merge_positive
os_buddy_merge_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

Tür ve geçiş tablosu Yalnız boş aynı mertebe arkadaş birleş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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yalnız boş aynı mertebe arkadaş birleşir.

Uygulanacak işlem

kernel/src/runtime/buddy.rs hedefinde os_buddy_merge yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/memory.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 boş aynı mertebe arkadaş birleşir

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_merge

Mevcut başlangıç referansı

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

Olumlu deney

İki boş komşu blok

Karşı-örnek / hata girdisi

Canlı arkadaşla birleştirme

Gerçek konuk kabulü

Parçalanma sonrası büyük blok geri gelir

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

kernel/tests/os/buddy.rs
os_buddy_merge_positive
os_buddy_merge_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki boş komşu blok ile Canlı arkadaşla birleştirme ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yalnız boş aynı mertebe arkadaş birleşir.

Uygulanacak işlem

os_buddy_merge_positive testini oluştur: “İki boş komşu blok”. 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 boş aynı mertebe arkadaş birleşir

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_merge

Mevcut başlangıç referansı

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

Olumlu deney

İki boş komşu blok

Karşı-örnek / hata girdisi

Canlı arkadaşla birleştirme

Gerçek konuk kabulü

Parçalanma sonrası büyük blok geri gelir

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

kernel/tests/os/buddy.rs
os_buddy_merge_positive
os_buddy_merge_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yalnız boş aynı mertebe arkadaş birleşir.

Uygulanacak işlem

os_buddy_merge_negative testini oluştur: “Canlı arkadaşla birleştirme”. 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 boş aynı mertebe arkadaş birleşir

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_merge

Mevcut başlangıç referansı

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

Olumlu deney

İki boş komşu blok

Karşı-örnek / hata girdisi

Canlı arkadaşla birleştirme

Gerçek konuk kabulü

Parçalanma sonrası büyük blok geri gelir

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

kernel/tests/os/buddy.rs
os_buddy_merge_positive
os_buddy_merge_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

Canlı arkadaşla birleştirme 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yalnız boş aynı mertebe arkadaş birleşir.

Uygulanacak işlem

Tek ürün Image'ında “Parçalanma sonrası büyük blok geri gelir” kabulünü koştur. scripts/os-acceptance/buddy.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 boş aynı mertebe arkadaş birleşir

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_merge

Mevcut başlangıç referansı

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

Olumlu deney

İki boş komşu blok

Karşı-örnek / hata girdisi

Canlı arkadaşla birleştirme

Gerçek konuk kabulü

Parçalanma sonrası büyük blok geri gelir

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

kernel/tests/os/buddy.rs
os_buddy_merge_positive
os_buddy_merge_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

Parçalanma sonrası büyük blok geri gelir; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Contiguous talep sessiz scatter olmaz.

Uygulanacak işlem

“Parçalanmış RAM yolu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Contiguous talep sessiz scatter olmaz. “Dağınık boş sayfalar” kabulü ile “DMA kesintisiz diye yanlış kabul” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Contiguous talep sessiz scatter olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_fallback

Mevcut başlangıç referansı

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

Olumlu deney

Dağınık boş sayfalar

Karşı-örnek / hata girdisi

DMA kesintisiz diye yanlış kabul

Gerçek konuk kabulü

Açık hata ve değişmeyen free map

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

kernel/tests/os/buddy.rs
os_buddy_fallback_positive
os_buddy_fallback_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

Tür ve geçiş tablosu Contiguous talep sessiz scatter 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Contiguous talep sessiz scatter olmaz.

Uygulanacak işlem

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

Contiguous talep sessiz scatter olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_fallback

Mevcut başlangıç referansı

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

Olumlu deney

Dağınık boş sayfalar

Karşı-örnek / hata girdisi

DMA kesintisiz diye yanlış kabul

Gerçek konuk kabulü

Açık hata ve değişmeyen free map

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

kernel/tests/os/buddy.rs
os_buddy_fallback_positive
os_buddy_fallback_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Dağınık boş sayfalar ile DMA kesintisiz diye yanlış kabul ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Contiguous talep sessiz scatter olmaz.

Uygulanacak işlem

os_buddy_fallback_positive testini oluştur: “Dağınık boş sayfalar”. 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

Contiguous talep sessiz scatter olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_fallback

Mevcut başlangıç referansı

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

Olumlu deney

Dağınık boş sayfalar

Karşı-örnek / hata girdisi

DMA kesintisiz diye yanlış kabul

Gerçek konuk kabulü

Açık hata ve değişmeyen free map

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

kernel/tests/os/buddy.rs
os_buddy_fallback_positive
os_buddy_fallback_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Dağınık boş sayfalar girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Contiguous talep sessiz scatter olmaz.

Uygulanacak işlem

os_buddy_fallback_negative testini oluştur: “DMA kesintisiz diye yanlış kabul”. 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

Contiguous talep sessiz scatter olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_fallback

Mevcut başlangıç referansı

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

Olumlu deney

Dağınık boş sayfalar

Karşı-örnek / hata girdisi

DMA kesintisiz diye yanlış kabul

Gerçek konuk kabulü

Açık hata ve değişmeyen free map

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

kernel/tests/os/buddy.rs
os_buddy_fallback_positive
os_buddy_fallback_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

DMA kesintisiz diye yanlış kabul 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Contiguous talep sessiz scatter olmaz.

Uygulanacak işlem

Tek ürün Image'ında “Açık hata ve değişmeyen free map” kabulünü koştur. scripts/os-acceptance/buddy.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

Contiguous talep sessiz scatter olmaz

Kod hedefi — henüz öneri

kernel/src/runtime/buddy.rs · os_buddy_fallback

Mevcut başlangıç referansı

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

Olumlu deney

Dağınık boş sayfalar

Karşı-örnek / hata girdisi

DMA kesintisiz diye yanlış kabul

Gerçek konuk kabulü

Açık hata ve değişmeyen free map

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

kernel/tests/os/buddy.rs
os_buddy_fallback_positive
os_buddy_fallback_negative
scripts/os-acceptance/buddy.mjs

Geçiş koşulu

Açık hata ve değişmeyen free map; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Boy ve hizaya göre tek sınıf seçilir.

Uygulanacak işlem

“Slab boyut 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: Boy ve hizaya göre tek sınıf seçilir. “24 64 128 bayt nesneler” kabulü ile “Sıfır veya taşan Layout” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Boy ve hizaya göre tek sınıf seçilir

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_classes

Mevcut başlangıç referansı

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

Olumlu deney

24 64 128 bayt nesneler

Karşı-örnek / hata girdisi

Sıfır veya taşan Layout

Gerçek konuk kabulü

Nesneler hizalı ve ayrık

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_classes_positive
os_kernel_heap_classes_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

Tür ve geçiş tablosu Boy ve hizaya göre tek sınıf seçilir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Boy ve hizaya göre tek sınıf seçilir.

Uygulanacak işlem

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

Boy ve hizaya göre tek sınıf seçilir

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_classes

Mevcut başlangıç referansı

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

Olumlu deney

24 64 128 bayt nesneler

Karşı-örnek / hata girdisi

Sıfır veya taşan Layout

Gerçek konuk kabulü

Nesneler hizalı ve ayrık

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_classes_positive
os_kernel_heap_classes_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 24 64 128 bayt nesneler ile Sıfır veya taşan Layout ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Boy ve hizaya göre tek sınıf seçilir.

Uygulanacak işlem

os_kernel_heap_classes_positive testini oluştur: “24 64 128 bayt nesneler”. 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

Boy ve hizaya göre tek sınıf seçilir

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_classes

Mevcut başlangıç referansı

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

Olumlu deney

24 64 128 bayt nesneler

Karşı-örnek / hata girdisi

Sıfır veya taşan Layout

Gerçek konuk kabulü

Nesneler hizalı ve ayrık

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_classes_positive
os_kernel_heap_classes_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; 24 64 128 bayt nesneler girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Boy ve hizaya göre tek sınıf seçilir.

Uygulanacak işlem

os_kernel_heap_classes_negative testini oluştur: “Sıfır veya taşan Layout”. 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

Boy ve hizaya göre tek sınıf seçilir

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_classes

Mevcut başlangıç referansı

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

Olumlu deney

24 64 128 bayt nesneler

Karşı-örnek / hata girdisi

Sıfır veya taşan Layout

Gerçek konuk kabulü

Nesneler hizalı ve ayrık

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_classes_positive
os_kernel_heap_classes_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

Sıfır veya taşan Layout 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Boy ve hizaya göre tek sınıf seçilir.

Uygulanacak işlem

Tek ürün Image'ında “Nesneler hizalı ve ayrık” kabulünü koştur. scripts/os-acceptance/kernel_heap.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

Boy ve hizaya göre tek sınıf seçilir

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_classes

Mevcut başlangıç referansı

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

Olumlu deney

24 64 128 bayt nesneler

Karşı-örnek / hata girdisi

Sıfır veya taşan Layout

Gerçek konuk kabulü

Nesneler hizalı ve ayrık

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_classes_positive
os_kernel_heap_classes_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

Nesneler hizalı ve ayrık; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Büyük nesne sayfa sahibini tutar.

Uygulanacak işlem

“Büyük kernel nesneleri” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Büyük nesne sayfa sahibini tutar. “8 KiB hizmet tamponu” kabulü ile “Kısmi edinimde üçüncü sayfa yok” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Büyük nesne sayfa sahibini tutar

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_large

Mevcut başlangıç referansı

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

Olumlu deney

8 KiB hizmet tamponu

Karşı-örnek / hata girdisi

Kısmi edinimde üçüncü sayfa yok

Gerçek konuk kabulü

ENOSPC bütün sayfaları geri alır

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_large_positive
os_kernel_heap_large_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

Tür ve geçiş tablosu Büyük nesne sayfa sahibini tutar 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ısmi edinimde üçüncü sayfa yok” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Büyük nesne sayfa sahibini tutar.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Büyük nesne sayfa sahibini tutar

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_large

Mevcut başlangıç referansı

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

Olumlu deney

8 KiB hizmet tamponu

Karşı-örnek / hata girdisi

Kısmi edinimde üçüncü sayfa yok

Gerçek konuk kabulü

ENOSPC bütün sayfaları geri alır

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_large_positive
os_kernel_heap_large_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 8 KiB hizmet tamponu ile Kısmi edinimde üçüncü sayfa yok ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Büyük nesne sayfa sahibini tutar.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Büyük nesne sayfa sahibini tutar

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_large

Mevcut başlangıç referansı

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

Olumlu deney

8 KiB hizmet tamponu

Karşı-örnek / hata girdisi

Kısmi edinimde üçüncü sayfa yok

Gerçek konuk kabulü

ENOSPC bütün sayfaları geri alır

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_large_positive
os_kernel_heap_large_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; 8 KiB hizmet tamponu girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Büyük nesne sayfa sahibini tutar.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Büyük nesne sayfa sahibini tutar

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_large

Mevcut başlangıç referansı

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

Olumlu deney

8 KiB hizmet tamponu

Karşı-örnek / hata girdisi

Kısmi edinimde üçüncü sayfa yok

Gerçek konuk kabulü

ENOSPC bütün sayfaları geri alır

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_large_positive
os_kernel_heap_large_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

Kısmi edinimde üçüncü sayfa yok 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ısmi edinimde üçüncü sayfa yok” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Büyük nesne sayfa sahibini tutar.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Büyük nesne sayfa sahibini tutar

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_large

Mevcut başlangıç referansı

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

Olumlu deney

8 KiB hizmet tamponu

Karşı-örnek / hata girdisi

Kısmi edinimde üçüncü sayfa yok

Gerçek konuk kabulü

ENOSPC bütün sayfaları geri alır

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_large_positive
os_kernel_heap_large_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yabancı pointer ve çift iade reddedilir.

Uygulanacak işlem

“Heap nesne iadesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yabancı pointer ve çift iade reddedilir. “Bir nesne bir kez iade” kabulü ile “İç pointer ile free” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Yabancı pointer ve çift iade reddedilir

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_free

Mevcut başlangıç referansı

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

Olumlu deney

Bir nesne bir kez iade

Karşı-örnek / hata girdisi

İç pointer ile free

Gerçek konuk kabulü

Diğer nesnelerin kanaryaları korunur

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_free_positive
os_kernel_heap_free_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

Tür ve geçiş tablosu Yabancı pointer ve çift iade reddedilir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“İç pointer ile 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/K775: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yabancı pointer ve çift iade reddedilir.

Uygulanacak işlem

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

Yabancı pointer ve çift iade reddedilir

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_free

Mevcut başlangıç referansı

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

Olumlu deney

Bir nesne bir kez iade

Karşı-örnek / hata girdisi

İç pointer ile free

Gerçek konuk kabulü

Diğer nesnelerin kanaryaları korunur

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_free_positive
os_kernel_heap_free_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bir nesne bir kez iade ile İç pointer ile free ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“İç pointer ile 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/K775: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yabancı pointer ve çift iade reddedilir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Yabancı pointer ve çift iade reddedilir

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_free

Mevcut başlangıç referansı

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

Olumlu deney

Bir nesne bir kez iade

Karşı-örnek / hata girdisi

İç pointer ile free

Gerçek konuk kabulü

Diğer nesnelerin kanaryaları korunur

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_free_positive
os_kernel_heap_free_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Bir nesne bir kez iade girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“İç pointer ile 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/K775: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yabancı pointer ve çift iade reddedilir.

Uygulanacak işlem

os_kernel_heap_free_negative testini oluştur: “İç pointer ile 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

Yabancı pointer ve çift iade reddedilir

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_free

Mevcut başlangıç referansı

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

Olumlu deney

Bir nesne bir kez iade

Karşı-örnek / hata girdisi

İç pointer ile free

Gerçek konuk kabulü

Diğer nesnelerin kanaryaları korunur

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_free_positive
os_kernel_heap_free_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

İç pointer ile 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üş

“İç pointer ile 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/K775: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yabancı pointer ve çift iade reddedilir.

Uygulanacak işlem

Tek ürün Image'ında “Diğer nesnelerin kanaryaları korunur” kabulünü koştur. scripts/os-acceptance/kernel_heap.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

Yabancı pointer ve çift iade reddedilir

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_free

Mevcut başlangıç referansı

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

Olumlu deney

Bir nesne bir kez iade

Karşı-örnek / hata girdisi

İç pointer ile free

Gerçek konuk kabulü

Diğer nesnelerin kanaryaları korunur

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_free_positive
os_kernel_heap_free_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

Diğer nesnelerin kanaryaları korunur; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

“İç pointer ile 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/K775: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Geri kazanım IRQ içinde uyumaz.

Uygulanacak işlem

“Heap baskı politikası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Geri kazanım IRQ içinde uyumaz. “Dolu heap ve tanı çıktısı” kabulü ile “IRQ bağlamında bloklu tahsis” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Geri kazanım IRQ içinde uyumaz

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_pressure

Mevcut başlangıç referansı

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

Olumlu deney

Dolu heap ve tanı çıktısı

Karşı-örnek / hata girdisi

IRQ bağlamında bloklu tahsis

Gerçek konuk kabulü

Sınırlı hata ile hizmet devam eder

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_pressure_positive
os_kernel_heap_pressure_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

Tür ve geçiş tablosu Geri kazanım IRQ içinde uyumaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Geri kazanım IRQ içinde uyumaz.

Uygulanacak işlem

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

Geri kazanım IRQ içinde uyumaz

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_pressure

Mevcut başlangıç referansı

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

Olumlu deney

Dolu heap ve tanı çıktısı

Karşı-örnek / hata girdisi

IRQ bağlamında bloklu tahsis

Gerçek konuk kabulü

Sınırlı hata ile hizmet devam eder

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_pressure_positive
os_kernel_heap_pressure_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Dolu heap ve tanı çıktısı ile IRQ bağlamında bloklu tahsis ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Geri kazanım IRQ içinde uyumaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Geri kazanım IRQ içinde uyumaz

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_pressure

Mevcut başlangıç referansı

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

Olumlu deney

Dolu heap ve tanı çıktısı

Karşı-örnek / hata girdisi

IRQ bağlamında bloklu tahsis

Gerçek konuk kabulü

Sınırlı hata ile hizmet devam eder

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_pressure_positive
os_kernel_heap_pressure_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Dolu heap ve tanı çıktısı girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Geri kazanım IRQ içinde uyumaz.

Uygulanacak işlem

os_kernel_heap_pressure_negative testini oluştur: “IRQ bağlamında bloklu tahsis”. 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

Geri kazanım IRQ içinde uyumaz

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_pressure

Mevcut başlangıç referansı

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

Olumlu deney

Dolu heap ve tanı çıktısı

Karşı-örnek / hata girdisi

IRQ bağlamında bloklu tahsis

Gerçek konuk kabulü

Sınırlı hata ile hizmet devam eder

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_pressure_positive
os_kernel_heap_pressure_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

IRQ bağlamında bloklu tahsis 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Geri kazanım IRQ içinde uyumaz.

Uygulanacak işlem

Tek ürün Image'ında “Sınırlı hata ile hizmet devam eder” kabulünü koştur. scripts/os-acceptance/kernel_heap.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

Geri kazanım IRQ içinde uyumaz

Kod hedefi — henüz öneri

kernel/src/runtime/kernel_heap.rs · os_kernel_heap_pressure

Mevcut başlangıç referansı

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

Olumlu deney

Dolu heap ve tanı çıktısı

Karşı-örnek / hata girdisi

IRQ bağlamında bloklu tahsis

Gerçek konuk kabulü

Sınırlı hata ile hizmet devam eder

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

kernel/tests/os/kernel_heap.rs
os_kernel_heap_pressure_positive
os_kernel_heap_pressure_negative
scripts/os-acceptance/kernel_heap.mjs

Geçiş koşulu

Sınırlı hata ile hizmet devam eder; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Etkin DMA sıradan frame free olamaz.

Uygulanacak işlem

“Aygıta bağlı DMA lease” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Etkin DMA sıradan frame free olamaz. “TX kuyruk sahibine bağlı tampon” kabulü ile “Kuyruk canlıyken sayfa iadesi” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Etkin DMA sıradan frame free olamaz

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_lease

Mevcut başlangıç referansı

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

Olumlu deney

TX kuyruk sahibine bağlı tampon

Karşı-örnek / hata girdisi

Kuyruk canlıyken sayfa iadesi

Gerçek konuk kabulü

Reset onayı sonrası tek iade

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

kernel/tests/os/dma_memory.rs
os_dma_memory_lease_positive
os_dma_memory_lease_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

Tür ve geçiş tablosu Etkin DMA sıradan frame free olamaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Etkin DMA sıradan frame free olamaz.

Uygulanacak işlem

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

Etkin DMA sıradan frame free olamaz

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_lease

Mevcut başlangıç referansı

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

Olumlu deney

TX kuyruk sahibine bağlı tampon

Karşı-örnek / hata girdisi

Kuyruk canlıyken sayfa iadesi

Gerçek konuk kabulü

Reset onayı sonrası tek iade

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

kernel/tests/os/dma_memory.rs
os_dma_memory_lease_positive
os_dma_memory_lease_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. TX kuyruk sahibine bağlı tampon ile Kuyruk canlıyken sayfa iadesi ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Etkin DMA sıradan frame free olamaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Etkin DMA sıradan frame free olamaz

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_lease

Mevcut başlangıç referansı

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

Olumlu deney

TX kuyruk sahibine bağlı tampon

Karşı-örnek / hata girdisi

Kuyruk canlıyken sayfa iadesi

Gerçek konuk kabulü

Reset onayı sonrası tek iade

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

kernel/tests/os/dma_memory.rs
os_dma_memory_lease_positive
os_dma_memory_lease_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; TX kuyruk sahibine bağlı tampon girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Etkin DMA sıradan frame free olamaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Etkin DMA sıradan frame free olamaz

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_lease

Mevcut başlangıç referansı

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

Olumlu deney

TX kuyruk sahibine bağlı tampon

Karşı-örnek / hata girdisi

Kuyruk canlıyken sayfa iadesi

Gerçek konuk kabulü

Reset onayı sonrası tek iade

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

kernel/tests/os/dma_memory.rs
os_dma_memory_lease_positive
os_dma_memory_lease_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

Kuyruk canlıyken sayfa iadesi 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Etkin DMA sıradan frame free olamaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Etkin DMA sıradan frame free olamaz

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_lease

Mevcut başlangıç referansı

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

Olumlu deney

TX kuyruk sahibine bağlı tampon

Karşı-örnek / hata girdisi

Kuyruk canlıyken sayfa iadesi

Gerçek konuk kabulü

Reset onayı sonrası tek iade

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

kernel/tests/os/dma_memory.rs
os_dma_memory_lease_positive
os_dma_memory_lease_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Her descriptor sahipli tampon içinde kalır.

Uygulanacak işlem

“DMA fiziksel aralık denetimi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Her descriptor sahipli tampon içinde kalır. “Sayfa içi iki alt tampon” kabulü ile “Toplama taşması ve çapraz sayfa” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Her descriptor sahipli tampon içinde kalır

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_address

Mevcut başlangıç referansı

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

Olumlu deney

Sayfa içi iki alt tampon

Karşı-örnek / hata girdisi

Toplama taşması ve çapraz sayfa

Gerçek konuk kabulü

Bozuk descriptor aygıta sunulmaz

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

kernel/tests/os/dma_memory.rs
os_dma_memory_address_positive
os_dma_memory_address_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

Tür ve geçiş tablosu Her descriptor sahipli tampon içinde kalır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Toplama taşması ve çapraz 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/K790: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Her descriptor sahipli tampon içinde kalır.

Uygulanacak işlem

kernel/src/runtime/dma_memory.rs hedefinde os_dma_memory_address yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/virtio_ring.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 descriptor sahipli tampon içinde kalır

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_address

Mevcut başlangıç referansı

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

Olumlu deney

Sayfa içi iki alt tampon

Karşı-örnek / hata girdisi

Toplama taşması ve çapraz sayfa

Gerçek konuk kabulü

Bozuk descriptor aygıta sunulmaz

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

kernel/tests/os/dma_memory.rs
os_dma_memory_address_positive
os_dma_memory_address_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Sayfa içi iki alt tampon ile Toplama taşması ve çapraz sayfa ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Toplama taşması ve çapraz 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/K790: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Her descriptor sahipli tampon içinde kalır.

Uygulanacak işlem

os_dma_memory_address_positive testini oluştur: “Sayfa içi iki alt tampon”. 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 descriptor sahipli tampon içinde kalır

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_address

Mevcut başlangıç referansı

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

Olumlu deney

Sayfa içi iki alt tampon

Karşı-örnek / hata girdisi

Toplama taşması ve çapraz sayfa

Gerçek konuk kabulü

Bozuk descriptor aygıta sunulmaz

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

kernel/tests/os/dma_memory.rs
os_dma_memory_address_positive
os_dma_memory_address_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

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

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

“Toplama taşması ve çapraz 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/K790: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Her descriptor sahipli tampon içinde kalır.

Uygulanacak işlem

os_dma_memory_address_negative testini oluştur: “Toplama taşması ve çapraz 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

Her descriptor sahipli tampon içinde kalır

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_address

Mevcut başlangıç referansı

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

Olumlu deney

Sayfa içi iki alt tampon

Karşı-örnek / hata girdisi

Toplama taşması ve çapraz sayfa

Gerçek konuk kabulü

Bozuk descriptor aygıta sunulmaz

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

kernel/tests/os/dma_memory.rs
os_dma_memory_address_positive
os_dma_memory_address_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

Toplama taşması ve çapraz 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üş

“Toplama taşması ve çapraz 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/K790: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Her descriptor sahipli tampon içinde kalır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Her descriptor sahipli tampon içinde kalır

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_address

Mevcut başlangıç referansı

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

Olumlu deney

Sayfa içi iki alt tampon

Karşı-örnek / hata girdisi

Toplama taşması ve çapraz sayfa

Gerçek konuk kabulü

Bozuk descriptor aygıta sunulmaz

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

kernel/tests/os/dma_memory.rs
os_dma_memory_address_positive
os_dma_memory_address_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

Bozuk descriptor aygıta sunulmaz; 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üş

“Toplama taşması ve çapraz 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/K790: PASS.

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yayımlama veri yazısından sonra gelir.

Uygulanacak işlem

“DMA bellek bariyerleri” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yayımlama veri yazısından sonra gelir. “Payload sonra avail index” kabulü ile “Index payload öncesi görünür” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Yayımlama veri yazısından sonra gelir

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_ordering

Mevcut başlangıç referansı

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

Olumlu deney

Payload sonra avail index

Karşı-örnek / hata girdisi

Index payload öncesi görünür

Gerçek konuk kabulü

RX TX tamamlama tanıkları doğru sıra

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

kernel/tests/os/dma_memory.rs
os_dma_memory_ordering_positive
os_dma_memory_ordering_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

Tür ve geçiş tablosu Yayımlama veri yazısından sonra gelir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yayımlama veri yazısından sonra gelir.

Uygulanacak işlem

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

Yayımlama veri yazısından sonra gelir

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_ordering

Mevcut başlangıç referansı

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

Olumlu deney

Payload sonra avail index

Karşı-örnek / hata girdisi

Index payload öncesi görünür

Gerçek konuk kabulü

RX TX tamamlama tanıkları doğru sıra

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

kernel/tests/os/dma_memory.rs
os_dma_memory_ordering_positive
os_dma_memory_ordering_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Payload sonra avail index ile Index payload öncesi görünür ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yayımlama veri yazısından sonra gelir.

Uygulanacak işlem

os_dma_memory_ordering_positive testini oluştur: “Payload sonra avail index”. 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

Yayımlama veri yazısından sonra gelir

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_ordering

Mevcut başlangıç referansı

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

Olumlu deney

Payload sonra avail index

Karşı-örnek / hata girdisi

Index payload öncesi görünür

Gerçek konuk kabulü

RX TX tamamlama tanıkları doğru sıra

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

kernel/tests/os/dma_memory.rs
os_dma_memory_ordering_positive
os_dma_memory_ordering_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Payload sonra avail index girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yayımlama veri yazısından sonra gelir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Yayımlama veri yazısından sonra gelir

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_ordering

Mevcut başlangıç referansı

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

Olumlu deney

Payload sonra avail index

Karşı-örnek / hata girdisi

Index payload öncesi görünür

Gerçek konuk kabulü

RX TX tamamlama tanıkları doğru sıra

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

kernel/tests/os/dma_memory.rs
os_dma_memory_ordering_positive
os_dma_memory_ordering_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

Index payload öncesi görünür karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Yayımlama veri yazısından sonra gelir.

Uygulanacak işlem

Tek ürün Image'ında “RX TX tamamlama tanıkları doğru sıra” kabulünü koştur. scripts/os-acceptance/dma_memory.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Yayımlama veri yazısından sonra gelir

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_ordering

Mevcut başlangıç referansı

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

Olumlu deney

Payload sonra avail index

Karşı-örnek / hata girdisi

Index payload öncesi görünür

Gerçek konuk kabulü

RX TX tamamlama tanıkları doğru sıra

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

kernel/tests/os/dma_memory.rs
os_dma_memory_ordering_positive
os_dma_memory_ordering_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

RX TX tamamlama tanıkları doğru sıra; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Aygıt durduğu ölçülmeden pin bırakılmaz.

Uygulanacak işlem

“Reset sonrası DMA karantinası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Aygıt durduğu ölçülmeden pin bırakılmaz. “Reset readback sıfır” kabulü ile “Yanıtsız reset” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Aygıt durduğu ölçülmeden pin bırakılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_reset

Mevcut başlangıç referansı

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

Olumlu deney

Reset readback sıfır

Karşı-örnek / hata girdisi

Yanıtsız reset

Gerçek konuk kabulü

Kaynak tutulur ve açık hata raporlanır

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

kernel/tests/os/dma_memory.rs
os_dma_memory_reset_positive
os_dma_memory_reset_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

Tür ve geçiş tablosu Aygıt durduğu ölçülmeden pin bırakı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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Aygıt durduğu ölçülmeden pin bırakılmaz.

Uygulanacak işlem

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

Aygıt durduğu ölçülmeden pin bırakılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_reset

Mevcut başlangıç referansı

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

Olumlu deney

Reset readback sıfır

Karşı-örnek / hata girdisi

Yanıtsız reset

Gerçek konuk kabulü

Kaynak tutulur ve açık hata raporlanır

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

kernel/tests/os/dma_memory.rs
os_dma_memory_reset_positive
os_dma_memory_reset_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Reset readback sıfır ile Yanıtsız reset ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Aygıt durduğu ölçülmeden pin bırakılmaz.

Uygulanacak işlem

os_dma_memory_reset_positive testini oluştur: “Reset readback sıfı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

Aygıt durduğu ölçülmeden pin bırakılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_reset

Mevcut başlangıç referansı

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

Olumlu deney

Reset readback sıfır

Karşı-örnek / hata girdisi

Yanıtsız reset

Gerçek konuk kabulü

Kaynak tutulur ve açık hata raporlanır

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

kernel/tests/os/dma_memory.rs
os_dma_memory_reset_positive
os_dma_memory_reset_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Aygıt durduğu ölçülmeden pin bırakılmaz.

Uygulanacak işlem

os_dma_memory_reset_negative testini oluştur: “Yanıtsız reset”. 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

Aygıt durduğu ölçülmeden pin bırakılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_reset

Mevcut başlangıç referansı

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

Olumlu deney

Reset readback sıfır

Karşı-örnek / hata girdisi

Yanıtsız reset

Gerçek konuk kabulü

Kaynak tutulur ve açık hata raporlanır

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

kernel/tests/os/dma_memory.rs
os_dma_memory_reset_positive
os_dma_memory_reset_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

Yanıtsız reset 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir. Bu hamlenin koruduğu değişmez: Aygıt durduğu ölçülmeden pin bırakılmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Aygıt durduğu ölçülmeden pin bırakılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/dma_memory.rs · os_dma_memory_reset

Mevcut başlangıç referansı

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

Olumlu deney

Reset readback sıfır

Karşı-örnek / hata girdisi

Yanıtsız reset

Gerçek konuk kabulü

Kaynak tutulur ve açık hata raporlanır

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

kernel/tests/os/dma_memory.rs
os_dma_memory_reset_positive
os_dma_memory_reset_negative
scripts/os-acceptance/dma_memory.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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