20.2.3 基于逻辑时间的算法