Android

Evropský fond výzkumu bezpečných operačních systémů

CS50 Lecture by Steve Ballmer

CS50 Lecture by Steve Ballmer
Anonim

Výzkumná rada uděluje grant pokračovat v práci na operačním systému typu Unix, který má být spolehlivější a bezpečnější než Linux nebo Microsoft Windows

Grant ve výši 2,5 milionu EUR (3,3 milionu USD) bude financovat tři výzkumné pracovníky a dva programátory, řekl Andrew S. Tanenbaum, profesor počítačové vědy na Vrije Universiteit v Nizozemsku.

Tanenbaum vyvinul Minix, operační systém založený poněkud na Unixu, který má malou kódovou základnu a implementuje silné bezpečnostní kontroly. odstranění škodlivého softwaru z vašeho počítače se systémem Windows

Nejnovější grant umožní další výzkum, který umožní, aby byl operační systém schopen opravit sám sebe v okamžiku zjištění chyby, což umožní, aby počítače byly spolehlivější, řekl Tanenbaum.

"Nevadí mě, když software nefunguje," řekl Tanenbaum. "Potřebujete restartovat počítač je jenom bolest. Otázka zní:" Můžete vytvořit systém, který skutečně funguje velmi dobře? ""

Softwarové chyby nebudou nikdy vyloučeny, napsal Tanenbaum v návrhu projektu. Ale operační systém, jako jsou Windows a Linux, jsou navrženy tak, aby byly méně spolehlivé, než by mohly být.

Například ovladače funkcí, jako je zvuk a další periferní součásti, musí být instalovány uvnitř jádra operačního systému, nebo jádro počítače. Pokud se něco pokazí, obvykle zavěsí stroj.

Minix je však navržen tak, aby řidiči fungovali jako aplikace mimo jádro, což znamená, že pokud se zhroutí, počítač bude pokračovat, řekl Tanenbaum. Koncept se nazývá spíše "mikrokernel" než jeho opačný, monolitické jádro.

V modelu Tanenbaum budou ostatní komponenty operačního systému fungovat v těsně omezených modulech, které nebudou vzájemně narušovat, pokud selžou. Zlepšuje také celkovou bezpečnost.

Zabezpečený operační systém také ponechává dodavatele softwaru více zodpovědný za slabé stránky softwaru. Očekávání týkající se softwaru je mnohem nižší než u jiných průmyslových odvětví, kde selhání součástí, jako je pneumatika pro vozidla, vede k odvolání a soudnímu řízení, uvedla Tanenbaum.

Tato odpovědnost by však mohla být přiřazena snadněji, pokud je software méně složitý a více "

" Chceme udělat software, který je velmi, velmi spolehlivý, "řekl Tanenbaum.

Financování umožní Minix výzkum pokračovat ještě pět let