故事
光绪末年，上海丹桂茶园换了新班主，从京城聘来一整班京角儿，要在沪上唱连台本戏《封神榜》。班主定了一条规矩：戏码可以变，但变之前，全园必须只认一张戏单。前台、后台、门口卖票的、楼上包厢里的看客，大家手里的戏单可以不一样——今儿可能是"姜子牙下山"，明儿可能是"比干剖心"——但同一时刻，全园只能流通一张戏单。这是"顺序一致"的铁律。
头一天就出事了。管衣箱的老刘头按旧规矩办事：角儿上台前半个时辰，他才把行头摆出来。可新班主要求"姜子牙"第一场就得披八卦仙衣，老刘头没接到通知——他手里的戏单还是前天的。结果姜子牙上了台，穿的是普通道袍，台下倒彩四起。班主追查下来，发现是写戏单的人改了，送戏单的人慢了，老刘头拿到的时候，戏已经开场了。
班主想了个办法：以后每改一次戏单，全园二十四个执事，每人画押为号，画押不齐，新戏单不准发。这叫"全进程同步"——所有人都承认同一个顺序，哪怕有人消息慢，也得等他追上来。
可画押太慢了。丹桂茶园二十四执事，从门房到灶上，从检场的到催场的，凑齐一次画押，少说两刻钟。戏码要临时改，根本等不及。有一次"纣王"突然嗓子哑了，只能换"闻太师"顶一场，催场的拿着新戏单满场跑，等画押画到"管锣鼓的"，台上已经唱到"反五关"了。
班主又改规矩：画押不必齐，但新戏单必须带"时辰戳"。几时几分改的，写得明明白白。各执事按自己收到的先后，把戏单排成一串。你可以晚收到，但不能乱顺序——"闻太师"顶"纣王"那场，哪怕你三更半夜才拿到戏单，也得知道它是插在"姜子牙下山"和"比干剖心"之间的。这叫全进程同意某一顺序：大家未必同时知道最新戏码，但对"哪场在前、哪场在后"没有分歧。
这规矩行了半年，直到一件怪事发生。
那日唱"炮烙梅伯"，按戏单该是"妲己"先上场，"梅伯"后受刑。可台上"梅伯"已经绑好了，"妲己"还在对镜贴花黄。检场的急了，问管事：戏单上到底谁先谁后？管事的掏出两张戏单——一张写着"妲己先、梅伯后"，另一张也写着"妲己先、梅伯后"，顺序一样，可来源不同：一张是班主亲笔改的，一张是催场的抄来的。两张戏单内容全同，唯独"梅伯"那场的时辰戳差了整整一个时辰。
检场的懵了：顺序是对的，可这一个时辰的差，意味着"梅伯"那场在班主心里是"巳时三刻"，在催场的心里是"午时三刻"。按顺序，两场戏谁先谁后没有争议；可按实际时间，班主已经认定"巳时三刻"那场作废了，催场还在照"午时三刻"的旧版执行。
班主连夜召集全园，宣布新规矩：顺序一致还不够，得再加一道"写者优先"。班主亲笔的戏单，永远盖过抄来的；同一时辰内，以班主手里的为准。各执事拿到戏单，先对时辰戳，再对笔迹——班主的原单优先，抄来的靠边。这叫"顺序一致+写者优先"，离线性一致性只差一步：不光顺序要对，还得对到一个全局唯一的时钟上。
丹桂茶园后来没再出过乱子。但老票友们私下议论：班主那道"写者优先"的规矩，其实是拿一个人的时钟冒充了全园的时钟。顺序一致的时候，大家各按各的时辰戳排戏单，只要顺序不乱，晚一点也无妨；可加了"写者优先"，全园二十四个执事的时间感，就被班主一个人的表给统一了。
—
概念解析
顺序一致性（Sequential Consistency, Lamport, 1979）是分布式系统一致性模型阶梯上的第二级，介于线性一致性与因果一致性之间。它的核心要求是：所有进程对事件全局顺序的观察一致，但不要求这个顺序与物理时间挂钩。
与线性一致性的关键区别在于实时性。线性一致性要求"先发生的必须先被看见"——这是对物理时间的承诺；顺序一致性只要求"大家看见的顺序一样"——这个顺序可以是系统内部约定的任意全序，允许与物理时钟偏离。用故事的话说：班主和催场可以对"妲己先、梅伯后"达成一致，哪怕他们各自认定的"巳时三刻"和"午时三刻"并不相同。
在硬件层面，顺序一致性曾是多处理器内存模型的默认假设（如早期的 SPARC 架构）。程序员写并发程序时，假定所有处理器看到的内存操作顺序相同，这个假设大大简化了推理——你不需要知道哪条指令实际先执行，只需要知道所有人同意的顺序是什么。代价是性能：为保证全序一致，需要大量的内存屏障和缓存同步，现代 CPU 已经转向更弱的一致性模型（如 TSO、PSO）。
在分布式数据库中，顺序一致性很少直接暴露给用户，但它作为实现更强一致性的中间层普遍存在。ZooKeeper 的写入操作是线性一致的，而读取可以选择"顺序一致"模式——客户端保证看到所有更新的同一顺序，但不保证读到最新值。这是性能与一致性的折中：放弃实时性，保留全局顺序的确定性。
顺序一致性与因果一致性的关系也值得细辨。因果一致性只要求"有因果关系的事件顺序不被颠倒"——没因果关系的可以并发、可以乱序；顺序一致性则要求所有事件排成一条全序，无论它们是否相关。前者是偏序，后者是全序。从实现成本看，因果一致性可以用向量时钟达成，顺序一致性则需要额外的协调机制来"仲裁"并发事件谁先谁后——这正是故事中"班主优先"规矩的抽象对应。
Lamport 在 1979 年的原始论文中，用"如何正确执行多进程程序"这个问题引出了顺序一致性。他的洞见是：程序员需要的不是物理时间的精确复刻，而是一个所有参与者都能依赖的、单一的事件序列。这个序列可以慢于物理时间，可以滞后，但不能分叉——一旦分叉，并发推理就会爆炸。四十余年后的今天，这个洞见仍然是理解分布式系统一致性阶梯的关键支点：线性一致性买下了实时性，顺序一致性买下了全局顺序，因果一致性买下了可扩展性，而最终一致性则买下了可用性——它们各有代价，各有其适用的戏台。