search

hengxin / ConsistencyChecking

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

Field WritePool: Where to place? #14

Closed hengxin closed 11 years ago

hengxin commented 11 years ago

Problem:

WritePool contains all the distinct WRITE operations in a BasicObservation (including both ReadIncObservation and ClosureObservation).

Solution:

Put WritePool in the super class BasicObservation

Flaw:

BasicProcess will use the field, without reference to BasicObservation; To overcome this, BasicProcess holds a reference to BasicObservation.

Possible improvement:

BasicObservation as a parameter of method instead of field of instance.

hengxin commented 11 years ago

To Check:

Check the whole "pipeline" of construct BasicObservation and its subclass including ClosureObservation and ReadIncObservation.

hengxin commented 11 years ago

DONE List and Decision:

  1. remove reference to BasicObservation in BasicProcess
  2. simplify the constructor of BasicProcess
  3. BasicObservation as a parameter of establishWritetoOrder() method