Si loogu daro kernel Linux 5.20 (laga yaabee in laanta la tirin doono 6.0), waxaa la soo jeediyay xirmo balastar ah iyadoo la adeegsanayo habka RV (Runtime Verification), kaas oo bixiya qalab lagu hubinayo hawlgalka saxda ah ee nidaamyada aadka la isku halleyn karo ee dammaanad qaadaya guuldarro la'aanta. Xaqiijinta waxa la sameeyaa wakhtiga runtime iyadoo lagu xidho hawlwadeenada si ay u raadiyaan dhibcooyinka hubinaya horumarka dhabta ah ee fulinta ee ka dhanka ah qaabka go'aaminta tixraaca ee hore loo go'aamiyay ee otomatiga kaas oo qeexaya habdhaqanka la filayo ee nidaamka.
Macluumaadka dhibcaha raadraaca waxay ka guuraan moodalka hal gobol una guuraan mid kale, iyo haddii gobolka cusubi uusan u dhigmin cabbirka tusaalaha, digniin ayaa la soo saarayaa ama kernel ayaa la dhigayaa xaalad "argagax" (nidaamyada isku halaynta sare ayaa la filayaa in la ogaado). kana jawaabaan xaaladahan oo kale). Qaabka otomaatiga ah, kaas oo qeexaya kala-guurka gobol ilaa gobol kale, waxaa loo dhoofiyaa qaabka "dhibcaha" (graphviz), ka dib waxaa loo turjumay iyadoo la adeegsanayo utility dot2c oo loo beddelayo matalaad C, kaas oo lagu rarayo qaab module kernel ah wuxuu raadraacaa leexashooyinka horumarka fulinta ee qaabkii hore loo qeexay.
Hubinta moodeelka wakhtiga orodka waxa loo dhigay qaab ka fudud oo si sahlan loo hirgelin karo ee lagu xaqiijinayo fulinta saxda ah ee nidaamyada hawlgalka muhiimka ah, buuxinta hababka xaqiijinta isku halaynta qadiimiga ah sida hubinta moodeelka iyo caddaymaha xisaabta ee u hogaansanaanta koodhka sifada lagu bixiyay si rasmi ah luqadda. Faa'iidooyinka RV waxaa ka mid ah awoodda lagu bixiyo xaqiijinta adag iyada oo aan si gaar ah loo hirgelin nidaamka oo dhan ee luqadda qaabaynta, iyo sidoo kale jawaab-celin dabacsan oo ku saabsan dhacdooyinka aan la filayn, tusaale ahaan, si loo xakameeyo faafinta dheeraadka ah ee fashilka nidaamyada muhiimka ah.
Source: opennet.ru