A debugging tool in a multiprocessor environment