Using Discrete-Event Systems for the Automatic Generation of Concurrency Control for Dynamic Threads
Loading...
Files
Authors
Auer, Anthony
Date
2010-05-28T18:35:51Z
Type
thesis
Language
eng
Keyword
software , discrete event systems , concurrency , modelling
Alternative Title
Abstract
The application of Discrete-Event Systems (DES) theory to the problem of guar- anteeably enforcing concurrency constraints in multi-threaded 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 modelled. This work proposes an extension of this case to handle dynamically instantiated and termi- nated threads using a Petri net formalism and an online limited-lookahead state-space search technique.
Description
Thesis (Master, Computing) -- Queen's University, 2010-05-27 17:00:15.99
Citation
Publisher
License
This publication is made available by the authority of the copyright owner solely for the purpose of private study and research and may not be copied or reproduced except as permitted by the copyright laws without written authority from the copyright owner.