Názor ke článku Strašlivý exploit na 2.6.17 - 2.6.24! od Lael Ophir - [21] Zdenek Dnešní virtuální stroje nejsou bez chyb. Ale...

[21] Zdenek
Dnešní virtuální stroje nejsou bez chyb. Ale samotný virtuální stroj je poměrně malý, a lze na něj lépe "dohlédnout" (redukujete obecný problém na problém virtual machine, samozřejmě se to netýká všech kategorií problémů). Navíc když píšete už OS v managed jazyku, tento problém řešíte pouze na té úrovni, že překlad z managed jazyka do strojáku musí být zaručeně bezchybný. Kompilátor je také celkem malá věc, a dá se na něm provést model checking. I pak zůstává prostor pro problémy (zatím neumíme napsat systém do posledního řádku v managed code; některé typy problémů managed code neřeší), ale zjevně jde o cestu, která dokáže řádově zvýšit spolehlivost a bezpečnost SW. Dnešní situace je totiž katastrofální. Když budeme hodnotit vyjma bezpečnosti i jiné chyby aplikací, je dnes SW průmysl v hrozném stavu (bez ohledu na platformu). Osobně nevidím jinou cestu ke zlepšení, než managed jazyky a vytváření dostatečných úrovní abstrakce.