Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Article . 2012
License: CC BY
Data sources: Datacite
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Article . 2012
License: CC BY
Data sources: Datacite
ResearchGate Data
Conference object . 2012
Data sources: Datacite
versions View all 3 versions
addClaim

This Research product is the result of merged Research products in OpenAIRE.

You have already added 0 works in your ORCID record related to the merged Research product.

Application Of Java-Based Pointcuts In Aspect Oriented Programming (Aop) For Data Race Detection

Authors: Khalid, Sadaf; Arif, Fahim;

Application Of Java-Based Pointcuts In Aspect Oriented Programming (Aop) For Data Race Detection

Abstract

{"references": ["\"Oracle Solaris Studio 12.2 Thread Analyzer User-s Guide,\" Internet:\ndownload.oracle.com/docs/cd/E18659_01/pdf/821-2124.pdf [6 Sep.\n2010].", "S.Savage, M.Burrows, G.Nelson, P.Sobalvarro and T.Anderson,\n\"Eraser: A Dynamic Data Race Detector for Multithreaded Programs,\"\nACM Trans. Computer Systems, Vol.15, No.4, pp. 391-411, 1997.", "Eric Bodden and Klaus Havelund, \"Aspect-Oriented Race Detection in\nJava\", IEEE Trans. on Software Engineering, Vol.36, N0.4, July/August\n2010.", "Eric Bodden and Klaus Havelund, \"Racer: Effective Race Detection\nUsing AspectJ\", Proc. Int-l Symp. Software Testing and Analysis, pp.\n155-165, July 2008.", "J.Harrow, \"Runtime Checking of Multithreaded Application with Visual\nThreads\", SPIN Model Checking and Software Verification, Springer,\npp. 331-342, 2000.", "R. O-Callahan and J-D. Choi, \"Hybrid Dynamic Data Race Detection\",\nProc. ACM SIGPLAN Symp. Principles and Practice of Parallel\nProgramming, pp. 167-178, 2003.", "Pouria Shaker and Dennis K. Peters, \"An Introduction to Aspect-\nOriented Software Development\", Proc. Newfoundland Electrical and\nComputer Engineering Conference, October 2005.", "Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm\nand William G. Griswold, \"An Overview of AspectJ\", ECOOP-01 Proc.\nof 15th European Conference on Object Oriented Programming, 2001.", "Mayur Hiru Naik, \"Effective Static Race Detection for Java\", Ph.D\nDissertation, March 2008.\n[10] Mayur Naik and Alex Aiken, \"Conditional Must Not Aliasing for Static\nRace Detection\", Proc. of the 34th annual ACM SIGPLAN, 2007."]}

Wide applicability of concurrent programming practices in developing various software applications leads to different concurrency errors amongst which data race is the most important. Java provides greatest support for concurrent programming by introducing various concurrency packages. Aspect oriented programming (AOP) is modern programming paradigm facilitating the runtime interception of events of interest and can be effectively used to handle the concurrency problems. AspectJ being an aspect oriented extension to java facilitates the application of concepts of AOP for data race detection. Volatile variables are usually considered thread safe, but they can become the possible candidates of data races if non-atomic operations are performed concurrently upon them. Various data race detection algorithms have been proposed in the past but this issue of volatility and atomicity is still unaddressed. The aim of this research is to propose some suggestions for incorporating certain conditions for data race detection in java programs at the volatile fields by taking into account support for atomicity in java concurrency packages and making use of pointcuts. Two simple test programs will demonstrate the results of research. The results are verified on two different Java Development Kits (JDKs) for the purpose of comparison.

Keywords

Java Development Kits (JDKs), Cross-cutting Concerns, Aspects, Concurrent programming, Eclipse, Aspect OrientedProgramming (AOP), Pointcuts, AspectJ, Data race, Concurrency packages, Aspect Bench Compiler (abc), Java

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
    OpenAIRE UsageCounts
    Usage byUsageCounts
    visibility views 3
    download downloads 2
  • 3
    views
    2
    downloads
    Powered byOpenAIRE UsageCounts
Powered by OpenAIRE graph
Found an issue? Give us feedback
visibility
download
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
views
OpenAIRE UsageCountsViews provided by UsageCounts
downloads
OpenAIRE UsageCountsDownloads provided by UsageCounts
0
Average
Average
Average
3
2
Green