Memory Model

메모리 모델

이제까지 대부분의 소프트웨어 작성자들은 순차 유지적(sequential consistency) 메모리모델을 기본으로 생각하여 프로그램을 작성하였다. 그러나 이 모델은 쓰기버퍼, 명령어 재배치 등과 같은 하드웨어적인 성능증가뿐 아니가 소프트웨어적인 성능증가기법들을 사용하는 데 많은 제약으로 작용하였다. 따라서 대규모 성능이 우수한 프로그램 실행환경을 채택하고 있다. 이러한 유연한 메모리모델은 분류하기에 따라 매우 다양하지만 일반적으로 process consistency, weak consistency, release consistency 등을 예로 들 수 있다. 본 고에서는 가장 일반적이고 대표적인 메모리 모델인 sequential consistency에 대해 여러 예를 통해 살펴보고, 이제까지 제안되거나 분류된 여러 메모리 모델에 대해 살펴보고 결론을 맺는다.