随着结构的缩小和电源电压的降低，触发故障所需的能量减少，计算机系统中的瞬态硬件故障已变得普遍。本文介绍了一种基于软件的容错系统的最新改进。。。

在体系结构级别对并行算法进行建模，可以探索现代处理器弱有序性的副作用。通过模型检查对这些模型进行形式化验证，可以确保算法保证即使在。。。

云系统中存储的数据量激增，需要更高效的冗余模式。虽然复制被广泛用于确保数据可用性，但纠删码在存储和……之间提供了更好的权衡。。。

Castro和Liskov于1999年提出了一种成功的拜占庭容错复制解决方案，命名为PBFT，它克服了早期拜占庭容错复制协议的性能缺陷。其他提案进一步扩展了PBFT。。。

实际系统通常必须保证对系统状态的更改是持久的。此类系统的示例包括数据库、文件系统和有保证交付的消息传递中间件。实现耐久性的一种常见方法是。。。

在纳米时代，由于各种因素，如复杂工艺导致的磨损和缺陷，半导体芯片制造产量一直在稳步下降。缓解这一问题的策略之一是恢复。。。

日志分析研究中的一个常见假设是，底层日志是完全有序的。对于并发系统，此假设限制生成的日志要么完全排除并发，要么捕获…的特定交错。。。

在确保系统代码的健壮性方面，分配资源的释放管理一直是一个问题。缺少资源释放操作会导致内存泄漏和死锁。已经提出了许多方法来检测这种。。。

托尼·霍尔（Tony Hoare）提出的“大挑战”（Grand Challenge）相关的软件验证中的一个小挑战涉及操作系统内核的形式规范和验证。本文提出了一个简单而正确的操作系统规范。。。

安全、容错的分布式系统很难构建、验证和操作。此类系统的保守设计要求其安全性和容错性取决于基于信念的极少数假设；这样。。。

在虚拟化数据中心中，存储系统传统上被视为与计算节点分开管理的黑盒。直接连接存储通常未被使用，因此虚拟机的可用性依赖于单个主机。我们的工作。。。

对于许多公司来说，云正在成为专用IT基础设施的一种有趣的替代方案。然而，云计算也给客户和云提供商带来了一定的风险。客户将他的计算和数据放在。。。

交换复制数据类型（CRDT）的副本最终会在没有任何复杂并发控制的情况下聚合。我们在维基百科的上下文中通过性能测量验证了非平凡CRDT（复制序列）的设计。。。

文件系统是操作系统中最关键的组件之一。几乎所有在操作系统中运行的应用程序都需要文件系统才能正常运行。尽管文件系统可用性在许多方面至关重要。。。

从1994/5年开始，HP实验室的存储系统计划开始了长达十年的旅程，通过我们最初称为属性管理存储的技术，实现企业存储系统管理的自动化。关键的想法是提供。。。

下面的文章分为九个部分，SOSP2007上介绍的每个部分都有一个。在每次会议上，两名学生志愿者在会议上做笔记，记录提交的每一篇论文后的问题和答案。。。

不同的用户以非常不同的方式应用计算机取证系统、模型和术语。他们经常做出不相容的假设，并就他们用于记录、审计和呈现……的方法的有效性和准确性得出不同的结论。。。

虚拟机（VM）时间旅行允许将虚拟机的状态（暂时和持久）还原到过去的时间点。此功能可用于提高虚拟机可用性，对过去的虚拟机状态启用取证，以及。。。

在越来越多的在线企业中，最近互联网上出现了一系列写密集型商业工作负载。这些工作负载在后端数据库上生成的写事务比读事务多得多。大多数这样的。。。

堆是Java虚拟机中重要的共享资源。一个组件中的内存管理问题可能会影响整个系统，甚至导致虚拟机崩溃。在本文中，我们提出了一种基于分区的方法来管理。。。