Për t'u përfshirë në bërthamën Linux 5.20 (ndoshta dega do të marrë numrin 6.0) është propozuar një grup patch-e me implementimin e mekanizmit RV (Verifikimi i Kohës së Ekzekutimit), që ofron mjete për kontrollin e saktësisë së funksionimit në sisteme të larta të besueshmërisë, që garantojnë mungesën e defekteve. Kontrolli kryhet gjatë ekzekutimit përmes lidhjes së trajtuesve në pikat e gjurmimit, duke krahasuar rrjedhën aktuale të ekzekutimit me një model të caktuar të denjë të automatit, që përcakton sjelljen e pritur të sistemit.
Informacioni nga pikat e gjurmimit e transferon modelin nga një gjendje në tjetër, dhe nëse gjendja e re nuk i përgjigjet parametrave të modelit, gjenerohet një paralajmërim ose bërthama kthehet në gjendjen "panic" (në supozimin se sistemet me besueshmëri të lartë do të identifikojnë situata të tilla dhe do të reagojnë në përputhje me to). Modeli i automatit, që përcakton kalimet nga një gjendje në tjetrën, eksportohet në formatin "dot" (graphviz), e më pas translatohet me anë të utilitarit dot2c në një përfaqësim në gjuhën C, i cili ngarkohet në formën e një moduli bërthamor që ndjek devijimet e ekzekutimit nga modeli i paracaktuar.
Bashkimi me modelin gjatë ekzekutimit pozicionohet si një mënyrë më e lehtë dhe më e thjeshtë për t'u zbatuar në praktikë për të konfirmuar saktësinë e ekzekutimit në sisteme kritikisht të rëndësishme, duke plotësuar metodat klasike të konfirmimit të besueshmërisë, si kontrolli i modelit dhe provat matematikore të përputhshmërisë së kodit me specifikimet e caktuara në një gjuhë formale. Një nga përfitimet e RV është mundësia për të siguruar verifikim të rreptë pa implementimin e veçantë të gjithë sistemit në një gjuhë modelimi, si dhe reagim fleksibël ndaj ngjarjeve të papritura, për shembull, për të bllokuar përhapjen e mëtejshme të dështimit në sisteme kritikisht të rëndësishme.
Burimi: opennet.ru
