Microkernel
Verificato
Significato di «Microkernel»
Architettura di kernel che mantiene nel nucleo solo le funzioni essenziali (scheduling di base, IPC, gestione minima della memoria) e sposta driver, file system e altri servizi in processi in spazio utente, aumentando modularità e robustezza a scapito di overhead di comunicazione.
Fonti: Tipo di kernel; esempi Mach, MINIX, QNX. Tanenbaum, Modern Operating Systems; Silberschatz, Operating System Concepts; verifica web 2026-08-03 · Verificato il 2026-08-03