Total Store 주문 및 x86 (-64)

Question

의 병합 쓰기 TSO (Total Store Order Consistency 모델)에 대해 배우고 컴퓨터 아키텍처 연구자가 Intel x86 (x86-64) 프로세서가이 일관성 모델을 구현한다고 생각합니다.

는 이이 86 (-64) 인텔 프로세서를 의미하지 않는다 (그리고 수 없습니다) 쓰기 병합을 수행 (그들은 TSO 구현 않는 것이,이 사실로 가정)? 그러나 Patterson과 Hennessy가 쓴 책에서 핵심 i7이 병합을 작성한다고 언급합니다.

내가이 질문을하는 이유는 쓰기 병합을 허용하면 잠재적으로 TSO (쓰기 - 쓰기)를 위반할 수 있기 때문입니다. 따라서 인텔 프로세서는 TSO를 구현할 수 없습니다.

여기에 관해서 내가 잘못하고있는 부분은 어디입니까?

Answer 1

쓰기 병합은 연속 저장을 위해 TSO를 위반하지 않으므로 (덜 제한적이지만 일반적인 메모리 순서 지정을 보장하지 않는 쓰기 결합 mem 유형에서 수행되는 쓰기 병합을 제외하고), 순서가 재 지정되지 않고 그냥 정렬되지 않습니다. 함께 그룹화.
또한 메모리 순서는 개별 요소 (매장 자체)와 관련이 있지만 병합은 외부 세계 (캐시와 메모리가 적음)에 대해서만 수행되므로 여기서 완전히 다른 HW 구조에 대해 설명합니다.

이 완료됩니다 결합하는 쓰기 방법에 대한 좋은 설명은 여기를 참조하십시오 - what is a store buffer?