Foar opnimmen yn 'e Linux-kernel 5.20 (miskien sil de tûke nûmere 6.0 wurde), wurdt in set patches foarsteld mei de ymplemintaasje fan it RV-meganisme (Runtime Verification), dat ark biedt foar it kontrolearjen fan de juste operaasje op heul betroubere systemen dy't de ôfwêzigens fan mislearrings. Ferifikaasje wurdt útfierd by runtime troch it taheakjen fan handlers oan spoarpunten dy't de eigentlike fuortgong fan útfiering kontrolearje tsjin in foarbeskaaide referinsje deterministysk model fan 'e automaat dy't it ferwachte gedrach fan it systeem definiearret.
Ynformaasje fan spoarpunten ferpleatst it model fan de iene steat nei de oare, en as de nije steat net oerienkomt mei de parameters fan it model, wurdt in warskôging generearre of de kearn wurdt yn in "panyk" tastân pleatst (systemen mei hege betrouberens wurde ferwachte dat se detectearje en reagearje op sokke situaasjes). It automaatmodel, dat oergongen fan de iene steat nei de oare definiearret, wurdt eksportearre nei it "dot"-formaat (graphviz), wêrnei't it mei it dot2c-hulpprogramma oerset wurdt yn in C-fertsjintwurdiging, dy't wurdt laden yn 'e foarm fan in kernelmodule dy't tracks ôfwikingen fan de útfiering foarútgong fan de foarôf definiearre model.
Run-time modelkontrôle wurdt gepositioneerd as in lichtergewicht en makliker te ymplementearjen metoade foar it ferifiearjen fan juste útfiering op missy-krityske systemen, oanfolling fan klassike metoaden foar betrouberensferifikaasje lykas modelkontrôle en wiskundige bewizen fan koadekonformiteit mei spesifikaasjes jûn yn in formele taal. Under de foardielen fan RV is de mooglikheid om te foarsjen strange ferifikaasje sûnder in aparte ymplemintaasje fan it hiele systeem yn in modeling taal, likegoed as fleksibele reaksje op ûnfoarsjoene eveneminten, bygelyks, blokkearje de fierdere propagaasje fan in mislearring yn krityske systemen.
Boarne: opennet.ru