CN101551764A - An anti-SEE system and method based on synchronizing redundant threads and coding technique - Google Patents

An anti-SEE system and method based on synchronizing redundant threads and coding technique Download PDF

Info

Publication number
CN101551764A
CN101551764A CNA2009100789083A CN200910078908A CN101551764A CN 101551764 A CN101551764 A CN 101551764A CN A2009100789083 A CNA2009100789083 A CN A2009100789083A CN 200910078908 A CN200910078908 A CN 200910078908A CN 101551764 A CN101551764 A CN 101551764A
Authority
CN
China
Prior art keywords
module
data
execution
register file
instruction
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.)
Granted
Application number
CNA2009100789083A
Other languages
Chinese (zh)
Other versions
CN101551764B (en
Inventor
彭和平
于立新
郝丽
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.)
China Aerospace Modern Electronic Co 772nd Institute
Mxtronics Corp
Original Assignee
China Aerospace Modern Electronic Co 772nd Institute
Mxtronics 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 China Aerospace Modern Electronic Co 772nd Institute, Mxtronics Corp filed Critical China Aerospace Modern Electronic Co 772nd Institute
Priority to CN2009100789083A priority Critical patent/CN101551764B/en
Publication of CN101551764A publication Critical patent/CN101551764A/en
Application granted granted Critical
Publication of CN101551764B publication Critical patent/CN101551764B/en
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Landscapes

  • Memory System Of A Hierarchy Structure (AREA)
  • Techniques For Improving Reliability Of Storages (AREA)

Abstract

Through the research and improvement of error-correcting codes and error-detecting codes, the anti-SEE system and method based on synchronizing redundant threads and coding technique enables this coding technique to quickly detect the SEU (single event upset) occurring in register file and meanwhile design the both-threaded mechanism of the processor into a redundant both-threaded mechanism. When the register file of a thread is found with SEU, the register data with upset error will be corrected through replacing this register file with the register file of the other redundant thread; through the comparison mechanism of synchronous execution results in the layer of redundant both-threaded instructions, the pipelined circuit is judged whether there is SET (single-event transient) error. If such error occurs, it will be quickly eliminated from the pipeline through the designed redundant thread pipeline restart mechanism. This method satisfactorily solves the two frequent and difficult problems: SMU of register file in processor and pipeline SET.

Description

