Bakeng sa ho kenyeletsoa ho Linux kernel 5.20 (mohlomong lekala le tla ba le nomoro ea 6.0), ho khothaletsoa sehlopha sa li-patches ka ts'ebetsong ea mochine oa RV (Runtime Verification), o fanang ka lisebelisoa tsa ho lekola ts'ebetso e nepahetseng lits'ebetsong tse tšepahalang haholo tse netefatsang bosio ba ho hloleha. Netefatso e etsoa ka nako ea ts'ebetso ka ho hokela batshwari ho latela lintlha tse lekola tsoelo-pele ea ts'ebetso khahlano le mohlala o reriloeng esale pele oa referense oa automaton o hlalosang boitšoaro bo lebelletsoeng ba sistimi.
Tlhahisoleseding e tsoang lintlheng tsa morao-rao e tsamaisa mohlala ho tloha naheng e 'ngoe ho ea ho e' ngoe, 'me haeba naha e ncha e sa lumellane le litekanyetso tsa mohlala, ho hlahisoa temoso kapa kernel e behoa boemong ba "ho tšoha" (litsamaiso tse phahameng tsa ts'epo li lebelletsoe ho lemoha. le ho arabela maemong a joalo). Moetso oa automaton, o hlalosang phetoho ho tloha naheng e 'ngoe ho ea ho e' ngoe, o romelloa ka har'a sebopeho sa "dot" (graphviz), ka mor'a moo e fetoleloa ka tšebeliso ea dot2c ho setšoantšo sa C, se kentsoeng ka mokhoa oa kernel module. e latela liphapang tsa tsoelo-pele ea ts'ebetso ho tloha moetsong o boletsoeng esale pele.
Tlhahlobo ea nako ea ho matha e behiloe e le mokhoa o bobebe le o bonolo oa ho etsa bonnete ba ts'ebetso e nepahetseng lits'ebetsong tsa bohlokoa tsa thomo, tse tlatselletsang mekhoa ea netefatso ea ts'epahalo ea khale joalo ka tlhahlobo ea mohlala le bopaki ba lipalo ba ho lumellana le khoutu le litlhaloso tse fanoeng ka mokhoa o hlophisitsoeng. puo. Har'a melemo ea RV ke bokhoni ba ho fana ka netefatso e tiileng ntle le ts'ebetsong e arohaneng ea tsamaiso eohle ka puo ea mohlala, hammoho le karabelo e feto-fetohang ho liketsahalo tse sa lebelloang, mohlala, ho thibela ho phatlalatsoa ho eketsehileng ha ho hlōleha ha litsamaiso tse mahlonoko.
Source: opennet.ru