Lines Matching defs:nfaults
157 * nfaults - number of faults array can tolerate
168 int nfaults, void (*redFunc) (RF_DagNode_t *),
231 if (nfaults == 2) {
263 rf_NullNodeUndoFunc, NULL, nWndNodes + nfaults, 1, 0, 0,
266 rf_TerminateUndoFunc, NULL, 0, nWndNodes + nfaults, 0, 0,
316 nfaults, dag_h, "Xr ", allocList);
321 nfaults, dag_h, "Xr ", allocList);
380 if (nfaults == 2) {
443 RF_ASSERT(commitNode->numSuccedents == nWndNodes + nfaults);
457 if (nfaults == 2) {
465 RF_ASSERT(termNode->numAntecedents == nWndNodes + nfaults);
480 if (nfaults == 2) {
547 long nfaults;
549 nfaults = qfuncs ? 2 : 1;
582 * redundancy computation node for each parity node (nfaults *
586 * totalNumNodes = (2 * numDataNodes) + (nfaults * numParityNodes)
587 * + (nfaults * 2 * numParityNodes) + 3;
642 if (nfaults == 2) {
672 nNodes = numDataNodes + (nfaults * numParityNodes);
680 (nfaults * numParityNodes), 0, 0, dag_h, "Cmt", allocList);
692 rf_GenericWakeupFunc, (nfaults * numParityNodes),
734 if (nfaults == 2) {
845 if (nfaults == 2) {
901 if (nfaults == 2) {
960 if (nfaults == 2) {
992 RF_ASSERT(blockNode->numSuccedents == (numDataNodes + (numParityNodes * nfaults)));
1014 if (nfaults == 2) {
1028 RF_ASSERT(tmpreadDataNode->numSuccedents == (nfaults * numParityNodes));
1042 if (nfaults == 2) {
1073 if (nfaults == 2) {
1091 RF_ASSERT(commitNode->numAntecedents == (nfaults * numParityNodes));
1103 if (nfaults == 2) {
1115 RF_ASSERT(commitNode->numSuccedents == (numDataNodes + (nfaults * numParityNodes)));
1133 if (nfaults == 2) {
1144 RF_ASSERT(termNode->numAntecedents == (numDataNodes + (nfaults * numParityNodes)));
1150 RF_ASSERT(termNode->numAntecedents == (numDataNodes + (nfaults * numParityNodes)));
1167 if (nfaults == 2) {