Package harpoon.Analysis.Transactions

This package defines a transformation that converts synchronization into fully-atomic operations.

See:
          Description

Class Summary
ArrayCopyImplementer ArrayCopyImplementer adds a pure-java implementation of the System.arraycopy() method.
BitFieldNumbering BitFieldNumbering finds a bit-position and a field to embed boolean flags describing object fields.
BitFieldNumbering.BitFieldTuple  
CloneImplementer CloneImplementer adds synthetic specialized implementations for all clone methods.
SyncTransformer SyncTransformer transforms synchronized code to atomic transactions.
 

Package harpoon.Analysis.Transactions Description

This package defines a transformation that converts synchronization into fully-atomic operations.

Author:
C. Scott Ananian (cananian@alumni.princeton.edu)