vault backup: 2025-03-21 17:40:08

.obsidian/workspace.json

@@ -225,11 +225,12 @@
   },
   "active": "51157f32453cba69",
   "lastOpenFiles": [
+    "Concurrent Systems/notes/4b - Monitors.md",
+    "Concurrent Systems/notes/4 - Semaphores.md",
     "Concurrent Systems/notes/2b - Round Robin algorithm.md",
     "Concurrent Systems/notes/4c - Dining Philosophers.md",
     "Concurrent Systems/notes/6 - Atomicity.md",
     "Concurrent Systems/notes/5 - Software Transactional Memory.md",
-    "Concurrent Systems/notes/4 - Semaphores.md",
     "Concurrent Systems/notes/3b - Aravind's algorithm and improvements.md",
     "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
     "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
@@ -238,7 +239,6 @@
     "Concurrent Systems/notes/1b - Peterson algorithm.md",
     "Concurrent Systems/notes/Untitled.pdf",
     "Concurrent Systems/notes/1 - CS Basics.md",
-    "Concurrent Systems/notes/4b - Monitors.md",
     "conflict-files-obsidian-git.md",
     "Concurrent Systems/notes/images/Pasted image 20250318090909.png",
     "Concurrent Systems/notes/images/Pasted image 20250318090733.png",

Concurrent Systems/notes/4 - Semaphores.md

@@ -276,7 +276,8 @@ begin_read() :=
 end_read() := # like weak priority to readers
 	R_MUTEX.down()
 	R--
-	if R = 0 then GLOB_MUTEX.up()
+	if R = 0 then
+		GLOB_MUTEX.up()
 	R_MUTEX.up()
 	return