Capo: a software-hardware interface for practical deterministic multiprocessor replay