Remove-Win：一种无冲突复制数据类型的设计框架

分布式存储系统采用复制以提升性能与可靠性。为提供低延迟数据访问，副本常需在不相互协调的情况下接受更新，随后异步传播更新。这带来了并发更新间冲突解决的关键挑战。无冲突复制数据类型（CRDT）是解决该挑战的一种原则性方法。然而，现有 CRDT 设计繁琐，且难以推广至其他数据类型。亟需一个设计框架以指导新 CRDT 的系统性设计。为应对此挑战，我们提出 RWF——面向 CRDT 的 Remove-Win 设计框架。RWF 利用简单而强大的 remove-win 策略解决冲突更新，并为多种数据容器类型提供通用设计。基于 Redis 数据类型存储给出了两个遵循 RWF 的示例实现，证明了 RWF 的有效性。对我们实现的性能测量进一步显示了遵循 RWF 的 CRDT 设计的高效性。