Quindi ibirdo che contenga solo di extra al minimo indispensabile driver grafici e networking. :?:
Quindi si chiude il cerchio e si ritorna al kernel ibrido perche' l'idea di Z80fan, cioe' il microkernel con una parte dei driver grafici nel kernel pare sempre un ibrido e richiederebbe dei driver speciali, cioe' divisi in "due"?, forse a quel punto ' piu' pratico avere un microkerel+driver grafici = ibrido.
Insomma, è il classico caso in cui la pratica fa a pugni con la teoria e bisogna mettere da parte l'estetica per far posto alle performances :-)
[...]- il Kernel risponde alla syscall restituendo offset e dimensioni del buffer condiviso[...]
Questo metodo ha decisamente fallito nell'avere un buon rapporto performance/stabilità e andrebbe abolito. Nel safety e nel mission critical le risorse condivise nel concurrency sono distribuite by copy, che non è lento se queste sono decisamente piccole (in genere limitate solo all'aggiornamento degli state). In genere però la perdita di tempo nella copia viene recuperata dal fatto che l'accesso non è vincolato dal locking, quindi non ha molto senso parlare di performance in alcuni casi (dato che l'accesso è quasi sempre pessimizzato).
Per esempio quei linguaggi che hanno il concurrency builtin forzano il passaggio by copy anche di grosse strutture (in genere passate by reference)