Systèmes informatiques

This module provides a comprehensive introduction to the fundamental concepts and mechanisms of modern operating systems, focusing on process management, synchronization, and deadlock handling. Students will explore the structure and functionality of processes, including process creation, scheduling, and inter-process communication. The course emphasizes mutual exclusion and synchronization techniques essential for concurrent process execution, such as semaphores and monitors, ensuring safe access to shared resources. Additionally, it examines the causes and consequences of deadlocks in operating systems, presenting strategies for their detection, avoidance, and prevention. The Banker’s algorithm is introduced as a practical method for deadlock avoidance through resource allocation control.