Ciao a tutti, martedi prossimo presso la facolta' di scienze c'e' un seminario su Minix3 che potrebbe interessarvi. Mi ricorda i vecchi tempi del flame tra Linux e Tanenbaum :) Emanuele -------- Date: Mon, 5 May 2008 13:10:32 +0200 Subject: [DISI Seminar] Seminar Announcement: Demystifying Microkernels and MINIX 3 _______________________________________________ Dipartimento di Ingegneria e Scienza dell'Informazione - University of Trento Seminar Announcement _______________________________________________ Part of: DISI Seminar Series TITLE: Demystifying Microkernels and MINIX 3 SPEAKER: Jorrit Herder DATE: May 13, 2008 at 3:30:00 PM LOCATION: Room 202 - Faculty of Science / Nuovo Edificio ICT-irst - Povo ABSTRACT: Most modern computer users want their system to work all the time and never crash, ever. Yet operating system reliability is still poor. Because many problems can be attributed to the monolithic design of operating systems such as Windows, Linux and FreeBSD, our research focuses on microkernel-based systems. By splitting the operating system into many small, tightly restricted user-mode server and driver processes, each with limited functionality, running on top of a tiny microkernel, we have built a system, MINIX 3, in which bug-induced damage cannot propagate and affect the entire system, and faulty components can often be replaced on the fly, during system operation, thus greatly improving reliability. In this talk, I will introduce the problems with monolithic designs, discuss microkernel concepts and present an overview of MINIX 3. ABOUT THE SPEAKER: Jorrit Herder holds an M.Sc. degree in Computer Science from the Vrije Universiteit in Amsterdam and is currently a Ph.D. student of Prof. Andrew Tanenbaum. His research focuses on operating system reliability and security, and he is closely involved in the design and implementation of MINIX 3. NOTE: CONTACT: Bruno Crispo WEB: http://dit.unitn.it/research/seminari -- Per iscriversi (o disiscriversi), basta spedire un messaggio con OGGETTO "subscribe" (o "unsubscribe") a mailto:linuxtrent-request@xxxxxxxxxxxxx