RF_ASSERT
RF_ASSERT(p->numPointers >= 0 &&
RF_ASSERT(p->pointers[i]);
RF_ASSERT(l->numPointers == RF_POINTERS_PER_ALLOC_LIST_ELEMENT); /* find end of list */
RF_ASSERT(l->numPointers >= 0 && l->numPointers <= RF_POINTERS_PER_ALLOC_LIST_ELEMENT);
RF_ASSERT(j == numStripeUnits);
RF_ASSERT(stripeNum == numStripesBailed);
RF_ASSERT(bFunc);
RF_ASSERT(j == asm_p->numStripeUnitsAccessed);
RF_ASSERT(i == desc->numStripes);
RF_ASSERT(stripeNum == numStripesBailed);
RF_ASSERT(stripeUnitNum == numStripeUnitsBailed);
RF_ASSERT(RF_IO_IS_R_OR_W(type));
RF_ASSERT(req->priority == RF_IO_NORMAL_PRIORITY || req->priority == RF_IO_LOW_PRIORITY);
RF_ASSERT(retval == 0 || retval == 1);
RF_ASSERT(hdr->left->sectorOffset < hdr->cur_block);
RF_ASSERT(tmp->sectorOffset <= key
RF_ASSERT(i == hdr->left_cnt);
RF_ASSERT(key <= tmp->sectorOffset);
RF_ASSERT(tmp->priority == hdr->nxt_priority);
RF_ASSERT(pri_ok(tmp->priority));
RF_ASSERT(i == hdr->right_cnt);
RF_ASSERT(tmp);
RF_ASSERT(hdr);
RF_ASSERT(pri_ok(tmp->priority));
RF_ASSERT(key >= tmp->priority);
RF_ASSERT(tmp->priority < hdr->nxt_priority);
RF_ASSERT(pda_p - *pdap == napdas);
RF_ASSERT(i == nNodes);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(pda != NULL);
RF_ASSERT(asmap->parityInfo->next == NULL);
RF_ASSERT(dag_h->numSuccedents == 1);
RF_ASSERT(blockNode->numAntecedents == 0);
RF_ASSERT(blockNode->numSuccedents == 1);
RF_ASSERT(rdNode->numAntecedents == 1);
RF_ASSERT(rdNode->numSuccedents == 1);
RF_ASSERT(commitNode->numAntecedents == 1);
RF_ASSERT(commitNode->numSuccedents == 1);
RF_ASSERT(termNode->numAntecedents == 1);
RF_ASSERT(termNode->numSuccedents == 0);
RF_ASSERT(asmap->numDataFailed == 1);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(paramNum == 2 * nXorBufs + 2);
RF_ASSERT(dag_h->numSuccedents == 1);
RF_ASSERT(blockNode->numAntecedents == 0);
RF_ASSERT(blockNode->numSuccedents == (1 + nRrdNodes + nRudNodes));
RF_ASSERT(rpNode->numAntecedents == 1);
RF_ASSERT(tmprrdNode->numSuccedents == 1);
RF_ASSERT(tmprudNode->numSuccedents == 1);
RF_ASSERT(xorNode->numAntecedents == (1 + nRrdNodes + nRudNodes));
RF_ASSERT(rpNode->numSuccedents == 1);
RF_ASSERT(tmprrdNode->numSuccedents == 1);
RF_ASSERT(tmprudNode->numSuccedents == 1);
RF_ASSERT(xorNode->numSuccedents == 1);
RF_ASSERT(commitNode->numAntecedents == 1);
RF_ASSERT(commitNode->numSuccedents == 1);
RF_ASSERT(termNode->numAntecedents == 1);
RF_ASSERT(termNode->numSuccedents == 0);
RF_ASSERT(pda != NULL);
RF_ASSERT(asmap->parityInfo->next == NULL);
RF_ASSERT(dag_h->numSuccedents == 1);
RF_ASSERT(blockNode->numAntecedents == 0);
RF_ASSERT(blockNode->numSuccedents == 1);
RF_ASSERT(rdNode->numAntecedents == 1);
RF_ASSERT(rdNode->numSuccedents == 1);
RF_ASSERT(commitNode->numAntecedents == 1);
RF_ASSERT(commitNode->numSuccedents == 1);
RF_ASSERT(termNode->numAntecedents == 1);
RF_ASSERT(termNode->numSuccedents == 0);
RF_ASSERT(suend >= fone_end);
RF_ASSERT(suoff <= fone_start);
RF_ASSERT((suoff == 0) || (suend == secPerSU));
RF_ASSERT(suend >= fone_end);
RF_ASSERT(suoff <= fone_start);
RF_ASSERT(suend >= ftwo_end);
RF_ASSERT(suoff <= ftwo_start);
RF_ASSERT(!(asmap->numStripeUnitsAccessed != 1 &&
RF_ASSERT(asmap->numDataFailed == 1);
RF_ASSERT(nRrdNodes > 0);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(paramNum == 2 * nXorBufs + 2);
RF_ASSERT(blockNode->numAntecedents == 0);
RF_ASSERT(blockNode->numSuccedents == nRrdNodes);
RF_ASSERT(tmprrdNode->numAntecedents == 1);
RF_ASSERT(xorNode->numAntecedents == nRrdNodes);
RF_ASSERT(tmprrdNode->numSuccedents == 1);
RF_ASSERT(xorNode->numSuccedents == 1);
RF_ASSERT(commitNode->numAntecedents == 1);
RF_ASSERT(commitNode->numSuccedents == nfaults + nWndNodes);
RF_ASSERT(tmpwndNode->numAntecedents == 1);
RF_ASSERT(wnpNode->numAntecedents == 1);
RF_ASSERT(wnqNode->numAntecedents == 1);
RF_ASSERT(unblockNode->numAntecedents == (nWndNodes + nfaults));
RF_ASSERT(tmpwndNode->numSuccedents == 1);
RF_ASSERT(wnpNode->numSuccedents == 1);
RF_ASSERT(wnqNode->numSuccedents == 1);
RF_ASSERT(unblockNode->numSuccedents == 1);
RF_ASSERT(termNode->numAntecedents == 1);
RF_ASSERT(termNode->numSuccedents == 0);
RF_ASSERT(pda_p - *pdap == napdas);
RF_ASSERT(asmap->numDataFailed == 1);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(pda);
RF_ASSERT(asmap->numDataFailed == 1);
RF_ASSERT(RF_IO_IS_R_OR_W(type));
RF_ASSERT(n > 0);
RF_ASSERT(pda != NULL);
RF_ASSERT(blockNode->numAntecedents == 0);
RF_ASSERT(blockNode->numSuccedents == n);
RF_ASSERT(commitNode->numAntecedents == n);
RF_ASSERT(tmpdiskNode->numAntecedents == 1);
RF_ASSERT(tmpdiskNode->numSuccedents == 1);
RF_ASSERT(commitNode->numSuccedents == 1);
RF_ASSERT(termNode->numAntecedents == 1);
RF_ASSERT(termNode->numSuccedents == 0);
RF_ASSERT(blockNode->numSuccedents == 1);
RF_ASSERT(commitNode->numAntecedents == 1);
RF_ASSERT(commitNode->numSuccedents == n);
RF_ASSERT(termNode->numAntecedents == n);
RF_ASSERT(termNode->numSuccedents == 0);
RF_ASSERT(tmpdiskNode->numAntecedents == 1);
RF_ASSERT(tmpdiskNode->numSuccedents == 1);
RF_ASSERT(n > 0);
RF_ASSERT(data_pda != NULL);
RF_ASSERT(parity_pda != NULL);
RF_ASSERT(blockNode->numAntecedents == 0);
RF_ASSERT(blockNode->numSuccedents == n);
RF_ASSERT(tmpreadNode->numAntecedents == 1);
RF_ASSERT(commitNode->numAntecedents == n);
RF_ASSERT(tmpreadNode->numSuccedents == 1);
RF_ASSERT(commitNode->numSuccedents == 1);
RF_ASSERT(termNode->numAntecedents == 1);
RF_ASSERT(termNode->numSuccedents == 0);
RF_ASSERT(tmpreadParityNode->numAntecedents == 1);
RF_ASSERT(tmpreadQNode->numAntecedents == 1);
RF_ASSERT(tmpreadDataNode->numSuccedents == (nfaults * numParityNodes));
RF_ASSERT(tmpxorNode->numAntecedents == numDataNodes + numParityNodes);
RF_ASSERT(tmpqNode->numAntecedents == numDataNodes + numParityNodes);
RF_ASSERT(tmpreadParityNode->numSuccedents == numParityNodes);
RF_ASSERT(tmpreadParityNode->numSuccedents == numParityNodes);
RF_ASSERT(commitNode->numAntecedents == (nfaults * numParityNodes));
RF_ASSERT(tmpxorNode->numSuccedents == 1);
RF_ASSERT(tmpqNode->numSuccedents == 1);
RF_ASSERT(commitNode->numSuccedents == (numDataNodes + (nfaults * numParityNodes)));
RF_ASSERT(tmpwriteDataNode->numAntecedents == 1);
RF_ASSERT(tmpwriteParityNode->numAntecedents == 1);
RF_ASSERT(tmpwriteQNode->numAntecedents == 1);
RF_ASSERT(termNode->numAntecedents == (numDataNodes + (nfaults * numParityNodes)));
RF_ASSERT(termNode->numSuccedents == 0);
RF_ASSERT(tmpwriteDataNode->numSuccedents == 1);
RF_ASSERT(termNode->numAntecedents == (numDataNodes + (nfaults * numParityNodes)));
RF_ASSERT(tmpwriteParityNode->numSuccedents == 1);
RF_ASSERT(tmpwriteQNode->numSuccedents == 1);
RF_ASSERT(pda != NULL);
RF_ASSERT(pda == NULL);
RF_ASSERT(pda != NULL);
RF_ASSERT(pda == NULL);
RF_ASSERT(pdaP == NULL);
RF_ASSERT(dag_h->numSuccedents == 1);
RF_ASSERT(commitNode->numAntecedents == 0);
RF_ASSERT(commitNode->numSuccedents == (nWndNodes + nWmirNodes));
RF_ASSERT(tmpwndNode->numAntecedents == 1);
RF_ASSERT(tmpwmirNode->numAntecedents == 1);
RF_ASSERT(unblockNode->numAntecedents == (nWndNodes + nWmirNodes));
RF_ASSERT(tmpwndNode->numSuccedents == 1);
RF_ASSERT(tmpwmirNode->numSuccedents == 1);
RF_ASSERT(unblockNode->numSuccedents == 1);
RF_ASSERT(termNode->numAntecedents == 1);
RF_ASSERT(termNode->numSuccedents == 0);
RF_ASSERT(nodeNum == nRodNodes);
RF_ASSERT(pda != NULL);
RF_ASSERT(asmap->parityInfo->next == NULL);
RF_ASSERT(asmap->parityInfo->next == NULL);
RF_ASSERT(blockNode->numAntecedents == 0);
RF_ASSERT(blockNode->numSuccedents == nRodNodes);
RF_ASSERT(xorNode->numAntecedents == nRodNodes);
RF_ASSERT(tmpNode->numAntecedents == 1);
RF_ASSERT(tmpNode->numSuccedents == 1);
RF_ASSERT(blockNode->numSuccedents == 1);
RF_ASSERT(xorNode->numAntecedents == 1);
RF_ASSERT(xorNode->numSuccedents == 1);
RF_ASSERT(commitNode->numAntecedents == 1);
RF_ASSERT(commitNode->numSuccedents == nWndNodes + nfaults);
RF_ASSERT(wndNodes->numAntecedents == 1);
RF_ASSERT(wnpNode->numAntecedents == 1);
RF_ASSERT(wnqNode->numAntecedents == 1);
RF_ASSERT(termNode->numAntecedents == nWndNodes + nfaults);
RF_ASSERT(termNode->numSuccedents == 0);
RF_ASSERT(wndNodes->numSuccedents == 1);
RF_ASSERT(wnpNode->numSuccedents == 1);
RF_ASSERT(wnqNode->numSuccedents == 1);
RF_ASSERT(numDataNodes > 0);
RF_ASSERT(pda != NULL);
RF_ASSERT(pda != NULL);
RF_ASSERT(pda != NULL);
RF_ASSERT(pda != NULL);
RF_ASSERT(pda != NULL);
RF_ASSERT(pda != NULL);
RF_ASSERT(blockNode->numSuccedents == (numDataNodes + (numParityNodes * nfaults)));
RF_ASSERT(tmpreadDataNode->numAntecedents == 1);
RF_ASSERT(node->dagHdr->numCommits == node->dagHdr->numCommitNodes);
RF_ASSERT(pda->numSector <= sectPerSU);
RF_ASSERT(0);
RF_ASSERT(len == 0);
RF_ASSERT(((RF_UL(dst) | RF_UL(a) | RF_UL(b) | RF_UL(c) | len) & 0x7) == 0);
RF_ASSERT(((sizeof(long) == 8) && RF_LONGSHIFT == 3) ||
RF_ASSERT(new_asm_h[0]->stripeMap->next == NULL);
RF_ASSERT(new_asm_h[1]->stripeMap->next == NULL);
RF_ASSERT(0);
RF_ASSERT(f < n);
RF_ASSERT(f != d);
RF_ASSERT(sd < n);
RF_ASSERT(hdr != NULL);
RF_ASSERT((size <= (raidPtr->numCol * (raidPtr->Layout.sectorsPerStripeUnit <<
RF_ASSERT((size <= (raidPtr->Layout.sectorsPerStripeUnit <<
RF_ASSERT(!(lk && unlk));
RF_ASSERT(node->visited == unvisited);
RF_ASSERT(0);
RF_ASSERT(0);
RF_ASSERT(raidPtr->status == rf_rs_reconstructing);
RF_ASSERT(asmap->numStripeUnitsAccessed > (layoutPtr->numDataCol / 2));
RF_ASSERT(mh_table_initialized);
RF_ASSERT(p);
RF_ASSERT(0);
RF_ASSERT(mh_table_initialized);
RF_ASSERT(size != 0);
RF_ASSERT(raidPtr->Disks[*col].status == rf_ds_reconstructing || raidPtr->Disks[*col].status == rf_ds_dist_spared);
RF_ASSERT(*col != -1);
RF_ASSERT(raidPtr->Disks[*col].status == rf_ds_reconstructing || raidPtr->Disks[*col].status == rf_ds_dist_spared);
RF_ASSERT(*col != -1);
RF_ASSERT((*which_ru) < layoutPtr->SUsPerPU / layoutPtr->SUsPerRU);
RF_ASSERT(*outCol != -1);
RF_ASSERT(!retcode); /* XXX -- fix this to recover gracefully --
RF_ASSERT(BlockOffset < info->groupSize - 2);
RF_ASSERT(RepIndex >= 0);
RF_ASSERT(BlockOffset < info->groupSize);
RF_ASSERT(req->type == RF_IO_TYPE_NOP || req->numSector);
RF_ASSERT(queue->numOutstanding >= 0);
RF_ASSERT(queue->queueLength >= 0);
RF_ASSERT(spare_number <= raidPtr->maxQueue);
RF_ASSERT(raidPtr->accesses_suspended == 0);
RF_ASSERT(desc);
RF_ASSERT(node->numSuccDone <= node->numSuccedents);
RF_ASSERT(node->numSuccFired <= node->numSuccedents);
RF_ASSERT(node->numSuccFired <= node->numSuccDone);
RF_ASSERT((node->status == rf_wait) ||
RF_ASSERT(node->status == rf_wait);
RF_ASSERT(dstat == rf_rollBackward);
RF_ASSERT(node->status == rf_good);
RF_ASSERT(node->commitNode == RF_FALSE);
RF_ASSERT((node->status == rf_wait) ||
RF_ASSERT(node->status == rf_wait);
RF_ASSERT(dstat == rf_rollBackward);
RF_ASSERT(node->status == rf_good);
RF_ASSERT(node->commitNode == RF_FALSE);
RF_ASSERT(a->numSuccFired >= a->numSuccDone);
RF_ASSERT(a->numSuccFired <= a->numSuccedents);
RF_ASSERT(s->status == rf_wait);
RF_ASSERT(NodeReady(s));
RF_ASSERT(a->status == rf_good);
RF_ASSERT(a->numSuccDone <= a->numSuccedents);
RF_ASSERT(a->numSuccDone <= a->numSuccFired);
RF_ASSERT(NodeReady(a));
RF_ASSERT(RF_IO_IS_R_OR_W(type));
RF_ASSERT((asmap->failedPDAs[0]->type == RF_PDA_TYPE_PARITY) || (asmap->failedPDAs[0]->type == RF_PDA_TYPE_Q));
RF_ASSERT(asmap->failedPDAs[0]->type == RF_PDA_TYPE_DATA);
RF_ASSERT((asmap->failedPDAs[1]->type == RF_PDA_TYPE_PARITY) || (asmap->failedPDAs[1]->type == RF_PDA_TYPE_Q));
RF_ASSERT(pda);
RF_ASSERT(pda->numSector != 0);
RF_ASSERT(!asmap->parityInfo->next);
RF_ASSERT(asmap->parityInfo->numSector != 0);
RF_ASSERT(!asmap->qInfo->next);
RF_ASSERT(asmap->qInfo->numSector != 0);
RF_ASSERT(i == layoutPtr->numDataCol);
RF_ASSERT(EPDA->type == RF_PDA_TYPE_Q);
RF_ASSERT(ESUOffset == 0);
RF_ASSERT(((RF_PhysDiskAddr_t *) node->params[2].p)->type == RF_PDA_TYPE_Q);
RF_ASSERT(node->params[i + 1].p != ebuf);
RF_ASSERT(node->params[i + 1].p != ebuf);
RF_ASSERT(sizeof(short) == 2 || sizeof(short) == 1);
RF_ASSERT(bytesPerEU % sizeof(short) == 0);
RF_ASSERT(sizeof(long) == 8 || sizeof(long) == 4);
RF_ASSERT(bytesPerEU % sizeof(long) == 0);
RF_ASSERT(bytesPerEU % sizeof(short) == 0);
RF_ASSERT(bytesPerEU % sizeof(long) == 0);
RF_ASSERT(*((long *) dest[0]) == 0);
RF_ASSERT(*((long *) dest[1]) == 0);
RF_ASSERT(*P == 0);
RF_ASSERT(fcol[0] != fcol[1]);
RF_ASSERT(count == numRowInEncMatix);
RF_ASSERT(0); /* currently, no support for this situation */
RF_ASSERT(ppda2->type == RF_PDA_TYPE_PARITY);
RF_ASSERT(epda2->type == RF_PDA_TYPE_Q);
RF_ASSERT(psuoff == esuoff);
RF_ASSERT(i < numDataCol);
RF_ASSERT(nresults == 2);
RF_ASSERT(nresults == 1 || nresults == 2);
RF_ASSERT(mallc_one == 0 || mallc_two == 0);
RF_ASSERT(asmap->numDataFailed == 1); /* currently only support this
RF_ASSERT(i < numDataCol);
RF_ASSERT((q->hq_count + q->lq_count) == elem->queue->queueLength);
RF_ASSERT(q);
RF_ASSERT(q->hq_count != 0 && q->hq_tail != NULL);
RF_ASSERT(q->lq_count != 0 && q->lq_tail != NULL);
RF_ASSERT(q->hq_count == 0 && q->lq_count == 0 && q->hq_tail == NULL && q->lq_tail == NULL);
RF_ASSERT(retval == 0 || retval == 1);
RF_ASSERT(priority == RF_IO_NORMAL_PRIORITY || priority == RF_IO_LOW_PRIORITY);
RF_ASSERT(q->hq_count == 0 && q->hq_head == NULL);
RF_ASSERT(q->hq_count != 0 && q->hq_head != NULL);
RF_ASSERT(elem->next == NULL);
RF_ASSERT(q->lq_count == 0 && q->lq_head == NULL);
RF_ASSERT(q->lq_count != 0 && q->lq_head != NULL);
RF_ASSERT(RF_IO_IS_R_OR_W(type));
RF_ASSERT(p->parityConfig == parityConfig);
RF_ASSERT(p->parityConfig == parityConfig);
RF_ASSERT(asmList);
RF_ASSERT(pdaList);
RF_ASSERT(pda_p->numSector != 0);
RF_ASSERT(pdaList);
RF_ASSERT(pdaList && pdaList->next);
RF_ASSERT(asmList == NULL && pdaList == NULL);
RF_ASSERT(numStripes == totStripes);
RF_ASSERT(t == count);
RF_ASSERT(raidPtr->reconControl->fcol == diskids[i]);
RF_ASSERT(tcol == diskids[i]);
RF_ASSERT(asmap->parityInfo->next->next == NULL);
RF_ASSERT(toAdjust->numSector != 0);
RF_ASSERT(toAdjust->next == NULL);
RF_ASSERT(toAdjust->numSector != 0);
RF_ASSERT(new_pda->numSector != 0);
RF_ASSERT(rf_RaidAddressToStripeUnitID(&raidPtr->Layout, pda_p->raidAddress) ==
RF_ASSERT(pda_p->col != -1);
RF_ASSERT(data->prev == NULL);
RF_ASSERT(data->next == NULL);
RF_ASSERT((*head)->prev == NULL);
RF_ASSERT((*tail)->next == NULL);
RF_ASSERT(*head == NULL);
RF_ASSERT(*tail == NULL);
RF_ASSERT((*head)->prev == NULL);
RF_ASSERT((*tail)->next == NULL);
RF_ASSERT((*head)->prev == NULL);
RF_ASSERT((*tail)->next == NULL);
RF_ASSERT((*head)->prev == NULL);
RF_ASSERT((*tail)->next == NULL);
RF_ASSERT(data);
RF_ASSERT((*head)->prev == NULL);
RF_ASSERT((*tail)->next == NULL);
RF_ASSERT(common);
RF_ASSERT(data);
RF_ASSERT((*head)->prev == NULL);
RF_ASSERT((*tail)->next == NULL);
RF_ASSERT((*head)->prev == NULL);
RF_ASSERT((*tail)->next == NULL);
RF_ASSERT((*head)->prev == NULL);
RF_ASSERT((*tail)->next == NULL);
RF_ASSERT(raidPtr->logsInUse >= 0 && raidPtr->logsInUse <= raidPtr->numParityLogs);
RF_ASSERT(firstLog);
RF_ASSERT(raidPtr->logsInUse >= 0 && raidPtr->logsInUse <= raidPtr->numParityLogs);
RF_ASSERT(raidPtr->logsInUse >= 0 && raidPtr->logsInUse <= raidPtr->numParityLogs);
RF_ASSERT(cnt + raidPtr->logsInUse == raidPtr->numParityLogs);
RF_ASSERT(log);
RF_ASSERT(log);
RF_ASSERT(log->numRecords == raidPtr->numSectorsPerLog);
RF_ASSERT(log->next == NULL);
RF_ASSERT(rf_owned_mutex2(raidPtr->regionInfo[regionID].mutex));
RF_ASSERT(log->numRecords == raidPtr->numSectorsPerLog);
RF_ASSERT(log->next == NULL);
RF_ASSERT(raidPtr->regionInfo[regionID].diskCount == raidPtr->regionInfo[regionID].capacity);
RF_ASSERT(logData != NULL);
RF_ASSERT(raidPtr->regionInfo[regionID].loggingEnabled);
RF_ASSERT(raidPtr->regionInfo[regionID].reintInProgress == RF_TRUE);
RF_ASSERT(raidPtr->regionInfo[regionID].loggingEnabled);
RF_ASSERT(0);
RF_ASSERT((*incomingLog)->next == NULL);
RF_ASSERT(raidPtr->regionInfo[regionID].coreLog->next == NULL);
RF_ASSERT((*incomingLog)->next == NULL);
RF_ASSERT(raidPtr->regionInfo[regionID].coreLog->next == NULL);
RF_ASSERT(log->numRecords < raidPtr->numSectorsPerLog);
RF_ASSERT(log->records[logItem].parityAddr.startSector >= raidPtr->regionInfo[regionID].parityStartAddr);
RF_ASSERT(log->records[logItem].parityAddr.startSector < raidPtr->regionInfo[regionID].parityStartAddr + raidPtr->regionInfo[regionID].numSectorsParity);
RF_ASSERT(item->diskAddress.numSector == 0);
RF_ASSERT(pool->availableBuffers <= pool->totalBuffers);
RF_ASSERT(logList);
RF_ASSERT(0);
RF_ASSERT(0);
RF_ASSERT(0);
RF_ASSERT(0);
RF_ASSERT(logList);
RF_ASSERT(raidPtr->regionInfo[i].capacity +
RF_ASSERT(raidPtr->regionInfo[i].parityStartAddr +
RF_ASSERT(raidPtr->parityLogDiskQueue.threadState == 0);
RF_ASSERT(raidPtr->regionInfo[regionID].coreLog == NULL);
RF_ASSERT(raidPtr->regionInfo[regionID].diskCount == 0);
RF_ASSERT(0);
RF_ASSERT(raidPtr->parityLogDiskQueue.bufHead == NULL);
RF_ASSERT(raidPtr->parityLogDiskQueue.bufTail == NULL);
RF_ASSERT(raidPtr->parityLogDiskQueue.reintHead == NULL);
RF_ASSERT(raidPtr->parityLogDiskQueue.reintTail == NULL);
RF_ASSERT(address >= raidPtr->regionInfo[regionID].parityStartAddr);
RF_ASSERT(address < raidPtr->regionInfo[regionID].parityStartAddr +
RF_ASSERT(regionID < rf_numParityRegions);
RF_ASSERT(RF_IO_IS_R_OR_W(type));
RF_ASSERT(0); /* should not ever
RF_ASSERT(failedPDA->col != -1);
RF_ASSERT(nfaults == 1);/* this arch only single fault tolerant */
RF_ASSERT(nodeNum == nRodNodes);
RF_ASSERT(pda != NULL);
RF_ASSERT(asmap->parityInfo->next == NULL); /* parityInfo must
RF_ASSERT(dag_h->numSuccedents == 1);
RF_ASSERT(blockNode->numAntecedents == 0);
RF_ASSERT(blockNode->numSuccedents == nRodNodes + 1);
RF_ASSERT(rodNodes[i].numAntecedents == 1);
RF_ASSERT(syncNode->numAntecedents == nRodNodes + 1);
RF_ASSERT(syncNode->numSuccedents == nWndNodes + 1);
RF_ASSERT(xorNode->numAntecedents == 1);
RF_ASSERT(wndNodes->numAntecedents == 1);
RF_ASSERT(xorNode->numSuccedents == 1);
RF_ASSERT(lpoNode->numAntecedents == 1);
RF_ASSERT(unblockNode->numAntecedents == nWndNodes + 1);
RF_ASSERT(wndNodes->numSuccedents == 1);
RF_ASSERT(lpoNode->numSuccedents == 1);
RF_ASSERT(unblockNode->numSuccedents == 1);
RF_ASSERT(termNode->numAntecedents == 1);
RF_ASSERT(termNode->numSuccedents == 0);
RF_ASSERT(numDataNodes > 0);
RF_ASSERT(nfaults == 1);
RF_ASSERT(i == totalNumNodes);
RF_ASSERT(pda != NULL);
RF_ASSERT(pda != NULL);
RF_ASSERT(pda != NULL);
RF_ASSERT(pda);
RF_ASSERT(dag_h->numSuccedents == 1);
RF_ASSERT(blockNode->numAntecedents == 0);
RF_ASSERT(blockNode->numSuccedents == (numDataNodes + numParityNodes));
RF_ASSERT(readDataNodes[i].numAntecedents == 1);
RF_ASSERT(readParityNodes[i].numAntecedents == 1);
RF_ASSERT(readDataNodes[i].numSuccedents == numDataNodes + numParityNodes);
RF_ASSERT(writeDataNodes[j].numAntecedents == numDataNodes + numParityNodes);
RF_ASSERT(xorNodes[j].numAntecedents == numDataNodes + numParityNodes);
RF_ASSERT(readParityNodes[i].numSuccedents == numDataNodes + numParityNodes);
RF_ASSERT(xorNodes[i].numSuccedents == 1);
RF_ASSERT(lpuNodes[i].numAntecedents == 1);
RF_ASSERT(writeDataNodes[i].numSuccedents == 1);
RF_ASSERT(unblockNode->numAntecedents == (numDataNodes + (nfaults * numParityNodes)));
RF_ASSERT(lpuNodes[i].numSuccedents == 1);
RF_ASSERT(unblockNode->numSuccedents == 1);
RF_ASSERT(termNode->numAntecedents == 1);
RF_ASSERT(termNode->numSuccedents == 0);
RF_ASSERT(pda);
RF_ASSERT(pda->numSector != 0);
RF_ASSERT(!asmap->parityInfo->next);
RF_ASSERT(asmap->parityInfo->numSector != 0);
RF_ASSERT(RF_IO_IS_R_OR_W(type));
RF_ASSERT((asmap->failedPDAs[0]->type == RF_PDA_TYPE_PARITY) || (asmap->failedPDAs[0]->type == RF_PDA_TYPE_Q));
RF_ASSERT(asmap->failedPDAs[0]->type == RF_PDA_TYPE_DATA);
RF_ASSERT((asmap->failedPDAs[1]->type == RF_PDA_TYPE_PARITY) || (asmap->failedPDAs[1]->type == RF_PDA_TYPE_Q));
RF_ASSERT(4 * d + 3 == np);
RF_ASSERT(new->numSector == old->numSector);
RF_ASSERT(new->raidAddress == old->raidAddress);
RF_ASSERT(4 * d + 3 == np);
RF_ASSERT(new->numSector == old->numSector);
RF_ASSERT(new->raidAddress == old->raidAddress);
RF_ASSERT(2 * d + 1 == np);
RF_ASSERT(2 * d + 2 == np);
RF_ASSERT(j >= fail_start);
RF_ASSERT(np >= 2);
RF_ASSERT(node->params[i + 1].p != node->results[0]);
RF_ASSERT(2 * d + 2 == np);
RF_ASSERT(j >= fail_start);
RF_ASSERT(0);
RF_ASSERT(i < numDataCol);
RF_ASSERT(two == 0);
RF_ASSERT(node->numResults == 2);
RF_ASSERT(asmap->failedPDAs[1] == NULL);
RF_ASSERT(i < numDataCol);
RF_ASSERT(asmap->numStripeUnitsAccessed == 1);
RF_ASSERT(0); /* we must find it here */
RF_ASSERT(p); /* it must be there */
RF_ASSERT(p->procWaitList == NULL);
RF_ASSERT(p->blockWaitList == NULL);
RF_ASSERT(p->bufWaitList == NULL);
RF_ASSERT(stripeID >= 0);
RF_ASSERT(addr >= 0);
RF_ASSERT(*diskids);
RF_ASSERT(RF_IO_IS_R_OR_W(type));
RF_ASSERT(layoutPtr->numDataCol == layoutPtr->numParityCol);
RF_ASSERT(pda);
RF_ASSERT(pda->numSector != 0);
RF_ASSERT(pda == NULL);
RF_ASSERT(pda);
RF_ASSERT(pda->numSector != 0);
RF_ASSERT(pda == NULL);
RF_ASSERT(rbuf);
RF_ASSERT(rbuf->col != reconCtrlPtr->fcol);
RF_ASSERT(pssPtr); /* if it didn't exist, we wouldn't have gotten
RF_ASSERT(t);
RF_ASSERT((keep_it == 0) && (use_committed == 0));
RF_ASSERT(pssPtr->rbuf == NULL);
RF_ASSERT(RF_IO_IS_R_OR_W(type));
RF_ASSERT(0); /* should not ever
RF_ASSERT(failedPDA->col != -1);
RF_ASSERT(raidPtr->numCol >= 3);
RF_ASSERT(rbuf);
RF_ASSERT(rbuf->col != reconCtrlPtr->fcol);
RF_ASSERT(pssPtr); /* if it didn't exist, we wouldn't have gotten
RF_ASSERT(t);
RF_ASSERT(t);
RF_ASSERT(!keep_it && !use_committed);
RF_ASSERT(pssPtr->rbuf != NULL);
RF_ASSERT(numBufs > 0 && numBufs < RF_PS_MAX_BUFS);
RF_ASSERT(0);
RF_ASSERT(p->status != NULL);
RF_ASSERT(startSector >= 0 && stopSector < mapPtr->sectorsInDisk &&
RF_ASSERT(mapPtr != NULL);
RF_ASSERT(0);
RF_ASSERT(!submitblocked); /* we wouldn't have gotten the
RF_ASSERT(!submitblocked);
RF_ASSERT(diskids);
RF_ASSERT(k < stripeWidth);
RF_ASSERT(col == testcol);
RF_ASSERT(fcol == testcol);
RF_ASSERT(rbuf); /* there must be one available, or we wouldn't
RF_ASSERT(rbuf->pssPtr);
RF_ASSERT(hsCtr >= reconCtrlPtr->minHeadSepCounter); /* from the definition
RF_ASSERT(raidPtr->Disks[col].status == rf_ds_failed);
RF_ASSERT(reconCtrlPtr);
RF_ASSERT(rbuf);
RF_ASSERT(sum == raidPtr->numFloatingReconBufs);
RF_ASSERT(status == EWOULDBLOCK);
RF_ASSERT((rctrl->eventQueue == NULL) == (rctrl->eq_count == 0));
RF_ASSERT(col != rctrl->fcol);
RF_ASSERT(col >= 0 && col <= raidPtr->numCol);
RF_ASSERT((rctrl->eventQueue == NULL) == (rctrl->eq_count == 0));
RF_ASSERT((rctrl->eventQueue == NULL) == (rctrl->eq_count == 0));
RF_ASSERT(s);
RF_ASSERT(r == NULL);
RF_ASSERT(s);
RF_ASSERT(s == (*tailp));
RF_ASSERT((_r_) != NULL); \
RF_ASSERT((_r_) == (_q_)->qtail); \
RF_ASSERT((_q_)->queue == NULL); \
RF_ASSERT((_q_)->queue->prev == (_r_)); \
RF_ASSERT((_r_) != NULL); \
RF_ASSERT((_r_) == (_q_)->queue); \
RF_ASSERT((_q_)->qtail == NULL); \
RF_ASSERT((_q_)->qtail->next == (_r_)); \
RF_ASSERT(*dir == DIR_RIGHT);
RF_ASSERT(req2 == req);
RF_ASSERT(req2 == req);
RF_ASSERT(req->next);
RF_ASSERT(req->prev);
RF_ASSERT(QSUM(sstfq) == dq->queueLength);
RF_ASSERT(sstfq->left.qlen == 0);
RF_ASSERT(sstfq->right.qlen == 0);
RF_ASSERT(sstfq->lopri.qlen == 0);
RF_ASSERT(sstfq->right.qlen == 0);
RF_ASSERT(req);
RF_ASSERT(QSUM(scanq) == dq->queueLength);
RF_ASSERT(scanq->left.qlen == 0);
RF_ASSERT(scanq->right.qlen == 0);
RF_ASSERT(scanq->lopri.qlen == 0);
RF_ASSERT(scanq->right.qlen == 0);
RF_ASSERT(scanq->left.queue);
RF_ASSERT(scanq->right.queue);
RF_ASSERT(scanq->left.queue);
RF_ASSERT(req);
RF_ASSERT(cscanq->dir == DIR_RIGHT);
RF_ASSERT(QSUM(cscanq) == dq->queueLength);
RF_ASSERT(cscanq->right.qlen == 0);
RF_ASSERT(cscanq->left.qlen == 0);
RF_ASSERT(cscanq->lopri.qlen == 0);
RF_ASSERT(req);
RF_ASSERT(RF_IO_IS_R_OR_W(desc->type));
RF_ASSERT(asm_p->stripeID > lastStripeID);
RF_ASSERT(dagList->numDags > 0);
RF_ASSERT(dagList->numDagsDone == 0);
RF_ASSERT(dagList->numDagsFired == 0);
RF_ASSERT(dag_h);
RF_ASSERT(RF_IO_IS_R_OR_W(lockReqDesc->type));
RF_ASSERT(RF_IO_IS_R_OR_W(lockReqDesc->type));
RF_ASSERT(lockDesc); /* major error to release a lock that doesn't
RF_ASSERT(lr && (lr == lockReqDesc)); /* major error to release a
RF_ASSERT(lr == lockDesc->granted);
RF_ASSERT(lr->type == RF_IO_TYPE_READ);
RF_ASSERT(!lr->templink);
RF_ASSERT(candidate == lockDesc->waitersH);
RF_ASSERT(!candidate->templink);
RF_ASSERT(lockDesc->nWriters == 0);
RF_ASSERT(lockDesc == lockTable[hashval].descList);
RF_ASSERT(!((callbacklist) && (!lockDesc)));
RF_ASSERT(RF_IO_IS_R_OR_W((_lr_)->type)); \