Kuti muphatikizidwe mu Linux kernel 5.20 (mwina nthambi idzawerengedwa 6.0), gulu la zigamba likukonzedwa ndikukhazikitsa njira ya RV (Runtime Verification), yomwe imapereka zida zowunika momwe ntchito ikuyendera pamakina odalirika omwe amatsimikizira kusowa kwa zolephera. Kutsimikizira kumachitidwa panthawi yothamanga pomangirira zogwirira ntchito kuti zifufuze zomwe zimayang'ana momwe kachitidweko kakuyendera motsatizana ndi chitsanzo chodziwikiratu chodziwikiratu cha automaton chomwe chimatanthawuza machitidwe omwe akuyembekezeredwa adongosolo.
Chidziwitso chochokera kumalo otsatirira chimasuntha chitsanzo kuchokera kudziko lina kupita ku lina, ndipo ngati dziko latsopano silikugwirizana ndi magawo a chitsanzo, chenjezo limapangidwa kapena kernel imayikidwa mu "mantha" (machitidwe odalirika kwambiri akuyembekezeka kuzindikira). ndi kuyankha pazimenezi). Mtundu wa automaton, womwe umatanthawuza kusintha kuchokera ku dziko lina kupita ku lina, umatumizidwa ku mtundu wa "dontho" (graphviz), pambuyo pake umamasuliridwa pogwiritsa ntchito dot2c utility kukhala choyimira C, chomwe chimayikidwa mu mawonekedwe a kernel module. imayang'anira zopotoka za momwe kachitidwe kachitidwe kachitidwe kuchokera kuchitsanzo chodziwikiratu.
Kuwunika kwanthawi yothamanga kumayikidwa ngati njira yopepuka komanso yosavuta kugwiritsa ntchito yotsimikizira kukwaniritsidwa koyenera pamakina ofunikira, omwe amakwaniritsa njira zotsimikizira zodalirika zakale monga kuwunika kwachitsanzo ndi umboni wamasamu wa kutsata malamulo ndi zomwe zaperekedwa mwadongosolo. chinenero. Zina mwa ubwino wa RV ndi kuthekera kopereka chitsimikiziro chokhwima popanda kukhazikitsidwa kosiyana kwa dongosolo lonse mu chinenero chachitsanzo, komanso kuyankha kosinthika ku zochitika zosayembekezereka, mwachitsanzo, kulepheretsa kufalitsa kwina kwa kulephera mu machitidwe ovuta.
Source: opennet.ru