4 ms·Efficient Deterministic Multithreading through Schedule Relaxation3 points by mrsebastian 15y ago