CN103677756B - 用于使处理器指令执行同步的系统和方法 - Google Patents

用于使处理器指令执行同步的系统和方法 Download PDF

Info

Publication number
CN103677756B
CN103677756B CN201310416585.0A CN201310416585A CN103677756B CN 103677756 B CN103677756 B CN 103677756B CN 201310416585 A CN201310416585 A CN 201310416585A CN 103677756 B CN103677756 B CN 103677756B
Authority
CN
China
Prior art keywords
instructions
processor
iterations
total number
time
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.)
Active
Application number
CN201310416585.0A
Other languages
English (en)
Chinese (zh)
Other versions
CN103677756A (zh
Inventor
W.D.史密斯二世
S.N.U.艾哈迈德
J.M.迪克马
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.)
General Electric Co
Original Assignee
General Electric Co
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 General Electric Co filed Critical General Electric Co
Publication of CN103677756A publication Critical patent/CN103677756A/zh
Application granted granted Critical
Publication of CN103677756B publication Critical patent/CN103677756B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/48—Program initiating; Program switching, e.g. by interrupt
    • G06F9/4806—Task transfer initiation or dispatching
    • G06F9/4843—Task transfer initiation or dispatching by program, e.g. task dispatcher, supervisor, operating system
    • G06F9/4881—Scheduling strategies for dispatcher, e.g. round robin, multi-level priority queues
    • G06F9/4887—Scheduling strategies for dispatcher, e.g. round robin, multi-level priority queues involving deadlines, e.g. rate based, periodic
    • 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/1675—Temporal synchronisation or re-synchronisation of redundant processing components
    • G06F11/1691—Temporal synchronisation or re-synchronisation of redundant processing components using a quantum
    • 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/18—Error detection or correction of the data by redundancy in hardware using passive fault-masking of the redundant circuits
    • G06F11/182—Error detection or correction of the data by redundancy in hardware using passive fault-masking of the redundant circuits based on mutual exchange of the output between redundant processing components
    • 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/20—Error detection or correction of the data by redundancy in hardware using active fault-masking, e.g. by switching out faulty elements or by switching in spare elements
    • G06F11/202—Error detection or correction of the data by redundancy in hardware using active fault-masking, e.g. by switching out faulty elements or by switching in spare elements where processing functionality is redundant
    • G06F11/2038—Error detection or correction of the data by redundancy in hardware using active fault-masking, e.g. by switching out faulty elements or by switching in spare elements where processing functionality is redundant with a single idle spare processing component
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G06F2201/815—Virtual

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Software Systems (AREA)
  • Quality & Reliability (AREA)
  • Multi Processors (AREA)
  • Executing Machine-Instructions (AREA)
  • Devices For Executing Special Programs (AREA)
CN201310416585.0A 2012-09-14 2013-09-13 用于使处理器指令执行同步的系统和方法 Active CN103677756B (zh)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US13/620047 2012-09-14
US13/620,047 2012-09-14
US13/620,047 US9342358B2 (en) 2012-09-14 2012-09-14 System and method for synchronizing processor instruction execution

Publications (2)

Publication Number Publication Date
CN103677756A CN103677756A (zh) 2014-03-26
CN103677756B true CN103677756B (zh) 2018-08-10

Family

ID=49162034

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201310416585.0A Active CN103677756B (zh) 2012-09-14 2013-09-13 用于使处理器指令执行同步的系统和方法

Country Status (6)

Country Link
US (1) US9342358B2 (https=)
EP (1) EP2709010B1 (https=)
JP (1) JP6196855B2 (https=)
CN (1) CN103677756B (https=)
BR (1) BR102013021930A2 (https=)
CA (1) CA2826572A1 (https=)

