diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 4f6063a..0bbdbcb 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -36,9 +36,9 @@ "type": "pdf", "state": { "file": "Concurrent Systems/slides/class 6.pdf", - "page": 4, + "page": 6, "left": -23, - "top": 17, + "top": 546, "zoom": 0.6448931116389549 }, "icon": "lucide-file-text", diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md index 3cb76c8..c630a14 100644 --- a/Concurrent Systems/notes/6 - Atomicity.md +++ b/Concurrent Systems/notes/6 - Atomicity.md @@ -34,4 +34,8 @@ For all X, let $\hat{S}_{X}$ be a linearization of $\hat{H}_{X}$ Let $\to$ denote $\to_{H} \cup \bigcup_{X \in H} \to _{X}$ -... \ No newline at end of file +... +> [!PDF|red] class 6, p.6> we would have a cycle of length +> +> we would contraddict op2 ->x op3 +