MESI 프로토콜

Modified 상태는 MESI 프로토콜에서 정의하는 네 가지 캐시 일관성 상태 중 하나이다. 이 상태는 해당 캐시 메모리 라인이 주기억장치의 내용과 다르게 수정되었음을 나타낸다. 즉, 해당 프로세서가 데이터를 최근에 썼고, 그 변경 사항이 아직 메인 메모리에 반영되지 않은 '더티(dirty)' 상태이다.

이 상태의 핵심 특징은 해당 캐시가 시스템 내에서 이 데이터의 유일한 최신 복사본을 보유하고 있다는 점이다. 다른 모든 프로세서의 캐시에 있는 동일한 메모리 주소의 데이터는 Invalid 상태로 무효화된다. 따라서 Modified 상태의 데이터는 쓰기 작업을 수행한 프로세서에게 배타적인 소유권을 부여한다.

이 상태는 캐시 라인이 다른 프로세서에 의해 요청될 때 중요한 동작을 유발한다. 다른 프로세서가 해당 데이터를 읽거나 쓰려고 하면, Modified 상태를 가진 캐시는 그 데이터를 주기억장치나 요청한 프로세서로 '쓰기백(writeback)'해야 한다. 이 과정을 통해 데이터의 최신 버전이 공유되며, 원래 캐시의 상태는 Shared 또는 Invalid로 변경된다.

Modified 상태는 MSI 프로토콜의 M 상태와 유사하지만, MESI 프로토콜은 Exclusive 상태를 추가로 도입하여 불필요한 쓰기백을 줄이는 최적화를 이루었다. 이 상태는 멀티프로세서 시스템에서 캐시 간 데이터 일관성을 유지하는 데 필수적인 역할을 한다.

Exclusive 상태는 MESI 프로토콜에서 정의된 네 가지 캐시 일관성 상태 중 하나이다. 이 상태는 해당 캐시 라인에 저장된 데이터가 현재 프로세서의 캐시 메모리에만 존재하며, 그 내용이 주기억장치(메인 메모리)의 내용과 완전히 동일함을 나타낸다. 즉, 시스템 내 다른 모든 프로세서의 캐시에는 이 데이터의 복사본이 존재하지 않는 유일한 복사본 상태이다.

이 상태의 핵심 의미는 데이터에 대한 배타적 소유권이다. 캐시가 특정 데이터를 Exclusive 상태로 보유하고 있다면, 해당 프로세서는 데이터를 읽을 때 추가적인 버스 트랜잭션 없이 캐시에서 즉시 접근할 수 있으며, 향후 이 데이터를 수정(쓰기)할 때도 다른 캐시와의 조정 없이 로컬에서 바로 수행할 수 있다. 이는 캐시 미스나 캐시 일관성 프로토콜 오버헤드를 줄여 성능을 향상시킨다.

Exclusive 상태는 일반적으로 프로세서가 주기억장치로부터 데이터를 읽어올 때 발생한다. 이때 메모리 버스를 모니터링하는 스누프 프로토콜을 통해 다른 프로세서의 캐시에 동일한 데이터가 없는 것이 확인되면, 해당 데이터는 Exclusive 상태로 캐시에 적재된다. 만약 다른 프로세서가 동일한 데이터를 읽기 요청하면, 원래 보유하고 있던 프로세서의 캐시 라인 상태는 Exclusive에서 Shared 상태로 변경된다.

이 상태는 MSI 프로토콜에는 존재하지 않는, MESI 프로토콜의 특징적인 상태로, 데이터가 아직 수정되지 않은 청결한 상태이면서도 배타적으로 소유되고 있음을 명시적으로 표시한다. 이를 통해 향후 쓰기 동작이 발생할 경우, 상태가 Modified 상태로 전이되기는 하지만, 다른 캐시에 복사본이 없었음을 이미 알고 있으므로 무효화 통지 등의 불필요한 버스 트래픽을 사전에 제거할 수 있다.

Shared 상태는 데이터가 두 개 이상의 프로세서의 캐시 메모리에 동시에 적재되어 있는 상태를 의미한다. 이 상태에서는 해당 데이터가 읽기 전용으로 공유되고 있으며, 주기억장치의 내용과 일치한다. 즉, 캐시 라인이 최신 데이터를 가지고 있지만, 다른 캐시에도 동일한 데이터의 복사본이 존재한다는 것을 나타낸다.

