Lab on XV6 memory management covering virtual pages, physical pages, page table walking, mmap system call implementation, demand paging, address space expansion, and memory mapping.
Practice problems on XV6 synchronization primitives including spinlocks, sleep/wakeup mechanisms, interrupt disabling, atomic operations, context switch atomicity, and concurrent access patterns.
Practice problems on XV6 process management covering fork system call, child process creation, context switching, interrupt handling, disk I/O, process scheduling, and kernel stack management.
Comprehensive documentation of XV6, a re-implementation of Unix Version 6 (v6) for modern x86-based multiprocessor systems using ANSI C. Contains detailed source code listings, cross-references, system calls, memory management, process handling, file systems, and boot procedures.
Chubby Distributed Lock Service
Chubby is a distributed lock service designed for coarse-grained locking and reliable synchronization in distributed systems, employing Paxos consensus for consistency and offering APIs for client interaction.