Application of Error-Correcting Codes in Computer Reliability Studies

The use of error-correcting codes as one of the important techniques to increase computer system reliability is introduced. The different codes used in the central processing unit (CPU) are described. Since the CPU usually contains the data path, logic, and arithmetic units, the codes used in this area are error-detecting codes, such as parity check codes and residue codes. The codes used or suggested for the memory system are discussed, emphasis being placed on parity check codes, two-dimensional codes, Hamming codes and other recently developed codes. The various codes used in the input/output system are presented. The input/output area of the computer system is relatively unreliable as compared with CPU or memory; therefore, error-correcting codes used in this area usually are much more powerful than single parity check codes. These include codes for the magnetic tape, disk, and drum units. The error coding techniques are compared with other techniques for increasing computer system reliability. The future trend of using error-correcting codes in a computer system is also discussed.

[1]  Paul R. Daher.  Automatic Correction of Multiple Errors Originating in a Computer Memory , 1963, IBM J. Res. Dev..

[2]  Richard W. Hamming,et al.  Error detecting and error correcting codes , 1950 .

[3]  D. B. Armstrong.  A general method of applying error correction to synchronous digital systems , 1961 .

[4]  J. D. Kuehler,et al.  A photo-digital mass storage system , 1899, AFIPS '66 (Fall).

[5]  Peter G. Neumann,et al.  On the Logical Design of Noiseless Load-Sharing Matrix Switches , 1962, IRE Trans. Electron. Comput..

[6]  D. K. Ray-Chaudhuri.  On the construction of minimally redundant reliable system designs , 1961 .

[7]  T. R. N. Rao.  Error-Checking Logic for Arithmetic-Type Operations of a Processor , 1968, IEEE Transactions on Computers.

[8]  D. Slepian.  A class of binary signaling alphabets , 1956 .

[9]  R. T. Chien,et al.  Error detection and correction in a photo-digital storage system , 1968 .

[10]  W. W. Peterson,et al.  Cyclic Codes for Error Detection , 1961, Proceedings of the IRE.

[11]  W. W. Peterson,et al.  Error-Correcting Codes. , 1962 .

[12]  Dwijendra K. Ray-Chaudhuri,et al.  Binary mixture flow with free energy lattice Boltzmann methods , 2022, arXiv.org.

[13]  K. Y. Sih,et al.  Serial-to-Parallel Transformation of Linear-Feedback Shift-Register Circuits , 1964, IEEE Trans. Electron. Comput..

[14]  Luther D. Rudolph,et al.  A class of majority logic decodable codes (Corresp.) , 1967, IEEE Trans. Inf. Theory.

[15]  S. Louis Hakimi,et al.  Graph theoretic error-correcting codes , 1968, IEEE Trans. Inf. Theory.

[16]  John E. Meggitt.  Error Correcting Codes for Correcting Bursts of Errors , 1960, IBM J. Res. Dev..

[17]  Peter D. Welch.  On the Reliability of Polymorphic Systems , 1965, IBM Syst. J..

[18]  G. Constantine.  A Load-Sharing Matrix Switch , 1958, IBM J. Res. Dev..

[19]  Morris Rubinoff,et al.  n-dimensional codes for detecting and correcting multiple errors0 , 1961, CACM.

[20]  David T. Brown.  Error Detecting and Correcting Binary Codes for Arithmetic Operations , 1960, IRE Trans. Electron. Comput..

[21]  J. von Neumann,et al.  Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components , 1956 .

[22]  Claude E. Shannon,et al.  Reliable Circuits Using Less Reliable Relays , 1956 .

[23]  Irving S. Reed,et al.  A class of multiple-error-correcting codes and the decoding scheme , 1954, Trans. IRE Prof. Group Inf. Theory.

[24]  Harvey L. Garner,et al.  Generalized Parity Checking , 1958, IRE Trans. Electron. Comput..

[25]  Robert T. Chien,et al.  On linear residue codes for burst-error correction , 1964, IEEE Trans. Inf. Theory.

[26]  Norman M. Abramson,et al.  A class of systematic codes for non-independent errors , 1959, IRE Trans. Inf. Theory.

[27]  Mu Yue Hsiao,et al.  The Carry-Dependent Sum Adder , 1963, IEEE Trans. Electron. Comput..

[28]  Mu Yue Hsiao.  Single-Channel Error Correction in an f-Channel System , 1968, IEEE Transactions on Computers.

[29]  Thomas B. Lewis.  Primary Processor and Data Storage Equipment for the Orbiting Astronomical Observatory , 1963, IEEE Trans. Electron. Comput..

[30]  David S. Slepian,et al.  A note off two binary signaling alphabets , 1956, IRE Trans. Inf. Theory.

[31]  John S. Liptay,et al.  Structural Aspects of the System/360 Model 85 II: The Cache , 1968, IBM Syst. J..

[32]  Peter Calingaert,et al.  Two-Dimensional Parity Checking , 1961, JACM.

[33]  W. W. Peterson,et al.  On Codes for Checking Logical Operations , 1959, IBM J. Res. Dev..

[34]  D. S. Henderson.  Residue class error checking codes , 1961, ACM National Meeting.