NDLI: Goldilocks: a race and transaction-aware java runtime

Please wait, while we are loading the content...

Exterminator: automatically correcting memory errors with high probability

Fault-tolerant typed assembly language

Valgrind: a framework for heavyweight dynamic binary instrumentation

Automatic inversion generates divide-and-conquer parallel programs

Optimistic parallelism requires abstractions

Shape analysis with inductive recursion synthesis

Path invariants

The ExoVM system for automatic VM and application reduction

Towards locating execution omission errors

CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors

CheckFence: checking consistency of concurrent data types on relaxed memory models

A certified type-preserving compiler from lambda calculus to assembly language

Improved error reporting for software that uses black-box components

EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system

Software behavior oriented parallelization

Thread-modular shape analysis

DITTO: automatic incrementalization of data structure invariant checks (in Java)

Offline compression for on-chip ram

Searching for type-error messages

A general framework for certifying garbage collectors and their mutators

Automatically classifying benign and harmful data races using replay analysis

Certified self-modifying code

Sketching stencils

Effective automatic parallelization of stencil computations

Making context-sensitive points-to analysis with heap cloning practical for the real world

Proving thread termination

Online optimizations driven by hardware performance monitoring

Static error detection using semantic inconsistency inference

Practical memory leak detection using guarded value-flow analysis

Sound and precise analysis of web applications for injection vulnerabilities

Enforcing isolation and ordering in STM

Static specification inference using predicate mining

Mace: language support for building distributed systems

Goldilocks: a race and transaction-aware java runtime

The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code

Regularly annotated set constraints

UCC: update-conscious compilation for energy efficiency in wireless sensor networks

Iterative context bounding for systematic testing of multithreaded programs

Automatic inference of optimizer flow functions from semantic meanings

Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives

Efficient static analysis of XML paths and types

Profile-driven energy reduction in network-on-chips

Reliable and efficient programming abstractions for wireless sensor networks

Parameterized tiled loops for free

Goldilocks: a race and transaction-aware java runtime

Content Provider	ACM Digital Library
Author	Elmas, Tayfun Qadeer, Shaz Tasiran, Serdar
Abstract	Data races often result in unexpected and erroneous behavior. In addition to causing data corruption and leading programs to crash, the presence of data races complicates the semantics of an execution which might no longer be sequentially consistent. Motivated by these observations, we have designed and implemented a Java runtime system that monitors program executions and throws a DataRaceException when a data race is about to occur. Analogous to other runtime exceptions, the DataRaceException provides two key benefits. First, accesses causing race conditions are interruptedand handled before they cause errors that may be difficult to diagnose later. Second, if no DataRaceException is thrown in an execution, it is guaranteed to be sequentially consistent. This strong guarantee helps to rule out many concurrency-related possibilities as the cause of erroneous behavior. When a DataRaceException is caught, the operation, thread, or program causing it can be terminated gracefully. Alternatively, the DataRaceException can serve as a conflict-detection mechanism inoptimistic uses of concurrency. We start with the definition of data-race-free executions in the Java memory model. We generalize this definition to executions that use transactions in addition to locks and volatile variables for synchronization. We present a precise and efficient algorithm for dynamically verifying that an execution is free of data races. This algorithm generalizes the Goldilocks algorithm for data-race detectionby handling transactions and providing the ability to distinguish between read and write accesses. We have implemented our algorithm and the DataRaceException in the Kaffe Java Virtual Machine. We have evaluated our system on a variety of publicly available Java benchmarks and a few microbenchmarks that combine lock-based and transaction-based synchronization. Our experiments indicate that our implementation has reasonable overhead. Therefore, we believe that inaddition to being a debugging tool, the DataRaceException may be a viable mechanism to enforce the safety of executions of multithreaded Java programs.
Starting Page	245
Ending Page	255
Page Count	11
File Format	PDF
ISBN	9781595936332
DOI	10.1145/1250734.1250762
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2007-06-15
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Software transactions Runtime monitoring Java runtime Data-race detection
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in