Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2001.10c
  • /
  • Pages.40-42
  • /
  • 2001
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Formal Design and Verification of MESI Protocol Designed by ESTEREL

ESTEREL을 이용한 MESI프로토콜의 정형 설계 및 검증

  • Published : 2001.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

캐쉬 일관성 프로토콜의 하나인 MESI 프로토콜은 다중 프로세싱 환경에서 각각의 프로세서와 메모리 사이의 데이터 일관성을 유지하기 위해 캐쉬, 메모리 등의 통신 개체들을 조정하는 일종의 규칙들 중 하나이다. 프로세서의 수가 많아지고 시스템이 복잡해 질 경우 MESI 프로토콜을 정확하게 설계하고 그 동작을 분석하기는 매우 어렵다. 본 연구에서는 정형기법 도구인 ESTEREL을 이용하여 MESI 프로토콜을 설계하고 그 동작의 안정성을 검증하여, 시스템의 정확성과 안정성을 보장하는 방법에 대해 논한다.

Keywords