HeadlinesBriefing HeadlinesBriefing.com

ভ্যালেনের নতুন বোরো চেকার: নমনীয় মেমরি সুরক্ষা

Hacker News •
×

ভ্যালেন মেমরি সুরক্ষার চ্যালেঞ্জ সমাধানের জন্য একটি নতুন নমনীয় বোরো চেকার চালু করেছে। এটি গ্রুপ বোরোইংকে রেফারেন্স কাউন্টিং এবং জেনারেশনাল রেফারেন্সের সাথে একত্রিত করে। রাস্টের বিপরীতে, ভ্যালেন একটি একক বোরো রেফারেন্স টাইপ ব্যবহার করে এবং মনে রাখে রেফারেন্সগুলো কোথায় নির্দেশ করছে, যা জটিল ডেটা অ্যাক্সেস সক্ষম করে। সিস্টেম রাস্ট কোডের সাথে ইন্টারঅপ সমর্থন করে এবং গারবেজ কালেকশনের মতো সহজ হওয়ার লক্ষ্য রাখে বোরো-চেকিং ক্ষমতা বজায় রেখে। এই পদ্ধতিটি শেয়ারড-এক্সওআর-মিউটেবল দ্বন্দ্ব সমাধান করে নিয়ন্ত্রিত শর্তের অধীনে রেফারেন্সগুলিকে মিউটেবিলিটির সাথে সহ-অস্তিত্বে থাকতে দিয়ে।

গ্রুপ বোরোইং, যা মূলত নিক স্মিথ দ্বারা প্রস্তাবিত হয়েছিল, মোজোর জন্য ত্যাগ করার পর পুনর্জীবিত হয়েছে। এর পর থেকে এটি গুগলের কার্বন, অ্যান্টে, প্লেক্রা, জেটা এবং ফ্যাং এর মতো ভাষাগুলিকে প্রভাবিত করেছে। ভ্যালেন এই ধারণাটি ভ্যালের পদ্ধতি এবং রাস্ট সামঞ্জস্যের সাথে একীভূত করেছে। কম্পাইলার কঠোর মালিকানা নিয়ম ছাড়াই মেমরি সুরক্ষা বাধ্য করার জন্য রেফারেন্সের উৎস ট্র্যাক করে। এই নমনীয়তা আধুনিক ভাষাগুলি কীভাবে পারফরম্যান্স এবং সুরক্ষা ভারসাম্য করে তা পুনঃনির্দেশ করতে পারে।

উৎস: Hacker News · সারাংশ: HeadlinesBriefing