Concurrency control generation for dynamic threads using discrete-event systems

6Citations
Citations of this article
17Readers
Mendeley users who have this article in their library.

Abstract

The application of Discrete-Event Systems (DES) theory to the problem of guaranteeably enforcing concurrency constraints in multithreaded applications has been studied under certain assumptions, namely, the assumption of a static pool of pre-existing instantiated threads, whose creation and termination are not modeled. This work presents an extension of this case to handle dynamically instantiated and terminated threads using a Petri net formalism and an online limited-lookahead state-space search technique. © 2013 Elsevier B.V. All rights reserved.

Cite

CITATION STYLE

APA

Auer, A., Dingel, J., & Rudie, K. (2014). Concurrency control generation for dynamic threads using discrete-event systems. In Science of Computer Programming (Vol. 82, pp. 22–43). https://doi.org/10.1016/j.scico.2013.01.007

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free