From 079c28e40217b58662a3f6773aec1862fec89a0c Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Wed, 26 Mar 2025 17:36:30 +0100 Subject: [PATCH] vault backup: 2025-03-26 17:36:30 --- .obsidian/workspace.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index c48005f..dd2ac2c 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -13,12 +13,12 @@ "state": { "type": "markdown", "state": { - "file": "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", + "file": "Concurrent Systems/notes/2 - Fast mutex by Lamport.md", "mode": "preview", "source": false }, "icon": "lucide-file", - "title": "8 - Enhancing Liveness Properties" + "title": "2 - Fast mutex by Lamport" } }, { @@ -216,8 +216,8 @@ }, "active": "383fb8ddbc7a9dc8", "lastOpenFiles": [ - "Concurrent Systems/notes/2b - Round Robin algorithm.md", "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", + "Concurrent Systems/notes/2b - Round Robin algorithm.md", "Concurrent Systems/notes/3b - Aravind's algorithm and improvements.md", "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md", "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",