# Patent

## Title
Data error control

## Abstract

Multiple corruptions and/or erasures in data storage or data communication systems are corrected. An encoder generates M of parity fields from N data channels. Each item of the generated parity fields is the result of simple exclusive-or operations on one item from one or more data fields and possibly one item from one or more of the other parity fields. A decoder can regenerate as many as M missing or corrupted fields of either data or parity using combinations of correct and/or previously corrected items as inputs using M independent parity equations to solve for and correct each missing or corrupted item in turn.

## Background
CROSS-REFERENCE TO RELATED APPLICATIONS
This application is a divisional application of, and claims priority to, U.S. patent application Ser. No. 11/187,737, filed Jul. 22, 2005, which is incorporated by reference in its entirety, which claims the benefit of U.S. Provisional Application No. 60/590,307 filed Jul. 22, 2004, which is incorporated by reference in its entirety. This application is related to PCT Application No. PCT/US2005/026275, of the same title, filed concurrently with U.S. patent application Ser. No. 11/187,737.


BACKGROUND
This specification relates to error control for data that is subject to corruptions or erasures.
Various techniques are used for error control of data in the face of errors and erasures in the data. A number of techniques are applicable to data that is represented or representable as N channels. In some techniques, in addition to the N channels of data, redundant data in the form of parity is also computed to form additional channels, and the original and redundant channels are distributed each to a separate storage system. If one of the storage systems fails, and therefore represents an “erasure” of the data for the corresponding channel, a redundant parity channel can be used to reconstruct the data. This general approach is used in various variants of RAID (Redundant Array of Inexpensive Disks) systems.
Parity, as well as various other forms of error detecting and correcting codes (generally referred to as Error Correcting Codes, ECCs), have been applied to blocks of data in storage systems, such as in solid state memories and magnetic disk systems. In general, with the addition of M redundant channels, M coincident erasures or coincident corruptions can be corrected in N data channels. RAID- and ECC-type approaches have also been applied when the storage devices are geographically distributed.
Parity approaches have also been used for multiple channels of streaming data, such as parallel bit streams stored on and retrieved from a magnetic tape storage. For example, a stream of parity bits are computed and stored with the data on the tape, with each parity bit being computed from a “stripe” of data bits from the data streams, such as from a stripe across corresponding bits of all the channels. In some approaches, multiple streams of parity bits are computed using diagonal stripes through the data (i.e., using different time offsets for each channel when computing a parity value). With multiple parity streams, one or more errors can be detected, and corrected under certain conditions.
SUMMARY
In one aspect, in general, a method for data error correction includes, in successive iterations, reconstructing entries of one or more of N+M channels of encoded data, the channels representing N channels of source data and satisfying parity equation such that at least some of the entries contribute to M of the parity equations. At each iteration, one or more of the parity equations are applied to reconstruct at least one of the entries in each of the one or more of the N+M channels. M can be 2, 3, 4, 5, or any larger integer.
In another aspect, in general, a method for data error correction includes receiving at least some channels of N+M channels of encoded data that represent N channels of source data, wherein each channel of the N+M channels of encoded data includes a series of entries. The N+M channels of encoded data satisfy parity equations such at least some entries contribute to M of the parity equations. Entries of one or more channels of the N+M channels of encoded data are iteratively reconstructed, at each iteration applying one or more of the parity equations to received or reconstructed entries of the N+M channels of encoded data to reconstruct an entry in each of the one or more of the N+M channels.
One or more of the following features may be included:
Iteratively reconstructing the entries includes reconstructing entries in two or more of the channels.
At each iteration, reconstructing at least some of the entries in the two or more channels uses an entry in another of the two or more channels reconstructed in that iteration.
Reconstructing each entry includes applying a single one of the parity equations to received or reconstructed entries.
Reconstructing at least some entries includes applying a parity equation to a reconstructed entry.
Iteratively reconstructing the entries includes at each iteration reconstructing an entry in one of the one or more channels to be reconstructed using a combination of the parity equations which combination is independent of entries in at least one other of the one or more channels to be reconstructed.
The combination of parity equations is independent of entries in all others of the one or more channels to be reconstructed.
The one or more channels to be reconstructed includes M channels to be reconstructed, and the combination of parity equations is independent of entries in M−1 of the channels.
The method includes determining channels of the N+M channels that were not received, and iteratively reconstructing entries in the one or more channels includes reconstructing entries in channels that were not received.
The method includes detecting errors in entries in the received channels, and iteratively reconstructing entries in the one or more channels includes reconstructing entries in channels in which the errors were detected.
In another aspect, in general, a method includes receiving at least some channels of N+M channels of encoded data that represent N channels of source data, wherein each channel of the N+M channels of encoded data includes a series of entries, the N+M channels of encoded data satisfying parity equations such that each entry in at least some of the N+M channels of encoded data contributes to at least some of the parity equations. At least two of the N+M channels are reconstructed from the received channels, by forming combinations of the parity equations to reconstruct entries in the channels being reconstructed, each combination of parity equations being independent of all entries in at least some of the channels being reconstructed.
One or more of the following features may be included:
Reconstructing the at least two channels includes reconstructing each of the at least two channels independently of other of the at least two channels.
Reconstructing the at least two channels includes reconstructing said channels concurrently.
Reconstructing the at least two channels includes reconstructing said channels in sequence.
In another aspect, in general, a method includes receiving encoded data, including receiving at least N channels of encoded data of N+M channels of encoded data that represent N channels of source data, and correcting errors in the received encoded data by using the received at least N channels of encoded data to correct errors in at least other of the channels of encoded data. Each channel of the N+M channels of encoded data including a series of entries, the channels of encoded data satisfying parity equations such that each entry in at least some of the N+M channels of encoded data contributes to at least M independent parity equations.
One or more of the following features may be included:
Correcting errors in the received encoded data includes using the received at least N channels of encoded data to correct errors in M other of the channels of encoded data.
M is at least three, is at least four, or is at least five.
Receiving the at least N channels of encoded data includes receiving said channels without error.
Receiving the encoded data includes receiving one or more channels other than the received N channels with errors.
Receiving the one or more channels with errors includes receiving said channels with corruption errors.
Receiving the one or more channels with errors includes receiving said channels with erasure errors.
Receiving the encoded data includes not receiving one or more channels other than the received N channels.
Correcting the errors in the received encoded data includes determining a set of error-free channels, the set of error-free channels including at least N channels of encoded data that were received without error.
Correcting the errors further includes determining entries in a set of repaired channels, the set of repaired channels being distinct from the set of error-free channels.
Correcting the errors further includes determining entries in a set of repaired channels, including applying the parity equations to entries in the set of channels of encoded data that were received without error to determine entries in a corrected set of channels of data, the corrected set of channels not in the set of channels of encoded data that were received without error.
Applying the parity equations to entries in the set of channels includes iterating over successive entries in the series of entries in at least one of the repaired channels.
Iterating over the successive entries includes, for each successive entry, applying at least one of the parity equations to determine said entry.
Correcting the errors further includes iterating over entries in the least m other channels of encoded data.
Iterating over the entries includes iteratively determining each entry using one or more of the parity equations.
Determining each entry using one or more of the parity equations includes using one or more of the parity equations in a combination that does not depend on one or more of the at least m other channels of encoded data.
In another aspect, in general, a method includes accepting source data, and representing the source data as N channels of source data, each including a series of I entries. The N channels of source data are encoded to form N+M channels of encoded data, the channels of encoded data satisfying at least M×I independent parity equations, at least I entries of some of the channels of encoded data each being an argument to at least M of the parity equations.
One or more of the following features may be included:
Encoding the N channels includes augmenting the N channels of source data with M channels of parity data, each including a series of at least I entries.
Each entry of the N channels of source data is an argument to M of the parity equations.
In at least some of the M channels of parity data at least I entries in the channel are each an argument to at least two of the parity equations.
In at least some of the M channels of parity data at least I entries in the channel are each an argument to at least M of the parity equations.
Each channel of parity data is associated with a class of parity equations, the class of parity equations being associated with a set of the N+M channels that contribute arguments to the parity equations and relative offsets of entries in the channels that contribute to any of the equations in the class.
The offsets for at least some of the classes of parity equations are such that the relative offsets of the entries form a diagonal line across the N channels of source data when arranged as an array of N columns by I rows.
Representing the source data as N channels of source data includes concatenating a series of extra entries with the series of I entries.
Encoding the N channels of source data to form N+M channels of encoded data includes applying at least some of the parity equations to extra entries and entries representing the source data to determine entries of the encoded data.
The extra entries have zero values.
Encoding the data further includes determining the extra entries as a key to the encoded data.
The encoding of the data enables reconstruction of the source data from any N of the N+M channels of encoded data.
The encoding of the data enables detection of errors in M−1 of the N+M channels of encoded data.
Accepting the source data includes accepting the source data as one or more data streams, representing the one or more data streams as N channels, and encoding the data includes processing the accepted data using a cross-convolutional encoding approach across the N channels to produce the N+M channels of encoded data as a stream of data.
Any two of the parity equations share at most one entry of the N+M channels as an argument.
In another aspect, in general, a method for data error protection includes accepting source data and representing the source data as N channels of source data, each including a series of I entries. The N channels of source data are encoded to form N+M channels of encoded data, the channels of encoded data satisfying at least M×I independent parity equations, at least I entries of some of the channels of encoded data each being an argument to at least M of the parity equations. The N+M channels of encoded data are handled, and then entries in one or more channels of the N+M channels of encoded data are iteratively reconstructed. At each iteration one or more of the parity equations are applied to received or reconstructed entries of the N+M channels of encoded data to reconstruct an entry in each of the one or more of the N+M channels. The source data is recovered using the reconstructed entries.
In another aspect, in general, a method includes representing the source data as N channels of source data, each including a series of I entries. The N channels of source data are encoded to form N+M channels of encoded data, the channels of encoded data satisfying at least M+I independent parity equations, at least I entries of some of the channels of encoded data each contributing to at least M of the parity equations. Errors are introduced into at least M/2 of the N+M channels, and the source data is recovered from the channels.
One or more of the following features may be included:
Encoding the N channels includes augmenting the N channels of source data with M channels of parity data.
The channels are transmitted over different paths.
Transmitting the channels over different paths includes transmitting the channels over different communication links.
Transmitting the channels over different paths includes transmitting the channels at different times.
Transmitting the channels over different paths includes transmitting the channels in different packets.
The channels are stored in different storage devices.
Recovering the source data includes correcting errors in the channels of encoded data, including using least N channels of encoded data to correct errors in at least m>M/2 other of the channels of encoded data.
In anther aspect, a method for distributed storage of data includes representing the source data as N channels of source data, each including a series of I entries. The N channels of source data are encoded to form N+M channels of encoded data, the channels of encoded data satisfying at least M×I independent parity equations, at least I entries of some of the channels of encoded data each being an argument to at least M of the parity equations. The N+M channels of encoded data are distributed to separate storages. At least some of the N+M channels of encoded data are retrieved from the separate storages. The entries in one or more channels of the N+M channels of encoded data are iteratively reconstructed using the retrieved channels, at each iteration applying one or more of the parity equations to received or reconstructed entries of the N+M channels of encoded data to reconstruct an entry in each of the one or more of the N+M channels. The source data is recovered using the reconstructed entries.
In another aspect, in general, a multiple corruptions and/or erasures in data storage or data communication systems are corrected. N of data fields each contain I of items. The data fields are distributed across the storage or communication system so as to contain typical errors or failures in as few fields as possible. An encoder generates M of parity fields. Each item of the generated parity fields is the result of simple exclusive-or operations on one item from one or more data fields and possibly one item from one or more of the other parity fields. The generated parity field operations are unique within the parity field, such that no two parity field operations within the same parity field share any data or parity item. The generated parity fields are independent of each of the other parity fields, such that no two parity field operations from two different parity fields share more than one item. The generated parity fields have a sufficient number of items such that the generated parity field's operations include every item of every data field. The generated parity fields have additional items, the additional items being the result of exclusive-or operations which include fewer than N data items, such that errors in data fields which are not included in those operations have no effect on the result of said operation. A decoder begins with the additional items of the generated parity fields, and regenerates as many as M missing or corrupted fields of either data or parity, item by item, using combinations of correct and previously corrected items as inputs to a cross-convolution of the M independent parity equations, to solve for and correct each missing or corrupted item in turn.
One or more of the following features can be included.
Each item is a bit and the exclusive-or parity operations are bit-wise.
Each item includes multiple bits, and the exclusive-or operations are bit-wise on one of the bits in each item is performed in parallel.
The parity fields are arranged alongside the data fields, and the parity equations of each parity field are generated along a straight line through items in both parity and data fields.
Each parity operation to generate a parity item contains one item from each of the other parity fields.
A first parity field is generated using parity operations including only data fields, and subsequent parity fields are generated using parity operations including data fields and the previous parity field.
The subsequent parity fields have only items whose equations include data fields, but do not have items whose equations cover only the additional items in previous parity fields, and wherein the previous additional parity items which are not included in the subsequent parity field are stored or transmitted using some reliable means.
The parity fields are arranged alongside the data fields, and the parity equations of each parity field are generated along a line which is straight through items in the data fields, but bends to an angle that is perpendicular to the parity fields.
The decoder uses an equation at the beginning or end of the data and parity fields, that include only correct items and one incorrect item, to correct the incorrect item.
The decoder uses another equation which includes only correct items, the previously corrected incorrect item, and one more incorrect item, to correct the second incorrect item.
The decoder proceeds through as many equations are necessary to correct one incorrect item from each data or parity field, establishing a new boundary of correct items.
The decoder repeats the above sequence to move the boundary of correct items through the data and parity fields, until all incorrect items in all fields have been corrected.
In another aspect, in general, an encoder enables correction of up to two incorrect fields. The encoder uses two parity fields, and the parity fields are arranged alongside the data fields, and the parity equations of each parity field are generated along a line which is straight through items in the data fields. A decoder combines a pair of equations at the beginning of the fields, which cross at one of the two incorrect fields, thus XORing the item from that field twice and canceling its incorrect value, and which equations cross the second incorrect field at two places, the first of which is before the data field and therefore has a given value, and the second of which is the first item in the data field. The decoder calculates the value of the item in the second incorrect field at the second equation crossing, in terms of the first given value and the other correct items in the equation, and not including the cancelled item from the first incorrect field, and repeating the above, moving the crossed equations forward through the field, using previously corrected items from the second incorrect field rather than given items from outside the field, until all of the items of the second incorrect field have been corrected. The decoder repeats the above but arranges the equations so that they cross on the second incorrect field, canceling it, and regenerates the first incorrect field from the correct fields and from given or previously corrected items from the first incorrect field, until all of the items in the first incorrect field have been corrected. Alternatively, the decoder regenerates the first incorrect field using standard parity equations on the correct fields and the now-corrected second incorrect field.
In another aspect, in general, an encoder enables correction of three incorrect fields. The encoder uses three parity fields, and the parity fields are arranged alongside the data fields. The parity equations of each parity field are generated along a line which is straight through items in the data fields, the slope of the line being defined as the item offset divided by the field offset between any two items on the line. The equation lines have slopes k0, k1, and k2 respectively, such that k0<k1<k2, and such that k1 is equal (k0+k2)/2. A decoder combines one equation with slope k0, denoted L0, with one equation with slope k2, denoted L2, with two equations with slope k1, denoted L1L and L1H such that the intersection of L1H and L0 is on the first incorrect field, and the intersection of L1H and L2 is on the second incorrect field, the intersection of L1L and L2 being on the first incorrect field and the intersection of L1L and L0 being on the second incorrect field, due to the relationship among the slopes of the lines, thus XORing the items from the first two incorrect fields twice and canceling their incorrect values, and such that the four equations cross the third incorrect field at four places, the first three of which are before the data field and therefore have given values, and the fourth of which is the first item in the data field. The decoder calculates the value of the item in the third incorrect field at the fourth equation crossing, in terms of the first three given values and the other correct items in the equation, and not including the cancelled items from the first and second incorrect fields. Repeating the above, the decoder moves the crossed equations forward through the field, eventually using previously corrected items from the third incorrect field rather than given items from outside the field, until all of the items of the third incorrect field have been corrected. The decoder repeats the above but arranges the equations so that they cross on the first and third incorrect field, canceling them, and regenerates the second incorrect field from the correct fields and from given or previously corrected items from the second incorrect field, until all of the items in the second incorrect field have been corrected. The decoder either repeats the above but arranges the equations so that they cross on the second and third incorrect fields, canceling them, and regenerates the first incorrect field from the correct fields and from given or previously corrected items from the first incorrect field, until all of the items in the first incorrect field have been corrected, or regenerates the first incorrect field using standard parity equations on the correct fields and the now-corrected second and third incorrect fields.
Incorrect bits in one data field can be detected by using the two crossed equations to cancel each field, one field at a time, until the remaining parity equations show no errors, such that the errors must be in the cancelled field.
Incorrect bits in up to two data fields can be detected by using the four crossed equations to cancel each pair field, one pair of fields at a time, until the remaining parity equations show no errors, such that the errors must be in the pair of cancelled fields.
Aspects can include one or more the following advantages.
In a system where data is stored in separate storage devices and/or transmitted across multiple communication channels (or at multiple different times or in multiple different packets) and where the storage devices and/or communication channels may fail or corrupt data, it is desirable to protect data from loss or corruption. An advantage over previous methods can include providing protection against more simultaneous failures using limited redundant data.
The data reconstruction, which is based on combination of parity equations, can be implemented as an XOR of delayed versions of the data channels using efficient hardware or software. The reconstruction approach can be more efficient than techniques based on more complex error correction approaches, such as Reed Solomon codes.
The approach can be extended to handle detection of M−1 error channels and reconstruct M error channels with the addition of M parity channels.
Data protection can be applied in storage and communication systems, as well as in tandem combinations of such systems.
Data protection is achieved with arbitrary numbers of failures with the least possible redundant data.
Detecting and correction of multiple data storage or communication failures is possible in situations which are undetected by other means.
Additional protection can be incrementally added to less-protected data, for example being added to data protected using standard parity protection.
Other features and advantages of the invention are apparent from the following description, and from the claims.



DESCRIPTION OF DRAWINGS
FIG. 1A is a block diagram.
FIG. 1B is a diagram of array representations of data.
FIG. 2 is a diagram of an encoded array.
FIG. 3 is a diagram that illustrates computation for firstbit and lastbit values in a data array.
FIGS. 4A-B are diagrams of a data array that illustrate a decoding example.
FIG. 5 is a diagram of a data array that illustrates a decoding example.
FIG. 6 is a diagram of a data array that illustrates a decoding example.
FIG. 7 is a diagram of a Parity Edge Decoder.
FIG. 8 is a diagram of a Syndrome Edge Decoder.
FIGS. 9A-B are diagrams of a data array that illustrate a decoding example.
FIGS. 10A-C are diagrams of a data array that illustrate a decoding example.
FIGS. 11A-B are diagrams of a data array that illustrate syndrome calculation.
FIG. 12 is a block diagram of a decoder.
FIG. 13 is a diagram of an encoded array.
FIG. 14 is a diagram of a data array that illustrates a decoding example.
FIGS. 15A-D are diagrams of a data array that illustrate a decoding example.
FIGS. 16A-C are diagrams of a data array that illustrate a decoding example.
FIG. 17 is a diagram of an encoded array.
FIG. 18 is a diagram of a data array that illustrates a decoding example.
FIG. 19 is a diagram of an encoded array.
FIG. 20 is a block diagram of an implementation of a storage system.
FIG. 21 is a diagram of a storage device.
FIG. 22 is a block diagram of an implementation of a storage system.
FIG. 23A is a diagram of a data array that illustrates a decoding example.
FIG. 23B is a diagram of a data array that illustrates a decoding example.



