From 3920a7b2683bbe9a0487a9d2c89e93ac0fe44192 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Fri, 21 Mar 2025 19:30:08 +0100 Subject: [PATCH] vault backup: 2025-03-21 19:30:08 --- Concurrent Systems/notes/4b - Monitors.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/4b - Monitors.md b/Concurrent Systems/notes/4b - Monitors.md index 4a96ae4..8e03315 100644 --- a/Concurrent Systems/notes/4b - Monitors.md +++ b/Concurrent Systems/notes/4b - Monitors.md @@ -1,6 +1,7 @@ Semaphores are hard to use in practice because quite low level Monitors provide an easier definition of concurrent objects at the level of Prog. Lang. -It guarantees mutual exclusion. +>[!note] MUTEX +>Every operation in a monitor is done with mutual exc Inter-process synchronization is done through *conditions*, which are objects that provide the following operations: - ***wait*:** the invoking process suspends, enters into the condition's queue, and releases the mutex on the monitor