:nemesis :info :start nil 11 :invoke :read nil 10 :invoke :read nil 12 :invoke :read nil 13 :invoke :read nil 15 :invoke :cas [0 4] 17 :invoke :write 0 14 :invoke :read nil 19 :invoke :cas [3 4] 16 :invoke :cas [4 0] 10 :ok :read nil 18 :invoke :write 4 11 :ok :read nil 12 :ok :read nil 14 :ok :read nil 13 :ok :read nil 18 :ok :write 4 19 :fail :cas [3 4] 15 :fail :cas [0 4] 16 :ok :cas [4 0] 17 :ok :write 0 10 :invoke :read nil 10 :ok :read 0 11 :invoke :read nil 11 :ok :read 0 12 :invoke :read nil 12 :ok :read 0 14 :invoke :read nil 14 :ok :read 0 13 :invoke :read nil 18 :invoke :write 0 19 :invoke :cas [0 4] 15 :invoke :cas [2 0] 13 :ok :read 0 17 :invoke :cas [0 0] 16 :invoke :write 4 18 :ok :write 0 15 :fail :cas [2 0] 17 :fail :cas [0 0] 19 :fail :cas [0 4] 16 :ok :write 4 10 :invoke :read nil 10 :ok :read 4 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 4 14 :invoke :read nil 14 :ok :read 4 13 :invoke :read nil 13 :ok :read 4 18 :invoke :write 0 ; succeeds 15 :invoke :cas [0 1] ; fails 17 :invoke :cas [1 2] ; succeeds 19 :invoke :write 1 ; succeeds 16 :invoke :cas [4 3] ; fails 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 Possible interpretation: one component keeps 4, the other writes 0, writes 1, cas 1->2, reads 2 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 :nemesis :info :start "Cut off {:n4 #{:n3 :n2 :n5}, :n1 #{:n3 :n2 :n5}, :n3 #{:n4 :n1}, :n2 #{:n4 :n1}, :n5 #{:n4 :n1}}" 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 12 :invoke :read nil 11 :ok :read 4 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 11 :ok :read 4 12 :invoke :read nil 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 12 :invoke :read nil 11 :ok :read 4 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 12 :invoke :read nil 11 :ok :read 4 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 12 :invoke :read nil 11 :ok :read 4 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 12 :invoke :read nil 11 :ok :read 4 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 12 :invoke :read nil 11 :ok :read 4 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 12 :invoke :read nil 11 :ok :read 4 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 12 :invoke :read nil 11 :ok :read 4 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 10 :invoke :read nil 10 :ok :read 2 11 :invoke :read nil 12 :invoke :read nil 11 :ok :read 4 12 :ok :read 2 14 :invoke :read nil 14 :ok :read 2 13 :invoke :read nil 13 :ok :read 2 :nemesis :info :stop nil :nemesis :info :stop "fully connected" 18 :ok :write 0 17 :ok :cas [1 2] 15 :fail :cas [0 1] 19 :ok :write 1 16 :fail :cas [4 3] :nemesis :info :start nil :nemesis :info :start "Cut off {:n3 #{:n4 :n2 :n5}, :n1 #{:n4 :n2 :n5}, :n4 #{:n3 :n1}, :n2 #{:n3 :n1}, :n5 #{:n3 :n1}}" :nemesis :info :stop nil :nemesis :info :stop "fully connected" :nemesis :info :start nil :nemesis :info :start "Cut off {:n3 #{:n4 :n2 :n1}, :n5 #{:n4 :n2 :n1}, :n4 #{:n3 :n5}, :n2 #{:n3 :n5}, :n1 #{:n3 :n5}}" :nemesis :info :stop nil :nemesis :info :stop "fully connected"