মরিচা ভাষার জন্য সমর্থন সহ লিনাক্স কার্নেলের জন্য প্যাচের অষ্টম সংস্করণ

মিগুয়েল ওজেদা, রাস্ট-ফর-লিনাক্স প্রকল্পের লেখক, লিনাক্স কার্নেল বিকাশকারীদের বিবেচনার জন্য মরিচা ভাষায় ডিভাইস ড্রাইভার বিকাশের জন্য v8 উপাদানগুলি প্রকাশের প্রস্তাব করেছেন। এটি প্যাচগুলির সংশোধিত সংস্করণ, প্রথম সংস্করণটিকে বিবেচনায় নিয়ে, সংস্করণ নম্বর ছাড়াই প্রকাশিত৷ মরিচা সমর্থনকে পরীক্ষামূলক বলে মনে করা হয়, তবে এটি ইতিমধ্যেই লিনাক্স-পরবর্তী শাখায় অন্তর্ভুক্ত করা হয়েছে, 5.20/6.0-এর ফলস রিলিজে একত্রিত হওয়ার দাবি করে এবং কার্নেল সাবসিস্টেমের উপর বিমূর্ত স্তর তৈরি করার পাশাপাশি ড্রাইভার লেখার কাজ শুরু করার জন্য যথেষ্ট পরিপক্ক। এবং মডিউল। এই উন্নয়নটি Google এবং ISRG (ইন্টারনেট সিকিউরিটি রিসার্চ গ্রুপ) দ্বারা অর্থায়ন করা হয়েছে, যেটি লেটস এনক্রিপ্ট প্রকল্পের প্রতিষ্ঠাতা এবং এইচটিটিপিএস এবং ইন্টারনেট নিরাপত্তা উন্নত করতে প্রযুক্তির উন্নয়নের প্রচার করে৷

নতুন বিশ্বে:

• টুলকিট এবং alloc লাইব্রেরির একটি বৈকল্পিক, ত্রুটি ঘটলে একটি "আতঙ্ক" অবস্থার সম্ভাব্য প্রজন্ম থেকে মুক্ত, রাস্ট 1.62 প্রকাশের জন্য আপডেট করা হয়েছে। পূর্বে ব্যবহৃত সংস্করণের তুলনায়, রাস্ট টুলকিট কার্নেল প্যাচে ব্যবহৃত const_fn_trait_bound কার্যকারিতার জন্য সমর্থন স্থিতিশীল করেছে।
• বাইন্ডিং কোডটিকে একটি পৃথক ক্রেট প্যাকেজ "বাইন্ডিংস"-এ বিভক্ত করা হয়, যা শুধুমাত্র প্রধান প্যাকেজ "কার্নেল"-এ পরিবর্তন করা হলে পুনর্নির্মাণকে সহজ করে।
• ম্যাক্রো "concat_idents!" বাস্তবায়ন একটি পদ্ধতিগত ম্যাক্রো আকারে পুনরায় লেখা যা concat_idents কার্যকারিতার সাথে আবদ্ধ নয় এবং স্থানীয় ভেরিয়েবলের রেফারেন্স ব্যবহারের অনুমতি দেয়।
• "static_assert!" ম্যাক্রোটি পুনরায় লেখা হয়েছে, যে কোন প্রেক্ষাপটে ধ্রুবকের পরিবর্তে "core::assert!()" ব্যবহার করার অনুমতি দেয়৷
• ম্যাক্রো "build_error!" যখন "RUST_BUILD_ASSERT_{WARN,ALLOW}" মোডটি মডিউলগুলির জন্য সেট করা থাকে তখন কাজ করার জন্য অভিযোজিত হয়৷
• সেটিংস "kernel/configs/rust.config" সহ একটি পৃথক ফাইল যোগ করা হয়েছে৷
• ম্যাক্রো প্রতিস্থাপনে প্রক্রিয়া করা "*.i" ফাইলগুলির নাম পরিবর্তন করে "*.rsi" করা হয়েছে।
• সি কোডের জন্য ব্যবহৃত অপ্টিমাইজেশান স্তরগুলির থেকে ভিন্ন সহ মরিচা উপাদানগুলি তৈরির জন্য সমর্থন বন্ধ করা হয়েছে।
• fs মডিউল যোগ করা হয়েছে, যা ফাইল সিস্টেমের সাথে কাজ করার জন্য বাইন্ডিং প্রদান করে। মরিচা লেখা একটি সাধারণ ফাইল সিস্টেমের একটি উদাহরণ প্রদান করা হয়েছে।
• সিস্টেম সারিগুলির সাথে কাজ করার জন্য ওয়ার্ককিউ মডিউল যুক্ত করা হয়েছে (work_struct এবং workqueue_struct কার্নেল কাঠামোর উপর বাইন্ডিং প্রদান করে)।
• অ্যাসিঙ্ক্রোনাস প্রোগ্রামিং পদ্ধতি (অ্যাসিঙ্ক) বাস্তবায়নের সাথে ক্যাসিঙ্ক মডিউলের বিকাশ অব্যাহত ছিল। মরিচা-এ লেখা একটি কোর-লেভেল TCP সার্ভারের উদাহরণ যোগ করা হয়েছে।
• [থ্রেডেড]হ্যান্ডলার প্রকার এবং [থ্রেডেড]নিবন্ধন` প্রকারগুলি ব্যবহার করে মরিচা ভাষায় বাধাগুলি পরিচালনা করার ক্ষমতা যুক্ত করা হয়েছে৷
• ফাংশন পয়েন্টার টেবিলের সাথে কাজ করা সহজ করার জন্য পদ্ধতিগত ম্যাক্রো "#[vtable]" যোগ করা হয়েছে, যেমন file_operations কাঠামো।
• দ্বিমুখী লিঙ্কযুক্ত তালিকার বাস্তবায়ন যোগ করা হয়েছে "unsafe_list::List"।
• রিড লক বর্তমান থ্রেডের সাথে আবদ্ধ কিনা তা পরীক্ষা করতে RCU (পড়ুন-কপি-আপডেট) এবং গার্ড টাইপের জন্য প্রাথমিক সমর্থন যোগ করা হয়েছে।
• কার্নেল থ্রেড তৈরি এবং স্বয়ংক্রিয়ভাবে শুরু করতে টাস্ক::স্পন() ফাংশন যোগ করা হয়েছে। এছাড়াও Task::wake_up() পদ্ধতি যোগ করা হয়েছে।
• একটি বিলম্ব মডিউল যোগ করা হয়েছে যা আপনাকে বিলম্ব ব্যবহার করতে দেয় (msleep() এর উপর একটি মোড়ক)।

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

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

উত্স: opennet.ru