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

vault backup: 2025-03-24 09:04:22

Browse source
This commit is contained in:
Marco Realacci 2025-03-24 09:04:23 +01:00
parent 2db08c4e95
commit d73fe86372
1 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -13,7 +13,13 @@ We have four new liveness properties
- reminds deadlock-freedom in MUTEX-based concurrency - reminds deadlock-freedom in MUTEX-based concurrency
3. **Wait freedom:** whenever an operation is invoked on an object, it eventually terminates 3. **Wait freedom:** whenever an operation is invoked on an object, it eventually terminates
- reminds starvation-freedom in MUTEX-based concurrency - reminds starvation-freedom in MUTEX-based concurrency
4. **Bounded wait freedom:** W.F. plus a bound on the number of steps needed to terminate 4. **Bounded wait freedom:** wait freedom + a bound on the number of steps needed to terminate
- reminds bounded bypass in MUTEX-based concurrency - reminds bounded bypass in MUTEX-based concurrency
*REMARK:* these notions naturally cope with (crash) failures. Fail stop is another way of terminating, there is no way of distinguishing a failure from an arbitrary long sleep (because of asynchrony). *REMARK:* these notions naturally cope with (crash) failures. Fail stop is another way of terminating, there is no way of distinguishing a failure from an arbitrary long sleep (because of asynchrony).
### A wait-free Splitter
Assume we have atomic R/W registers.
A **splitter** is a concurrent object that provides a single operation dir such that:
1. (*validity*)