Anti-single particle effect system and method based on synchronizing redundant threads and coding techniques
Technical field
The present invention relates to system and its implementation of a kind of anti-single particle effect.
Background technology
In recent years, along with technological development, device size is more and more littler, operating voltage is more and more lower, single particle effect become more and more sternly come serious more.Especially along with the increase of clock frequency, the linear increase of the error rate that SET caused, even surpass SEU, thus limited the increase of processor system clock frequency.Studies show that the pulsewidth order of magnitude of SET is 350ps~1.3ns, surpass 1ns so work as pulsewidth, clock frequency just is limited in below the 1GHz, otherwise the SET effect may take place.On the other hand, under the sub-micro technology, the probability of memory circuit generation multidigit upset increases, and the design that processor carries out anti-single particle effect seems very important.
Carry out radioresistance research at processor, the processor internal circuit can be divided into memory circuit (sequential circuit) and combinational circuit on type, wherein memory circuit mainly is register file and cache, and processor bosom register, the main streamline that concentrates on of combinational circuit is because computing circuit and critical data passage mainly concentrate on the pipeline unit.Therefore, at the radioresistance research of processor, need focus on the memory circuit and flow line circuit of processor.
At present, carry out radioresistance research from the system logic level, mainly adopt following method at memory circuit anti-single particle overturn in the processor: to the Cache error correction and detection, the general parity check code that uses detects mistake, correct the single-particle inversion mistake by forcing location contents that cache visit disappearance is read in the external memory storage correspondence to refill then, because parity check code is simple, can big influence not arranged to the cache accessing time sequence, therefore, just can reasonable solution cache single-particle inversion mistake by this method.For the design of processor bosom register radioresistance, generally use the triplication redundancy voting formula, solve.To the design of register file radioresistance, use the Hamming code that entangles 1 inspection 2.To the anti-single particle transition of combinational circuit in the processor, mainly adopt arithmetic code method (as residue code and AN sign indicating number) and redundancy approach.This method mainly is fit to the fairly simple algorithm of the less demanding algorithm of sequential, and dissimilar algorithms (as multiplication, addition) need different arithmetic codes.Redundancy approach mainly is that whole combinational circuit is adopted bimodulus or triplication redundancy, detects by the result being compared voting whether the single-event transients mistake has taken place.
Along with processor and operating frequency of integrated circuit and integrated level significantly improve, and it is more and more responsive in the practical application to power consumption and area, employed error correction and detection coding method in the above-mentioned designing technique, if directly be attached in the register file access mechanism to frequency sensitive, can become the restraining factors of entire circuit frequency.Directly then cause IC power consumption and area significantly to increase with two moulds or multimode circuit redundancy approach.Therefore, in order to overcome the shortcoming of classic method and technology, utilize synchronizing multiple threads technology SMT (Simultaneous Multithreading) to constitute two redundant threads in recent years and come anti-single particle effect to become a kind of Study on new method focus.Performance potential advantages and the characteristics of redundant granulometric facies to less (only carry out relevant resource with inner streamline and just need redundancy) that this method mainly utilizes multithreading to have reduce the negative effect of anti-single particle effect to performance and area.In the redundant threads, two threads have the execution pipeline of oneself separately, and one is referred to as leading thread (Leading Thread), and one is referred to as track thread (TrailingThread), the two carries out same program code redundantly, complete back comparative result.
But this method has following shortcoming:
The one, the single-event transients SET mistake of inspection combinational circuit can only be entangled, and single-particle inversion SEU mistake in the inspection processor can't be entangled; The 2nd, two threads of this method need whole streamline redundancies, need and write back level in storage level and leading thread execution result is set preserves buffer zone, so that the result of track thread and leading thread result comparison; The 3rd, be turned back to the reference position of performed program segment when preserving two thread error correction, a bigger preservation need be set turn round on-the-spot buffer zone.The 4th, produce free time between leading thread and the track thread, and this free time may have influence on whole performance, as the patent No. is CN200480039553, use speculative memory by name support is managed the external memory storage that is used for the fault detect of redundant threads system and is upgraded, described synchronous and redundant threads architecture, this method need be considered the upper limit of free time when design.
Therefore, this Fully-pipelined redundant fashion just needs a plurality of buffer zones, so just increased the hardware spending of system greatly, the more important thing is, this memory circuit of buffer zone is very responsive to single-particle inversion, can make when having solved combinational circuit single-event transients SET problem, bring the hidden danger of single-particle inversion.
Summary of the invention
Technology of the present invention is dealt with problems and is: overcome the deficiencies in the prior art, a kind of anti-single particle effect system and method based on synchronizing redundant threads and coding techniques is provided, this system and method is by combining synchronizing redundant threads with coding techniques, adopt partial redundance, with less relatively cost, detect and correct processor register file single-particle inversion SEU, combinational circuit single-event transients SET, improve reliability of processor.
The technical solution of system of the present invention is: based on the anti-single particle effect system of synchronizing redundant threads and coding techniques, comprise and get finger print piece, thread gating module, decoding module I, execution module I, decoding module II, execution module II, error detection circuit I, error detection circuit II, register file I, register file II, comparison module, memory module and system controller;
Get the finger print piece, according to system controller from the CACHE that hits or from external memory storage reading command, and with the Instructions Cache that reads;
Thread gating module reads the instruction of getting the finger print block cache, launches after this instruction is write the redundant threads instruction buffer; Simultaneously with decoding module I, decoding module II gating;
Decoding module I, decoding module II decipher the instruction of thread gating module emission respectively, and the result after will deciphering sends to execution module I, execution module II respectively;
Execution module I, execution module II, according to the result after the decoding that receives, reading of data from register file I, register file II respectively, and the data that read are sent to error detection circuit I, error detection circuit II; According to the control of system controller, carry out corresponding operating;
Error detection circuit I, error detection circuit II detect the data that read whether single-particle inversion take place, and the error detection result is sent to system controller;
System controller, according to the error detection result, control and executive module I, execution module II utilize described reading of data to carry out present instruction, perhaps control register heap I, register file II replace the data that single-particle inversion takes place with correct data, and the data after will replacing send to execution module I, execution module II respectively; Perhaps control and executive module I, execution module II quit work, and control is simultaneously got the finger print piece and read this instruction again; According to the current state of comparison module notice, control is got the finger print piece and is read present instruction again;
Comparison module compares the result after execution module I, the execution module II execution command, if unanimity as a result then sends to this result the memory module storage; Otherwise, with current state reporting system controller.
Also comprise writing back module, write back module the result of memory module storage is write back register file I, register file II.
The scheme of the inventive method is: based on the anti-single particle effect method of synchronizing redundant threads and coding techniques, this method is carried out synchronously by two thread branch Pyatyi flowing water, the shared resource of two threads refers to level, thread gating stage, storage level for getting, and redundant resource is decode stage and execution level; Method step is as follows:
(1) get refer to level from the CACHE that hits or from external memory storage reading command, and with the Instructions Cache that reads;
(2) instruction of buffer memory in the thread gating stage read step (1) will be launched behind this Instructions Cache; Simultaneously with described redundant resource gating;
(3) instruction that sends of the decode stage receiving thread gating stage in the redundant resource, and this instruction deciphered, send to execution level after the decoding;
(4) redundant execution level is according to described instruction, reading of data from the register file of place thread separately respectively, read in the process, judge whether the data that read single-particle inversion takes place, if single-particle inversion does not all take place in the data that redundant execution level reads from register file, then redundant execution level utilizes the data that read to carry out this instruction respectively, changes step (5); If single-particle inversion all takes place in the data that redundant execution level reads from register file, stop two thread pipeline, begin to re-execute from step (1); Otherwise, stopping two thread pipeline earlier, the data of the data replacement generation single-particle inversion of single-particle inversion will not take place in redundant execution level, restart described streamline, and utilize the data that read to carry out this instruction respectively, change step (5);
(5) storage level compares redundant execution level execution result, if unanimity is as a result then stored this result; Otherwise, show the single-particle transient state takes place, stop streamline and carry out, begin to re-execute from step (1).
The shared resource of described two threads also comprises and writes back level, writes back level the execution result of storage in the step (5) is write back in the described register file.
The present invention compared with prior art beneficial effect is:
1) the inventive method has designed synchronizing multiple threads (SMT) technology and Error Checking and Correcting technology (ErrorDetection And Correction), realizes the architecture of mechanism of the error correction and detection of soft error jointly.The error correction and detection of register file circuit error correction and detection and combinational circuit streamline is unified in realization and control in the thread, make error correction and detection realization mechanism and each parts of processor execution and control relatively independent, parallel control, the error propagation control of processor self streamline and error correction and detection logic in the classic method, the complex process of sequential control have been avoided, make entire process device anti-single particle overturn wrong structure modularization, control is simple.
2) the two redundant threads of the inventive method design have only partial function circuit redundancy, and most of functional circuit can be shared, thereby it is littler than the hardware spending of two redundant threads methods of redundant dual core processor radioresistance method for designing and fully redundance, utilize the multithreading inherent characteristic simultaneously, register file reasonable in design and CACHE error correction and detection encoding mechanism have reduced the hardware spending that the memory circuit error correction and detection expends greatly.
3) the inventive method adopts the error detection of quick error detection coding method by register file error correction and detection circuit, having set up data exchange channel between two register files of two threads is used for register data and replace realizes error correction, correct the single-event transients mistake that streamline takes place by restarting pipelining technique, error correction is real-time, avoids performance loss effectively.
4) the inventive method, the corresponding memory word of two registers in redundant two-wire journey has only under the situation of a memory word generation single-particle inversion, how many memory words that no matter makes a mistake has overturn, all can correct a mistake by the corresponding stored device data of replacing correct storer heap, its correction rate reaches 100%.For two redundant threads streamlines, if 1 streamline generation single-event transients mistake is wherein then corrected fully by restarting pipelining technique.Therefore, radiation-induced upset of this method error correction and detection and transition mistake have very high coverage rate.
5) this method is the radiation hardening method that realizes on architecture logical design layer, do not rely on concrete processing line and cell library, compare with the radioresistance method that adopts in domain level, device level and circuit stages, design cost and production cost reduce greatly, have very strong practical value.
Description of drawings
Fig. 1 is a system schematic of the present invention;
Fig. 2 is system controller workflow diagram in the system of the present invention;
Fig. 3 is an error detection circuit synoptic diagram of the present invention;
Fig. 4 is the inventive method process flow diagram.
Embodiment
As shown in Figure 1, system of the present invention comprises gets finger print piece, thread gating module, decoding module I, execution module I, decoding module II, execution module II, error detection circuit I, error detection circuit II, register file I (Regfile I), register file II (Regfile II), comparison module, memory module and system controller;
Get the finger print piece, according to system controller from the CACHE that hits or from external memory storage reading command A, and the instruction A buffer memory that will read; Described instruction of reading from external memory storage need be handled through the EDAC error correcting and detecting; The instruction of reading from the CACHE that hits is handled through parity checking; These two kinds of disposal routes are to well known to a person skilled in the art technology, here no longer describe in detail, handling about the EDAC error correcting and detecting can be referring to Chinese patent 200510041617.9, title " primary particle inversion resistant storer error correction and detection of space computer and automatic write back method ", parity checking is handled can be referring to Northwestern Polytechnical University's PhD dissertation, Xin Mingrui, the relevant introduction in " the fault-tolerant risc processor architectural study that use the space-oriented ".Thread gating module reads the instruction A that gets the finger print block cache, launches after should instructing A to write the redundant threads instruction buffer; Simultaneously with decoding module I and decoding module II gating; Decoding module I deciphers the instruction A of thread gating module emission, and the result after will deciphering sends to execution module I; Decoding module II deciphers the instruction A of thread gating module emission, and the result after will deciphering sends to execution module II; Execution module I, according to the result after the decoding that receives, reading of data from register file I, and the data that read are sent to error detection circuit I; Execution module II, according to the result after the decoding that receives, reading of data from register file II, and the data that read are sent to error detection circuit II; Execution module I and execution module II carry out corresponding operating according to the control of system controller; Error detection circuit I and error detection circuit II detect the data that read respectively whether single-particle inversion take place, and the error detection result is sent to system controller; System controller, according to the error detection result, control and executive module I and execution module II utilize described reading of data to carry out present instruction A, perhaps control register heap I and register file II replace the data that single-particle inversion takes place with correct data, and the data after will replacing send to execution module I and execution module II respectively; Perhaps control and executive module I and execution module II quit work, and control is simultaneously got the finger print piece and read this instruction A again; According to the current state of comparison module notice, control is got the finger print piece and is read present instruction A again; Comparison module compares the result after execution module I and the execution module II execution command, if unanimity as a result then sends to this result the memory module storage; Otherwise, with current state reporting system controller.
For the result in the later use native system, can also be provided with in the system and write back module, write back module the result of memory module storage is write back register file I and register file II.
As shown in Figure 2, the system controller course of work is as follows in the native system:
The first step judges whether to receive the error detection result of error detection circuit I, error detection circuit II transmission, if receive this error detection result, then changeed for second step, otherwise, judge the current state information that is subjected to not receive the comparison module transmission, if receive current state information, then control is got the finger print piece and is read this instruction A again; If do not receive current state information, then continue to wait for;
In second step, if the error detection result shows that single-particle inversion does not all take place the data that execution module I and execution module II read from register file I, register file II, then control and executive module I and execution module II utilize the data that read to carry out present instruction A;
If the error detection result shows that single-particle inversion all takes place the data that execution module I and execution module II read from register file I, register file II, then control and executive module I and execution module II quit work, and control is simultaneously got the finger print piece and read present instruction A again;
If the error detection result shows the data generation single-particle inversion that has only an execution module to read from its register file, the data of now establishing among the Regfile1 make a mistake, the current instruction that will carry out is instruction A, control is stopped execution module I to system controller and execution module II quits work, and the data exchange channel L of gating Regfile2 and Regfile1, correct data corresponding among the Regfile2 is replaced misdata corresponding among the Regfile1 through the data channel between two register files, like this, just realized the single-particle inversion error correcting among the Regfile1, restart execution module I and execution module II, utilize the data of replacing to carry out present instruction A by execution module I and execution module II.
The error detection process of above-mentioned error detection circuit I, error detection circuit II: at first the data that write are encoded, and generate corresponding check bit, these data and check bit are stored in the relevant register heap; When data were read, error detection circuit I, error detection circuit II decoded to the data of reading, and the check bit that generates when soon the check bit that generates is with coding compares, and when the two unanimity, proved that data are correct, otherwise, data generation single-particle inversion mistake is described.The implementation of above-mentioned coding, decoding is the XOR tree, specifically referring to Fig. 3.
As shown in Figure 4, anti-single particle effect method based on synchronizing redundant threads and coding techniques, this method is carried out synchronously by two thread branch Pyatyi flowing water, and the shared resource of two threads refers to level, thread gating stage, storage level for getting, and redundant resource is decode stage and execution level; Method step is as follows:
(1) get refer to level from the CACHE that hits or from external memory storage reading command, and with the Instructions Cache that reads; The instruction of reading from external memory storage need be handled through the EDAC error correcting and detecting; The instruction of reading from the CACHE that hits is handled through parity checking.
(2) instruction of buffer memory in the thread gating stage read step (1) will be launched behind this Instructions Cache; Simultaneously with described redundant resource gating;
(3) instruction that sends of the decode stage receiving thread gating stage in the redundant resource, and this instruction deciphered, send to execution level after the decoding;
(4) redundant execution level is according to described instruction, reading of data from the register file of place thread separately respectively, read in the process, judge whether the data that read single-particle inversion takes place, if single-particle inversion does not all take place in the data that redundant execution level reads from register file, then redundant execution level utilizes the data that read to carry out this instruction respectively, changes step (5); If single-particle inversion all takes place in the data that redundant execution level reads from register file, stop two thread pipeline, begin to re-execute from step (1); Otherwise, stopping two thread pipeline earlier, the data of the data replacement generation single-particle inversion of single-particle inversion will not take place in redundant execution level, restart described streamline, and utilize the data that read to carry out this instruction respectively, change step (5);
(5) storage level compares redundant execution level execution result, if unanimity is as a result then stored this result; Otherwise, show the single-particle transient state takes place, stop streamline and carry out, begin to re-execute from step (1).
The shared resource of described two threads also comprises and writes back level, writes back level the execution result of storage in the step (5) is write back in the described register file.
The unspecified part of the present invention belongs to general knowledge as well known to those skilled in the art.

