RISC-V அறக்கட்டளை சரிபார்க்கப்பட்டதாக அறிவித்தது மைக்ரோ கர்னல் எவ்வாறு இயங்குகிறது அமைப்புகளில் seL4 அறிவுறுத்தல் தொகுப்பு கட்டமைப்பு ஆர்ஐஎஸ்சி-வி. இதில் சரிபார்ப்பு செயல்முறை seL4 இன் நம்பகத்தன்மையின் கணித சான்றாக குறைக்கப்படுகிறது, இது முறையான மொழியில் குறிப்பிடப்பட்டுள்ள விவரக்குறிப்புகளுடன் முழு இணக்கத்தைக் குறிக்கிறது.
நம்பகத்தன்மை சோதனை, RISC-V செயலிகளை அடிப்படையாகக் கொண்ட மிஷன் சிக்கலான அமைப்புகளில் seL4 ஐப் பயன்படுத்த உதவுகிறது RV64, இதற்கு அதிக அளவு நம்பகத்தன்மை தேவைப்படுகிறது மற்றும் தோல்விக்கு உத்தரவாதம் அளிக்காது.
எஸ்.எல் 4 கர்னலின் மேல் இயங்கும் மென்பொருள் உருவாக்குநர்கள் கணினியின் ஒரு பகுதியில் தோல்வி ஏற்பட்டால், இந்த தோல்வி கணினியின் மற்ற பகுதிகளுக்கும், குறிப்பாக, அதன் முக்கியமான பகுதிகளுக்கும் பரவாது என்பதை முழுமையாக நம்பலாம். .
SeL4 பற்றி
SeL4 கட்டமைப்பு பயனர் இடத்தில் கர்னல் வளங்களை நிர்வகிக்க பகுதிகளை அகற்றுவதில் குறிப்பிடத்தக்கது பயனர் வளங்களைப் போன்ற வளங்களுக்கான அதே அணுகல் கட்டுப்பாட்டு முறைகளைப் பயன்படுத்தவும்.
மைக்ரோ கர்னல் உயர் மட்ட சுருக்கங்களை வழங்காது கோப்புகள், செயல்முறைகள், பிணைய இணைப்புகள் போன்றவற்றை நிர்வகிக்க ஏற்கனவே தயாராக உள்ளது, ஆனால் அதற்கு பதிலாக ப address தீக முகவரி இடத்திற்கான அணுகலைக் கட்டுப்படுத்த குறைந்தபட்ச வழிமுறைகளை மட்டுமே வழங்குகிறது, குறுக்கீடுகள் மற்றும் செயலி வளங்கள்.
கணினியுடன் தொடர்புகொள்வதற்கான உயர்-நிலை சுருக்கங்கள் மற்றும் கட்டுப்படுத்திகள் பயனர் மட்டத்தில் செய்யப்படும் பணிகளின் வடிவத்தில் மைக்ரோ கர்னலின் மேல் தனித்தனியாக செயல்படுத்தப்படுகின்றன.
மைக்ரோ கர்னலில் கிடைக்கும் வளங்களுக்கு இத்தகைய பணிகளை அணுகுவது விதிகளின் வரையறை மூலம் ஒழுங்கமைக்கப்படுகிறது.
RISC-V ஒரு திறந்த மற்றும் நெகிழ்வான அமைப்பை வழங்குகிறது இயந்திர அறிவுறுத்தல்கள் கழிவுகள் தேவையில்லாமல், தன்னிச்சையான பயன்பாடுகளுக்கான நுண்செயலிகளை உருவாக்க அனுமதிக்கிறது மற்றும் பயன்பாட்டு நிபந்தனைகளை விதிக்காமல்.
RISC-V உங்களை முற்றிலும் திறந்த SoC கள் மற்றும் செயலிகளை உருவாக்க அனுமதிக்கிறது. தற்போது, RISC-V விவரக்குறிப்பின் அடிப்படையில், பல்வேறு இலவச உரிமங்களின் (பி.எஸ்.டி, எம்.ஐ.டி, அப்பாச்சி 2.0) கீழ் பல நிறுவனங்கள் மற்றும் சமூகங்கள் ஏற்கனவே தயாரிக்கப்பட்ட நுண்செயலி கோர்கள், சோ.சிக்கள் மற்றும் சில்லுகளின் பல டஜன் வகைகளை உருவாக்கி வருகின்றன.
Glibc 2.27, binutils 2.30, gcc 7, மற்றும் Linux 4.15 கர்னல் வெளியானதிலிருந்து RISC-V ஆதரவு உள்ளது.
SeL4 மைக்ரோ கர்னல் சோதனை பற்றி
ஆரம்பத்தில், மைக்ரோ கர்னல் 4 பிட் ARM செயலிகளுக்கு seL32 சரிபார்க்கப்பட்டதுமற்றும் பின்னர் x86 64-பிட் செயலிகளுக்கு.
RISC-V திறந்த வன்பொருள் கட்டமைப்பை திறந்த மைக்ரோ கர்னலுடன் இணைப்பது காணப்படுகிறது seL4 ஒரு புதிய நிலை பாதுகாப்பை அடைகிறது, எதிர்கால வன்பொருள் கூறுகளையும் முழுமையாக சரிபார்க்க முடியும், இது தனியுரிம வன்பொருள் கட்டமைப்புகளுக்கு அடைய இயலாது.
நாம் seL4 ஐ சரிபார்க்கும்போது, வன்பொருள் சரியாக வேலை செய்கிறது என்று நாம் கருத வேண்டும் (அதாவது, குறிப்பிட்டபடி). முதல் இடத்தில் தெளிவற்ற விவரக்குறிப்பு இருப்பதாக அது கருதுகிறது, இது எல்லா வன்பொருளுக்கும் பொருந்தாது.
ஆனால் அத்தகைய விவரக்குறிப்பு இருக்கும்போது, அது முறையானது (அதாவது, அதன் பண்புகளைப் பற்றிய கணித பகுத்தறிவை ஆதரிக்கும் ஒரு கணித முறைப்படி எழுதப்பட்டிருக்கிறது) கூட, அது உண்மையில் வன்பொருளின் நடத்தையைப் பிடிக்கிறது என்பதை நாம் எவ்வாறு அறிவோம்?
உண்மை என்னவென்றால், அது இல்லை என்று நாம் உறுதியாக நம்பலாம். வன்பொருள் மென்பொருளிலிருந்து வேறுபட்டதல்ல, அவை இரண்டும் தரமற்றவை.
ஆனால் திறந்த ஐஎஸ்ஏ வைத்திருப்பது ராயல்டி இல்லாததைத் தாண்டி நன்மைகள் உள்ளன. ஒன்று, இது திறந்த மூல வன்பொருள் செயலாக்கங்களை அனுமதிக்கிறது.
SeL4 ஐச் சரிபார்க்கும்போது, உபகரணங்கள் சுட்டிக்காட்டப்பட்டபடி செயல்படுகின்றன என்றும் விவரக்குறிப்பு அமைப்பின் நடத்தையை முழுமையாக விவரிக்கிறது என்றும் கருதப்படுகிறது, ஆனால் உண்மையில் உபகரணங்கள் பிழையில்லாமல் உள்ளன, இது ஏக மரணதண்டனை பொறிமுறையில் தொடர்ந்து எழும் சிக்கல்களால் நன்கு நிரூபிக்கப்படுகிறது. வழிமுறைகள்.
திறந்த வன்பொருள் தளங்கள் மாற்றங்களின் ஒருங்கிணைப்பை எளிதாக்குகின்றன பாதுகாப்பு தொடர்பானது, எடுத்துக்காட்டாக, மூன்றாம் தரப்பு சேனல்கள் மூலம் சாத்தியமான அனைத்து கசிவு சேனல்களையும் தடுப்பது, மென்பொருளின் மூலம் தீர்வுகளைக் காண முயற்சிப்பதை விட வன்பொருள் மூலம் சிக்கலில் இருந்து விடுபடுவது மிகவும் திறமையானது.
இறுதியாக, நீங்கள் இதைப் பற்றி மேலும் அறிய விரும்பினால், நீங்கள் குறிப்பை அணுகலாம் பின்வரும் இணைப்பு.
என்னைப் பொறுத்தவரை, இந்த செயலி என்னை நிறைய அழைக்கிறது. நாம் வாங்கக்கூடிய ஒரு கணினியை உருவாக்குவது சில கொழுப்பு கணினி நாய் மட்டுமே.
ARM பிரச்சினை என்னைத் திணறடிக்கும் ஒன்று, ஹவாய் உடன் என்ன நடந்தது என்பதை நாங்கள் ஏற்கனவே பார்த்தோம். எனது RISC-V க்கு இது எல்லா மட்டங்களிலும் மிகச் சிறந்த தீர்வாகும் என்பது எனக்குத் தெளிவாகத் தெரிகிறது. இந்த நேரத்தில் ஹவாய் ஏற்கனவே அதன் மீது கவனம் செலுத்தியுள்ளது, எதிர்காலத்தில் அவர்கள் இந்த மைக்ரோவுடன் உபகரணங்கள் வைத்திருப்பார்கள். அப்படியானால், நிச்சயமாக அதை ஏற்றுக்கொள்ளும் அதிகமான நிறுவனங்கள் இருக்கும், எனக்கு இது சிறந்ததாக இருக்கும், எல்லாவற்றிற்கும் மேலாக டிஸ்ட்ரோக்கள் ஆதரவைக் கொடுக்கும், மேலும் ARM மட்டுமல்ல.
+ 10