Design and Verification of Adaptive Cache Coherence Protocols ...
Design and Verification of Adaptive Cache Coherence Protocols ...
Design and Verification of Adaptive Cache Coherence Protocols ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Composite M<strong>and</strong>atory Processor Rules<br />
Instruction Cstate Action Next Cstate<br />
Commit(a) Cell(a,v,Dirtyw) stall, hWbw,a,vi!H Cell(a,v,WbPending) CP1<br />
Composite Voluntary C-engine Rules<br />
Cstate Action Next Cstate<br />
Cell(a,v,Dirtyw) hWbw,a,vi!H Cell(a,v,WbPending) CVC1<br />
Cell(a,v,Cleanm) hDownmb,ai!H Cell(a,v,Cleanb) CVC2<br />
Cell(a,v,Dirtym) hDownVmb,a,vi!H Cell(a,v,Cleanb) CVC3<br />
Composite M<strong>and</strong>atory C-engine Rules<br />
h<strong>Cache</strong>m,a,vi Cell(a,-,Cleanb) Cell(a,v,Cleanm) CMC1<br />
Cell(a,v1,Dirtyb) Cell(a,v1,Dirtym) CMC2<br />
Cell(a,v1,WbPending) Cell(a,v1,WbPending) CMC3<br />
Cell(a,-,<strong>Cache</strong>Pending) Cell(a,v,Cleanm) CMC4<br />
a =2 cache Cell(a,v,Cleanm) CMC5<br />
hWbAckm,ai Cell(a,v,WbPending) Cell(a,v,Cleanm) CMC6<br />
hDownReqmb,ai Cell(a,v,Cleanb) Cell(a,v,Cleanb) CMC7<br />
Cell(a,v,Dirtyb) Cell(a,v,Dirtyb) CMC8<br />
Cell(a,v,Cleanw) hDownwb,ai!H Cell(a,v,Cleanb) CMC9<br />
Cell(a,v,Dirtyw) hDownwb,ai!H Cell(a,v,Dirtyb) CMC10<br />
Cell(a,v,Cleanm) hDownmb,ai!H Cell(a,v,Cleanb) CMC11<br />
Cell(a,v,Dirtym) hDownVmb,a,vi!H Cell(a,v,Cleanb) CMC12<br />
Cell(a,v,WbPending) Cell(a,v,WbPending) CMC13<br />
Cell(a,-,<strong>Cache</strong>Pending) Cell(a,-,<strong>Cache</strong>Pending) CMC14<br />
a =2 cache a =2 cache CMC15<br />
Composite Voluntary M-engine Rules<br />
Mstate Action Next Mstate<br />
Cell(a,v,Cw[ ]) h<strong>Cache</strong>m,a,vi!id Cell(a,v,Cm[id ]) CVM1<br />
Cell(a,v,Cm[id ]) hDownReqmb,ai!id Cell(a,v,Tm[id , ]) CVM2<br />
Composite M<strong>and</strong>atory M-engine Rules<br />
hWbw,a,vi Cell(a,v1,Cw[id jdir]) hDownReqwb,ai!dir Cell(a,v1,Tw[dir,(id ,v)]) CMM1<br />
Cell(a,v1,Tw[id jdir,sm]) Cell(a,v1,Tw[dir,(id ,v)jsm]) CMM2<br />
Cell(a,v1,Cm[id ]) Cell(a,v1,Tw[ ,(id ,v)]) CMM3<br />
Cell(a,v1,T 0 m[id ]) Cell(a,v1,Tw[ ,(id ,v)]) CMM4<br />
Cell(a,v1,Tm[id ,sm]) Cell(a,v1,Tw[ ,(id ,v)jsm]) CMM5<br />
hDownmb,ai Cell(a,v,Cm[id ]) Cell(a,v,Cw[ ]) CMM6<br />
Cell(a,v,T 0 m[id ]) Cell(a,v,Cw[ ]) CMM7<br />
Cell(a,v,Tm[id ,sm]) Cell(a,v,Tw[ ,sm]) CMM8<br />
hDownVmb,a,vi Cell(a,-,Cm[id ]) Cell(a,v,Cw[ ]) CMM9<br />
Cell(a,-,T 0 m[id ]) Cell(a,v,Cw[ ]) CMM10<br />
Cell(a,-,Tm[id ,sm]) Cell(a,v,Tw[ ,sm]) CMM11<br />
Cell(a,-,Tw[ ,(id ,v)]) hWbAckm,ai!id Cell(a,v,Cm[id ]) CMM12<br />
Figure 7.17: Composite Rules <strong>of</strong> <strong>Cache</strong>t<br />
157