geçenlerde Projeyle ilgili bilgiler yayınlandı işletim sistemi sanal makinesini taşımak için Üzerinde çalışmak için hayalet mikro çekirdek işletim sistemi ortamı Genod.
Bilgiler, ana versiyonunun işaret edildiği bir röportajda açıklandı. Phantom OS artık pilot projeler için hazır, ve Genode tabanlı sürüm yıl sonuna kadar kullanıma hazır olacak. Aynı zamanda, proje web sitesinde şimdiye kadar sadece uygulanabilir bir kavramsal prototip ilan edildi, kararlılığı ve işlevselliği endüstriyel kullanıma uygun bir düzeye getirilmedi ve en yakın planlar arasında bir alfa versiyonunun oluşturulması yer alıyor. .
2000'lerin başından beri, Phantom OS geliştirildi Dmitry Zavalishin'in kişisel bir projesi olarak ve 2010'dan beri Dmitry tarafından oluşturulan Digital Zone şirketinin kanatları altına aktarılıyor.
Sistem yüksek güvenilirliğe odaklanması ve "her şey bir nesnedir" konseptini kullanmasıyla dikkat çekiyor bellek durumunun korunması ve sürekli bir çalışma döngüsü nedeniyle dosyaların kullanımını ortadan kaldıran "her şey bir dosyadır" yerine.
Phantom'daki uygulamalar sonlandırılmaz, yalnızca duraklatılır ve devam ettirilir kaldıkları yerden. Tüm değişkenler ve veri yapıları, uygulamanın ihtiyacı olduğu sürece saklanabilir ve programcının verileri kaydetmek için özel bir özen göstermesi gerekmez.
Phantom'daki uygulamalar bayt kodunda derlenirJava sanal makinesine benzer şekilde yığın tabanlı bir sanal makinede çalışan . Sanal makine, uygulama belleği kalıcılığı sağlar: sistem, sanal makine durumunun anlık görüntülerini kalıcı ortama periyodik olarak indirir.
Kapanma veya çökmeden sonra, çalışma, son kaydedilen bellek anlık görüntüsünden devam edebilir. Anlık görüntüler eşzamansız olarak ve sanal makine askıya alınmadan oluşturulur, ancak anlık görüntü, sanal makine durdurulmuş, diske kaydedilmiş ve yeniden başlatılmış gibi tek bir segmenti yakalar.
Tüm uygulamalar ortak bir genel adres alanında çalışır., çekirdek ve uygulamalar arasındaki bağlam geçişlerine olan ihtiyacı ortadan kaldıran ve referans geçişi yoluyla nesne alışverişi yapabilen sanal bir makinede çalışan uygulamalar arasındaki iletişimi büyük ölçüde basitleştiren ve hızlandıran .
Java Programlarını Phantom'a Taşıma dikkate al uygulamaları geliştirmenin ana yollarından biri, bu, Phantom sanal makinesinin JVM ile benzerliği ile kolaylaştırılmıştır. Java dili için bayt kodu derleyicisine ek olarak proje, Python ve C# için derleyicilerin oluşturulmasını ve WebAssembly'nin ara kodundan bir çevirmenin uygulanmasını öngörüyor.
Geleneksel Phantom OS, artı sanal makine, iş parçacığı uygulamasıyla kendi çekirdeğini içerirda yardımcı olur. bellek yöneticisi, çöp toplayıcı, senkronizasyon mekanizmaları, bir I/O sistemi ve ekipmanla çalışmak için sürücüler, bu da projenin yaygın kullanıma hazır hale getirilmesini önemli ölçüde karmaşıklaştırıyor.
Ayrı olarak, bir ağ yığını, bir grafik alt sistemi ve bir kullanıcı arabirimi olan bileşenler geliştirilmektedir. Grafik alt sisteminin ve pencere yöneticisinin çekirdek düzeyinde çalıştığını belirtmekte fayda var.
Projenin istikrarını, taşınabilirliğini ve güvenliğini geliştirmek, bileşenleri kullanarak çalışmak için Phantom sanal makinesini taşımaya çalıştı açık mikro çekirdek işletim sistemi GenodAlman Genode Labs firması tarafından geliştirilmekte olan , Genode tabanlı Phantom ile deneme yapmak isteyenler için Docker tabanlı özel bir yapı ortamı hazırlanmıştır.
El kullanımı Genode, zaten kanıtlanmış mikro çekirdekleri ve denetleyicileri kullanmayı mümkün kılacaktır., sürücüleri kullanıcı alanına getirmenin yanı sıra (mevcut formlarında sürücüler C ile yazılmıştır ve Phantom çekirdek düzeyinde çalıştırılır).
Özellikle, matematiksel güvenilirlik kontrolünden geçen ve uygulamanın resmi dilde belirtilen özelliklere tam olarak uyduğunu teyit eden seL4 mikro çekirdeğinin kullanılması mümkün olacaktır. Tüm işletim sistemi ortamının doğrulanmasına izin verecek olan Phantom sanal makinesi için benzer bir güvenilirlik testinin hazırlanmasına önem verilmektedir.
Genode tabanlı limanın ana uygulama alanı, çeşitli endüstriyel ve gömülü cihazlar için uygulamaların geliştirilmesidir.
Şu anda, sanal makine için bir değişiklik seti zaten hazırlandı ve çekirdeğin kalıcılık bileşenleri ve ana düşük seviyeli arayüzler için Genode'un üzerinde çalışan kancalar eklendi.
Phantom VM'nin zaten bir Genode 64-bit ortamında çalışabileceği, ancak VM'nin kalıcılık modunda henüz konuşlandırılmadığı, sürücü alt sisteminin yeniden işlenmesi gerektiği ve bir ağ yığını ve grafik alt sistemine sahip bileşenlerin olması gerektiği belirtildi. Genode için uyarlanmıştır.
Sistemin çalışması hakkında daha fazla bilgi edinmek isterseniz, ayrıntılara inceleyebilirsiniz. aşağıdaki bağlantı.