이 상태의 핵심 특징은 데이터의 일관성이 유지된다는 점이다. 하나의 프로세서가 해당 데이터를 읽기 위해 캐시를 참조할 때, 다른 프로세서의 캐시에도 같은 데이터가 존재할 수 있으며, 이 경우 모든 캐시는 데이터를 Shared 상태로 유지한다. 이는 불필요한 메모리 접근을 줄여 시스템 효율을 높이는 역할을 한다.

Shared 상태의 캐시 라인에 쓰기 연산을 수행하려고 하면, 해당 라인은 먼저 Modified 상태로 전이되어야 한다. 이 과정에서 캐시 일관성 프로토콜은 다른 모든 프로세서의 캐시에 있는 동일한 데이터의 복사본을 Invalid 상태로 만들도록 버스 상에 무효화 신호를 보낸다. 이를 통해 데이터의 단일성을 확보한 후에만 쓰기 작업이 허용된다.

따라서 Shared 상태는 멀티프로세서 시스템에서 여러 캐시가 동일한 읽기 전용 데이터를 효율적으로 공유할 수 있게 하며, MESI 프로토콜이 캐시 간 일관성을 유지하는 데 있어 중요한 기본 상태 중 하나로 작동한다.

Invalid 상태는 MESI 프로토콜에서 정의하는 네 가지 캐시 일관성 상태 중 하나이다. 이 상태는 해당 캐시 라인에 저장된 데이터가 최신이 아니며, 사용할 수 없음을 나타낸다. 즉, 다른 프로세서의 캐시 메모리에서 동일한 메모리 주소의 데이터가 수정되었거나, 아직 유효한 데이터가 로드되지 않은 경우에 해당된다.

이 상태는 캐시 일관성을 유지하는 핵심 메커니즘으로 작동한다. 한 프로세서가 특정 데이터를 수정하면, 다른 모든 프로세서의 캐시에 있는 해당 데이터의 복사본은 Invalid 상태로 전이되어 무효화된다. 이렇게 함으로써 시스템은 오래된 데이터를 읽는 것을 방지하고, 데이터의 정확성을 보장한다. Invalid 상태는 MSI 프로토콜에서도 동일한 개념으로 존재하는 기본적인 상태이다.

프로세서가 Invalid 상태의 캐시 라인에 접근하려고 하면, 이는 캐시 미스로 처리된다. 프로세서는 최신 데이터를 얻기 위해 메인 메모리나 다른 프로세서의 캐시로부터 데이터를 가져와야 하며, 이 과정에서 해당 캐시 라인의 상태는 필요한 조건에 따라 Exclusive, Shared 또는 Modified 상태로 바뀐다. 따라서 Invalid 상태는 데이터 무효화 신호를 수신하거나 초기화될 때 주로 할당된다.

캐시 읽기 동작은 프로세서가 특정 메모리 주소의 데이터를 읽으려 할 때 발생하며, 이때 해당 데이터가 캐시 메모리에 존재하는지, 그리고 어떤 MESI 프로토콜 상태를 가지고 있는지에 따라 시스템의 동작이 결정된다. 요청된 데이터가 로컬 캐시에 존재하지 않으면 캐시 미스가 발생하여, 메인 메모리나 다른 프로세서의 캐시로부터 데이터를 가져와야 한다.

읽기 요청을 처리할 때, 데이터의 현재 상태에 따라 다음과 같은 동작이 이루어진다. 데이터가 Invalid (무효) 상태라면 이는 유효하지 않은 복사본이므로, 캐시 미스로 처리되어 최신 데이터를 확보해야 한다. 데이터가 Shared (공유) 상태나 Exclusive (배타적) 상태라면 이는 유효한 복사본이므로 캐시 히트가 되어 프로세서는 캐시에서 직접 데이터를 읽을 수 있다. 데이터가 Modified (수정됨) 상태라면 이는 메인 메모리보다 최신인 수정된 데이터를 가지고 있음을 의미하며, 이 경우에도 캐시 히트가 발생하여 프로세서는 해당 최신 데이터를 읽는다.

