DYNAMIC SOFTWARE SCHEMES Conditional invalidation

Conditional invalidation

(“Balkan Schemes”)

• Tartalja, Milutinovic, 1992, Univ. of Belgrade

• Consistency is maintained at the entry to the CR

• Test to avoid unnecessary invalidations

• Three schemes - different restrictiveness

• Third scheme - Version Verification

• Shared segment table contains version info

  • shared recourse

• Private version info