يقدم Valen مدقق استعارة مرن جديد مصمم لحل تحديات أمان الذاكرة. يجمع بين الاستعارة الجماعية مع عد المراجع والمراجع الجيلية. على عكس Rust، يستخدم Valen نوع مرجع استعارة واحد ويتذكر إلى أين تشير المراجع، مما يتيح الوصول المعقد للبيانات. يدعم النظام التشغيل البيني مع كود Rust ويهدف إلى أن يكون بسيطاً مثل جمع القمامة مع الحفاظ على قوة مدقق الاستعارة. تعالج هذه الطريقة تعارض المشترك-xor-القابل للتغيير من خلال السماح للمراجع بالتعايش مع القابلية للتغيير تحت ظروف خاضعة للرقابة.
تم إحياء الاستعارة الجماعية، التي اقترحها في الأصل Nick Smith، بعد التخلي عنها لصالح Mojo. ومنذ ذلك الحين أثرت على لغات مثل Carbon من Google، وAnte، وPlecra، وZeta، وFang. يدمج Valen هذا المفهوم مع نهج Vale وتوافق Rust. يتتبع المترجم أصول المراجع لفرض أمان الذاكرة دون قواعد ملكية صارمة. يمكن أن تعيد هذه المرونة تعريف كيفية موازنة اللغات الحديثة بين الأداء والأمان.
المصدر: Hacker News · لخّصه HeadlinesBriefing