A machine instruction level concurrent simulator for multiprocessor systems