Families Citing this family (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
TW201229910A (en) * 2011-01-14 2012-07-16 Hon Hai Prec Ind Co Ltd Method of activating application in virtual environment
FR3023398B1 (fr) * 2014-07-01 2016-07-01 Bull Sas Procede et dispositif d'execution synchronisee d'une application dans un environnement a haute disponibilite
US9996431B2 (en) * 2016-03-23 2018-06-12 GM Global Technology Operations LLC Architecture and apparatus for advanced arbitration in embedded controls
FR3052890B1 (fr) * 2016-06-21 2018-07-13 Thales Sa Procede de reception garantie de signaux communs dans un systeme avionique comportant une pluralite de calculateurs electroniques
CN106445852B (zh) * 2016-08-12 2019-05-14 中国航空工业集团公司西安飞行自动控制研究所 一种基于自监控架构的任务间通讯装置与方法
US10452446B1 (en) * 2017-06-07 2019-10-22 Rockwell Collins, Inc. High integrity multi-core processing
CN111767078B (zh) * 2019-04-02 2024-08-06 上海寒武纪信息科技有限公司 数据运行方法、装置和相关产品
FR3108993A1 (fr) * 2020-04-07 2021-10-08 Airbus Operations Procédé et système de synchronisation d’unités de calcul d’un aéronef.

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1441348A (zh) * 2002-02-26 2003-09-10 皇家菲利浦电子有限公司 处理程序中的指令的系统
US6633969B1 (en) * 2000-08-11 2003-10-14 Lsi Logic Corporation Instruction translation system and method achieving single-cycle translation of variable-length MIPS16 instructions

Family Cites Families (45)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4589066A (en) 1984-05-31 1986-05-13 General Electric Company Fault tolerant, frame synchronization for multiple processor systems
US5295258A (en) 1989-12-22 1994-03-15 Tandem Computers Incorporated Fault-tolerant computer system with online recovery and reintegration of redundant components
US5233615A (en) 1991-06-06 1993-08-03 Honeywell Inc. Interrupt driven, separately clocked, fault tolerant processor synchronization
US5613127A (en) 1992-08-17 1997-03-18 Honeywell Inc. Separately clocked processor synchronization improvement
US5537655A (en) 1992-09-28 1996-07-16 The Boeing Company Synchronized fault tolerant reset
JPH0773059A (ja) 1993-03-02 1995-03-17 Tandem Comput Inc フォールトトレラント型コンピュータシステム
US5550736A (en) 1993-04-27 1996-08-27 Honeywell Inc. Fail-operational fault tolerant flight critical computer architecture and monitoring method
US5572620A (en) 1993-07-29 1996-11-05 Honeywell Inc. Fault-tolerant voter system for output data from a plurality of non-synchronized redundant processors
JPH07175765A (ja) * 1993-10-25 1995-07-14 Mitsubishi Electric Corp 計算機の障害回復方法
US5557623A (en) 1994-08-12 1996-09-17 Honeywell Inc. Accurate digital fault tolerant clock
US5742753A (en) 1996-06-06 1998-04-21 The Boeing Company Mesh interconnected array in a fault-tolerant computer system
US5896523A (en) 1997-06-04 1999-04-20 Marathon Technologies Corporation Loosely-coupled, synchronized execution
CA2309926A1 (en) 1997-11-14 1999-05-27 Erik Muench Method for maintaining the synchronized execution in fault resilient/fault tolerant computer systems
US6374364B1 (en) 1998-01-20 2002-04-16 Honeywell International, Inc. Fault tolerant computing system using instruction counting
US6247143B1 (en) * 1998-06-30 2001-06-12 Sun Microsystems, Inc. I/O handling for a multiprocessor computer system
US6367031B1 (en) 1998-12-17 2002-04-02 Honeywell International Inc. Critical control adaption of integrated modular architecture
ATE456092T1 (de) 2000-04-11 2010-02-15 Boeing Co Verarbeitungssystem mit mehrheitsentscheidung
US6895582B1 (en) 2000-09-11 2005-05-17 Rockwell Collins Method and apparatus for high assurance computing using virtual machines on general purpose computing resources
US6938183B2 (en) 2001-09-21 2005-08-30 The Boeing Company Fault tolerant processing architecture
US6948091B2 (en) 2002-05-02 2005-09-20 Honeywell International Inc. High integrity recovery from multi-bit data failures
US7558883B1 (en) 2002-06-28 2009-07-07 Microsoft Corporation Fast transaction commit
US7565433B1 (en) 2002-06-28 2009-07-21 Microsoft Corporation Byzantine paxos
JP2004046599A (ja) * 2002-07-12 2004-02-12 Nec Corp フォルトトレラントコンピュータ装置、その再同期化方法及び再同期化プログラム
US7620680B1 (en) 2002-08-15 2009-11-17 Microsoft Corporation Fast byzantine paxos
US8005888B2 (en) 2003-12-30 2011-08-23 Microsoft Corporation Conflict fast consensus
US7334154B2 (en) 2004-06-18 2008-02-19 Microsoft Corporation Efficient changing of replica sets in distributed fault-tolerant computing system
US7856502B2 (en) 2004-06-18 2010-12-21 Microsoft Corporation Cheap paxos
US7505400B2 (en) 2004-09-22 2009-03-17 Honeywell International Inc. Dual lane connection to dual redundant avionics networks
US7555516B2 (en) 2004-11-23 2009-06-30 Microsoft Corporation Fast Paxos recovery
US7698465B2 (en) 2004-11-23 2010-04-13 Microsoft Corporation Generalized Paxos
US9753754B2 (en) 2004-12-22 2017-09-05 Microsoft Technology Licensing, Llc Enforcing deterministic execution of threads of guest operating systems running in a virtual machine hosted on a multiprocessor machine
US20060143517A1 (en) 2004-12-22 2006-06-29 Microsoft Corporation Replicated virtual machine
US8046413B2 (en) 2005-02-14 2011-10-25 Microsoft Corporation Automatic commutativity detection for generalized paxos
US20060200278A1 (en) 2005-03-02 2006-09-07 Honeywell International Inc. Generic software fault mitigation
WO2006127613A2 (en) 2005-05-24 2006-11-30 Marathon Technologies Corporation Symmetric multiprocessor fault tolerant computer system
US7797457B2 (en) 2006-03-10 2010-09-14 Microsoft Corporation Leaderless byzantine consensus
US7636868B2 (en) 2006-06-27 2009-12-22 Microsoft Corporation Data replication in a distributed system
US7793147B2 (en) 2006-07-18 2010-09-07 Honeywell International Inc. Methods and systems for providing reconfigurable and recoverable computing resources
US20080126502A1 (en) 2006-10-05 2008-05-29 Holt John M Multiple computer system with dual mode redundancy architecture
FR2912526B1 (fr) * 2007-02-13 2009-04-17 Thales Sa Procede de maintien du synchronisme d'execution entre plusieurs processeurs asynchrones fonctionnant en parallele de maniere redondante.
FR2914519B1 (fr) 2007-03-26 2009-06-12 Airbus France Sas Procede de controle d'integrite des donnees dans un reseau afdx.
US7987385B2 (en) 2007-07-24 2011-07-26 Ge Aviation Systems Llc Method for high integrity and high availability computer processing
US7849223B2 (en) 2007-12-07 2010-12-07 Microsoft Corporation Virtually synchronous Paxos
US8499297B2 (en) 2008-10-28 2013-07-30 Vmware, Inc. Low overhead fault tolerance through hybrid checkpointing and replay
EP2374062B1 (en) 2008-12-12 2012-11-21 BAE Systems PLC An apparatus and method for processing data streams

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6633969B1 (en) * 2000-08-11 2003-10-14 Lsi Logic Corporation Instruction translation system and method achieving single-cycle translation of variable-length MIPS16 instructions
CN1441348A (zh) * 2002-02-26 2003-09-10 皇家菲利浦电子有限公司 处理程序中的指令的系统

Also Published As

Publication number Publication date
US9342358B2 (en) 2016-05-17
BR102013021930A2 (pt) 2015-01-27
CA2826572A1 (en) 2014-03-14
EP2709010A1 (en) 2014-03-19
CN103677756A (zh) 2014-03-26
JP6196855B2 (ja) 2017-09-13
EP2709010B1 (en) 2016-11-09
US20140082331A1 (en) 2014-03-20
JP2014059870A (ja) 2014-04-03

Similar Documents

Publication Publication Date Title
CN103677756B (zh) 用于使处理器指令执行同步的系统和方法
US10917457B2 (en) Command processing in distributed computing systems
US10942824B2 (en) Programming model and framework for providing resilient parallel tasks
US11016861B2 (en) Crash recoverability for graphics processing units (GPU) in a computing environment
EP2746948A1 (en) Device and method for optimization of data processing in a MapReduce framework
EP2615546A1 (en) Method and system, scheduler for parallel simulating processors
CN103677749B (zh) 用于控制处理器指令执行的系统和方法
Gao et al. An energy-aware fault tolerant scheduling framework for soft error resilient cloud computing systems
US10719356B1 (en) High integrity multicore computing environment with granular redundant multi-threading
US9612907B2 (en) Power efficient distribution and execution of tasks upon hardware fault with multiple processors
JP5436422B2 (ja) 高インテグリティと高可用性のコンピュータ処理モジュール
Nogueira et al. CloudBFT: elastic byzantine fault tolerance
CN116723191B (zh) 利用加速装置执行数据流加速计算的方法和系统
Mendizabal et al. Analysis of checkpointing overhead in parallel state machine replication
Emeneker et al. Increasing reliability through dynamic virtual clustering
BR102013023551A2 (pt) Método para controlar uma quantidade total de instruções executado por um processador e para controlar um período de tempo e sistema para controlar uma quantidade total de instruções executadas por um processador
Hammoud et al. Distributed Programming for the Cloud: Models, Challenges, and Analytics Engines.
CN120687041B (zh) 一种数据请求的处理方法、装置、设备及存储介质
WO2025131313A1 (en) Process system and method for resource-efficient, gradual, asynchronous checkpointing and recovery of data
Niranjan et al. An Efficient Algorithm in Fault Tolerance for Electing Coordinator in Distributed Systems
Naghibzadeh Handling startling circumstances with IRM scheduler of real-time systems
RU2612569C2 (ru) Способ автоматического управления избыточностью неоднородной вычислительной системы и устройство для его реализации
US10936432B1 (en) Fault-tolerant parallel computation

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
EXSB Decision made by sipo to initiate substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant