Linux కెర్నల్ 5.20 (బహుశా బ్రాంచ్ సంఖ్య 6.0)లో చేర్చడం కోసం, RV (రన్‌టైమ్ వెరిఫికేషన్) మెకానిజం అమలుతో ప్యాచ్‌ల సమితి ప్రతిపాదించబడింది, ఇది అత్యంత విశ్వసనీయమైన సిస్టమ్‌లపై సరైన ఆపరేషన్‌ను తనిఖీ చేయడానికి సాధనాలను అందిస్తుంది. వైఫల్యాలు లేకపోవడం. సిస్టమ్ యొక్క ఊహించిన ప్రవర్తనను నిర్వచించే ఆటోమేటన్ యొక్క ముందుగా నిర్ణయించిన రిఫరెన్స్ డిటర్మినిస్టిక్ మోడల్‌కు వ్యతిరేకంగా అమలు యొక్క వాస్తవ పురోగతిని తనిఖీ చేసే ట్రేస్ పాయింట్‌లకు హ్యాండ్లర్‌లను జోడించడం ద్వారా ధృవీకరణ రన్‌టైమ్‌లో నిర్వహించబడుతుంది.
ట్రేస్ పాయింట్ల నుండి సమాచారం మోడల్‌ను ఒక స్థితి నుండి మరొక స్థితికి తరలిస్తుంది మరియు కొత్త స్థితి మోడల్ యొక్క పారామితులతో సరిపోలకపోతే, హెచ్చరిక రూపొందించబడుతుంది లేదా కెర్నల్ "పానిక్" స్థితిలో ఉంచబడుతుంది (అధిక విశ్వసనీయత వ్యవస్థలు గుర్తించగలవని భావిస్తున్నారు. మరియు అటువంటి పరిస్థితులకు ప్రతిస్పందించండి). ఒక రాష్ట్రం నుండి మరొక స్థితికి పరివర్తనలను నిర్వచించే ఆటోమేటన్ మోడల్, "డాట్" ఆకృతికి (గ్రాఫ్విజ్) ఎగుమతి చేయబడుతుంది, ఆ తర్వాత అది dot2c యుటిలిటీని ఉపయోగించి C ప్రాతినిధ్యంగా అనువదించబడుతుంది, ఇది కెర్నల్ మాడ్యూల్ రూపంలో లోడ్ చేయబడుతుంది. ముందే నిర్వచించిన మోడల్ నుండి అమలు పురోగతి యొక్క విచలనాలను ట్రాక్ చేస్తుంది.
రన్-టైమ్ మోడల్ చెకింగ్ అనేది మిషన్-క్రిటికల్ సిస్టమ్స్‌పై సరైన అమలును ధృవీకరించడం, మోడల్ చెకింగ్ మరియు లాంఛనప్రాయంగా ఇచ్చిన స్పెసిఫికేషన్‌లతో కోడ్ సమ్మతి యొక్క గణిత శాస్త్ర రుజువుల వంటి క్లాసికల్ విశ్వసనీయత ధృవీకరణ పద్ధతులను పూర్తి చేయడం కోసం తేలికైన-బరువు మరియు సులభంగా అమలు చేసే పద్ధతిగా ఉంచబడుతుంది. భాష. RV యొక్క ప్రయోజనాలలో ఒక మోడలింగ్ భాషలో మొత్తం సిస్టమ్ యొక్క ప్రత్యేక అమలు లేకుండా కఠినమైన ధృవీకరణను అందించగల సామర్థ్యం, అలాగే ఊహించలేని సంఘటనలకు అనువైన ప్రతిస్పందన, ఉదాహరణకు, క్లిష్టమైన వ్యవస్థలలో వైఫల్యం యొక్క తదుపరి ప్రచారాన్ని నిరోధించడం.
మూలం: opennet.ru