DESCRIPTION
Referring to FIG. 1A, a distributed transmission and/or storage system 100 accepts source data 110, which is represented by the system as a finite length block of N parallel data channels (also referred as “fields”), each channel including a series of entries (or “items”). The data may be naturally divided into parallel data channels, or alternatively, the system 100 may segment the data into separate channels as part of its input processing. As an example, the data may represent audio/video recordings, which are stored by the system 100 for later transmission on demand to viewers serviced by the system. The system can segment a continuous stream into blocks. As an example, a continuous stream (e.g., a multimedia stream) may be segmented into 64 kilo-byte (KB) portions, each portion being divided into N=4 channels of 16 KB each (e.g., as a round robin), and each of the 8 bit positions generating one array of 64 kilo-bits (Kb) (i.e., 16 Kb per channel) of size N=4 and length I=16K.
A data encoder 115 of the system accepts the N parallel data channels of source data 110 and computes an additional M channels of redundant data that is generally based on parity computations on the source data. In some embodiments, the (N+M) parity encoded channels 120 are stored in a distributed storage system 125, for example based on magnetic disk storage devices. In one example, the separate storage devices may be implemented using separate computers on a data network, and the separate computers can be geographically distributed for added resilience against errors that are caused by geographically-localized phenomena (e.g., earthquakes). In other embodiments, the (N+M) channels are transmitted from the encoder 110 to the decoder 135 without storage (other than buffering in the transmission system).
Errors (i.e., corruptions and erasures) may be introduced in the data at a number of different points. For example, data errors may be introduced during transmission of data from the data encoder 115 to the storage devices 126. Once stored, data may be introduced within the storage devices themselves, for example, due to media faults in the devices or due to failures of entire devices. For example, with sufficiently large quantities of stored data, even with today's high data reliability rates, at least some errors are likely be introduced while that data is stored. Finally, data transmission errors may be introduced when the data is retrieved from the storage devices 126.
In addition to corruptions, typically characterized by incorrect binary digits in the data, data may be “erased” or be otherwise unavailable. Erasures are different then corruptions in that an erasure of a channel can be distinguished from incorrect data on that channel by a downstream decoder without having to apply an error detection algorithm, for example using multiple channels. For example, erasures can be indicated by side information (not illustrated) that indicates the status of a channel or a range of data within a channel.
The system 100 includes a data decoder/repairer 135, which receives the N+M 130 channels that may have errors from storage system 125, or alternatively directly (e.g., over imperfect transmission channels) from the data encoding module 115 if the data is not stored. This module serves functions including detection of errors in particular channels of the stored data, and based on the detected errors both reconstructs error-free data 140 for transmission to users of the data and optionally passes rebuilding data 145 for correcting errors that may be represented in the stored data to the distributed data 125. For example, if errors were introduced during transmission of data from the data encoding module 115 to the storage 125, or were introduced after the data was initially stored in the storage, the rebuilding data 145 is used to correct those errors so that if the same data is later read from the storage 125, it will no longer be in error.
The error-free data 140 can include all (N+M) channels (i.e., including the redundant channels), or alternatively only the original N channels are provided. Providing all (N+M) enables downstream application of further decoding and repair modules 135, for example to correct errors made during the downstream transmission or in subsequent storage of the channels.
Referring to FIG. 1B, the data encoder 115 and the corresponding data decoder/repairer 135 implement an encoding/decoding procedure that is generally applicable in situations in which source data 110 can be represented as a source array D 112.
In matrix D 112, an entry Dni represents a data value at row i column n (i.e., channel n), where the row indices range from 0 to I−1 and the column indices range from 1 to N. In the discussion below, the data values Dni are treated as binary digits but multibit values can be handled as well, for example, by processing each bit position separately or performing logical operations on an entire multibit word in parallel (i.e., FIG. 1B represents one bit of the multibit data). After encoding, the encoded data 120 is represented by a somewhat larger encoded array 122. The encoded array has M additional columns of redundant (“parity”) data, with column indices for the redundant data ranging from −M+1 (the “leftmost”) to 0 (the “rightmost”) with entries Pmi, where −M<m≦0. Therefore, the column indices of the encoded array 112 range from −M+1 to N. PDni denotes the entries of the original encoded matrix 112, such that PDni=Dni for n≧1 and PDni=Pni for n≦0.
The encoded array 122 includes a number of additional rows at row indices less than 0 and greater than or equal to I. In the data columns 1 through N, the values in the additional rows are defined to have zero entries (or alternatively are defined to have a pattern of values that will be known to the decoder without error). In the parity columns (i.e., columns −M+1 through 0), parity data in general extends for a number of rows before row 0, and for a number of rows after row I−1. As a definition, firstbitn is the first (lowest index) row that may have nonzero data in column n, and lastbitn is the row index of the last row that may have nonzero data in column n. For columns n=1 through n=N, firstbitn=0 and lastbitn=I−1. For parity columns n<0, firstbitn is generally less than zero and lastbitn is generally greater than I−1. The repaired data 140 can be represented as a repaired array 142, which has the same structure as the source array 112.
The encoding approach is applicable to situations in which errors are likely to remain within a limited number of columns. For example, this can be the case when each column is associated with a particular storage device, a communications channel, or a communications packet. In such situations, many errors might be expected to occur in the columns associated with those devices with no errors in other devices.
In various versions of the approach the data encoder produces a set of parity columns whose values are generated from a set of parity equations. Each parity equation forms a constraint on the entries to which it is applied (i.e., on the entries that appear in the equation, which are also referred to as the arguments of the parity equation). The encoding in these versions can be accomplished using various selections of bits for each parity equation. A preferred way to select bits for the parity equations is to select the bits is to establish straight lines across the data columns, with each parity equation using a line at a different slope. The parity equation for a line is the sum (modulo 2, or equivalently an XOR) of the values in the array that intersect the line. The parity equations for successive parity values in a particular parity column therefore correspond to parallel lines through the data and parity columns. Every data value (bit) is contained in one and only one of the parity equations for any particular parity column. That is, in general each data value is intersected by multiple parity equation lines, but at most one line associated with a particular parity column. Parity equations are independent. Therefore no two parity equations share (i.e., have lines that cross at) any more than one data or parity bit.
Since the parity equations crisscross with data columns and with each other, one general decoding method is to work from bottom to top, calculating each unknown data bit in a column, one at a time, from lower row index, known good or corrected bits in the same column, and known good or corrected bits from other columns, using the relationships established by the multiple, crisscrossing equations. This “cross-convolution” differs from other convolution approaches in that data column bits are not just generated from the column's own earlier values, but also from values in other columns.
1 Cross-Convolutional Encoding
1.1 Parity to Column Mapping
For notational simplicity, as introduced above, the extra parity values are indexed from m=0 through m=M−1. In one example which is carried through much of the discussion below, the m=0 parity value is stored in column index −M+1 and the m=M−1 parity value is stored in column index 0. For generality, we define a mapping pcolLm to be the column index in which parity value m is stored, and its inverse mapping lpcoln to be the index of the parity value that is stored in column n. In this example, definitions of pcolLm and lpcoln are provided in EQS. 1.1-1.2.
Each parity value in a row is associated with a line of a particular different slope. The rightmost parity uses the highest slope line, and the leftmost parity uses the lowest slope line.
Referring to FIG. 2, in an example with N=5 and M=4, the slopes of lines 210 increase with increasing parity index m and range from −2 to +1 for parity indices m=0 to m=3. The quantity Km denotes the slope of a line 210, denoted Lm, associated with parity index m.
1.2 Determine Firstbit and Lastbits for Parity
The definitions of the lines associated with the parity columns implicitly define the values of firstbitn and lastbitn for n≦0. A procedure to compute the firstbit and lastbit values is provided in PROC. 1.1. In the example with M=4 and N=5, and with line slopes Km=−2, . . . , +1, the values of firstbitn are −2, −4, −5, −5, and the values of lastbitn are I+13, I+11, I+10, I+10, respectively. In other examples, different line slopes, for example ascending with increasing column index, result in different values of firstbitn and lastbitn for the parity columns.
Referring to FIG. 3, the firstbits are computed such that in column n=0 (parity index m=3), firstbit0 is −5 so that a line of slope +1 from P0,−5 passes through the data value D5,0. In column n=−1, firstbit−1 is −5 so that a line of slope 0 from P−1,−5 passes through P0,−5. In column n=−2, firstbit−2 is −4 so that a line slope of −1 from P−2,−4 passes through P−1,−5. Finally, in column n=−3, firstbit−3 is −2 so that a line of slope −2 from P−3,−2 passes through P−2,−4.
The lastbits are determined similarly.
1.3 Parity Bit Values
Referring to FIG. 2, a diagram illustrating encoded array 122 represents each column as a vertical line, in this example with M=4 parity columns and N=5 data columns. A set of exemplary parity lines 210 are illustrated, with the parity value associated with a line being indicated by a filled square and a data or parity value used to compute the parity value being indicated by a filled circle. For example, parity values with index m=1 are stored in column n=−2 and are associated with lines 210 of slope −1. For example, the parity value P−2,i+5 is computed using parity values P−3,i+6, P−1,i+4, P0,i+3, D1,i+2, D2,i+1, D3,i, D4,i−1, and D5,i−2. With the computed parity values, and assuming data and parity values are defined to be zero outside the range of firstbit to lastbit for each column, the sum (modulo 2, or equivalently the logical XOR) of all values indicated along each line is zero. Note that each data value has M lines at different slopes passing through it and therefore is part of M separate (and linearly independent) parity equations. As is discussed more fully below, by having each value protected by M parity equations, up to M totally erased data columns can be reconstructed from the encoded parity values. A procedure to compute the parity values is shown in PROC. 1.2 which makes use of EQ. 1.3. For notation, the symbol ⊕ denotes an XOR operation or modulo 2 sum, and ⊕Σ denotes an XOR or modulo 2 summation of a series of values.
Note that PROC. 1.2 cannot be directly implemented as shown because some of the values on the right hand side of EQ. 1.3 have not yet been computed when a particular parity value in the iteration is to be computed. Therefore, PROC. 1.2 should be treated as “conceptual,” with a specific encoding method that can be implemented being presented later in this description.
Note that in alternative embodiments, each parity line does not necessarily make use of all the parity values (i.e., only a subset of array entries intersecting a line are part of the associated parity equation), while each data value remains part of M separate parity equations. For example, a parity value index m=0 can make use parity values with indices m=1, 2, and 3, while the parity value at index m=1 can make use of values at m=2, and 3, the value at m=2 makes use of m=3, and m=3 does not makes use of any other parity values. Such an embodiment is described in the provisional application that is incorporated by reference.
2 Parity Edge Decoder
A first type of decoder addresses a situation in which M columns of an encoded array 122 are erased. That is, the decoder is given the column indices e0<e1<eM−1 that need to be rebuilt and all the data in the remaining columns are assumed to be uncorrupted (“good”).
As one of a number of alternative implementations of a decoding procedure, the following general approach is used:

    
    
        Select the leftmost good column.
        Starting at the leftmost good column, rebuild one bit of each of the erased columns moving outward (to left and to right from the leftmost good column), using lines in order such that L0 is used for leftmost erased column and L(M−1) is used for rightmost erased column. The first bit position in the column to be rebuilt is based on the firstbits of the good columns.
        
            If the leftmost parity column is good, start on the firstbit of that column and therefore L0 will go from there to the leftmost erased column.
            If the leftmost parity column is erased, and the leftmost good column is a parity column, start on the firstbit of the leftmost good column.
            Otherwise, all of the parities are erased, and the leftmost good column is D1 and therefore start on D1 at the point where L(M−1) crosses D1 and the firstbit of P0.
        
        
        Increment all bit numbers and repeat until all erased columns have had their respective lastbit rebuilt.
    
    


