From b6b65cc5112a7b44cf483f9f963e61effb440802 Mon Sep 17 00:00:00 2001
From: Juan Marín Noguera <juan.marinn@um.es>
Date: Fri, 1 Jan 2021 20:23:35 +0100
Subject: Cache coherency

---
 aoc/n3.2.dot | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 aoc/n3.2.dot

(limited to 'aoc/n3.2.dot')

diff --git a/aoc/n3.2.dot b/aoc/n3.2.dot
new file mode 100644
index 0000000..58ba6df
--- /dev/null
+++ b/aoc/n3.2.dot
@@ -0,0 +1,9 @@
+digraph G {
+	NC -> S [label="DirRd / :=[c], Data"]
+	NC -> P [label="DirWr / :=[c], Data"]
+	S -> S [label="DirRd / +=c, Data"]
+	S -> P [label="DirWr / all r.CInv,\n {all r.CInvOK / :=[c]}"]
+	P -> NC [label="DirWB /"]
+	P -> S [label="DirRd / +=c, r.CRd,\n {r.CRdOK / Data}"]
+	P -> P [label="DirWr / r.CWr, {r.CWrOK / :=[c]}"]
+}
-- 
cgit v1.2.3