캐시 미스가 발생하면, 프로세서는 시스템 버스를 통해 다른 모든 프로세서에게 읽기 요청을 브로드캐스트한다. 이때 다른 프로세서의 캐시에 요청된 데이터가 Modified 상태로 존재한다면, 해당 프로세서는 데이터를 메인 메모리에 쓰고(Write-back), 요청한 프로세서에게 데이터를 전송한다. 데이터가 다른 프로세서의 캐시에 Shared 상태로 존재하거나 어느 캐시에도 존재하지 않는다면, 데이터는 메인 메모리에서 가져온다. 데이터를 획득한 후, 두 개 이상의 캐시가 데이터를 가지게 되면 그 상태는 Shared가 되며, 오직 하나의 캐시만 데이터를 가지면 Exclusive 상태가 된다. 이 과정을 통해 캐시 일관성이 유지된다.

캐시 쓰기 동작은 프로세서가 자신의 캐시 메모리에 저장된 데이터를 갱신할 때 발생한다. 이때 다른 프로세서의 캐시에 동일한 메모리 주소의 데이터가 존재할 수 있으므로, 캐시 일관성을 유지하기 위해 MESI 프로토콜은 특정한 규칙에 따라 동작한다.

쓰기 요청이 발생하면, 프로세서는 먼저 해당 캐시 라인의 현재 상태를 확인한다. 캐시 라인이 Modified 상태나 Exclusive 상태라면, 이는 해당 프로세서가 유일한 데이터 소유자임을 의미한다. 따라서 프로세서는 캐시 내 데이터를 자유롭게 수정할 수 있으며, 상태는 Modified로 유지된다. 이 경우 다른 캐시나 주기억장치에 대한 통보는 필요하지 않다.

반면, 캐시 라인이 Shared 상태라면, 다른 프로세서의 캐시에도 동일 데이터의 복사본이 존재한다는 뜻이다. 이때 프로세서는 데이터를 쓰기 전에 다른 모든 프로세서의 캐시에 해당 라인이 무효화되어야 함을 알리는 무효화 신호를 브로드캐스트한다. 이 신호를 받은 다른 프로세서들은 자신의 캐시에서 해당 라인을 Invalid 상태로 변경해야 한다. 무효화 작업이 완료된 후, 쓰기를 수행한 프로세서의 캐시 라인 상태는 Modified로 바뀐다.

만약 쓰기 요청을 받은 캐시 라인이 이미 Invalid 상태라면, 이는 필요한 데이터가 캐시에 없거나 오래된 경우이다. 이때 프로세서는 먼저 캐시 읽기 동작과 유사하게 데이터를 가져온다. 그러나 쓰기 목적이므로, 일반적으로 다른 캐시에 복사본이 없도록 배타적 권한을 확보하는 과정을 거친다. 이 과정에서 캐시 미스가 발생하며, 데이터를 획득한 후에는 곧바로 쓰기 연산을 수행하고 캐시 라인 상태를 Modified로 설정한다.

상태 전이는 캐시 메모리의 각 캐시 라인이 다른 프로세서의 요청이나 자신의 접근에 따라 네 가지 상태(M, E, S, I) 사이를 이동하는 과정을 말한다. 이 전이는 캐시 일관성을 유지하기 위한 핵심 메커니즘으로, 각 상태 변화는 특정 버스 트랜잭션의 발생과 연동된다. 예를 들어, Invalid 상태의 캐시 라인을 읽으려고 할 때, 다른 캐시에 유효한 복사본이 있는지 버스를 통해 조사하는 스누프 동작이 수행된다.

캐시 라인의 상태는 주로 로컬 프로세서의 읽기/쓰기 요청과 원격 프로세서(다른 코어)의 버스 트랜잭션에 의해 결정된다. 로컬 읽기 요청 시, 데이터가 자신의 캐시에 없으면 버스에서 읽기 트랜잭션을 발생시키고, 이때 다른 캐시의 응답에 따라 상태가 Shared 또는 Exclusive로 설정된다. 로컬 쓰기 요청 시, 현재 상태가 Shared라면 다른 모든 캐시의 해당 데이터를 Invalid로 만들기 위한 무효화 트랜잭션을 버스에 알린 후 상태를 Modified로 변경한다.

반면, 원격 프로세서의 버스 활동을 감지했을 때도 상태 전이가 발생한다. 다른 프로세서가 데이터를 읽으려고 버스 트랜잭션을 발생시키면, 자신이 가진 해당 데이터의 상태가 Modified였다면 주기억장치에 먼저 데이터를 쓰고 자신의 상태를 Shared로 낮춘다. 다른 프로세서가 쓰기 트랜잭션(무효화 요청)을 발생시키면, 자신이 가진 해당 데이터의 상태가 Shared나 Exclusive였다면 자신의 캐시 라인을 Invalid로 변경하여 오래된 데이터를 사용하지 않도록 한다.

