13.4.4 两个写者的有界算法