Note that as shown in the following examples an aspect of this approach is the use of a series of equations which are “tangents” to a curve that separates the data and parity space into two areas: below the curve are known good, assumed zero, or rebuilt bits, and above the curve are known good or erased bits. As each equation is applied, it includes one erased bit and one known good or already rebuilt bit along the curve, and other bits which are below the curve and therefore also known good or rebuilt.
2.1 Example (M=4, N=5, and all Parities are Erased)
Referring to FIGS. 4A-B, in a first example of application of an edge decoder approach is in the case M=4, N=5, in which e0, . . . , e(M−1)=−3, −2, −1, and 0. Note that all the data columns are error-free, and therefore this example also effectively demonstrates an approach to the initial generation of the parity columns.
Referring to FIG. 4A, the approach begins with rebuilding of the parity value P0,−5 410 based on a parity line L3 of slope +1 passing through the known data value D5,0 and other assumed zero values. Then P−1,−5 411 is rebuilt using L2 of slope 0 passing through the rebuilt P0,−5 value. Then P−2,−4 412 is rebuilt using line L1 of slope −1, and finally P−3,−2 413 is rebuilt using a line L0 of slope −2. In each case, the parity bit being rebuilt is the only unknown value on the parity line allowing it to be determined from the corresponding parity equation.
Referring to FIG. 4B, having rebuilt one value in each of the erased parity columns, the approach continues with a next iteration of rebuilding one value from each of the erased columns with rebuilding P0,−4 420, which is based on two data values D4,0 and D5,1 as well as the rebuilt parity value P−1,−5. Then values P−1,−4 421, P−2,−3 422, and P−3,−1 423 are rebuilt in turn.
The iterations are continued until the last iteration in which the lastbit of each parity column is rebuilt.
2.2 Example (M=4, N=5, and the Rightmost 4 Data are Erased)
In a second example of application of an edge decoder, e0 . . . e(M−1)=2, 3, 4, and 5. That is, the rightmost 4 data columns are erased. Referring to FIG. 5, lines L0 through L3 are used to rebuild values in columns D2 through D5, respectively. In the first iteration, D2,0 510 is rebuilt using known values in columns P−3 through D1. Next, using line L1 of slope −1, D3,−1 511 is rebuilt using the newly rebuilt value of D2,0. Next D4,−1 512 is rebuilt and finally D5,0 513 is rebuilt. At the next iteration, the next bit position in each column is computed in the same column order. Note that D3,−1 511 at the first iteration is known to be zero, so this initial re building is redundant, as is the rebuilding of D4,−4 512.
2.3 Example (M=4, N=5, and Some of Both Parity and Data are Erased)
Referring to FIG. 6, in another example, the erased columns are defined by e0, . . . , e(M−1)=−3, 0, 1, and 4. That is, both some parity columns and some data columns are erased. FIG. 6 shows an iteration which is rebuilding at some middle row of the data. The P−2 column is the leftmost good column, with one erased column to the left, so P−3 is rebuilt first, using L0; P0, D1, and D4 are then rebuilt, in that order, using lines L1 to L3, respectively. In all cases, only one bit along the line is erased, the others are either given, known good, or already rebuilt.
2.4 Implementation
A pseudocode implementation for a version of a parity edge decoder is provided in PROCS. 2.1-2.5. PROC. 2.1 determines the leftmostgoodcolumn. For example, in the example illustrated in FIGS. 4A-B, leftmostgoodcolumn=1, while in the example of FIG. 5, leftmostgoodcolumn=−3. Lefterrors is set to the number of erased columns to the left of the leftmostgoodcolumn. PROC. 2.2 is used to determine the firstbit for a number of the columns. For the parity columns, firstbitn is computed as in PROC. 1.1. The firstbit1 value for the first data column D1 may also be needed, and is defined based on the firstbit0 value for the rightmost parity column and the slope KM−1 of the most positive line LM−1. For example, for the examples in FIGS. 4A-6, K3=+1, firstbit0=−5 and therefore firstbit1=−4. Lastbitn for data columns n=1, . . . , N is defined to be the end of valid data at row I−1.
PROC. 2.3 defines the starting point for the iteration. The first bit of the leftmost good column defines this starting point. The starting rows for each of the erased columns em are defined by this firstbit and the slopes of the parity lines in PROC. 2.4. In PROC. 2.4, erased columns to the left of the leftmost good column are handled separately from those on the right because the order of rebuilding is “outward” from the leftmost good column.
For instance, in the example in FIGS. 4A-B, all the parity columns are erased and lefterrors=4. The order of the rebuilding in this example is r0=0, r1=−1, r2=−2, r3=−4 with the first rebuilt row in each column being the firstbit of the column.
In the example of FIG. 5, the erased columns are the four rightmost data columns. In this example according to PROC. 2.4, the order of rebuilding is r0=2, r1=3, r2=4, r3=5. The first reconstructed column, D2, has a first reconstructed row that is at slope K0=−2 from the firstbit of the leftmost good column, which in this example is P−3,−2. That is,
D2,−12 is the firstbit position to be rebuilt. The firstbit to be rebuilt in column D3 is at slope K1=−1 from D2,−12, or at D3,−13. Similarly the first rebuilt bits of the remaining columns are D4,−13 and D5,−12. Note that these starting rows are somewhat conservative because a first number of iterations “rebuilds” assumed zero entities, and it is not until the iteration shown in FIG. 5 that the first real data is reconstructed.
PROC. 2.5 represents the rebuilding loop. For precision of presentation, the variables P, D, and PD refer to the original uncorrupted quantities in the good columns and the incorrect or erased (taken to have value zero) and not yet rebuilt values in the remaining columns. The variable X refers to a rebuilt value and is defined only for the columns being rebuilt, and the variable XPD refers to the rebuilt value X or the original good value PD depending on the column.
In PROC. 2.5, each iteration updates the M erased columns. The procedure implements EQ. 2.5, which corresponds to the parity equation used to rebuild one entry. The iterations are continued until the lastbit of each of the erased columns are rebuilt.
3 Syndrome Edge Decoder
Implementations of the Parity Edge Decoder described in the previous section can require a memory window buffer for columns of the parity and data, where the window width W is equal to the number of rows needed for the steepest equation across all columns. This is at least 1×(N+M), and is typically (M/2)×(M+N). The buffer stores all of the data and parity bits (M+N) in the window, so the total storage is (M+N)×W, or typically (M/2)×(M+N)×(M+N) bits to hold all of the good and rebuilt data and parities.
Referring to FIG. 7, a parity edge decoder 730 make use of a window buffer 710 that provides W delayed samples 720 of N+M good or rebuilt values to the decoder. The good parities can be precalculated by generating “enhanced syndromes,” which are conventional syndromes with the bad (erased) columns removed (i.e., not included in the parity sum). By precalculating and storing the enhanced syndromes, only M syndrome bits and the M rebuilt bits are stored across the window, so the storage requirement is reduced to 2×M×W.
The conventional syndrome is defined as the right hand side of equation EQ 1.3 XOR'd with the left hand side (the parity result). This results in a syndrome value of 0 when all parity and data bits are correct. The location of the syndrome bit for a particular parity equation is arbitrarily defined to be at the row and column indexes of the parity value for the corresponding parity line.
Referring to PROC. 3.1, the conventional syndrome bits SpcolLm,i are computed in a similar iteration as used to compute the parity values during encoding. Referring to PROC. 3.2, an enhanced syndrome, ES, is computed as is the conventional syndrome with the erased columns removed; i.e., it does not include columns e0<e1< . . . e(M−1).
Referring to FIG. 8, in an implementation of a syndrome edge decoder, N good columns are passed through a shift XOR module 805 which outputs a stream of M enhanced syndromes per time step. The enhanced syndromes are buffered in a window buffer 810, which passes W delayed versions of M enhanced syndromes to the syndrome edge decoder 830. As the decoder rebuilds the erased columns they are passed to a rebuilt data buffer 860, from which the syndrome edge decoder 830 retrieves the rebuilt data as needed.
To rebuild up to M erasures on columns e0<e1<e2< . . . e(M−1), the syndrome edge decoder uses essentially the same procedure as parity edge decoder, but uses the enhanced syndromes in place of the good columns as shown in PROC. 3.3.
4 Parity Error Canceling Decoder
In general, the Parity Edge Decoder and Syndrome Edge Decoders described above rebuild one bit from each bad column before moving on to a next iteration step to rebuild the next bit in each column. For at least some values of M, which are described in more detail below for M=2 through 5, a Parity Error Canceling Decoder can ignore all but one of the bad columns while rebuilding the remaining bad column, thereby enabling possible parallel implementations in which different erased columns are rebuilt in parallel. A general approach for handling any value of M is also presented below.
In general, the Parity Error Canceling Decoder approach combines a particular set of parity equations to create crossing points on the columns to be ignored, such that at each of the crossing points an even number of lines intersect. This results in the bit from those intersecting positions are XOR'd twice (or a multiple of two times) into the result, which cancels it. The parity equations cross the column to be rebuilt in more than one place; the highest (latest) crossing point is rebuilt in terms of the lower (earlier) ones, which were rebuilt on previous passes of the iteration. The iteration starts on the firstbit of the column to be rebuilt, so that all previous bits are given, and finish when we have rebuilt the lastbit of the column.
For the M=3 case, the approach can be demonstrated under a restriction on the values of the slopes k of the lines, such that the parity line slopes satisfy k1=(k2+k0)/2. Note that this does not imply that k1 must be 0, or that k0 and k2 must have opposite sign. The geometry can be warped in many ways as long as the slope of L1 equals the average slope of L0 and L2.
4.1 Example with Two Bad Columns with M=2, N=4
Referring to FIGS. 9A-B, in an example with M=2 and N=4, columns P0 and D3 are erased and the remaining columns are good. Referring to FIG. 9A, rebuilding column P0 is performed for each row in sequence such that when rebuilding P0,i 910, prior values of P0 have already been rebuilt while following values remain to be rebuilt. Two parity equations are added together, one with parity line L0 920 and one with line L1 922, such that an erased value D3,i 912 is cancelled and does not contribute to the sum. Referring to FIG. 9B, similarly, a value D3,i 930 is rebuilt by adding the two parity equations on lines L0 940 and L1 942 such that P0,i−3 932 is cancelled. By forming the combinations of parity equations L0 and L1 with suitable offsets, each erased column P0 and D3, can be rebuilt independently, for example in parallel.
4.2 Example with Three Bad Columns with M=3, N=3
Referring to FIGS. 10A-C, the approach illustrated in FIGS. 9A-B is extended to forming linear combinations of three parity equations in order to cancel values in two of three erased columns at a time. In this example, columns P−2, D1, and D2 are erased and have to be rebuilt.
Referring to FIG. 10A, in order to rebuild P−2,i 910, three parity lines are combined: L0 920, L1 922, L1 923 (i.e., a second line L1 with a different row offset), and L2 924. This combination of parity lines results in canceling the terms on those parity lines in erased columns D1 and D2. That is, the data values D1,i−3, D2,i−3, D1,i−4, D2,i−4, are all cancelled out when rebuilding P−2,i 910. Referring to FIG. 10B, D1,i 930 is rebuilt with lines L0 940, L1 942, L1 943, and L2 944, thereby canceling the entries on the parity lines in columns P−2 and D2. Referring to FIG. 10C, entry D2,i 950 is similarly rebuilt using lines L0 960, L1 962, L1 963, and L2 964. Referring back to FIG. 10A, note that in rebuilding P−2,i, three previously rebuilt values in column P−2 are used: P−2,i−3, P−2,i−4, and P−2,i−7.
4.3 Offsets of Parity Equations
As in the definition of an enhanced syndrome offset, the base row index (also referred to as the “base offset”) of a line L is defined as the row index of the parity bit calculated along line L. In these approaches, the base offset of a line is found by calculating the offsets from the error point along lines; then moving to the base of a line, then to the crossing point of that line with the next line, then to the base of that next line, then to another crossing point, etc., until the base of the desired line is found. In the three-line paths, there are two ways to get to the end depending on the order of lines used, shown below as a choice of equations.
PROCS. 4.1-4.3 provide approaches to determine the parity line offsets for the M=3 erasure case.
4.4 Rebuild Error Bit Xem,i 
Recall that syndrome SpcolLm,i contains all of the points along the line Lm with slope km, and containing point PpcolLm,i (the base of the line) as defined in EQ. 3.1:
We define syndromes with rebuilt bits XSpcolLm,i as the points on line Lm with slope km, based at offset i and using XPD to including rebuilt bits as defined in EQ. 4.1. Note that the rebuilt bits referred to in EQ. 4.1 are those rebuilt thus far, therefore will include erased bits if they are later than have been rebuilt at the point that the syndrome is calculated.
For M=2, we can rebuild error bits Xem,i in columns em, where m=0 or 1, using the points (as contained in the rebuilt syndrome) on lines Lm with the proper bases for each error m, according to PROC. 4.4A. For M=3, we can rebuild error bits Xem,i in columns em, where m=0, 1, or 2, using the points (as contained in the rebuilt syndrome) on lines Lm with the proper bases for each error m according to PROC 4.4B.
Note that using the XSpcolL terms is a shorthand for the XOR of all of the points on the line, and must be calculated on each iteration since it includes recently rebuilt bits. The bit being rebuilt is XOR'd into the final answer to cancel its presence in one of the XS terms; this could be optimized by removing the bit from the XS term first and not XORing it afterwards.
4.5 General Cancellation Approach
Approaches to cancellation of M−1 columns while reconstructing an Mth column for the cases of M=4 and M=5 are illustrated in FIGS. 23A and 23B, respectively. In the example illustrated in FIG. 23A, the columns being cancelled 2312 are offset from the leftmost column by a, b, and c columns (i.e., columns PDa−M, PDb−M and PDc−M according to the previously introduced notation), while the column 2310 being reconstructed is offset by d columns (i.e., PDd−M). In this example, an entry 2320 is reconstructed based on parity equations, each of which includes each of the M columns that are being cancelled or reconstructed. Note that by suitable choice of offsets of lines L0 through L3 of slopes −1 through +2 respectively, the sum of the illustrated parity equations cancels all entries in those equations in columns at offsets a-c, and includes entries in the column at offset d that have been previously reconstructed (or are known to be zero).
One approach to determining the parity lines to combine makes use of a geometric construction. For example, a line L3 is first chosen to pass though the entry 2320 to be reconstructed. Then a line L2 is chosen to cancel the entry in the column at offset c. Lines are successively chosen to implement the cancellation until all entries in the columns at offsets a-c are cancelled.
Referring to FIG. 23B, an example for M=5 also makes use of a geometric construction to select the appropriate combination of parity equations. Note that some entries in the columns being cancelled include four parity equations, resulting in cancellation of those entries.
Other related approaches can be used, for example, based on guided or brute-force iterative searches for suitable sets of parity equations, and selection of a best set of equations, for example, to optimize an amount of resulting delay or buffering. As another approach, a basis for combinations of parity equations that cancel particular subsets of columns can be determined based on matrix algebraic techniques (over the field of numbers modulo 2) to identify the sets of parity equations that sum to zero (modulo 2) in the selected columns. The selection of parity equations for particular subsets of columns to cancel can be precomputed and stored in the system, so that an appropriate combination of parity equations can be selected based on the columns that need to be cancelled without requiring computation to determine the combination at runtime.
5 Syndrome Error Canceling Decoder
Like the Parity Edge Decoder, the Parity Error Canceling Decoder can be implemented using a buffer of (N+M) times the window width to hold all of the good and rebuilt data and parities. Since new bits are calculated using earlier bits, the syndromes must be recalculated as each new bit is calculated. Like the Syndrome Edge Decoder, a more efficient method, the Syndrome Error Canceling Decoder, can be implemented using syndromes. There are several differences, however. Since we will eventually cancel the bad columns, we can use conventional syndromes (defined by EQ. 3.1) which include all of the data columns, and don't have to calculate special enhanced syndromes based on the error columns.
But, since we will correct all of the bits in one column before going on to the next, we will calculate all of the syndromes before rebuilding any bits; this means that the syndromes will contain bad data from earlier (predecessor) bits, where the syndrome equations cross the column we are rebuilding. Therefore, those bad bits are cancelled, and the corrected bits are added in to make the rebuilt bit correct.
Referring back to FIG. 9A, to rebuild a value P0,i 910, values on two lines L0 920 and L1 922 are used to rebuild the value. Referring to FIG. 11A, which corresponds to FIG. 9A, syndromes S−1,i and S0,i−3 are equal to the sums (XORs) of the entries along the lines L0 1120 and L1 1122, respectively. Note that the sum (XOR) of the entries on line L1 922 in FIG. 9A differs from the sum of entries on line L1 1122 in FIG. 11A in that the corrected value XP0,i−3 is used in FIG. 9A while the errorful P0,i−3 is used in FIG. 11A.
Therefore, to obtain the sum along line L1 922, P0,i−3 is added to S0,i−3 to cancel that value, and the rebuilt X0,i−3 is added to introduce the desired value. The row offsets of these predecessor values are computed for the case M=3 according to PROC. 5.1-5.3.
5.1 Rebuilding a Bit Xn,i, at Offset i on One of 2 Bad Columns with M=2
For the M=2, we rebuild error bits Xem,i in columns em, where m=0 or 1, using two syndromes SpcolL0 and SpcolL1 with the proper bases, the bad predecessor bits PD (that are already in the syndromes), the rebuilt predecessor bits X, and the bad error bit PDem for the error m using PROC. 5.4 and 5.5.
For M=3, we rebuild error bits Xem,i in columns em, where m=0, 1, or 2, using four syndromes SpcolL0m, SpcolL1Hm, SpcolL1Lm, and SpcolL2m with the proper bases, the bad predecessor bits PD (that are already in the syndromes), the rebuilt predecessor bits X, and the bad error bit PDem for the error m using PROC. 5.5A-C.
An example implementation for the Xe0 output (EQ. 5.3) of a syndrome canceling decoder is shown in FIG. 12. The boxes are shift registers, which create a delay (or negative offset) for each register bit. The three syndrome fields 1220, 1222, and 1224 and the actual value of the PDe0 field 1210 are inputs, but are delayed in the shift registers before being XOR'd together in block 1260. The corrected output Xe0 is fed back again through shift registers to be XOR'd also.
Since the predecessor values in EQ. 5.3 are already negative offsets, the delta values are set to the negative of the predecessor value, to create a positive delay, and thus the originally intended negative offset.
The base values are often negative offsets, but can be positive. Since a shift register cannot have a negative number of bits, a window size W is added to each syndrome shift register. To keep everything even, we have to add that same delay to all of the input shift registers. The window size W is used since the base of a line can be W ahead of the Xe0 bit at most. An option is to reduce this window, since the base in actuality will not quite get as far as W ahead of any Xe0.
6 Partial Cross-Convolutional Encoding
The decoding methods described above generally use the fully cross-convolved encoding as defined in EQ. 1.3. That is, all of the data and other parity bits along a parity line are included in the parity bit for that line. Therefore while up to M data columns can be rebuilt, all N+M data rows are read to rebuild any number of columns, even in the typical case where only one column is erased. The choice of value for M must be made before any parity bits are calculated, since all parity bits are included in all other parity bits' equations.
A further method, referred to as Partial Cross-Convolutional Encoding, allows limited reading of parity columns (the same number of parity columns as there are erased columns to be rebuilt), and which allows incremental addition of parity columns without re-encoding previous ones. These parity values are define in PROC 6.0, in which EQ. 6.1 replaces EQ. 1.3 in PROC 1.2.
Referring to FIG. 13, which should be compared to FIG. 2 for reference, an example with M=4 and N=5 is shown. Each parity value makes use of the parity column directly to its right (if any) and does not use the other parity columns. For example, P−3 makes use of P−2 but not P−1 or P0. Parity column P0, which has no parity column to the right, only includes data columns.
Note that any parity Pn can be generated from data and parity Pn+1 (if there is one), without regard to any other parities, in particular, without regard to any parity to the left.) This allows parities to be added one at a time (leftward) using only previous parities, and allowing decoding to take place using only as many parities as are needed for the number of erased columns to rebuild.
Encoding according to this approach follows PROC. 1.2, with equation EQ. 1.3 replaced with EQ. 6.1. Since parity lines do not contain all parity bits, the parity edge decoder and enhanced syndrome edge decoder procedures are modified accordingly.
The firstbit and lastbit calculations remain the same, as in the previous approaches because the omitted parity bits are outside of valid bits defined in the previous approaches.
The choice of starting column and k slopes also remain the same: choose the firstbit of the leftmost good column, and select the proper line so that line L0 at slope k0 is used to rebuild the leftmost erased bit. Then move to the left, rebuilding one bit from each erased column. Since all leftward columns are erased, and the lines decrease in slope as the included pairs of P bits move leftward, the equations at this step will always include one good bit (parity or D1) and one parity bit (immediately to the left) to be rebuilt. As the procedure progresses, good or rebuilt data bits will also be included in this operation, but no other parity bits.
Referring to FIG. 14, which corresponds generally to FIG. 6, columns P−3, P0, D1, and D5 are erased. Column P−2 is the leftmost good column, therefore the only erased column to its left is P−3. The starting bit is therefore at P−2,i 1405. The first reconstructed bit is therefore P−3,i+2 1410 using line L0 of slope k0.
Referring back to FIG. 6, to the right of the leftmost good column, the erasures are handled from left to right, with P0,i−2 620 being reconstructed next with line L1, then D1,i−2 630 with line L2, and finally D5,i+5 with line L3. In the approach illustrated in FIG. 14, the lines L1, L2, and L3 are again applied in order, however the columns are not necessarily rebuilt from left to right.
In FIG. 14, when line L1 of slope −1 is applied intersecting P−2,i 1405, the parity equations does not make use of P0,i−2 as in FIG. 6. Here, the first intersecting erased element is D1,i−3 1420, which is the next entry that is rebuilt.
Starting at D1,i−3 1420, the line L2 of slope zero is applied. By construction, it can be shown that this line will intersect at most one as-yet not rebuilt entry of the erased column, but this column may be to the left rather than to the right. In this case, entry P0,i−3 1430 is such an entry that is next rebuilt. For line L3, the procedure starts again at D1,i−3 1420, which is used to rebuild D4,i 1440 using line L3 of slope +1.
A procedure for determining the order of columns to be rebuilt, r0, . . . , rM−1, is provided in PROCS. 6.1-6.3. Rebuilding entries follows PROC. 2.5, with equation EQ. 2.5 being replaced by EQ. 6.6 to account for the definitions of the parity equations in this version of the approach.
To use enhanced syndrome edge decoding instead of parity edge decoding, everything is the same as for full cross convolution, except for the definition of the enhanced syndrome, and the application of it to rebuild erasures.
To generate enhanced syndrome bits ESpcolLm,i using partial cross convolution, PROC. 6.5 is used. To rebuild erasures using enhanced syndromes and partial cross convolution, PROC 6.6 is used.
6.1 Parity and Syndrome Error Canceling Decoder using Partial Cross Convolution
To use parity and syndrome error canceling with partially encoded convolution requires special handling of cases where one or more parity bits are erased, because crossing parity lines do not necessarily cancel a parity bit, since the bit may not appear on both lines. The following describes the process for determining line topology to cancel various columns. The actual calculation of the line bases and predecessor bits is the same as for full encoding, i.e., move from the rebuilding bit to line crossings, bases, and predecessor bits. The difference is that the new line topologies must be used to determine the lines and crossing points, and since lines do not contain all columns, where the rebuilt bit is and how many predecessor bits there are (if any).
An example with M=2 and N=4 is used to illustrated the procedure. Referring to FIGS. 15A-B, consider first a situation in which P0 and D3 are erased. These figures should be contrasted with FIGS. 9A-B in which full parity equations are used to cancel columns. Referring to FIG. 15A, when P0,i 1510 is rebuilt, lines L0 1520 and L1 1522 are used to cancel D3,i 1512. Note that line L1 1522 differs from line L1 922 in FIG. 9A in that P−1,i−4 1524 is not part of the parity equation for line L1 1522 while it is for line L1 922. However, the rebuilding procedure is used without modification. Referring to FIG. 15B, when D3,i 1530 is rebuilt, lines L0 1540 and L1 1542 are used to cancel P0,i−3 1532, with line L1 1542 not including entry P−1,i−4 1544.
Referring to FIGS. 15C-D, in a second situation columns P−1 and D2 are erased. In reconstructing P−1,i 1550, lines L1 1562 and L0 1560 are used to cancel D2,i 1552, in a manner similar to that illustrated in FIG. 15A. Referring to FIG. 15D, in reconstructing D2,i 1570, line L1 1582 does not include the erased entry P−1,i−3 1572, and therefore line L0 1580 is not included to cancel P−1,i−3 1572 as in FIG. 15B.
In this case with M=2, use of a single parity equation occurs whenever one of the erased columns is P−1, and any of P0 through D4 are being rebuilt.
In the case of a syndrome decoder version of this approach, the syndromes that are calculated according to the partial encoding use PROC. 6.7.
There are 4 cases in the M=2 configuration, corresponding to combinations of erasures in the two parity bits; we can represent the cases as a 2-bit binary number, with bits for erasure in column P−1, P0. Thus 00 represents the case where no parity bit is erased. A general procedure is provided in PROC. 6.8.
The case for M=3 follows the same approach as M=2, but there are more cases of patterns of erased parity to consider. There are 8 cases in the M=3 configuration, corresponding to combinations of erasures in the three parity bits. Recall that in this case, parity line L0 includes P−2 and P−1, and line L1 includes P−1 and P0, and line L2 includes P0 alone.
Referring to FIGS. 16A-C, which should be compared to FIGS. 10A-C, columns P−2, D1 and D2 are erased. Referring to FIG. 16A, P−2,i 1610 is rebuilt, with four lines canceling the other erased columns: L00 1620, L1L0 1622, L1H0 1623, and L20 1624. This situation is analogous to that illustrated in FIG. 10A. Referring to FIG. 16B, when D1,i 1630 is rebuilt, line L11 1642 is used, but unlike line L1H1 943 in FIG. 10B, erased entry P−2,i is not included and therefore does not have to be cancelled. Line L21 1644 is used to cancel D2,i, but that line also does not include erased parity P−2. Therefore, only two parity equations rather than four are required to rebuild D1,i. Referring to FIG. 16C, the situation is similar with only two lines, L12 1662 and L22 1664 being needed to reconstruct D2,i 1650.
A general procedure for determining which lines to include in reconstructing a column is provided in PROC. 6.9.
7 Alternatives, Enhancements and Variants
7.1 Flat Parity Slope Encoding
The lines for the parity equations do not necessarily have to be straight across all the columns of the parity and data. A possible advantage of using other than straight lines is the fewer extra bits may be needed beyond the first and last rows of the original data.
Referring to FIG. 17, which should be compared to FIG. 13, a particular variant of the Partial Cross-Convolutional Encoding method sets the slope of the parity equation line to zero from parity column P0 leftward; thus there is a bend in the line at parity column P0, unless the whole line is horizontal. In particular, line L0 1710 (parity index m=0) has slope K0=−2 as in FIG. 13, and includes parity columns P−3 and P−2. Similarly, line L1 has slope K1=−1 and includes P−2 and P−1, line L2 has slope k2=0 and includes P−1 and P0, and line L3 has slope k3=+1 and includes P0.
The effect of this is to reduce the number of additional parity bits required at the ends of the columns, since parity columns have to extend past the previous parity column by the slope of their equation line, which is now zero. Note that in methods in which more than two parity values are used in the parity equations, setting the slope of all parity equations to 0 in the parity column area would cause the equations to be dependent, since they would share more than one point along the horizontal portion of the line. However, since partial encoding has at most two parities on any line, and they are a different pair of parities than any other line, there is never an overlap of more than one point, so the equations remain independent.
Referring to FIG. 18, which may be compared to FIG. 14, illustrates one iteration of reconstruction in a case of M=4, N=5, with erasures at P−3, P0, D1, and D4. The leftmostgoodbit is found in column P−2. P−3,i 1810 is first rebuilt using line L0, which uses P−2,i but not P−1,i or P0,i. Next, D1,i−1 1820 is rebuilt using P−2,i and P−1,i. Next P0,i−1 1830 is rebuilt using L2, which uses the rebuilt D1,i−1 1820. Finally, D4,i+2 1840 is rebuilt using the rebuilt D1,i−1 and P0,i−2.
A procedure for determining the firstbits and lastbits for the parity columns, as well as modifications of the procedures and equations for the parity and syndrome edge decoders are PROC. 7.1.
7.2 Standard Parity Base
Referring to FIG. 19, which may be compared to FIG. 17, the slopes of the “flat parity” lines can be chosen such that line L3 1910 has zero slope, and the remaining lines have negative slope as shown in the figure. Note that P0 in this example corresponds to a simple parity along one data row, as may be used in a RAID storage system. For example, an erasure of a single data column could be handled using P0 alone, for example, using components of the RAID storage system.
The additional parity columns, P−3 through P−1, provide the capability of reconstructing up to four concurrent erasures should they occur.
7.3 Optimized Extra Parity Bit Techniques
One or more approaches to calculation of lastbitm are presented above. Although these method may be convenient for calculation and simplicity of the decoding algorithms, an optimization to reduce extra parity bits is possible. The optimization takes advantage of the fact that even if all errors are located in the rightmost data columns, the slope of the L0 does not have to reach all the way to cover lastbitN, some remaining lines L1 to L(M−1) will cover the remaining data bits. For each parity bit, the proper lastbit must be calculated by tracing the spline of the L lines in the worst case (rightmost data bit covered directly by that parity bit's line), and making sure that the minimum value along this line is equal to I−1, the lastbit of the data. The shape of this curve can vary considerably depending on the line slopes chosen. In cases where k0 and/or M are large, this can result in considerable savings of extra parity bits.
To decode this configuration, all algorithms for determining the next error column to rebuild use lines as if there are M errors even if there are fewer than M, so that L0 is not used to try to rebuild DN.
7.4 Non-Sequential Slopes
A modified method calculates higher order parity columns (−1 to −(M−1)) using line slopes in a re-arranged order (not kM−2 to k0). An example is where P0 is calculated along k=0, P−1 is calculated along k=+1, and P−2 is calculated along k=−1. The effect of this method is to simplify calculations in the parity and syndrome error cancellation decoding methods, since slopes are either +1, −1, or 0, changing multiplication of offsets by slopes into addition, subtraction, or disregard of offsets.
In an example of use of non-sequential slopes, slopes of alternating signs (0, +1, −1, +2, −2, . . . ) are used in conjunction with a version of the approach in which parity columns are added both to the left and to the right of the data columns, and successive parity equations make use of successively more of the parity columns.
Some other choices of non-sequential slopes may disrupt the “spline curve” during reconstruction, such that erased extra parity bits at i<0 are used to rebuild data bits before the parity bits themselves have been rebuilt. The extra parity bits are stored in an externally reliable mechanism so they are always available, even if the parity column is erased.
There are many further variations on this method, depending on the pairing of parity columns with lines.
7.5 Non-Zero Known Bits
In approaches described above, data bits for rows before row 0 are defined to be known zero values, thereby allowing diagonal parity equations to be calculated when only some of the entries in the parity equation are at row 0 or later. In an alternative approach, these known entries are defined in encoding to have a pattern of values that is not necessarily all zero. This pattern of values serves as a scrambling key that is needed by the decoder in order to start the decoding process. That is, if the encoder uses a pattern of non-zero values, and M data columns are erased before sending the data from the encoder, then the decoder will not produce correct output if it uses zeros or an incorrect pattern of values to rebuild the missing M data columns. These extra data bits can be handled separately, and treated as a key that is needed to decode the data.
7.6 Hierarchical Parity
Parity equations do not necessarily use all the data columns as arguments. For example, a hierarchical approach may be used. In an example of a hierarchical approach, N=16, an a first parity column uses data columns D1 through D8 while a second parity column uses data columns D9 through D16. A third parity uses all columns D1 through D16. This approach can be extended to more hierarchical levels, with higher level parities covering progressively more columns. In one version of this approach, the parities covering the lowest level are implemented using a RAID approach, and the higher-level parities are used to recover multiple errors in a RAID bank that are not recoverable using RAID alone.
8 Corruption Detection
The discussion above concentrates on operations that relate to erasure errors. One approach to handling corruptions is to use the syndromes described above to detect columns of data that are corrupted, and then treat the corrupted column as having been erased, reconstructing that column using one of the techniques described above.
Any one parity equation or its related syndrome cannot in general be relied upon to detect errors in a column because of the possibility of concurrent errors in different columns masking the errors. However, with errors isolated in M or fewer columns, at least some syndrome will be non-zero at some row.
One approach to detection of columns with errors involves computing syndromes in which different subsets of 1 up to m columns, for m less than the number of parity columns M, are cancelled using the approaches described above for syndrome-cancellation based decoding. If without cancellation the syndromes are non-zero, and with cancellation of a particular subset they are zero, then the cancelled columns are assumed to have errors and are rebuilt completely.
An implementation of this approach makes two (or more) passes through the computed syndromes if they are not all zero. For example, a first pass through the data may examine the syndromes to determine whether there are any non-zero values, which indicate that there is some error. The cancellation of columns can then be performed iteratively, for example, first canceling one column at a time, then canceling pairs of columns at a time, and so forth until, in the rare situation in which there truly are M−1 columns with errors, combinations of M−1 columns are cancelled.
As another implementation, a single pass through the data in which all the various subsets of column cancellations are computed together is used to identify the subset of columns that is to be treated as erased and then rebuilt.
As yet another implementation, a single streaming pass is used to both detect the subset of columns to reconstruct and with a suitable delay reconstruct the columns in error. For example, in a case in which a particular column has a limited run of errors, the single-pass error detection logic can mark that column as “erased” for a lagging decoder to reconstruct.
Note that the discussion above has concentrated on reconstructing an entire column for all rows. In certain situations, errors may occur in relatively limited runs, with lengths of error-free rows separating the regions of rows with errors. The error detection approach described above can identify different subsets of M−1 columns that have errors in each of the regions, and the reconstruction can change which columns are to be reconstructed for each region. In this way, over the whole series of I rows, more than M−1 columns can have errors or runs of errors, as long as within any region of maximum number of rows (that is a function of the definitions of the parity equations), at most M−1 columns have errors.
Other independent approaches can also or alternatively be used to detect corruptions in particular channels. For example, a hash code or message digest (e.g., MD5) can be calculated and appended to each channel, and if the hash code or message digest does not match when recomputed at the decoder, the decoder treats the channel as “erased.”
9 Implementations
Referring to FIG. 20, one implementation of a syndrome-based decoder/repairer 135 accepts data from a distributed storage 125, which includes multiple separate storages 126, each associated with a different channel (column) of data. The N+M channels of data are passed from the storage 125 to a streaming repairer 2035. The data is also passed to a syndrome calculator 2010, which provides syndromes 2015 to the streaming repairer 2035.
The streaming repairer 2035 uses parameters 2030 that define which columns to rebuild. It uses these columns to configure a streaming reconstruction component. For example, the streaming repairer implements one or more configurable delay lines and summers of a type shown in FIG. 12. The configuration information determines the amount of delay in each of the delay lines 1230-1243, and the selection of inputs to the delay lines.
A corruption detector 2020 also makes use of the syndromes 2015 to determine which columns need to be rebuilt, and passes this information to the streaming repairer 2035. The corruption detector 2020 may also make use of other information 2025, for example, from the distributed storage 125 that identifies columns that need to be rebuilt. For example, if the corruption detector 2020 is informed or determined that a particular storage 126 is unavailable, it can identify that column as erased in addition to other columns in which errors are detected based on the syndrome calculations. In one example, each storage 126 may include a error detection capability, based for example on a parity or ECC, and if it detects one or more errors, for example, in a requested block of I rows of data, it sends that information in such a way that the corruption detector and/or the streaming repairer can use to information to reconstruct the data.
In implementations that require multiple passes through the data, the decoder repairer 135 may include sufficient storage to buffer the required data. Alternatively, in the case of errors that are detected by the corruption detector 2020, the data may be read multiple times from, and reconstructed data sent back to, the distributed storage 125.
The approaches described above may be implemented in software, which is stored on computer readable media or distributed on signals, for example, propagating in a data network. The software can include instructions (e.g., computer processor instructions, processor microcode, virtual machine instructions, interpreter statements or byte codes, etc.), that cause various of the system components described above to perform the functions described. The approaches may also be implemented in hardware, for example, using special purpose circuitry, programmable logic, programmed processors and controllers. The approaches may also be implemented using combinations of software and hardware. In versions of the system that make use of storages 126, each storage may be implemented using a variety of types of devices, include multi-computer systems (e.g., disk server “farms”), general purpose computers (e.g., “disk servers”), special purpose storage subsystems, disk drives, portions (e.g., platters) of individual disk drives. The data interconnection can use a variety of data network or communication technologies, for example, including Internet Protocol (IP) communication, ATM, Ethernet, Fiberchannel, SCSI, ATA, etc.
10 Applications
10.1 Distributed Storage
A first application of the approaches described above is in distributed storage. Each channel is stored separately (i.e., in a storage 126), in a manner that reduces the correlation of errors between different channels. For example, the channel may be geographically or spatially distributed at some level (e.g., at data centers different continents, in different countries, in a different city, in a different building, in a different computer room, in a separate rack, in a separate chassis in a rack, on a separate board or blade in a chassis). When data is read into the system, it is divided into N separate channels (if not already naturally divided) and an encoder computes the additional parity values for storage.
In such an application, each storage 126 may have some error correction and detection capability. For example, in a geographically distributed application, each storage 126 may itself include a RAID disk system that is able to correct at least some errors, for example, if it detects that a drive in the array is bad. In the case of such a RAID system, for example, in a RAID-5 system, the data is protected by a parity, which is used when the RAID system detects that a disk is not available. This same parity can be used to detect the presence of an error that cannot necessarily be repaired by the RAID system. When such an error is detected but not repaired, the storage 126 informs the decoder repairer that its data is corrupted, optionally indicating the range of rows in a block of I rows in which the error appears.
In some implementations, the individual storages 126 continually read their data and use their own internal error detection capabilities to detect errors, and if errors are detected but cannot be independently repaired by the storage 126, data at other of the storages 126 is used to reconstruct the data. In some implementations, each or at least some of the storages 126 include the decoder repairer functionality, and therefore such a storage can request the data it needs from the other storages to reconstruct its errorful data. In other implementations, a storage that detects an error can request a remote decoder repairer to reconstruct its data.
10.2 Memory Systems
In another application, each channel is associated with a different disk storage device. For example, each block is I=512 K long, with each channel of the block being stored on a different storage device. Referring to FIG. 21, a representative channel of a block may be stored in a representative disk block that includes a section 2110 that stores 512 Kb as well as a section 2115 that stores any required extra bits (i.e., before row 0 and after row I−1) for that channel.
A particular application of this approach makes use of a very large number of relatively error-prone but inexpensive disk drives. Such disk drives might have inadequate error rates on their own, but in combination with a subsystem controller that implements the encoding to distribute parity channels to various drives, and a decoder repairer to detect and correct errors, very low overall error rates are achieved at relatively low cost. In typical applications in which there are no errors, error detection is performed in a streaming manner that does not substantially delay reading of data. When an error is detected, the data is read and reconstructed using the parity data.
As with the distributed storage application, each disk may have its own error detection and/or error correction capability, and when an error is detected but not correctable by the drive, it can inform the subsystem controller of the error and the subsystem controller rebuilds the data, if necessary, migrating the data to another drive if the drive is no longer functional.
In another application, semiconductor memory (e.g., RAM) includes N+M banks of memory 2210, each coupled to a memory controller 2220. The memory controller includes an encoder that computes the parity channels and a decoder repairer for rebuilding banks that have errors or become unavailable. As with the disk storage application, each memory bank may include error detection and/or error correction capabilities, and may be able to provide error detection information, for example, localizing errors, so that the memory control can rebuild the errorful data.
In another version of the system, memory modules have 72-bit wide data storage. Other systems can use these 72 bits for 64 bits of data and 8 bits for ECC for correction within the module. In the version of the present approach, the 8 bits are used for 8 parity channels that are used for correction across memory modules, enabling for example, reconstruction of up to 8 erased bit positions across the memory modules.
10.3 Packet Transmissions
In another application, the separate channels of a block of data are each passed over separate data communication channels, or are passed over a same communication channel but at sufficiently different times or in different data packets such that errors in different of the columns of data are substantially uncorrelated. For example, each channel may be send over a different physical circuit (conductor or optical fiber), or a different frequency such that different frequencies are subject to relatively independent interference. Each channel may also be packaged into a separate packet for transmission over a packet-switched data network, and routed over the same or different paths through the network.
10.4 Software File System Protection
In another application, a software implementation of the approach is used to protect portions of a computer file system. The separate channels can correspond to different units of file storage, such as blocks or other segments of a file, separate files, separate directories, or other partitions of a file system.
11 Appendix
The procedures (PROCs) and equations (EQs) referenced above are provided in the attached appendix.
Cross-Convolutional Parity
Appendix
Parity to Column Mapping

pcolLm=m−(M−1)  EQ 1.1

lpcoln=n+(M−1)  EQ 1.2

Determine Firstbit and Lastbits for Parity











To locate firstbitn and lastbitn for parity columns n:
















for n = 0 down to −(M−1)
PROC 1.1


 {








 firstbitn = min [ min [−klpcoln (N−n),
// for slope >= 0


     −klpcoln (1−n)],
// for slope <= 0


    firstbit(n + 1) − klpcoln (if n + 1 <= 0) ]
// to get next parity



firstbit


 lastbitn = max [ I − 1 + max [−klpcoln (N−n),
// for slope <= 0


      −klpcoln (1−n)],
// for slope >= 0


    firstbit(n+1) − klpcoln (if n + 1 <= 0) ]
// to get next parity



firstbit


}









Define Parity Bit Values

















  
    
      
        
          To
          ⁢
          
            
          
          ⁢
          define
          ⁢
          
            
          
          ⁢
          parity
          ⁢
          
            
          
          ⁢
          bits
          ⁢
          
            
          
          ⁢
          
            
              P
              
                
                  pcolL
                  m
                
                ⁢
                
                  firstbit
                  
                    polL
                    m
                  
                
                ⁢
                to
                ⁢
                
                  
                
                ⁢
                
                  lastbit
                  
                    pcolL
                    m
                  
                
              
            
            :
          
        
        ,
      
    
    
      
        
      
    
  
  
    
      
        
          where
          ⁢
          
            
          
          ⁢
          m
        
        =
        
          0
          ⁢
          
            
          
          ⁢
          to
          ⁢
          
            
          
          ⁢
          
            (
            
              M
              -
              1
            
            )
          
        
      
    
    
      
        
      
    
  
  
    
      
        
          
        
        ⁢
        
          
            for
            ⁢
            
              
            
            ⁢
            m
          
          =
          
            0
            ⁢
            
              
            
            ⁢
            to
            ⁢
            
              
            
            ⁢
            
              (
              
                M
                -
                1
              
              )
            
          
        
        ⁢
        
          
        
      
    
    
      
        PROC
        ⁢
        
          
        
        ⁢
        1.2
      
    
  
  
    
      
        
          
        
        {
      
    
    
      
        
      
    
  
  
    
      
        
          
        
        ⁢
        
          
            for
            ⁢
            
              
            
            ⁢
            i
          
          =
          
            
              firstbit
              
                pcolL
                m
              
            
            ⁢
            
              
            
            ⁢
            to
            ⁢
            
              
            
            ⁢
            
              lastbit
              
                pcolL
                m
              
            
          
        
      
    
    
      
        
      
    
  
  
    
      
        
          
        
        ⁢
        
          {
          
            
          
        
      
    
    
      
        
      
    
  
  
    
      
        
          
        
        ⁢
        
          
            P
            
              
                pcolL
                m
              
              ⁢
              i
            
          
          =
          
            
          
          ⁢
          
            
               
              ⊕
            
            ⁢
            
              
                ∑
                
                  n
                  =
                  
                    
                      
                        -
                        
                          (
                          
                            M
                            -
                            1
                          
                          )
                        
                      
                      ⁢
                      
                        
                      
                      ⁢
                      except
                      ⁢
                      
                        
                      
                      ⁢
                      n
                    
                    =
                    
                      pcolL
                      m
                    
                  
                
                N
              
              ⁢
              
                PD
                
                  n
                  ,
                  
                    [
                    
                      i
                      +
                      
                        
                          k
                          m
                        
                        ⁡
                        
                          (
                          
                            n
                            -
                            
                              pcolL
                              m
                            
                          
                          )
                        
                      
                    
                    ]
                  
                
              
            
          
        
        ⁢
        
          
        
      
    
    
      
        EQ
        ⁢
        
          
        
        ⁢
        1.3
      
    
  
  
    
      
        
          
        
        {
      
    
    
      
        
      
    
  













Pseudo-Code to Implement the Parity Edge Decoder














To select leftmost good column
PROC 2.1









lefterrors = 0



found = 0



m = −(M-1)



while (not found)










{




if elefterrors = m
// if this is an erased column,










{




lefterrors = lefterrors + 1
// go look at next one



m = m + 1




}










else










{




found = 1
// else this is the first good,



leftgoodcolumn = m
// so note it and stop here



}










}








To determine firstbit and lastbit for data columns
PROC 2.2


(parity columns are same as in Proc 1.1)



(If all parities are erased, column D1 is leftgoodcolumn and we need to know



the firstbit)










firstbit1 = firstbit0 + k(M-1)



for n = 1 to N









{



lastbitn = I − 1



}








To determine currentbit for leftgoodcolumn
PROC 2.3









currentbitleftgoodcolumn = firstbitleftgoodcolumn








Determine currentbit and rebuild sequence for error columns
PROC 2.4


Define columns to be rebuilt n = rm in order as m = 0 to (M-1)



Define slope of line to use in rebuilding column rm as krm











if lefterrors > 0
// if erasures to left of leftgoodcolumn










{




for m = (lefterrors − 1) down to 0
// they must all be parities










{
// and for leftmost bad parities,



currentbitem = firstbitem
// firstbit is same as encode, and



rm = e(lefterrors−1)−m
// rebuild is opposite order from error



krm = k(lefterrors−1)−m
// line slope matches e order



}










}



m = lefterrors



currentcolumn = leftgoodcolumn



currentfirstbit = currentbitleftgoodcolumn



while (m < M):










{




rm = em
// going right rebuild in e order



krm = km
// line slope matches e order and r order









currentbitem = currentfirstbit + krm(em − currentcolumn)










currentfirstbit = currentbitem




currentcolumn = em




m = m + 1




}
// end of while loop








Rebuild erasures at current edge, increment current edge, until all bits rebuilt
PROC 2.5









done = 0



for m = 0 to (M-1)










{



 







  
    X
    
      
        r
        
          m
          ,
        
      
      ⁢
      
        currentbit
        
          r
          m
        
      
    
  
  ⁢
  
    =
    
      
        
      
      ⊕
    
  
  ⁢
  
    
      
         
        ∑
      
      
        n
        =
        
          
            
              -
              
                (
                
                  M
                  ⁢
                  
                    -
                  
                  ⁢
                  1
                
                )
              
            
            ⁢
            
              
            
            ⁢
            except
            ⁢
            
              
            
            ⁢
            n
          
          =
          
            r
            m
          
        
      
      N
    
    ⁢
    
      XPD
      
        n
        ,
        
          [
          
            
              currentbit
              
                r
                m
              
            
            +
            
              
                kr
                m
              
              ⁡
              
                (
                
                  n
                  -
                  
                    r
                    m
                  
                
                )
              
            
          
          ]
        
      
    
  




Eq 2.5


 



}










for m = 0 to (M-1)










{




currentbitrm = currentbitrm + 1
// then increment all currentbits



if currentbitrm ≦ currentbitrm
// clear done if more to do in any column









{



done = 0



}









}









Conventional Syndrome

















To generate conventional syndrome bits SpcolLnt,i
PROC 3.1



 for m = 0 to (M−1)



  {



  for i = firstbitpcolLm to lastbitpcolLm



   {



   SpcolLm,i = ⊕Σn=−(M−1)N PDn, [i + km(n − pcolLm)]
EQ 3.1



   }



  }










Enhanced Syndrome

















To generate enhanced syndrome bits ESpcolLnt,i
PROC 3.2



 for m = 0 to (M−1)



  {



  for i = firstbitpcolLm to lastbitpcolLm



   {



   ESpcolLm,i = ⊕Σn=−(M−1)Nexcept n= e0, e1, ..., e(M−1)
EQ 3.2



   PDn, [i + km(n − pcolLm)]



   }



  }










Rebuilding Erasures Using Enhanced Syndromes














Define parity column of line to use in rebuilding column rm as pcolLrm
PROC 3.3







Use PROC 2.5, but


Replace:














  
    X
    
      
        r
        
          m
          ,
        
      
      ⁢
      
        currentbit
        
          r
          m
        
      
    
  
  =
  
    
       
      ⊕
    
    ⁢
    
      
        
          
            ∑
            
              n
              =
              
                -
                
                  (
                  
                    M
                    -
                    1
                  
                  )
                
              
            
          
          N
        
        
          
            except
            ⁢
            
              
            
            ⁢
            n
          
          =
          
            r
            m
          
        
      
      ⁢
      
        XPD
        
          n
          ,
          
            
          
          ⁢
          
            [
            
              
                currentbit
                
                  r
                  m
                
              
              +
              
                
              
              ⁢
              
                
                  kr
                  m
                
                ⁢
                
                  
                
                ⁢
                
                  (
                  
                    n
                    -
                    
                      r
                      m
                    
                  
                  )
                
              
            
            ]
          
        
      
    
  




Eq 2.5



 







With:














  
    X
    
      
        r
        
          m
          ,
        
      
      ⁢
      
        currentbit
        
          r
          m
        
      
    
  
  =
  
    
      ES
      
        
          pcolL
          m
        
        ,
        
          
        
        ⁢
        
          [
          
            
              currentbit
              
                r
                m
              
            
            +
            
              
            
            ⁢
            
              
                kr
                m
              
              ⁡
              
                (
                
                  
                    pcolLr
                    m
                  
                  ⁢
                  
                    
                  
                  -
                  
                    
                  
                  ⁢
                  
                    r
                    m
                  
                
                )
              
            
          
          ]
        
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⁢
    
      ⊕
      ⊕
    
    ⁢
    
      
        ∑
        
          
            n
            =
            
              r
              0
            
          
          ,
          
            
          
          ⁢
          
            r
            1
          
          ,
          ...
          ,
          
            
          
          ⁢
          
            
              
                r
                
                  (
                  
                    M
                    -
                    1
                  
                  )
                
              
              ⁢
              except
              ⁢
              
                
              
              ⁢
              n
            
            =
            
              r
              m
            
          
        
      
      ⁢
      
        XPD
        
          n
          ,
          
            
          
          ⁢
          
            [
            
              
                currentbit
                
                  r
                  m
                
              
              +
              
                
              
              ⁢
              
                
                  kr
                  m
                
                ⁢
                
                  
                
                ⁢
                
                  (
                  
                    n
                    ⁢
                    
                      
                    
                    -
                    
                      
                    
                    ⁢
                    
                      r
                      m
                    
                  
                  )
                
              
            
            ]
          
        
      
    
  




EQ 3.3










Find the Base i Offset of all Needed Parity Equation Lines














Line base offsets from i for error bit Xe0,i



    (ie., bit in leftmost error column e0 at offset i):
PROC 4.1







 baseL00 = − k0 (e0 − pcolL0)


 baseL10 =


 baseL1H0 = − k0 (e0 − pcolL0) + k0 (e1 − pcolL0) − k1 (e1 − pcolL1)


 baseL1L0 = − k0 (e0 − pcolL0) + k0 (e2 − pcolL0) − k1 (e2 − pcolL1)


 baseL20 = − k0(e0 − pcolL0) + k0(e1 − pcolL0) − k1(e1 − pcolL1) +


 k1(e2 − pcolL1) − k2(e2 − pcolL2)


  or, use − k0(e0 − pcolL0) + k0(e2 − pcolL0) − k1(e2 − pcolL1) +


  k1(e1 − pcolL1) − k2(e1 − pcolL2)


Line base offsets from i for error bit Xe1,i








    (ie., bit in 2nd to leftmost error column e1 at offset i)
PROC 4.2







 baseL11 =


 baseL1H1 = − k1 (e1 − pcolL1)


 baseL01 = − k1 (e1 − pcolL1) + k1 (e0 − pcolL1) − k0 (e0 − pcolL0)


 baseL21 = −k1 (e1 − pcolL1) + k1 (e2 − pcolL1) − k2 (e2 − pcolL2)


 baseL1L1 = − k1(e1 − pcolL1) + k1(e2 − pcolL1) − k2(e2 − pcolL2) +


 k2(e0 − pcolL2) − k1(e0 − pcolL1)


  or:   − k1(e1 − pcolL1) + k1(e0 − pcolL1) − k0(e0 − pcolL0) +


  k0(e2 − pcolL0) − k1(e2 − pcolL1)








Line base offsets from i for error bit Xe2,i



    (ie., bit in rightmost error column e2 at offset i)


    (only valid when M=3)
PROC 4.3







 baseL22 = − k2 (e2 − pcolL2)


 baseL1H2 = − k2 (e2 − pcolL2) + k2 (e1 − pcolL2) − k1 (e1 − pcolL1)


 baseL1L2 = − k2 (e2 − pcolL2) + k2 (e0 − pcolL2) − k1 (e0 − pcolL1)


 baseL02 = − k2(e2 − pcolL2) + k2(e1 − pcolL2) − k1(e1 − pcolL1) +


 k1(e0 − pcolL1) − k0(e0 − pcolL0)


  or, use − k2(e2 − pcolL2) + k2(e0 − pcolL2) − k1(e0 − pcolL1) +


  k1(e1 − pcolL1) − k0(e1 − pcolL0)









Rebuild Error Bit Xem,i














XSpcolLm, i = ⊕Σn=−(M−1)N XPDn, [i+km(n−pcolLm)]
EQ 4.1


for m = 0 to 1
PROC 4.4


 {


 for i = firstbitem to lastbitem


  {


  



   
  
    
      
        
          
            X
            
              
                e
                m
              
              ,
              i
            
          
          =
          
          ⁢
          
            PD
            
              
                e
                m
              
              ,
              i
            
          
        
      
    
    
      
        
          
          ⁢
          
            ⊕
            
              XS
              
                
                  pcolL
                  0
                
                ,
                
                  (
                  
                    i
                    +
                    
                      baseL
                      
                        0
                        m
                      
                    
                  
                  )
                
              
            
          
        
      
    
    
      
        
          
          ⁢
          
            ⊕
            
              XS
              
                
                  pcolL
                  1
                
                ,
                
                  (
                  
                    i
                    +
                    
                      baseL
                      
                        1
                        m
                      
                    
                  
                  )
                
              
            
          
        
      
    
  




EQ 4.2


  }


 }


for m = 0 to 2
PROC 4.4


 {


 for i = firstbitem to lastbitem


  {


  



   
  
    
      
        
          
            X
            
              
                e
                m
              
              ,
              i
            
          
          =
          
          ⁢
          
            PD
            
              
                e
                m
              
              ,
              i
            
          
        
      
    
    
      
        
          
          ⁢
          
            ⊕
            
              XS
              
                
                  pcolL
                  0
                
                ,
                
                  (
                  
                    i
                    +
                    
                      baseL
                      
                        0
                        m
                      
                    
                  
                  )
                
              
            
          
        
      
    
    
      
        
          
          ⁢
          
            ⊕
            
              XS
              
                
                  pcolL
                  1
                
                ,
                
                  (
                  
                    i
                    +
                    
                      baseL
                      
                        1
                        ⁢
                        
                          H
                          m
                        
                      
                    
                  
                  )
                
              
            
          
        
      
    
    
      
        
          
          ⁢
          
            ⊕
            
              XS
              
                
                  pcolL
                  1
                
                ,
                
                  (
                  
                    i
                    +
                    
                      baseL
                      
                        1
                        ⁢
                        
                          L
                          m
                        
                      
                    
                  
                  )
                
              
            
          
        
      
    
    
      
        
          
          ⁢
          
            ⊕
            
              XS
              
                
                  pcolL
                  2
                
                ,
                
                  (
                  
                    i
                    +
                    
                      baseL
                      
                        2
                        m
                      
                    
                  
                  )
                
              
            
          
        
      
    
  




EQ 4.3


  }


 }


Predecessor bit offsets from i for error bit Xe0i


    (ie., bit in leftmost error column e0 at offset i):
PROC 5.1


 predecessorL10 =


 predecessorL1H0 = −k0(e0 − pcolL0) + k0(e1 − pcolL0) − k1(e1 − e0)


 predecessorL1L0 = −k0(e0 − pcolL0) + k0(e2 − pcolL0) − k1(e2 − e0)


 predecessorL20 =


   −k0(e0 − pcolL0) + k0(e1 − pcolL0) − k1(e1 − pcolL1) + k1(e2 − pcolL1) − k2(e2 − e0)


  or, use:


   −k0(e0 − pcolL0) + k0(e2 − pcolL0) − k1(e2 − pcolL1) + k1(e1 − pcolL1) − k2(e1 − e0)


Predecessor bit offsets from i for error bit Xe1, i


    (ie., bit in 2nd to leftmost error column e1 at offset i)
PROC 5.2


 predecessorL01 = −k1(e1 − pcolL1) + k1(e0 − pcolL1) − k0(e0 − e1)


 predecessorL21 = −k1(e1 − pcolL1) + k1(e2 − pcolL1) − k2(e2 − e1)


 predecessorL1L1 = −k1(e1 − pcolL1) + k1(e2 − pcolL1) − k2(e2 − pcolL2) + k2(e0 − pcolL2) − k1(e0 − e1)


 or, use:  −k1(e1 − pcolL1) + k1(e0 − pcolL1) − k0(e0 − pcolL0) + k0(e2 − pcolL0) − k1(e2 − e1)


Predecessor bit offsets from i for error bit Xe2,i


    (ie., bit in rightmost error column e2 at offset i) (only valid when M = 3)
PROC 5.3


 predecessorL1H2 = −k2(e2 − pcolL12) + k2(e1 − pcolL2) − k1(e1 − ne2)


 predecessorL1L2 = −k2(e2 − pcolL12) + k2(e2 − pcolL2) − k1(e0 − ne2)


 predecessorL02 = −k2(e2 − pcolL2) + k2(e1 − pcolL2) − k1(e1 − pcolL1) + k1(e0 − pcolL1) − k0(e0 − e2)


 or, use  −k2(e2 − pcolL2) + k2(e2 − pcolL2) − k1(e0 − pcolL1) + k1(e1 − pcolL1) − k0(e1 − e2)









Rebuild Error Bit Xem,i













Rebuild error bit Xnei (when M = 2)










for i = firstbite0 to lastbite0
PROC 5.4









{














  
    
  
  ⁢
  
    
      X
      
        
          e
          0
        
        ,
        i
      
    
    =
    
      
        PD
        
          
            e
            0
          
          ,
          i
        
      
      ⁢
      
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        S
        
          
            pcolL
            0
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                baseL
                
                  0
                  0
                
              
            
            )
          
        
      
      ⊕
      
        S
        
          
            pcolL
            1
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                baseL
                
                  1
                  0
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        PD
        
          
            e
            0
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  1
                  0
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        X
        
          
            e
            0
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  1
                  0
                
              
            
            )
          
        
      
    
  
  ⁢
  
    
  




EQ 5.1



 









}










for i = firstbite1 to lastbite1
PROC 5.5









{














  
    
  
  ⁢
  
    
      X
      
        
          e
          1
        
        ,
        i
      
    
    =
    
      
        PD
        
          
            e
            1
          
          ,
          i
        
      
      ⁢
      
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        S
        
          
            pcolL
            0
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                baseL
                
                  0
                  1
                
              
            
            )
          
        
      
      ⊕
      
        S
        
          
            pcolL
            1
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                baseL
                
                  1
                  1
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        PD
        
          
            e
            0
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  0
                  1
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        X
        
          
            e
            0
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  0
                  1
                
              
            
            )
          
        
      
    
  
  ⁢
  
    
  




EQ 5.2



 









}







