store buffer에 값이 남아 있는 동안 다른 코어가 이전 값을 읽습니다. coherence 상태와 store buffer drain을 함께 설명하려면 무엇을 확인하나요?

store가 실행됐다는 것은 명령이 파이프라인에서 발행됐다는 뜻이지, 다른 코어가 즉시 그 값을 읽는다는 뜻은 아닙니다. 먼저 A store 발행 → A의 store buffer → 해당 line의 coherence 권한 획득/전파 → B의 load 관찰을 분리해서 그립니다. data와 flag가 다른 주소라면 두 line의 권한 상태와 전파 시점도 별개입니다. 한 line이 M이 되었다고 해서 A의 다른 주소 store가 같은 순서로 보인다는 보장은 없습니다.

예를 들어 A가 data=42; flag=1을 수행하고 B가 if (flag==1) read(data)를 실행한다고 하겠습니다. B가 flag의 1을 읽었는데 data에서 0을 허용하지 않으려면, 단순히 MESI 상태를 설명하는 것이 아니라 release store와 acquire load 또는 명시적 fence를 사용해 공개 관계를 만들어야 합니다. relaxed 원자는 각 위치의 원자성·수정 순서를 제공할 수 있지만, 두 위치의 message-passing 순서를 자동으로 제공하지 않습니다. 일반 비원자 data를 동시 접근하면 언어 수준 data race 여부를 먼저 판정해야 합니다.

검증 표에는 t0: data=0, flag=0, t1: A의 data store가 buffer에 있음, t2: flag store가 먼저 관찰될 수 있는지, t3: B가 flag=1 관찰, t4: acquire/fence 조건 아래 data=42 관찰을 적습니다. fence의 의미는 어느 앞뒤 연산의 재배치를 제한하는지와 결합해 읽어야 하며, fence 하나만 추가했다고 임의 구조체가 안전해지지 않습니다. 실제 이전 값 관찰이 나왔다면 coherence 고장, store buffer 지연, 잘못된 언어 memory order를 구분하기 위해 동일 CPU·스레드 배치·최적화 수준으로 반복하되, 한 번의 비재현이 보장을 뜻한다고 말하지 않습니다.