diff options
| author | Juan Marín Noguera <juan.marinn@um.es> | 2021-01-01 20:23:35 +0100 |
|---|---|---|
| committer | Juan Marín Noguera <juan.marinn@um.es> | 2021-01-01 20:23:56 +0100 |
| commit | b6b65cc5112a7b44cf483f9f963e61effb440802 (patch) | |
| tree | b4ba0d4f0e684fbb8abea2c8260960ea1bf8da98 /aoc/n3.2.dot | |
| parent | eb2e7dfff133c465c93e450ebc790695dadb9aeb (diff) | |
Cache coherency
Diffstat (limited to 'aoc/n3.2.dot')
| -rw-r--r-- | aoc/n3.2.dot | 9 |
1 files changed, 9 insertions, 0 deletions
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]}"] +} |