Rebuild error bit Xnei (when M = 3)










for i = firstbite0 to lastbite0
PROC 5.5









{














  
    X
    
      
        e
        0
      
      ,
      i
    
  
  =
  
    
      PD
      
        
          e
          0
        
        ,
        i
      
    
    ⁢
    
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⊕
    
      S
      
        
          pcolL
          0
        
        ,
        
          (
          
            i
            ⁢
            
              
            
            +
            
              
            
            ⁢
            
              baseL
              
                0
                0
              
            
          
          )
        
      
    
    ⊕
    
      S
      
        
          pcolL
          1
        
        ,
        
          (
          
            i
            ⁢
            
              
            
            +
            
              
            
            ⁢
            
              baseL
              
                1
                ⁢
                
                  H
                  0
                
              
            
          
          )
        
      
    
    ⊕
    
      S
      
        
          pcolL
          1
        
        ,
        
          (
          
            i
            ⁢
            
              
            
            +
            
              
            
            ⁢
            
              baseL
              
                1
                ⁢
                
                  L
                  0
                
              
            
          
          )
        
      
    
    ⊕
    
      S
      
        
          pcolL
          2
        
        ,
        
          (
          
            i
            ⁢
            
              
            
            +
            
              
            
            ⁢
            
              baseL
              
                2
                0
              
            
          
          )
        
      
    
    ⁢
    
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⊕
    
      PD
      
        
          e
          0
        
        ,
        
          (
          
            i
            ⁢
            
              
            
            +
            
              
            
            ⁢
            
              predecessorL
              
                1
                ⁢
                
                  H
                  0
                
              
            
          
          )
        
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⊕
    
      PD
      
        
          e
          0
        
        ,
        
          (
          
            i
            ⁢
            
              
            
            +
            
              
            
            ⁢
            
              predecessorL
              
                1
                ⁢
                
                  L
                  0
                
              
            
          
          )
        
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⊕
    
      PD
      
        
          e
          0
        
        ,
        
          (
          
            i
            ⁢
            
              
            
            +
            
              
            
            ⁢
            
              predecessorL
              
                2
                0
              
            
          
          )
        
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⊕
    
      X
      
        
          e
          0
        
        ,
        
          (
          
            i
            ⁢
            
              
            
            +
            
              
            
            ⁢
            
              predecessorL
              
                1
                ⁢
                
                  H
                  0
                
              
            
          
          )
        
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⊕
    
      X
      
        
          e
          0
        
        ,
        
          (
          
            i
            ⁢
            
              
            
            +
            
              
            
            ⁢
            
              predecessorL
              
                1
                ⁢
                
                  L
                  0
                
              
            
          
          )
        
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⊕
    
      X
      
        
          e
          0
        
        ,
        
          (
          
            i
            ⁢
            
              
            
            +
            
              
            
            ⁢
            
              predecessorL
              
                2
                0
              
            
          
          )
        
      
    
  




EQ 5.3



 









}










