Aygıt modeli PCI ve virtio

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Attach detach aynı kimliği diriltmez.

Uygulanacak işlem

“Aygıt kimliği ve nesli” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Attach detach aynı kimliği diriltmez. “Bir blok bir ağ aygıtı” kabulü ile “Eski device handle” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Attach detach aynı kimliği diriltmez

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_identity

Mevcut başlangıç referansı

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

Olumlu deney

Bir blok bir ağ aygıtı

Karşı-örnek / hata girdisi

Eski device handle

Gerçek konuk kabulü

Yeniden bağlamada yeni nesil

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

kernel/tests/os/device_registry.rs
os_device_registry_identity_positive
os_device_registry_identity_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

Tür ve geçiş tablosu Attach detach aynı kimliği diriltmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1405: 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 8 tamamen kabul edilmiş olmalı.

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Attach detach aynı kimliği diriltmez.

Uygulanacak işlem

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

Attach detach aynı kimliği diriltmez

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_identity

Mevcut başlangıç referansı

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

Olumlu deney

Bir blok bir ağ aygıtı

Karşı-örnek / hata girdisi

Eski device handle

Gerçek konuk kabulü

Yeniden bağlamada yeni nesil

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

kernel/tests/os/device_registry.rs
os_device_registry_identity_positive
os_device_registry_identity_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bir blok bir ağ aygıtı ile Eski device handle ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Attach detach aynı kimliği diriltmez.

Uygulanacak işlem

os_device_registry_identity_positive testini oluştur: “Bir blok bir ağ aygı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

Attach detach aynı kimliği diriltmez

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_identity

Mevcut başlangıç referansı

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

Olumlu deney

Bir blok bir ağ aygıtı

Karşı-örnek / hata girdisi

Eski device handle

Gerçek konuk kabulü

Yeniden bağlamada yeni nesil

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

kernel/tests/os/device_registry.rs
os_device_registry_identity_positive
os_device_registry_identity_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Bir blok bir ağ aygıtı girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Attach detach aynı kimliği diriltmez.

Uygulanacak işlem

os_device_registry_identity_negative testini oluştur: “Eski device handle”. 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

Attach detach aynı kimliği diriltmez

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_identity

Mevcut başlangıç referansı

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

Olumlu deney

Bir blok bir ağ aygıtı

Karşı-örnek / hata girdisi

Eski device handle

Gerçek konuk kabulü

Yeniden bağlamada yeni nesil

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

kernel/tests/os/device_registry.rs
os_device_registry_identity_positive
os_device_registry_identity_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

Eski device handle karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Attach detach aynı kimliği diriltmez.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Attach detach aynı kimliği diriltmez

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_identity

Mevcut başlangıç referansı

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

Olumlu deney

Bir blok bir ağ aygıtı

Karşı-örnek / hata girdisi

Eski device handle

Gerçek konuk kabulü

Yeniden bağlamada yeni nesil

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

kernel/tests/os/device_registry.rs
os_device_registry_identity_positive
os_device_registry_identity_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

Yeniden bağlamada yeni nesil; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: MMIO IRQ DMA tek sahip taşır.

Uygulanacak işlem

“Aygıt kaynak sahipliği” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: MMIO IRQ DMA tek sahip taşır. “Ayrık aygıt kaynakları” kabulü ile “İki BAR aynı aralığı ister” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

MMIO IRQ DMA tek sahip taşır

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_resources

Mevcut başlangıç referansı

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

Olumlu deney

Ayrık aygıt kaynakları

Karşı-örnek / hata girdisi

İki BAR aynı aralığı ister

Gerçek konuk kabulü

Çakışan attach geri alınır

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

kernel/tests/os/device_registry.rs
os_device_registry_resources_positive
os_device_registry_resources_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

Tür ve geçiş tablosu MMIO IRQ DMA tek sahip taşır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: MMIO IRQ DMA tek sahip taşır.

Uygulanacak işlem

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

MMIO IRQ DMA tek sahip taşır

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_resources

Mevcut başlangıç referansı

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

Olumlu deney

Ayrık aygıt kaynakları

Karşı-örnek / hata girdisi

İki BAR aynı aralığı ister

Gerçek konuk kabulü

Çakışan attach geri alınır

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

kernel/tests/os/device_registry.rs
os_device_registry_resources_positive
os_device_registry_resources_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Ayrık aygıt kaynakları ile İki BAR aynı aralığı ister ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: MMIO IRQ DMA tek sahip taşır.

Uygulanacak işlem

os_device_registry_resources_positive testini oluştur: “Ayrık aygıt kaynakları”. 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

MMIO IRQ DMA tek sahip taşır

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_resources

Mevcut başlangıç referansı

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

Olumlu deney

Ayrık aygıt kaynakları

Karşı-örnek / hata girdisi

İki BAR aynı aralığı ister

Gerçek konuk kabulü

Çakışan attach geri alınır

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

kernel/tests/os/device_registry.rs
os_device_registry_resources_positive
os_device_registry_resources_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Ayrık aygıt kaynakları girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: MMIO IRQ DMA tek sahip taşır.

Uygulanacak işlem

os_device_registry_resources_negative testini oluştur: “İki BAR aynı aralığı ister”. 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

MMIO IRQ DMA tek sahip taşır

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_resources

Mevcut başlangıç referansı

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

Olumlu deney

Ayrık aygıt kaynakları

Karşı-örnek / hata girdisi

İki BAR aynı aralığı ister

Gerçek konuk kabulü

Çakışan attach geri alınır

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

kernel/tests/os/device_registry.rs
os_device_registry_resources_positive
os_device_registry_resources_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: MMIO IRQ DMA tek sahip taşır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

MMIO IRQ DMA tek sahip taşır

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_resources

Mevcut başlangıç referansı

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

Olumlu deney

Ayrık aygıt kaynakları

Karşı-örnek / hata girdisi

İki BAR aynı aralığı ister

Gerçek konuk kabulü

Çakışan attach geri alınır

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

kernel/tests/os/device_registry.rs
os_device_registry_resources_positive
os_device_registry_resources_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Uyumsuz sürücü yanlış aygıta bağlanmaz.

Uygulanacak işlem

“Driver eşleştirme tablosu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Uyumsuz sürücü yanlış aygıta bağlanmaz. “Bilinen vendor device class” kabulü ile “Desteksiz class” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Uyumsuz sürücü yanlış aygıta bağlanmaz

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_driver_match

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen vendor device class

Karşı-örnek / hata girdisi

Desteksiz class

Gerçek konuk kabulü

Açık unsupported tanısı

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

kernel/tests/os/device_registry.rs
os_device_registry_driver_match_positive
os_device_registry_driver_match_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

Tür ve geçiş tablosu Uyumsuz sürücü yanlış aygıta bağlanmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Uyumsuz sürücü yanlış aygıta bağlanmaz.

Uygulanacak işlem

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

Uyumsuz sürücü yanlış aygıta bağlanmaz

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_driver_match

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen vendor device class

Karşı-örnek / hata girdisi

Desteksiz class

Gerçek konuk kabulü

Açık unsupported tanısı

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

kernel/tests/os/device_registry.rs
os_device_registry_driver_match_positive
os_device_registry_driver_match_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bilinen vendor device class ile Desteksiz class ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Uyumsuz sürücü yanlış aygıta bağlanmaz.

Uygulanacak işlem

os_device_registry_driver_match_positive testini oluştur: “Bilinen vendor device class”. 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

Uyumsuz sürücü yanlış aygıta bağlanmaz

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_driver_match

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen vendor device class

Karşı-örnek / hata girdisi

Desteksiz class

Gerçek konuk kabulü

Açık unsupported tanısı

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

kernel/tests/os/device_registry.rs
os_device_registry_driver_match_positive
os_device_registry_driver_match_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Bilinen vendor device class girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Uyumsuz sürücü yanlış aygıta bağlanmaz.

