Verve (operating system)
வெர்வ் என்பது மைக்ரோசாப்ட் ரிசர்ச் உருவாக்கிய ஒரு ஆராய்ச்சி இயக்க முறைமையாகும். வகை பாதுகாப்பு மற்றும் நினைவக பாதுகாப்பிற்காக வெர்வ் இறுதி முதல் இறுதி வரை சரிபார்க்கப்படுகிறது. அவற்றின் சிக்கலான தன்மை காரணமாக, இயக்க முறைமைகளின் பண்புகளை சரிபார்க்க மென்பொருள் சரிபார்ப்பின் புனித கிரெயில் உள்ளது. இயக்க முறைமைகள் பொதுவாக சி போன்ற குறைந்த அளவிலான மொழிகளில் எழுதப்படுகின்றன, அவை மிகக் குறைந்த உத்தரவாதங்களை வழங்குகின்றன. சிங்குலாரிட்டி திட்டம் சி #இல் ஒரு இயக்க முறைமையை எழுதுவதற்கான அணுகுமுறையை எடுத்தது, இது ஒரு வகை-பாதுகாப்பான, நினைவக-பாதுகாப்பான மொழியாகும். இந்த அணுகுமுறையின் ஒரு பலவீனம் என்னவென்றால், இயக்க முறைமைகள் குறைந்த அளவிலான குறியீட்டை அழைக்க வேண்டும், எடுத்துக்காட்டாக, அடுக்கு சுட்டியை நகர்த்த வேண்டும். இயக்க முறைமையை சரிபார்க்கப்பட்ட அசெம்பிளி மொழியாகப் பிரிப்பதன் மூலம் வெர்வ் இந்த சிக்கலை நிவர்த்தி செய்கிறார், இது குறைந்த அளவிலானதாகவும், சி #இல் எழுதப்பட்ட மீதமுள்ள இயக்க முறைமைக்கு நம்பகமான இடைமுகமாகவும் இருக்க வேண்டும். குறைந்த அளவிலான அசெம்பிளி குறியீடு குவியலை மாற்றாது என்றும் உயர் மட்ட சி #குறியீடு அடுக்குகளை மாற்றாது என்றும் உத்தரவாதம் அளிக்கும் நம்பகமான விவரக்குறிப்பு உள்ளது. வளைவு ஒரு சிறிய நியூக்ளியஸைக் கொண்டுள்ளது, இது ஒரு குறைந்தபட்ச வன்பொருள் சுருக்க அடுக்காக செயல்படுகிறது, மேலும் ஒரு கர்னல், இது நியூக்ளியஸால் வழங்கப்பட்ட பழங்காலங்களைப் பயன்படுத்தி பயன்பாடுகளுக்கு மிகவும் பாரம்பரிய இடைமுகத்தை வெளிப்படுத்துகிறது. நியூக்ளியஸைத் தவிர மற்ற அமைப்பின் அனைத்து கூறுகளும் நிர்வகிக்கப்பட்ட குறியீடு சி #இல் எழுதப்பட்டு, பார்டோக் (முதலில் சிங்குலாரிட்டி திட்டத்திற்காக உருவாக்கப்பட்டது) தட்டச்சு செய்யப்பட்ட அசெம்பிளி மொழியாக (டிஏஎல்) தொகுக்கப்பட்டுள்ளது, இது ஒரு டிஏஎல் செக்கரால் சரிபார்க்கப்படுகிறது. நியூக்ளியஸ் ஒரு நினைவக ஒதுக்கீடு மற்றும் குப்பை சேகரிப்பு, அடுக்கு மாற்றுவதற்கான ஆதரவு மற்றும் குறுக்கீடு கையாளிகளை நிர்வகிப்பதை செயல்படுத்துகிறது. இது பூகீபிஎல் இல் எழுதப்பட்டுள்ளது, இது எம்எஸ்ஆரின் பூகி சரிபார்ப்புக்கான உள்ளீடாக செயல்படுகிறது, இது Z3 தேற்றம் புரோவர் திருப்திகரமான மாடுலோ கோட்பாடுகள் (எஸ்எம்டி) தானியங்கி தேற்றம் புரோவர் (தீர்வு) ஐப் பயன்படுத்தி நியூக்ளியஸ் சரியானது என்பதை நிரூபிக்கிறது. நூல்களைச் செயல்படுத்துவதற்கும், திட்டமிடுவதற்கும், ஒத்திசைப்பதற்கும், பெரும்பாலான குறுக்கீடு கையாளிகளை வழங்குவதற்கும் நியூக்ளியஸ் கர்னலை நம்பியுள்ளது. கர்னல் முறையாக சரிபார்க்கப்படவில்லை என்றாலும், எடுத்துக்காட்டாக, திட்டமிடுதலில் உள்ள ஒரு பிழை கணினியை தொங்கவிடலாம், இது வகை அல்லது நினைவக பாதுகாப்பை மீற முடியாது, இதனால் நேரடியாக வரையறுக்கப்படாத நடத்தையை ஏற்படுத்த முடியாது. நியூக்ளியஸிடம் செல்லாத கோரிக்கைகளைச் செய்ய முயற்சித்தால், நியூக்ளியஸ் நிலைமையை கட்டுப்படுத்தப்பட்ட முறையில் கையாளுகிறது என்பதற்கு முறையான சரிபார்ப்பு உத்தரவாதம் அளிக்கிறது. வெர்வின் நம்பகமான கம்ப்யூட்டிங் தளம் (TCB) பின்வருவனவற்றிற்கு மட்டுப்படுத்தப்பட்டுள்ளதுஃ நியூக்ளியஸின் சரியான தன்மையை சரிபார்க்க பூகி/Z3; அதை x86 அசெம்பிளியாக மொழிபெயர்க்க பூகிஏஎஸ்எம்; நியூக்ளியஸ் எவ்வாறு நடந்து கொள்ள வேண்டும் என்பதற்கான பூகிஇபிஎல் விவரக்குறிப்பு; TAL சரிபார்ப்பவர்; அசெம்பிளர் மற்றும் லிங்கர்; மற்றும் பூட் லோடர். சி #கம்பைலர்/ரன்டைம் அல்லது பார்டோக் கம்பைலர் ஆகியவை டி. சி. பியின் ஒரு பகுதியாக இல்லை என்பது குறிப்பிடத்தக்கது. கடைசி அறிவுறுத்தலுக்கு பாதுகாப்பான குறிப்புகள்ஃ ஒரு வகை-பாதுகாப்பான இயக்க முறைமையின் தானியங்கி சரிபார்ப்பு, ஜீன் யாங் மற்றும் கிறிஸ் ஹாப்லிட்ஸல். நிரலாக்க மொழி வடிவமைப்பு மற்றும் செயல்படுத்தல், 2010. கடைசி அறிவுறுத்தலுக்கு பாதுகாப்பானதுஃ ஒரு வகை-பாதுகாப்பான இயக்க முறைமையின் தானியங்கி சரிபார்ப்பு, ஜீன் யாங் மற்றும் கிறிஸ் ஹாப்லிட்ஸல். சிஏசிஎம் ஆராய்ச்சி சிறப்பம்சங்கள். ACM இன் தகவல்தொடர்புகள், செப்டம்பர் 2010. தொழில்நுட்பக் கண்ணோட்டம்ஃ முதலில் பாதுகாப்பு! வர்வ்ஃ ஒரு வகை பாதுகாப்பான இயக்க முறைமை. கிறிஸ் ஹாப்லிட்ஸுடன் ஒரு நேர்காணல். வர்வ்ஃ ஒரு வகை பாதுகாப்பான இயக்க முறைமை. ஓஎஸ் நியூஸ். விர்வை அறிவிப்பது-ஒரு வகை-பாதுகாப்பான இயக்க முறைமை. தகவல். மைக்ரோசாப்ட் இயக்க முறைமைகள் மைக்ரோசாப்ட் ரிசர்ச் மைக்ரோகர்னல் அடிப்படையிலான இயக்க முறைமைகள் மைக்ரோகர்னல்கள் நானோகர்னல்கள்