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

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: Fri Nov 30 14:06:40 MST 2007

Valid XHTML 1.0 Strict Valid CSS!