Uygulanacak işlem

os_device_registry_driver_match_negative testini oluştur: “Desteksiz class”. 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

Uyumsuz sürücü yanlış aygıta bağlanmaz

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_driver_match

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen vendor device class

Karşı-örnek / hata girdisi

Desteksiz class

Gerçek konuk kabulü

Açık unsupported tanısı

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

kernel/tests/os/device_registry.rs
os_device_registry_driver_match_positive
os_device_registry_driver_match_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

Desteksiz class 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Uyumsuz sürücü yanlış aygıta bağlanmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Uyumsuz sürücü yanlış aygıta bağlanmaz

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_driver_match

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen vendor device class

Karşı-örnek / hata girdisi

Desteksiz class

Gerçek konuk kabulü

Açık unsupported tanısı

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

kernel/tests/os/device_registry.rs
os_device_registry_driver_match_positive
os_device_registry_driver_match_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

Açık unsupported tanısı; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Reset drain IRQ sökümü free önceler.

Uygulanacak işlem

“Aygıt güvenli detach” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Reset drain IRQ sökümü free önceler. “Boş ve dolu kuyruk detach” kabulü ile “Canlı descriptor erken free” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Reset drain IRQ sökümü free önceler

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_detach

Mevcut başlangıç referansı

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

Olumlu deney

Boş ve dolu kuyruk detach

Karşı-örnek / hata girdisi

Canlı descriptor erken free

Gerçek konuk kabulü

Son sahibi kalmayınca kaynaklar döner

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

kernel/tests/os/device_registry.rs
os_device_registry_detach_positive
os_device_registry_detach_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

Tür ve geçiş tablosu Reset drain IRQ sökümü free önceler 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ı descriptor erken 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/K1420: PASS.

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Reset drain IRQ sökümü free önceler.

Uygulanacak işlem

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

Reset drain IRQ sökümü free önceler

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_detach

Mevcut başlangıç referansı

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

Olumlu deney

Boş ve dolu kuyruk detach

Karşı-örnek / hata girdisi

Canlı descriptor erken free

Gerçek konuk kabulü

Son sahibi kalmayınca kaynaklar döner

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

kernel/tests/os/device_registry.rs
os_device_registry_detach_positive
os_device_registry_detach_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Boş ve dolu kuyruk detach ile Canlı descriptor erken free ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Canlı descriptor erken 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/K1420: PASS.

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Reset drain IRQ sökümü free önceler.

Uygulanacak işlem

os_device_registry_detach_positive testini oluştur: “Boş ve dolu kuyruk detach”. 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

Reset drain IRQ sökümü free önceler

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_detach

Mevcut başlangıç referansı

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

Olumlu deney

Boş ve dolu kuyruk detach

Karşı-örnek / hata girdisi

Canlı descriptor erken free

Gerçek konuk kabulü

Son sahibi kalmayınca kaynaklar döner

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

kernel/tests/os/device_registry.rs
os_device_registry_detach_positive
os_device_registry_detach_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

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

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

“Canlı descriptor erken 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/K1420: PASS.

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Reset drain IRQ sökümü free önceler.

Uygulanacak işlem

os_device_registry_detach_negative testini oluştur: “Canlı descriptor erken 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

Reset drain IRQ sökümü free önceler

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_detach

Mevcut başlangıç referansı

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

Olumlu deney

Boş ve dolu kuyruk detach

Karşı-örnek / hata girdisi

Canlı descriptor erken free

Gerçek konuk kabulü

Son sahibi kalmayınca kaynaklar döner

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

kernel/tests/os/device_registry.rs
os_device_registry_detach_positive
os_device_registry_detach_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

Canlı descriptor erken 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üş

“Canlı descriptor erken 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/K1420: PASS.

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Reset drain IRQ sökümü free önceler.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Reset drain IRQ sökümü free önceler

Kod hedefi — henüz öneri

kernel/src/runtime/device_registry.rs · os_device_registry_detach

Mevcut başlangıç referansı

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

Olumlu deney

Boş ve dolu kuyruk detach

Karşı-örnek / hata girdisi

Canlı descriptor erken free

Gerçek konuk kabulü

Son sahibi kalmayınca kaynaklar döner

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

kernel/tests/os/device_registry.rs
os_device_registry_detach_positive
os_device_registry_detach_negative
scripts/os-acceptance/device_registry.mjs

Geçiş koşulu

Son sahibi kalmayınca kaynaklar döner; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

“Canlı descriptor erken 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/K1420: PASS.

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Bus device function hesabı taşmaz.

Uygulanacak işlem

“ECAM adres aralığı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Bus device function hesabı taşmaz. “Bus0 slot1 function0” kabulü ile “ECAM dışı bus255” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Bus device function hesabı taşmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_ecam

Mevcut başlangıç referansı

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

Olumlu deney

Bus0 slot1 function0

Karşı-örnek / hata girdisi

ECAM dışı bus255

Gerçek konuk kabulü

Config erişimi kaynak aralığında

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_ecam_positive
os_pci_discovery_ecam_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

Tür ve geçiş tablosu Bus device function hesabı taşmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Bus device function hesabı taşmaz.

Uygulanacak işlem

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

Bus device function hesabı taşmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_ecam

Mevcut başlangıç referansı

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

Olumlu deney

Bus0 slot1 function0

Karşı-örnek / hata girdisi

ECAM dışı bus255

Gerçek konuk kabulü

Config erişimi kaynak aralığında

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_ecam_positive
os_pci_discovery_ecam_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bus0 slot1 function0 ile ECAM dışı bus255 ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Bus device function hesabı taşmaz.

Uygulanacak işlem

os_pci_discovery_ecam_positive testini oluştur: “Bus0 slot1 function0”. 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

Bus device function hesabı taşmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_ecam

Mevcut başlangıç referansı

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

Olumlu deney

Bus0 slot1 function0

Karşı-örnek / hata girdisi

ECAM dışı bus255

Gerçek konuk kabulü

Config erişimi kaynak aralığında

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_ecam_positive
os_pci_discovery_ecam_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Bus device function hesabı taşmaz.

Uygulanacak işlem

os_pci_discovery_ecam_negative testini oluştur: “ECAM dışı bus255”. 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

Bus device function hesabı taşmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_ecam

Mevcut başlangıç referansı

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

Olumlu deney

Bus0 slot1 function0

Karşı-örnek / hata girdisi

ECAM dışı bus255

Gerçek konuk kabulü

Config erişimi kaynak aralığında

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_ecam_positive
os_pci_discovery_ecam_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

ECAM dışı bus255 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Bus device function hesabı taşmaz.

Uygulanacak işlem

Tek ürün Image'ında “Config erişimi kaynak aralığında” kabulünü koştur. scripts/os-acceptance/pci_discovery.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

Bus device function hesabı taşmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_ecam

Mevcut başlangıç referansı

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

Olumlu deney

Bus0 slot1 function0

Karşı-örnek / hata girdisi

ECAM dışı bus255

Gerçek konuk kabulü

Config erişimi kaynak aralığında

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_ecam_positive
os_pci_discovery_ecam_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

Config erişimi kaynak aralığında; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Header tipi function kapsamını belirler.

Uygulanacak işlem

“PCI header 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: Header tipi function kapsamını belirler. “Tek ve çok function aygıt” kabulü ile “Bozuk vendor 0xffff” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Header tipi function kapsamını belirler

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_headers

Mevcut başlangıç referansı

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

Olumlu deney

Tek ve çok function aygıt

Karşı-örnek / hata girdisi

Bozuk vendor 0xffff

Gerçek konuk kabulü

Olmayan aygıta driver bağlanmaz

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_headers_positive
os_pci_discovery_headers_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