for i = firstbite1 to lastbite1
PROC 5.5









{














  
    
      X
      
        
          e
          1
        
        ,
        i
      
    
    =
    
      
        
          PD
          ⁢
          
            
          
        
        
          
            n
            e1
          
          ,
          i
        
      
      ⁢
      
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        S
        
          
            pcolL
            0
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                baseL
                
                  0
                  1
                
              
            
            )
          
        
      
      ⊕
      
        S
        
          
            pcolL
            1
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                baseL
                
                  1
                  ⁢
                  
                    H
                    1
                  
                
              
            
            )
          
        
      
      ⊕
      
        S
        
          
            pcolL
            1
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                baseL
                
                  1
                  ⁢
                  
                    L
                    1
                  
                
              
            
            )
          
        
      
      ⊕
      
        S
        
          
            pcolL
            2
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                baseL
                
                  2
                  1
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        PD
        
          
            e
            0
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  0
                  1
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        PD
        
          
            e
            0
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  1
                  ⁢
                  
                    L
                    1
                  
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        PD
        
          
            e
            0
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  2
                  1
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        X
        
          
            e
            0
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  0
                  1
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        X
        
          
            e
            0
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  1
                  ⁢
                  
                    L
                    1
                  
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        X
        
          
            e
            0
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  2
                  1
                
              
            
            )
          
        
      
    
  
  ⁢
  
    
  




