The study of concurrent persistent programs has seen a surge of activity in recent years due to the introduction of non-volatile random access memories (NVRAM), yielding many models and correctness notions that are difficult to compare. In this paper, we survey existing correctness properties for this setting, placing them into the same context and comparing them. We present a hierarchy of these persistence properties based on the generality of the histories they deem correct, and show how this hierarchy shifts based on different model assumptions.

翻译：由于引入了非挥发性随机存取记忆(NURAM),近年来对同时持续方案的研究发现,近年来活动激增,产生了许多难以比较的模式和正确性概念。在本文中,我们调查了这一环境的现有正确性属性,将其置于同一背景之下,并比较了这些特征。我们根据历史的笼统性对这些持久性属性进行了分类,并展示了基于不同模型假设的这种等级变化。