LDPC Codes for 2D Arrays

Binary codes over 2D arrays are very useful in data storage, where each array column represents a storage device or unit that may suffer failure. In this paper, we propose a new framework for probabilistic construction of codes on 2D arrays. Instead of a pure combinatorial erasure model used in traditional array codes, we propose a mixed combinatorial-probabilistic model of limiting the number of column failures, and assuming a binary erasure channel in each failing column. For this model, we give code constructions and detailed analysis that allow sustaining a large number of column failures with graceful degradation in the fraction of erasures correctable in failing columns. Another advantage of the new framework is that it uses low-complexity iterative decoding. The key component in the analysis of the new codes is to analyze the decoding graphs induced by the failed columns, and infer the decoding performance as a function of the code design parameters, as well as the array size and failure parameters. A particularly interesting class of codes, called probabilistically maximum distance separable (MDS) array codes, gives fault-tolerance that is equivalent to traditional MDS array codes. The results also include a proof that the 2D codes outperform standard 1D low-density parity-check codes.

[1]  H. D. Brunk,et al.  A Comparison of Binomial Approximations to the Hypergeometric Distribution , 1968 .

[2]  Jehoshua Bruck,et al.  Low-Complexity Array Codes for Random and Clustered 4-Erasures , 2012, IEEE Transactions on Information Theory.

[3]  B. Harshbarger An Introduction to Probability Theory and its Applications, Volume I , 1958 .

[4]  Robert G. Gallager,et al.  Low-density parity-check codes , 1962, IRE Trans. Inf. Theory.

[5]  Ron M. Roth,et al.  Coding for Combined Block–Symbol Error Correction , 2013, IEEE Transactions on Information Theory.

[6]  Michael Mitzenmacher,et al.  Analysis of random processes via And-Or tree evaluation , 1998, SODA '98.

[7]  Mario Blaum,et al.  Partial-MDS Codes and Their Application to RAID Type of Architectures , 2012, IEEE Transactions on Information Theory.

[8]  M. Aminshokrollahi New sequences of linear time erasure codes approaching the channel capacity , 1999 .

[9]  Rüdiger L. Urbanke,et al.  Modern Coding Theory , 2008 .

[10]  Mario Blaum,et al.  New array codes for multiple phased burst correction , 1993, IEEE Trans. Inf. Theory.

[11]  Lihao Xu,et al.  Soft decoding of several classes of array codes , 2002, Proceedings IEEE International Symposium on Information Theory,.

[12]  Daniel A. Spielman,et al.  Efficient erasure correcting codes , 2001, IEEE Trans. Inf. Theory.

[13]  Randy H. Katz,et al.  A case for redundant arrays of inexpensive disks (RAID) , 1988, SIGMOD '88.

[14]  William Feller,et al.  An Introduction to Probability Theory and Its Applications , 1951 .

[15]  Amin Shokrollahi,et al.  Array-code ensembles -or- two-dimensional LDPC codes , 2011, 2011 IEEE International Symposium on Information Theory Proceedings.

[16]  Frank E. Grubbs,et al.  An Introduction to Probability Theory and Its Applications , 1951 .

[17]  Amin Shokrollahi,et al.  Capacity-achieving sequences for the erasure channel , 2002, IEEE Trans. Inf. Theory.