Package edu.rice.cs.cunit.instrumentors.record

Class Summary
CompactRecordBufferCodeStrategy Instrumentation strategy that adds code to call SyncPointBuffer.compactAdd and write a code-tid pair.
CompactRecordThreadExitStrategy Instrumentation strategy that adds code to java.lang.Thread.exit to call SyncPointBuffer.compactAdd.
CompactRecordThreadStartStrategy Instrumentation strategy that adds code to java.lang.Thread.start to call SyncPointBuffer.compactAdd.
CompactSynchronizedBlockStrategy Instrumentor for synchronized blocks, using the compact sync point list.