Линуксийн цөм 5.20-д (магадгүй салбар нь 6.0 дугаартай байх болно) оруулахын тулд RV (Runtime Verification) механизмыг хэрэгжүүлэх замаар хэд хэдэн засваруудыг санал болгож байна, энэ нь өндөр найдвартай системүүдийн зөв ажиллагааг шалгах хэрэгслийг өгдөг. бүтэлгүйтэл байхгүй. Системийн хүлээгдэж буй үйлдлийг тодорхойлдог автомат машины урьдчилан тодорхойлсон лавлагааны детерминистик загвартай харьцуулан гүйцэтгэлийн бодит явцыг шалгадаг мөрийн цэгүүдэд зохицуулагчийг хавсаргах замаар баталгаажуулалтыг гүйцэтгэх үед гүйцэтгэдэг.
Мөрийн цэгүүдийн мэдээлэл нь загварыг нэг төлөвөөс нөгөөд шилжүүлэх бөгөөд хэрэв шинэ төлөв нь загварын параметрүүдтэй тохирохгүй байвал анхааруулга үүсгэх эсвэл цөмийг "сандрах" төлөвт оруулна (найдвартай байдлын өндөр системүүд үүнийг илрүүлэх төлөвтэй байна) мөн ийм нөхцөл байдалд хариу үйлдэл үзүүлэх). Нэг төлөвөөс нөгөөд шилжих шилжилтийг тодорхойлдог автомат загвар нь "цэг" формат руу (graphviz) экспортлогдож, дараа нь dot2c хэрэгслээр C дүрслэл рүү хөрвүүлэгдэж, цөмийн модуль хэлбэрээр ачаалагддаг. урьдчилан тодорхойлсон загвараас гүйцэтгэлийн явцын хазайлтыг хянадаг.
Ажиллах үеийн загварыг шалгах нь чухал ач холбогдолтой системүүд дээр зөв гүйцэтгэлийг баталгаажуулах хөнгөн жинтэй, хэрэгжүүлэхэд хялбар арга бөгөөд загвар шалгах, кодыг албан ёсоор өгсөн техникийн үзүүлэлтүүдтэй нийцэж байгаа математик нотолгоо зэрэг найдвартай байдлыг шалгах сонгодог аргуудыг нөхдөг. хэл. RV-ийн давуу талуудын нэг нь загварчлалын хэлээр системийг бүхэлд нь тусад нь хэрэгжүүлэхгүйгээр хатуу баталгаажуулалт хийх, мөн урьдчилан тооцоолоогүй үйл явдлуудад уян хатан хариу өгөх, жишээлбэл, чухал систем дэх эвдрэлийн цаашдын тархалтыг зогсоох чадвар юм.
Эх сурвалж: opennet.ru