Evaluating correctness criteria for transactions

  • Authors:
  • D. E. Langworthy

  • Affiliations:
  • Brown Univ., Providence, RI

  • Venue:
  • OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
  • Year:
  • 1988

Quantified Score

Hi-index 0.00

Visualization

Abstract

We propose a metric to evaluate correctness criteria for transactions which measures the number of conflicts between transactions and the amount of concurrency a criterion allows. This metric is then used to evaluate several correctness criteria.