CSR-DMSS, SM: Operating System Abstractions for Modern Hardware

随着cpu的并行性和新内存技术的发展，硬件的操作系统抽象在过去30年中几乎没有变化。然而，计算机体系结构正在向异构多核体系结构发展，这些多核体系结构动态地改变处理元素的数量、性能、功率和可靠性。闪存、磁阻和相变RAM等存储技术保证了大量快速、非易失性存储器的出现。该项目旨在识别当前在未来处理平台上将过时的操作系统抽象，发明更准确地捕获平台行为范围的新抽象，并在现有操作系统的上下文中实现这些新抽象。研究的重点是扩展：(1)抽象硬件对同步的支持，如事务性内存、线程队列或满/空位；(2)抽象异构多核处理器，如具有不同指令集或可以融合在一起形成更强大处理元素的处理器；(3)向程序员公开非易失性内存；(4)抽象微架构对内存带宽、缓存空间的争用；并且共享处理元素，降低了调度算法的复杂度。由于更快的持久存储和更好地使用执行资源，这项研究将导致更高性能的系统，由于更快的数据持久化，更可靠的系统，以及由于对特定硬件的一般抽象，更多可编程的系统。此外，操作系统和体系结构研究社区将受益于对新硬件技术的更好的软件支持。这项工作本质上是跨学科的，学生将受益于接触到其他领域的新研究。

As CPUs move towards increasing parallelism and new memory technologies are developed, operating system abstractions of hardware have changed little in the past 30 years. However, computer architecture is moving towards heterogeneous multi-core architectures that dynamically vary the number, performance, power, and reliability of processing elements. Memory technologies such as flash, magnetoresistive and phase-change RAM promise large quantities of fast, non-volatile memory. This project seeks to identify current OS abstractions that will be outdated on future processing platforms, invent new abstractions that more accurately capture the range of platform behavior, and implement these new abstractions in the context of existing operating systems. The research focuses on extensions: (1) abstracting hardware support for synchronization, such as transactional memory, thread queues, or full/empty bits, (2) abstracting heterogeneous multi-core processors, such as processors that have differing instruction sets or that can be fused together to form more powerful processing elements, (3) exposing non-volatile memory to programmers, and (4) abstracting microarchitectural contention for memory bandwidth, cache space, and shared processing elements to reduce the complexity of scheduling algorithms. The research will lead to higher-performing systems, due to both faster persistent storage and better use of execution resources, more reliable systems, due to faster persisting of data, and more programmable systems, due to general abstractions of specific hardware. In addition, the OS and architecture research communities will benefit from better software support for new hardware technologies. This work is inherently interdisciplinary and students will benefit from exposure to new research in other fields.