CS 574: Lecture Notes

Review of Operating System Concepts
Review of Virtual Memory Concepts
Intel 32-bit Virtual Memory
Review of Filesystem Concepts
Microkernel vs. Monolithic kernel: How system calls happen in Minix and Unix

Hierarchical Scheduling Example

Using TCP with Unix (and Linux)

Some sample segv handler code
Brief introduction to old encryption techniques
Memory Consistency
Proofs of Correctness
ECC and CRC


Last modified: Tue Nov 10 20:56:00 MST 2009

Valid XHTML 1.0 Strict Valid CSS!