Java虚拟机形式的单语言运行时系统是广泛部署的平台，用于执行不受信任的移动代码。这些运行时提供了操作系统提供的一些功能：应用程序间内存保护和。。。

本文提出了一种新的持久数据管理层，旨在简化基于集群的Internet服务构建。这种自我管理层称为分布式数据结构（DDS），它提供了一种传统的单站点数据结构。。。

一致性、性能和可用性之间的权衡是众所周知的。然而，传统上，复制系统的设计者被迫从强一致性保证或根本没有一致性保证中进行选择。本文探讨了。。。

我们探讨了故障透明性的抽象，其中操作系统提供了无故障操作的假象。为了提供故障透明性，操作系统必须在硬件、操作系统和……之后恢复应用程序。。。

本文描述了一个异步状态机复制系统，该系统能够容忍由恶意攻击或软件错误引起的拜占庭错误。我们的系统是第一个主动恢复拜占庭故障副本的系统，它的性能。。。

与磁盘驱动器相比，基于MEMS的存储设备有望显著提高性能、可靠性和功耗。本文对这两种存储技术进行了比较，并探讨了基于MEMS的存储的物理特性如何。。。

Overcast是一个应用程序级多播系统，可以使用当今的互联网基础设施进行增量部署。这些属性源于Overcast作为覆盖网络的实现。覆盖网络由。。。

从软件安装到投资决策，互联网用户越来越依赖公开可用的数据。不幸的是，互联网上的绝大多数公共内容都没有完整性或真实性保证。这个。。。

在传统的文件系统实现中，最近最少使用（LRU）块替换方案由于其简单性和适应性被广泛用于管理缓冲区缓存。然而，LRU方案表现出性能下降，因为它。。。

存储延迟估计描述符（SLED）是一种API，允许应用程序了解并利用存储系统的动态状态。通过首先访问文件系统缓存或高速存储中的数据，总I/O工作负载。。。

Freeblock调度是一种利用磁盘潜在媒体带宽的新方法。通过使用有用的媒体传输来填充旋转延迟期，通常可以为后台应用程序提供20-50%的无空闲磁盘带宽。。。

操作系统内核、嵌入式系统和库等系统软件必须遵守许多正确性和性能规则。常见的例子包括“对变量A的访问必须由锁B保护”，“系统调用必须检查用户指针。。。