Verify Sequential Consistency

Drag or click operations to reorder the global timeline.
Each thread's program order must be preserved. Goal: every Load reads the value of the most recent Store to that variable.

Thread 0 Thread 1 Thread 2