search

hengxin / ConsistencyChecking

PRAM consistency checking in the context of distributed shared memory systems
MIT License
4 stars 2 forks source link

Check: extreme case in checking algorithm #12

Open hengxin opened 11 years ago

hengxin commented 11 years ago

check the extreme cases in checking algorithm:

  1. the beginning of the process
  2. the dynamic update of predecessors and successors of BasicOperation, especially in checking procedure