Context Navigation

README @ 15

Last change on this file since 15 was 11, checked in by cecile, 13 years ago
Add vis
File size: 496 bytes

Rev	Line
[11]	1	Here is a list of properties to check:
	2	1) Liveness: If a processor requests a read then it will eventually be
	3	serviced.
	4
	5	2) Safety: If a cache has exclusive access to a block, then the other cache
	6	has no access to that block
	7
	8	3) Safety: If the block is in state SHARED in the cache controller, its corresponding
	9	bit is set in the Rlist of the directory.
	10
	11	4) Safety: If the block is in state EXCLUSIVE in the cache controller, its corresponding
	12	bit is set in the Wlist of the directory
	13
	14
	15
	16

Note: See TracBrowser for help on using the repository browser.