Colloquium d'informatique de l'UPMC – Sorbonne Universités
Andrew S. Tanenbaum, Vrije Universiteit, Amsterdam

Tuesday 28 October 2014 at 18:00
Location: Amphi TBD, Université Pierre et Marie Curie (Jussieu Campus)

Photo/ Andrew S. Tanenbaum was born in New York City and raised in White Plains, NY.He has an S.B. from M.I.T. and a Ph.D. from the University of California at Berkeley. He is a Professor Emeritus in the Computer Science Dept. at the Vrije Universiteit in Amsterdam.

Prof. Tanenbaum is the principal designer of three operating systems: TSS-11, Amoeba, and MINIX. In addition, Tanenbaum is the author or coauthor of five books, which together have been translated in more than 20 languages. All in all, there are over 160 editions, as shown on http://www.cs.vu.nl/~ast/book_covers/index.html.

In 2004, Tanenbaum became an Academy Professor, which carried with it a 5-year grant totalling 1 million euro to do research on reliable operating systems. His university matched this amount. In 2008, he received a prestigious European Research Council grant of 2.5 million euro to do continue this research.

Tanenbaum is a Fellow of the ACM, a Fellow of the IEEE, and a member of the Netherlands Royal Academy of Arts and Sciences. In 1994 he was the recipient of the ACM Karl V. Karlstrom Outstanding Educator Award. In 1997 he won the ACM SIGCSE Award for Outstanding Contributions to Computer Science. In 2007 he won the IEEE James H. Mulligan, Jr., Education Medal.

His home page is at http://www.cs.vu.nl/~ast.

Colloquium: MINIX 3: A Reliable and Secure Operating System

Most computer users nowadays are nontechnical people and have a mental model of what they expect from a computer based on their experience with TV sets and stereos: you buy it, plug it in, and it works perfectly for the next 10 years. Unfortunately, they are often disappointed as computers are not very reliable when measured against the standards of other consumer electronics devices.

A large part of the problem is the operating system, which is often millions of lines of kernel code, each of which can potentially bring the system down. The worst offenders are the device drivers, which have been shown to have bug rates 3-7x more than the rest of the system. As long as we maintain the current structure of the operating system as a huge single monolithic program full of foreign code and running in kernel mode, the situation will only get worse. While there have been ad hoc attempts to patch legacy systems, what is needed is a different approach.

In an attempt to provide much higher reliability, we have created a new multiserver operating system with only 9000 lines in kernel and the rest of the operating system split up into small components each running as a separate user-mode process. For example, each device driver runs as a separate process and is rigidly controlled by the kernel to give it the absolute minimum amount of power to prevent bugs in it from damaging other system components. A reincarnation server periodically tests each user- mode component and automatically replaces failed or failing components on the fly, without bringing the system down and in some cases without affecting user processes. The talk will discuss the architecture of this system, called MINIX 3,

The system can be downloaded for free from www.minix3.org.

Other information

There will be a cocktail at 17:15, in front of Amphi TBD.

Amphi TBD
Université Pierre et Marie Curie (Jussieu Campus)
4, place Jussieu
Paris Vème (métro Jussieu)

How to reach Université Pierre et Marie Curie (Jussieu campus)..

Electronic access:

Contact: Marcin Detyniecki

Steering committee

Marcin Detyniecki
Jean-Charles Faugère
Bertrand Granado
Mathieu Jaume
Nicolas Maudet
Marc Shapiro
Fabien Tarissan
Gaël Thomas

Calendar


All the offline videos

Year 2014 – 2015


Andy Tanenbaum, 28 October 2014
MINIX 3: A Reliable and Secure Operating System

Serge Abiteboul, 24 February 2015
Title TBD

Alessandra Carbone, 14 April 2015
Title TBD

Year 2013 – 2014


Gilles Dowek, 22 October 2013
Are formal methods the future of air traffic control? (Is there an autopilot on board?)

Tony Hoare, 26 November 2013
Laws of concurrent system design

Vint Cerf, 4 March 2014
On the Preservation of Digital Information

Claude Berrou, 25 March 2014
L'information mentale

David Patterson, 6 May 2014
Myths about MOOCs and Software Engineering Education

Jeannette Wing, 20 May 2014
Toward a Theory of Trust in Networks of Humans and Computers

Donald Knuth, 17 June 2014
Computer Science: All Questions Answered

Year 2012 – 2013


Gérard Berry, 24 October 2012
Le temps et les événements en informatique

Georges Gonthier, 27 November 2012
Le génie mathématique, du théorème des quatre couleurs à la classification des groupes

Stuart Russell, 22 January 2013
Unifying logic and probability: A "New Dawn" for Artificial Intelligence?

Frans Kaashoek, 18 April 2013
The multicore evolution and operating systems

Robert Sedgewick, 23 May 2013
Taking Education Online: A Unique Opportunity for the New Millenium

Camille Couprie, Mathilde Noual and Mathieu Feuillet, 25 June 2013
Espoirs : Winners of the 2012 Gilles Kahn prize

Year 2011 – 2012


Leslie Lamport, 28 June 2012
What is computation?