multiprocessors 2 consistency models coherency 639556