Virtual Simple Architecture (VISA): Exceeding the Complexity Limit in Safe Real-Time Systems

虚拟简单架构 (VISA):超越安全实时系统的复杂性限制

基本信息

  • 批准号:
    0310860
  • 负责人:
  • 金额:
    $ 27.5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2003
  • 资助国家:
    美国
  • 起止时间:
    2003-08-15 至 2007-07-31
  • 项目状态:
    已结题

项目摘要

RotenbergVirtual Simple Architecture (VISA): Exceeding the Complexity Limit in Safe Real-Time SystemsAbstractThis project resolves a long-standing problem in embedded systems: bounding the worst-case execution times (WCET) of tasks on contemporary processors. WCETs are essential for real-time scheduling; yet deriving them for contemporary processors is intractable. The Virtual Simple Architecture (VISA) framework shifts the burden of bounding the WCETs of tasks, in part, to hardware. A VISA is the pipeline timing specification of a hypothetical simple processor. WCET is derived for a task assuming the VISA. At run-time, the task is executed speculatively on an unsafe complex processor, and its progress is continuously gauged. If continued safe progress appears to be in jeopardy, the complex processor is reconfigured to a simple mode of operation that directly implements the VISA, thereby explicitly bounding the task's overall execution time by the WCET.VISA provides a general framework for safe operation on unsafe processors, setting up new opportunities for exploiting higher performance in embedded systems.The project anticipates and contributes to a major shift in computing (the kind that occurs once every decade), thus helping to preserve the nation's leadership in this area. Computers have always evolved by integrating higher levels of complexity and performance into smaller systems. In the 1990s, this evolution led to highly functional personal computers (PC) with supercomputer-like performance. Now, in the post-PC era, users interact with embedded computers continuously, transparently, and in real time (e.g., cell phones, cars, airplanes, appliances, industry/military applications, etc.). This project radically increases the performance, functionality, and reliability of embedded systems, which are vital to the day-to-day functioning of our society.
Rotenberg虚拟简单体系结构(VISA):超过安全实时系统的复杂性限制摘要这个项目解决了嵌入式系统中长期存在的一个问题:在当代处理器上限制任务的最坏情况执行时间(WCET)。WCET对于实时调度是必不可少的;然而,为当代处理器派生WCET是一件棘手的事情。虚拟简单体系结构(VISA)框架将约束任务的WCET的负担部分转移到硬件上。VISA是假想的简单处理器的流水线时序规范。WCET是为假设签证的任务而推导的。在运行时,任务在不安全的复杂处理器上推测性地执行,并持续测量其进度。如果持续的安全进展看起来岌岌可危,复杂的处理器被重新配置为简单的操作模式,直接实现VISA,从而明确地限制任务的总体执行时间。VISA为不安全的处理器上的安全操作提供了一个通用框架,为利用嵌入式系统的更高性能创造了新的机会。该项目预计并有助于计算的重大转变(每十年发生一次),从而帮助保持国家在这一领域的领先地位。计算机总是通过将更高级别的复杂性和性能集成到更小的系统中而发展起来的。在20世纪90年代,这种演变导致了具有超级计算机般的性能的高功能个人计算机(PC)。现在,在后PC时代,用户与嵌入式计算机连续、透明和实时地交互(例如,手机、汽车、飞机、家用电器、工业/军事应用等)。这个项目从根本上提高了嵌入式系统的性能、功能和可靠性,这对我们社会的日常运作至关重要。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Eric Rotenberg其他文献

Energy Efficient Fully Associative Cache Model
节能全关联缓存模型
  • DOI:
    10.5120/7192-9949
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Antonio Gonzalez;M. Valero;Nigel Topham;Joan;Chuanjun Zhang;Frank Vahid;Jun Yang;Dave Albonesi;G. Rivera;C. W. Tseng;Huiyang Zhou;Mark C. Toburen;Eric Rotenberg;Thomas. M. Conte;Jung;G. Park;Sung;Shin;D. Powell;Amit Agarwal;T. N. Vijaykumar;Babak Falsafi;Kaushik Roy;Zhiyong Xu;Yiming Hu;W. Jone;S. Kim;N. Vijaykrishnan;M. Kandemir;A. Sivasubramaniam;M. J. Irwin;E. Geethanjali;Zhigang Hu;S. Kaxiras;M. Martonosi
  • 通讯作者:
    M. Martonosi

Eric Rotenberg的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Eric Rotenberg', 18)}}的其他基金

