Il Prof Timothy Roscoe riceve il premio SIGOPS Hall of Fame

Il professore Timothy Roscoe ha ricevuto il premio SIGOPS Hall of Fame per l'articolo "The Multikernel: A New OS Architecture for Scalable Multicore Systems", di cui è stato coautore nel 2009. Il lavoro presentato al Symposium on Operating Systems Principles (SOSP) si basava su diversi concetti di microkernel per costruire un sistema operativo multiprocessore altamente scalabile. Ne è nato Barrelfish, un nuovo sistema operativo di ricerca che ripensa la struttura dei sistemi operativi per l'hardware del futuro. Il premio Hall of Fame è stato annunciato il 5 novembre durante la cerimonia di premiazione dell'ACM SIGOPS all'USENIX Symposium on Operating Systems Design and Implementation.

I sistemi informatici di base contengono un numero sempre maggiore di core di processore e presentano compromessi architetturali sempre più diversi, tra cui gerarchie di memoria, interconnessioni, set di istruzioni, varianti e configurazioni IO. La natura dinamica dei moderni carichi di lavoro client e server pone delle sfide alle (future) strutture dei sistemi operativi che Roscoe e i suoi coautori ritengono possano essere affrontate al meglio sfruttando la natura in rete della macchina e ripensando l'architettura del sistema operativo con le idee dei sistemi distribuiti.

Per affrontare queste sfide, gli autori propongono una ristrutturazione del sistema operativo. Analizzano questa strutturazione, il multikernel, che tratta la macchina come una rete di kernel indipendenti, non presuppone alcuna condivisione tra i kernel al livello più basso e sposta le funzionalità tradizionali del sistema operativo verso un sistema distribuito di processi che comunicano attraverso lo scambio di messaggi.

Per dimostrare il potenziale di questo approccio, Roscoe e i suoi coautori hanno implementato un sistema operativo multikernel. In questo modo, hanno descritto come i tradizionali problemi di scalabilità dei sistemi operativi possano essere efficacemente riprogettati utilizzando i messaggi e come si possano sfruttare le intuizioni dei sistemi distribuiti e delle reti. Barrelfish, la realizzazione della loro proposta, intende fornire una base per espandere la ricerca in quest'area.