Claims (7)

1, based on the anti-single particle effect system of synchronizing redundant threads and coding techniques, it is characterized in that: comprise and get finger print piece, thread gating module, decoding module I, execution module I, decoding module II, execution module II, error detection circuit I, error detection circuit II, register file I, register file II, comparison module, memory module and system controller;
Get the finger print piece, according to system controller from the CACHE that hits or from external memory storage reading command, and with the Instructions Cache that reads;
Thread gating module reads the instruction of getting the finger print block cache, launches after this instruction is write the redundant threads instruction buffer; Simultaneously with decoding module I, decoding module II gating;
Decoding module I, decoding module II decipher the instruction of thread gating module emission respectively, and the result after will deciphering sends to execution module I, execution module II respectively;
Execution module I, execution module II, according to the result after the decoding that receives, reading of data from register file I, register file II respectively, and the data that read are sent to error detection circuit I, error detection circuit II; According to the control of system controller, carry out corresponding operating;
Error detection circuit I, error detection circuit II detect the data that read whether single-particle inversion take place, and the error detection result is sent to system controller;
System controller, according to the error detection result, control and executive module I, execution module II utilize described reading of data to carry out present instruction, perhaps control register heap I, register file II replace the data that single-particle inversion takes place with correct data, and the data after will replacing send to execution module I, execution module II respectively; Perhaps control and executive module I, execution module II quit work, and control is simultaneously got the finger print piece and read this instruction again; According to the current state of comparison module notice, control is got the finger print piece and is read present instruction again;
Comparison module compares the result after execution module I, the execution module II execution command, if unanimity as a result then sends to this result the memory module storage; Otherwise, with current state reporting system controller.
2, the anti-single particle effect system based on synchronizing redundant threads and coding techniques according to claim 1 is characterized in that: also comprise writing back module, write back module the result of memory module storage is write back register file I, register file II.
3, the anti-single particle effect system based on synchronizing redundant threads and coding techniques according to claim 1 and 2 is characterized in that the described system controller course of work is as follows:
The first step judges whether to receive the error detection result of error detection circuit I, error detection circuit II transmission, if receive this error detection result, then changeed for second step, otherwise, judge the current state information that is subjected to not receive the comparison module transmission, if receive current state information, then control is got the finger print piece and is read this instruction again; If do not receive current state information, then continue to wait for;
In second step, if the error detection result shows that single-particle inversion does not all take place the data that execution module I, execution module II read from register file I, register file II, then control and executive module I, execution module II utilize the data that read to carry out present instruction;
If the error detection result shows that single-particle inversion all takes place the data that execution module I, execution module II read from register file I, register file II, then control and executive module I, execution module II quit work, and control is simultaneously got the finger print piece and read present instruction again;
If the error detection result shows the data generation single-particle inversion that has only an execution module to read from its register file, then first control and executive module I, execution module II quit work, the data that the correct data that read with another execution module are replaced this generation single-particle inversion, and the data after will replacing send to execution module I, execution module II respectively, restart execution module I, execution module II, utilize the data of replacing to carry out present instruction by execution module I, execution module II.
4, the anti-single particle effect system based on synchronizing redundant threads and coding techniques according to claim 1 and 2 is characterized in that: describedly get the instruction that the finger print piece reads need handle through the EDAC error correcting and detecting from external memory storage; The instruction of reading from the CACHE that hits is handled through parity checking.
5, based on the anti-single particle effect method of synchronizing redundant threads and coding techniques, it is characterized in that: this method is carried out synchronously by two thread branch Pyatyi flowing water, the shared resource of two threads refers to level, thread gating stage, storage level for getting, and redundant resource is decode stage and execution level; Method step is as follows:
(1) get refer to level from the CACHE that hits or from external memory storage reading command, and with the Instructions Cache that reads;
(2) instruction of buffer memory in the thread gating stage read step (1) will be launched behind this Instructions Cache; Simultaneously with described redundant resource gating;
(3) instruction that sends of the decode stage receiving thread gating stage in the redundant resource, and this instruction deciphered, send to execution level after the decoding;
(4) redundant execution level is according to described instruction, reading of data from the register file of place thread separately respectively, read in the process, judge whether the data that read single-particle inversion takes place, if single-particle inversion does not all take place in the data that redundant execution level reads from register file, then redundant execution level utilizes the data that read to carry out this instruction respectively, changes step (5); If single-particle inversion all takes place in the data that redundant execution level reads from register file, stop two thread pipeline, begin to re-execute from step (1); Otherwise, stopping two thread pipeline earlier, the data of the data replacement generation single-particle inversion of single-particle inversion will not take place in redundant execution level, restart described streamline, and utilize the data that read to carry out this instruction respectively, change step (5);
(5) storage level compares redundant execution level execution result, if unanimity is as a result then stored this result; Otherwise, show the single-particle transient state takes place, stop streamline and carry out, begin to re-execute from step (1).
6, the anti-single particle effect method based on synchronizing redundant threads and coding techniques according to claim 1, it is characterized in that: the shared resource of described two threads also comprises and writes back level, writes back level the execution result of storage in the step (5) is write back in the described register file.
7, according to claim 5 or 6 described anti-single particle effect methods based on synchronizing redundant threads and coding techniques, it is characterized in that: getting in the described step (1) refers to that the instruction that level reads need be through the processing of EDAC error correcting and detecting from external memory storage; The instruction of reading from the CACHE that hits is handled through parity checking.
CN2009100789083A 2009-02-27 2009-02-27 An anti-SEE system and method based on synchronizing redundant threads and coding technique Expired - Fee Related CN101551764B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN2009100789083A CN101551764B (en) 2009-02-27 2009-02-27 An anti-SEE system and method based on synchronizing redundant threads and coding technique

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN2009100789083A CN101551764B (en) 2009-02-27 2009-02-27 An anti-SEE system and method based on synchronizing redundant threads and coding technique

