|
QSpace at Queen's University >
Theses, Dissertations & Graduate Projects >
Queen's Theses & Dissertations >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1974/5690
|
| Title: | Using Discrete-Event Systems for the Automatic Generation of Concurrency Control for Dynamic Threads |
| Authors: | Auer, Anthony |
|
|
| Keywords: | software
discrete event systems
concurrency
modelling |
| Issue Date: | 2010 |
| Series/Report no.: | Canadian theses |
| 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 |
| URI: | http://hdl.handle.net/1974/5690 |
| Appears in Collections: | Queen's Theses & Dissertations
Computing Graduate Theses
|
Items in QSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
