Parallel Execution, Mutex, and Deadlocks in Operating Systems
Classified in Computers
Written at on English with a size of 3.2 KB.
Parbegin / Person Learns
Parbegin is a structure to indicate parallel execution, marking the beginning and end. Selection: A statement dividing sequential execution into parallel streams.
Its general form (Dijkstra):
parbegin Proposition1; Proposition2; Proposition n; person learns
Mutex
Mutex occurs when processes share data, preventing simultaneous access. It applies when a process accesses shared data, allowing concurrent execution of non-conflicting transactions.
Critical Sections
A process accessing shared data is in a critical section. When a process is in a critical section:
- All other processes are excluded from their critical sections.
- Other processes can execute outside their critical sections.
- When a process exits, the next waiting process