The widespread popularity of languages allowing explicitly parallel, multi-threaded programming, e.g. Java and C, have focused attention on the issue of memory model design. The Pensieve Project is building a compiler that ...