Queen's University - Utility Bar

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

Files in This Item:

File Description SizeFormat
Thesis.pdf1.6 MBAdobe PDFView/Open
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:Computing Graduate Theses
Queen's Theses & Dissertations

Items in QSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

  DSpace Software Copyright © 2002-2008  The DSpace Foundation - TOP