Hibana Rust için koreografik protokol çalışma zamanını tanıttı

Hibana adlı yeni açık kaynaklı Rust kütüphanesi, çok taraflı sonlu iletişim protokollerinin tek bir küresel koreografiden türetilerek yürütülmesini sağlayan çalışma zamanı denetim çekirdeğini duyurdu. Geliştirilen sistem, küresel protokol tanımını her bir rol için kompakt programlara dönüştürüyor ve çalışma zamanında atılan her gönderme, alma ya da yönlendirme adımının bu tanımla tam eşleşmesini zorunlu kılıyor. Böylece uç noktalar arasındaki iletişim adımları protokol dışına çıkamıyor.

Sistem, dinamik bellek ayırıcısına ihtiyaç duymayan koşulsuz no_std mimarisiyle geliştirildi ve bellek yönetimini tamamen çağırıcıya ait depolama alanları üzerinden yürütüyor. 256 adede kadar rolü tek baytlık kimlik alanında destekleyen Hibana, her durum için ayrı Rust devam tipi üretmek yerine durumları kompakt tanımlayıcılarda saklayarak uç nokta tiplerinin büyümesini engelliyor. Protokol doğrulama süreçleri Kani model denetimi ve Lean resmi kanıtlarıyla desteklenen mimari, hem sunucu hem de gömülü hedeflerde aynı genel programlama arayüzünü koruyor.

Kütüphane doğrudan bir ağ yığını veya dağıtık algoritma sunmuyor; bunun yerine her bir bağlı uç noktada yerel protokol uyumunu garanti ediyor. En az Rust 1.95 sürümünü gerektiren Hibana, geliştiricilere asenkron mesajlaşma, paralel akışlar ve döngüsel bölgeler içeren karmaşık etkileşim modellerini güvenli biçimde tanımlama ve denetleme olanağı sağlıyor.