From 06131ce1f032af38a8ca3e3174a6ad78588c7239 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Thu, 27 Mar 2025 13:01:12 +0100 Subject: [PATCH 1/6] vault backup: 2025-03-27 13:01:02 --- .obsidian/plugins/obsidian-git/data.json | 6 +- .obsidian/workspace-mobile.json | 167 +++++++++++++++++++++++ 2 files changed, 170 insertions(+), 3 deletions(-) create mode 100644 .obsidian/workspace-mobile.json diff --git a/.obsidian/plugins/obsidian-git/data.json b/.obsidian/plugins/obsidian-git/data.json index ab1c4dd..fae0517 100644 --- a/.obsidian/plugins/obsidian-git/data.json +++ b/.obsidian/plugins/obsidian-git/data.json @@ -1,10 +1,10 @@ { - "commitMessage": "vault backup: {{date}}", + "commitMessage": "android vault backup: {{date}}", "commitDateFormat": "YYYY-MM-DD HH:mm:ss", "autoSaveInterval": 5, "autoPushInterval": 0, - "autoPullInterval": 0, - "autoPullOnBoot": false, + "autoPullInterval": 10, + "autoPullOnBoot": true, "disablePush": false, "pullBeforePush": true, "disablePopups": false, diff --git a/.obsidian/workspace-mobile.json b/.obsidian/workspace-mobile.json new file mode 100644 index 0000000..b4f473f --- /dev/null +++ b/.obsidian/workspace-mobile.json @@ -0,0 +1,167 @@ +{ + "main": { + "id": "e07838d6ea54323c", + "type": "split", + "children": [ + { + "id": "a3e98ffcfd73caa6", + "type": "tabs", + "children": [ + { + "id": "496559fb3bcdd333", + "type": "leaf", + "state": { + "type": "markdown", + "state": { + "file": "Concurrent Systems/notes/5 - Software Transactional Memory.md", + "mode": "source", + "source": false + }, + "icon": "lucide-file", + "title": "5 - Software Transactional Memory" + } + } + ] + } + ], + "direction": "vertical" + }, + "left": { + "id": "8396ebe3c8ee8908", + "type": "mobile-drawer", + "children": [ + { + "id": "1af93c9f33149d84", + "type": "leaf", + "state": { + "type": "file-explorer", + "state": { + "sortOrder": "alphabetical", + "autoReveal": false + }, + "icon": "lucide-folder-closed", + "title": "Files" + } + }, + { + "id": "de92538896f1f048", + "type": "leaf", + "state": { + "type": "search", + "state": { + "query": "", + "matchingCase": false, + "explainSearch": false, + "collapseAll": false, + "extraContext": false, + "sortOrder": "alphabetical" + }, + "icon": "lucide-search", + "title": "Search" + } + }, + { + "id": "3dbc0295dc4a98e8", + "type": "leaf", + "state": { + "type": "tag", + "state": { + "sortOrder": "frequency", + "useHierarchy": true, + "showSearch": false, + "searchQuery": "" + }, + "icon": "lucide-tags", + "title": "Tags" + } + }, + { + "id": "cb9c625dae707aab", + "type": "leaf", + "state": { + "type": "bookmarks", + "state": {}, + "icon": "lucide-bookmark", + "title": "Bookmarks" + } + } + ], + "currentTab": 0 + }, + "right": { + "id": "de8a9e5ec695e7e6", + "type": "mobile-drawer", + "children": [ + { + "id": "0b5dc041cabcc580", + "type": "leaf", + "state": { + "type": "backlink", + "state": { + "collapseAll": false, + "extraContext": false, + "sortOrder": "alphabetical", + "showSearch": false, + "searchQuery": "", + "backlinkCollapsed": false, + "unlinkedCollapsed": true + }, + "icon": "links-coming-in", + "title": "Backlinks" + } + }, + { + "id": "bf2bc873db163f4c", + "type": "leaf", + "state": { + "type": "outgoing-link", + "state": { + "linksCollapsed": false, + "unlinkedCollapsed": true + }, + "icon": "links-going-out", + "title": "Outgoing links" + } + }, + { + "id": "cd927721a7be8394", + "type": "leaf", + "state": { + "type": "outline", + "state": { + "followCursor": false, + "showSearch": false, + "searchQuery": "" + }, + "icon": "lucide-list", + "title": "Outline" + } + }, + { + "id": "e108a8eae4cda88f", + "type": "leaf", + "state": { + "type": "git-view", + "state": {}, + "icon": "git-pull-request", + "title": "Source Control" + } + } + ], + "currentTab": 3 + }, + "left-ribbon": { + "hiddenItems": { + "switcher:Open quick switcher": false, + "graph:Open graph view": false, + "canvas:Create new canvas": false, + "daily-notes:Open today's daily note": false, + "templates:Insert template": false, + "command-palette:Open command palette": false, + "obsidian-git:Open Git source control": false, + "companion:Toggle completion": false + } + }, + "active": "496559fb3bcdd333", + "lastOpenFiles": [] +} \ No newline at end of file From 41b6b7d05115b925c63e20f35aab0191a61fda83 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Thu, 27 Mar 2025 15:23:44 +0100 Subject: [PATCH 2/6] vault backup: 2025-03-27 15:23:43 --- .obsidian/workspace.json | 114 +++++++++--------- .../notes/4c - Dining Philosophers.md | 2 +- 2 files changed, 61 insertions(+), 55 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index dd2ac2c..d6a975f 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -4,17 +4,31 @@ "type": "split", "children": [ { - "id": "efd2410a71337f52", + "id": "f51c1efa0452f785", "type": "tabs", "children": [ { - "id": "383fb8ddbc7a9dc8", + "id": "681355c2483f6307", + "type": "leaf", + "state": { + "type": "markdown", + "state": { + "file": "Concurrent Systems/notes/3b - Aravind's algorithm and improvements.md", + "mode": "source", + "source": false + }, + "icon": "lucide-file", + "title": "3b - Aravind's algorithm and improvements" + } + }, + { + "id": "926fa7285c533c59", "type": "leaf", "state": { "type": "markdown", "state": { "file": "Concurrent Systems/notes/2 - Fast mutex by Lamport.md", - "mode": "preview", + "mode": "source", "source": false }, "icon": "lucide-file", @@ -22,30 +36,20 @@ } }, { - "id": "6e3afe627f01d355", + "id": "7f703980f7154aff", "type": "leaf", "state": { - "type": "pdf", + "type": "diff-view", "state": { - "file": "Concurrent Systems/slides/class 5.pdf" + "file": "conflict-files-obsidian-git.md", + "staged": false }, - "icon": "lucide-file-text", - "title": "class 5" - } - }, - { - "id": "070e50bf8e547731", - "type": "leaf", - "state": { - "type": "pdf", - "state": { - "file": "Concurrent Systems/slides/class 6.pdf" - }, - "icon": "lucide-file-text", - "title": "class 6" + "icon": "git-pull-request", + "title": "Diff View (conflict-files-obsidian-git)" } } - ] + ], + "currentTab": 2 } ], "direction": "vertical" @@ -77,7 +81,7 @@ "state": { "type": "search", "state": { - "query": "", + "query": "exercise", "matchingCase": false, "explainSearch": false, "collapseAll": false, @@ -197,11 +201,11 @@ } ], "direction": "horizontal", - "width": 364.5, - "collapsed": true + "width": 364.5 }, "left-ribbon": { "hiddenItems": { + "smart-second-brain:Open S2B Chat": false, "switcher:Open quick switcher": false, "graph:Open graph view": false, "canvas:Create new canvas": false, @@ -209,48 +213,50 @@ "templates:Insert template": false, "command-palette:Open command palette": false, "obsidian-ocr:Search OCR": false, + "pdf-plus:PDF++: Toggle auto-copy": false, + "pdf-plus:PDF++: Toggle auto-focus": false, + "pdf-plus:PDF++: Toggle auto-paste": false, "obsidian-git:Open Git source control": false, - "smart-second-brain:Open S2B Chat": false, "companion:Toggle completion": false } }, - "active": "383fb8ddbc7a9dc8", + "active": "7f703980f7154aff", "lastOpenFiles": [ - "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", - "Concurrent Systems/notes/7- MUTEX-free concurrency.md", - "Concurrent Systems/notes/6a - Alternatives to Atomicity.md", - "Concurrent Systems/slides/class 6.pdf", + "Concurrent Systems/notes/4c - Dining Philosophers.md", "Concurrent Systems/notes/6 - Atomicity.md", "Concurrent Systems/notes/5 - Software Transactional Memory.md", - "Concurrent Systems/slides/class 5.pdf", - "Concurrent Systems/notes/4c - Dining Philosophers.md", - "Concurrent Systems/slides/class 8.pdf", - "Concurrent Systems/notes/1b - Peterson algorithm.md", - "Concurrent Systems/slides/class 7.pdf", - "Pasted image 20250325090735.png", - "Concurrent Systems/notes/images/Pasted image 20250324091452.png", - "Concurrent Systems/notes/images/Pasted image 20250324082534.png", - "Concurrent Systems/notes/images/Pasted image 20250324082545.png", - "Concurrent Systems/notes/images/Pasted image 20250324092633.png", - "Concurrent Systems/notes/1 - CS Basics.md", - "Concurrent Systems/notes/images/Pasted image 20250324100652.png", + "Concurrent Systems/notes/2b - Round Robin algorithm.md", + "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md", + "Concurrent Systems/notes/2 - Fast mutex by Lamport.md", "Concurrent Systems/notes/4b - Monitors.md", - "Concurrent Systems/slides/class 4.pdf", - "Concurrent Systems/slides/class 3.pdf", - "Concurrent Systems/notes/4 - Semaphores.md", - "Concurrent Systems/slides/class 2.pdf", - "Concurrent Systems/notes/Untitled.pdf", + "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", "conflict-files-obsidian-git.md", - "Concurrent Systems/notes/images/Pasted image 20250318090909.png", + "Pasted image 20250325090735.png", + "Concurrent Systems/slides/class 8.pdf", + "Concurrent Systems/slides/class 7.pdf", + "Concurrent Systems/notes/images/Pasted image 20250324100652.png", + "Concurrent Systems/notes/images/Pasted image 20250324092633.png", + "Concurrent Systems/notes/images/Pasted image 20250324091452.png", + "Concurrent Systems/notes/images/Pasted image 20250324082545.png", + "Concurrent Systems/notes/images/Pasted image 20250324082534.png", + "Concurrent Systems/notes/7- MUTEX-free concurrency.md", + "Concurrent Systems/notes/6a - Alternatives to Atomicity.md", + "Concurrent Systems/notes/1b - Peterson algorithm.md", + "Concurrent Systems/notes/3b - Aravind's algorithm and improvements.md", + "3b - Aravind's algorithm and improvements.pdf", + "Concurrent Systems/slides/class 6.pdf", "Concurrent Systems/notes/images/Pasted image 20250318090733.png", - "Pasted image 20250318090909.png", - "Pasted image 20250318090733.png", + "Concurrent Systems/notes/images/Pasted image 20250318090909.png", + "Concurrent Systems/slides/class 5.pdf", + "Concurrent Systems/notes/4 - Semaphores.md", + "Concurrent Systems/notes/1 - CS Basics.md", + "Concurrent Systems/notes/images/Pasted image 20250317105355.png", + "Concurrent Systems/slides/class 4.pdf", + "Concurrent Systems/notes/images/Pasted image 20250317100456.png", "HCIW/slides/4 HUI2016-6-forcefeedback.pdf", "HCIW/slides/3b Haptic slides.pdf", + "HCIW/slides/3Haptic interaction.pdf", + "HCIW/slides/2 Beacon based interfaces.pdf", "HCIW/notes/2 - Interface and Interaction for IoT.md", "HCIW/notes/3 - Beacons.md", "Concurrent Systems/notes/1 - CS Basics2.md", diff --git a/Concurrent Systems/notes/4c - Dining Philosophers.md b/Concurrent Systems/notes/4c - Dining Philosophers.md index 9e11dae..c443b46 100644 --- a/Concurrent Systems/notes/4c - Dining Philosophers.md +++ b/Concurrent Systems/notes/4c - Dining Philosophers.md @@ -20,7 +20,7 @@ Philosopher(i) := chopstick[(i+1)%N].up() chopstick[i].up() ``` -No two neighbors can eat simultaneously, but we can have a deadlock if all philosophers grab their right chopstick simultaneously. +No two neighbours can eat simultaneously, but we can have a deadlock if all philosophers grab their right chopstick simultaneously. #### Solution 1 Give a number to all forks and always try with the smaller. From 0c4bab642e225cec1663ac92c698d200a46cab93 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Thu, 27 Mar 2025 15:24:22 +0100 Subject: [PATCH 3/6] vault backup: 2025-03-27 15:24:22 --- .obsidian/plugins/obsidian-git/data.json | 6 +++--- .obsidian/workspace.json | 17 ++--------------- 2 files changed, 5 insertions(+), 18 deletions(-) diff --git a/.obsidian/plugins/obsidian-git/data.json b/.obsidian/plugins/obsidian-git/data.json index fae0517..ab1c4dd 100644 --- a/.obsidian/plugins/obsidian-git/data.json +++ b/.obsidian/plugins/obsidian-git/data.json @@ -1,10 +1,10 @@ { - "commitMessage": "android vault backup: {{date}}", + "commitMessage": "vault backup: {{date}}", "commitDateFormat": "YYYY-MM-DD HH:mm:ss", "autoSaveInterval": 5, "autoPushInterval": 0, - "autoPullInterval": 10, - "autoPullOnBoot": true, + "autoPullInterval": 0, + "autoPullOnBoot": false, "disablePush": false, "pullBeforePush": true, "disablePopups": false, diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index d6a975f..1660b65 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -34,22 +34,9 @@ "icon": "lucide-file", "title": "2 - Fast mutex by Lamport" } - }, - { - "id": "7f703980f7154aff", - "type": "leaf", - "state": { - "type": "diff-view", - "state": { - "file": "conflict-files-obsidian-git.md", - "staged": false - }, - "icon": "git-pull-request", - "title": "Diff View (conflict-files-obsidian-git)" - } } ], - "currentTab": 2 + "currentTab": 1 } ], "direction": "vertical" @@ -220,7 +207,7 @@ "companion:Toggle completion": false } }, - "active": "7f703980f7154aff", + "active": "0d5325c0f9289cea", "lastOpenFiles": [ "Concurrent Systems/notes/4c - Dining Philosophers.md", "Concurrent Systems/notes/6 - Atomicity.md", From f7de38c078bb8d4593155e7e2893ef74abf45f05 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Thu, 27 Mar 2025 16:39:23 +0100 Subject: [PATCH 4/6] vault backup: 2025-03-27 16:39:23 --- .obsidian/workspace.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 1660b65..1da0db5 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -207,14 +207,14 @@ "companion:Toggle completion": false } }, - "active": "0d5325c0f9289cea", + "active": "926fa7285c533c59", "lastOpenFiles": [ + "Concurrent Systems/notes/2b - Round Robin algorithm.md", + "Concurrent Systems/notes/2 - Fast mutex by Lamport.md", "Concurrent Systems/notes/4c - Dining Philosophers.md", "Concurrent Systems/notes/6 - Atomicity.md", "Concurrent Systems/notes/5 - Software Transactional Memory.md", - "Concurrent Systems/notes/2b - Round Robin algorithm.md", "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md", - "Concurrent Systems/notes/2 - Fast mutex by Lamport.md", "Concurrent Systems/notes/4b - Monitors.md", "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", "conflict-files-obsidian-git.md", From 16cd0fd5394a0e8d1b14e83a1f4fa020a11cf248 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Thu, 27 Mar 2025 17:14:23 +0100 Subject: [PATCH 5/6] vault backup: 2025-03-27 17:14:23 --- .obsidian/workspace.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 1da0db5..03286bd 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -27,12 +27,12 @@ "state": { "type": "markdown", "state": { - "file": "Concurrent Systems/notes/2 - Fast mutex by Lamport.md", + "file": "Concurrent Systems/notes/4b - Monitors.md", "mode": "source", "source": false }, "icon": "lucide-file", - "title": "2 - Fast mutex by Lamport" + "title": "4b - Monitors" } } ], @@ -209,8 +209,8 @@ }, "active": "926fa7285c533c59", "lastOpenFiles": [ - "Concurrent Systems/notes/2b - Round Robin algorithm.md", "Concurrent Systems/notes/2 - Fast mutex by Lamport.md", + "Concurrent Systems/notes/2b - Round Robin algorithm.md", "Concurrent Systems/notes/4c - Dining Philosophers.md", "Concurrent Systems/notes/6 - Atomicity.md", "Concurrent Systems/notes/5 - Software Transactional Memory.md", From 05d360f95dbf3e1fbc0f18c52c40db77780cf6c2 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Thu, 27 Mar 2025 17:24:23 +0100 Subject: [PATCH 6/6] vault backup: 2025-03-27 17:24:23 --- .obsidian/workspace.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 03286bd..043d530 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -27,12 +27,12 @@ "state": { "type": "markdown", "state": { - "file": "Concurrent Systems/notes/4b - Monitors.md", + "file": "Concurrent Systems/notes/2 - Fast mutex by Lamport.md", "mode": "source", "source": false }, "icon": "lucide-file", - "title": "4b - Monitors" + "title": "2 - Fast mutex by Lamport" } } ], @@ -209,13 +209,13 @@ }, "active": "926fa7285c533c59", "lastOpenFiles": [ + "Concurrent Systems/notes/4b - Monitors.md", "Concurrent Systems/notes/2 - Fast mutex by Lamport.md", "Concurrent Systems/notes/2b - Round Robin algorithm.md", "Concurrent Systems/notes/4c - Dining Philosophers.md", "Concurrent Systems/notes/6 - Atomicity.md", "Concurrent Systems/notes/5 - Software Transactional Memory.md", "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md", - "Concurrent Systems/notes/4b - Monitors.md", "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", "conflict-files-obsidian-git.md", "Pasted image 20250325090735.png",