Coordination problems in multiprocessing systems