Lingua Franca eşzamanlı sistem programlamayı deterministik hale getiriyor
Öne çıkanlar
- Lingua Franca C, C++, Python, TypeScript ve Rust dillerini reaktör odaklı koordinasyon modeliyle destekliyor.
- Sistem, bünyesindeki nedensellik analizi ve entegre zamanlama semantiği sayesinde veri yarışlarını yapısal olarak engelliyor.
- Açık kaynaklı proje UC Berkeley, Kiel Üniversitesi ve TU Dresden dahil birçok uluslararası üniversitenin katkısıyla geliştiriliyor.
Kaliforniya Üniversitesi Berkeley öncülüğünde geliştirilen açık kaynaklı koordinasyon dili Lingua Franca, eşzamanlı, zaman duyarlı ve dağıtık sistemler için deterministik bir programlama modeli sunuyor. Reaktör odaklı mimariyi temel alan platform; iş parçacığı yönetimi, veri yarışları ve karmaşık senkronizasyon problemlerini yapısal olarak ortadan kaldırmayı hedefliyor. On yıllara dayanan hesaplama modelleri araştırmalarına dayanan proje, geleneksel aktör, iş parçacığı veya yayın-abone modellerine kıyasla tekrarlanabilir davranışlar vadediyor.
Yeni bir bağımsız programlama dili yerine bir koordinasyon katmanı olarak kurgulanan Lingua Franca, geliştiricilerin mevcut dillerini kullanmalarına olanak tanıyor. Reaktif bileşenlerin işlevsel gövdeleri halihazırda C, C++, Python, TypeScript ve Rust dillerinde yazılabiliyor. Sistemin çekirdeğine entegre edilen zamanlama semantiği sayesinde, zamana duyarlı görevler manuel mantık kurmaya gerek kalmadan kesin kurallarla yürütülebiliyor ve nedensellik analizleriyle mantıksal döngü hataları engelleniyor.
Kiel Üniversitesi ve Dresden Teknik Üniversitesi araştırmacılarının da dahil olduğu uluslararası bir konsorsiyum tarafından desteklenen proje, tekil mimarilerden dağıtık mimarilere geçişi minimum kod değişikliğiyle sağlıyor. Platforma UT Dallas, NTNU, Hanyang Üniversitesi ve Arizona Eyalet Üniversitesi bünyesindeki gömülü sistemler, gerçek zamanlı altyapılar ve ağ güvenliği uzmanları da katkı sunmaya devam ediyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.