User-controllable coherence for high performance shared memory multiprocessors