COKE - Consistency Kernel - Software-Controlled Consistency and Coherency for Many-Core Architectures

COKE - 一致性内核 - 多核架构的软件控制一致性和一致性

• 批准号: 224615364
• 负责人: Professor Dr.-Ing. Jörg Nolte
• 金额: --
• 依托单位: Lehrstuhl für Informatik 4: Verteilte Systeme und Betriebssysteme
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2012
• 资助国家: 德国
• 起止时间: 2011-12-31 至 2021-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/224615364?language=en
• 关键词: COKE; Consistency; Kernel; Software; Controlled

Increasing core numbers in modern processors more and more put classical, hardware-implemented cache coherence into question. At the same time, processor-internal high-speed networks provide the opportunity to shift methods for consistency preservation from hardware to operating and run-time systems. Central objective in the first phase of the COKE project therefore was the investigation and implementation of models for flexible dynamic sharing and the associated mechanisms for consistency preservation in the context of cache-incoherent many-core processors. In the second phase, the operations of the first phase shall be continued and extended to partitioned global address spaces (PGAS).Besides memory, the project foregrounds energy as additional managed resource. The pursued approach for energy-aware operation of many-core processors takes effect already at design time of software to uncover energy overhead early and contemplate for alternate implementations. Basis for this is the static analysis of programs in order to predict region-wise data for best-, average-, and worst-case energy consumption. At selected (compiler-generated) hand-over points, the estimated consumption is committed to an operating-system control unit to proactively respond at run-time on the load shape expected for the next execution phase of a program. This local characteristic of a process supports short-term scheduling in the system. In addition to this, for long-term scheduling, the operating system learns about the global characteristic of energy consumption at load time of the program. On the basis of the finally achieved measuring results, the software-implemented consistency protocols for the memory regions of a PGAS system will be graded into energy-performance classes.By acting on existent knowledge on software-controlled, operating-system supported global logical address spaces and logical shared memory for non-sequential applications the project encounters the basic assumption that the thus created scope of decision enables dynamic optimisation of execution at operating-system level, assisted by hints and regulating screws by the application. Challenged is the specific relation between energy efficiency, latency, and throughput of the logical shared memory and the data- and time-dependent application-level access patterns, the structure of the underlying hardware, and dynamic operational state. Also challenged is the common relation between the (in-house developed) new system and the (foreign-developed) legacy system as to applicability, portability, and generalisation of the engineered concepts and techniques.

现代处理器中不断增加的核心数量越来越多地使传统的、硬件实现的缓存一致性受到质疑。同时，处理器内部高速网络提供了将一致性保持方法从硬件转移到操作和运行时系统的机会。因此，COKE项目第一阶段的中心目标是研究和实现灵活动态共享模型，以及在缓存不一致的多核处理器环境中保持一致性的相关机制。在第二阶段，将继续第一阶段的操作并扩展到分区的全局地址空间（PGAS）。除了内存，该项目还将能源作为额外的可管理资源。多核处理器的能量感知操作所追求的方法在软件设计时就已经生效，以便及早发现能量开销并考虑替代实现。其基础是对程序进行静态分析，以便预测最佳、平均和最坏情况下能源消耗的区域数据。在选定的（编译器生成的）移交点，将估计的消耗提交给操作系统控制单元，以便在运行时主动响应程序下一个执行阶段所期望的负载形状。进程的这种本地特性支持系统中的短期调度。除此之外，对于长期调度，操作系统了解程序加载时能耗的全局特征。在最终测量结果的基础上，软件实现的PGAS系统存储区域一致性协议将被划分为能效等级。通过对软件控制、操作系统支持的全局逻辑地址空间和非顺序应用程序的逻辑共享内存的现有知识进行操作，该项目遇到了这样一个基本假设，即由此创建的决策范围能够在操作系统级别动态优化执行，并得到应用程序的提示和调节螺钉的辅助。挑战在于逻辑共享内存的能效、延迟和吞吐量与依赖于数据和时间的应用程序级访问模式、底层硬件结构和动态操作状态之间的特定关系。同样受到挑战的是（内部开发的）新系统和（国外开发的）遗留系统之间在工程概念和技术的适用性、可移植性和泛化方面的共同关系。

项目成果

Fast and Portable Concurrent FIFO Queues With Deterministic Memory Reclamation

具有确定性内存回收功能的快速、便携式并发 FIFO 队列

• DOI: 10.1109/tpds.2021.3097901
• 发表时间: 2022
• 期刊: IEEE Transactions on Parallel and Distributed Systems
• 影响因子: 5.3
• 作者: O. Giersch;J. Nolte
• 通讯作者: J. Nolte

Neverlast: Towards the Design and Implementation of the NVM-based Everlasting Operating System

• DOI: 10.24251/hicss.2021.870
• 发表时间: 2021-01
• 作者: Christian Eichler;H. Hofmeier;S. Reif;Timo Hönig;J. Nolte;Wolfgang Schröder-Preikschat

Pinpoint the Joules: Unifying Runtime-Support for Energy Measurements on Heterogeneous Systems

精确定位焦耳：统一异构系统能量测量的运行时支持

• DOI: 10.1109/ross51935.2020.00009
• 发表时间: 2020
• 期刊: 2020 IEEE/ACM International Workshop on Runtime and Operating Systems for Supercomputers (ROSS)
• 作者: S. K¨hler;B. Herzog;T. Hönig;L. Wenzel;M. Plauth;J. Nolte;A. Polze;W. Schröder-Preikschat
• 通讯作者: W. Schröder-Preikschat

Neverlast: an NVM-centric operating system for persistent edge systems

Neverlast：用于持久边缘系统的以 NVM 为中心的操作系统

• DOI: 10.1145/3476886.3477513
• 发表时间: 2021
• 期刊: Proceedings of the 12th ACM SIGOPS Asia-Pacific Workshop on Systems
• 作者: C. Eichler;H. Hofmeier;S. Reif;T. Hönig;J. Nolte;W. Schröder-Preikschat
• 通讯作者: W. Schröder-Preikschat

Nowa: A Wait-Free Continuation-Stealing Concurrency Platform

Nowa：一个无等待的连续窃取并发平台

• DOI: 10.1109/ipdps49936.2021.00044
• 发表时间: 2021
• 期刊: 2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS)
• 作者: F. Schmaus;N. Pfeiffer;T. Hönig;J. Nolte;W. Schröder-Preikschat
• 通讯作者: W. Schröder-Preikschat