seL4 প্রকল্প ACM সফটওয়্যার সিস্টেম পুরস্কার জিতেছে

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

এসিএম সফ্টওয়্যার সিস্টেম অ্যাওয়ার্ডটি প্রতি বছর এমন সফ্টওয়্যার সিস্টেমগুলির বিকাশকে স্বীকৃতি দেওয়ার জন্য উপস্থাপন করা হয় যা শিল্পের উপর একটি সংজ্ঞায়িত প্রভাব ফেলেছে, নতুন ধারণা প্রবর্তন করেছে বা বাণিজ্যিক প্রয়োগের নতুন ক্ষেত্র উন্মুক্ত করেছে। পুরস্কারের পরিমাণ ৩৫ হাজার মার্কিন ডলার। বিগত বছরগুলিতে, GCC এবং LLVM প্রকল্পগুলি এবং তাদের প্রতিষ্ঠাতা রিচার্ড স্টলম্যান এবং ক্রিস ল্যাটনারকে ACM পুরস্কার প্রদান করা হয়েছে। পুরস্কারটি UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB এবং Eclipse-এর মতো প্রকল্প ও প্রযুক্তিকেও স্বীকৃতি দিয়েছে। .

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

উত্স: opennet.ru