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

vault backup: 2025-03-25 14:57:04

Browse source
This commit is contained in:
Marco Realacci 2025-03-25 14:57:04 +01:00
parent 31c9dfbc99
commit 6420f33786
2 changed files with 13 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Concurrent Systems/notes/7- MUTEX-free concurrency.md
View file

@ -186,4 +186,6 @@ Let us consider an operation invocation performed by p
- if it terminates, √
- otherwise, TOP has changed between the first of TOP and the last Compare&set
- but the only instruction that modifies TOP is the closing Compare&set
- which means that the invocation issued by another process has terminated! √
- which means that the invocation issued by another process has terminated! √
REMARK: the fact that the operation is concluded by