درحال بارگذاري...
CFCET: A hardware-based control flow checking technique in COTS processors using execution tracing
82 مرتبه مشاهده شده

CFCET: A hardware-based control flow checking technique in COTS processors using execution tracing

Rajabzadeh, A.

  1. DOI:10.1016/j.microrel.2005.07.108
  2. Main Entry: Rajabzadeh, A.
  3. Title:CFCET: A hardware-based control flow checking technique in COTS processors using execution tracing.
  4. Publisher:2006.
  5. Abstract:This paper presents a behavioral-based error detection technique called control flow checking by execution tracing (CFCET) to increase concurrent error detection capabilities of commercial off-the-shelf (COTS) processors. This technique traces the program jumps graph (PJG) at run-time and compares it with the reference jumps graph to detect possible violations caused by transient faults. The reference graph is driven by a preprocessor from the source program. The idea behind the CFCET is based on using an external watchdog processor (WDP) and also the internal execution tracing feature available in COTS processors to monitor the addresses of taken branches in a program, externally. This is done without any modification of application programs, thus, the program overhead is zero. This technique is analytically evaluated based on three different fault models. The results show that the error detection coverage varies between 79.74% and 96.43% depending on the different workload programs. The errors are detected with about zero latency. The external hardware overhead is about 3% using the Altera flex 10K30 FPGA and the execution time overhead is between 33.26% and 140.81% for different workload programs. The overheads have been measured experimentally by executing the workloads on a Pentium system
  6. Notes:Sharif Repository
  7. Subject:Error detection.
  8. Subject:Field programmable gate arrays.
  9. Subject:Flow control.
  10. Subject:Graph theory.
  11. Subject:Program processors.
  12. Subject:Commercial off-the-shelf (COTS) processors.
  13. Subject:External watchdog processor (WDP)
  14. Subject:Hardware-based control flow checking technique (cfcet)
  15. Subject:Source program.
  16. Subject:Computer hardware.
  17. Added Entry:Miremadi, S. G.
  18. Added Entry:Sharif University of Technology.
  19. Source: Microelectronics Reliability ; Volume 46, Issue 5-6 , 2006 , Pages 959-972 ; 00262714 (ISSN)
  20. Web Site:https://www.sciencedirect.com/science/article/pii/S0026271405002921

 فهرست نقدها