Tür ve geçiş tablosu Header tipi function kapsamını belirler kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Header tipi function kapsamını belirler.

Uygulanacak işlem

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

Header tipi function kapsamını belirler

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_headers

Mevcut başlangıç referansı

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

Olumlu deney

Tek ve çok function aygıt

Karşı-örnek / hata girdisi

Bozuk vendor 0xffff

Gerçek konuk kabulü

Olmayan aygıta driver bağlanmaz

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_headers_positive
os_pci_discovery_headers_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Tek ve çok function aygıt ile Bozuk vendor 0xffff ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Header tipi function kapsamını belirler.

Uygulanacak işlem

os_pci_discovery_headers_positive testini oluştur: “Tek ve çok function aygı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

Header tipi function kapsamını belirler

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_headers

Mevcut başlangıç referansı

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

Olumlu deney

Tek ve çok function aygıt

Karşı-örnek / hata girdisi

Bozuk vendor 0xffff

Gerçek konuk kabulü

Olmayan aygıta driver bağlanmaz

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_headers_positive
os_pci_discovery_headers_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Tek ve çok function aygıt girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Header tipi function kapsamını belirler.

Uygulanacak işlem

os_pci_discovery_headers_negative testini oluştur: “Bozuk vendor 0xffff”. 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

Header tipi function kapsamını belirler

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_headers

Mevcut başlangıç referansı

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

Olumlu deney

Tek ve çok function aygıt

Karşı-örnek / hata girdisi

Bozuk vendor 0xffff

Gerçek konuk kabulü

Olmayan aygıta driver bağlanmaz

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_headers_positive
os_pci_discovery_headers_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

Bozuk vendor 0xffff karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Header tipi function kapsamını belirler.

Uygulanacak işlem

Tek ürün Image'ında “Olmayan aygıta driver bağlanmaz” kabulünü koştur. scripts/os-acceptance/pci_discovery.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

Header tipi function kapsamını belirler

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_headers

Mevcut başlangıç referansı

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

Olumlu deney

Tek ve çok function aygıt

Karşı-örnek / hata girdisi

Bozuk vendor 0xffff

Gerçek konuk kabulü

Olmayan aygıta driver bağlanmaz

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_headers_positive
os_pci_discovery_headers_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

Olmayan aygıta driver bağlanmaz; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Pointer döngüsü ve hizası sınırlandırılır.

Uygulanacak işlem

“PCI capability zinciri” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Pointer döngüsü ve hizası sınırlandırılır. “İki bağlı capability” kabulü ile “Öz döngülü next pointer” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Pointer döngüsü ve hizası sınırlandırılır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_capabilities

Mevcut başlangıç referansı

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

Olumlu deney

İki bağlı capability

Karşı-örnek / hata girdisi

Öz döngülü next pointer

Gerçek konuk kabulü

Keşif bounded ret ile biter

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_capabilities_positive
os_pci_discovery_capabilities_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

Tür ve geçiş tablosu Pointer döngüsü ve hizası sınırlandırılır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Pointer döngüsü ve hizası sınırlandırılır.

Uygulanacak işlem

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

Pointer döngüsü ve hizası sınırlandırılır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_capabilities

Mevcut başlangıç referansı

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

Olumlu deney

İki bağlı capability

Karşı-örnek / hata girdisi

Öz döngülü next pointer

Gerçek konuk kabulü

Keşif bounded ret ile biter

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_capabilities_positive
os_pci_discovery_capabilities_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki bağlı capability ile Öz döngülü next pointer ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Pointer döngüsü ve hizası sınırlandırılır.

Uygulanacak işlem

os_pci_discovery_capabilities_positive testini oluştur: “İki bağlı capability”. 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

Pointer döngüsü ve hizası sınırlandırılır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_capabilities

Mevcut başlangıç referansı

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

Olumlu deney

İki bağlı capability

Karşı-örnek / hata girdisi

Öz döngülü next pointer

Gerçek konuk kabulü

Keşif bounded ret ile biter

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_capabilities_positive
os_pci_discovery_capabilities_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Pointer döngüsü ve hizası sınırlandırılır.

Uygulanacak işlem

os_pci_discovery_capabilities_negative testini oluştur: “Öz döngülü next pointer”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Pointer döngüsü ve hizası sınırlandırılır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_capabilities

Mevcut başlangıç referansı

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

Olumlu deney

İki bağlı capability

Karşı-örnek / hata girdisi

Öz döngülü next pointer

Gerçek konuk kabulü

Keşif bounded ret ile biter

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_capabilities_positive
os_pci_discovery_capabilities_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

Öz döngülü next pointer karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Pointer döngüsü ve hizası sınırlandırılır.

Uygulanacak işlem

Tek ürün Image'ında “Keşif bounded ret ile biter” kabulünü koştur. scripts/os-acceptance/pci_discovery.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

Pointer döngüsü ve hizası sınırlandırılır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_capabilities

Mevcut başlangıç referansı

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

Olumlu deney

İki bağlı capability

Karşı-örnek / hata girdisi

Öz döngülü next pointer

Gerçek konuk kabulü

Keşif bounded ret ile biter

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_capabilities_positive
os_pci_discovery_capabilities_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

Keşif bounded ret ile biter; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Bridge penceresi izinli busları kapsar.

Uygulanacak işlem

“PCI bus ve bridge ağacı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Bridge penceresi izinli busları kapsar. “Bir nested bridge” kabulü ile “Secondary bus parentla çakışır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Bridge penceresi izinli busları kapsar

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_bridges

Mevcut başlangıç referansı

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

Olumlu deney

Bir nested bridge

Karşı-örnek / hata girdisi

Secondary bus parentla çakışır

Gerçek konuk kabulü

Her aygıt bir kez keşfedilir

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_bridges_positive
os_pci_discovery_bridges_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

Tür ve geçiş tablosu Bridge penceresi izinli busları kapsar kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Secondary bus parentla çakışı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/K1440: PASS.

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Bridge penceresi izinli busları kapsar.

Uygulanacak işlem

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

Bridge penceresi izinli busları kapsar

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_bridges

Mevcut başlangıç referansı

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

Olumlu deney

Bir nested bridge

Karşı-örnek / hata girdisi

Secondary bus parentla çakışır

Gerçek konuk kabulü

Her aygıt bir kez keşfedilir

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_bridges_positive
os_pci_discovery_bridges_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bir nested bridge ile Secondary bus parentla çakışır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Secondary bus parentla çakışı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/K1440: PASS.

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Bridge penceresi izinli busları kapsar.

Uygulanacak işlem

os_pci_discovery_bridges_positive testini oluştur: “Bir nested bridge”. 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

Bridge penceresi izinli busları kapsar

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_bridges

Mevcut başlangıç referansı

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

Olumlu deney

Bir nested bridge

Karşı-örnek / hata girdisi

Secondary bus parentla çakışır

Gerçek konuk kabulü

Her aygıt bir kez keşfedilir

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_bridges_positive
os_pci_discovery_bridges_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

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

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

“Secondary bus parentla çakışı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/K1440: PASS.

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Bridge penceresi izinli busları kapsar.

Uygulanacak işlem

os_pci_discovery_bridges_negative testini oluştur: “Secondary bus parentla çakışı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

Bridge penceresi izinli busları kapsar

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_bridges

Mevcut başlangıç referansı

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

Olumlu deney

Bir nested bridge

Karşı-örnek / hata girdisi

Secondary bus parentla çakışır

Gerçek konuk kabulü

Her aygıt bir kez keşfedilir

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_bridges_positive
os_pci_discovery_bridges_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

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

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

“Secondary bus parentla çakışı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/K1440: PASS.

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Bridge penceresi izinli busları kapsar.

Uygulanacak işlem

Tek ürün Image'ında “Her aygıt bir kez keşfedilir” kabulünü koştur. scripts/os-acceptance/pci_discovery.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

