3.4.1 并发系统中时间的性质