Mathematical modeling and simulation of an algorithm for optimistic concurrency control in centralized database systems

  • Authors:
  • Lieh-san Lin;James Calhoun

  • Affiliations:
  • Dept. of Computer Science, Western Illinois University, Macomb, IL;Dept. of Computer Science, Western Illinois University, Macomb, IL

  • Venue:
  • ANSS '88 Proceedings of the 21st annual symposium on Simulation
  • Year:
  • 1988

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents the analysis of an algorithm for optimistic concurrency control in centralized database systems. The effectiveness of optimistic concurrency control in a centralized database system depends on the probability of transaction conflict being low. When conflict does occur, it is resolved by aborting the older transaction and allowing resubmission. The concern here is to examine the probability that a transaction is able to avoid conflict and commit. Specifically, a set of probabilistic formulas which provide an analysis of this probability is examined. Furthermore, a report of two simulation studies, the design and implementation of a GPSS simulation and the design of a simulation for the IBM token-ring network, is given.