서지주요정보
캐쉬 일관성 프로토콜의 검증 및 계층적 구현 = Verification and a layered implementation of cache coherence protocols
서명 / 저자 캐쉬 일관성 프로토콜의 검증 및 계층적 구현 = Verification and a layered implementation of cache coherence protocols / 박철호.
발행사항 [대전 : 한국과학기술원, 1997].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8007760

소장위치/청구기호

학술문화관(문화관) 보존서고

MEE 97049

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

리뷰정보

초록정보

Parallel computers are promising approaches for solving large scale time-consuming problems. Among them, distributed shared memory multiprocessors have good performance and easy programmability. In distributed shared memory multiprocessors, caches are used to reduce remote memory access latency. However, cache incoherences occur with multiple copies. There are two kinds of solutions for this: snooping protocols and directory-based protocols. Directory-based protocols have better scalability than snooping protocols. Unfortunately, there are many directory-based protocols but there does not exist the best one for all cases. For that reason, it is a good idea that the system supports several protocols among which users select ones depending on the cases. However, a directory-based protocol is too complex to implement in hardware even in its simple form. Moreover, the complexity increases very rapidly with small extensions to the simple form. In this thesis, a modular and layered design method for the directory-based protocols is suggested. This method makes it easy and fast to develop not only one protocol but also several various protocols simultaneously. Four protocols are implemented on PRISM(Portable and Reconfigurable Interface for Shared Memory) with layered design. In the course of the implementation, it is confirmed that design time, design difficulty, and debugging efforts are reduced with small burden of the modular design. In this thesis, deadlock problems and the semantics of the protocols are considered, too.

서지기타정보

서지기타정보
청구기호 {MEE 97049
형태사항 vi, 57 p. : 삽화 ; 26 cm
언어 한국어
일반주기 저자명의 영문표기 : Cheol-Ho Park
지도교수의 한글표기 : 박규호
지도교수의 영문표기 : Kyu-Ho Park
학위논문 학위논문(석사) - 한국과학기술원 : 전기및전자공학과,
서지주기 참고문헌 : p. 55-57
QR CODE qr code