Mo te whakauru ki roto i te Linux kernel 5.20 (pea pea ko te peka ka kiia ko te 6.0), ka tukuna he huinga o nga papanga me te whakatinanatanga o te tikanga RV (Runtime Verification), e whakarato ana i nga taputapu mo te tirotiro i te mahi tika i runga i nga punaha tino pono e whakamana ana i te te kore o nga rahunga. Ka mahia te manatoko i te wa whakahaere ma te taapiri i nga kaikawe ki te whai i nga tohu e tirotiro ana i te ahunga whakamua o te mahi ki tetahi tauira tohu tohutoro o te miihini e whakaatu ana i te whanonga e tumanakohia ana o te punaha.
Ko nga korero mai i nga tohu tohu ka nekehia te tauira mai i tetahi whenua ki tetahi atu, a ki te kore te ahua hou e taurite ki nga tawhā o te tauira, ka puta he whakatupato, ka tuuhia ranei te kernel ki roto i te ahua "panic" (ko nga punaha pono ka kitea. me te whakautu ki nga ahuatanga penei). Ko te tauira automaton, e whakaatu ana i nga whakawhitinga mai i tetahi kawanatanga ki tetahi atu, ka kaweake ki te whakatakotoranga "ira" (graphviz), ka mutu ka whakamaoritia ma te whakamahi i te taputapu dot2c ki roto i te tohu C, ka utaina ki te ahua o te kōwae kernel e ka whai i nga rereke o te ahunga whakamua mai i te tauira kua tautuhia.
Ko te arowhai tauira wa-haere he mea mama-mamae me te ngawari-ki-te-whakatinana tikanga mo te manatoko i te mahi tika i runga i nga punaha miihana-arohaehae, ki te whakakii i nga tikanga whakapumautanga pono puāwai penei i te arowhai tauira me nga tohu pangarau o te ū o te waehere me nga whakaritenga i tukuna mai i roto i te okawa. reo. I roto i nga painga o te RV ko te kaha ki te whakarato i te tino manatoko me te kore he whakatinanatanga motuhake o te punaha katoa i roto i te reo whakatauira, me te whakautu ngawari ki nga kaupapa ohorere, hei tauira, ki te aukati i te whakatairanga ake o te korenga o nga punaha whakahirahira.
Source: opennet.ru