RISC-V அறக்கட்டளை மைக்ரோகர்னலின் செயல்பாட்டைச் சரிபார்ப்பது பற்றி RISC-V இன்ஸ்ட்ரக்ஷன் செட் ஆர்கிடெக்சர் கொண்ட கணினிகளில். சரிபார்ப்பு கீழே வருகிறது seL4 செயல்பாட்டின் நம்பகத்தன்மை, இது முறையான மொழியில் குறிப்பிடப்பட்ட விவரக்குறிப்புகளுடன் முழு இணக்கத்தைக் குறிக்கிறது. நம்பகத்தன்மைக்கான சான்று RISC-V RV4 செயலிகளை அடிப்படையாகக் கொண்ட பணி-முக்கிய அமைப்புகளில் seL64 நம்பகத்தன்மையை அதிகரிக்க வேண்டும் மற்றும் தோல்விகள் இல்லாததற்கு உத்தரவாதம் அளிக்கிறது. seL4 கர்னலின் மேல் இயங்கும் மென்பொருளின் டெவலப்பர்கள், கணினியின் ஒரு பகுதியில் தோல்வி ஏற்பட்டால், இந்த தோல்வி கணினியின் மற்ற பகுதிகளுக்கும், குறிப்பாக அதன் முக்கியமான பகுதிகளுக்கும் பரவாது என்று முழுமையாக நம்பலாம்.
seL4 மைக்ரோகர்னல் ஆரம்பத்தில் 32-பிட் ARM செயலிகளுக்காகவும், பின்னர் 64-பிட் x86 செயலிகளுக்காகவும் சரிபார்க்கப்பட்டது. திறந்த RISC-V வன்பொருள் கட்டமைப்பின் கலவையானது திறந்த seL4 மைக்ரோகெர்னலுடன் ஒரு புதிய அளவிலான பாதுகாப்பை அடையும் என்பது குறிப்பிடத்தக்கது, ஏனெனில் வன்பொருள் கூறுகள் எதிர்காலத்தில் முழுமையாக சரிபார்க்கப்படலாம், இது தனியுரிம வன்பொருள் கட்டமைப்புகளுக்கு சாத்தியமற்றது.
seL4 ஐச் சரிபார்க்கும் போது, உபகரணங்கள் கூறப்பட்டபடி செயல்படுவதாகவும், விவரக்குறிப்பு கணினியின் நடத்தையை முழுமையாக விவரிக்கிறது என்றும் கருதப்படுகிறது, ஆனால் உண்மையில் சாதனம் பிழைகளிலிருந்து விடுபடவில்லை, இது ஊக செயல்பாட்டின் பொறிமுறையில் தொடர்ந்து எழும் சிக்கல்களால் தெளிவாக நிரூபிக்கப்பட்டுள்ளது. அறிவுறுத்தல்கள். திறந்த வன்பொருள் இயங்குதளங்கள் பாதுகாப்பு தொடர்பான மாற்றங்களை ஒருங்கிணைப்பதை எளிதாக்குகின்றன - எடுத்துக்காட்டாக, சாத்தியமான அனைத்து பக்க சேனல் கசிவுகளையும் தடுக்க, மென்பொருளில் தீர்வுகளை கண்டுபிடிப்பதை விட வன்பொருளில் உள்ள சிக்கலை அகற்றுவது மிகவும் திறமையானது.
seL4 கட்டமைப்பு என்பதை நினைவில் கொள்க பயனர் இடத்தில் கர்னல் வளங்களை நிர்வகிப்பதற்கான பகுதிகளை நகர்த்துதல் மற்றும் பயனர் வளங்களுக்கான அதே அணுகல் கட்டுப்பாட்டு வழிமுறைகளைப் பயன்படுத்துதல். மைக்ரோகெர்னல் கோப்புகள், செயல்முறைகள், பிணைய இணைப்புகள் மற்றும் பலவற்றை நிர்வகிப்பதற்கான ஆயத்த உயர்-நிலை சுருக்கங்களை வழங்காது; மாறாக, இது இயற்பியல் முகவரி இடம், குறுக்கீடுகள் மற்றும் செயலி ஆதாரங்களுக்கான அணுகலைக் கட்டுப்படுத்துவதற்கான குறைந்தபட்ச வழிமுறைகளை மட்டுமே வழங்குகிறது. வன்பொருளுடன் தொடர்புகொள்வதற்கான உயர்-நிலை சுருக்கங்கள் மற்றும் இயக்கிகள் பயனர்-நிலை பணிகளின் வடிவத்தில் மைக்ரோகெர்னலின் மேல் தனித்தனியாக செயல்படுத்தப்படுகின்றன. மைக்ரோகெர்னலுக்கு கிடைக்கும் ஆதாரங்களுக்கான அத்தகைய பணிகளை அணுகுவது விதிகளின் வரையறையின் மூலம் ஒழுங்கமைக்கப்படுகிறது.
RISC-V ஒரு திறந்த மற்றும் நெகிழ்வான இயந்திர அறிவுறுத்தல் அமைப்பை வழங்குகிறது, இது நுண்செயலிகளை தன்னிச்சையான பயன்பாடுகளுக்கு ராயல்டி அல்லது பயன்படுத்த இணைக்கப்பட்ட சரங்கள் தேவையில்லாமல் உருவாக்க அனுமதிக்கிறது. RISC-V முற்றிலும் திறந்த SoCகள் மற்றும் செயலிகளை உருவாக்க உங்களை அனுமதிக்கிறது. பல்வேறு இலவச உரிமங்களின் கீழ் (BSD, MIT, Apache 2.0) பல்வேறு நிறுவனங்கள் மற்றும் சமூகங்களின் RISC-V விவரக்குறிப்பின் அடிப்படையில் தற்போது நுண்செயலி கோர்கள், SoCகள் மற்றும் ஏற்கனவே தயாரிக்கப்பட்ட சில்லுகளின் பல டஜன் வகைகள். Glibc 2.27, binutils 2.30, gcc 7 மற்றும் Linux கர்னல் 4.15 ஆகியவற்றின் வெளியீடுகளில் இருந்து RISC-V ஆதரவு உள்ளது.
ஆதாரம்: opennet.ru