Dynamic Synchronization: A Synchronization Model through Behavioral Reflection
Publisher DOI
Abstract
In conventional software applications, synchronization code is typically interspersed with functional code, thereby impacting understandability and maintainability of the code base. At the same time, the synchronization defined statically in the code is not capable of adapting to different runtime situations. We propose a new approach to concurrency control which strictly separates the functional code from the synchronization requirements to be used and which adapts objects to be synchronized dynamically to their environment. First-class synchronization specifications express safety requirements, and a dynamic synchronization system dynamically adapts objects to different runtime situations. We present an overview of a prototype of our approach together with several classical concurrency problems, and we discuss open issues for further research.
Date Issued
2009
Publication Type
Conference Item
Language(s)
en
Additional Credits
Publisher
Association for Computing Machinery ACM
ISBN
978-1-60558-899-5
Access(Rights)
restricted