标签: concurrency distributed-system
我所知道的有关线性化的所有文献都将其解释为与实时相关的东西:
s
线性化性的概念最初是在此paper中定义的,它考虑了在多处理器环境中访问的并发对象的正确性。因此,实时可以理解为计算机的挂钟。
但是在分布式系统中时钟不同步,如何理解实时顺序?