Modeling software transactional memory with AnyLogic

  • Authors:
  • Armin Heindl;Gilles Pokam

  • Affiliations:
  • University of Erlangen-Nuremberg, Erlangen, Germany;Intel Corporation, Santa Clara, CA

  • Venue:
  • Proceedings of the 2nd International Conference on Simulation Tools and Techniques
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

A flexible simulation model is presented to study different variants of software transactional memory (STM), like pessimistic STM or optimistic STM either with inplace memory updates or write buffering. The dynamic behavior of transactions is encoded in timed statecharts as provided by the simulation tool AnyLogic in its implementation of real-time UML. Their graphical representation helps to convey the key design issues of the simulation model within this publication. Statistically significant numeric results for varying parameters, like number of threads, number of transactional operations, number of transactional data objects, are obtained efficiently as part of a Parameter Variation Experiment.