Bridge penceresi izinli busları kapsar

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_discovery.rs · os_pci_discovery_bridges

Mevcut başlangıç referansı

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

Olumlu deney

Bir nested bridge

Karşı-örnek / hata girdisi

Secondary bus parentla çakışır

Gerçek konuk kabulü

Her aygıt bir kez keşfedilir

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

kernel/tests/os/pci_discovery.rs
os_pci_discovery_bridges_positive
os_pci_discovery_bridges_negative
scripts/os-acceptance/pci_discovery.mjs

Geçiş koşulu

Her aygıt bir kez keşfedilir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

“Secondary bus parentla çakışı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/K1440: PASS.

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: I/O ve memory BAR karışmaz.

Uygulanacak işlem

“BAR boyut ve tür çözümü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: I/O ve memory BAR karışmaz. “32 ve 64 bit memory BAR” kabulü ile “Hizasız bozuk boy maskesi” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

I/O ve memory BAR karışmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_bar_size

Mevcut başlangıç referansı

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

Olumlu deney

32 ve 64 bit memory BAR

Karşı-örnek / hata girdisi

Hizasız bozuk boy maskesi

Gerçek konuk kabulü

BAR haritası taşmasız kurulur

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

kernel/tests/os/pci_resources.rs
os_pci_resources_bar_size_positive
os_pci_resources_bar_size_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

Tür ve geçiş tablosu I/O ve memory BAR karışmaz 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 bozuk boy maskesi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: I/O ve memory BAR karışmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

I/O ve memory BAR karışmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_bar_size

Mevcut başlangıç referansı

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

Olumlu deney

32 ve 64 bit memory BAR

Karşı-örnek / hata girdisi

Hizasız bozuk boy maskesi

Gerçek konuk kabulü

BAR haritası taşmasız kurulur

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

kernel/tests/os/pci_resources.rs
os_pci_resources_bar_size_positive
os_pci_resources_bar_size_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 32 ve 64 bit memory BAR ile Hizasız bozuk boy maskesi ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: I/O ve memory BAR karışmaz.

Uygulanacak işlem

os_pci_resources_bar_size_positive testini oluştur: “32 ve 64 bit memory BAR”. 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

I/O ve memory BAR karışmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_bar_size

Mevcut başlangıç referansı

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

Olumlu deney

32 ve 64 bit memory BAR

Karşı-örnek / hata girdisi

Hizasız bozuk boy maskesi

Gerçek konuk kabulü

BAR haritası taşmasız kurulur

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

kernel/tests/os/pci_resources.rs
os_pci_resources_bar_size_positive
os_pci_resources_bar_size_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; 32 ve 64 bit memory BAR girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: I/O ve memory BAR karışmaz.

Uygulanacak işlem

os_pci_resources_bar_size_negative testini oluştur: “Hizasız bozuk boy maskesi”. 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

I/O ve memory BAR karışmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_bar_size

Mevcut başlangıç referansı

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

Olumlu deney

32 ve 64 bit memory BAR

Karşı-örnek / hata girdisi

Hizasız bozuk boy maskesi

Gerçek konuk kabulü

BAR haritası taşmasız kurulur

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

kernel/tests/os/pci_resources.rs
os_pci_resources_bar_size_positive
os_pci_resources_bar_size_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: I/O ve memory BAR karışmaz.

Uygulanacak işlem

Tek ürün Image'ında “BAR haritası taşmasız kurulur” kabulünü koştur. scripts/os-acceptance/pci_resources.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

I/O ve memory BAR karışmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_bar_size

Mevcut başlangıç referansı

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

Olumlu deney

32 ve 64 bit memory BAR

Karşı-örnek / hata girdisi

Hizasız bozuk boy maskesi

Gerçek konuk kabulü

BAR haritası taşmasız kurulur

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

kernel/tests/os/pci_resources.rs
os_pci_resources_bar_size_positive
os_pci_resources_bar_size_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: BAR user RAM gibi cachelenmez.

Uygulanacak işlem

“BAR device memory map” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: BAR user RAM gibi cachelenmez. “Device nGnRE MMIO” kabulü ile “Normal RAM üstüne BAR” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

BAR user RAM gibi cachelenmez

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_mapping

Mevcut başlangıç referansı

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

Olumlu deney

Device nGnRE MMIO

Karşı-örnek / hata girdisi

Normal RAM üstüne BAR

Gerçek konuk kabulü

Çakışma mappingden önce reddedilir

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

kernel/tests/os/pci_resources.rs
os_pci_resources_mapping_positive
os_pci_resources_mapping_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

Tür ve geçiş tablosu BAR user RAM gibi cachelenmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: BAR user RAM gibi cachelenmez.

Uygulanacak işlem

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

Değişmez / korunan bağlam

BAR user RAM gibi cachelenmez

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_mapping

Mevcut başlangıç referansı

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

Olumlu deney

Device nGnRE MMIO

Karşı-örnek / hata girdisi

Normal RAM üstüne BAR

Gerçek konuk kabulü

Çakışma mappingden önce reddedilir

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

kernel/tests/os/pci_resources.rs
os_pci_resources_mapping_positive
os_pci_resources_mapping_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Device nGnRE MMIO ile Normal RAM üstüne BAR ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: BAR user RAM gibi cachelenmez.

Uygulanacak işlem

os_pci_resources_mapping_positive testini oluştur: “Device nGnRE MMIO”. 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

BAR user RAM gibi cachelenmez

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_mapping

Mevcut başlangıç referansı

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

Olumlu deney

Device nGnRE MMIO

Karşı-örnek / hata girdisi

Normal RAM üstüne BAR

Gerçek konuk kabulü

Çakışma mappingden önce reddedilir

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

kernel/tests/os/pci_resources.rs
os_pci_resources_mapping_positive
os_pci_resources_mapping_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: BAR user RAM gibi cachelenmez.

Uygulanacak işlem

os_pci_resources_mapping_negative testini oluştur: “Normal RAM üstüne BAR”. 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

BAR user RAM gibi cachelenmez

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_mapping

Mevcut başlangıç referansı

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

Olumlu deney

Device nGnRE MMIO

Karşı-örnek / hata girdisi

Normal RAM üstüne BAR

Gerçek konuk kabulü

Çakışma mappingden önce reddedilir

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

kernel/tests/os/pci_resources.rs
os_pci_resources_mapping_positive
os_pci_resources_mapping_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

Normal RAM üstüne BAR 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: BAR user RAM gibi cachelenmez.

Uygulanacak işlem

Tek ürün Image'ında “Çakışma mappingden önce reddedilir” kabulünü koştur. scripts/os-acceptance/pci_resources.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

BAR user RAM gibi cachelenmez

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_mapping

Mevcut başlangıç referansı

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

Olumlu deney

Device nGnRE MMIO

Karşı-örnek / hata girdisi

Normal RAM üstüne BAR

Gerçek konuk kabulü

Çakışma mappingden önce reddedilir

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

kernel/tests/os/pci_resources.rs
os_pci_resources_mapping_positive
os_pci_resources_mapping_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

Çakışma mappingden önce reddedilir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: DTB interrupt map hedefe bağlanır.

Uygulanacak işlem

“PCI INTx yönlendirme” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: DTB interrupt map hedefe bağlanır. “Bilinen slot interrupt tuple” kabulü ile “Eksik interrupt map” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

DTB interrupt map hedefe bağlanır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_intx

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen slot interrupt tuple

Karşı-örnek / hata girdisi

Eksik interrupt map

Gerçek konuk kabulü

Polling fallback açık ölçümle etiketlenir

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

kernel/tests/os/pci_resources.rs
os_pci_resources_intx_positive
os_pci_resources_intx_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

