Concurrency control generation for dynamic threads using Discrete-Event Systems

Discrete-event systems (DES) theory has been successfully applied to the problem of enforcing concurrency constraints in multi-threaded applications, with concomitant guarantees regarding aggregate behaviour. Existing approaches applying DES to multi-threaded code focus on control of pre-existing, statically instantiated threads, whose creation and termination are not modelled. An extension of this case to handle dynamically instantiated and terminated threads is proposed, which makes use of elements of dynamic DES theory to model threads whose lifetimes can be arbitrary. Process and principles are outlined, and a prototype provided.