Aspect based Reusable Synchronization Schemes

Authors: Nathar Shah

Abstract:

Concurrency and synchronization are becoming big issues as every new PC comes with multi-core processors. A major reason for Object-Oriented Programming originally was to enable easier reuse: encode your algorithm into a class and thoroughly debug it, then you can reuse the class again and again. However, when we get to concurrency and synchronization, this is often not possible. Thread-safety issues means that synchronization constructs need to be entangled into every class involved. We contributed a detailed literature review of issues and challenges in concurrent programming and present a methodology that uses the Aspect- Oriented paradigm to address this problem. Aspects will allow us to extract the synchronization concerns as schemes to be “weaved in" later into the main code. This allows the aspects to be separately tested and verified. Hence, the functional components can be weaved with reusable synchronization schemes that are robust and scalable.

Keywords: Aspect-orientation, development methodologysoftware concurrency, synchronization.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1075992

References:

[1] G. Brian, Java Concurrency in Practice, Addison-Wesley, 2006.
[2] AspectJ, http://www.eclipse.org/aspectj/
[3] David Holmes, James Noble, John Potter, "Aspects of Synchronization", Proceedings of the Technology of Object-Oriented Languages and Systems, IEEE Computer Society, pp 2, 1997
[4] Lopes C. V., "D: A Language Framework for Distributed Programming", Ph.D Thesis, College of Computer Science, Northeastern University, November 1997
[5] C.V. Lopez and K.J. Lieberherr., "Abstracting process-to-function relations in concurrent object-oriented applications", Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP), LNCS, 1994
[6] Mitchell S. E., "TAO - A Model for the Integration of Concurrency and Synchronization in Object Oriented Programming", Ph.D dissertation, Dept. of Computer Science, York University, UK, 1995
[4] L. Bergmans, "Composing Concurrent Objects", PhD Thesis, University of Twente, 1994
[7] L. Bergmans, "Composing Concurrent Objects", PhD Thesis, University of Twente, 1994