Multiprocessor checking using watchdog processors

Computer Systems Science and Engineering

Volumn 11, Issue 5, 1996, Pages 301-310

  Majzik, I ^a   Hohl, W ^b   Pataricza, A ^a,b   Sieh, V ^b  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^b UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

Control flow checking; Multiprocessor checking; Watchdog processors

Indexed keywords

COMPUTER SIMULATION; DISTRIBUTED DATABASE SYSTEMS; MULTIPROGRAMMING; PROGRAM PROCESSORS; PROGRAMMED CONTROL SYSTEMS;

ASSIGNED SIGNATURE SCHEME; CONTROL FLOW CHECKING SCHEME; REFERENCE DATABASE; REFERENCE SIGNATURES; RUN TIME SIGNATURES; TIME CONSUMING SEARCH; WATCHDOG PROCESSORS;

MULTIPROCESSING SYSTEMS;

EID: 0030232608     PISSN: 02676192     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (18)

1. Mahmood, A and McCluskey, E J 'Concurrent Error Detection Using Watchdog Processors - A Survey', IEEE Trans. Comp., Vol 37 No 2 (February 1988) pp 160-1 74.
2. Hönig, J and Sieh, V 'Software-Based Concurrent Control Flow Checking', Internal Report IMMD 3, Univ. Erlangen (1994).
3. Schuette, M and Shen, J P 'Exploiting Instruction Level Resource Parallelism for Transparent Integrated ControlFlow Monitoring', Proc. FTCS-21, IEEE (1991) pp 318-325.
4. Shen, J P and Tomas, S P 'A Roving Monitoring Processor for Detection of Control Flow Errors in Multiple Processor Systems', Microprocessing and Microprogramming 20, North Holland (1987) pp 249-269.
5. Madeira, H, Camoes, J and Silva, G 'A Watchdog Processor for Concurrent Error Detection in Multiple Processor Systems', Microprocessors and Microsystems, Vol 15 No 3 (April 1991) pp 123-131.
6. Michel, E and Hohl, W 'Concurrent Error Detection Using Watchdog Processors in the Multiprocessor System MEMSY', in M. Dal Cin, W. Hohl (eds.), Fault Tolerant Computing Systems, Informatik-Fachberichte 283, Springer. Berlin (1991) pp 54-64.
7. Eifert, J B and Shen, J P 'Processor Monitoring Using Asynchronous Signatured Instruction Streams', Proc. FTCS-14. IEEE (1984) pp 394-399.
8. Sridhar, T and Thatte, S M 'Concurrent Checking of Program Flow in VLSI Processors', Proc. 1982 Int. Test Conf., IEEE (1982) pp 191-199.
9. Lu, D J 'Watchdog Processors and Structural Integrity Checking', IEEE Trans. Comp., Vol 31 No 7 (July 1982) pp 681-685.
10. Pataricza, A, Majzik , I, Hohl, W and Hönig, J 'Watchdog Processors in Parallel Systems', Microprocessing and Microprogramming 39, North Holland (1993) pp 69-74
11. Dal Cin, M et al. 'Fault Tolerance in Distributed Shared Memory Multiprocessors', in A. Bode, M. Dal Cin (eds.), Parallel Computer Architectures, LNCS 732, Springer, Berlin (1993) pp 31-48.
12. Dal Cin, M, Hohl, W, Honig, J and Pataricza, A 'MEMSY - A Modular Expandable Multiprocessor System with Fault Tolerance', Proc. Parallel Systems Fair of the 8th IEEE Int. Parallel Proc. Symp., Cancun (1994) pp 21-28.
13. Dal Cin, M, Hohl, W et al. 'Architecture and Realization of the Modular Expandable Multiprocessor System MEMSY', Proc. 1st Int. Conf: on Massively Parallel Computing Systems (MPCS'94), Ischia (May 2-6 1994) pp 7-15.
14. Majzik, I 'SEIS : A Program Control Flow Graph Encoding Algorithm for Control Flow Checking', Technical Report TUB-TR-94-EE14, Technical University of Budapest (1994).
15. Milner, R Communication and Concurrency, Prentice Hall, New York (1989).
16. Handy, J The Cache Memory Handbook. Academic Press, San Diego (1993).
17. Miremadi, G, Karlsson, J, Gunneflo, U and Torin, J 'Two Software Techniques for On-Line Error Detection', Proc FTCS-22, IEEE (1992) pp 328-335.
18. Michel, T, Leveugle, R and Saucier, G 'A new approach to control flow checking without program modification', Proc. FTCS-21, IEEE (1991) pp. 334-341.