Ukufakwa kwi-Linux kernel 5.20 (mhlawumbi isebe liya kubalwa 6.0), iseti yeepatches iyacetyiswa ngokuphunyezwa kweRV (Runtime Verification) indlela, ebonelela ngezixhobo zokujonga umsebenzi ochanekileyo kwiinkqubo ezithembeke kakhulu eziqinisekisa ukungabikho kokusilela. Uqinisekiso lwenziwa ngexesha lokuqhuba ngokuncamathisela abaphangi kumanqaku okulandelela ajonga eyona nkqubela-phambili yophumezo ngokuchasene nemodeli emiselwe kwangaphambili yereferensi ye-automaton echaza ukuziphatha okulindelekileyo kwesistim.
Ulwazi oluvela kumanqaku okulandelela luhambisa imodeli ukusuka kwelinye ilizwe ukuya kwelinye, kwaye ukuba imeko entsha ayihambelani neeparameters zemodeli, isilumkiso senziwa okanye i-kernel ibekwe kwimeko "yokwesaba" (iinkqubo zokuthembeka okuphezulu kulindeleke ukuba zibone. kwaye uphendule kwiimeko ezinjalo). Imodeli ye-automaton, echaza utshintsho ukusuka kwelinye ilizwe ukuya kwelinye, ikhutshelwa ngaphandle kwifomati ye "dot" (graphviz), emva koko iguqulelwe kusetyenziswa into eluncedo yedot2c kumboniso we-C, olayishwe ngokohlobo lwemodyuli yekernel ilandelela izitenxo zenkqubela phambili yophumezo ukusuka kwimodeli echazwe kwangaphambili.
Ukujonga imodeli yexesha lokubaleka ibekwe njengendlela yobunzima obukhaphukhaphu kwaye kulula ukuyiphumeza yokuqinisekisa ukwenziwa okuchanekileyo kwiinkqubo ezibaluleke kakhulu zobuthunywa, ukuxhasa iindlela zokuqinisekisa ukuthembeka kwakudala njengokukhangela imodeli kunye nobungqina bemathematika bokuthotyelwa kwekhowudi kunye neenkcukacha ezinikezelwe ngokusesikweni. ulwimi. Phakathi kweenzuzo zeRV kukukwazi ukubonelela ngokuqinisekiswa okungqongqo ngaphandle kokuphunyezwa okwahlukileyo kwenkqubo yonke ngolwimi lomzekelo, kunye nokuphendula okuguquguqukayo kwiziganeko ezingalindelekanga, umzekelo, ukuthintela ukusasazwa ngakumbi kokungaphumeleli kwiinkqubo ezibalulekileyo.
umthombo: opennet.ru