From e5f0cf896b774ede31f41ac8aa7bae9790f19fce Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Sun, 6 Apr 2025 17:54:00 +0200 Subject: [PATCH] vault backup: 2025-04-06 17:54:00 --- Concurrent Systems/notes/4 - Semaphores.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/4 - Semaphores.md b/Concurrent Systems/notes/4 - Semaphores.md index ef5bb33..62e0129 100644 --- a/Concurrent Systems/notes/4 - Semaphores.md +++ b/Concurrent Systems/notes/4 - Semaphores.md @@ -299,4 +299,5 @@ def end_write() := W_MUTEX.up() return ``` -This is prioritizing writers as if there are writers waiting, they will be waiting at `GLOB_MUTEX.down()`. This semaphore is upped before `PRIO_MUTEX` which is the one that blocks readers. \ No newline at end of file +This is prioritizing writers as if there are writers waiting, they will be waiting at `GLOB_MUTEX.down()`. This semaphore is upped before `PRIO_MUTEX` which is the one that blocks readers. +It is weak as a writer cannot block readers twice. \ No newline at end of file