1. Initial State
Core 0
X = 10
Shared
↔
Both cores have the same value
Core 1
X = 10
Shared