vault backup: 2025-03-10 09:30:11

This commit is contained in:
Marco Realacci 2025-03-10 09:30:11 +01:00
parent e26da85610
commit d53e1037ad
4 changed files with 3 additions and 118 deletions

View file

@ -146,3 +146,4 @@ Se il ticket number è minore si ottiene l'accesso, se il ticket number è ugual
> It is possible that while reading, other processes are writing their turn! So it's possible that I read something unpredictable! We need to consider it in the proofs.
Why is the flag needed? Without it, if two process $i$ and $j$ sets my_turn at the same time, t