SIGOPS公司

事务一致性和一致性（TCC）提供了一种通过执行事务中的所有代码来简化并行编程的方法。在TCC系统中，事务是并行工作、通信和一致性的基本单元。作为每个。。。

本文描述了一种计算机体系结构，空间计算（SC），它基于将高级语言程序直接翻译为硬件结构。SC程序实现是完全分布式的，没有集中的。。。

我们提出了一种专门为低功耗无线传感器网络节点设计的新型处理器体系结构。我们的传感器网络异步处理器（SNAP/LE）基于异步数据驱动的16位RISC内核，具有极低功耗。。。

分布式最短定位时间优先（D-SPTF）是一种用于分散存储服务器系统的请求分发协议。D-SPTF利用高速互连动态选择具有副本的服务器中应该服务的服务器。。。

本文描述了砖的联邦阵列（FAB）的设计、实现和评估，FAB是一种分布式磁盘阵列，它以更低的成本和更好的可扩展性提供了传统企业阵列的可靠性。FAB由……构建。。。

我们介绍了Shear，它是一种用户级软件工具，用于描述RAID存储阵列的特点。Shear使用一组受控算法结合统计技术来自动确定RAID系统的重要属性，包括。。。

基于XOM的安全处理器最近被引入，作为一种提供防复制和防篡改执行的机制。XOM支持加密/解密和完整性检查。然而，无论是XOM还是任何其他当前方法都不足以。。。

我们提出了一种称为动态信息流跟踪的简单体系结构机制，它可以显著提高计算系统的安全性，而性能开销可以忽略不计。动态信息流跟踪可保护程序免受。。。

本文探索了一种称为相干解耦它将传统的缓存一致性协议分解为两个协议：推测缓存查找（SCL）协议和安全的后备一致性协议。SCL协议产生。。。

以单个芯片上多个处理器内核的形式增加的集成、相对恒定的芯片尺寸、收缩的功率包络和新兴应用为处理器架构师带来了新的挑战。如何构建一个提供。。。

在具有大指令窗口和深管道的现代微处理器中，管道刷新变得越来越昂贵。选择性重新执行是一种通过只重新执行指令来减少误判惩罚的技术。。。

嵌入式软件必须满足相互冲突的要求，例如高可靠性、在资源受限的平台上运行以及快速开发。静态程序分析可以帮助实现所有这些目标。人们正在为…开发分析仪。。。

Helper线程是一种通过利用处理器的多线程功能来运行“assist”线程来加速程序的技术。以前在超线程处理器上的实验已经证明，通过使用辅助线程来。。。

采样已成功用于确定性能优化机会。我们希望应用类似的技术来检查程序的正确性。不幸的是，采样对不常执行的代码覆盖率很低，其中的错误。。。

随着计算机内存层次结构变得自适应，其性能越来越依赖于对动态程序局部性的预测。本文提出了一种结合局部性分析和运行分析预测程序局部性阶段的方法。。。

如果可以在运行时确定和分析应用程序的动态内存需求，那么可以有效地利用内存。页面丢失率曲线（MRC），即页面丢失率与内存大小曲线，是一个很好的性能导向的度量标准，用于服务于此。。。

本文介绍了一个编译器编排的预取系统，它是一个统一的框架，旨在改善处理速度和内存访问延迟之间的差距。我们将优化范围集中在程序的特定子集上。。。

跟踪垃圾收集器遍历来自活动程序变量的引用，传递性地跟踪活动对象的关闭。跟踪期间发生的内存访问基本上是随机的：给定对象可能包含对任何其他对象的引用。。。

维护是高可用性站点停机的主要原因。不幸的是，减少停机时间的主要机制，集群滚动升级，有两个缺点，阻碍了它的广泛接受。首先，集群风格。。。

最近的研究表明，到2010年，微处理器逻辑中的软错误率将成为一个可靠性问题。本文提出了一种有效的错误检测技术，称为指纹识别，它检测跨…的执行差异。。。

高性能计算的趋势使得长时间运行的应用程序必须能够容忍硬件故障。最常用的方法是检查点和重新启动（CPR）-计算状态定期保存在磁盘上，并且。。。

多时钟域（MCD）处理器是当今完全同步设计的一种有前途的未来替代方案。MCD处理器中的动态电压和频率缩放（DVFS）具有额外的灵活性，可以调整每个域中的电压和频率。。。

随着技术的发展，高性能处理器的功率密度不断增加，因为电流、时钟速度和设备密度的缩放速度超过了电源电压和封装散热热能力的缩小速度。电源。。。

对内存和磁盘的能量管理进行了大量研究。大多数研究使用控制算法，在设备空闲一定阈值时间后，动态地将设备转换为低功耗模式。控制算法。。。