EQ 5.4



 









}










for i = firstbite2 to lastbite2
PROC 5.5









{














  
    
      X
      
        
          e
          2
        
        ,
        i
      
    
    =
    
      
        
          PD
          ⁢
          
            
          
        
        
          
            e
            2
          
          ,
          i
        
      
      ⁢
      
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        S
        
          
            pcolL
            0
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                baseL
                
                  0
                  2
                
              
            
            )
          
        
      
      ⊕
      
        S
        
          
            pcolL
            1
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                baseL
                
                  1
                  ⁢
                  
                    H
                    2
                  
                
              
            
            )
          
        
      
      ⊕
      
        S
        
          
            pcolL
            1
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                baseL
                
                  1
                  ⁢
                  
                    L
                    2
                  
                
              
            
            )
          
        
      
      ⊕
      
        S
        
          
            pcolL
            2
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                baseL
                
                  2
                  2
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        PD
        
          
            e
            2
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  1
                  ⁢
                  
                    H
                    2
                  
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        PD
        
          
            e
            2
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  1
                  ⁢
                  
                    L
                    2
                  
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        PD
        
          
            e
            2
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  0
                  2
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        X
        
          
            e
            2
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  1
                  ⁢
                  
                    H
                    2
                  
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        X
        
          
            e
            2
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  1
                  ⁢
                  
                    L
                    2
                  
                
              
            
            )
          
        
      
      ⁢
      
        

      
      ⁢
      
        
      
      ⊕
      
        X
        
          
            e
            2
          
          ,
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                predecessorL
                
                  0
                  2
                
              
            
            )
          
        
      
    
  
  ⁢
  
    
  




EQ 5.5



 









}









PROC 6.0







Use PROC 1.2, but:


Replace:





  
    
      
    
    ⁢
    
      
        P
        
          
            pcolL
            m
          
          ,
          i
        
      
      =
      
        
          
             
            
              
            
          
          ⊕
        
        ⁢
        
          
            
              
                ∑
                
                  n
                  =
                  
                    -
                    
                      (
                      
                        M
                        -
                        1
                      
                      )
                    
                  
                
              
              N
            
            
              
                except
                ⁢
                
                  
                
                ⁢
                n
              
              =
              
                pcolL
                m
              
            
          
          ⁢
          
            
              PD
              
                n
                ,
                
                  [
                  
                    i
                    ⁢
                    
                      
                    
                    +
                    
                      
                    
                    ⁢
                    
                      
                        k
                        m
                      
                      ⁡
                      
                        (
                        
                          n
                          ⁢
                          
                            
                          
                          -
                          
                            pcolL
                            m
                          
                        
                        )
                      
                    
                  
                  ]
                
              
            
            ⁢
            
              
            
            ⁢
            EQ
            ⁢
            
              
            
            ⁢
            1.3
          
        
      
    
  




  
    With
    ⁢
    
      :
    
  




  
    
      
    
    ⁢
    
      
        P
        
          
            pcolL
            m
          
          ,
          i
        
      
      =
      
        
          
            P
            
              
                
                  (
                  
                    
                      pcolL
                      m
                    
                    ⁢
                    
                      
                    
                    +
                    
                      
                    
                    ⁢
                    1
                  
                  )
                
                ,
                
                  
                
                ⁢
                
                  (
                  
                    i
                    ⁢
                    
                      
                    
                    +
                    
                      
                    
                    ⁢
                    
                      k
                      m
                    
                  
                  )
                
              
              ⁢
              
                
              
            
          
          ⁢
          
            
          
          ⁢
          
            if
            ⁢
            
              
                
              
              ⁢
              
                
              
            
            (
            
              
                pcolL
                m
              
              +
              1
            
            )
          
        
        <=
        
          
            0
            ⁢
            
              
            
            ⁢
            EQ
            ⁢
            
              
            
            ⁢
            6.1
          
          ⁢
          
            

          
          ⁢
          
            
          
          ⊕
          
            
               
              ⊕
            
            ⁢
            
              
                
                  ∑
                  
                    n
                    =
                    1
                  
                
                N
              
              ⁢
              
                D
                
                  n
                  ,
                  
                    
                  
                  ⁢
                  
                    [
                    
                      i
                      ⁢
                      
                        
                      
                      +
                      
                        
                      
                      ⁢
                      
                        
                          k
                          m
                        
                        ⁡
                        
                          (
                          
                            n
                            ⁢
                            
                              
                            
                            ·
                            
                              
                            
                            ⁢
                            
                              pcolL
                              m
                            
                          
                          )
                        
                      
                    
                    ]
                  
                
              
            
          
        
      
    
    ⁢
    
      

    
  












To Determine Rebuild Sequence for Error Columns














Set nextdataerror to leftmost data error
PROC 6.1









nextdataerror = 0



done = 0



while (not done) and (nextdataerror< M)









