正在跳转至 http://www.cs.rochester.edu/research/synchronization/pseudocode/duals.html