எட்டு வருட வளர்ச்சிக்குப் பிறகு, Muen 1.0 திட்டம் வெளியிடப்பட்டது, பிரிப்பு கர்னலை உருவாக்கியது, அதன் மூலக் குறியீட்டில் பிழைகள் இல்லாதது முறையான நம்பகத்தன்மை சரிபார்ப்புக்கான கணித முறைகளைப் பயன்படுத்தி உறுதிப்படுத்தப்பட்டது. கெர்னல் x86_64 கட்டமைப்பிற்குக் கிடைக்கிறது, மேலும் இது அதிக நம்பகத்தன்மை மற்றும் தோல்விகள் இல்லாத உத்தரவாதம் தேவைப்படும் மிஷன்-கிரிட்டிகல் சிஸ்டங்களில் பயன்படுத்தப்படலாம். திட்டத்தின் மூலக் குறியீடு அடா மொழியிலும் அதன் சரிபார்க்கக்கூடிய பேச்சுவழக்கு SPARK 2014 இல் எழுதப்பட்டுள்ளது. குறியீடு GPLv3 உரிமத்தின் கீழ் விநியோகிக்கப்படுகிறது.
பிரிப்பு கர்னல் என்பது ஒரு மைக்ரோ கர்னல் ஆகும், இது ஒருவருக்கொருவர் தனிமைப்படுத்தப்பட்ட கூறுகளை செயல்படுத்துவதற்கான சூழலை வழங்குகிறது, இதன் தொடர்பு கொடுக்கப்பட்ட விதிகளால் கண்டிப்பாக கட்டுப்படுத்தப்படுகிறது. தனிமைப்படுத்தல் இன்டெல் VT-x மெய்நிகராக்க நீட்டிப்புகளின் பயன்பாட்டை அடிப்படையாகக் கொண்டது மற்றும் இரகசிய தொடர்பு சேனல்களின் அமைப்பைத் தடுப்பதற்கான பாதுகாப்பு வழிமுறைகளை உள்ளடக்கியது. பகிர்வு கர்னல் மற்ற மைக்ரோகர்னல்களை விட மிகச்சிறிய மற்றும் நிலையானது, இது தோல்வியை ஏற்படுத்தும் சூழ்நிலைகளின் எண்ணிக்கையை குறைக்கிறது.
கர்னல் VMX ரூட் பயன்முறையில் இயங்குகிறது, இது ஹைப்பர்வைசரைப் போன்றது, மேலும் மற்ற அனைத்து கூறுகளும் விருந்தினர் அமைப்புகளைப் போலவே VMX ரூட் அல்லாத பயன்முறையில் இயங்குகின்றன. கருவிகளுக்கான அணுகல் Intel VT-d DMA நீட்டிப்புகள் மற்றும் குறுக்கீடு ரீமேப்பிங் ஆகியவற்றைப் பயன்படுத்தி செய்யப்படுகிறது, இது Muen இன் கீழ் இயங்கும் கூறுகளுடன் PCI சாதனங்களை பாதுகாப்பான பிணைப்பை செயல்படுத்துவதை சாத்தியமாக்குகிறது.
Muen இன் திறன்களில் மல்டி-கோர் சிஸ்டம்களுக்கான ஆதரவு, உள்ளமை நினைவகப் பக்கங்கள் (EPT, விரிவாக்கப்பட்ட பக்க அட்டவணைகள்), MSI (செய்தி சமிக்ஞை செய்யப்பட்ட குறுக்கீடுகள்) மற்றும் நினைவக பக்க பண்புக்கூறு அட்டவணைகள் (PAT, பக்க பண்பு அட்டவணை) ஆகியவை அடங்கும். Muen இன்டெல் VMX ப்ரீம்ப்டிவ் டைமரை அடிப்படையாகக் கொண்ட ஒரு நிலையான ரவுண்ட்-ராபின் திட்டமிடல், செயல்திறனை பாதிக்காத ஒரு சிறிய இயக்க நேரம், ஒரு செயலிழப்பு தணிக்கை அமைப்பு, ஒரு விதி அடிப்படையிலான நிலையான வள ஒதுக்கீட்டு இயந்திரம், நிகழ்வு கையாளுதல் அமைப்பு மற்றும் பகிரப்பட்ட நினைவக சேனல்களை வழங்குகிறது. இயங்கும் கூறுகளுக்குள் தொடர்பு.
இது 64-பிட் இயந்திரக் குறியீடு, 32- அல்லது 64-பிட் மெய்நிகர் இயந்திரங்கள், Ada மற்றும் SPARK 64 மொழிகளில் 2014-பிட் பயன்பாடுகள், Linux மெய்நிகர் இயந்திரங்கள் மற்றும் Muen மேல் MirageOS அடிப்படையிலான சுய-கட்டுமான "unikernels" உடன் இயங்கும் கூறுகளை ஆதரிக்கிறது.
Muen 1.0 வெளியீட்டில் வழங்கப்படும் முக்கிய கண்டுபிடிப்புகள்:
- கர்னல் (சாதனம் மற்றும் கட்டமைப்பு), கணினி (கணினி கொள்கைகள், Tau0 மற்றும் கருவித்தொகுப்பு) மற்றும் திட்டத்தின் அனைத்து அம்சங்களையும் ஆவணப்படுத்தும் கூறுகளுக்கான விவரக்குறிப்புகளுடன் ஆவணங்கள் வெளியிடப்பட்டுள்ளன.
- Tau0 (Muen System Composer) கருவித்தொகுப்பு சேர்க்கப்பட்டுள்ளது, இதில் கணினி படங்களை உருவாக்குவதற்கும் Muen மேல் இயங்கும் நிலையான சேவைகளை உருவாக்குவதற்கும் ஆயத்த சரிபார்க்கப்பட்ட கூறுகளின் தொகுப்பை உள்ளடக்கியது. வழங்கப்பட்ட கூறுகளில் AHCI (SATA) இயக்கி, சாதன மேலாளர் (DM), துவக்க ஏற்றி, கணினி மேலாளர், மெய்நிகர் முனையம் போன்றவை அடங்கும்.
- muenblock Linux இயக்கி (Muen பகிரப்பட்ட நினைவகத்தின் மேல் இயங்கும் ஒரு தொகுதி சாதனத்தின் செயலாக்கம்) blockdev 2.0 API ஐப் பயன்படுத்த மாற்றப்பட்டது.
- சொந்த கூறுகளின் வாழ்க்கை சுழற்சியை நிர்வகிப்பதற்கான நடைமுறைப்படுத்தப்பட்ட கருவிகள்.
- சிஸ்டம் படங்கள் ஒருமைப்பாட்டைப் பாதுகாக்க SBS (கையொப்பமிடப்பட்ட பிளாக் ஸ்ட்ரீம்) மற்றும் CSL (கமாண்ட் ஸ்ட்ரீம் லோடர்) ஆகியவற்றைப் பயன்படுத்துவதற்கு மாற்றப்பட்டுள்ளன.
- சரிபார்க்கப்பட்ட AHCI-DRV இயக்கி SPARK 2014 மொழியில் எழுதப்பட்டு, ATA இடைமுகம் அல்லது தனிப்பட்ட வட்டு பகிர்வுகளை கூறுகளுடன் இணைக்கும் இயக்கிகளை இணைக்க அனுமதிக்கிறது.
- MirageOS மற்றும் Solo5 திட்டங்களில் இருந்து மேம்படுத்தப்பட்ட யுனிகர்னல் ஆதரவு.
- GNAT சமூகம் 2021 வெளியீட்டிற்காக Ada மொழி கருவித்தொகுப்பு புதுப்பிக்கப்பட்டது.
- தொடர்ச்சியான ஒருங்கிணைப்பு அமைப்பு Bochs எமுலேட்டரிலிருந்து QEMU/KVM உள்ளமைக்கப்பட்ட சூழல்களுக்கு மாற்றப்பட்டது.
- லினக்ஸ் கூறு படங்கள் லினக்ஸ் 5.4.66 கர்னலைப் பயன்படுத்துகின்றன.
ஆதாரம்: opennet.ru