| Week of |
Topic(s) and Papers |
| 12 September |
Early Results
|
| 19 September |
The Pentium and the Process Model
| Readings |
Volume 1, Chapters
1,2,3.
Volume 3, Chapters
1,2.
Volume 3, Chapters
3,4.
Volume 3, Chapter
5.
It may help to look briefly at About The
Pentium.
|
| Lecture |
A look at the Pentium architecture, including
the parts we will set aside and how we will do
so. An look at the Pentium process model from
the user point of view, and it's
supervisor-level augmentation by the
microkernel.
|
|
| 26 September |
L4, EROS
|
| 3 October |
Arguments Pro and Con
| Readings |
Mazieres: Secure
Applications Need Flexible Operating
Systems.
Ford: The Flux OS
Toolkit: Reusable Components for OS
Implementation.
Fleisch: The
Failure of Personalities to
Generalize.
Rawson: Experience
with the Development of a Microkernel-Based,
Multiserver Operating System.
|
| Lecture |
I will be out of town on Monday and Tuesday at a
conference, and this week is Rosh Hashanna,
which is one of the Jewish high holidays. Class
lectures will resume on Wednesday, 5 October.
As you read the papers above, pay particular
attention to the two by Rawson and
Fleisch. Workplace shell is probably the most
thoroughly explored microkernel-based system
ever built, and the lessons from this effort are
important. Further, remember that both of these
papers are written by IBM employees who are
publishing news of a technology disaster —
something that IBM was embarassed about and
might have preferred not to disclose at all. In
consequence, both papers are extremely
understated, and some of the lessons need to be
extracted by thinking carefully about the
implications of some of the numbers
they cite about project size and time.
|
| Audio |
Wed, October 5: [mp3] [Ogg]
|
|
| 10 October |
Storage, Capability Models, Memory Mapping
| Readings |
No new readings.
|
| Lecture |
Issues in storage management. Choices of
capability transmission mechanism. Initial
discussion of memory mapping primitives.
|
| Audio |
Mon, October 10: [mp3] [Ogg]
Tue, October 11: [mp3] [Ogg]
Wed, October 12: [mp3] [Ogg]
|
|
| 17 October |
Security Issues
|
| 24 October |
Defensive Correctness
| Lecture |
Constructing defensively correct systems.
|
| Audio |
Tue, October 25: [mp3] [Ogg]
Wed, October 26: [mp3] [Ogg]
|
|
| 31 October |
Persistence, storage systems, and consistency.
| Lecture |
Review of the chain of trust for constructors
and process creation, and what the brand
guarantee actually provides.
Discussion of the connection between
persistence and consistency, and how this
relates to our notions of transactional
consistency.
Discussion of the difference between persistence
and data interchange.
|
| Audio |
Mon, October 31: [mp3] [Ogg]
Wed, November 02: [mp3] [Ogg]
|
|
| 7 November |
Persistence Implications
| Lecture |
How persistence relates to file system implementation.
Recovery issues in persistent systems.
Midterm followup.
|
| Audio |
Mon, November 07: [mp3] [Ogg]
Tue, November 08: [mp3] [Ogg]
Wed, November 09: [mp3] [Ogg]
|
|
| 14 November |
Secure Boot, System Structure
|
| 21 November |
DMA and Interrupt Handling
| Lecture |
How DMA and interrupt handling works.
|
| Audio |
Mon, November 21: [mp3] [Ogg]
Tue, November 22: [mp3] [Ogg]
|
|
| 28 November |
Examining the EROS Window System
| Lecture |
Pulling ideas together in the EROS Window System
|
| Audio |
Mon, November 28: [mp3] [Ogg]
Tue, November 29: [mp3] [Ogg]
Wed, November 30: [mp3] [Ogg]
|
|
| 5 December |
Examining the EROS Networking Stack
|
| 12 December |
Last Discussion and Wrap-Up
| Lecture |
Final bits on the EROS network subsystem.
|
| Audio |
Mon, December 12: [mp3] [Ogg]
|
|
