ĂshtĂ« propozuar njĂ« grup patch-esh pĂ«r t'u pĂ«rfshirĂ« nĂ« kernelin Linux 5.20 (Ă«shtĂ« e mundur qĂ« dega tĂ« marrĂ« numrin 6.0) me zbatimin e mekanizmit RV (Runtime Verification), i cili ofron mjete pĂ«r verifikimin e korrektĂ«sisĂ« sĂ« funksionimit nĂ« sisteme me besueshmĂ«ri tĂ« lartĂ«, ku kĂ«rkohet garantimi i mungesĂ«s sĂ« dĂ«shtimeve. Verifikimi kryhet gjatĂ« ekzekutimit duke lidhur pĂ«rpunues me pikat e gjurmimit, tĂ« cilĂ«t krahasojnĂ« rrjedhĂ«n reale tĂ« ekzekutimit me njĂ« model reference determinist tĂ« paracaktuar tĂ« automatit, qĂ« pĂ«rcakton sjelljen e pritshme tĂ« sistemit.
Informacioni nga pikat e gjurmimit e kalon modelin nga një gjendje në tjetrën dhe, nëse gjendja e re nuk përputhet me parametrat e modelit, gjenerohet një paralajmërim ose kerneli kalon në gjendjen «panic» (nënkuptohet se sistemet me besueshmëri të lartë do t'i përcaktojnë situata të tilla dhe do të reagojnë ndaj tyre). Modeli i automatit, që përcakton kalimet nga një gjendje në tjetrën, eksportohet në formatin «dot» (graphviz), pas së cilës përkthehet me ndihmën e utilitetit dot2c në një paraqitje në gjuhën C, e cila ngarkohet në formën e një moduli kerneli që monitoron devijimet e rrjedhës së ekzekutimit nga modeli i paracaktuar.
Krahasimi me modelin gjatë ekzekutimit paraqitet si një mënyrë më e lehtë dhe më praktike për t'u zbatuar për konfirmimin e korrektësisë së ekzekutimit në sisteme kritike, duke plotësuar metodat klasike të verifikimit të besueshmërisë, si kontrolli i modelit dhe provat matematikore të përputhshmërisë së kodit me specifikimet e përcaktuara në një gjuhë formale. Ndër përparësitë e RV përmendet mundësia për të siguruar verifikim të rreptë pa pasur nevojë për një implementim të veçantë të të gjithë sistemit në një gjuhë modelimi, si edhe reagimi fleksibël ndaj ngjarjeve të paparashikuara, për shembull për të bllokuar përhapjen e mëtejshme të një dështimi në sisteme kritike.
Burimi: opennet.ru
