Vale'in değişmez bölge ödünç alma yaklaşımına dair ilk prototip

 (verdagon.dev)
2 puan yazan GN⁺ 2023-07-13 | 1 yorum | WhatsApp'ta paylaş
  • Vale, programlama dillerinde bellek güvenliğine yönelik yeni bir yaklaşım olan değişmez bölge ödünç alma için bir prototip geliştirdi.
  • Bu prototip, bellek güvenliği ek yükünü ortadan kaldırmak ve Vale kodunu son derece hızlı hale getirmek için jenerasyonel referanslar ile bölge ödünç almayı birleştiriyor.
  • Bölge ödünç alma isteğe bağlı; programcılar programın hangi bölümlerini optimize edeceklerini seçebiliyor.
  • Prototip, benchmark'larla doğrulandı ve güvensiz modla karşılaştırıldığında gözlemlenebilir hiçbir ek yük göstermiyor.
  • Vale'in, C ve C++ gibi dillerle rekabet edebilmesi için hâlâ Vale'e özgü bir preoptimizer ve satır içi veri desteği üzerinde çalışması gerekiyor.
  • Ekip, Vale'i ürün seviyesinde bir dil haline getirmek için çalışmaları destekleyecek ve yardımcı olacak sponsorlar arıyor.

İlgili okumalar

1 yorum

 
GN⁺ 2023-07-13
Hacker News yorumu
- Başka bir yorumcu Vale'e ilgi gösteriyor ve RSS beslemesine abone olmaya başlıyor.
- Vale projesini desteklemek için daha fazla sponsor aranıyor.
- Nesil referansları bağlamında "güvenli"nin ne anlama geldiğine dair bir soru ortaya atılıyor.
- Vale'in önceden optimizasyon yaklaşımı, Rust'ın Cranelift'i ile karşılaştırılıyor.
- Vale'in performans ile güvenliği birleştiren yaklaşımı övülüyor.
- Bir yorumcu, bu makaleyi anlamanın zor olduğunu söyleyip açıklama istiyor.
- Vale'in V'den farklı bir dil olduğu netleştiriliyor.
- Kilometre taşına ulaşıldığı için Evan'a kutlama mesajı gönderiliyor.
- AOT derleme, statik tipleme ve bellek güvenliği teknikleri dahil olmak üzere Vale'in özellikleri ve avantajlarına dair açıklama yapılıyor.```