ACM通信

崩溃的一致性

数据的读取和写入是任何冯·诺伊曼计算机最基本的方面之一，它惊人地微妙和充满细微差别。例如，考虑对具有多个处理器的系统中的共享内存的访问。而一种简单直观的方法被称为强烈的一致性是程序员最容易理解的，¹⁴许多较弱的模型被广泛使用(例如，x86总存储排序)²²）;这些方法提高了系统性能，但代价是使对系统行为的推理变得更加复杂和容易出错。幸运的是，我们花了大量的时间和精力去思考这种记忆模型，²⁴因此，大多数多处理器应用程序都不会不知道。

类似的微妙之处也存在于本地文件系统中——这些系统管理存储在桌面计算机、手机、¹³或者作为大型分布式系统(如Hadoop分布式文件系统(HDFS))的底层存储。²³具体来说，对于试图在本地文件系统上编写可移植应用程序的开发人员来说，一个紧迫的挑战是崩溃的一致性(也就是说，确保在突然断电或系统崩溃的情况下能够正确地恢复应用程序数据)。

没有发现记录

登录阅读全文