PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Maestrini P., Santi P. Self diagnosis of processor arrays using a comparison model. In: Proceedings of 14th Symposium on Reliable distributed Systems (Bad Neuenahr, Germany, 13-15 September 1995). Proceedings, pp. 218 - 228. IEEE, 1995.
 
 
Abstract
(English)
This paper introduces a diagnosing algorithm for bidimensional processor arrays, where processors are interconnected in horizontal and vertical meshes. For the purpose of diagnosis, the array is considered to be partitioned in square clusters ofprocessors. The algorithm is based on interprocessor tests, using a comparison model. The algorithm, which is divided in four steps, called intracluster diagnosis, interluster diagnosis.faultfree core identification and augmentation, identifies a set of non-faulty and a set offaulty units. The diagnosis is proved to be correct in the worst case, assuming that the actual number offaulty processors is no more that T(N), an increasing function of the number N ofprocessors. It is shown that T(N) is O(N%). Although correct, the diagnosis is generally incomplete. However, using probabilistic techniques, it is shown that the diagnosis is very likely to be complete under the same limitationswhich ensure correctness in the worst case.
Subject Fault tolerance
System diagnosis
Comparison model
Syndrome decoding
Array processors
B.8.1 Performance and Reliability: Reliability,Testing andFault.Tolerance


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional