论文标题
简单的钻机快速保持
Simple Rigs Hold Fast
论文作者
论文摘要
计算系统的一个重要用途是在保留一些不变性的同时更新对象的状态。该对象可能是文件，数据库中的一行，也许是分布式系统中的条目。它的不变性可能会限制其与其他对象的关系，并且通常包括在更新中保持独特的身份。 维护这些不变性的系统负责不等于或呈现对象的冲突版本。我们称这种缺乏模棱两可的完整性。 如今，为对象提供完整性的系统也可以管理其状态。确实，长期以来一直认为必须是这种情况，并且只有管理对象状态的系统才能为其提供完整性。 我们证明这个假设是错误的。对象可以保持一个系统的完整性，同时由另一个系统完全管理。
An important use of computational systems is updating the state of an object while preserving some set of invariants. That object might be a file, a row in a database, or perhaps an entry in a distributed system. Its invariants may place limits on its relationships with other objects, and generally include maintaining a unique identity across updates. The system maintaining these invariants is responsible for not equivocating, or presenting conflicting versions of an object. We call this absence of equivocation integrity. Today the system providing integrity to an object also manages its state. Indeed, it has long been assumed that this must be the case, and that only the system managing an object's state can provide it with integrity. We show that this assumption is wrong. Objects can maintain the integrity of one system while having their state fully managed by another.
