Generation of concurrency control code using discrete-event systems theory

Christopher Dragert, Jürgen Dingel, Karen Rudie

Abstract

The development of controls for the execution of concurrent code is non-trivial. We show how existing discrete-event system (DES) theory can be successfully applied to this problem. From code without concurrency controls and a specification of desired behaviours, concurrency control code is generated. By applying rigorously proven DES theory, we guarantee that the control scheme is nonblocking (and thus free of both deadlock and livelock) and minimally restrictive. Some conflicts between specifications and source can be automatically resolved without introducing new specifications. Moreover, the approach is independent of specific programming or specification languages. Two examples using Java are presented to illustrate the approach. Additional applicable DES results are discussed as future work.

BibTeX

@inproceedings{Dragert-al:FSE08,
  author    = {Christopher Dragert and
               J{\"{u}}rgen Dingel and
               Karen Rudie},
  title     = {Generation of concurrency control code using discrete-event systems theory},
  booktitle = {FSE},
  pages     = {146--157},
  publisher = {{ACM}},
  year      = {2008},
}

Generation of concurrency control code using discrete-event systems theory

Abstract

Related papers