research-article

Aspect-oriented support for synchronization in parallel computing

Authors:

Bruno Harbulot,

John R. GurdAuthors Info & Claims

PLATE '09: Proceedings of the 1st workshop on Linking aspect technology and evolution

Pages 1 - 5

https://doi.org/10.1145/1509847.1509848

Published: 03 March 2009 Publication History

Abstract

Presents case studies for, and implementations of, synchronized block join points that together augment the capabilities of join points for synchronized methods in intercepting and modifying synchronization actions in distributed, Java-based, aspect oriented software. The models are applicable in any aspect oriented environment, but emphasis is placed on compatibility with AspectJ.

The power of such a join point is first illustrated by analysing some case studies. While some such examples can be handled using aspects that intercept synchronized method calls, a fully general scheme is shown to need with Java synchronized blocks. The approach for recognising the synchronized block uses context exposure to provide full control of the thread behaviour when many threads compete to be executed. The proposed join point model is enhanced with a mechanism for removal of unnecessary synchronization, which is vital for reducing overheads associated with the lock. There is also a facility for re-introducing necessary synchronization that has previously been removed.

References

[1]

A. Adl-Tabatabai, C. Kozyrakis and B. Saha. Unlocking Concurrency: Multicore programming with transactional memory. Queue, v.4 n.10, p.24--33, 2007.

Digital Library

[2]

D. Alhadidi, N. Belblidia, and M. Debbabi. AspectJ assessment from a security perspective. In PTITS '06: Proceedings of the 2006 Workshop on Practice and Theory of IT Security, p.27--32, 2006.

[3]

P. Avgustinov, A. S. Christensen, and L. Hendren abc: An extensible AspectJ compiler. In AOSD '05: Proceedings of the 4th international conference on Aspect-Oriented Software Development, p.117--128, March 2005. ACM Press.

Digital Library

[4]

E. Bodden and K. Havelund. Racer: effective race detection using aspectj. InISSTA '08: Proceedings of the 2008 international Symposium on Software Testing and Analysis, p.155--165, Seattle, WA, July 20-24 2008, New York, NY, USA.

Digital Library

[5]

J. Boner and E. Kuleshov. Clustering the Java Virtual Machine using Aspect-Oriented Programming. In AOSD '07: Industry Track of the 6th international conference on Aspect-Oriented Software Development, March 2007.ACM Press.

[6]

N. Cacho, F. C. Fiho, A. Garcia and E. Figueiredo EJFlow: Taming Exceptional Control Flows in Aspect-Oriented Programming. In AOSD '08: Proceedings of the 7th international conference on Aspect-oriented software development, Brussels, Belgium, April 2008.

Digital Library

[7]

S. Copty and S. Ur Multi-threaded Testing with AOP Is Easy, and It Finds Bugs! In Euro-Par '05: Proceedings of the 11th International EuroPar Conference, pages 740--749. LNCS, 2005.

Digital Library

[8]

B. D. Carlstrom, J. Chung, and H. Chafi. Executing java programs with transactional memory. Science of Computer Programming, v.63 n.10,p.111--129. 2006. Elsevier North-Holland.

Digital Library

[9]

M. E. Delamaro Using Instrumentation to Reproduce the Execution of Java Concurrent Programs In SBQS '04: Anais do Simpsio Brasileiro de Qualidade de Software Brazil, 2004.

[10]

O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby and S. Ur. Multithreaded Java program test generation. IBMSystems Journal, vol. 41, no. 1, p.111--125, 2002.

Digital Library

[11]

B. Harbulot and J. R. Gurd. A join point for loops in AspectJ. In AOSD '06: Proceedings of the 5th international conference on Aspect-oriented software development, p.63--74, March 2006. ACM Press.

Digital Library

[12]

C. Kaewkasi and J. R. Gurd. A Distributed Dynamic Aspect Machine for Scientific Software Development. In VMIL '07: Proceedings of the 2007 Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms, p.13--16, March 2007. ACM Press.

Digital Library

[13]

G. Kiczales, J. Lamping, and A. Mendhekar. Aspect-Oriented Programming. In ECOOP '05: European Con I. on Object-Oriented Programming, p.220--242, 2005. Springer Verlag.

[14]

J. R. Larus and R. Rajwar. Transactional Memory. Morgan & Claypool, 2006.

[15]

G.McGraw and E.W. Felten. Securing Java: getting down to business with mobile code. John Wiley & Sons, 1999.

Digital Library

[16]

L. Stepanian, A. D. Brown, A. Kielstra, G. Koblents, and K. Stoodley. Inlining Java Native calls at runtime. In VEE '05: Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, p.121--131, New York, USA, 2005. ACM Press.

