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

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

নতুন বিশ্বে:

• টুলকিট এবং alloc লাইব্রেরির একটি ভেরিয়েন্ট, ত্রুটি ঘটলে একটি "আতঙ্ক" অবস্থার সম্ভাব্য জেনারেশন থেকে মুক্ত, রাস্ট 1.60 রিলিজে আপডেট করা হয়েছে, যা কার্নেল প্যাচে ব্যবহৃত "maybe_uninit_extra" মোডের সমর্থনকে স্থির করে।
• ডকুমেন্টেশন থেকে পরীক্ষা চালানোর ক্ষমতা যোগ করা হয়েছে (পরীক্ষা যা ডকুমেন্টেশনে উদাহরণ হিসেবেও ব্যবহার করা হয়), কার্নেল লোড করার সময় নির্বাহিত KUnit পরীক্ষাগুলিতে কার্নেল API-এর সাথে সংযুক্ত পরীক্ষার কম্পাইল-টাইম রূপান্তরের মাধ্যমে।
• প্রয়োজনীয়তা গৃহীত হয়েছে যে পরীক্ষার ফলে ক্লিপি লিন্টার সতর্কতা পাওয়া যাবে না, ঠিক যেমন রাস্ট কার্নেল কোড।
• নেটওয়ার্ক ফাংশন সহ "নেট" মডিউলটির একটি প্রাথমিক বাস্তবায়নের প্রস্তাব করা হয়েছে। রাস্ট কোডের কার্নেল নেটওয়ার্ক স্ট্রাকচারে অ্যাক্সেস রয়েছে যেমন নেমস্পেস (স্ট্রাকট নেট কার্নেল স্ট্রাকচারের উপর ভিত্তি করে), SkBuff (struct sk_buff), TcpListener, TcpStream (struct সকেট), Ipv4Addr (struct in_addr), SocketAddrV4 (struct sockaddrV6 (struct sockaddr_XNUMX) .
• অ্যাসিঙ্ক্রোনাস প্রোগ্রামিং কৌশলগুলির জন্য প্রাথমিক সমর্থন রয়েছে (অ্যাসিঙ্ক), যা kasync মডিউল আকারে প্রয়োগ করা হয়েছে। উদাহরণস্বরূপ, আপনি TCP সকেটগুলি পরিচালনা করতে অ্যাসিঙ্ক্রোনাস কোড লিখতে পারেন: async fn echo_server(stream: TcpStream) -> ফলাফল { let mut buf = [0u8; 1024]; লুপ { let n = stream.read(&mut buf).await?; যদি n == 0 { ফেরত দেয় ঠিক আছে(()); } stream.write_all(&buf[..n]).অপেক্ষা?; } }
• নেটওয়ার্ক প্যাকেট ফিল্টার ম্যানিপুলেট করার জন্য নেট::ফিল্টার মডিউল যোগ করা হয়েছে। Rust_netfilter.rs একটি ফিল্টার ইমপ্লিমেন্টেশন সহ উদাহরণ যোগ করা হয়েছে।
• একটি সাধারণ mutex smutex::Mutex এর বাস্তবায়ন যোগ করা হয়েছে, যার জন্য পিন করার প্রয়োজন নেই।
• NoWaitLock যোগ করা হয়েছে, যা কখনই একটি লকের জন্য অপেক্ষা করে না, এবং অন্য থ্রেড দ্বারা দখল করা হলে, কলকারীকে থামানোর পরিবর্তে লকটি অর্জন করার চেষ্টা করার সময় একটি ত্রুটি রিপোর্ট করা হয়।
• নিষ্ক্রিয় হতে পারে না এমন বিভাগগুলিতে প্রয়োগ করার জন্য কার্নেলে raw_spinlock_t দ্বারা চিহ্নিত RawSpinLock যোগ করা হয়েছে।
• একটি বস্তুর রেফারেন্সের জন্য ARef প্রকার যোগ করা হয়েছে যেখানে রেফারেন্স গণনা পদ্ধতি প্রয়োগ করা হয় (সর্বদা-রিফকাউন্ট করা হয়)।
• rustc_codegen_gcc ব্যাকএন্ড, যা আপনাকে rustc-তে কোড জেনারেটর হিসাবে GCC প্রোজেক্ট থেকে libgccjit লাইব্রেরি ব্যবহার করতে দেয় যাতে rustc-কে GCC-তে উপলব্ধ আর্কিটেকচার এবং অপ্টিমাইজেশানগুলির জন্য সমর্থন দেওয়া হয়, এটি rustc কম্পাইলার বুটস্ট্র্যাপ করার ক্ষমতা প্রয়োগ করেছে। কম্পাইলার প্রচারের অর্থ হল rustc-এ একটি GCC-ভিত্তিক কোড জেনারেটর ব্যবহার করার ক্ষমতা rustc কম্পাইলার নিজেই তৈরি করতে। এছাড়াও, GCC 12.1-এর সাম্প্রতিক রিলিজে rustc_codegen_gcc সঠিকভাবে কাজ করার জন্য প্রয়োজনীয় libgccjit-এর সংশোধন অন্তর্ভুক্ত রয়েছে। রাস্টআপ ইউটিলিটি ব্যবহার করে rustc_codegen_gcc ইনস্টল করার ক্ষমতা প্রদানের জন্য প্রস্তুতি চলছে।
• GCC এর উপর ভিত্তি করে রাস্ট ল্যাঙ্গুয়েজ কম্পাইলার বাস্তবায়নের সাথে GCC ফ্রন্টএন্ড gccrs-এর উন্নয়নে অগ্রগতি লক্ষ করা যায়। বর্তমানে দুইজন ফুল-টাইম ডেভেলপার gccrs-এ কাজ করছেন।

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

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

উত্স: opennet.ru