Explains message passing as a synchronization mechanism for serialization problems. Demonstrates how thread communication through messages ensures event ordering and uses timeline analysis to prove sequential execution in multithreaded programs.
Introduces synchronization concepts in concurrent systems, distinguishing between serialization and mutual exclusion. Covers execution models in parallel and multithreaded systems, explaining how synchronization constraints enforce event ordering without universal clocks.
This lecture covers lightweight virtualization using Linux containers, focusing on how namespaces and cgroups isolate resources and limit usage. It explores Docker, LXC, orchestration frameworks like Kubernetes, and demonstrates system calls and mechanisms enabling container-based cloud-native development
This lecture presentation reviews fundamental operating system principles, including virtualization, process scheduling, memory management, and security features, offering a strong conceptual foundation.
Lab implementing simple file system operations including file creation, deletion, reading, writing, seeking, and inode management on emulated disk with superblock and data block allocation.