Demonstrates synchronization constraints for bathroom access with gender-based exclusion and capacity limits. Includes lightswitch pattern, no-starve solution using turnstiles, and categorical exclusion with majority rule in Modus Hall problem.
Explains the search-insert-delete synchronization problem with three types of threads accessing a linked list. Covers semaphore-based solution using lightswitch pattern for searchers, inserters, and deleters with categorical mutual exclusion constraints.
Lab assignment building Linux shell using fork, exec, wait syscalls. Covers process management, background/foreground execution, file descriptor handling, and implementing built-in commands like cd, demonstrating practical OS synchronization and process control.
Comprehensive overview of classical synchronization problems including producer-consumer, reader-writer, and dining philosophers. Discusses real-world analogies to OS problems and presents foundational synchronization constraints and patterns.
Extended smokers problem allowing ingredient accumulation on table. Uses integer counters instead of booleans to track multiple ingredient instances, demonstrating scoreboard pattern where threads check state and react accordingly to available resources.