Synchronization heuristics for the Minimal Multi-Threading Architecture