{



if enextdataerror > 0









{



done =1



}









else









{



nextdataerror = nextdataerror + 1



}








Determine currentbit and rebuild sequence for error columns to left of leftgoodcolumn
PROC 6.2


Remember columns to be rebuilt are n = rm in order as m = 0 to (M-1)


Remember slope of line to use in rebuilding column rm is krm


Remember parity column of line to use in rebuilding column rm is pcolLrm










if lefterrors > 0
// if erasures to left of leftgoodcolumn









{










for m = (lefterrors − 1) down to 0
// they must all be parities










{
// and for leftmost bad parities,











currentbitem = firstbitem
// firstbit is same as encode, and
EQ 6.2



rm = e(lefterrors −1) − m
// rebuild is opposite order from error



krm = k(lefterrors −1) − m
// line slope matches e order



pcolLrm = pcolL(lefterrors −1) − m
// line parity column matches e order



}









}








Determine currentbit and rebuild sequence for error columns to right of leftgoodcolumn
PROC 6.3









m = lefterrors



currentcolumn = leftgoodcolumn



currentfirstbit = currentbitleftgoodcolumn



stillinparity = 1










while (m < M) and stillinparity
// do any parity immediately to right









{



if ((currentcolumn + 1) = = em) & ((currentcolumn + 1) <= 0)









{










rm = em
// going right rebuild in e order



krm = km
// line slope matches e order and r order



pcolLrm = pcolLm
// line parity column matches e order and r order









currentcolumn = currentcolumn + 1











currentbitem = currentfirstbit + krm
// firstbit is here + slope * 1 column
EQ 6.3



currentfirstbit = currentbitem



m = m + 1



}









else









(










nexterror = m
// set this in case there are still parity errors



stillinparity = 0



}










}
// end of while still in parity loop









while (m < M):










{
// do next right bit, or skip to data



if enexterror = pcolLm + 1
// pcolLm is base of line m, right is + 1









{










rm = enexterror
// rebuild next parity error



krm = km
// use current rebuild slope



pcolLrm = pcolLm
// use current rebuild line parity column










currentbitenexterror = currentfirstbit + krm (nexterror − currentcolumn)
EQ 6.4



nexterror = nexterror + 1



m = m + 1



}










else
// skip to data









(










rm = enextdataerror
// rebuild next data error



krm = km
// use current rebuild slope



pcolLrm = pcolLm
// use current rebuild line parity column










currentbitenextdataerror = currentfirstbit + krm (nextdataerror − currentcolumn)
EQ 6.5



currentfirstbit = currentbitenextdataerror



currentcolumn = enextdataerror



nextdataerror = nextdataerror + 1



m = m + 1



}










}
// end of while not done with all errors loop








Rebuild erasures at current edge, increment current edge, until all bits rebuilt
PROC 6.4







Use PROC 2.5, but


Replace:


 














  
    X
    
      
        r
        
          m
          ,
        
      
      ⁢
      
        currentbit
        
          r
          m
        
      
    
  
  ⁢
  
    =
    ⊕
  
  ⁢
  
    
      
        
          ∑
          
            n
            =
            
              -
              
                (
                
                  M
                  -
                  1
                
                )
              
            
          
        
        N
      
      
        
          except
          ⁢
          
            
          
          ⁢
          n
        
        =
        
          r
          m
        
      
    
    ⁢
    
      XPD
      
        n
        ,
        
          
        
        ⁢
        
          [
          
            
              currentbit
              
                r
                m
              
            
            +
            
              
            
            ⁢
            
              
                kr
                m
              
              ⁡
              
                (
                
                  n
                  -
                  
                    r
                    m
                  
                
                )
              
            
          
          ]
        
      
    
  




Eq 2.5



 







With:














  
    X
    
      
        r
        
          m
          ,
        
      
      ⁢
      
        
      
      ⁢
      
        currentbit
        
          r
          m
        
      
    
  
  =
  
    
      
         
        ⊕
      
      ⁢
      
        
          
            
              ∑
              
                n
                =
                1
              
            
            N
          
          
            
              except
              ⁢
              
                
              
              ⁢
              n
            
            =
            
              r
              m
            
          
        
        ⁢
        
          
            XPD
            
              n
              ,
              
                
              
              ⁢
              
                [
                
                  
                    currentbit
                    
                      r
                      m
                    
                  
                  +
                  
                    
                  
                  ⁢
                  
                    
                      kr
                      m
                    
                    ⁢
                    
                      
                    
                    ⁢
                    
                      (
                      
                        n
                        -
                        
                          r
                          m
                        
                      
                      )
                    
                  
                
                ]
              
            
          
          ⁢
          
            

          
          ⁢
          
            
          
          ⊕
          
            
          
          ⁢
          
            
              XPD
              
                
                  
                    pcolLr
                    m
                  
                  ,
                  
                    
                  
                  ⁢
                  
                    [
                    
                      
                        currentbit
                        
                          r
                          m
                        
                      
                      +
                      
                        
                      
                      ⁢
                      
                        
                          kr
                          m
                        
                        ⁢
                        
                          
                        
                        ⁢
                        
                          (
                          
                            
                              pcolLr
                              m
                            
                            ⁢
                            
                              
                            
                            -
                            
                              
                            
                            ⁢
                            
                              r
                              m
                            
                          
                          )
                        
                      
                    
                    ]
                  
                
                ⁢
                
                  
                
              
            
            ⁢
            if
            ⁢
            
              
            
            ⁢
            
              
                pcolLr
                m
              
              <>
              
                r
                m
              
            
          
          ⁢
          
            

          
          ⁢
          
            
          
          ⊕
          
            
          
          ⁢
          
            
              XPD
              
                
                  
                    (
                    
                      
                        pcolLr
                        m
                      
                      +
                      
                        
                      
                      ⁢
                      1
                    
                    )
                  
                  ⁢
                  
                    
                  
                  ,
                  
                    
                  
                  ⁢
                  
                    [
                    
                      
                        currentbit
                        
                          r
                          m
                        
                      
                      +
                      
                        
                      
                      ⁢
                      
                        
                          kr
                          m
                        
                        ⁡
                        
                          (
                          
                            
                              pcolLr
                              m
                            
                            ⁢
                            
                              
                            
                            +
                            
                              
                            
                            ⁢
                            1
                            ⁢
                            
                              
                            
                            -
                            
                              
                            
                            ⁢
                            
                              r
                              m
                            
                          
                          )
                        
                      
                    
                    ]
                  
                
                ⁢
                
                  
                
              
            
            ⁢
            
              
            
            ⁢
            if
            ⁢
            
              
            
            ⁢
            
              (
              
                
                  pcolLr
                  m
                
                +
                1
              
              )
            
          
        
      
    
    <=
    
      0
      ⁢
      
        
      
      ⁢
      
        and
        <>
        
          r
          m
        
      
    
  




Eq 6.6



 







Enhanced Syndrome Edge Decoding using Partial Cross Convolution








To generate enhanced syndrome bits ESpcolLmi using partial cross convolution
PROC 6.5







Use PROC 3.2, but:


Replace:














  
    ES
    
      
        pcolL
        m
      
      ,
      
        
      
      ⁢
      i
    
  
  =
  
    
       
      ⊕
    
    ⁢
    
      
        
          
            ∑
            
              n
              =
              
                -
                
                  (
                  
                    M
                    -
                    1
                  
                  )
                
              
            
          
          N
        
        
          
            
              except
              ⁢
              
                
              
              ⁢
              n
            
            =
            
              
            
            ⁢
            
              e
              0
            
          
          ,
          
            
          
          ⁢
          
            e
            1
          
          ,
          
            
          
          ⁢
          ...
          ⁢
          
            
          
          ,
          
            
          
          ⁢
          
            e
            
              (
              
                M
                -
                1
              
              )
            
          
        
      
      ⁢
      
        
      
      ⁢
      
        PD
        
          n
          ,
          
            
          
          ⁢
          
            [
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                
                  k
                  m
                
                ⁡
                
                  (
                  
                    n
                    ⁢
                    
                      
                    
                    -
                    
                      
                    
                    ⁢
                    
                      pcolL
                      m
                    
                  
                  )
                
              
            
            ]
          
        
      
    
  




EQ 3.2







With:














  
    ES
    
      
        pcolL
        m
      
      ,
      i
    
  
  =
  
    
      
        P
        
          
            
              pcolL
              m
            
            ,
            i
          
          ⁢
          
            
          
        
      
      ⁢
      
        
      
      ⁢
      
        (
        
          
            if
            ⁢
            
              
            
            ⁢
            
              
                pcolL
                m
              
              <>
              
                e
                0
              
            
          
          ,
          
            e
            1
          
          ,
          
            ...
            ⁢
            
              
            
            ⁢
            
              e
              
                (
                
                  M
                  -
                  1
                
                )
              
            
          
        
        )
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⊕
    
      
    
    ⁢
    
      
        P
        
          
            
              (
              
                
                  pcolL
                  m
                
                +
                
                  
                
                ⁢
                1
              
              )
            
            ,
            
              
            
            ⁢
            
              (
              
                i
                ⁢
                
                  
                
                +
                
                  
                
                ⁢
                
                  k
                  m
                
              
              )
            
          
          ⁢
          
            
          
        
      
      ⁢
      
        
      
      ⁢
      
        (
        
          
            if
            ⁢
            
              
            
            ⁢
            
              
                (
                
                  
                    pcolL
                    m
                  
                  +
                  1
                
                )
              
              <>
              
                e
                0
              
            
          
          ,
          
            e
            1
          
          ,
          
            ...
            ⁢
            
              
            
            ⁢
            
              e
              
                (
                
                  M
                  -
                  1
                
                )
              
            
          
        
        )
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⊕
    
      
         
        ⊕
      
      ⁢
      
        
          
            
              ∑
              
                n
                =
                1
              
            
            N
          
          
            
              
                except
                ⁢
                
                  
                
                ⁢
                n
              
              =
              
                
              
              ⁢
              
                e
                0
              
            
            ,
            
              
            
            ⁢
            
              e
              1
            
            ,
            
              
            
            ⁢
            ...
            ⁢
            
              
            
            ,
            
              
            
            ⁢
            
              e
              
                (
                
                  M
                  -
                  1
                
                )
              
            
          
        
        ⁢
        
          D
          
            n
            ,
            
              
            
            ⁢
            
              [
              
                i
                ⁢
                
                  
                
                +
                
                  
                
                ⁢
                
                  
                    k
                    m
                  
                  ⁡
                  
                    (
                    
                      n
                      ⁢
                      
                        
                      
                      ·
                      
                        
                      
                      ⁢
                      
                        pcolL
                        m
                      
                    
                    )
                  
                
              
              ]
            
          
        
      
    
  




EQ 6.7



 








Rebuild erasures using enhanced syndromes and partial cross convolution
PROC 6.6







Use PROC 3.3, but


Replace:














  
    X
    
      
        r
        
          m
          ,
        
      
      ⁢
      
        currentbit
        
          r
          m
        
      
    
  
  =
  
    
      ES
      
        
          pcolL
          m
        
        ,
        
          
        
        ⁢
        
          [
          
            
              currentbit
              
                r
                m
              
            
            +
            
              
            
            ⁢
            
              
                kr
                m
              
              ⁡
              
                (
                
                  
                    pcolLr
                    m
                  
                  ⁢
                  
                    
                  
                  -
                  
                    
                  
                  ⁢
                  
                    r
                    m
                  
                
                )
              
            
          
          ]
        
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⁢
    
      ⊕
      ⊕
    
    ⁢
    
      
        ∑
        
          
            n
            =
            
              r
              0
            
          
          ,
          
            
          
          ⁢
          
            r
            1
          
          ,
          ...
          ,
          
            
          
          ⁢
          
            
              
                r
                
                  (
                  
                    M
                    -
                    1
                  
                  )
                
              
              ⁢
              except
              ⁢
              
                
              
              ⁢
              n
            
            =
            
              r
              m
            
          
        
      
      ⁢
      
        XPD
        
          n
          ,
          
            
          
          ⁢
          
            [
            
              
                currentbit
                
                  r
                  m
                
              
              +
              
                
              
              ⁢
              
                
                  kr
                  m
                
                ⁢
                
                  
                
                ⁢
                
                  (
                  
                    n
                    ⁢
                    
                      
                    
                    -
                    
                      
                    
                    ⁢
                    
                      r
                      m
                    
                  
                  )
                
              
            
            ]
          
        
      
    
  




EQ 3.3







With:














  
    X
    
      
        r
        
          m
          ,
        
      
      ⁢
      
        currentbit
        
          r
          m
        
      
    
  
  =
  
    
      ES
      
        
          pcolLr
          m
        
        ,
        
          
        
        ⁢
        
          [
          
            
              currentbit
              
                r
                m
              
            
            +
            
              
            
            ⁢
            
              
                kr
                m
              
              ⁡
              
                (
                
                  
                    pcolLr
                    m
                  
                  ⁢
                  
                    
                  
                  -
                  
                    
                  
                  ⁢
                  
                    r
                    m
                  
                
                )
              
            
          
          ]
        
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⊕
    
      
         
        ⊕
      
      ⁢
      
        
          ∑
          
            
              n
              =
              
                r
                0
              
            
            ,
            
              
            
            ⁢
            
              r
              1
            
            ,
            ...
            ,
            
              
            
            ⁢
            
              
                
                  r
                  
                    (
                    
                      M
                      -
                      1
                    
                    )
                  
                
                ⁢
                except
                ⁢
                
                  
                
                ⁢
                n
              
              =
              
                
                  r
                  m
                
                ⁢
                
                  
                
                ⁢
                or
                ⁢
                
                  
                
                ⁢
                
                  (
                  
                    n
                    ⁢
                    
                      
                    
                    <
                    
                      
                    
                    ⁢
                    
                      pcolLr
                      m
                    
                  
                  )
                
                ⁢
                
                  
                
                ⁢
                
                  or
                  ⁢
                  
                    
                  
                  [
                  
                    
                      
                        
                          (
                          
                            n
                            ⁢
                            
                              
                            
                            >
                            
                              
                            
                            ⁢
                            
                              
                                pcolLr
                                m
                              
                              ⁢
                              
                                
                              
                              +
                              
                                
                              
                              ⁢
                              1
                            
                          
                          )
                        
                        ⁢
                        
                          
                        
                        &
                      
                      ⁢
                      
                        
                      
                      ⁢
                      n
                    
                    ⁢
                    
                      
                    
                    <
                    
                      
                    
                    ⁢
                    1
                  
                  ]
                
              
            
          
        
        ⁢
        
          
        
        ⁢
        
          XPD
          
            n
            ,
            
              
            
            ⁢
            
              [
              
                
                  currentbit
                  
                    
                      r
                      m
                    
                    ⁢
                    
                      
                    
                  
                
                +
                
                  
                
                ⁢
                
                  
                    kr
                    m
                  
                  ⁢
                  
                    
                  
                  ⁢
                  
                    (
                    
                      n
                      ⁢
                      
                        
                      
                      -
                      
                        
                      
                      ⁢
                      
                        r
                        m
                      
                    
                    )
                  
                
              
              ]
            
          
        
      
    
  




EQ 6.8










Parity and Syndrome Error Canceling Decoder Using Partial Cross Convolution

Syndromes Used in the Cancelling Equations Must be Calculated Using Partial Encoding: PROC 6.7

















Use PROC 3.1, but




Replace:



SpcolLm, i = ⊕Σn=−(M−1)NPDn, [i+km(n−pcolLm)]
EQ 3.1



With:



SpcolLm, i = PpcolLm, i
EQ 6.9



⊕ P(pcolLm+1), (i+km)



⊕ ⊕Σn=1NDn, [i+km(n−pcolLm)]










Line Topology for M=2 Using Partial Cross Convolution

The general rules are as follows: PROC 6.8

    
    
        1. If a data column or P0 is being cancelled, use the normal L0, L1 crossing topology, since these columns are contained on both lines. (10/11 e0, 00/01 e0/e1)
        2. If P−1 is being cancelled, rebuild e1 using the line that does not contain P−1, which effectively cancels P−1. (10/11 e1)
    
    









TABLE 6.1







M = 2 rules per error pattern and column to be rebuilt










Rebuild










Parity erasure
e0
e1





00
1
1


01
1
1


10
1
2


11
1
2









Line Topology for M=3 Using Partial Cross Convolution

The general rules are as follows: PROC 6.9

    
    
        1. If no parities are being cancelled (ie., two data columns are being cancelled,) use the normal L0, L1H, L1L, L2 parallelogram topology, since all data is contained on all lines. This is true for the normal case of no bad parity, as well as for rebuilding e0 (the parity bit) in cases where one parity is erased. (000 e0/e1/e2, 100/010/001 e0)
        2. If P−2 is being cancelled, ignore the line which does not contain P−2 and rebuild e1 and e2 as if they were e0 and e1 in the M=2 case. (100/110/101/111 e1/e2)
        3. If P−2 is not being cancelled and P−1 is being cancelled and P0 is not being cancelled, cross the two lines that contain P−1 on P−1; these two lines will cross the other column to be cancelled at two points; cancel those points by crossing with two of the line that does not contain P−1; no other cancelling is needed. (110 e0, 010/011 e1/e2)
        4. If P−2 is not being cancelled and P−1 and P0 are being cancelled, cross the two lines that contain P−1 on P−1; one of these lines will cross P0; cancel that point by crossing with the line that does not contain P−1; no other cancelling is needed. (111 e0)
        5. If neither P−2 or P−1 is being cancelled and P0 is being cancelled, cross the two lines that contain P0 on P0; these two lines will cross the other column to be cancelled at two points; cancel those points by crossing with two of the line that does not contain P0; no other cancelling is needed, (101/011 e0, 001 e1/e2)
    
    









TABLE 6.2







M = 3 rules per error pattern and column to be rebuilt









Rebuild












Parity erasure
e0
e1
e2







000
1
1
1



001
1
5
5



010
1
3
3



011
5
3
3



100
1
2
2



101
5
2
2



110
3
2
2



111
4
2
2










Determine Firstbits and Lastbits for Parity

Determine first parity firstbit0 to left of data, is the same as normal encoding, but parities at column n<0 use same offset as parity to their right, since slope is 0 at that point.
















for n = 0 down to −(M−1)
PROC 7.1



 {










 firstbitn = min [ min [−klpcoln (N−n),
// for slope >= 0



      −klpcoln (1−n)],
// for slope <= 0



     firstbit(n+1) (if n + 1 <= 0) ]
// to get next parity




firstbit



 lastbitn = max [ I − 1 + max [−klpcoln (N−n),
// for slope <= 0



        −klpcoln (1−n)],
// for slope >= 0



     firstbit(n+1) (if n + 1 <= 0) ]
// to get next parity




firstbit



}










Define Parity Bit Values














Use PROC 1.2, but:



Replace:


PpcolLm, i = ⊕Σn=−(M−1)Nexcept n=pcolLm PDn, [i+km(n−pcolLm)]
EQ 1.3


With:


PpcolLm, i = P(pcolLm+1), i if(pcolLm + 1) <= 0


⊕ ⊕Σn=1NDn, [i+kmn]
EQ 7.1









Define Current Bit Values for Parity and Syndrome Edge Decoders

Use PROC 6.3, but:

The first instance is setting the currentbit to firstbit for error columns to the left of the leftgoodcolumn, and since these have been set for flat slope already, that remains the same:

Use as is: currentbitem=firstbitem  EQ 6.2

The second instance is calculating the parity bit immediately to the right, so slope is 0, not krm:

Replace: currentbitem=currentfirstbit+krm  EQ 6.3

With: currentbitem=currentfirstbit  EQ 7.2

The next instance is calculating a parity from a data bit, so slope krm only covers from currentcolumn (the data bit) to 0, slope from 0 to nexterror (the parity column) is 0:

Replace: currentbitenexterror=currentfirstbit+krm(nexterror−currentcolumn)  EQ 6.4

With: currentbitenexterror=currentfirstbit+krm(−currentcolumn)  EQ 7.3

The next instance is calculating a data bit from a parity or data bit, so the slope is krm only from column 0 to the data bit; recall that n=n for n>=0, and n=0 for n<0:

Replace: currentbitenextdataerror=currentfirstbit+krm(nextdataerror−currentcolumn)  EQ 6.5

Replace: currentbitenextdataerror=currentfirstbit+krm(nextdataerror−currentcolumn)  EQ 7.4

Rebuild Erasures in Edge Decoder Using Flat Parity Slopes













Use PROC 6.4, but:


Replace:














  
    X
    
      
        r
        
          m
          ,
        
      
      ⁢
      
        
      
      ⁢
      
        currentbit
        
          r
          m
        
      
    
  
  =
  
    
      
         
        ⊕
      
      ⁢
      
        
          
            
              ∑
              
                n
                =
                1
              
            
            N
          
          
            
              except
              ⁢
              
                
              
              ⁢
              n
            
            =
            
              r
              m
            
          
        
        ⁢
        
          
            XPD
            
              n
              ,
              
                
              
              ⁢
              
                [
                
                  
                    currentbit
                    
                      r
                      m
                    
                  
                  ⁢
                  
                    
                  
                  +
                  
                    
                  
                  ⁢
                  
                    
                      kr
                      m
                    
                    ⁡
                    
                      (
                      
                        n
                        -
                        
                          r
                          m
                        
                      
                      )
                    
                  
                
                ]
              
            
          
          ⁢
          
            

          
          ⁢
          
            
          
          ⊕
          
            
              XPD
              
                
                  
                    pcolLr
                    m
                  
                  ,
                  
                    
                  
                  ⁢
                  
                    [
                    
                      
                        currentbit
                        
                          r
                          m
                        
                      
                      +
                      
                        
                      
                      ⁢
                      
                        
                          kr
                          m
                        
                        ⁢
                        
                          
                        
                        ⁢
                        
                          (
                          
                            
                              pcolLr
                              m
                            
                            ⁢
                            
                              
                            
                            -
                            
                              
                            
                            ⁢
                            
                              r
                              m
                            
                          
                          )
                        
                      
                    
                    ]
                  
                
                ⁢
                
                  
                
              
            
            ⁢
            if
            ⁢
            
              
            
            ⁢
            
              
                pcolLr
                m
              
              <>
              
                r
                m
              
            
          
          ⁢
          
            

          
          ⁢
          
            
          
          ⊕
          
            
              XPD
              
                
                  (
                  
                    
                      pcolLr
                      m
                    
                    ⁢
                    
                      
                    
                    +
                    
                      
                    
                    ⁢
                    1
                  
                  )
                
                ,
                
                  
                
                ⁢
                
                  [
                  
                    
                      currentbit
                      
                        r
                        m
                      
                    
                    ⁢
                    
                      
                    
                    +
                    
                      
                    
                    ⁢
                    
                      
                        kr
                        m
                      
                      ⁢
                      
                        
                      
                      ⁢
                      
                        (
                        
                          
                            pcolLr
                            m
                          
                          ⁢
                          
                            
                          
                          +
                          
                            
                          
                          ⁢
                          1
                          ⁢
                          
                            
                          
                          -
                          
                            
                          
                          ⁢
                          
                            r
                            m
                          
                        
                        )
                      
                    
                  
                  ]
                
              
            
            ⁢
            
              
            
            ⁢
            if
            ⁢
            
              
            
            ⁢
            
              (
              
                
                  pcolLr
                  m
                
                +
                1
              
              )
            
          
        
      
    
    <=
    
      0
      ⁢
      
        
      
      ⁢
      
        and
        <>
        
          r
          m
        
      
    
  




Eq 6.6



 







With:









if rm > 0 (rebuilding data)










{








  
    X
    
      
        r
        
          m
          ,
        
      
      ⁢
      
        
      
      ⁢
      
        currentbit
        
          r
          m
        
      
    
  
  =
  
    
      
         
        ⊕
      
      ⁢
      
        
          
            
              ∑
              
                n
                =
                1
              
            
            N
          
          
            
              except
              ⁢
              
                
              
              ⁢
              n
            
            =
            
              r
              m
            
          
        
        ⁢
        
          
            XPD
            
              n
              ,
              
                
              
              ⁢
              
                [
                
                  
                    currentbit
                    
                      r
                      m
                    
                  
                  ⁢
                  
                    
                  
                  +
                  
                    
                  
                  ⁢
                  
                    
                      kr
                      m
                    
                    ⁡
                    
                      (
                      
                        n
                        -
                        
                          r
                          m
                        
                      
                      )
                    
                  
                
                ]
              
            
          
          ⁢
          
            

          
          ⁢
          
            
          
          ⊕
          
            XPD
            
              
                
                  pcolLr
                  m
                
                ,
                
                  
                
                ⁢
                
                  [
                  
                    
                      currentbit
                      
                        r
                        m
                      
                    
                    +
                    
                      
                    
                    ⁢
                    
                      
                        kr
                        m
                      
                      ⁢
                      
                        
                      
                      ⁢
                      
                        (
                        
                          -
                          
                            r
                            m
                          
                        
                        )
                      
                    
                  
                  ]
                
              
              ⁢
              
                
              
            
          
          ⁢
          
            

          
          ⁢
          
            
          
          ⊕
          
            
              XPD
              
                
                  (
                  
                    
                      pcolLr
                      m
                    
                    ⁢
                    
                      
                    
                    +
                    
                      
                    
                    ⁢
                    1
                  
                  )
                
                ,
                
                  
                
                ⁢
                
                  [
                  
                    
                      currentbit
                      
                        r
                        m
                      
                    
                    ⁢
                    
                      
                    
                    +
                    
                      
                    
                    ⁢
                    
                      
                        kr
                        m
                      
                      ⁢
                      
                        
                      
                      ⁢
                      
                        (
                        
                          -
                          
                            r
                            m
                          
                        
                        )
                      
                    
                  
                  ]
                
              
            
            ⁢
            
              
            
            ⁢
            if
            ⁢
            
              
            
            ⁢
            
              (
              
                
                  pcolLr
                  m
                
                +
                1
              
              )
            
          
        
      
    
    <=
    0
  




Eq 7.5



 









}









else rm <= 0 (rebuilding parity)









{



 














  
    X
    
      
        r
        
          m
          ,
        
      
      ⁢
      
        
      
      ⁢
      
        currentbit
        
          r
          m
        
      
    
  
  =
  
    
      
         
        ⊕
      
      ⁢
      
        
          
            ∑
            
              n
              =
              1
            
          
          N
        
        ⁢
        
          
            XPD
            
              n
              ,
              
                
              
              ⁢
              
                [
                
                  
                    currentbit
                    
                      r
                      m
                    
                  
                  ⁢
                  
                    
                  
                  +
                  
                    
                  
                  ⁢
                  
                    
                      kr
                      m
                    
                    ⁢
                    n
                  
                
                ]
              
            
          
          ⁢
          
            

          
          ⁢
          
            
          
          ⊕
          
            
              XPD
              
                
                  
                    pcolLr
                    m
                  
                  ,
                  
                    
                  
                  ⁢
                  
                    [
                    
                      currentbit
                      
                        r
                        m
                      
                    
                    ]
                  
                
                ⁢
                
                  
                
              
            
            ⁢
            if
            ⁢
            
              
            
            ⁢
            
              
                pcolLr
                m
              
              <>
              
                r
                m
              
            
          
          ⁢
          
            

          
          ⁢
          
            
          
          ⊕
          
            
              XPD
              
                
                  (
                  
                    
                      pcolLr
                      m
                    
                    ⁢
                    
                      
                    
                    +
                    
                      
                    
                    ⁢
                    1
                  
                  )
                
                ,
                
                  
                
                ⁢
                
                  [
                  
                    currentbit
                    
                      r
                      m
                    
                  
                  ]
                
              
            
            ⁢
            
              
            
            ⁢
            if
            ⁢
            
              
            
            ⁢
            
              (
              
                
                  pcolLr
                  m
                
                +
                1
              
              )
            
          
        
      
    
    <=
    
      0
      ⁢
      
        
      
      ⁢
      
        and
        <>
        
          r
          m
        
      
    
  




Eq 7.6



 









}










Enhanced Syndrome Edge Decoding Using Flat Parity Slopes













Use PROC 6.5, but:


Replace:














  
    ES
    
      
        pcolL
        m
      
      ,
      i
    
  
  =
  
    
      
        P
        
          
            pcolL
            m
          
          ,
          
            
          
          ⁢
          i
        
      
      ⁢
      
        
      
      ⁢
      
        (
        
          
            if
            ⁢
            
              
            
            ⁢
            
              
                pcolL
                m
              
              <>
              
                e
                0
              
            
          
          ,
          
            e
            1
          
          ,
          
            ...
            ⁢
            
              
            
            ⁢
            
              e
              
                (
                
                  M
                  -
                  1
                
                )
              
            
          
        
        )
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⊕
    
      
    
    ⁢
    
      
        P
        
          
            (
            
              
                pcolL
                m
              
              +
              
                
              
              ⁢
              1
            
            )
          
          ,
          
            
          
          ⁢
          
            (
            
              i
              ⁢
              
                
              
              +
              
                
              
              ⁢
              
                k
                m
              
            
            )
          
        
      
      ⁢
      
        
      
      ⁢
      
        (
        
          
            if
            ⁢
            
              
            
            ⁢
            
              
                (
                
                  
                    pcolL
                    m
                  
                  +
                  1
                
                )
              
              <>
              
                
              
              ⁢
              
                e
                0
              
            
          
          ,
          
            e
            1
          
          ,
          
            ...
            ⁢
            
              
            
            ⁢
            
              e
              
                (
                
                  M
                  -
                  1
                
                )
              
            
          
        
        )
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⊕
    
      
    
    ⁢
    
      
         
        ⊕
      
      ⁢
      
        
          ∑
          
            
              n
              =
              
                
                  1
                  ⁢
                  
                    
                  
                  ⁢
                  except
                  ⁢
                  
                    
                  
                  ⁢
                  n
                
                =
                
                  e
                  0
                
              
            
            ,
            
              
            
            ⁢
            
              e
              1
            
            ,
            
              
            
            ⁢
            ...
            ⁢
            
              
            
            ,
            
              
            
            ⁢
            
              e
              
                (
                
                  M
                  -
                  1
                
                )
              
            
          
        
        ⁢
        
          D
          
            
              n
              ,
              
                
              
              ⁢
              
                [
                
                  i
                  ⁢
                  
                    
                  
                  +
                  
                    
                  
                  ⁢
                  
                    
                      k
                      m
                    
                    ⁡
                    
                      (
                      
                        n
                        ⁢
                        
                          
                        
                        -
                        
                          
                        
                        ⁢
                        
                          pcolL
                          m
                        
                      
                      )
                    
                  
                
                ]
              
            
            ⁢
            
              
            
          
        
      
    
  




EQ 6.7



 







With:














  
    ES
    
      
        pcolL
        m
      
      ,
      i
    
  
  =
  
    
      
        P
        
          
            pcolL
            m
          
          ,
          i
        
      
      ⁢
      
        
      
      ⁢
      
        (
        
          
            if
            ⁢
            
              
            
            ⁢
            
              
                pcolL
                m
              
              <>
              
                e
                0
              
            
          
          ,
          
            e
            1
          
          ,
          
            ...
            ⁢
            
              
            
            ⁢
            
              e
              
                (
                
                  M
                  -
                  1
                
                )
              
            
          
        
        )
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⊕
    
      
    
    ⁢
    
      
        P
        
          
            (
            
              
                pcolL
                
                  m
                  ⁢
                  
                    
                  
                
              
              +
              
                
              
              ⁢
              1
            
            )
          
          ,
          
            
          
          ⁢
          i
        
      
      ⁢
      
        
      
      ⁢
      
        (
        
          
            if
            ⁢
            
              
            
            ⁢
            
              
                (
                
                  
                    pcolL
                    m
                  
                  +
                  1
                
                )
              
              <>
              
                e
                0
              
            
          
          ,
          
            e
            1
          
          ,
          
            ...
            ⁢
            
              
            
            ⁢
            
              e
              
                (
                
                  M
                  -
                  1
                
                )
              
            
          
        
        )
      
    
    ⁢
    
      

    
    ⁢
    
      
    
    ⊕
    
      
         
        ⊕
      
      ⁢
      
        
          
            
              ∑
              
                n
                =
                1
              
            
            N
          
          
            
              
                except
                ⁢
                
                  
                
                ⁢
                n
              
              =
              
                e
                0
              
            
            ,
            
              
            
            ⁢
            
              e
              1
            
            ,
            
              
            
            ⁢
            ...
            ⁢
            
              
            
            ,
            
              
            
            ⁢
            
              e
              
                (
                
                  M
                  -
                  1
                
                )
              
            
          
        
        ⁢
        
          D
          
            n
            ,
            
              
            
            ⁢
            
              [
              
                i
                ⁢
                
                  
                
                +
                
                  
                
                ⁢
                
                  
                    k
                    m
                  
                  ⁢
                  n
                
              
              ]
            
          
        
      
    
  




EQ 7.7



 







Use PROC 6.6, but:


Replace:














  
    X
    
      
        r
        
          m
          ,
        
      
      ⁢
      
        
      
      ⁢
      
        currentbit
        
          r
          m
        
      
    
  
  =
  
    
      ES
      
        
          pcolL
          m
        
        ,
        
          
        
        ⁢
        
          [
          
            
              currentbit
              
                r
                m
              
            
            +
            
              
            
            ⁢
            
              
                kr
                m
              
              ⁢
              
                
              
              ⁢
              
                (
                
                  
                    pcolL
                    m
                  
                  ⁢
                  
                    
                  
                  -
                  
                    
                  
                  ⁢
                  
                    r
                    m
                  
                
                )
              
            
          
          ]
        
      
    
    ⁢
    
      

    
    ⊕
    
      
         
        ⊕
      
      ⁢
      
        
          ∑
          
            
              n
              =
              
                r
                0
              
            
            ,
            
              
            
            ⁢
            
              r
              1
            
            ,
            
              
            
            ⁢
            ...
            ⁢
            
              
            
            ,
            
              
            
            ⁢
            
              
                
                  r
                  
                    (
                    
                      M
                      -
                      1
                    
                    )
                  
                
                ⁢
                
                  
                
                ⁢
                except
                ⁢
                
                  
                
                ⁢
                n
              
              =
              
                
                  r
                  m
                
                ⁢
                
                  
                
                ⁢
                or
                ⁢
                
                  
                
                ⁢
                
                  (
                  
                    n
                    ⁢
                    
                      
                    
                    <
                    
                      
                    
                    ⁢
                    
                      pcolLr
                      m
                    
                  
                  )
                
                ⁢
                
                  
                
                ⁢
                
                  or
                  ⁢
                  
                    
                  
                  [
                  
                    
                      
                        
                          (
                          
                            n
                            ⁢
                            
                              
                            
                            >
                            
                              
                            
                            ⁢
                            
                              
                                pcolLr
                                m
                              
                              ⁢
                              
                                
                              
                              +
                              
                                
                              
                              ⁢
                              1
                            
                          
                          )
                        
                        ⁢
                        
                          
                        
                        &
                      
                      ⁢
                      
                        
                      
                      ⁢
                      n
                    
                    ⁢
                    
                      
                    
                    <
                    
                      
                    
                    ⁢
                    1
                  
                  ]
                
              
            
          
        
        ⁢
        
          
        
        ⁢
        
          XPD
          
            n
            ,
            
              
            
            ⁢
            
              [
              
                
                  currentbit
                  
                    r
                    m
                  
                
                +
                
                  
                
                ⁢
                
                  
                    kr
                    m
                  
                  ⁢
                  
                    
                  
                  ⁢
                  
                    (
                    
                      n
                      ⁢
                      
                        
                      
                      -
                      
                        
                      
                      ⁢
                      
                        r
                        m
                      
                    
                    )
                  
                
              
              ]
            
          
        
      
    
  




EQ 6.8



 







With:









if rm > 0 (rebuilding data)









{














  
    X
    
      
        r
        
          m
          ,
        
      
      ⁢
      
        
      
      ⁢
      
        currentbit
        
          r
          m
        
      
    
  
  =
  
    
      ES
      
        
          pcolL
          m
        
        ,
        
          
        
        ⁢
        
          [
          
            
              currentbit
              
                r
                m
              
            
            +
            
              
            
            ⁢
            
              
                kr
                m
              
              ⁢
              
                
              
              ⁢
              
                (
                
                  
                
                ⁢
                
                  -
                  
                    
                  
                  ⁢
                  
                    r
                    m
                  
                
                )
              
            
          
          ]
        
      
    
    ⁢
    
      

    
    ⊕
    
      
         
        ⊕
      
      ⁢
      
        
          ∑
          
            
              n
              =
              
                
              
              ⁢
              
                r
                0
              
            
            ,
            
              
            
            ⁢
            
              r
              1
            
            ,
            
              
            
            ⁢
            ...
            ⁢
            
              
            
            ,
            
              
            
            ⁢
            
              
                
                  r
                  
                    (
                    
                      M
                      -
                      1
                    
                    )
                  
                
                ⁢
                
                  
                
                ⁢
                except
                ⁢
                
                  
                
                ⁢
                n
              
              =
              
                
                  r
                  m
                
                ⁢
                
                  
                
                ⁢
                or
                ⁢
                
                  
                
                ⁢
                
                  (
                  
                    n
                    ⁢
                    
                      
                    
                    <
                    
                      
                    
                    ⁢
                    
                      pcolLr
                      m
                    
                  
                  )
                
                ⁢
                
                  
                
                ⁢
                
                  or
                  ⁢
                  
                    
                  
                  [
                  
                    
                      
                        
                          (
                          
                            n
                            ⁢
                            
                              
                            
                            >
                            
                              
                            
                            ⁢
                            
                              
                                pcolLr
                                m
                              
                              ⁢
                              
                                
                              
                              +
                              
                                
                              
                              ⁢
                              1
                            
                          
                          )
                        
                        ⁢
                        
                          
                        
                        &
                      
                      ⁢
                      
                        
                      
                      ⁢
                      n
                    
                    ⁢
                    
                      
                    
                    <
                    
                      
                    
                    ⁢
                    1
                  
                  ]
                
              
            
          
        
        ⁢
        
          
        
        ⁢
        
          XPD
          
            n
            ,
            
              
            
            ⁢
            
              [
              
                
                  currentbit
                  
                    r
                    m
                  
                
                +
                
                  
                
                ⁢
                
                  
                    kr
                    m
                  
                  ⁢
                  
                    
                  
                  ⁢
                  
                    (
                    
                      n
                      ⁢
                      
                        
                      
                      -
                      
                        
                      
                      ⁢
                      
                        r
                        
                          m
                          _
                        
                      
                    
                    )
                  
                
              
              ]
            
          
        
      
    
  




EQ 7.8



 









}









else rm <=0 (rebuilding parity)









{














  
    X
    
      
        r
        
          m
          ,
        
      
      ⁢
      
        
      
      ⁢
      
        currentbit
        
          r
          m
        
      
    
  
  =
  
    
      ES
      
        
          pcolL
          m
        
        ,
        
          
        
        ⁢
        
          currentbit
          
            r
            m
          
        
      
    
    ⁢
    
      

    
    ⊕
    
      
         
        ⊕
      
      ⁢
      
        
          ∑
          
            
              n
              =
              
                
              
              ⁢
              
                r
                0
              
            
            ,
            
              
            
            ⁢
            
              r
              1
            
            ,
            
              
            
            ⁢
            ...
            ⁢
            
              
            
            ,
            
              
            
            ⁢
            
              
                
                  r
                  
                    (
                    
                      M
                      -
                      1
                    
                    )
                  
                
                ⁢
                
                  
                
                ⁢
                except
                ⁢
                
                  
                
                ⁢
                n
              
              =
              
                
                  r
                  m
                
                ⁢
                
                  
                
                ⁢
                or
                ⁢
                
                  
                
                ⁢
                
                  (
                  
                    n
                    ⁢
                    
                      
                    
                    <
                    
                      
                    
                    ⁢
                    
                      pcolLr
                      m
                    
                  
                  )
                
                ⁢
                
                  
                
                ⁢
                
                  or
                  ⁢
                  
                    
                  
                  [
                  
                    
                      
                        
                          (
                          
                            n
                            ⁢
                            
                              
                            
                            >
                            
                              
                            
                            ⁢
                            
                              
                                pcolLr
                                m
                              
                              ⁢
                              
                                
                              
                              +
                              
                                
                              
                              ⁢
                              1
                            
                          
                          )
                        
                        ⁢
                        
                          
                        
                        &
                      
                      ⁢
                      
                        
                      
                      ⁢
                      n
                    
                    ⁢
                    
                      
                    
                    <
                    
                      
                    
                    ⁢
                    1
                  
                  ]
                
              
            
          
        
        ⁢
        
          
        
        ⁢
        
          XPD
          
            n
            ,
            
              
            
            ⁢
            
              [
              
                
                  currentbit
                  
                    r
                    m
                  
                
                +
                
                  
                
                ⁢
                
                  k
                  ⁢
                  
                    
                  
                  ⁢
                  
                    r
                    m
                  
                  ⁢
                  
                    n
                    _
                  
                
              
              ]
            
          
        
      
    
  




EQ 7.9



 









}










Parity and Syndrome Error Canceling Decoder Using Flat Parity Slopes

Standard Syndrome Using Flat Parity Slopes:

















Use PROC 6.7, but:




Replace:



  SpcolLm,i = PpcolLm, i
EQ 6.9



    ⊕ P(pcolLm+ 1), (i + km)



    ⊕ ⊕Σn= 1N Dn, [i + km(n − pcolLm)]



With:



  SpcolLm,i = PpcolLm, i
EQ 7.10



    ⊕ P(pcolLm+ 1), i



    ⊕ ⊕Σn= 1N Dn, [i + kmn ]










To find line base offsets and predecessor bits, use equations of Proc 4.1-4.3 and 5.1-5.3, modified per the topology rules in section E6, but perform the 0-limiting operation on all em and replace all pcolLm terms with 0:
Examples:
Replace:

baseL1L0=−k0(e0−pcolL0)+k0(e2−pcolL0)−k1(e2−pcolL1)

With:

baseL1L0=−k0e0+k0e2−k1e2 

Examples:

Replace:

predecessorL1L0=−k0(e0−pcolL0)+k0(e2−pcolL0)−k1(e2−e0)

With:

predecessorL1L0=−k0e0+k0e2−k1(e2−e0)

Parity to Column Mapping for Non-Sequential Mapping

In this case, the mapping equation which was used throughout the preceding sections is replaced by another equation, or in general, by a table:
Replace:

pcolLm=m−(M−1)  EQ 1.1

and conversely,

lpcoln=n+(M−1)  EQ 1.2

With:








TABLE 10.1







pcolLm (parity column for line) example for M = 7


(the alternating slope method)













Line
Slope




pcolLm
Lm
km
m
















0
L3
0
3



−1
L4
1
4



−2
L2
−1
2



−3
L5
2
5



−4
L1
−2
1



−5
L6
3
6



−6
L0
−3
0










and conversely,








TABLE 10.2







lpcoln (line for parity column) example for


M = 7 (the alternating slope method)













Parity
Slope




lpcoln
Pn
km
m
















0
P−6
−3
0



1
P−4
−2
1



2
P−2
−1
2



3
P0
0
3



4
P−1
1
4



5
P−3
2
5



6
P−5
3
6










The firstbit and lastbit determination use the same Proc 1.1, but using the above table-driven values for lpcoln.
Parity and Syndrome Error Canceling Decoders with Non-Sequential pcolL
For cancelling decoders, procedures PROC 6.8 and 6.9 apply, since the rules do not call out specific lines, but only lines that include or do not include a parity column, which adjusts automatically to any pcolL table. The determination of the bases and the predecessor bits is still a function of the resulting topology, and the equations are not expanded in this document.
Parity and Syndrome Edge Decoders with Non-Sequential pcolL
The normal procedure starts at the leftgood column and proceeds outward in both directions, such that L0 corrects the leftmost erased column. With non-sequential pcolL, L0 may not contain the leftmost parity bits, so the normal procedure won't work.
The alternating slopes of this table create some constraints and rules for on rebuild order:

    
    
        1. Rebuild data bits from right to left, using Lm for m=(M−1) to 0, since the lines with slope>0 are initially based on parity bits at i<0, which are reliably stored via external means and thus can be used initially even if that parity column is erased. (The erased columns in these lines are rebuilt by lines with lower slope, ahead of their initial position, later in the sequence but before the next iteration.)
        2. For each line, first try to use it to rebuild a data bit (either the next leftward erased data bit from the last rebuilt data bit, along a line through it, or the firstbite(M−1) if this is the rightmost erased data bit. The firstbite(M−1) will be 0 initially, and adjusted at the end using rule 4 below. Rebuild the next data bit if:
        
            a. Both pcolLm or (pcolLm+1) are good (or pcolLm=0 and is good)
            
                these are the only parity bits on the line, line will be wasted if data not rebuilt
            
            
            b. pcolLm is good and (pcolLm+1) is bad and km>0
            
                initially, start with given P(pcolLm+1) 
                P(pcolLm+1) will be rebuilt ahead of this position, along lpcol(pcolLm+1), with good or rebuilt P(pcolLm+2) 
            
            
            c. pcolLm is bad and (pcolLm−1) is good and km>0
            
                initially, start with given PpcolLm 
                PpcolLm will be rebuilt ahead of this position, along Llpcol(pcolLm−1), with good P(pcolLm−1) 
                bad (pcolLm+1) doesn't matter per rule 2b
            
            
        
        
        3. If can't build a data bit on Lm, build a parity bit or bits:
        
            a. If only one of pcolLm and (pcolLm+1) are erased (or pcolLm is 0)
            
                i. Rebuild bad P on line Lm through last rebuilt data (or DN,0 if no D errors)
                ii. If pcolLm was rebuilt, and pcolLm−1 is erased and kl1pcol(pcolLm−1)<0
                
                    1. Rebuild P(pcolLm−1) along LlpcolL(pcolLm−1) through the rebuilt PpcolLm 
                     (This is the equivalent of the leftward rebuild of leftmost parities in the normal pcolL sequence case, call it “build left”.)
                
                
            
            
            b. if both pcolLm and (pcolLm+1) are erased and km>0
            
                i. Rebuild bad PpcolLm on line Lm through last rebuilt data (or DN,0 if no D errors)
                
                    P(pcolLm+1) is okay as in rule 2b.
                
                
                ii. pcolLm−1 is erased (or would have rebuilt a data using rule 2c.)
                
                    1. Rebuild P(pcolLm−1) as in rule 3a.ii.1 (“build left”)
                
                
            
            
            c. if both pcolLm and (pcolLm+1) are erased and km<0
            i. skip Lm, it was used earlier for a “build left”
        
        
        4. The initial firstbit for any rebuilt bit is the same as it's stored firstbit. As each bit is rebuilt on the first iteration, if the resulting offset is >that column's stored firstbit, subtract the difference from all rebuild firstbits calculated so far. Thus all stored, erased bits will be rebuilt, and in some columns, initial “rebuilds” will be earlier than the stored firstbit and don't have any effect.
    
    


It is to be understood that the foregoing description is intended to illustrate and not to limit the scope of the invention, which is defined by the scope of the appended claims. Other embodiments are within the scope of the following claims.

## Claims

1. A computerized method for data error protection comprising:
receiving source data;
representing the source data as N channels of source data, each including a series of I entries;
storing the N series of I entries in a buffer; and
encoding, based on the N series of I entries in the buffer, the N channels of source data to form M channels of encoded data such that the M channels of encoded data and the N channels of source data satisfy at least M×I independent parity equations, at least I entries of some of the M channels of encoded data each being an argument to at least M of the parity equations, and at least N+1 entries, from the stored series of entries and the previously encoded entries, contribute to one or more of the parity equations.

2. The computerized method of claim 1 wherein encoding the N channels comprises augmenting the N channels of source data with M channels of parity data.

3. The computerized method of claim 2 wherein each entry of the N channels of source data is an argument to M of the parity equations.

4. The computerized method of claim 2 wherein in at least some of the M channels of parity data comprise at least I entries in the channel are each an argument to at least 2 of the parity equations.

5. The computerized method of claim 4 wherein in at least some of the M channels of parity data comprise at least I entries in the channel are each an argument to at least M of the parity equations.

6. The computerized method of claim 2 wherein each channel of parity data is associated with a class of parity equations, the class of parity equations being associated with a set of the N+M channels that contribute arguments to the parity equations and relative offsets of entries in the channels that contribute to any of the equations in the class.

7. The computerized method of claim 6 wherein the offsets for at least some of the classes of parity equations are such that the relative offsets of the entries form a diagonal line across the N channels of source data when arranged as an array of N columns by I rows.

8. The computerized method of claim 1 wherein representing the source data as N channels of source data includes concatenating a series of extra entries with the series of I entries.

9. The computerized method of claim 8 wherein encoding the N channels of source data to form N+M channels of encoded data includes applying at least some of the parity equations to extra entries and entries representing the source data to determine entries of the encoded data.

10. The computerized method of claim 8 wherein the extra entries have zero values.

11. The computerized method of claim 8 wherein encoding the data further comprises determining the extra entries as a key to the encoded data.

12. The computerized method of claim 1 wherein the encoding of the data enables reconstruction of the source data from any N of the N+M channels of encoded data.

13. The computerized method of claim 1 wherein the encoding of the data enables detection of errors in M−I of the N+M channels of encoded data.

14. The computerized method of claim 1 wherein accepting the source data includes accepting the source data as one or more data streams, representing the one or more data streams as N channels, and encoding the data includes processing the accepted data using a cross-convolutional encoding approach across the N channels to produce the N+M channels of encoded data as a stream of data.

15. The computerized method of claim 1 wherein any two of the parity equations share at most one entry of the N+M channels as an argument.

16. Software stored on non-transitory computer-readable tangible media comprising instructions for causing a data processing system to:
receive source data;
represent the source data as N channels of source data, each including a series of I entries;
store the N series of I entries in a buffer; and
encode, based on the N series of I entries in the buffer, the N channels of source data to form M channels of encoded data such that the M channels of encoded data and the N channels of source data satisfy at least M×I independent parity equations, at least I entries of some of the M channels of encoded data each being an argument to at least M of the parity equations, and at least N+1 entries, from the stored series of entries and the previously encoded entries, contribute to one or more of the parity equations.

17. A computerized method for data error protection comprising:
receiving source data;
representing the source data as N channels of source data, each including a series of I entries;
storing the N series of I entries in a buffer; and
iteratively encoding, based on the N series of I entries in the buffer, the N channels of source data to form M channels of encoded data, at one or more iterations applying one or more parity equations to one or more entries in the N series of I entries and to one or more previously constructed entries in the M channels of encoded data to construct a parity entry, the M channels of encoded data and N channels of source data satisfying at least M×I independent parity equations, at least I entries of some of the M channels of encoded data each contributing to at least M of the parity equations, and at least N+1 entries, from the stored series of entries and the previously encoded entries, contribute to one or more of the parity equations.

18. A computerized method for distributed storage of data comprising:
receiving source data;
representing the source data as N channels of source data, each including a series of I entries;
storing the N channels of source data in a buffer;
iteratively encoding the N channels of source data to form N+M channels of encoded data, at one or more iterations applying one or more parity equations to one or more entries from the N channels and to one or more entries from previously encoded channels to construct a parity entry, the N+M channels of encoded data satisfying at least M×I independent parity equations, wherein at least I entries of some of the N+M channels of encoded data each being an argument to at least M of the parity equations, and at least N+1 entries, from the stored series of entries and the previously encoded entries, contribute to one or more of the parity equations; and
distributing the N+M channels of encoded data to separate storages.