Publications (2)

Publication Number Publication Date
CN101551764A true CN101551764A (en) 2009-10-07
CN101551764B CN101551764B (en) 2010-11-10

Family

ID=41156013

Family Applications (1)

Application Number Title Priority Date Filing Date
CN2009100789083A Expired - Fee Related CN101551764B (en) 2009-02-27 2009-02-27 An anti-SEE system and method based on synchronizing redundant threads and coding technique

Country Status (1)

Country Link
CN (1) CN101551764B (en)

Cited By (18)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102893282A (en) * 2010-05-11 2013-01-23 阿尔特拉公司 Method and apparatus for performing asynchronous and synchronous reset removal during synthesis
CN103279329A (en) * 2013-05-08 2013-09-04 中国人民解放军国防科学技术大学 Efficient fetch production line supporting synchronous EDAC inspection
CN103793583A (en) * 2014-03-05 2014-05-14 中国电子科技集团公司第五十八研究所 Equipment radiation resistance reinforcing redesign method
CN104133655A (en) * 2014-07-11 2014-11-05 中国人民解放军信息工程大学 Design method of anti-radiation multiplier based on satellite-borne MIMO detection
CN104317679A (en) * 2014-11-17 2015-01-28 国电南京自动化股份有限公司 Communication fault-tolerant method based on thread redundancy for SCADA (Supervisory Control and Data Acquisition) system
CN104731666A (en) * 2013-12-23 2015-06-24 深圳市国微电子有限公司 Single event upset prevention self-correction integrated circuit and correction method thereof
CN104932950A (en) * 2015-06-08 2015-09-23 西安空间无线电技术研究所 Dynamic synchronous single-particle soft error protection method based on assembly instruction
CN105141302A (en) * 2015-07-24 2015-12-09 西安空间无线电技术研究所 Clock edge based single event upset self-inspection error correction circuit
CN105260263A (en) * 2015-09-16 2016-01-20 深圳怡化电脑股份有限公司 Dynamic correction method and system for money detection magnetic data
CN105320575A (en) * 2015-10-27 2016-02-10 首都师范大学 Self-checking and recovering device and method for dual-modular redundancy assembly lines
CN105320579A (en) * 2015-10-27 2016-02-10 首都师范大学 Self-repairing dual-redundancy assembly line oriented to SPARC V8 processor and fault-tolerant method
CN105511984A (en) * 2015-11-27 2016-04-20 中国航天科技集团公司第九研究院第七七一研究所 Processor fault-tolerant structure based on active link backup data, and method thereof
CN105790755A (en) * 2016-02-26 2016-07-20 北京时代民芯科技有限公司 Single-particle reinforced programmable user register circuit
CN106328209A (en) * 2015-06-30 2017-01-11 中国科学院电子学研究所 Storage single event multiple bit upset fault-tolerance method and circuit
CN107423029A (en) * 2016-05-23 2017-12-01 罗伯特·博世有限公司 Computing unit
CN109271282A (en) * 2018-09-06 2019-01-25 北京时代民芯科技有限公司 A kind of single-particle multidigit is wrong independently to repair triple redundance assembly line and design method
CN109558649A (en) * 2018-11-08 2019-04-02 北京控制工程研究所 A kind of register single particle effect analog simulation method towards aerospace chip
CN115080315A (en) * 2022-08-22 2022-09-20 北京国科环宇科技股份有限公司 Fault detection and processing method and device, processor and electronic equipment

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB9813592D0 (en) * 1998-06-25 1998-08-19 Philips Electronics Nv Dynamic memory space allocation
US20050193283A1 (en) * 2003-12-30 2005-09-01 Reinhardt Steven K. Buffering unchecked stores for fault detection in redundant multithreading systems using speculative memory support
US7353365B2 (en) * 2004-09-29 2008-04-01 Intel Corporation Implementing check instructions in each thread within a redundant multithreading environments

