From 1ff3d80f5ec2d62314de87be394178dd61f5fb00 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 3 Mar 2025 09:22:47 +0100 Subject: [PATCH] vault backup: 2025-03-03 09:22:47 --- Concurrent Systems/notes/Lezione1.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/Lezione1.md b/Concurrent Systems/notes/Lezione1.md index f28e59f..e532ea3 100644 --- a/Concurrent Systems/notes/Lezione1.md +++ b/Concurrent Systems/notes/Lezione1.md @@ -90,4 +90,8 @@ So safety is necessary for correctness, liveness for meaningfulness. - **Safety:** there is at most one process at a time in a C.S. - **Liveness:** - **Deadlock freedom:** if there is at least one invocation of lock, eventually after at least one process enters a C.S. - - **Starvation freedom:** every invocation of lock eve \ No newline at end of file + - **Starvation freedom:** every invocation of lock eventually grants access to the associated C.S. + - **Bounded bypass:** let $n$ be the number of processes; then, there exists $f: N \to N$ s.t. every lock enters the C.S. after at most $f(n)$ other C.S.s (The process must win in at most f(n) steps). + + +