Tür ve geçiş tablosu DTB interrupt map hedefe bağlanır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: DTB interrupt map hedefe bağlanır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

DTB interrupt map hedefe bağlanır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_intx

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen slot interrupt tuple

Karşı-örnek / hata girdisi

Eksik interrupt map

Gerçek konuk kabulü

Polling fallback açık ölçümle etiketlenir

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

kernel/tests/os/pci_resources.rs
os_pci_resources_intx_positive
os_pci_resources_intx_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bilinen slot interrupt tuple ile Eksik interrupt map ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: DTB interrupt map hedefe bağlanır.

Uygulanacak işlem

os_pci_resources_intx_positive testini oluştur: “Bilinen slot interrupt tuple”. 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

DTB interrupt map hedefe bağlanır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_intx

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen slot interrupt tuple

Karşı-örnek / hata girdisi

Eksik interrupt map

Gerçek konuk kabulü

Polling fallback açık ölçümle etiketlenir

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

kernel/tests/os/pci_resources.rs
os_pci_resources_intx_positive
os_pci_resources_intx_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Bilinen slot interrupt tuple girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: DTB interrupt map hedefe bağlanır.

Uygulanacak işlem

os_pci_resources_intx_negative testini oluştur: “Eksik interrupt map”. 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

DTB interrupt map hedefe bağlanır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_intx

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen slot interrupt tuple

Karşı-örnek / hata girdisi

Eksik interrupt map

Gerçek konuk kabulü

Polling fallback açık ölçümle etiketlenir

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

kernel/tests/os/pci_resources.rs
os_pci_resources_intx_positive
os_pci_resources_intx_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

Eksik interrupt map karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: DTB interrupt map hedefe bağlanır.

Uygulanacak işlem

Tek ürün Image'ında “Polling fallback açık ölçümle etiketlenir” kabulünü koştur. scripts/os-acceptance/pci_resources.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

DTB interrupt map hedefe bağlanır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_intx

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen slot interrupt tuple

Karşı-örnek / hata girdisi

Eksik interrupt map

Gerçek konuk kabulü

Polling fallback açık ölçümle etiketlenir

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

kernel/tests/os/pci_resources.rs
os_pci_resources_intx_positive
os_pci_resources_intx_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

Polling fallback açık ölçümle etiketlenir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Tablo aralığı ve vektör sahipliği sınırlıdır.

Uygulanacak işlem

“MSIX kontrollü prototip” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Tablo aralığı ve vektör sahipliği sınırlıdır. “İki queue iki vektör” kabulü ile “Tablo BAR boyunu aşar” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Tablo aralığı ve vektör sahipliği sınırlıdır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_msix

Mevcut başlangıç referansı

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

Olumlu deney

İki queue iki vektör

Karşı-örnek / hata girdisi

Tablo BAR boyunu aşar

Gerçek konuk kabulü

Destek varsa gerçek IRQ yoksa unsupported

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

kernel/tests/os/pci_resources.rs
os_pci_resources_msix_positive
os_pci_resources_msix_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

Tür ve geçiş tablosu Tablo aralığı ve vektör sahipliği sınırlıdır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Tablo aralığı ve vektör sahipliği sınırlıdır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Tablo aralığı ve vektör sahipliği sınırlıdır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_msix

Mevcut başlangıç referansı

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

Olumlu deney

İki queue iki vektör

Karşı-örnek / hata girdisi

Tablo BAR boyunu aşar

Gerçek konuk kabulü

Destek varsa gerçek IRQ yoksa unsupported

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

kernel/tests/os/pci_resources.rs
os_pci_resources_msix_positive
os_pci_resources_msix_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki queue iki vektör ile Tablo BAR boyunu aşar ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Tablo aralığı ve vektör sahipliği sınırlıdır.

Uygulanacak işlem

os_pci_resources_msix_positive testini oluştur: “İki queue iki vektö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

Tablo aralığı ve vektör sahipliği sınırlıdır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_msix

Mevcut başlangıç referansı

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

Olumlu deney

İki queue iki vektör

Karşı-örnek / hata girdisi

Tablo BAR boyunu aşar

Gerçek konuk kabulü

Destek varsa gerçek IRQ yoksa unsupported

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

kernel/tests/os/pci_resources.rs
os_pci_resources_msix_positive
os_pci_resources_msix_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki queue iki vektör girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Tablo aralığı ve vektör sahipliği sınırlıdır.

Uygulanacak işlem

os_pci_resources_msix_negative testini oluştur: “Tablo BAR boyunu aşar”. 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

Tablo aralığı ve vektör sahipliği sınırlıdır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_msix

Mevcut başlangıç referansı

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

Olumlu deney

İki queue iki vektör

Karşı-örnek / hata girdisi

Tablo BAR boyunu aşar

Gerçek konuk kabulü

Destek varsa gerçek IRQ yoksa unsupported

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

kernel/tests/os/pci_resources.rs
os_pci_resources_msix_positive
os_pci_resources_msix_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

Tablo BAR boyunu aşar 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Tablo aralığı ve vektör sahipliği sınırlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Destek varsa gerçek IRQ yoksa unsupported” kabulünü koştur. scripts/os-acceptance/pci_resources.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

Tablo aralığı ve vektör sahipliği sınırlıdır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/pci_resources.rs · os_pci_resources_msix

Mevcut başlangıç referansı

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

Olumlu deney

İki queue iki vektör

Karşı-örnek / hata girdisi

Tablo BAR boyunu aşar

Gerçek konuk kabulü

Destek varsa gerçek IRQ yoksa unsupported

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

kernel/tests/os/pci_resources.rs
os_pci_resources_msix_positive
os_pci_resources_msix_negative
scripts/os-acceptance/pci_resources.mjs

Geçiş koşulu

Destek varsa gerçek IRQ yoksa unsupported; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Transport sürümü keşiften doğrulanır.

Uygulanacak işlem

“Virtio MMIO v2 yolu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Transport sürümü keşiften doğrulanır. “Modern MMIO aygıt” kabulü ile “Legacy v1 modern diye alınır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Transport sürümü keşiften doğrulanır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_mmio

Mevcut başlangıç referansı

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

Olumlu deney

Modern MMIO aygıt

Karşı-örnek / hata girdisi

Legacy v1 modern diye alınır

Gerçek konuk kabulü

Version1 feature pazarlığı kayıtlı

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_mmio_positive
os_virtio_transport_mmio_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

Tür ve geçiş tablosu Transport sürümü keşiften doğrulanır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Legacy v1 modern diye alı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/K1465: PASS.

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Transport sürümü keşiften doğrulanır.

Uygulanacak işlem

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

Transport sürümü keşiften doğrulanır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_mmio

Mevcut başlangıç referansı

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

Olumlu deney

Modern MMIO aygıt

Karşı-örnek / hata girdisi

Legacy v1 modern diye alınır

Gerçek konuk kabulü

Version1 feature pazarlığı kayıtlı

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_mmio_positive
os_virtio_transport_mmio_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Modern MMIO aygıt ile Legacy v1 modern diye alınır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Legacy v1 modern diye alı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/K1465: PASS.

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Transport sürümü keşiften doğrulanır.

Uygulanacak işlem

os_virtio_transport_mmio_positive testini oluştur: “Modern MMIO aygı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

Transport sürümü keşiften doğrulanır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_mmio

Mevcut başlangıç referansı

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

Olumlu deney

Modern MMIO aygıt

Karşı-örnek / hata girdisi

Legacy v1 modern diye alınır

Gerçek konuk kabulü

Version1 feature pazarlığı kayıtlı

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_mmio_positive
os_virtio_transport_mmio_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Modern MMIO aygıt girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Legacy v1 modern diye alı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/K1465: PASS.

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Transport sürümü keşiften doğrulanır.

Uygulanacak işlem

