Linuxi jaoks on ette nähtud tuumategevuse tõhususe kontrollimise mehhanism

Linux 5.20 tuumasse (võib-olla saab haru numbriks 6.0) on ette nähtud patšide kogum RV (Runtime Verification) mehhanismi rakendamiseks, mis pakub vahendeid määratlemiseks, kas funktsioneerimine on kõrge töökindlusega süsteemides, tagades häirete puudumise. Kontrollimine toimub täitmise ajal, kinnitades käivitajate kaudu toimingute ikkagi koormuse vastavust eelnevalt määratletud automaadi määratletud mudelile, mis määrab süsteemi oodatava käitumise.

Jälgimistelt saadud teave viib mudeli ühest olekust teise ja kui uus olek ei vasta mudeli parameetritele, genereeritakse hoiatus või tuum viiakse 'panic' olekusse (eelduseks on, et kõrge töökindlusega süsteemid tuvastavad sellised olukorrad ja reageerivad neile). Automaatmudel, mis määrab üleminekud ühest olekust teise, eksportitakse 'dot' (graphviz) formaati, pärast mida tõlgitakse see utility dot2c abil C keele kujule, mis laaditakse tuuma moodulina, jälgides täitmise kõrvalekaldeid ettemääratletud mudelist.

Mudeli võrdsustamine täitmise ajal positsioneeritakse kergemini rakendatavana efektiivselt tõhusate süsteemide õiguste kinnitamiseks, täiendades klassikalisi usaldusväärsuse kinnitamise meetodeid, nagu mudeli kontrollimine ja matemaatilised tõendid koodeksitega, mis on määratletud formaalses keeles. RV eeliseks on võimalus pakkuda ranget verifitseerimist ilma terve süsteemi eraldiseisva rakendamiseta mudeli keeles, samuti paindlik reageerimine ettenägematutele sündmustele, näiteks häire edasise leviku blokeerimine kriitiliste väärtuste süsteemides.

Allikas: opennet.ru