message‑passing // two cores, one store buffer each

edge via release → acquire
step 0/8
CORE 0 producer
store buffer
— empty —
private L1
data 0SH
ready falseSH
interconnect · MESI
CORE 1 consumer
store buffer
— empty —
private L1
data 0SH
ready falseSH
program

    

    

      
what just happened

      
Two cores, both caches coherent and holding the initial values. Press Step to advance one micro-event at a time.

      
The producer will write a payload then raise a flag; the consumer spins on the flag then reads the payload.

      ⚡ synchronizes-with edge formed
    

  


  

    ○
    
Outcome pending — run to the end.

  


  

    core 0 / producer
    core 1 / consumer
    synchronizes-with
    fresh / committed
    stale read