algorithm - 编写同步算法时需要考虑哪些重要的边缘情况？

Question

同步通常被认为是复杂的、容易出错的，并且正确处理非常耗时。那么对于那些编写过同步代码的人来说，需要注意哪些重要的边缘情况？我想对这些有一个很好的了解，这样我就可以从边缘案例中进行设计。

具体来说，我感兴趣的是有两个或多个可以进行更新的客户端和一个服务器进行中介的情况。客户端将间歇性地访问服务器并且可以处理暂时的不一致。 (所以我相信这个系统是“最终一致的”。)

Answer 1

一些可能相关的研究:http://www.cis.upenn.edu/~bcpierce/papers/index.shtml#Synchronization

这是来自编写 Unison 文件同步器和其他工具的人。