search

hengxin / ConsistencyChecking

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

Migrating Code: ClosureGraph Algorithm #8

Closed hengxin closed 11 years ago

hengxin commented 11 years ago

Rewriting code for ClosureGraph Algorithm

hengxin commented 11 years ago

To to list in order:

  1. Share ConsistencyModel Project (old edition of this ConsistencyChecking Project) with GitHub
  2. About OperationGraph
    • Migrate OperationGraph Checking Algorithm
    • Migrate ISchedule
    • Test OperationGraph vs. ReadIncChecker
hengxin commented 11 years ago

DONE List:

  1. "GitHub" ConsistencyModel project
  2. Migrate(implement and test) _OperationGraph Checking Algorithm
    • ClosureOperation
    • ClosureProcess
    • ClosureObservation
    • OperationGraphChecker

New TODO:

to refactor the class hierarchy

hengxin commented 11 years ago

DONE List:

  1. refactor the class hierarchy of Operation, Process, and Observation The resulting class hierarchy: model
hengxin commented 11 years ago

DONE List:

  1. ISchedule & WeakSchedule
  2. Joint test for both ClosureGraphChecker and ReadIncChecker