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