Verifying Cache Coherency Protocol in a Multiprocessor System

碩士 === 國立清華大學 === 資訊科學學系 === 81 === In a shared-memory multiprocessor system, cache coherency is a very important issue. A cache coherency protocol is used to maintain the consistency of data across all caches and the main memory. Its hardw...

Full description

Bibliographic Details
Main Authors: Liou, Ming-Feng, 劉明豐
Other Authors: Lin, Youn-Long
Format: Others
Language:en_US
Published: 1993
Online Access:http://ndltd.ncl.edu.tw/handle/95206744023584919752