Mo le faʻaofiina i le Linux kernel 5.20 (atonu o le lala o le a faanumera 6.0), o se seti o patches o loʻo tuʻuina atu ma le faʻatinoina o le RV (Runtime Verification) masini, lea e maua ai meafaigaluega mo le siakiina o le saʻo saʻo i luga o faiga faʻalagolago tele e faʻamaonia ai le leai ni faaletonu. O le fa'amaoniga e faia i le taimi e fa'apipi'i ai le au fa'atonu e su'e togi e siaki ai le aga'i i luma o le fa'atinoga e fa'atatau i se fa'ata'ita'iga fa'ata'ita'i fa'asino a le masini e fa'amatala ai le amio fa'amoemoeina o le faiga.
O faʻamatalaga mai faʻailoga e faʻanofo ai le faʻataʻitaʻiga mai le tasi setete i le isi, ma afai e le fetaui le setete fou ma faʻataʻitaʻiga o le faʻataʻitaʻiga, e faia se lapataiga poʻo le tuʻuina o le fatu i se tulaga "faʻafefe" (o loʻo faʻamoemoeina e iloa ai le maualuga o le faʻatuatuaina o faiga. ma tali atu i ia tulaga). O le faʻataʻitaʻiga otometi, lea e faʻamatalaina ai suiga mai le tasi setete i le isi, e faʻatau atu i le "dot" format (graphviz), ona faʻaliliuina lea e faʻaaoga ai le aoga dot2c i se faʻatusa C, lea e utaina i le tulaga o se kernel module lea. fa'ata'ita'iina suiga o le fa'agasologa o le fa'atinoga mai le fa'ata'ita'iga ua uma ona fa'ata'atia.
O le siakiina o faʻataʻitaʻiga faʻataʻitaʻiga o loʻo faʻatulagaina e avea o se auala mama-mamafa ma faigofie-e faʻatinoina e faʻamaonia ai le faʻatinoina saʻo i luga o faiga faʻa-misiona, faʻapipiʻiina auala faʻamaonia faʻamaoni masani e pei o le siakiina o faʻataʻitaʻiga ma faʻamaoniga o le matematika o le tausisia o tulafono ma faʻamatalaga ua tuʻuina atu i se tulaga aloaia. gagana. Faatasi ai ma le lelei o le RV o le mafai lea ona tuʻuina atu faʻamaoniga faʻamaonia e aunoa ma se faʻatinoina eseʻesega o le faiga atoa i se gagana faʻataʻitaʻiga, faʻapea foʻi ma le tali fetuutuunai i mea e leʻi mafaufauina, mo se faʻataʻitaʻiga, e poloka ai le faʻasalalau atili o se toilalo i faiga ogaoga.
puna: opennet.ru