[Linuxtrent] [DISI Seminar] Seminar Announcement: Demystifying Microkernels and MINIX 3

  • From: Emanuele Olivetti <emanuele@xxxxxxxxxxxxxx>
  • To: linuxtrent@xxxxxxxxxxxxx
  • Date: Tue, 06 May 2008 09:57:04 +0200

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


Other related posts: