லினக்ஸ் கர்னல் 5.20 இல் சேர்ப்பதற்காக (ஒருவேளை கிளை 6.0 என எண்ணப்பட்டிருக்கலாம்), RV (இயக்க நேர சரிபார்ப்பு) பொறிமுறையை செயல்படுத்துவதன் மூலம் இணைப்புகளின் தொகுப்பு முன்மொழியப்பட்டது, இது மிகவும் நம்பகமான கணினிகளில் சரியான செயல்பாட்டைச் சரிபார்க்கும் கருவிகளை வழங்குகிறது. தோல்விகள் இல்லாதது. கணினியின் எதிர்பார்க்கப்படும் நடத்தையை வரையறுக்கும் ஆட்டோமேட்டனின் முன்னரே தீர்மானிக்கப்பட்ட குறிப்பு நிர்ணய மாதிரிக்கு எதிராக செயல்பாட்டின் உண்மையான முன்னேற்றத்தை சரிபார்க்கும் புள்ளிகளுக்கு கையாளுபவர்களை இணைப்பதன் மூலம் இயக்க நேரத்தில் சரிபார்ப்பு செய்யப்படுகிறது.
சுவடு புள்ளிகளில் இருந்து தகவல் மாதிரியை ஒரு மாநிலத்திலிருந்து மற்றொரு நிலைக்கு நகர்த்துகிறது, மேலும் புதிய நிலை மாதிரியின் அளவுருக்களுடன் பொருந்தவில்லை என்றால், ஒரு எச்சரிக்கை உருவாக்கப்படும் அல்லது கர்னல் "பீதி" நிலையில் வைக்கப்படும் (உயர் நம்பகத்தன்மை அமைப்புகள் கண்டறியும் என எதிர்பார்க்கப்படுகிறது. அத்தகைய சூழ்நிலைகளுக்கு பதிலளிக்கவும்). ஒரு மாநிலத்திலிருந்து மற்றொரு மாநிலத்திற்கு மாறுவதை வரையறுக்கும் ஆட்டோமேட்டன் மாதிரியானது "டாட்" வடிவத்திற்கு (கிராஃப்விஸ்) ஏற்றுமதி செய்யப்படுகிறது, அதன் பிறகு அது dot2c பயன்பாட்டைப் பயன்படுத்தி C பிரதிநிதித்துவமாக மொழிபெயர்க்கப்படுகிறது, இது கர்னல் தொகுதி வடிவத்தில் ஏற்றப்படுகிறது. முன் வரையறுக்கப்பட்ட மாதிரியிலிருந்து செயல்படுத்தல் முன்னேற்றத்தின் விலகல்களைக் கண்காணிக்கிறது.
ரன்-டைம் மாதிரிச் சரிபார்ப்பு என்பது இலகு-எடை மற்றும் சுலபமாகச் செயல்படுத்தும் முறையாக, பணி-முக்கிய அமைப்புகளில் சரியான செயல்பாட்டைச் சரிபார்க்கிறது, மாதிரிச் சரிபார்ப்பு மற்றும் முறைப்படி கொடுக்கப்பட்ட குறிப்புகளுடன் குறியீடு இணக்கத்திற்கான கணிதச் சான்றுகள் போன்ற பாரம்பரிய நம்பகத்தன்மை சரிபார்ப்பு முறைகளை நிறைவு செய்கிறது. மொழி. RV இன் நன்மைகளில், மாடலிங் மொழியில் முழு அமைப்பையும் தனித்தனியாக செயல்படுத்தாமல் கடுமையான சரிபார்ப்பை வழங்கும் திறன், அதே போல் எதிர்பாராத நிகழ்வுகளுக்கு நெகிழ்வான பதில், எடுத்துக்காட்டாக, சிக்கலான அமைப்புகளில் தோல்வியின் மேலும் பரவலைத் தடுப்பது.
ஆதாரம்: opennet.ru