The Composite Component-Based OS

GW AdvOS: Microkernel IPC Design and Optimization

GW AdvOS: User Management of Kernel Memory

GW AdvOS: Capability Delegation and Revocation

GW AdvOS: Capability-based OS design

GW AdvOS: What makes an interface good?

GW AdvOS: System Module Implementation Concerns

GW AdvOS: System Design, Abstraction, Modularity, and Structure

GWU OS: Security

GWU OS: Crash Consistency

GWU OS: File System Implementation for Devices

GWU OS: File System Indexing

GWU OS: Filesystem API

GWU OS: Page-tables

GWU OS: Memory Protection

GWU OS: Memory Allocation - Slab and Buddy Allocators

GWU OS: memory allocation - malloc and free

GWU OS: Linux and Real-time Scheduling

GWU OS: Scheduling

GWU OS: Deadlocks

Lab 6: Synchronization and Condition Variables

GWU OS: Synchronization Examples

GWU OS: Synchronization Abstractions

Lab 5: working with race conditions and synchronization

GWU OS: Synchronization - atomic instructions

GWU OS: Synchronization - critical sections

Lab 4: process management

GWU OS: Threading

GWU OS: Inter-Process Communication (IPC)

Lab 3: xv6 system calls