vault backup: 2025-03-17 09:49:23

.obsidian/workspace.json

@@ -34,9 +34,9 @@
               "type": "pdf",
               "state": {
                 "file": "Concurrent Systems/slides/class 4.pdf",
-                "page": 13,
+                "page": 14,
                 "left": -27,
-                "top": 96,
+                "top": 94,
                 "zoom": 0.5754156769596199
               },
               "icon": "lucide-file-text",

Concurrent Systems/notes/4b -.md

@@ -56,3 +56,17 @@ C.signal() :=
 		NPR--
 ```
 p.s. The wait **always** suspends, even if there is only a process.
+
+#### Readers/Writers problem, strong priority to Readers
+```
+monitor RW_READERS :=
+	AR, WR, AW, WW init at 0
+	condition CR, CW
+
+operation begin_read() :=
+	WR++
+	if AW != 0 then
+		CR.wait()
+		CR.signal()
+
+```