Cited By (34)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102893282B (en) * 2010-05-11 2015-11-25 阿尔特拉公司 For performing method and the equipment of asynchronous and synchronous reset removal in comprehensive period
CN102893282A (en) * 2010-05-11 2013-01-23 阿尔特拉公司 Method and apparatus for performing asynchronous and synchronous reset removal during synthesis
CN103279329A (en) * 2013-05-08 2013-09-04 中国人民解放军国防科学技术大学 Efficient fetch production line supporting synchronous EDAC inspection
CN103279329B (en) * 2013-05-08 2015-07-29 中国人民解放军国防科学技术大学 The efficient fetching streamline supporting synchronous EDAC to verify
CN104731666A (en) * 2013-12-23 2015-06-24 深圳市国微电子有限公司 Single event upset prevention self-correction integrated circuit and correction method thereof
CN104731666B (en) * 2013-12-23 2017-12-08 深圳市国微电子有限公司 It is a kind of primary particle inversion resistant from error correction integrated circuit and its error correction method
CN103793583A (en) * 2014-03-05 2014-05-14 中国电子科技集团公司第五十八研究所 Equipment radiation resistance reinforcing redesign method
CN103793583B (en) * 2014-03-05 2017-02-08 中国电子科技集团公司第五十八研究所 Equipment radiation resistance reinforcing redesign method
CN104133655A (en) * 2014-07-11 2014-11-05 中国人民解放军信息工程大学 Design method of anti-radiation multiplier based on satellite-borne MIMO detection
CN104133655B (en) * 2014-07-11 2017-02-15 中国人民解放军信息工程大学 Design method of anti-radiation multiplier based on satellite-borne MIMO detection
CN104317679A (en) * 2014-11-17 2015-01-28 国电南京自动化股份有限公司 Communication fault-tolerant method based on thread redundancy for SCADA (Supervisory Control and Data Acquisition) system
CN104317679B (en) * 2014-11-17 2016-06-08 国电南京自动化股份有限公司 A kind of SCADA system is based on the communication fault-tolerance method of thread redundancy
CN104932950B (en) * 2015-06-08 2018-01-05 西安空间无线电技术研究所 A kind of dynamic synchronization single-particle soft error means of defence based on assembly instruction
CN104932950A (en) * 2015-06-08 2015-09-23 西安空间无线电技术研究所 Dynamic synchronous single-particle soft error protection method based on assembly instruction
CN106328209A (en) * 2015-06-30 2017-01-11 中国科学院电子学研究所 Storage single event multiple bit upset fault-tolerance method and circuit
CN106328209B (en) * 2015-06-30 2020-01-21 中国科学院电子学研究所 Memory single-particle multi-bit upset fault-tolerant method and circuit
CN105141302A (en) * 2015-07-24 2015-12-09 西安空间无线电技术研究所 Clock edge based single event upset self-inspection error correction circuit
CN105260263A (en) * 2015-09-16 2016-01-20 深圳怡化电脑股份有限公司 Dynamic correction method and system for money detection magnetic data
CN105260263B (en) * 2015-09-16 2019-01-11 深圳怡化电脑股份有限公司 A kind of the dynamic antidote and system of money-checking magnetic data
CN105320579A (en) * 2015-10-27 2016-02-10 首都师范大学 Self-repairing dual-redundancy assembly line oriented to SPARC V8 processor and fault-tolerant method
CN105320575A (en) * 2015-10-27 2016-02-10 首都师范大学 Self-checking and recovering device and method for dual-modular redundancy assembly lines
CN105320575B (en) * 2015-10-27 2018-03-23 首都师范大学 A kind of self checking of duplication redundancy streamline and recovery device and method
CN105320579B (en) * 2015-10-27 2018-03-23 首都师范大学 Towards the selfreparing dual redundant streamline and fault-tolerance approach of SPARC V8 processors
CN105511984A (en) * 2015-11-27 2016-04-20 中国航天科技集团公司第九研究院第七七一研究所 Processor fault-tolerant structure based on active link backup data, and method thereof
CN105511984B (en) * 2015-11-27 2018-04-20 中国航天科技集团公司第九研究院第七七一研究所 A kind of processor and fault-tolerance approach with fault-tolerant architecture based on active link [HTML] Backup Data
CN105790755A (en) * 2016-02-26 2016-07-20 北京时代民芯科技有限公司 Single-particle reinforced programmable user register circuit
CN105790755B (en) * 2016-02-26 2018-11-06 北京时代民芯科技有限公司 A kind of programmable user register circuit that single-particle is reinforced
CN107423029A (en) * 2016-05-23 2017-12-01 罗伯特·博世有限公司 Computing unit
CN107423029B (en) * 2016-05-23 2024-04-19 罗伯特·博世有限公司 Calculation unit
CN109271282A (en) * 2018-09-06 2019-01-25 北京时代民芯科技有限公司 A kind of single-particle multidigit is wrong independently to repair triple redundance assembly line and design method
CN109558649A (en) * 2018-11-08 2019-04-02 北京控制工程研究所 A kind of register single particle effect analog simulation method towards aerospace chip
CN109558649B (en) * 2018-11-08 2023-06-09 北京控制工程研究所 Register single event effect simulation method for aerospace chip
CN115080315A (en) * 2022-08-22 2022-09-20 北京国科环宇科技股份有限公司 Fault detection and processing method and device, processor and electronic equipment
CN115080315B (en) * 2022-08-22 2022-12-13 北京国科环宇科技股份有限公司 Fault detection and processing method and device, processor and electronic equipment

