Názor ke zprávičce Singularity - nový systém od Microsoftu od anonym - Microkernel architekture je sloziteji programovatelna nez monolitni (Doporucuju...

Microkernel architekture je sloziteji programovatelna nez monolitni (Doporucuju diskusi Torvalds vs. Tanenbaum). Singularity by mela byt cisty mikrokernel, tudiz vic potencialnich chyb. Managed kod pomuze od urcitych chyb (range overflows atp) ale nepomuze prevenci logickych chyb. Prave implementace pres fronty zprav, coz je jeden z hlavnich rysu mikrokernelu vede k vyssi pravdepodobnosti celkem zavaznych chyb - napriklad deadlockum.
Sam priznavate, ze ve velmi uzke oblasti kod bude unmanaged. Tedy dalsi "vyhoda" pada. Jakmile to tam jednou je - jsou to problemy.
Ktery system pouziva capabilities? Co takhle systemy s vyssim stupnem zabezpeceni? Napriklad od IBM - AS/400.
Zkuste mi jmenovat jeden jediny vykonny OS urcen pro servry, ktery by byl mikrokernel. Zatim "uspesne" mikrokernel systemy jsou Mac OSX, ktery ma problemy s thread managementem a u servrovych aplikacich je na tom bidne, nebo QNX ktery je urcen uplne pro jiny segment nez je server nebo desktop.