课题基金 / 基金详情

The Design and Evaluation of a High-Performance Capability Mechanism for a VLSI Processor and its Impact on Software Reliability

The Design and Evaluation of a High-Performance Capability Mechanism for a VLSI Processor and its Impact on Software Reliability
VLSI处理器高性能能力机制的设计与评估及其对软件可靠性的影响
批准号:
8909512
负责人:
Kanad Ghose
金额:
$6.0万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1989
资助国家:
美国
项目状态:
已结题
起止时间:
1989-08-01 至 1992-02-29

项目摘要

项目成果

Kanad Ghose的其他基金

相似基金

相关文献

中文摘要
翻译
中型到大型计算系统的成本中有很大一部分(通常是70%以上)是在软件上。反过来,三分之二左右的软件成本用于维护——修复后来发现的不可避免的程序错误。基于功能的寻址被认为是一种检测和避免许多运行时错误的技术,因为它在实施小保护域、数据抽象和安全模块接口方面很有用。过去提出或实现的一些支持基于能力的寻址的机器一直被其极慢的速度所困扰。本课题的研究目的是设计一种高速能力机制,并在现实技术约束下对其实施情况进行检验和评价。项目从为功能机制制定一组简单但功能强大的原语开始,然后使用这些机制设计和模拟体系结构。然后在模拟器上运行高级基准测试以评估体系结构。
英文摘要
A significant portion (70% and upwards, typically) of the cost of a medium to large-scale computing system is in its software. In turn, two-thirds or so of the software cost goes into maintenance--fixing the inevitable program bugs that are discovered later. Capability-based addressing has been suggested as a technique for detecting and avoiding many run-time errors because of its usefulness in enforcing small protection domains, data abstraction and secure module interfaces. Several machines proposed or implemented in the past to support capability-based addressing have been plagued by their abysmally slow speed. The purpose of the research project is to design a high-speed capability mechanism, examine and evaluate its implementation assuming realistic technological constraints. The project starts with the formulation of a simple, yet powerful set of primitives for the capability mechanism, followed by the design and simulation of an architecture using these mechanisms. High-level benchmarks would then be run on the simulator to evaluate the architecture.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
MRI: Development of a Fully Instrumented Self-Sensing and Self-Regulating Data Center
  • 批准号:
    1040666
  • 项目类别:
    Standard Grant
  • 资助金额:
    $134.23万
  • 财政年份:
    2010
  • 负责人:
    Kanad Ghose
  • 依托单位:
CSR---SMA: A Design Space Exploration Tool for x86 and x86-64 Multicore Microprocessors
  • 批准号:
    0720811
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $16.0万
  • 财政年份:
    2007
  • 负责人:
    Kanad Ghose
  • 依托单位:
CISE Research Instrumentation: Research Infrastructure for Distributed and Data-Intensive Computing
  • 批准号:
    9911099
  • 项目类别:
    Standard Grant
  • 资助金额:
    $14.79万
  • 财政年份:
    2000
  • 负责人:
    Kanad Ghose
  • 依托单位:
Inherently Low Power Computer
  • 批准号:
    9504767
  • 项目类别:
    Standard Grant
  • 资助金额:
    $17.0万
  • 财政年份:
    1995
  • 负责人:
    Kanad Ghose
  • 依托单位:
国内基金
海外基金
基于重要农地保护LESA(Land Evaluation and Site Assessment)体系思想的高标准基本农田建设研究
  • 批准号:
    41340011
  • 项目类别:
    专项基金项目
  • 资助金额:
    20.0万元
  • 批准年份:
    2013
  • 负责人:
    钱凤魁
  • 依托单位: