• Doron Roberts-Kedes's avatar
    DeterministicSchedule: Introduce BufferedAtomic · 140f6df7
    Doron Roberts-Kedes authored
    Summary:
    Mimic the atomic history buffers in relacy. This diff allows older values for atomics to be returned as long as the memory model is respected. Enforce the memory model with vector clocks (ThreadTimestamps).
    
    Depends on D10418223
    
    Reviewed By: djwatson
    
    Differential Revision: D10418450
    
    fbshipit-source-id: 0556259e96d512030ff9924bbd5aa0f79a38dfff
    140f6df7
BufferedAtomic.h 12 KB