Describing the Operating System for Accurate User-mode Simulation

描述用于精确用户模式模拟的操作系统

• 批准号: 0950410
• 负责人: J. Eliot Moss
• 金额: $ 20万
• 依托单位: University of Massachusetts Amherst
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-09-15 至 2012-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0950410&HistoricalAwards=false
• 关键词: Describing; Operating; System; Accurate; User

This is an EAGER project that addresses a highly exploratory investigation into key elements needed to specify the characteristics of an operating system (OS) in a way that permits an architectural model to be created that interacts fully with a suite of simulation tools.The suite of tools, CoGenT (CoGeneration of Tools), include specification languages to allow researchers to express novel instruction sets and micro-architectures and the infrastructure for automatic generation of corresponding functional and timing co-simulators, compilers, linkers, loaders, debuggers, assemblers, disassemblers, and a fully integrated instrumentation facility to enable meaningful experimentation within this new design space. CoGenT?s ability to automatically generate a functional simulator from a specification, and other related elements, will be released this year.This EAGER addresses the problem that, in simulating complex architectures, it is important to be able to specify OS support, not just as a set of external calls, but as a specific model that integrates with the rest of the architecture. Current architectures rely on the services and policies of the operating system, and the operating system itself needs to evolve with the radical shifts in architecture and applications that are anticipated in the next decade.With this project, this team develops an approach that enables simultaneous research into novel hardware and software paradigms, with great flexibility, and without the heretofore prohibitive cost of manually building a complete hardware and software simulation infrastructure with a tailored OS implementation. Traditional system simulation approaches either ignored OS impact on performance or resorted to costly and inflexible full system simulation where an actual OS implementation is executed directly. The former provides unrealistic results, and the latter does not admit the kind of exploration needed for transformative paradigm shifts.The goal of this project is to extend the relatively recent approach of functional and timing co-simulation for hardware architectures into "pseudo-full system simulation", where the OS becomes a first-class element in the simulation modeling and instrumentation framework. Simulating an OS model derived from a specification will also enable sensitivity and significance analyses, often neglected in current simulation-based research even though they are essential to understanding the real impact of new approaches.

这是一个 EAGER 项目，旨在对指定操作系统 (OS) 特征所需的关键元素进行高度探索性的调查，从而允许创建与一套模拟工具充分交互的架构模型。 CoGenT（工具协同生成）包括规范语言，允许研究人员表达新颖的指令集和微架构，以及自动生成相应功能和时序协同模拟器、编译器、链接器、加载器、调试器的基础设施，汇编器、反汇编器和完全集成的仪器设施，可在这个新的设计空间内进行有意义的实验。 CoGenT 根据规范和其他相关元素自动生成功能模拟器的能力将于今年发布。EAGER 解决了以下问题：在模拟复杂架构时，重要的是能够指定操作系统支持，而不仅仅是作为一组外部调用，但作为与架构其余部分集成的特定模型。当前的架构依赖于操作系统的服务和策略，而操作系统本身需要随着未来十年预期的架构和应用程序的根本转变而发展。通过这个项目，该团队开发了一种能够同时进行研究的方法融入新颖的硬件和软件范例，具有极大的灵活性，并且无需迄今为止手动构建具有定制操作系统实现的完整硬件和软件模拟基础设施的高昂成本。传统的系统模拟方法要么忽略操作系统对性能的影响，要么采用成本高昂且不灵活的完整系统模拟，其中直接执行实际的操作系统实现。前者提供了不切实际的结果，而后者则不承认变革性范式转变所需的那种探索。该项目的目标是将硬件架构的功能和时序协同仿真的相对较新的方法扩展到“伪完整系统”仿真”，其中操作系统成为仿真建模和仪器框架中的一流元素。模拟源自规范的操作系统模型还可以进行敏感性和显着性分析，而这些分析在当前基于模拟的研究中经常被忽视，尽管它们对于理解新方法的真正影响至关重要。