ASPLOS '20: Hermes 复制协议
原文中文，约3000字，阅读约需7分钟。
📝
内容提要
一个城邦通过民主方式自给自足，但基础设施差，投票常丢失。为解决此问题，采用Hermes协议，利用稳定成员处理提案，支持分布式存储和原子操作，确保写操作成功，且最多一个并发RMW成功。
🔎
延伸解读
Hermes协议的优势与局限
Hermes协议通过选举稳定成员来处理提案，确保写操作的成功和并发控制。这种设计在一定程度上提高了系统的容错能力，但也依赖于成员的稳定性。如果选举过程不够高效或成员频繁下线，可能会影响协议的整体性能和可靠性。
并发操作的处理机制
Hermes协议通过逻辑时间戳来管理并发操作，确保写操作总是成功，而最多只有一个并发的RMW操作会成功。这种机制有效避免了数据冲突，但在高并发场景下，可能导致部分操作被阻塞，影响系统的响应时间。
对比其他协议的特点
与ZAB和CRAQ等协议相比，Hermes协议在处理写操作时的成功率更高，且通过逻辑时间戳简化了并发控制。然而，Hermes的实现依赖于稳定的成员，这在动态环境中可能成为一个限制因素，需谨慎评估其适用场景。
❓
Q&A
Hermes协议的主要目的是什么？
Hermes协议旨在解决城邦中投票丢失的问题，确保提案的有效性和写操作的成功。
Hermes协议如何处理并发问题？
Hermes协议通过引入基于Lamport Timestamp的逻辑时间戳来解决并发问题，确保写操作的顺序性。
在Hermes协议中，提案的发起者称为什么？
在Hermes协议中，提案的发起者称为Coordinator。
Hermes协议中Invalidation和Validation的作用是什么？
Invalidation用于将Key设置为无效状态，Validation则用于将Key更新为有效状态，确保数据的一致性。
Hermes协议如何确保写操作的成功？
Hermes协议保证写操作总是成功，并且最多只有一个并发的RMW操作会成功。
Hermes协议依赖于什么来选举稳定的成员？
Hermes协议依赖其他协议（如Vertical Paxos）来选举出一组稳定的成员。
🏷️
