Linux piedāvā mehānismu kodola darbības pareizības pārbaudei
Lai iekļautu Linux 5.20 kodolā (iespējams, zars saņems numuru 6.0), ir ierosināts patchu kopums ar RV (Runtime Verification) mehānismu, kas nodrošina līdzekļus darbības pārbaudei augsti uzticamos sistemas, garantējot kļūdu neesamību. Pārbaude notiek izpildes laikā, pievienojot apstrādātājus izsekošanas punktiem, kas salīdzina faktisko izpildes gaitu ar iepriekš noteikto deterministisko automāta modeli […]
