Muen 1.0 এর রিলিজ, অত্যন্ত নির্ভরযোগ্য সিস্টেম তৈরির জন্য একটি ওপেন সোর্স মাইক্রোকারনেল

আট বছরের বিকাশের পর, Muen 1.0 প্রকল্পটি প্রকাশ করা হয়েছিল, বিচ্ছেদ কার্নেল তৈরি করে, যার উত্স কোডে ত্রুটির অনুপস্থিতি আনুষ্ঠানিক নির্ভরযোগ্যতা যাচাইয়ের গাণিতিক পদ্ধতি ব্যবহার করে নিশ্চিত করা হয়েছিল। কার্নেলটি x86_64 আর্কিটেকচারের জন্য উপলব্ধ এবং মিশন-ক্রিটিকাল সিস্টেমে ব্যবহার করা যেতে পারে যার জন্য নির্ভরযোগ্যতার একটি বর্ধিত স্তর প্রয়োজন এবং কোন ব্যর্থতার গ্যারান্টি প্রয়োজন। প্রজেক্টের সোর্স কোড অ্যাডা ভাষা এবং এর যাচাইযোগ্য উপভাষায় SPARK 2014 লেখা হয়েছে। কোডটি GPLv3 লাইসেন্সের অধীনে বিতরণ করা হয়েছে।

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

কার্নেল VMX রুট মোডে চলে, হাইপারভাইজারের মতো, এবং অন্যান্য সমস্ত উপাদান VMX নন-রুট মোডে চলে, গেস্ট সিস্টেমের মতো। Intel VT-d DMA এক্সটেনশন এবং ইন্টারাপ্ট রিম্যাপিং ব্যবহার করে সরঞ্জামগুলিতে অ্যাক্সেস করা হয়, যা মুয়েনের অধীনে চলমান উপাদানগুলির সাথে PCI ডিভাইসগুলির সুরক্ষিত বাঁধাই কার্যকর করা সম্ভব করে।

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

এটি 64-বিট মেশিন কোড, 32- বা 64-বিট ভার্চুয়াল মেশিন, Ada এবং SPARK 64 ভাষায় 2014-বিট অ্যাপ্লিকেশন, লিনাক্স ভার্চুয়াল মেশিন এবং Muen এর উপরে MirageOS এর উপর ভিত্তি করে স্বয়ংসম্পূর্ণ "ইউনিকারনেল" সহ চলমান উপাদানগুলিকে সমর্থন করে।

Muen 1.0 প্রকাশে দেওয়া প্রধান উদ্ভাবনগুলি:

• কার্নেল (ডিভাইস এবং আর্কিটেকচার), সিস্টেম (সিস্টেম পলিসি, Tau0 এবং টুলকিট) এবং উপাদানগুলির স্পেসিফিকেশন সহ নথিগুলি প্রকাশিত হয়েছে, যা প্রকল্পের সমস্ত দিক নথিভুক্ত করে।
• Tau0 (Muen সিস্টেম কম্পোজার) টুলকিট যোগ করা হয়েছে, যার মধ্যে সিস্টেমের ছবি কম্পোজ করার জন্য প্রস্তুত-তৈরি যাচাইকৃত উপাদানগুলির একটি সেট রয়েছে এবং মানক পরিষেবাগুলি তৈরি করা হয়েছে যা মুয়েনের উপরে চলে। প্রদত্ত উপাদানগুলির মধ্যে রয়েছে AHCI (SATA) ড্রাইভার, ডিভাইস ম্যানেজার (DM), বুট লোডার, সিস্টেম ম্যানেজার, ভার্চুয়াল টার্মিনাল ইত্যাদি।
• muenblock Linux ড্রাইভার (Muen ভাগ করা মেমরির উপরে চলমান একটি ব্লক ডিভাইসের বাস্তবায়ন) blockdev 2.0 API ব্যবহার করার জন্য রূপান্তরিত করা হয়েছে।
• দেশীয় উপাদানের জীবনচক্র পরিচালনার জন্য বাস্তবায়িত সরঞ্জাম।
• অখণ্ডতা রক্ষার জন্য SBS (স্বাক্ষরিত ব্লক স্ট্রীম) এবং CSL (কমান্ড স্ট্রিম লোডার) ব্যবহার করার জন্য সিস্টেমের চিত্রগুলি রূপান্তরিত করা হয়েছে৷
• একটি যাচাইকৃত AHCI-DRV ড্রাইভার প্রয়োগ করা হয়েছে, যা SPARK 2014 ভাষায় লিখিত এবং আপনাকে উপাদানগুলিতে ATA ইন্টারফেস বা পৃথক ডিস্ক পার্টিশন সমর্থন করে এমন ড্রাইভগুলিকে সংযুক্ত করার অনুমতি দেয়।
• MirageOS এবং Solo5 প্রকল্পগুলি থেকে উন্নত ইউনিকারনেল সমর্থন।
• Ada ভাষা টুলকিট GNAT কমিউনিটি 2021 রিলিজের জন্য আপডেট করা হয়েছে।
• একটানা ইন্টিগ্রেশন সিস্টেম Bochs এমুলেটর থেকে QEMU/KVM নেস্টেড পরিবেশে স্থানান্তরিত হয়েছে।
• Linux কম্পোনেন্ট ইমেজ Linux 5.4.66 কার্নেল ব্যবহার করে।

উত্স: opennet.ru