Digital Library

[17]

I. Watson, C. Kirkhan and M. Lujan. A Study of a Transactional Parallel Routing Algorithm. In PACT '07: Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, p.388--398, 2007. IEEE Computer Society Press.

Digital Library

[18]

A. D.Wood and J. A. Stankovic. Denial of service in sensor networks. IEEE Computer, v.35 n.10, p.54--62, 2002. IEEE Computer Society Press.

Digital Library

Cited By

Cunha CPombo N(2023)Automated Reusable Tests for Mitigating Secure Pattern Interpretation ErrorsIEEE Access10.1109/ACCESS.2023.3279823(1-1)Online publication date: 2023
https://doi.org/10.1109/ACCESS.2023.3279823
Hohenstein UGleim UBorba PChiba S(2011)Using aspect-orientation to simplify concurrent programmingProceedings of the tenth international conference on Aspect-oriented software development companion10.1145/1960314.1960324(29-40)Online publication date: 21-Mar-2011
https://dl.acm.org/doi/10.1145/1960314.1960324
Bodden EBorba PChiba S(2011)Closure joinpointsProceedings of the tenth international conference on Aspect-oriented software development10.1145/1960275.1960291(117-128)Online publication date: 21-Mar-2011
https://dl.acm.org/doi/10.1145/1960275.1960291
Show More Cited By

Index Terms

Aspect-oriented support for synchronization in parallel computing
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features

Recommendations

Resolving Synchronization and Analyzing Based on Aspect-Oriented Programming
ISCSCT '08: Proceedings of the 2008 International Symposium on Computer Science and Computational Technology - Volume 01

Synchronization is an important problem in the design and development of the software, which has been resolved in the object-oriented programming (OOP). However, the implementation of OOP is easy to leads to code-tangling and code-scattering between ...
Region pointcut for AspectJ
ACP4IS '09: Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software

This paper proposes a new pointcut called region pointcut, which has the ability to pick out regions as join points. This pointcut allows programmers to modularize synchronization, exception handling and parallelization. Although these are typical ...
Implementing and Testing Producer-Consumer Problem Using Aspect-Oriented Programming
IAS '09: Proceedings of the 2009 Fifth International Conference on Information Assurance and Security - Volume 02

Producer-Consumer problem is a classical and representative synchronization problem in the field of computer science, which can be implemented by object-oriented programming language. However, the implementation of object-oriented programming often ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

PLATE '09: Proceedings of the 1st workshop on Linking aspect technology and evolution

March 2009

34 pages

ISBN:9781605584539

DOI:10.1145/1509847

Program Chairs:
Iris Groher
Johannes Kepler University, Austria
,
Andy Kellens
Vrije Universiteit Brussel, Belgium
,
Christa Schwanninger
Siemens AG, Corporate Technology, Germany
,
Bram Adams
Queen's University, Canada
,
Uwe Hohenstein
Siemens AG, Corporate Technology, Germany
,
Ademar Aguiar
University of Porto, Portugal
,
Eddy Truyen
Katholic University Leuven, Belgium

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 March 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

AOSD '09

Sponsor:

AOSD '09: Eighth International Conference on Aspect-Oriented Software Development

March 3, 2009

Virginia, Charlottesville, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
251
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Cunha CPombo N(2023)Automated Reusable Tests for Mitigating Secure Pattern Interpretation ErrorsIEEE Access10.1109/ACCESS.2023.3279823(1-1)Online publication date: 2023
https://doi.org/10.1109/ACCESS.2023.3279823
Hohenstein UGleim UBorba PChiba S(2011)Using aspect-orientation to simplify concurrent programmingProceedings of the tenth international conference on Aspect-oriented software development companion10.1145/1960314.1960324(29-40)Online publication date: 21-Mar-2011
https://dl.acm.org/doi/10.1145/1960314.1960324
Bodden EBorba PChiba S(2011)Closure joinpointsProceedings of the tenth international conference on Aspect-oriented software development10.1145/1960275.1960291(117-128)Online publication date: 21-Mar-2011
https://dl.acm.org/doi/10.1145/1960275.1960291
Akai SChiba S(2009)Extending AspectJ for separating regionsACM SIGPLAN Notices10.1145/1837852.162161645:2(45-54)Online publication date: 4-Oct-2009
https://dl.acm.org/doi/10.1145/1837852.1621616
Akai SChiba SSiek JFischer B(2009)Extending AspectJ for separating regionsProceedings of the eighth international conference on Generative programming and component engineering10.1145/1621607.1621616(45-54)Online publication date: 4-Oct-2009
https://dl.acm.org/doi/10.1145/1621607.1621616

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents