Lectures Lecture 27: everything about OS in 75 minutes Posted on December 08, 2017 An attempt to review every topic discussed in class over the past semester. Lecture 26: alternative OS designs Posted on December 06, 2017 We review a number of alternatives to the conventional monolithic OS kernel design, including microkernels, multikernels, exokernels and library OSs. Lecture 25: flash file systems, then authentication Posted on December 04, 2017 We discuss some features of advanced file systems, including extents and btrees Lecture 24: advanced file systems Posted on December 03, 2017 We discuss some features of advanced file systems, including extents and btrees Lecture 23: the Unix Virtual Filesystem and hw8 Posted on November 22, 2017 We discuss the function, design and implementation of the unix virtual file system in the xv6 context, as well as our last homework: procfs Lecture 22: file system failure and persistence Posted on November 22, 2017 We discuss several failure modes for a storage system, and address them through a variety of methods, including hardware redundancy and logging. Lecture 21: intro to filesystems Posted on November 15, 2017 We discuss the canonical unix filesystem design, with some variations. Lecture 20: hw7, signals, and intro to file systems Posted on November 15, 2017 We discuss the 7th homework, where we add signal support to the xv6 kernel, then get a quick start on filesystems, our next major topic. Lecture 19: barriers, condition variables, futex and signals Posted on November 10, 2017 We wrap up the discussion of synchronization and multi-threading with a brief treatment of barriers and condition variables, and their implementation in user space. Then, a discussion of signals. Lecture 18: deadlock and friends Posted on November 02, 2017 We discuss the dining philosophers’ problem, deadlock, and related issues both in general and in a kernel context. 1 2 3 Next
Lecture 27: everything about OS in 75 minutes Posted on December 08, 2017 An attempt to review every topic discussed in class over the past semester.
Lecture 26: alternative OS designs Posted on December 06, 2017 We review a number of alternatives to the conventional monolithic OS kernel design, including microkernels, multikernels, exokernels and library OSs.
Lecture 25: flash file systems, then authentication Posted on December 04, 2017 We discuss some features of advanced file systems, including extents and btrees
Lecture 24: advanced file systems Posted on December 03, 2017 We discuss some features of advanced file systems, including extents and btrees
Lecture 23: the Unix Virtual Filesystem and hw8 Posted on November 22, 2017 We discuss the function, design and implementation of the unix virtual file system in the xv6 context, as well as our last homework: procfs
Lecture 22: file system failure and persistence Posted on November 22, 2017 We discuss several failure modes for a storage system, and address them through a variety of methods, including hardware redundancy and logging.
Lecture 21: intro to filesystems Posted on November 15, 2017 We discuss the canonical unix filesystem design, with some variations.
Lecture 20: hw7, signals, and intro to file systems Posted on November 15, 2017 We discuss the 7th homework, where we add signal support to the xv6 kernel, then get a quick start on filesystems, our next major topic.
Lecture 19: barriers, condition variables, futex and signals Posted on November 10, 2017 We wrap up the discussion of synchronization and multi-threading with a brief treatment of barriers and condition variables, and their implementation in user space. Then, a discussion of signals.
Lecture 18: deadlock and friends Posted on November 02, 2017 We discuss the dining philosophers’ problem, deadlock, and related issues both in general and in a kernel context.