Araştırmacılar async ve await yapılarının diller arasındaki semantik farklarını ortaya koydu

Brown Üniversitesi araştırmacıları, eşzamanlı programlamada yaygın olarak kullanılan async ve await anahtar sözcüklerinin diller arasındaki anlamsal farklarını inceleyen yeni bir çalışma yayımladı. Araştırma ekibi, Python, Rust ve Swift gibi modern programlama dillerinin aynı görünen asenkron kod bloklarında tamamen farklı davranışlar sergilediğini ortaya koydu. Basit bir arka plan kayıt görevinin yürütülmesini test eden ekip, incelenen yedi farklı çalışma zamanı ortamında dört ayrı çıktı türüyle karşılaştı.

Araştırmacılar bu farklılıkları açıklamak amacıyla asenkron görevlerin yaşam döngüsünü kapsayan dokuz ayrı tasarım boyutu tanımladı. Görevlerin başlangıcı, sonlandırılması ve iptal süreçlerini temsil eden bu boyutlar, çalışma zamanlarının semantik tercihlerini net biçimde ortaya çıkardı. Örneğin Swift ve Trio gibi ortamlar görev kapsamı tamamlandığında farklı imha mekanizmaları işlettiği için aynı kod kurgusunda farklı sonuçlar üretti. Bu kapsamda Swift görevi doğrudan iptal ederken, Trio arka plan görevinin tamamlanmasını beklemeyi tercih etti.

Çalışma grubu, tespit edilen tasarım alanını ve kuralları resmi bir semantik hesaplama modeline dönüştürdü. Geliştirilen bu biçimsel model, asenkron programların çalışma anındaki durum geçişlerini ve ayrışan yürütme adımlarını matematiksel kesinlikle açıklamayı başardı. Araştırma ekibi, asenkron programlamada tek bir doğru yaklaşım bulunmadığını, her dilin bellek kullanımı, performans ve yazım kolaylığı ekseninde kendi ödünleşimlerini yaptığını aktardı.