Models and Mechanisms in Parallel Computation.- A General Purpose Shared-Memory Model For Parallel Computation.- Supporting A Coherent...