turkOS
TASARIM DEFTERİ / KARARLAR

Neyi seçtik.
Neyi erteledik.

Her teknik tercih bir sorunu çözerken başka bir sınır yaratır. Aşağıdaki kayıtlar bu sınırı saklamaz: sorun, tercih, bedel, kod kanıtı ve kararın ne zaman yeniden açılacağı birlikte okunur.

5kayıtlı karar
4uygulanan teknik tercih
1yayın ilkesi

Durum etiketleri mimarinin olgunluğunu değil, kararın şu an kodda uygulanıp uygulanmadığını gösterir.

K01 / MİMARİ KARARUYGULANIYOR

CPU taklidi yerine QEMU + HVF

Hangi sorun?

Parallels benzeri deneyim hedefi var; ilk günde CPU, bellek ve aygıt emülasyonunu yeniden yazmak çekirdek geliştirmesini geciktirirdi.

Ne seçildi, neden?

Rust uygulaması VM yaşam döngüsünü sahipleniyor; yürütme ve aygıt modeli QEMU/HVF üzerinden geliyor.

Bedeli ve sınırı

Tamamen bağımsız hipervizör değil. Arayüz ve VM çekirdeği ileride ayrılabilir.

Sonraki karara bağ

CLI yaşam döngüsünü kütüphaneye taşıyıp grafik ön yüzle paylaşmak.

KAYNAK / KANITsrc/main.rs · 7 VM testi · Alpine ve TurkOS açılışı

K02 / MİMARİ KARARUYGULANIYOR

Sürümlü virt-11.1 profili

Hangi sorun?

Sürümsüz virt profili QEMU güncellemeleriyle değişebilir; testin kullandığı sanal kartı kaydetmek gerekir.

Ne seçildi, neden?

Yeni VM kayıtları virt-11.1 kullanıyor, eski virt kayıtları geriye uyumlu okunuyor.

Bedeli ve sınırı

Başka QEMU sürümlerinde kullanılabilirlik ve geçiş ayrıca sınanmalı.

Sonraki karara bağ

Profil uyumluluğunu sürüm matrisi ve GUI ayarlarında görünür kılmak.

KAYNAK / KANITsrc/main.rs · machine_lookup_matches_whole_name ve legacy_config testleri

K03 / MİMARİ KARARUYGULANIYOR

Bilinmeyen rezervasyonda kapalı kal

Hangi sorun?

Desteklenmeyen DTB adres çevirisini tahmin etmek korunan RAM’i serbest sayabilir.

Ne seçildi, neden?

Statik reg + boş ranges kabul; dinamik size, çevrilen ranges ve taşma açık hata.

Bedeli ve sınırı

Bazı geçerli cihaz ağaçları bu dar profilde açılmaz.

Sonraki karara bağ

Genel bus çevirisi eklendiğinde ayrı test ve açık uyumluluk profili.

KAYNAK / KANITkernel/src/dtb.rs · negatif testler · özel DTB açılışı

K04 / MİMARİ KARARUYGULANIYOR

Önce sınırlı fiziksel ayırıcı

Hangi sorun?

MMU ve heap için korunmuş RAM’den fiziksel çerçeve gerekir; bellek sahipliği henüz kurulmadan sanal bellek açmak risklidir.

Ne seçildi, neden?

FreeMap kaynaklı 4 KiB çerçeveler, tek CPU ve sabit metaveri kapasitesi.

Bedeli ve sınırı

Aşırı parçalanmada TooManyRegions hatası; eşzamanlı CPU desteği yok.

Sonraki karara bağ

Çoklu yük testi, metaveri stratejisi, sonra MMU sayfa tabloları.

KAYNAK / KANITkernel/src/memory.rs · tükenme/parçalanma testleri · FRAME-TEST

K05 / MİMARİ KARARYAYIN KURALI

Kanıt düzeylerini ayrı tut

Hangi sorun?

Derleme, VM açılışı, çekirdek açılışı ve gerçek donanım kabulü aynı başarı etiketi değildir.

Ne seçildi, neden?

Site her sonuç için kaynak, gözlem, kapsam sınırı ve sonraki kapıyı gösteriyor.

Bedeli ve sınırı

Daha uzun mühendislik kaydı tutmak gerekiyor; bu bilinçli bir maliyet.

Sonraki karara bağ

Yeni çekirdek ve GUI adımlarını aynı kayıt biçimine eklemek.

KAYNAK / KANITscripts/verify.sh · scripts/check-site.mjs · 15 sayfa yapısal kontrolü

Kararların zinciri

K01 gözlenebilir VM'i kurdu → K02 sanal kartı sabitledi → K03 korunan belleği yanlış yorumlamayı engelledi → K04 yalnızca doğrulanmış sayfaları dağıttı. K05 bütün bu iddiaların kanıt sınırını sitede görünür tutar.

Kod aşamalarına dön