| digraph finite_state_machine { |
| node [shape = circle, fixedsize=true, fontsize=12]; |
| edge [fontsize=9]; |
| I -> SC [ label = "ReadShared miss/\nReadShared" ]; |
| I -> UC [ label = "ReadUnique miss/\nReadUnique" ]; |
| SC -> I [ label = "Replacement/\nEvict" ]; |
| SC -> UC [ label = "ReadUnique miss/\nReadUnique" ]; |
| SD -> I [ label = "Replacement/\nWriteBack" ]; |
| SD -> UD [ label = "ReadUnique miss/\nReadUnique" ]; |
| UC -> I [ label = "Replacement/\nWriteEvict" ]; |
| UC -> SC [ label = "SnpShared/\n_" ]; |
| UD -> I [ label = "Replacement/\nWriteBack" ]; |
| UD -> SD [ label = "SnpShared/\n_" ]; |
| UC,I -> UC [ label = "WriteEvict/\n_" ]; |
| SD,I -> SD [ label = "WriteBack/\n_" ]; |
| UC,UD,I -> UD [ label = "WriteBack/\n_" ]; |
| UC,UD,SD,SC -> I [ label = "SnpUnique" ]; |
| } |
