OS and VM isolation

Operating systems and virtual machines have been the workhorses of isolation for a long time. One baseline isolation plan, which we don't have a reading assignment for, is to rely on the operating system to isolate processes / users / containers from one another; you have hopefully seen it in previous classes (such as 6.1800), and we will talk a bit about it in lecture.

For this lecture, read about the following case studies of different isolation designs, which try to improve on baseline OS isolation: