Maka itinye ya na Linux kernel 5.20 (ikekwe alaka a ga-agụta 6.0), a na-atụpụta otu patches na ntinye nke usoro RV (Runtime Verification), nke na-enye ngwaọrụ maka ịlele ọrụ ziri ezi na sistemụ ntụkwasị obi siri ike nke na-ekwe nkwa enweghị ọdịda. A na-eme nkwenye n'oge ojiri gaa site na ijikọta ndị na-ahụ maka ihe na-achọpụta isi ihe na-enyocha ọganihu n'ezie nke ogbugbu megide ihe nrịbama ekpebiela nke akpaghị aka nke na-akọwapụta omume a na-atụ anya na sistemụ ahụ.
Ozi sitere na akara akara na-ebugharị ihe nlereanya ahụ site n'otu steeti gaa na nke ọzọ, ma ọ bụrụ na steeti ọhụrụ ahụ adabaghị na parampat nke ihe nlereanya ahụ, a na-emepụta ịdọ aka ná ntị ma ọ bụ tinye kernel na steeti "egwu" (usoro ntụkwasị obi dị elu na-atụ anya ịchọpụta. ma zaghachi ọnọdụ ndị dị otú ahụ). Ụdị automaton, nke na-akọwa ntụgharị site n'otu steeti gaa na nke ọzọ, na-ebupụ gaa na usoro "dot" (graphviz), mgbe nke ahụ gasịrị, a sụgharịrị ya site na iji dot2c utility n'ime ihe nnọchianya C, nke a na-ebu n'ụdị kernel modul nke na-atụgharị ya. na-esochi ndịiche nke agamnihu ogbugbu ahụ site na ụdị eburu ụzọ kọwaa.
A na-edobe nlele ihe nlere nke oge ịgba ọsọ dị ka usoro dị mfe ma dị mfe itinye n'ọrụ iji nyochaa mmezu ziri ezi na sistemu ozi dị oke mkpa, na-emeju usoro nkwenye oge gboo dị ka ịlele ihe nlereanya yana akaebe mgbakọ na mwepụ nke nnabata koodu na nkọwapụta enyere n'usoro iwu. asụsụ. Otu n'ime uru dị na RV bụ ikike ịnye nkwenye siri ike na-enweghị mmejuputa dị iche iche nke usoro dum na asụsụ nhazi, yana nzaghachi mgbanwe maka ihe ndị a na-atụghị anya ya, dịka ọmụmaatụ, igbochi mgbasawanye nke ọdịda na usoro dị egwu.
isi: opennet.ru