Cache (For an Address)
Cache (For an Address)
INVALID
SHARED
EXCLUSIVE
inval
inval
inval
read_req &&
blk_ok
write_req &&
blk_ok
read_req &&
blk_ok
write_req &&
blk_ok
If block_address = address
&& block_state != INVALID
then HIT else MISS
block_address
block_val
block_state