Hanpeng

Results 1 issues of Hanpeng

dPRO's replayer uses a multi-frontier topological sorting algorithm. Why not just use one global queue as in [Daydream](https://www.usenix.org/conference/atc20/presentation/zhu-hongyu).