Recent Changes - Search:

Instructor

  • who: Michael Swift
  • where: Room 7369
  • when: Thurs. 1:30-2:30
  • email: swift 'at' cs.wisc.edu

TA

  • who: Ceyhun Alp
  • where: 1306
  • when: Wednesday 1:15-2:15
  • email: e.ceyhun.alp 'at' gmail.com

Lecture:

  • when: Tues./Thur. 11:00 -- 12:15
  • where: Computer Sciences 1325
  • list: compsci736-1-s16 'at' lists.wisc.edu

HomePage

Resources

edit SideBar

Syllabus

Topics

This is a list of topics we may cover, with some sample systems for each topic. The actual topics will vary depending on the schedule and interests of the class.

  1. OS structure
    • Unix - the baseline
    • Policy/mechanism separation: Hydra
    • Microkernels and protected subsystems: Mach, Nucleus
    • Exokernels: Nemesis, Aegis, XoK
    • Capabilities: Multics, Hydra, Opal
    • Software protection: Singularity, Spin
    • Virtual machine monitors: Xen, VMWare, Disco
    • Multiserver/Multicore: Barrelfish
  2. Memory management
    • Sharing: Multics
    • Large pages
    • Page replacement: Working set, VMS, WS-Clock, VMware ESX
  3. Communication
    • Models: CSP, Erlang, Go
    • Message passing: LRPC
    • Memory as communication: Mach
  4. Scheduling
    • Threading: Scheduler activations
    • Events vs threads: Stack ripping
    • Multi-processor scheduling: Thread scheduling alternatives, SMP VM gang scheduling, asymmetric multicore
    • Proportional share: BVT, Lottery, Resource containers
    • Real time: Rialto
  5. Concurrency
    • Race detection: Eraser, RacerX
    • Monitors: Mesa
    • Transactional Memory: TxLinux, Adaptive locks
    • Implementation: Futexes
    • Non-blocking synchronization
  6. I/O
    • Drivers: Singularity, Nooks
    • Performance: I/O Lite, fbufs, u-net, scout, Elvis
  7. File systems and storage
    • Layout: FFS, LFS, XFS
    • Flash/NVM: BPFS, YAFFS/JFFS2, DFS, Aerie
    • Reliability: ZFS, Journaling, WAFL
    • Semantics: AFS
    • Scalability: Petal, Frangipani, NASD, Slice, GFS
    • Storage: RAID, AutoRaid
  8. Distributed systems
    • RPC
    • Map reduce
  9. Security
    • Authentication protocols: Kerberos, Needham & Schroeder
    • Security architectures: KeyKOS, Asbestos, CertiKOS
    • Attestation: Terra, Bump-in-the-ether
  10. Reliability
    • Reasons: Gray - why computers stop
    • Isolation: SFI, Cellular Disco
    • Fault tolerance: Nooks, RX, Quicksilver
    • Bug finding: Metal/xgcc
    • Clusters: VAXclusters, Wolfpack, FT-Unix, Hypervisor fault tolerance
  11. Power management
    • Power accounting: Currentcy, Cinder
    • DVFS: Koala, Grace-OS, Grunwald OSDI'00
  12. Manageability
    • Auto-tuning: Porcupine, Autonomic computing, Cluster-based services
    • Virtualization: Collective
Edit - History - Print - Recent Changes - Search
Page last modified on January 12, 2016, at 03:24 PM