One example of a message passing process used in decoding low-density parity-check (LDPC) encoded data is as follows:
STEP1: For each variable node vj, compute a hard decision {circumflex over (l)}j based on the channel information and the incoming messages from all the connected check nodes ci. If the decisions {circumflex over (L)}=({circumflex over (l)}0, {circumflex over (l)}1, . . . , {circumflex over (l)}n-1) satisfy all the check nodes or a preset maximum number of iterations is reached, stop here. Otherwise, go to STEP2.
STEP2 (V-Node update): For each variable node vj, compute an outgoing message to each connected check node ci based on the incoming messages from all the other connected check nodes ci′(i′≠i). Go to STEP3.
STEP3 (C-Node update): For each check node c, compute the outgoing message to each connected variable node vj based on the incoming messages from all the other connected variable nodes vj′(j′≠j). Go to STEP1.
The above message passing technique uses flooding scheduling. That is, all variable nodes are processed in parallel in STEP2, then all check nodes are processed in parallel in STEP3, and so on.
Some message-passing techniques use sequential scheduling, such as Horizontal Shuffle Scheduling (HSS) and Vertical Shuffle Scheduling (VSS). One example of a message passing process using HSS is defined as follows:
All the check nodes are sequentially divided into K groups, for example 1, 2, . . . , K. Each group contains r1, r2, . . . , rK check nodes, respectively, so that r1+r2+ . . . +rK=m.
STEP1 (C-Node update): For each check node clεk (k is initialized to 0), compute the outgoing message to each connected variable node vj based on the incoming messages from all the other connected variable nodes vj′(j′≠j). Go to STEP2.
STEP2 (V-Node update): For each variable node vj connected to any check node ciεk, compute its outgoing message to each connected check node ci based on the incoming messages from all the other connected check nodes ci′ (i′≠i).
STEP3: k=k+1. If k==K, go to STEP4; else go to STEP1.
STEP4: For each variable node vj, compute the hard decision {circumflex over (l)}j based on the channel information and the incoming messages from all the connected check nodes ci. If the decisions {circumflex over (L)}=({circumflex over (l)}0, {circumflex over (l)}1, . . . , {circumflex over (l)}n-1) satisfy all the check nodes or a preset maximum number of iterations is reached, stop. Otherwise, k=0 and go to STEP1.
It would be desirable to develop techniques that improve the performance of decoding distorted LDPC encoded data. For example, it would be desirable if the processing time and/or the number of iterations (e.g., associated with message passing) could be reduced.
Various embodiments of the invention are disclosed in the following detailed description and the accompanying drawings.
The invention can be implemented in numerous ways, including as a process; an apparatus; a system; a composition of matter; a computer program product embodied on a computer readable storage medium; and/or a processor, such as a processor configured to execute instructions stored on and/or provided by a memory coupled to the processor. In this specification, these implementations, or any other form that the invention may take, may be referred to as techniques. In general, the order of the steps of disclosed processes may be altered within the scope of the invention. Unless stated otherwise, a component such as a processor or a memory described as being configured to perform a task may be implemented as a general component that is temporarily configured to perform the task at a given time or a specific component that is manufactured to perform the task. As used herein, the term ‘processor’ refers to one or more devices, circuits, and/or processing cores configured to process data, such as computer program instructions.
A detailed description of one or more embodiments of the invention is provided below along with accompanying figures that illustrate the principles of the invention. The invention is described in connection with such embodiments, but the invention is not limited to any embodiment. The scope of the invention is limited only by the claims, and the invention encompasses numerous alternatives, modifications, and equivalents. Numerous specific details are set forth in the following description in order to provide a thorough understanding of the invention. These details are provided for the purpose of example, and the invention may be practiced according to the claims without some or all of these specific details. For the purpose of clarity, technical material that is known in the technical fields related to the invention has not been described in detail so that the invention is not unnecessarily obscured.
The parity-check matrix H of an LDPC code is related to a bipartite graph, also referred to as a Tanner Graph. Given an m×n parity-check matrix H of an LDPC code, the nodes of the Tanner Graph G are divided into two sets of nodes, V and C. V contains n variable nodes vj (or left nodes), corresponding to the columns of H, and m check nodes ci (or right nodes), corresponding to the rows of H. A variable node vj is connected to a check node ci if and only if the corresponding entry hi,j of the parity-check matrix H is non-zero. The degree of a node in G is defined as the number of edges connected to it. The degree of a variable node is simply equal to the weight of its corresponding column of H, and the degree of a check node is simply equal to the weight of its corresponding row of H.
At 100, a cost function is obtained. In some embodiments, a cost function (f) receives as an input information associated with variable nodes, such as the distorted reliability value associated with each variable node and the updated message from the connected check nodes. In some embodiments, f is a function of check nodes information, such as the number of unsatisfied check nodes within each group of check nodes. In some embodiments, a cost function is a function of both check nodes and variable nodes information. In some embodiments, a cost function will also include some special constraints (e.g., the same group of check nodes is never processed twice in the same iteration and/or the same group of check nodes is never processed consecutively even in the different iterations.).
A cost function is evaluated for each of a plurality of groups of check nodes using information associated with variable nodes and/or information associated with check nodes at 102. Some examples of specific cost functions are described in further detail below. One of the groups of check nodes is selected based at least in part on the evaluated cost functions at 104. For example, in some embodiments the group minimizing/maximizing the evaluated cost function is selected. If there is more than one group that minimizes the cost function, another cost function can be used to conduct the further selection. If there are still multiple groups remaining after evaluating all the cost functions, one of the groups is chosen arbitrarily in some embodiments.
At 106, processing related to error correction decoding is performed on data associated with the selected group of check nodes. In some embodiments this includes performing a check node update (e.g., by computing—for each check node in the selected group—an outgoing message to each connected variable node vj based on the incoming messages from all the other connected variable nodes vj′(j′≠j)) and a variable node update (e.g., by computing—for each variable node vj connected to any check node in the selected group—its outgoing message to each connected check node ci based on the incoming messages from all the other connected check nodes ci′(i′≠i)).
One benefit to using the technique described herein is that error correction decoding (at least in some cases) is completed in a shorter amount of time than some other techniques. For example, suppose there are m groups of check nodes, each group including a single check node. Compared to an HSS processing technique that always processes the groups of check nodes in the order Group 1, Group 2, . . . , Group m, the technique described herein may finish sooner. For example, if some error or noise remains in Group m (i.e., the last group to be processed by the HSS technique in an iteration) then the technique described herein will likely select and process data associated with Group m before the HSS technique does.
In diagram 210, the first group of check nodes (Group 1) includes 3 check nodes: 200a-200c. The second group of check nodes (Group 2) includes a single check node: 200d. For each group, a cost function is evaluated. For Group 1, the evaluated cost function has a value of 3. For Group 2, the evaluated cost function has a value of 5. In this example, the group with the lowest evaluated cost function is selected (that is, Group 1), and error correction processing is performed on equations or functions associated with the selected group (i.e., Group 1 in this example).
Diagram 220 shows the same variable nodes, check nodes, and connections as in diagram 210 with different groups of check nodes. In diagram 220, there are four groups, and each group includes a single check node. That is, Group A includes check node 200a, Group B includes check node 200b, Group C includes check node 200c, and Group D includes check node 200d.
For each of the 4 groups shown, a cost function is evaluated. The values of the evaluated cost function are 7, 4, 1, and 4, respectively. In this example, the group with the highest evaluated cost function is selected, and error correction decoding is performed on function(s)/equation (s) associated with Group A.
Using the selected groups shown in diagram 210, a more detailed example of check node updating (used in some embodiments at 106 in
Using the selected groups shown in diagram 210, a more detailed example of variable node updating (used in some embodiments at 106 in
As shown in the above example, a group of check nodes can include one or more check nodes. In some embodiments, each group has the same number of check nodes (see, e.g., diagram 220); in other embodiments, the groups have different numbers of check nodes in them (see, e.g., diagram 210).
At 300, it is determined if error correction decoding is completed. In some embodiments, this includes checking if all the parity checks are satisfied. In one example this includes computing the hard decision {circumflex over (l)}j for each variable node vj based on the channel information and the incoming messages from all the connected check nodes ci. If the decisions {circumflex over (L)}=({circumflex over (l)}0, {circumflex over (l)}1, . . . , {circumflex over (l)}n-1) satisfy all the check nodes, then error correction decoding is successful and the decoded data is output. In some embodiments, decoding ends if a (e.g., predefined) maximum number of iterations is reached. As used herein, an iteration includes (for x groups of check nodes) x selections. So, if there are x groups, there are x selections in a complete or full iteration. For example, in diagram 210 in
It is determined at 304 if there are any remaining groups. For example, in diagram 210 in
The following figure applies the example processes described in
After selecting group 401a in diagram 400 and performing processing on data associated with that group, error correction processing is not completed (e.g., because one or more parity checks are not satisfied). See, for example, step 300 in
The cost function is evaluated for a second time, and at least in this example the evaluated cost functions for each group are different in diagrams 400 and 402. In diagram 402, the evaluated cost functions for Groups B-D are 3, 0, and 6, respectively. Group D is selected since it has the highest evaluated cost function.
Error correction processing is not done (e.g., one or more parity checks are still not satisfied), and in diagram 404 the cost function is evaluated again in
Diagram 600 shows a first selection of the ith iteration. In this example, unsatisfied check nodes (e.g., a parity check associated with that check node is not passing) are indicated with a “U”. Groups 601c and 601d have the least number of unsatisfied check nodes (i.e., 0 unsatisfied check nodes), and there is a tie between them. Group 601c is selected in this example. The second selection of the iteration (e.g., after processing of data associated with selected group 601c is completed) is shown in diagram 602. In diagram 602, group 601d has the least number of unsatisfied check nodes and is selected.
The third selection of the ith iteration is shown in diagram 604. During that selection, groups 601a and 601b have not been selected yet in the ith iteration, and group 601a is selected since the check node in group 601b is an unsatisfied check node.
In a first example, an average of the reliability values is determined first for all groups, and then the group with the largest average is selected. Using the reliability values shown in
In a second example, the group with the least number of reliability values below a (e.g., preset) threshold is selected. The table below shows an example using the data shown in
In a third example, the group with the largest of the smallest reliabilities is selected. That is, first, the smallest reliability value for each group is selected and then the group with largest of those values is selected. The table below shows an example using the reliability values from
In some embodiments, the three techniques shown above in Tables 3-5 are used in applications or cases where a SNR is relatively low. In some such low SNR environments, many small errors exist, and the techniques described above are directed towards spreading more reliable data or information earlier than “bad” data or information.
In various embodiments, the examples above can be modified. For example, in a modification of the first example, the group with the smallest average reliability values is selected. In another example, the group having the most number of variable nodes with a reliability value below a present threshold is selected. In yet another example, for each group the smallest reliability value is selected, then the group having the smallest of those reliability values is selected (i.e., smallest of smallest reliability values). In another example, the group having the most number of unsatisfied check nodes is selected. In some embodiments, the examples described above are used when SNR is relatively high such that only a very small number of errors exist. Therefore, there is a higher chance to select a group of check nodes which the error variable nodes are associated with and can be corrected.
In this figure, a storage application is shown. In some other embodiments, an error correction decoder configured to select a group of check nodes using a cost function is included in some other system or is used in some other application or environment besides storage.
In the example shown, cost function evaluator 902 obtains the pertinent variable and/or check node information from Tanner Graph matrix 904; this information is used to evaluate a cost function. In this particular example, cost function evaluator 902 specifies a group to Tanner Graph matrix 904, and related variable node and/or check node information is passed from Tanner Graph matrix 904. Tanner Graph matrix 904 stores the connections between variable nodes and check nodes; the particular connections will depend upon the particular LDPC code used. Tanner Graph matrix 904 also stores information related to the variable nodes and check nodes, for example, related to which check nodes are unsatisfied (e.g., based on a parity check) and/or reliability values associated with the variable nodes.
In various embodiments, various cost functions are used, and the particular information obtained will vary depending upon the particular cost function. In some embodiments, cost function evaluator 902 is configurable. For example, it may include an interface configured to receive or otherwise obtain a cost function. In some embodiments, the particular information obtained from Tanner Graph matrix 904 will vary depending upon the particular cost function programmed into or otherwise provided to cost function evaluator 902.
After evaluating the cost function for all the groups (if appropriate), one of the groups is selected and is output by cost function evaluator 902 as the selected group. In some embodiments, cost function evaluator 902 is configured to not evaluate the cost function if there is only a single remaining group. For example, if there is one group and it is the first selection of an iteration, that group is selected without evaluating the cost function. That is, flooding schedule is a special case.
The selected group is passed from cost function evaluator 902 to message updater 906. Message updater 906 performs processing related to error correction decoding on data associated with the selected group. For example, message updater 906 may perform check node updates and/or variable node updates on data stored in Tanner Graph matrix 904 related to the selected group.
After updating information stored in Tanner Graph matrix 904, message updater 906 send a “message update completed” signal to parity checker 908. Parity checker 908 determines if error correction decoding is completed by checking if all parity checks are satisfied using information stored in Tanner Graph matrix 904. If error correction is not completed, parity checker 908 sends a “continue decoding” signal to cost functions evaluator 902 and the next group is selected.
For each check node in the given group, the reliability values of variable nodes that are connected to that check node are obtained. An average of the reliability values is determined for each check node in the given group by averager 1000. The average along with its corresponding group is passed from averager 1000 to storage 1002 where the information is stored. After averager 1000 determines and stores the average for each check node in the selected group in storage 1002, selector 1004 accesses the stored averages and selects the group with the largest stored average; that group is output as the selected group. In some cases, there is a tie and selector 1004 is configured to perform tie breaking. For example, a random group can be selected from the tied groups, the tied group that has not been selected for the longest period of time, or a default group (e.g., first/last tied group in some order) is selected.
Although the foregoing embodiments have been described in some detail for purposes of clarity of understanding, the invention is not limited to the details provided. There are many alternative ways of implementing the invention. The disclosed embodiments are illustrative and not restrictive.
This application is a continuation of U.S. patent application Ser. No. 13/490,947 (Attorney Docket No. LINKP035C1), entitled LDPC SELECTIVE DECODING SCHEDULING USING A COST FUNCTION filed Jun. 7, 2012, which is a continuation of U.S. patent application Ser. No. 12/587,012 (Attorney Docket No. LINKP035), now U.S. Pat. No. 8,219,873, entitled LDPC SELECTIVE DECODING SCHEDULING USING A COST FUNCTION filed Sep. 29, 2009, which claims priority to U.S. Provisional Application No. 61/196,634 (Attorney Docket No. LINKP035+), entitled LDPC SELECTIVE DECODING SCHEDULING AND EARLY DETERMINATION filed Oct. 20, 2008, all of which are incorporated herein by reference for all purposes.
Number | Date | Country | |
---|---|---|---|
61196634 | Oct 2008 | US |
Number | Date | Country | |
---|---|---|---|
Parent | 13490947 | Jun 2012 | US |
Child | 13781361 | US | |
Parent | 12587012 | Sep 2009 | US |
Child | 13490947 | US |