7
Alfrânio Correia
Simpósio Doutoral do DI, 2005
Divergence Control mechanism
Locks can be granted if neither the imported nor the
exported inconsistencies are exceeded.
Imported inconsistency is local to each Q while
inconsistency exported by U is a sum of the imported
Divergence can assume various forms: absolute values,
aging, # of uncommited transactions, # of conflicts, etc.
Revisiting ESR to improve the DBSM
Epsilon Serializability
Granted Locks
Wanted
Locks