Your browser is unsupported

We recommend using the latest version of IE11, Edge, Chrome, Firefox or Safari.


Lecture 26: alternative OS designs

We review a number of alternatives to the conventional monolithic OS kernel design, including microkernels, multikernels, exokernels and library OSs.

Lecture 18: deadlock and friends

We discuss the dining philosophers’ problem, deadlock, and related issues both in general and in a kernel context.