marcorealacci/master-degree-notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

vault backup: 2025-04-02 23:20:03

Browse source
This commit is contained in:
Marco Realacci 2025-04-02 23:20:03 +02:00
parent c14ac3253c
commit af2d7f19c7
2 changed files with 41 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

25
Concurrent Systems/test/Untitled.md
View file

@ -1,3 +1,26 @@
```
barrier() :=
GLOB_MUTEX and R_MUTEX semaphores init. at 1
R a shared register init. at 0
begin_read() :=
R_MUTEX.down()
R++ # currently active readers
if R = 1 then GLOB_MUTEX.down()
R_MUTEX.up()
return
end_read() :=
R_MUTEX.down()
R--
if R = 0 then GLOB_MUTEX.up()
R_MUTEX.up()
return
begin_write() :=
GLOB_MUTEX.down()
return
end_write() :=
GLOB_MUTEX.up()
return
```