Separation kernel
ஒரு பிரிப்பு கர்னல் என்பது விநியோகிக்கப்பட்ட சூழலை உருவகப்படுத்த பயன்படுத்தப்படும் ஒரு வகை பாதுகாப்பு கர்னல் ஆகும். இந்த கருத்தை ஜான் ருஷ்பி 1981 ஆம் ஆண்டு ஒரு கட்டுரையில் அறிமுகப்படுத்தினார். "பொது-நோக்க பல பயனர் அமைப்புகளில் பல நிலை பாதுகாப்பான செயல்பாட்டை வழங்குவதை நோக்கமாகக் கொண்ட பெரிய, சிக்கலான பாதுகாப்பு கர்னல்களின் வளர்ச்சி மற்றும் சரிபார்ப்பில் எழுந்த சிரமங்கள் மற்றும் சிக்கல்களுக்கு ஒரு தீர்வாக பிரிப்பு கர்னலை ரஷ்ஃபி முன்மொழிந்தார். ரஷ் பியின் கூற்றுப்படி, "ஒரு பிரிப்பு கர்னலின் பணி, உடல் ரீதியாக விநியோகிக்கப்பட்ட அமைப்பால் வழங்கப்பட்டதிலிருந்து பிரித்தறிய முடியாத ஒரு சூழலை உருவாக்குவதாகும்ஃ ஒவ்வொரு ஆட்சியும் ஒரு தனி, தனிமைப்படுத்தப்பட்ட இயந்திரம் போல தோன்ற வேண்டும், மேலும் அந்த தகவல் ஒரு இயந்திரத்திலிருந்து மற்றொரு இயந்திரத்திற்கு அறியப்பட்ட வெளிப்புற தகவல்தொடர்பு கோடுகளுடன் மட்டுமே பாயும். எனவே, ஒரு பிரிப்பு கர்னலை நாம் நிரூபிக்க வேண்டிய பண்புகளில் ஒன்று, வெளிப்படையாக வழங்கப்பட்டதைத் தவிர ஆட்சிகளுக்கு இடையில் தகவல் ஓட்டத்திற்கு எந்த வழிகளும் இல்லை ". பிரிப்பு கர்னலின் ஒரு மாறுபாடு, பகிர்வு கர்னல், வணிக விமான சமூகத்தில் ஒரு செயலியில், பல செயல்பாடுகளை ஒருங்கிணைப்பதற்கான ஒரு வழியாக ஏற்றுக்கொள்ளப்பட்டுள்ளது, ஒருவேளை கலப்பு முக்கியமானதாக இருக்கலாம். இந்த வகையின் வணிக நிகழ்நேர இயக்க முறைமை தயாரிப்புகள் விமான உற்பத்தியாளர்களால் பாதுகாப்பு-முக்கியமான ஏவியோனிக்ஸ் பயன்பாடுகளுக்குப் பயன்படுத்தப்படுகின்றன. 2007 ஆம் ஆண்டில் அமெரிக்க தேசிய பாதுகாப்பு முகமையின் (என்எஸ்ஏ) தகவல் உத்தரவாத இயக்குநரகம் பிரிப்பு கர்னல் பாதுகாப்பு சுயவிவரத்தை (எஸ். கே. பி. பி) வெளியிட்டது, இது மிகவும் விரோதமான அச்சுறுத்தல் சூழல்களில் பயன்படுத்த பொருத்தமான பிரிப்பு கர்னல்களுக்கான பாதுகாப்புத் தேவைகள் விவரக்குறிப்பு ஆகும். எஸ். கே. பி. பி, பொதுவான அளவுகோல் பேச்சுவழக்கில், ரஷ்பியின் கருத்தியல் பிரிப்பு கர்னலின் அடிப்படை பண்புகளை வழங்கும் நவீன தயாரிப்புகளின் ஒரு வகுப்பை விவரிக்கிறது. இது பிரிப்பு கர்னல்களின் கட்டுமானம் மற்றும் மதிப்பீட்டிற்கான பாதுகாப்பு செயல்பாடு மற்றும் உத்தரவாதத் தேவைகளை வரையறுக்கிறது, அதே நேரத்தில் டெவலப்பர்களுக்கு கிடைக்கும் தேர்வுகளில் சில அட்சரேகைகளை வழங்குகிறது. எஸ். கே. பி. பி பிரிப்பு கர்னலை "வன்பொருள் மற்றும்/அல்லது ஃபார்ம்வேர் மற்றும்/அல்லது மென்பொருள் வழிமுறைகள், அதன் முதன்மை செயல்பாடு பல பகிர்வுகளை நிறுவுதல், தனிமைப்படுத்துதல் மற்றும் பிரிப்பது மற்றும் பாடங்களுக்கு இடையில் தகவல் ஓட்டத்தை கட்டுப்படுத்துதல் மற்றும் அந்த பகிர்வுகளுக்கு ஒதுக்கப்பட்ட ஏற்றுமதி வளங்கள்" என்று வரையறுக்கிறது. மேலும், பிரிப்பு கர்னலின் முக்கிய செயல்பாட்டு தேவைகள் பின்வருமாறுஃ அங்கீகரிக்கப்படாத அணுகலில் இருந்து அனைத்து வளங்களையும் (CPU, நினைவகம் மற்றும் சாதனங்கள் உட்பட) பாதுகாத்தல். மதிப்பீட்டு பாதுகாப்பு செயல்பாடுகளின் இலக்கு (டி. எஸ். எஃப்) மூலம் பயன்படுத்தப்படும் உள் வளங்களை ஏற்றுமதி செய்யப்பட்ட வளங்களிலிருந்து பிரிப்பது. ஏற்றுமதி செய்யப்பட்ட வளங்களைப் பிரிப்பது மற்றும் தனிமைப்படுத்துவது. பகிர்வுகளுக்கு இடையில் மற்றும் ஏற்றுமதி செய்யப்பட்ட வளங்களுக்கு இடையில் தகவல் பாய்வுகளின் மத்தியஸ்தம். தணிக்கை சேவைகள். பிரிப்பு கர்னல் அதன் கட்டுப்பாட்டில் உள்ள அனைத்து ஏற்றுமதி செய்யப்பட்ட வளங்களையும் பகிர்வுகளாக ஒதுக்குகிறது. வெளிப்படையாக அனுமதிக்கப்பட்ட தகவல் ஓட்டங்களைத் தவிர பகிர்வுகள் தனிமைப்படுத்தப்பட்டுள்ளன. ஒரு பகிர்வில் உள்ள ஒரு பொருளின் செயல்கள் மற்றொரு பகிர்வில் உள்ள பாடங்களிலிருந்து (அதாவது, கண்டறியவோ அல்லது தொடர்பு கொள்ளவோ முடியாது) தனிமைப்படுத்தப்படுகின்றன, அந்த ஓட்டம் அனுமதிக்கப்படாவிட்டால். பகிர்வுகள் மற்றும் ஓட்டங்கள் உள்ளமைவு தரவுகளில் வரையறுக்கப்பட்டுள்ளன. 'பகிர்வு' மற்றும் 'பொருள்' ஆகியவை ஆர்த்தோகனல் சுருக்கங்கள் என்பதை நினைவில் கொள்க. 'பகிர்வு', அதன் கணித தோற்றத்தால் சுட்டிக்காட்டப்பட்டபடி, அமைப்பு நிறுவனங்களின் தொகுப்பு-கோட்பாட்டு தொகுப்பை வழங்குகிறது, அதேசமயம் 'பொருள்' ஒரு அமைப்பின் தனிப்பட்ட செயலில் உள்ள நிறுவனங்களைப் பற்றி நியாயப்படுத்த அனுமதிக்கிறது. எனவே, ஒரு பகிர்வு (பூஜ்ஜியம் அல்லது அதற்கு மேற்பட்ட கூறுகளைக் கொண்ட ஒரு தொகுப்பு) ஒரு பொருள் அல்ல (ஒரு செயலில் உள்ள உறுப்பு), ஆனால் பூஜ்ஜியம் அல்லது அதற்கு மேற்பட்ட பாடங்களைக் கொண்டிருக்கலாம். பிரிப்பு கர்னல் அதன் ஹோஸ்ட் செய்யப்பட்ட மென்பொருள் நிரல்களுக்கு உயர்-உத்தரவாத பகிர்வு மற்றும் தகவல் ஓட்டக் கட்டுப்பாட்டு பண்புகளை வழங்குகிறது, அவை சேதப்படுத்தாதவை மற்றும் கடந்து செல்ல முடியாதவை. இந்த திறன்கள் பல்வேறு கணினி கட்டமைப்புகளுக்கு கட்டமைக்கக்கூடிய நம்பகமான அடித்தளத்தை வழங்குகின்றன. தீர்வுகள் பைக்ஓஎஸ் பிரிப்பு கர்னல் ஹைபர்வைசர் தொழில்நுட்பத்தை கடினமான நிகழ்நேர திறன்களுடன் ஒருங்கிணைக்கிறது. கிரீன் ஹில்ஸ் மென்பொருளிலிருந்து ஒருங்கிணைப்பு-178பி செப்டம்பர் 2008 இல் இது எஸ். கே. பி. பி. க்கு எதிராக சான்றளிக்கப்பட்ட முதல் பிரிப்பு கர்னல் ஆனது. விண்ட் ரிவர் சிஸ்டம்ஸ் பிரிப்பு கர்னல் தொழில்நுட்பத்தைக் கொண்டுள்ளது, இது 2009 ஆம் ஆண்டில் செயலில் சான்றிதழ் செயல்முறையில் இருந்தது. லின்க்ஸ் சாப்ட்வேர் டெக்னாலஜிஸ் லின்க்ஸ்செக்யூர் என்ற பிரிப்பு கர்னலைக் கொண்டுள்ளது. 2011 ஆம் ஆண்டில், தகவல் உத்தரவாத இயக்குநரகம் எஸ். கே. பி. பி. எஸ். கே. பி. பி. க்கு எதிராக பிரிப்பு கர்னல்கள் உட்பட குறிப்பிட்ட இயக்க முறைமைகளை என்எஸ்ஏ இனி சான்றளிக்காது, "இந்த பாதுகாப்பு சுயவிவரத்திற்கு இணங்குவது, தேசிய பாதுகாப்புத் தகவல் பொருத்தமான முறையில் பாதுகாக்கப்படுகிறது என்ற போதுமான நம்பிக்கையை வழங்காது, இதில் ஒரு பெரிய அமைப்பின் சூழலில் இணக்கமான தயாரிப்பு ஒருங்கிணைக்கப்பட்டுள்ளது". எஸ்இஎல்4 மைக்ரோ கர்னல் ஒரு பிரிப்பு கர்னலாக கட்டமைக்கப்படலாம் என்பதற்கான முறையான ஆதாரத்தைக் கொண்டுள்ளது. தகவல்களின் அமலாக்கப்பட்ட தொடர்ச்சி இதனுடன் இது உத்தரவாதத்தின் உயர்ந்த நிலை எடுத்துக்காட்டு என்பதைக் குறிக்கிறது. முயென் பிரிப்பு கர்னல் என்பது x86 இயந்திரங்களுக்கான முறையாக சரிபார்க்கப்பட்ட திறந்த மூல பிரிப்பு கர்னலாகும். மேலும் பார்க்கவும் ஒரு பிரிப்பு கர்னலை அடிப்படையாகக் கொண்ட கணினி பாதுகாப்பு கட்டமைப்பிற்காக பாதுகாப்பின் பல சுயாதீன நிலைகளைப் பார்க்கவும். க்ரூட் ஃப்ரீபிஎஸ்டி சிறை இயக்க-அமைப்பு-நிலை மெய்நிகராக்கம் குறிப்புகள் விநியோகிக்கப்பட்ட கணினி இயக்க முறைமை கர்னல்கள்