Kuiswa muLinux kernel 5.20 (zvichida bazi richaverengerwa 6.0), seti yezvigamba inokurudzirwa nekushandiswa kweRV (Runtime Verification) mashandiro, ayo anopa maturusi ekutarisa kushanda kwakaringana pamasisitimu akavimbika anovimbisa kusavapo kwekukundikana. Verification inoitwa panguva yekumhanya nekubatanidza zvibatiso kuronda mapoinzi anotarisa mafambiro chaiwo ekuurayiwa uchitarisana neyakafanotemerwa referensi deterministic modhi ye automaton inotsanangura maitiro anotarisirwa ehurongwa.
Ruzivo kubva kune yekutevera mapoinzi inofambisa iyo modhi kubva kune imwe nyika kuenda kune imwe, uye kana iyo itsva nyika isingaenderane neiyo paramita yemuenzaniso, yambiro inogadzirwa kana kernel inoiswa mu "kuvhunduka" mamiriro (yakanyanya kuvimbika masisitimu anotarisirwa kuona. uye kupindura kumamiriro ezvinhu akadaro). Iyo automaton modhi, iyo inotsanangura shanduko kubva kune imwe nyika kuenda kune imwe, inotumirwa kune iyo "dot" fomati (graphviz), yobva yashandurwa uchishandisa dot2c utility kuita C inomiririra, iyo inotakurwa muchimiro che kernel module iyo. inoteedzera kutsauka kwekufambira mberi kwekuita kubva kune yakafanotsanangurwa modhi.
Run-time modhi yekutarisa inomisikidzwa seyakareruka-huremu uye iri nyore-kuita-kuita nzira yekuona kuuraya kwakaringana pane mishoni-yakakosha masisitimu, inozadzisa classical kuvimbika nzira dzekuongorora dzakadai sekutarisa modhi uye humbowo hwemasvomhu hwekuteedzera kodhi nezvakatsanangurwa zvakapihwa mugwara. mutauro. Pakati pezvakanakira RV ndiko kugona kupa humbowo hwakasimba pasina kuisirwa kwakasiyana kwehurongwa hwese mumutauro wekuenzanisira, pamwe nemhinduro inoshanduka kune zviitiko zvisingatarisirwi, semuenzaniso, kuvharira kupararira kwekukundikana mune dzakakosha masisitimu.
Source: opennet.ru