За включване в състава на Linux ядрото версия 5.20, която навярно ще получи индекс 6.0, е готов и бе предложен набор от пачове с реализация на механизма RV (Runtime Verification). Това са специализирани софтуерни технологии, които предоставят средства за проверка коректността на работа на Linux ядрото при системи, за които е необходимо да бъде осигурена максимална надеждност без допускане на каквито и да било сривове. Системи от подобен род се използват в управлението на самолетите, в редица промишлени предприятия и други. Проверката се осъществява по време на изпълнение на кода, в който са включени трасиращи точки, с помощта на които се сверява фактическия код на изпълнение на съответния алгоритъм с предварително определен и зададен модел на Абстрактна машина, определяща очакваното поведение на системата.
Информацията от трасиращите точки прехвърля модела от едно състояние в друго, и ако новото състояние не съответства на параметрите на зададения модел, веднага се генерира предупреждение или в краен случай ядрото преминава в състояние Panic. По принцип специализираните системи с много висока надеждност са проектирани по такъв начин, че да реагират на подобни ситуации.
Моделът на Абстрактната машина, определяща преходите от едно състояние в друго се експортират във формат „dot“ (graphviz), след което се транслират с помощта на програмата dot2c в Си код, който от своя страна се зарежда в Linux ядрото за следене на възможните отклонения от предопределения модел.
Всичко важно от света на технологиите, директно в пощата ти.
С абонирането приемате нашите Условия и Политика за поверителност. Може да се отпишете с един клик по всяко време.
Коментирайте статията в нашите Форуми. За да научите първи най-важното, харесайте страницата ни във Facebook, и ни последвайте в Google Новини, TikTok, Telegram и Viber или изтеглете приложението на Kaldata.com за Android, iPhone, Huawei, Google Chrome, Microsoft Edge и Opera!
