CN101031887B - 在冗余多线程环境中执行检验指令的方法、设备和系统 - Google Patents

在冗余多线程环境中执行检验指令的方法、设备和系统 Download PDF

Info

Publication number
CN101031887B
CN101031887B CN200580033073XA CN200580033073A CN101031887B CN 101031887 B CN101031887 B CN 101031887B CN 200580033073X A CN200580033073X A CN 200580033073XA CN 200580033073 A CN200580033073 A CN 200580033073A CN 101031887 B CN101031887 B CN 101031887B
Authority
CN
China
Prior art keywords
thread
check
instruction
executing
instructions
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
CN200580033073XA
Other languages
English (en)
Chinese (zh)
Other versions
CN101031887A (zh
Inventor
S·穆克赫吉
J·埃默
S·赖因哈德特
C·韦弗
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Intel Corp
Original Assignee
Intel Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Intel Corp filed Critical Intel Corp
Publication of CN101031887A publication Critical patent/CN101031887A/zh
Application granted granted Critical
Publication of CN101031887B publication Critical patent/CN101031887B/zh
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/14—Error detection or correction of the data by redundancy in operation
    • G06F11/1479—Generic software techniques for error detection or fault masking
    • G06F11/1492—Generic software techniques for error detection or fault masking by run-time replication performed by the application software
    • G06F11/1494—N-modular type
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/16—Error detection or correction of the data by redundancy in hardware
    • G06F11/1695—Error detection or correction of the data by redundancy in hardware which are operating with time diversity

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Advance Control (AREA)
  • Hardware Redundancy (AREA)
  • Memory System Of A Hierarchy Structure (AREA)
CN200580033073XA 2004-09-29 2005-09-29 在冗余多线程环境中执行检验指令的方法、设备和系统 Expired - Fee Related CN101031887B (zh)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US10/953,887 2004-09-29
US10/953,887 US7353365B2 (en) 2004-09-29 2004-09-29 Implementing check instructions in each thread within a redundant multithreading environments
PCT/US2005/035375 WO2006039595A2 (en) 2004-09-29 2005-09-29 Executing checker instructions in redundant multithreading environments

Publications (2)

Publication Number Publication Date
CN101031887A CN101031887A (zh) 2007-09-05
CN101031887B true CN101031887B (zh) 2010-05-26

Family

ID=36001038

Family Applications (1)

Application Number Title Priority Date Filing Date
CN200580033073XA Expired - Fee Related CN101031887B (zh) 2004-09-29 2005-09-29 在冗余多线程环境中执行检验指令的方法、设备和系统

Country Status (7)

Country Link
US (1) US7353365B2 (enExample)
JP (1) JP4691105B2 (enExample)
CN (1) CN101031887B (enExample)
DE (1) DE112005002370T5 (enExample)
GB (1) GB2430520B (enExample)
TW (1) TWI317063B (enExample)
WO (1) WO2006039595A2 (enExample)

Families Citing this family (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7581152B2 (en) * 2004-12-22 2009-08-25 Intel Corporation Fault free store data path for software implementation of redundant multithreading environments
US7321989B2 (en) * 2005-01-05 2008-01-22 The Aerospace Corporation Simultaneously multithreaded processing and single event failure detection method
US7818744B2 (en) * 2005-12-30 2010-10-19 Intel Corporation Apparatus and method for redundant software thread computation
GB0602641D0 (en) * 2006-02-09 2006-03-22 Eads Defence And Security Syst High speed data processing system
US7444544B2 (en) * 2006-07-14 2008-10-28 International Business Machines Corporation Write filter cache method and apparatus for protecting the microprocessor core from soft errors
US9594648B2 (en) * 2008-12-30 2017-03-14 Intel Corporation Controlling non-redundant execution in a redundant multithreading (RMT) processor
US9081688B2 (en) * 2008-12-30 2015-07-14 Intel Corporation Obtaining data for redundant multithreading (RMT) execution
CN101551764B (zh) * 2009-02-27 2010-11-10 北京时代民芯科技有限公司 基于同步冗余线程与编码技术的抗单粒子效应系统及方法
US9052887B2 (en) 2010-02-16 2015-06-09 Freescale Semiconductor, Inc. Fault tolerance of data processing steps operating in either a parallel operation mode or a non-synchronous redundant operation mode
US9361104B2 (en) * 2010-08-13 2016-06-07 Freescale Semiconductor, Inc. Systems and methods for determining instruction execution error by comparing an operand of a reference instruction to a result of a subsequent cross-check instruction
JP2012208662A (ja) * 2011-03-29 2012-10-25 Toyota Motor Corp マルチスレッド・プロセッサ
WO2014080245A1 (en) 2012-11-22 2014-05-30 Freescale Semiconductor, Inc. Data processing device, method of execution error detection and integrated circuit
AT515341B1 (de) * 2014-01-23 2015-12-15 Bernecker & Rainer Ind Elektronik Gmbh Verfahren zur Überprüfung der Abarbeitung von Software
US9823983B2 (en) 2014-09-25 2017-11-21 Nxp Usa, Inc. Electronic fault detection unit
US10013240B2 (en) * 2016-06-21 2018-07-03 Advanced Micro Devices, Inc. Fingerprinting of redundant threads using compiler-inserted transformation code
US10042687B2 (en) * 2016-08-08 2018-08-07 Advanced Micro Devices, Inc. Paired value comparison for redundant multi-threading operations

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20010034824A1 (en) * 2000-04-19 2001-10-25 Mukherjee Shubhendu S. Simultaneous and redundantly threaded processor store instruction comparator
US20010037445A1 (en) * 2000-04-19 2001-11-01 Mukherjee Shubhendu S. Cycle count replication in a simultaneous and redundantly threaded processor
CN1434941A (zh) * 1999-12-21 2003-08-06 英特尔公司 纠正软错误的固件机制

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE19625195A1 (de) * 1996-06-24 1998-01-02 Siemens Ag Synchronisationsverfahren
JPH1115661A (ja) * 1997-06-26 1999-01-22 Toshiba Corp Ｃｐｕの自己診断方法
US6463579B1 (en) * 1999-02-17 2002-10-08 Intel Corporation System and method for generating recovery code
US6640313B1 (en) * 1999-12-21 2003-10-28 Intel Corporation Microprocessor with high-reliability operating mode

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1434941A (zh) * 1999-12-21 2003-08-06 英特尔公司 纠正软错误的固件机制
US20010034824A1 (en) * 2000-04-19 2001-10-25 Mukherjee Shubhendu S. Simultaneous and redundantly threaded processor store instruction comparator
US20010037445A1 (en) * 2000-04-19 2001-11-01 Mukherjee Shubhendu S. Cycle count replication in a simultaneous and redundantly threaded processor

Non-Patent Citations (4)

* Cited by examiner, † Cited by third party
Title
Reinhardt S K et.Transient fault detection via simultaneous multithreading.27th Annual International Symposium on Computer Architecture28 2.2000,28(2),25-36.
Reinhardt S K et.Transient fault detection via simultaneous multithreading.27th Annual International Symposium on Computer Architecture28 2.2000,28(2),25-36. *
Vijaykumar T.N. Pomeranz
Vijaykumar, T.N. Pomeranz, I. Cheng, K..Transient-Fault Recovery Using Simultaneous Multithreading.29th Annual International Symposium on Computer Architecture.2002,2987-98. *

Also Published As

Publication number Publication date
US7353365B2 (en) 2008-04-01
JP4691105B2 (ja) 2011-06-01
TWI317063B (en) 2009-11-11
WO2006039595A3 (en) 2006-06-29
DE112005002370T5 (de) 2007-09-20
GB0700979D0 (en) 2007-02-28
WO2006039595A2 (en) 2006-04-13
GB2430520A (en) 2007-03-28
US20060095821A1 (en) 2006-05-04
JP2008515064A (ja) 2008-05-08
TW200634504A (en) 2006-10-01
CN101031887A (zh) 2007-09-05
GB2430520B (en) 2008-10-22

Similar Documents

Publication Publication Date Title
CN101031887B (zh) 在冗余多线程环境中执行检验指令的方法、设备和系统
CN111164578B (zh) 核内锁步模式的错误恢复
CN112416687B (zh) 验证访存操作的方法与系统以及验证设备和存储介质
TWI715686B (zh) 用於容錯及錯誤偵測之系統、方法和裝置
CN101470629A (zh) 用于在事务性存储器系统中实现强原子性的机制
CN102782644A (zh) 执行具有回滚由积极优化导致的变化的能力的积极代码优化
US20180129578A1 (en) Verifying a graph-based coherency verification tool
JP4667206B2 (ja) マルチコアモデルシミュレーションプログラム、該プログラムを記録した記録媒体、マルチコアモデルシミュレータ、およびマルチコアモデルシミュレーション方法
CN109416672A (zh) 不对有缺陷数据采取异常的从存储器读取指令、处理器、方法和系统
US8650551B2 (en) Transactional debugger for a transactional memory system and detecting conflicts
KR101862094B1 (ko) 트랜잭션 메모리 프로그램을 위한 소프트웨어 재생기
JP2007519101A (ja) 投機的メモリサポートを利用した冗長なマルチスレッディングシステムにおける故障検出のための外部メモリの更新管理
US7581152B2 (en) Fault free store data path for software implementation of redundant multithreading environments
CN117492726A (zh) 一种代码自动生成方法、装置、设备及存储介质
CN100476744C (zh) 一种基于时间冗余的检验流水线瞬态故障的装置及方法
KR20180099680A (ko) 블록―원자 실행 모델을 사용하는 프로세서-기반 시스템에서 부분적으로 실행된 명령 블록들의 재생
CN101615132A (zh) 事务存储系统及其控制方法
US20150113244A1 (en) Concurrently accessing memory
US12481553B2 (en) System, method and apparatus for reducing power consumption of error correction coding using compacted data blocks
JPS60142747A (ja) 命令再実行制御方式
KR20240038497A (ko) 프로세서 및 프로세서에서의 소프트 에러 검출 방법
CN120704746A (zh) 寄存器重命名装置、处理器及维护寄存器映射表的方法
CN114003286A (zh) 一种基于哑元的指令执行方法、计算设备及存储介质
CN119621001A (zh) 一种单精度浮点数的处理方法及系统
JPS635433A (ja) ブランチ制御方式

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20100526

Termination date: 20140929

EXPY Termination of patent right or utility model