os_virtio_transport_mmio_negative testini oluştur: “Legacy v1 modern diye alı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

Transport sürümü keşiften doğrulanır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_mmio

Mevcut başlangıç referansı

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

Olumlu deney

Modern MMIO aygıt

Karşı-örnek / hata girdisi

Legacy v1 modern diye alınır

Gerçek konuk kabulü

Version1 feature pazarlığı kayıtlı

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_mmio_positive
os_virtio_transport_mmio_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

Legacy v1 modern diye alı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üş

“Legacy v1 modern diye alı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/K1465: PASS.

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Transport sürümü keşiften doğrulanır.

Uygulanacak işlem

Tek ürün Image'ında “Version1 feature pazarlığı kayıtlı” kabulünü koştur. scripts/os-acceptance/virtio_transport.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

Transport sürümü keşiften doğrulanır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_mmio

Mevcut başlangıç referansı

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

Olumlu deney

Modern MMIO aygıt

Karşı-örnek / hata girdisi

Legacy v1 modern diye alınır

Gerçek konuk kabulü

Version1 feature pazarlığı kayıtlı

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_mmio_positive
os_virtio_transport_mmio_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

Version1 feature pazarlığı kayıtlı; 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üş

“Legacy v1 modern diye alı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/K1465: PASS.

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Capability offset BAR aralığında kalır.

Uygulanacak işlem

“Virtio PCI common config” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Capability offset BAR aralığında kalır. “Common notify ISR device cfg” kabulü ile “Notify offset overflow” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Capability offset BAR aralığında kalır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_pci

Mevcut başlangıç referansı

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

Olumlu deney

Common notify ISR device cfg

Karşı-örnek / hata girdisi

Notify offset overflow

Gerçek konuk kabulü

Bozuk PCI config attach yapamaz

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_pci_positive
os_virtio_transport_pci_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

Tür ve geçiş tablosu Capability offset BAR aralığında 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Capability offset BAR aralığında kalır.

Uygulanacak işlem

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

Capability offset BAR aralığında kalır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_pci

Mevcut başlangıç referansı

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

Olumlu deney

Common notify ISR device cfg

Karşı-örnek / hata girdisi

Notify offset overflow

Gerçek konuk kabulü

Bozuk PCI config attach yapamaz

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_pci_positive
os_virtio_transport_pci_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Common notify ISR device cfg ile Notify offset overflow ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Capability offset BAR aralığında kalır.

Uygulanacak işlem

os_virtio_transport_pci_positive testini oluştur: “Common notify ISR device cfg”. 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

Capability offset BAR aralığında kalır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_pci

Mevcut başlangıç referansı

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

Olumlu deney

Common notify ISR device cfg

Karşı-örnek / hata girdisi

Notify offset overflow

Gerçek konuk kabulü

Bozuk PCI config attach yapamaz

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_pci_positive
os_virtio_transport_pci_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Common notify ISR device cfg girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Capability offset BAR aralığında kalır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Capability offset BAR aralığında kalır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_pci

Mevcut başlangıç referansı

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

Olumlu deney

Common notify ISR device cfg

Karşı-örnek / hata girdisi

Notify offset overflow

Gerçek konuk kabulü

Bozuk PCI config attach yapamaz

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_pci_positive
os_virtio_transport_pci_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

Notify offset overflow karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Capability offset BAR aralığında kalır.

Uygulanacak işlem

Tek ürün Image'ında “Bozuk PCI config attach yapamaz” kabulünü koştur. scripts/os-acceptance/virtio_transport.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

Capability offset BAR aralığında kalır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_pci

Mevcut başlangıç referansı

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

Olumlu deney

Common notify ISR device cfg

Karşı-örnek / hata girdisi

Notify offset overflow

Gerçek konuk kabulü

Bozuk PCI config attach yapamaz

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_pci_positive
os_virtio_transport_pci_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

Bozuk PCI config attach yapamaz; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Yalnız desteklenen altküme kabul edilir.

Uygulanacak işlem

“Feature negotiation sözleşmesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yalnız desteklenen altküme kabul edilir. “RO VERSION1 teklifleri” kabulü ile “FEATURES_OK geri okuması false” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Yalnız desteklenen altküme kabul edilir

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_features

Mevcut başlangıç referansı

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

Olumlu deney

RO VERSION1 teklifleri

Karşı-örnek / hata girdisi

FEATURES_OK geri okuması false

Gerçek konuk kabulü

DRIVER_OK yoluna geçilmez

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_features_positive
os_virtio_transport_features_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

Tür ve geçiş tablosu Yalnız desteklenen altküme kabul 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Yalnız desteklenen altküme kabul edilir.

Uygulanacak işlem

kernel/src/runtime/virtio_transport.rs hedefinde os_virtio_transport_features yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/virtio_mmio.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 desteklenen altküme kabul edilir

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_features

Mevcut başlangıç referansı

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

Olumlu deney

RO VERSION1 teklifleri

Karşı-örnek / hata girdisi

FEATURES_OK geri okuması false

Gerçek konuk kabulü

DRIVER_OK yoluna geçilmez

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_features_positive
os_virtio_transport_features_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. RO VERSION1 teklifleri ile FEATURES_OK geri okuması false ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Yalnız desteklenen altküme kabul edilir.

Uygulanacak işlem

os_virtio_transport_features_positive testini oluştur: “RO VERSION1 teklifleri”. 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 desteklenen altküme kabul edilir

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_features

Mevcut başlangıç referansı

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

Olumlu deney

RO VERSION1 teklifleri

Karşı-örnek / hata girdisi

FEATURES_OK geri okuması false

Gerçek konuk kabulü

DRIVER_OK yoluna geçilmez

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_features_positive
os_virtio_transport_features_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Yalnız desteklenen altküme kabul edilir.

Uygulanacak işlem

os_virtio_transport_features_negative testini oluştur: “FEATURES_OK geri okuması false”. 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 desteklenen altküme kabul edilir

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_features

Mevcut başlangıç referansı

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

Olumlu deney

RO VERSION1 teklifleri

Karşı-örnek / hata girdisi

FEATURES_OK geri okuması false

Gerçek konuk kabulü

DRIVER_OK yoluna geçilmez

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_features_positive
os_virtio_transport_features_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

FEATURES_OK geri okuması false 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Yalnız desteklenen altküme kabul edilir.

Uygulanacak işlem

Tek ürün Image'ında “DRIVER_OK yoluna geçilmez” kabulünü koştur. scripts/os-acceptance/virtio_transport.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 desteklenen altküme kabul edilir

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_features

Mevcut başlangıç referansı

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

Olumlu deney

RO VERSION1 teklifleri

Karşı-örnek / hata girdisi

FEATURES_OK geri okuması false

Gerçek konuk kabulü

DRIVER_OK yoluna geçilmez

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_features_positive
os_virtio_transport_features_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

DRIVER_OK yoluna geçilmez; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Reset ACK DRIVER FEATURES READY sırası korunur.

Uygulanacak işlem

“Virtio status yaşamı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Reset ACK DRIVER FEATURES READY sırası korunur. “Tam status geçişi” kabulü ile “FAILED sonrası queue enable” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Reset ACK DRIVER FEATURES READY sırası korunur

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_status

Mevcut başlangıç referansı

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

Olumlu deney

Tam status geçişi

Karşı-örnek / hata girdisi

FAILED sonrası queue enable

Gerçek konuk kabulü

Aygıt tanımlı başarısız durumda kalır

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_status_positive
os_virtio_transport_status_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

Tür ve geçiş tablosu Reset ACK DRIVER FEATURES READY sırası 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Reset ACK DRIVER FEATURES READY sırası korunur.

Uygulanacak işlem

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

Reset ACK DRIVER FEATURES READY sırası korunur

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_status

Mevcut başlangıç referansı

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

Olumlu deney

Tam status geçişi

Karşı-örnek / hata girdisi

FAILED sonrası queue enable

Gerçek konuk kabulü

Aygıt tanımlı başarısız durumda kalır

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_status_positive
os_virtio_transport_status_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Tam status geçişi ile FAILED sonrası queue enable ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Reset ACK DRIVER FEATURES READY sırası korunur.

Uygulanacak işlem

os_virtio_transport_status_positive testini oluştur: “Tam status geçişi”. 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

Reset ACK DRIVER FEATURES READY sırası korunur

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_status

Mevcut başlangıç referansı

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

Olumlu deney

Tam status geçişi

Karşı-örnek / hata girdisi

FAILED sonrası queue enable

Gerçek konuk kabulü

Aygıt tanımlı başarısız durumda kalır

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_status_positive
os_virtio_transport_status_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Tam status geçişi girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Reset ACK DRIVER FEATURES READY sırası korunur.

Uygulanacak işlem

os_virtio_transport_status_negative testini oluştur: “FAILED sonrası queue enable”. 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

Reset ACK DRIVER FEATURES READY sırası korunur

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_status

Mevcut başlangıç referansı

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

Olumlu deney

Tam status geçişi

Karşı-örnek / hata girdisi

FAILED sonrası queue enable

Gerçek konuk kabulü

Aygıt tanımlı başarısız durumda kalır

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_status_positive
os_virtio_transport_status_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

FAILED sonrası queue enable 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Reset ACK DRIVER FEATURES READY sırası korunur.

Uygulanacak işlem

Tek ürün Image'ında “Aygıt tanımlı başarısız durumda kalır” kabulünü koştur. scripts/os-acceptance/virtio_transport.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

Reset ACK DRIVER FEATURES READY sırası korunur

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_transport.rs · os_virtio_transport_status

Mevcut başlangıç referansı

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

Olumlu deney

Tam status geçişi

Karşı-örnek / hata girdisi

FAILED sonrası queue enable

Gerçek konuk kabulü

Aygıt tanımlı başarısız durumda kalır

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

kernel/tests/os/virtio_transport.rs
os_virtio_transport_status_positive
os_virtio_transport_status_negative
scripts/os-acceptance/virtio_transport.mjs

Geçiş koşulu

Aygıt tanımlı başarısız durumda kalır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Zincir döngüsüz ve tampon içindedir.

Uygulanacak işlem

“Descriptor zincir sahipliği” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Zincir döngüsüz ve tampon içindedir. “Üç descriptor read isteği” kabulü ile “Next kendi kendini gösterir” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Zincir döngüsüz ve tampon içindedir

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_descriptors

Mevcut başlangıç referansı

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

Olumlu deney

Üç descriptor read isteği

Karşı-örnek / hata girdisi

Next kendi kendini gösterir

Gerçek konuk kabulü

Bozuk zincir yayımlanmaz

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

kernel/tests/os/virtqueue.rs
os_virtqueue_descriptors_positive
os_virtqueue_descriptors_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

Tür ve geçiş tablosu Zincir döngüsüz ve tampon içindedir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Zincir döngüsüz ve tampon içindedir.

Uygulanacak işlem

kernel/src/runtime/virtqueue.rs hedefinde os_virtqueue_descriptors 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

Zincir döngüsüz ve tampon içindedir

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_descriptors

Mevcut başlangıç referansı

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

Olumlu deney

Üç descriptor read isteği

Karşı-örnek / hata girdisi

Next kendi kendini gösterir

Gerçek konuk kabulü

Bozuk zincir yayımlanmaz

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

kernel/tests/os/virtqueue.rs
os_virtqueue_descriptors_positive
os_virtqueue_descriptors_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç descriptor read isteği ile Next kendi kendini gösterir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Zincir döngüsüz ve tampon içindedir.

Uygulanacak işlem

os_virtqueue_descriptors_positive testini oluştur: “Üç descriptor read isteği”. 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

Zincir döngüsüz ve tampon içindedir

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_descriptors

Mevcut başlangıç referansı

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

Olumlu deney

Üç descriptor read isteği

Karşı-örnek / hata girdisi

Next kendi kendini gösterir

Gerçek konuk kabulü

Bozuk zincir yayımlanmaz

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

kernel/tests/os/virtqueue.rs
os_virtqueue_descriptors_positive
os_virtqueue_descriptors_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Üç descriptor read isteği girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Zincir döngüsüz ve tampon içindedir.

Uygulanacak işlem

os_virtqueue_descriptors_negative testini oluştur: “Next kendi kendini gösterir”. 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

Zincir döngüsüz ve tampon içindedir

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_descriptors

Mevcut başlangıç referansı

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

Olumlu deney

Üç descriptor read isteği

Karşı-örnek / hata girdisi

Next kendi kendini gösterir

Gerçek konuk kabulü

Bozuk zincir yayımlanmaz

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

kernel/tests/os/virtqueue.rs
os_virtqueue_descriptors_positive
os_virtqueue_descriptors_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

Next kendi kendini gösterir 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Zincir döngüsüz ve tampon içindedir.

Uygulanacak işlem

Tek ürün Image'ında “Bozuk zincir yayımlanmaz” kabulünü koştur. scripts/os-acceptance/virtqueue.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

Zincir döngüsüz ve tampon içindedir

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_descriptors

Mevcut başlangıç referansı

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

Olumlu deney

Üç descriptor read isteği

Karşı-örnek / hata girdisi

Next kendi kendini gösterir

Gerçek konuk kabulü

Bozuk zincir yayımlanmaz

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

kernel/tests/os/virtqueue.rs
os_virtqueue_descriptors_positive
os_virtqueue_descriptors_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: u16 index sarmalanması açık hesaptır.

Uygulanacak işlem

“Avail used ring sarmalanması” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: u16 index sarmalanması açık hesaptır. “65535 sonrası sıfır” kabulü ile “Aygıt used index kapasite aşımı” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

u16 index sarmalanması açık hesaptır

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_indices

Mevcut başlangıç referansı

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

Olumlu deney

65535 sonrası sıfır

Karşı-örnek / hata girdisi

Aygıt used index kapasite aşımı

Gerçek konuk kabulü

Eski completion yeni istek sayılmaz

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

kernel/tests/os/virtqueue.rs
os_virtqueue_indices_positive
os_virtqueue_indices_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

Tür ve geçiş tablosu u16 index sarmalanması açık hesaptı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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: u16 index sarmalanması açık hesaptır.

Uygulanacak işlem

kernel/src/runtime/virtqueue.rs hedefinde os_virtqueue_indices 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

u16 index sarmalanması açık hesaptır

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_indices

Mevcut başlangıç referansı

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

Olumlu deney

65535 sonrası sıfır

Karşı-örnek / hata girdisi

Aygıt used index kapasite aşımı

Gerçek konuk kabulü

Eski completion yeni istek sayılmaz

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

kernel/tests/os/virtqueue.rs
os_virtqueue_indices_positive
os_virtqueue_indices_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 65535 sonrası sıfır ile Aygıt used index kapasite aşımı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: u16 index sarmalanması açık hesaptır.

Uygulanacak işlem

os_virtqueue_indices_positive testini oluştur: “65535 sonrası 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

u16 index sarmalanması açık hesaptır

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_indices

Mevcut başlangıç referansı

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

Olumlu deney

65535 sonrası sıfır

Karşı-örnek / hata girdisi

Aygıt used index kapasite aşımı

Gerçek konuk kabulü

Eski completion yeni istek sayılmaz

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

kernel/tests/os/virtqueue.rs
os_virtqueue_indices_positive
os_virtqueue_indices_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; 65535 sonrası sıfır girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: u16 index sarmalanması açık hesaptır.

Uygulanacak işlem

os_virtqueue_indices_negative testini oluştur: “Aygıt used index kapasite aşımı”. 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

u16 index sarmalanması açık hesaptır

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_indices

Mevcut başlangıç referansı

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

Olumlu deney

65535 sonrası sıfır

Karşı-örnek / hata girdisi

Aygıt used index kapasite aşımı

Gerçek konuk kabulü

Eski completion yeni istek sayılmaz

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

kernel/tests/os/virtqueue.rs
os_virtqueue_indices_positive
os_virtqueue_indices_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

Aygıt used index kapasite aşımı 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: u16 index sarmalanması açık hesaptır.

Uygulanacak işlem

Tek ürün Image'ında “Eski completion yeni istek sayılmaz” kabulünü koştur. scripts/os-acceptance/virtqueue.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

u16 index sarmalanması açık hesaptır

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_indices

Mevcut başlangıç referansı

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

Olumlu deney

65535 sonrası sıfır

Karşı-örnek / hata girdisi

Aygıt used index kapasite aşımı

Gerçek konuk kabulü

Eski completion yeni istek sayılmaz

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

kernel/tests/os/virtqueue.rs
os_virtqueue_indices_positive
os_virtqueue_indices_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

Eski completion yeni istek sayılmaz; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: ID tam bir canlı istek eşleştirir.

Uygulanacak işlem

“Tamamlama ID uzunluk status” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: ID tam bir canlı istek eşleştirir. “İki out of order completion” kabulü ile “Yabancı veya tekrar ID” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

ID tam bir canlı istek eşleştirir

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_completion

Mevcut başlangıç referansı

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

Olumlu deney

İki out of order completion

Karşı-örnek / hata girdisi

Yabancı veya tekrar ID

Gerçek konuk kabulü

DMA yanlış sahibine iade edilmez

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

kernel/tests/os/virtqueue.rs
os_virtqueue_completion_positive
os_virtqueue_completion_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

Tür ve geçiş tablosu ID tam bir canlı istek eşleştirir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: ID tam bir canlı istek eşleştirir.

Uygulanacak işlem

kernel/src/runtime/virtqueue.rs hedefinde os_virtqueue_completion 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

ID tam bir canlı istek eşleştirir

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_completion

Mevcut başlangıç referansı

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

Olumlu deney

İki out of order completion

Karşı-örnek / hata girdisi

Yabancı veya tekrar ID

Gerçek konuk kabulü

DMA yanlış sahibine iade edilmez

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

kernel/tests/os/virtqueue.rs
os_virtqueue_completion_positive
os_virtqueue_completion_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki out of order completion ile Yabancı veya tekrar ID ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: ID tam bir canlı istek eşleştirir.

Uygulanacak işlem

os_virtqueue_completion_positive testini oluştur: “İki out of order completion”. 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

ID tam bir canlı istek eşleştirir

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_completion

Mevcut başlangıç referansı

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

Olumlu deney

İki out of order completion

Karşı-örnek / hata girdisi

Yabancı veya tekrar ID

Gerçek konuk kabulü

DMA yanlış sahibine iade edilmez

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

kernel/tests/os/virtqueue.rs
os_virtqueue_completion_positive
os_virtqueue_completion_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: ID tam bir canlı istek eşleştirir.

Uygulanacak işlem

os_virtqueue_completion_negative testini oluştur: “Yabancı veya tekrar ID”. 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

ID tam bir canlı istek eşleştirir

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_completion

Mevcut başlangıç referansı

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

Olumlu deney

İki out of order completion

Karşı-örnek / hata girdisi

Yabancı veya tekrar ID

Gerçek konuk kabulü

DMA yanlış sahibine iade edilmez

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

kernel/tests/os/virtqueue.rs
os_virtqueue_completion_positive
os_virtqueue_completion_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

Yabancı veya tekrar ID karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: ID tam bir canlı istek eşleştirir.

Uygulanacak işlem

Tek ürün Image'ında “DMA yanlış sahibine iade edilmez” kabulünü koştur. scripts/os-acceptance/virtqueue.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

ID tam bir canlı istek eşleştirir

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_completion

Mevcut başlangıç referansı

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

Olumlu deney

İki out of order completion

Karşı-örnek / hata girdisi

Yabancı veya tekrar ID

Gerçek konuk kabulü

DMA yanlış sahibine iade edilmez

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

kernel/tests/os/virtqueue.rs
os_virtqueue_completion_positive
os_virtqueue_completion_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

DMA yanlış sahibine iade 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Dolu queue mevcut istekleri korur.

Uygulanacak işlem

“Dolu kuyruk ve reset yolu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Dolu queue mevcut istekleri korur. “Limitte descriptor tüketimi” kabulü ile “Bir fazla baş talebi” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Dolu queue mevcut istekleri korur

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_backpressure

Mevcut başlangıç referansı

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

Olumlu deney

Limitte descriptor tüketimi

Karşı-örnek / hata girdisi

Bir fazla baş talebi

Gerçek konuk kabulü

EAGAIN sonra tamamlanan iş ilerler

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

kernel/tests/os/virtqueue.rs
os_virtqueue_backpressure_positive
os_virtqueue_backpressure_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

Tür ve geçiş tablosu Dolu queue mevcut istekleri korur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Dolu queue mevcut istekleri korur.

Uygulanacak işlem

kernel/src/runtime/virtqueue.rs hedefinde os_virtqueue_backpressure 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

Dolu queue mevcut istekleri korur

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_backpressure

Mevcut başlangıç referansı

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

Olumlu deney

Limitte descriptor tüketimi

Karşı-örnek / hata girdisi

Bir fazla baş talebi

Gerçek konuk kabulü

EAGAIN sonra tamamlanan iş ilerler

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

kernel/tests/os/virtqueue.rs
os_virtqueue_backpressure_positive
os_virtqueue_backpressure_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Limitte descriptor tüketimi ile Bir fazla baş talebi ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Dolu queue mevcut istekleri korur.

Uygulanacak işlem

os_virtqueue_backpressure_positive testini oluştur: “Limitte descriptor tüketimi”. 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

Dolu queue mevcut istekleri korur

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_backpressure

Mevcut başlangıç referansı

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

Olumlu deney

Limitte descriptor tüketimi

Karşı-örnek / hata girdisi

Bir fazla baş talebi

Gerçek konuk kabulü

EAGAIN sonra tamamlanan iş ilerler

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

kernel/tests/os/virtqueue.rs
os_virtqueue_backpressure_positive
os_virtqueue_backpressure_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Dolu queue mevcut istekleri korur.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Dolu queue mevcut istekleri korur

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_backpressure

Mevcut başlangıç referansı

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

Olumlu deney

Limitte descriptor tüketimi

Karşı-örnek / hata girdisi

Bir fazla baş talebi

Gerçek konuk kabulü

EAGAIN sonra tamamlanan iş ilerler

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

kernel/tests/os/virtqueue.rs
os_virtqueue_backpressure_positive
os_virtqueue_backpressure_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar. Bu hamlenin koruduğu değişmez: Dolu queue mevcut istekleri korur.

Uygulanacak işlem

Tek ürün Image'ında “EAGAIN sonra tamamlanan iş ilerler” kabulünü koştur. scripts/os-acceptance/virtqueue.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

Dolu queue mevcut istekleri korur

Kod hedefi — henüz öneri

kernel/src/runtime/virtqueue.rs · os_virtqueue_backpressure

Mevcut başlangıç referansı

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

Olumlu deney

Limitte descriptor tüketimi

Karşı-örnek / hata girdisi

Bir fazla baş talebi

Gerçek konuk kabulü

EAGAIN sonra tamamlanan iş ilerler

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

kernel/tests/os/virtqueue.rs
os_virtqueue_backpressure_positive
os_virtqueue_backpressure_negative
scripts/os-acceptance/virtqueue.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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