FoMR: Post-Silicon Microarchitecture
FoMR:后硅微架构
  • 批准号:
    1823517
  • 财政年份:
    2018
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Standard Grant
SHF: Small: Design for Competitive Automated Layout (DCAL) of Mobile Application Processors
SHF:小型:移动应用处理器竞争性自动布局 (DCAL) 设计
  • 批准号:
    1218608
  • 财政年份:
    2012
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Standard Grant
SHF: Small: AnyCore: A Universal Superscalar Core
SHF:小型:AnyCore:通用超标量核心
  • 批准号:
    1018517
  • 财政年份:
    2010
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Standard Grant
SHF:Small: EXACT: Explicit Dynamic-Branch Prediction with Active Updates
SHF:Small: EXACT:具有主动更新的显式动态分支预测
  • 批准号:
    0916481
  • 财政年份:
    2009
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Standard Grant
CPA-CSA: FabScalar: A Standard Superscalar Library for Fabricating Heterogeneous Chip Multiprocessors
CPA-CSA:FabScalar:用于制造异构芯片多处理器的标准超标量库
  • 批准号:
    0811707
  • 财政年份:
    2008
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Standard Grant
The Phase Based Behavior of Objects
对象的基于阶段的行为
  • 批准号:
    0702632
  • 财政年份:
    2007
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Standard Grant
Control-Flow Processors
控制流处理器
  • 批准号:
    0429843
  • 财政年份:
    2004
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Continuing Grant
Dynamic Superpipelining: Shaping Microarchitecture for Variable Frequency
动态超级流水线:塑造变频微架构
  • 批准号:
    0207785
  • 财政年份:
    2002
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Standard Grant
CAREER: Cooperative Redundant Threads
职业:协作冗余线程
  • 批准号:
    0092832
  • 财政年份:
    2001
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Continuing Grant

相似国自然基金

Understanding complicated gravitational physics by simple two-shell systems
  • 批准号:
    12005059
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
复杂边界巷道瓦斯运移的网格单交错快速SIMPLE算法研究
  • 批准号:
    11202228
  • 批准年份:
    2012
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

High-Field Solid-State Dynamic Nuclear Polarization with Paramagnetic Systems Beyond Simple Spin 1/2
超越简单自旋的顺磁系统高场固态动态核极化 1/2
  • 批准号:
    2411584
  • 财政年份:
    2024
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Standard Grant
EAGER SENTINELS: The PCR-free Biosensor for a Fast, Simple, and Sensitive Detection of RNA.
EAGER SENTINELS:无需 PCR 的生物传感器,可快速、简单且灵敏地检测 RNA。
  • 批准号:
    2415037
  • 财政年份:
    2024
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Standard Grant
Motivic invariants and birational geometry of simple normal crossing degenerations
简单正态交叉退化的动机不变量和双有理几何
  • 批准号:
    EP/Z000955/1
  • 财政年份:
    2024
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Research Grant
SIMPLE - Scaled up Innovative Motor Production for Lower Environmental impact
简单 - 扩大创新电机生产规模以降低环境影响
  • 批准号:
    10077373
  • 财政年份:
    2023
  • 资助金额:
    $ 27.5万
  • 项目类别:
    BEIS-Funded Programmes
SIMPLE THINGS FESTIVAL - REAL-TIME DIGITAL VENUE
SIMPLE THINGS FESTIVAL - 实时数字场地
  • 批准号:
    10069954
  • 财政年份:
    2023
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Collaborative R&D
Development of a new method for evaluating gut microbiota that can be evaluated in a simple, low-cost, and short time
开发一种评估肠道微生物群的新方法,可以在短时间内进行简单、低成本的评估
  • 批准号:
    23K08476
  • 财政年份:
    2023
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Development of simple soil erodibility testing method for evaluating progression potential of internal erosion in levees
开发简单的土壤可蚀性测试方法来评估堤坝内部侵蚀的进展潜力
  • 批准号:
    23H01499
  • 财政年份:
    2023
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Development of platform for non-invasive, rapid, and simple analysis of cytokine secretion from single cells
开发非侵入、快速、简单分析单细胞细胞因子分泌的平台
  • 批准号:
    23H01824
  • 财政年份:
    2023
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
STINMALE: Strategic Interactions with Machine-Learning Algorithms: The Role of Simple Beliefs
STINMALE:与机器学习算法的战略交互:简单信念的作用
  • 批准号:
    EP/Y033361/1
  • 财政年份:
    2023
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Research Grant
Collaborative Research: Promoting Children's Learning About Biological Variability by Leveraging Simple Card Games
合作研究:利用简单的纸牌游戏促进儿童了解生物变异性
  • 批准号:
    2300602
  • 财政年份:
    2023
  • 资助金额:
    $ 27.5万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了