Octet Framework for runtime support HB edges  all dependences Atomicity of analysis & access Concurrency control mechanism Synchronization  cross-thread dependence  Qualitative performance improvement
{}