Error Detection and Recovery in High-Performance Fault-Tolerant Processor Systems Employing Caches
Error Detection and Recovery in High-Performance Fault-Tolerant Processor Systems Employing Caches
批准号:
9224462
负责人:
Arun Somani
金额:
$15.93万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1993
资助国家:
美国
项目状态:
已结题
起止时间:
1993-07-01 至 1996-12-31
中文摘要
这是一个减轻使用缓存存储器的冗余计算机系统中瞬态故障影响的项目。冗余计算机系统通常采用投票电路作为处理器-存储器接口的一部分,以检查所有总线事务的一致性。如果使用了缓存内存,那么许多操作都不使用处理器-内存接口,因此可以逃避投票者的审查。在这个项目中,正在设计新的缓存协议,为冗余系统提供容错能力。新协议要求缓存控制器偶尔广播缓存线路的内容,并要求缓存控制器响应来自内存系统的请求以替换错误数据。该项目涵盖了容错缓存协议的开发、分析和应用。
英文摘要
Somani This is a project to mitigate the effects of transient faults in redundant computer systems that use cache memories. Redundant computer systems typically employ a voting circuit as part of the processor-memory interface to check for consistency in all bus transactions. If cache memories are used, many operations do not use the processor-memory interface, and so escape the scrutiny of the voter. In this project new cache protocols are being designed that provide for fault tolerance in redundant systems. The new protocols require the cache controllers to broadcast the contents of cache lines on occasion, and require cache controllers to respond to requests from the memory system to replace erroneous data. The project covers the development, analysis, and application of fault-tolerant cache protocols.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
MRI: Acquisition of a Shared High-Performance Computing System for Cyber-Enabled System Design
-
批准号:2018594
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2020
-
负责人:Arun Somani
-
依托单位:
MRI: Acquisition of a HPC System: Computing for Sustainability
-
批准号:1726447
-
项目类别:Standard Grant
-
资助金额:$67.82万
-
财政年份:2017
-
负责人:Arun Somani
-
依托单位:
SHF: Small: Enhancing Memory System Dependability by Integrity Checking
-
批准号:1618104
-
项目类别:Standard Grant
-
资助金额:$43.85万
-
财政年份:2016
-
负责人:Arun Somani
-
依托单位:
II-NEW: Distributed Computing Laboratory for Large Scale System Modeling and Analysis
-
批准号:1205413
-
项目类别:Standard Grant
-
资助金额:$35.0万
-
财政年份:2012
-
负责人:Arun Somani
-
依托单位:
MRI: Acquisition of a HPC System for Data-Driven Discovery in Science and Engineering
-
批准号:1229081
-
项目类别:Standard Grant
-
资助金额:$184.13万
-
财政年份:2012
-
负责人:Arun Somani
-
依托单位:
SST-Sensor Network Design For A Secure National Electric Energy Infrastructure
-
批准号:0428040
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Arun Somani
-
依托单位:
Collaborative Research: NeTS-NR: Evolutionary Architectures for Ultra-Broadband Access Networks
-
批准号:0434872
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Arun Somani
-
依托单位:
Integrity Monitoring and Recovery Techniques for Next Generation Submicron Microprocessors
-
批准号:0311061
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Arun Somani
-
依托单位:
NR: Collaborative Research: Wavelength Sharing Mesh-Restorable Optical Networks
-
批准号:0323374
-
项目类别:Continuing Grant
-
资助金额:$19.18万
-
财政年份:2003
-
负责人:Arun Somani
-
依托单位:
Collaborative Research: Exploring Architectures and Algorithms for Optical Networks
-
批准号:9973102
-
项目类别:Standard Grant
-
资助金额:$33.06万
-
财政年份:1999
-
负责人:Arun Somani
-
依托单位:
Adaptive Balanced Computing Architecture
-
批准号:9900601
-
项目类别:Standard Grant
-
资助金额:$35.0万
-
财政年份:1999
-
负责人:Arun Somani
-
依托单位:
Issues in Design of Lightwave Networks with Sparse Wavelength Conversion
-
批准号:9796318
-
项目类别:Continuing Grant
-
资助金额:$26.95万
-
财政年份:1997
-
负责人:Arun Somani
-
依托单位:
Extent and Effects of Error Propagation and Recovery Mechanisms in Cache Memory Systems
-
批准号:9896025
-
项目类别:Standard Grant
-
资助金额:$15.75万
-
财政年份:1997
-
负责人:Arun Somani
-
依托单位:
Issues in Design of Lightwave Networks with Sparse Wavelength Conversion
-
批准号:9628165
-
项目类别:Continuing Grant
-
资助金额:$13.03万
-
财政年份:1996
-
负责人:Arun Somani
-
依托单位:
Extent and Effects of Error Propagation and Recovery Mechanisms in Cache Memory Systems
-
批准号:9630058
-
项目类别:Standard Grant
-
资助金额:$18.66万
-
财政年份:1996
-
负责人:Arun Somani
-
依托单位:
国内基金
海外基金
Graphon mean field games with partial observation and application to failure detection in distributed systems
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:MATHIEULOUROCHLAURIERE
-
依托单位: