No ka hoʻokomo ʻana i loko o ka Linux 5.20 kernel (malia paha e helu ʻia ka lālā 6.0), ua manaʻo ʻia kahi hoʻonohonoho o nā patches me ka hoʻokō ʻana i ka mīkini RV (Runtime Verification), e hāʻawi ana i nā mea hana no ka nānā ʻana i ka hana pololei ma nā ʻōnaehana hilinaʻi nui e hōʻoiaʻiʻo i ka. nele o na hemahema. Hana ʻia ka hōʻoia ʻana i ka wā holo ma o ka hoʻopili ʻana i nā mea lawelawe i ka ʻimi ʻana i nā kiko e nānā i ka holomua maoli o ka hoʻokō ʻana e kūʻē i kahi kumu hoʻohālikelike kuhikuhi i koho mua ʻia o ka automaton e wehewehe ana i ka hana i manaʻo ʻia o ka ʻōnaehana.
Hoʻoneʻe ʻia ka ʻike mai nā wahi trace i ke kumu hoʻohālike mai kekahi mokuʻāina a i kekahi, a inā ʻaʻole kūlike ka mokuʻāina hou i nā ʻāpana o ke kŘkohu, hoʻopuka ʻia kahi ʻōlelo aʻo a i ʻole ke kau ʻia ka kernel i kahi kūlana "panic" (manaʻo ʻia nā ʻōnaehana hilinaʻi kiʻekiʻe e ʻike. a pane i kēlā mau kūlana). ʻO ke kumu hoʻohālike automaton, e wehewehe ana i ka hoʻololi ʻana mai kekahi mokuʻāina a i kekahi, ua lawe ʻia i ke ʻano "dot" (graphviz), a laila unuhi ʻia me ka hoʻohana ʻana i ka pono dot2c i loko o kahi hōʻike C, i hoʻouka ʻia ma ke ʻano o kahi module kernel. kaʻa i nā ʻokoʻa o ka holomua o ka hoʻokō ʻana mai ke kumu hoʻohālike i koho mua ʻia.
Hoʻonohonoho ʻia ka nānā ʻana i ka wā holo ma ke ʻano he māmā-kaumaha a maʻalahi hoʻi e hoʻokō i ka hōʻoia ʻana i ka hoʻokō pololei ʻana ma nā ʻōnaehana koʻikoʻi, e hoʻokō ana i nā ʻano hōʻoia hilinaʻi maʻamau e like me ka nānā ʻana i ke kumu hoʻohālike a me nā hōʻike makemakika o ka hoʻokō ʻana i nā code me nā kikoʻī i hāʻawi ʻia ma kahi palapala. ʻōlelo. Ma waena o nā mea maikaʻi o RV ka hiki ke hāʻawi i ka hōʻoia koʻikoʻi me ka ʻole o ka hoʻokō kaʻawale ʻana o ka ʻōnaehana holoʻokoʻa i kahi ʻōlelo hoʻohālike, a me ka pane maʻalahi i nā hanana i manaʻo ʻole ʻia, no ka laʻana, e ālai i ka hoʻolaha hou ʻana o kahi hemahema i nā ʻōnaehana koʻikoʻi.
Source: opennet.ru