Dynamic Synchronization: A Synchronization Model through Behavioral Reflection

Ressia, Jorge; Nierstrasz, Oscar (2009). Dynamic Synchronization: A Synchronization Model through Behavioral Reflection. In: Proceedings of International Workshop on Smalltalk Technologies (pp. 101-106). New York: Association for Computing Machinery ACM 10.1145/1735935.1735952

[img] Text
p101-ressia.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (230kB) | Request a copy

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.

Item Type:

Conference or Workshop Item (Paper)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF)
08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG) [discontinued]

UniBE Contributor:

Ressia, Jorge Luis, Nierstrasz, Oscar

ISBN:

978-1-60558-899-5

Publisher:

Association for Computing Machinery ACM

Language:

English

Submitter:

Factscience Import

Date Deposited:

04 Oct 2013 15:24

Last Modified:

02 Mar 2023 23:23

Publisher DOI:

10.1145/1735935.1735952

BORIS DOI:

10.7892/boris.37759

URI:

https://boris.unibe.ch/id/eprint/37759 (FactScience: 209623)

Actions (login required)

Edit item Edit item
Provide Feedback