Compiler techniques for high performance sequentially consistent java programs