Untitled

{"case":"mesi_swmr_dirty_source","events":[{"op":"read_miss_memory","core":"C0","value":0,"new_state":"E","states":{"C0":"E","C1":"I","C2":"I"},"values":{"C0":0,"C1":null,"C2":null},"memory":0},{"op":"read_miss_shared_clean_source","core":"C1","source":"C0","value":0,"states":{"C0":"S","C1":"S","C2":"I"},"values":{"C0":0,"C1":0,"C2":null},"memory":0},{"op":"write_getm","core":"C0","value":7,"source":"C0","invalidation_acks":["C1"],"states":{"C0":"M","C1":"I","C2":"I"},"values":{"C0":7,"C1":null,"C2":null},"memory":0},{"op":"read_miss_shared_dirty_source","core":"C1","source":"C0","value":7,"states":{"C0":"S","C1":"S","C2":"I"},"values":{"C0":7,"C1":7,"C2":null},"memory":7},{"op":"write_getm","core":"C2","value":9,"source":"memory","invalidation_acks":["C0","C1"],"states":{"C0":"I","C1":"I","C2":"M"},"values":{"C0":null,"C1":null,"C2":9},"memory":7},{"op":"read_miss_shared_dirty_source","core":"C0","source":"C2","value":9,"states":{"C0":"S","C1":"I","C2":"S"},"values":{"C0":9,"C1":null,"C2":9},"memory":9}],"final":{"states":{"C0":"S","C1":"I","C2":"S"},"values":{"C0":9,"C1":null,"C2":9},"memory":9}}