US7155704B2 - Determinism in a Multiprocessor Computer System and Monitor and Processor Therefor