Package harpoon.Analysis.Transactions

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

See:
          Description

Class Summary
AltArrayTransformer AltArrayTransformer substitutes an alternative implementation of arrays.
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.
TreeDataFilter TreeDataFilter hacks through the field information tables emitted by Runtime1.DataReflection2 to add in additional information about the bitfield-numbering of fields.
 

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)