গুগল নিরাপদ অপারেটিং সিস্টেম KataOS এর কোডটি খুলেছে

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

সিস্টেমটি RISC-V এবং ARM64 আর্কিটেকচারের উপর ভিত্তি করে প্ল্যাটফর্মের জন্য সমর্থন প্রদান করে। হার্ডওয়্যারের উপরে seL4 এবং KataOS পরিবেশের ক্রিয়াকলাপ অনুকরণ করতে, উন্নয়ন প্রক্রিয়া চলাকালীন রেনোড ফ্রেমওয়ার্ক ব্যবহার করা হয়। একটি রেফারেন্স বাস্তবায়ন হিসাবে, স্প্যারো সফ্টওয়্যার এবং হার্ডওয়্যার কমপ্লেক্স প্রস্তাব করা হয়েছে, ওপেনটাইটান প্ল্যাটফর্মের উপর ভিত্তি করে নিরাপদ চিপগুলির সাথে KataOS-এর সমন্বয়। প্রস্তাবিত সমাধানটি আপনাকে ওপেনটাইটান প্ল্যাটফর্ম এবং RISC-V আর্কিটেকচার ব্যবহার করে নির্মিত বিশ্বস্ত হার্ডওয়্যার উপাদান (RoT, Root of Trust) সহ একটি যৌক্তিকভাবে যাচাইকৃত অপারেটিং সিস্টেম কার্নেলকে একত্রিত করতে দেয়। KataOS কোড ছাড়াও, ভবিষ্যতে হার্ডওয়্যার উপাদান সহ অন্যান্য সমস্ত স্প্যারো উপাদান খোলার পরিকল্পনা করা হয়েছে।

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

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

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

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

উত্স: opennet.ru