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

vault backup: 2025-03-10 08:54:43

Browse source
This commit is contained in:
Marco Realacci 2025-03-10 08:54:43 +01:00
parent 06ceb3bebc
commit 1c92e1794e
2 changed files with 37 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

6
Concurrent Systems/notes/3.md
View file

@ -105,5 +105,9 @@ unlock() :=
return
```
>[!info} It is bounded bypass with bound n-1
>[!note] a>It is bounded bypass with bound n-1>
### Safe registers
Atomic R/W and specialized HW primitives provide some form of atomicity. But is it possible to enforce MUTEX without atomicity?
A **MRMW Safe register** is a register that provides READ and