Concurrent Execution: Threads, event systems, asynchronous/synchronous I/O, Parallelism, Ordering, and Races, Dynamic Data Race Detector for Multi-Threaded Programs, Discussions of synchronization with an emphasis on monitors, On Optimistic Methods for Concurrency Control, Concurrency Control and Recovery, Communication using lightweight remote procedure call (RPC)
Memory Management: virtual memory, NUMA machines, memory allocators – Hoard Scalable Memory Allocator, Memory Resource Management in VMware, Global Memory Management in Cluster machines, Virtualization: Machine virtualization, binary instrumentation, VMware design etc.
File Systems and Disk: File system interfaces, Networked file systems, AFS, The Design and Implementation of a Log-Structured File System, File system extensibility, non-disk file systems, A Case for Redundant Arrays of Inexpensive Disks (RAID), Using Model Checking to Find Serious File System Errors Big Data System. Case studies on Mobile operating systems, Android, iOS, Samsung etc