Also Published As

Publication number Publication date
CN101551764B (en) 2010-11-10

Similar Documents

Publication Publication Date Title
CN101551764B (en) An anti-SEE system and method based on synchronizing redundant threads and coding technique
CN100401262C (en) Error detection and recovery within processing stages of an integrated circuit
US7320091B2 (en) Error recovery within processing stages of an integrated circuit
US8489919B2 (en) Circuits and methods for processors with multiple redundancy techniques for mitigating radiation errors
CN105320579B (en) Towards the selfreparing dual redundant streamline and fault-tolerance approach of SPARC V8 processors
US20100058107A1 (en) Error recovery within processing stages of an integrated circuit
US7689804B2 (en) Selectively protecting a register file
CN101213522A (en) Reducing the uncorrectable error rate in a lockstepped dual-modular redundancy system
CN101615147A (en) The skin satellite is based on the fault-tolerance approach of the memory module of FPGA
CN105320575B (en) A kind of self checking of duplication redundancy streamline and recovery device and method
CN105260256B (en) A kind of fault detect of duplication redundancy streamline and backing method
Lee et al. Survey of error and fault detection mechanisms
US10303566B2 (en) Apparatus and method for checking output data during redundant execution of instructions
CN103279329B (en) The efficient fetching streamline supporting synchronous EDAC to verify
US20200319984A1 (en) Error detection for processing elements redundantly processing a same processing workload
US20080229134A1 (en) Reliability morph for a dual-core transaction-processing system
CN205193785U (en) Self -check and recovery device of duplication redundancy assembly line
CN205193787U (en) Fault detection of duplication redundancy assembly line reaches back and moves back device
CN106844281A (en) A kind of highly reliable Instruction Cache suitable for Power PC Processor
Hong et al. Design and implementation of fault-tolerant soft processors on FPGAs
CN205193786U (en) Towards two redundant assembly linies of selfreparing of SPARC V8 treater
Almukhaizim et al. Cost-effective graceful degradation in speculative processor subsystems: The branch prediction case
CN107168827B (en) Dual-redundancy pipeline and fault-tolerant method based on check point technology
CN105260272B (en) A kind of synchronous error correction Pipeline control structure and its method
CN103645964A (en) Cache fault tolerance mechanism for embedded processor

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: 20101110

Termination date: 20190227

CF01 Termination of patent right due to non-payment of annual fee