이러한 상태 전이 규칙은 멀티프로세서 시스템에서 모든 캐시가 동일한 메모리 위치에 대한 일관된 뷰를 유지하도록 보장한다. 각 상태와 전이 조건은 정확히 정의되어 있어, 하드웨어가 효율적으로 캐시 일관성 문제를 해결할 수 있는 기반을 제공한다.

MSI 프로토콜은 MESI 프로토콜의 기본이 되는 캐시 일관성 프로토콜이다. 이름은 데이터 블록이 가질 수 있는 세 가지 상태, 즉 Modified, Shared, Invalid의 첫 글자를 따서 명명되었다. 이 프로토콜은 멀티프로세서 시스템에서 각 프로세서의 캐시 메모리에 저장된 동일한 메모리 주소의 데이터 복사본이 서로 일치하도록 보장하는 역할을 한다.

MESI 프로토콜과 비교할 때, MSI 프로토콜은 Exclusive 상태가 없다는 점이 가장 큰 차이점이다. 따라서 캐시에 데이터가 로드되고 다른 어떤 캐시에도 해당 데이터가 없는 경우, MSI 프로토콜에서는 이를 Shared 상태로 표시한다. 이는 데이터가 실제로는 하나의 캐시에만 존재함에도 불구하고 공유 상태로 간주된다는 것을 의미하며, 이로 인해 불필요한 캐시 일관성 통신 오버헤드가 발생할 수 있다.

MSI 프로토콜의 동작은 상태 전이를 통해 이루어진다. 예를 들어, 한 프로세서가 Shared 상태의 데이터를 수정(쓰기)하려고 하면, 먼저 다른 모든 캐시에 있는 해당 데이터 복사본을 Invalid 상태로 만들기 위한 무효화 신호를 버스를 통해 브로드캐스트해야 한다. 이 과정을 거친 후에야 해당 캐시 라인의 상태를 Modified로 변경하고 쓰기 작업을 수행할 수 있다. 이처럼 MSI 프로토콜은 비교적 간단한 설계로 캐시 일관성 문제를 해결하지만, MESI나 MOESI 프로토콜과 같은 더 발전된 프로토콜에 비해 효율성 면에서 제한적이다.

MOESI 프로토콜은 MESI 프로토콜을 확장한 캐시 일관성 프로토콜이다. MESI의 네 가지 상태(Modified, Exclusive, Shared, Invalid)에 'Owned' 상태를 추가하여 총 다섯 가지 상태를 관리한다. 이는 특히 멀티프로세서 시스템에서 캐시 간 데이터 공유 효율성을 높이기 위해 설계되었다.

'Owned' 상태는 데이터가 여러 캐시 메모리에 공유되어 있지만, 오직 하나의 캐시만이 수정된 데이터의 소유권을 가지며, 다른 캐시나 주기억장치에 대한 쓰기 책임을 지는 상태를 의미한다. 이 상태는 공유 버스를 통한 불필요한 메모리 쓰기 동작을 줄여 시스템 성능을 향상시키는 데 기여한다. MOESI 프로토콜은 AMD의 프로세서를 비롯한 여러 현대 CPU 아키텍처에서 채택되고 있다.

MOESI 프로토콜의 동작은 기본적으로 MESI와 유사하지만, 'Owned' 상태의 존재로 인해 상태 전이 경로가 더 복잡해진다. 예를 들어, 한 캐시가 Modified 상태의 데이터를 다른 캐시의 읽기 요청에 응답할 때, 데이터를 제공한 캐시는 Modified 상태에서 Owned 상태로 전이할 수 있다. 이렇게 하면 데이터 제공자는 여전히 최신 데이터의 소유자 역할을 유지하면서도, 데이터를 받은 캐시는 Shared 상태가 되어 일관성을 유지할 수 있다.

이 프로토콜은 MSI 프로토콜이나 기본적인 MESI 프로토콜에 비해 캐시 간 데이터 이동과 메모리 접근을 최적화할 수 있다는 장점이 있다. 그러나 상태 관리의 복잡성으로 인해 하드웨어 구현 비용이 증가할 수 있다는 단점도 존재한다. MOESI는 캐시 일관성 문제를 해결하는 주요 방법 중 하나로, 고성능 병렬 컴퓨팅 시스템의 설계에 중요한 요소이다.