Ji bo tevlêbûna di kernel Linux 5.20 de (dibe ku şax 6.0 were hejmartin), bi pêkanîna mekanîzmaya RV (Runtime Verification), ku amûrên ji bo kontrolkirina xebata rast a li ser pergalên pir pêbawer ên ku garantiya garantiyê dikin, komek paç têne pêşniyar kirin. nebûna têkçûnan. Verastkirin di dema xebitandinê de bi girêdana destanan bi xalên şopandinê yên ku pêşkeftina rastîn a darvekirinê li hember modelek diyarker a referansa pêşwextkirî ya otomatê kontrol dikin ku tevgera bendewar a pergalê diyar dike, tê kirin.
Agahdariya ji xalên şopandinê modelê ji rewşek din vediguhêze, û heke dewleta nû bi pîvanên modelê re li hev neke, hişyariyek çêdibe an jî kernel di rewşek "panîkê" de tê danîn (li bendê ye ku pergalên pêbaweriya bilind tespît bikin. û bersivê bidin rewşên weha). Modela otomatê, ku veguheztina ji dewletek bo dewletek din diyar dike, ji bo forma "dot" (grafviz) tê hinardekirin, pişt re ew bi karanîna dot2c ve tê wergerandin nav nûneriyek C, ku di forma modulek kernel de tê barkirin. guheztinên pêşkeftina darvekirinê ji modela pêşwext dişopîne.
Kontrolkirina modêla-dema xebitandinê wekî rêbazek siviktir û hêsantir-xebatkirî ye ji bo verastkirina pêkanîna rast li ser pergalên mîsyonê-krîtîk, temamkirina rêbazên verastkirina pêbaweriya klasîk ên wekî kontrolkirina modelê û delîlên matematîkî yên lihevhatina kodê bi taybetmendiyên ku di fermî de têne dayîn. ziman. Di nav avantajên RV de şiyana peydakirina verastkirina hişk bêyî pêkanîna veqetandî ya tevahî pergalê bi zimanek modelkirinê, û her weha bersivek maqûl a ji bûyerên nediyar re, mînakî, astengkirina belavbûna têkçûnek di pergalên krîtîk de ye.
Source: opennet.ru