Home | History | Annotate | Line # | Download | only in raidframe
rf_engine.c revision 1.37.22.1
      1  1.37.22.1     yamt /*	$NetBSD: rf_engine.c,v 1.37.22.1 2006/10/22 06:06:43 yamt Exp $	*/
      2        1.1    oster /*
      3        1.1    oster  * Copyright (c) 1995 Carnegie-Mellon University.
      4        1.1    oster  * All rights reserved.
      5        1.1    oster  *
      6        1.1    oster  * Author: William V. Courtright II, Mark Holland, Rachad Youssef
      7        1.1    oster  *
      8        1.1    oster  * Permission to use, copy, modify and distribute this software and
      9        1.1    oster  * its documentation is hereby granted, provided that both the copyright
     10        1.1    oster  * notice and this permission notice appear in all copies of the
     11        1.1    oster  * software, derivative works or modified versions, and any portions
     12        1.1    oster  * thereof, and that both notices appear in supporting documentation.
     13        1.1    oster  *
     14        1.1    oster  * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
     15        1.1    oster  * CONDITION.  CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND
     16        1.1    oster  * FOR ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
     17        1.1    oster  *
     18        1.1    oster  * Carnegie Mellon requests users of this software to return to
     19        1.1    oster  *
     20        1.1    oster  *  Software Distribution Coordinator  or  Software.Distribution (at) CS.CMU.EDU
     21        1.1    oster  *  School of Computer Science
     22        1.1    oster  *  Carnegie Mellon University
     23        1.1    oster  *  Pittsburgh PA 15213-3890
     24        1.1    oster  *
     25        1.1    oster  * any improvements or extensions that they make and grant Carnegie the
     26        1.1    oster  * rights to redistribute these changes.
     27        1.1    oster  */
     28        1.1    oster 
     29        1.1    oster /****************************************************************************
     30        1.1    oster  *                                                                          *
     31        1.1    oster  * engine.c -- code for DAG execution engine                                *
     32        1.1    oster  *                                                                          *
     33        1.1    oster  * Modified to work as follows (holland):                                   *
     34        1.1    oster  *   A user-thread calls into DispatchDAG, which fires off the nodes that   *
     35        1.1    oster  *   are direct successors to the header node.  DispatchDAG then returns,   *
     36        1.1    oster  *   and the rest of the I/O continues asynchronously.  As each node        *
     37        1.1    oster  *   completes, the node execution function calls FinishNode().  FinishNode *
     38        1.1    oster  *   scans the list of successors to the node and increments the antecedent *
     39        1.1    oster  *   counts.  Each node that becomes enabled is placed on a central node    *
     40        1.1    oster  *   queue.  A dedicated dag-execution thread grabs nodes off of this       *
     41        1.1    oster  *   queue and fires them.                                                  *
     42        1.1    oster  *                                                                          *
     43        1.1    oster  *   NULL nodes are never fired.                                            *
     44        1.1    oster  *                                                                          *
     45        1.1    oster  *   Terminator nodes are never fired, but rather cause the callback        *
     46        1.1    oster  *   associated with the DAG to be invoked.                                 *
     47        1.1    oster  *                                                                          *
     48        1.1    oster  *   If a node fails, the dag either rolls forward to the completion or     *
     49        1.1    oster  *   rolls back, undoing previously-completed nodes and fails atomically.   *
     50        1.1    oster  *   The direction of recovery is determined by the location of the failed  *
     51       1.11      wiz  *   node in the graph.  If the failure occurred before the commit node in   *
     52        1.1    oster  *   the graph, backward recovery is used.  Otherwise, forward recovery is  *
     53        1.1    oster  *   used.                                                                  *
     54        1.1    oster  *                                                                          *
     55        1.1    oster  ****************************************************************************/
     56       1.12    lukem 
     57       1.12    lukem #include <sys/cdefs.h>
     58  1.37.22.1     yamt __KERNEL_RCSID(0, "$NetBSD: rf_engine.c,v 1.37.22.1 2006/10/22 06:06:43 yamt Exp $");
     59        1.1    oster 
     60        1.1    oster #include <sys/errno.h>
     61        1.1    oster 
     62       1.25    oster #include "rf_threadstuff.h"
     63        1.1    oster #include "rf_dag.h"
     64        1.1    oster #include "rf_engine.h"
     65        1.1    oster #include "rf_etimer.h"
     66        1.1    oster #include "rf_general.h"
     67        1.1    oster #include "rf_dagutils.h"
     68        1.1    oster #include "rf_shutdown.h"
     69        1.1    oster #include "rf_raid.h"
     70       1.36    oster #include "rf_kintf.h"
     71        1.1    oster 
     72       1.25    oster static void rf_ShutdownEngine(void *);
     73        1.1    oster static void DAGExecutionThread(RF_ThreadArg_t arg);
     74       1.22    oster static void rf_RaidIOThread(RF_ThreadArg_t arg);
     75        1.1    oster 
     76        1.1    oster /* synchronization primitives for this file.  DO_WAIT should be enclosed in a while loop. */
     77        1.1    oster 
     78       1.10  thorpej #define DO_LOCK(_r_) \
     79       1.10  thorpej do { \
     80       1.10  thorpej 	ks = splbio(); \
     81       1.10  thorpej 	RF_LOCK_MUTEX((_r_)->node_queue_mutex); \
     82       1.10  thorpej } while (0)
     83       1.10  thorpej 
     84       1.10  thorpej #define DO_UNLOCK(_r_) \
     85       1.10  thorpej do { \
     86       1.10  thorpej 	RF_UNLOCK_MUTEX((_r_)->node_queue_mutex); \
     87       1.10  thorpej 	splx(ks); \
     88       1.10  thorpej } while (0)
     89       1.10  thorpej 
     90       1.10  thorpej #define	DO_WAIT(_r_) \
     91       1.10  thorpej 	RF_WAIT_COND((_r_)->node_queue, (_r_)->node_queue_mutex)
     92       1.10  thorpej 
     93       1.10  thorpej #define	DO_SIGNAL(_r_) \
     94       1.10  thorpej 	RF_BROADCAST_COND((_r_)->node_queue)	/* XXX RF_SIGNAL_COND? */
     95        1.1    oster 
     96       1.35    perry static void
     97       1.29    oster rf_ShutdownEngine(void *arg)
     98        1.4    oster {
     99        1.4    oster 	RF_Raid_t *raidPtr;
    100       1.22    oster 	int ks;
    101        1.4    oster 
    102        1.4    oster 	raidPtr = (RF_Raid_t *) arg;
    103       1.22    oster 
    104       1.22    oster 	/* Tell the rf_RaidIOThread to shutdown */
    105       1.22    oster 	simple_lock(&(raidPtr->iodone_lock));
    106       1.22    oster 
    107       1.22    oster 	raidPtr->shutdown_raidio = 1;
    108       1.22    oster 	wakeup(&(raidPtr->iodone));
    109       1.22    oster 
    110       1.22    oster 	/* ...and wait for it to tell us it has finished */
    111       1.22    oster 	while (raidPtr->shutdown_raidio)
    112       1.22    oster  		ltsleep(&(raidPtr->shutdown_raidio), PRIBIO, "raidshutdown", 0,
    113       1.22    oster 			&(raidPtr->iodone_lock));
    114       1.22    oster 
    115       1.22    oster 	simple_unlock(&(raidPtr->iodone_lock));
    116       1.22    oster 
    117       1.22    oster  	/* Now shut down the DAG execution engine. */
    118       1.22    oster  	DO_LOCK(raidPtr);
    119       1.22    oster   	raidPtr->shutdown_engine = 1;
    120       1.22    oster   	DO_SIGNAL(raidPtr);
    121       1.22    oster  	DO_UNLOCK(raidPtr);
    122       1.22    oster 
    123        1.1    oster }
    124        1.1    oster 
    125       1.35    perry int
    126       1.29    oster rf_ConfigureEngine(RF_ShutdownList_t **listp, RF_Raid_t *raidPtr,
    127  1.37.22.1     yamt 		   RF_Config_t *cfgPtr __unused)
    128        1.4    oster {
    129        1.4    oster 
    130       1.27    oster 	rf_mutex_init(&raidPtr->node_queue_mutex);
    131        1.4    oster 	raidPtr->node_queue = NULL;
    132        1.4    oster 	raidPtr->dags_in_flight = 0;
    133        1.4    oster 
    134        1.4    oster 	/* we create the execution thread only once per system boot. no need
    135        1.4    oster 	 * to check return code b/c the kernel panics if it can't create the
    136        1.4    oster 	 * thread. */
    137       1.34    oster #if RF_DEBUG_ENGINE
    138        1.4    oster 	if (rf_engineDebug) {
    139        1.9    oster 		printf("raid%d: Creating engine thread\n", raidPtr->raidid);
    140        1.4    oster 	}
    141       1.34    oster #endif
    142       1.35    perry 	if (RF_CREATE_ENGINE_THREAD(raidPtr->engine_thread,
    143       1.23    oster 				    DAGExecutionThread, raidPtr,
    144       1.23    oster 				    "raid%d", raidPtr->raidid)) {
    145       1.25    oster 		printf("raid%d: Unable to create engine thread\n",
    146       1.25    oster 		       raidPtr->raidid);
    147        1.4    oster 		return (ENOMEM);
    148        1.4    oster 	}
    149       1.22    oster 	if (RF_CREATE_ENGINE_THREAD(raidPtr->engine_helper_thread,
    150       1.35    perry 				    rf_RaidIOThread, raidPtr,
    151       1.22    oster 				    "raidio%d", raidPtr->raidid)) {
    152       1.35    perry 		printf("raid%d: Unable to create raidio thread\n",
    153       1.22    oster 		       raidPtr->raidid);
    154       1.22    oster 		return (ENOMEM);
    155       1.22    oster 	}
    156       1.34    oster #if RF_DEBUG_ENGINE
    157        1.4    oster 	if (rf_engineDebug) {
    158        1.9    oster 		printf("raid%d: Created engine thread\n", raidPtr->raidid);
    159        1.4    oster 	}
    160       1.34    oster #endif
    161       1.28    oster 
    162        1.4    oster 	/* engine thread is now running and waiting for work */
    163       1.34    oster #if RF_DEBUG_ENGINE
    164        1.4    oster 	if (rf_engineDebug) {
    165        1.9    oster 		printf("raid%d: Engine thread running and waiting for events\n", raidPtr->raidid);
    166        1.4    oster 	}
    167       1.34    oster #endif
    168       1.32    oster 	rf_ShutdownCreate(listp, rf_ShutdownEngine, raidPtr);
    169       1.32    oster 
    170       1.32    oster 	return (0);
    171        1.4    oster }
    172        1.4    oster 
    173       1.35    perry static int
    174       1.29    oster BranchDone(RF_DagNode_t *node)
    175        1.4    oster {
    176        1.4    oster 	int     i;
    177        1.4    oster 
    178        1.4    oster 	/* return true if forward execution is completed for a node and it's
    179        1.4    oster 	 * succedents */
    180        1.4    oster 	switch (node->status) {
    181        1.4    oster 	case rf_wait:
    182        1.4    oster 		/* should never be called in this state */
    183        1.4    oster 		RF_PANIC();
    184        1.4    oster 		break;
    185        1.4    oster 	case rf_fired:
    186        1.4    oster 		/* node is currently executing, so we're not done */
    187        1.4    oster 		return (RF_FALSE);
    188        1.4    oster 	case rf_good:
    189       1.23    oster 		/* for each succedent recursively check branch */
    190       1.23    oster 		for (i = 0; i < node->numSuccedents; i++)
    191       1.23    oster 			if (!BranchDone(node->succedents[i]))
    192        1.4    oster 				return RF_FALSE;
    193        1.4    oster 		return RF_TRUE;	/* node and all succedent branches aren't in
    194        1.4    oster 				 * fired state */
    195        1.4    oster 	case rf_bad:
    196        1.4    oster 		/* succedents can't fire */
    197        1.4    oster 		return (RF_TRUE);
    198        1.4    oster 	case rf_recover:
    199        1.4    oster 		/* should never be called in this state */
    200        1.4    oster 		RF_PANIC();
    201        1.4    oster 		break;
    202        1.4    oster 	case rf_undone:
    203        1.4    oster 	case rf_panic:
    204        1.4    oster 		/* XXX need to fix this case */
    205        1.4    oster 		/* for now, assume that we're done */
    206        1.4    oster 		return (RF_TRUE);
    207        1.4    oster 	default:
    208        1.4    oster 		/* illegal node status */
    209        1.4    oster 		RF_PANIC();
    210        1.4    oster 		break;
    211        1.4    oster 	}
    212        1.4    oster }
    213        1.4    oster 
    214       1.35    perry static int
    215       1.29    oster NodeReady(RF_DagNode_t *node)
    216        1.4    oster {
    217        1.4    oster 	int     ready;
    218        1.4    oster 
    219        1.4    oster 	switch (node->dagHdr->status) {
    220        1.4    oster 	case rf_enable:
    221        1.4    oster 	case rf_rollForward:
    222       1.35    perry 		if ((node->status == rf_wait) &&
    223       1.23    oster 		    (node->numAntecedents == node->numAntDone))
    224        1.4    oster 			ready = RF_TRUE;
    225        1.4    oster 		else
    226        1.4    oster 			ready = RF_FALSE;
    227        1.4    oster 		break;
    228        1.4    oster 	case rf_rollBackward:
    229        1.4    oster 		RF_ASSERT(node->numSuccDone <= node->numSuccedents);
    230        1.4    oster 		RF_ASSERT(node->numSuccFired <= node->numSuccedents);
    231        1.4    oster 		RF_ASSERT(node->numSuccFired <= node->numSuccDone);
    232       1.35    perry 		if ((node->status == rf_good) &&
    233       1.23    oster 		    (node->numSuccDone == node->numSuccedents))
    234        1.4    oster 			ready = RF_TRUE;
    235        1.4    oster 		else
    236        1.4    oster 			ready = RF_FALSE;
    237        1.4    oster 		break;
    238        1.4    oster 	default:
    239        1.4    oster 		printf("Execution engine found illegal DAG status in NodeReady\n");
    240        1.4    oster 		RF_PANIC();
    241        1.4    oster 		break;
    242        1.4    oster 	}
    243        1.1    oster 
    244        1.4    oster 	return (ready);
    245        1.1    oster }
    246        1.1    oster 
    247        1.1    oster 
    248        1.1    oster 
    249       1.23    oster /* user context and dag-exec-thread context: Fire a node.  The node's
    250       1.23    oster  * status field determines which function, do or undo, to be fired.
    251       1.23    oster  * This routine assumes that the node's status field has alread been
    252       1.23    oster  * set to "fired" or "recover" to indicate the direction of execution.
    253        1.1    oster  */
    254       1.35    perry static void
    255       1.29    oster FireNode(RF_DagNode_t *node)
    256        1.1    oster {
    257        1.4    oster 	switch (node->status) {
    258        1.4    oster 	case rf_fired:
    259        1.4    oster 		/* fire the do function of a node */
    260       1.34    oster #if RF_DEBUG_ENGINE
    261        1.4    oster 		if (rf_engineDebug) {
    262       1.35    perry 			printf("raid%d: Firing node 0x%lx (%s)\n",
    263       1.35    perry 			       node->dagHdr->raidPtr->raidid,
    264        1.9    oster 			       (unsigned long) node, node->name);
    265        1.4    oster 		}
    266       1.34    oster #endif
    267        1.4    oster 		if (node->flags & RF_DAGNODE_FLAG_YIELD) {
    268        1.1    oster #if defined(__NetBSD__) && defined(_KERNEL)
    269        1.4    oster 			/* thread_block(); */
    270        1.4    oster 			/* printf("Need to block the thread here...\n");  */
    271        1.4    oster 			/* XXX thread_block is actually mentioned in
    272        1.4    oster 			 * /usr/include/vm/vm_extern.h */
    273        1.1    oster #else
    274        1.4    oster 			thread_block();
    275        1.1    oster #endif
    276        1.4    oster 		}
    277        1.4    oster 		(*(node->doFunc)) (node);
    278        1.4    oster 		break;
    279        1.4    oster 	case rf_recover:
    280        1.4    oster 		/* fire the undo function of a node */
    281       1.34    oster #if RF_DEBUG_ENGINE
    282        1.9    oster 		if (rf_engineDebug) {
    283       1.35    perry 			printf("raid%d: Firing (undo) node 0x%lx (%s)\n",
    284        1.9    oster 			       node->dagHdr->raidPtr->raidid,
    285        1.9    oster 			       (unsigned long) node, node->name);
    286        1.4    oster 		}
    287       1.34    oster #endif
    288        1.4    oster 		if (node->flags & RF_DAGNODE_FLAG_YIELD)
    289        1.1    oster #if defined(__NetBSD__) && defined(_KERNEL)
    290        1.4    oster 			/* thread_block(); */
    291        1.4    oster 			/* printf("Need to block the thread here...\n"); */
    292        1.4    oster 			/* XXX thread_block is actually mentioned in
    293        1.4    oster 			 * /usr/include/vm/vm_extern.h */
    294        1.1    oster #else
    295        1.4    oster 			thread_block();
    296        1.1    oster #endif
    297        1.4    oster 		(*(node->undoFunc)) (node);
    298        1.4    oster 		break;
    299        1.4    oster 	default:
    300        1.4    oster 		RF_PANIC();
    301        1.4    oster 		break;
    302        1.4    oster 	}
    303        1.1    oster }
    304        1.1    oster 
    305        1.1    oster 
    306        1.1    oster 
    307        1.1    oster /* user context:
    308        1.1    oster  * Attempt to fire each node in a linear array.
    309        1.1    oster  * The entire list is fired atomically.
    310        1.1    oster  */
    311       1.35    perry static void
    312       1.29    oster FireNodeArray(int numNodes, RF_DagNode_t **nodeList)
    313        1.4    oster {
    314        1.4    oster 	RF_DagStatus_t dstat;
    315        1.4    oster 	RF_DagNode_t *node;
    316        1.4    oster 	int     i, j;
    317        1.4    oster 
    318        1.4    oster 	/* first, mark all nodes which are ready to be fired */
    319        1.4    oster 	for (i = 0; i < numNodes; i++) {
    320        1.4    oster 		node = nodeList[i];
    321        1.4    oster 		dstat = node->dagHdr->status;
    322       1.35    perry 		RF_ASSERT((node->status == rf_wait) ||
    323       1.23    oster 			  (node->status == rf_good));
    324        1.4    oster 		if (NodeReady(node)) {
    325       1.35    perry 			if ((dstat == rf_enable) ||
    326       1.23    oster 			    (dstat == rf_rollForward)) {
    327        1.4    oster 				RF_ASSERT(node->status == rf_wait);
    328        1.4    oster 				if (node->commitNode)
    329        1.4    oster 					node->dagHdr->numCommits++;
    330        1.4    oster 				node->status = rf_fired;
    331        1.4    oster 				for (j = 0; j < node->numAntecedents; j++)
    332        1.4    oster 					node->antecedents[j]->numSuccFired++;
    333        1.4    oster 			} else {
    334        1.4    oster 				RF_ASSERT(dstat == rf_rollBackward);
    335        1.4    oster 				RF_ASSERT(node->status == rf_good);
    336       1.23    oster 				/* only one commit node per graph */
    337       1.23    oster 				RF_ASSERT(node->commitNode == RF_FALSE);
    338        1.4    oster 				node->status = rf_recover;
    339        1.4    oster 			}
    340        1.4    oster 		}
    341        1.4    oster 	}
    342        1.4    oster 	/* now, fire the nodes */
    343        1.4    oster 	for (i = 0; i < numNodes; i++) {
    344       1.35    perry 		if ((nodeList[i]->status == rf_fired) ||
    345       1.23    oster 		    (nodeList[i]->status == rf_recover))
    346        1.4    oster 			FireNode(nodeList[i]);
    347        1.4    oster 	}
    348        1.1    oster }
    349        1.1    oster 
    350        1.1    oster 
    351        1.1    oster /* user context:
    352        1.1    oster  * Attempt to fire each node in a linked list.
    353        1.1    oster  * The entire list is fired atomically.
    354        1.1    oster  */
    355       1.35    perry static void
    356       1.29    oster FireNodeList(RF_DagNode_t *nodeList)
    357        1.1    oster {
    358        1.4    oster 	RF_DagNode_t *node, *next;
    359        1.4    oster 	RF_DagStatus_t dstat;
    360        1.4    oster 	int     j;
    361        1.4    oster 
    362        1.4    oster 	if (nodeList) {
    363        1.4    oster 		/* first, mark all nodes which are ready to be fired */
    364        1.4    oster 		for (node = nodeList; node; node = next) {
    365        1.4    oster 			next = node->next;
    366        1.4    oster 			dstat = node->dagHdr->status;
    367       1.35    perry 			RF_ASSERT((node->status == rf_wait) ||
    368       1.23    oster 				  (node->status == rf_good));
    369        1.4    oster 			if (NodeReady(node)) {
    370       1.35    perry 				if ((dstat == rf_enable) ||
    371       1.23    oster 				    (dstat == rf_rollForward)) {
    372        1.4    oster 					RF_ASSERT(node->status == rf_wait);
    373        1.4    oster 					if (node->commitNode)
    374        1.4    oster 						node->dagHdr->numCommits++;
    375        1.4    oster 					node->status = rf_fired;
    376        1.4    oster 					for (j = 0; j < node->numAntecedents; j++)
    377        1.4    oster 						node->antecedents[j]->numSuccFired++;
    378        1.4    oster 				} else {
    379        1.4    oster 					RF_ASSERT(dstat == rf_rollBackward);
    380        1.4    oster 					RF_ASSERT(node->status == rf_good);
    381       1.23    oster 					/* only one commit node per graph */
    382       1.23    oster 					RF_ASSERT(node->commitNode == RF_FALSE);
    383        1.4    oster 					node->status = rf_recover;
    384        1.4    oster 				}
    385        1.4    oster 			}
    386        1.4    oster 		}
    387        1.4    oster 		/* now, fire the nodes */
    388        1.4    oster 		for (node = nodeList; node; node = next) {
    389        1.4    oster 			next = node->next;
    390       1.35    perry 			if ((node->status == rf_fired) ||
    391       1.23    oster 			    (node->status == rf_recover))
    392        1.4    oster 				FireNode(node);
    393        1.4    oster 		}
    394        1.4    oster 	}
    395        1.1    oster }
    396        1.1    oster /* interrupt context:
    397        1.1    oster  * for each succedent
    398        1.1    oster  *    propagate required results from node to succedent
    399        1.1    oster  *    increment succedent's numAntDone
    400        1.1    oster  *    place newly-enable nodes on node queue for firing
    401        1.1    oster  *
    402        1.1    oster  * To save context switches, we don't place NIL nodes on the node queue,
    403        1.1    oster  * but rather just process them as if they had fired.  Note that NIL nodes
    404        1.1    oster  * that are the direct successors of the header will actually get fired by
    405        1.1    oster  * DispatchDAG, which is fine because no context switches are involved.
    406        1.1    oster  *
    407        1.1    oster  * Important:  when running at user level, this can be called by any
    408        1.1    oster  * disk thread, and so the increment and check of the antecedent count
    409        1.1    oster  * must be locked.  I used the node queue mutex and locked down the
    410        1.1    oster  * entire function, but this is certainly overkill.
    411        1.1    oster  */
    412       1.35    perry static void
    413       1.29    oster PropagateResults(RF_DagNode_t *node, int context)
    414        1.4    oster {
    415        1.4    oster 	RF_DagNode_t *s, *a;
    416        1.4    oster 	RF_Raid_t *raidPtr;
    417        1.9    oster 	int     i, ks;
    418        1.4    oster 	RF_DagNode_t *finishlist = NULL;	/* a list of NIL nodes to be
    419        1.4    oster 						 * finished */
    420        1.4    oster 	RF_DagNode_t *skiplist = NULL;	/* list of nodes with failed truedata
    421        1.4    oster 					 * antecedents */
    422        1.4    oster 	RF_DagNode_t *firelist = NULL;	/* a list of nodes to be fired */
    423        1.4    oster 	RF_DagNode_t *q = NULL, *qh = NULL, *next;
    424        1.4    oster 	int     j, skipNode;
    425        1.4    oster 
    426        1.4    oster 	raidPtr = node->dagHdr->raidPtr;
    427        1.4    oster 
    428        1.4    oster 	DO_LOCK(raidPtr);
    429        1.4    oster 
    430        1.4    oster 	/* debug - validate fire counts */
    431        1.4    oster 	for (i = 0; i < node->numAntecedents; i++) {
    432        1.4    oster 		a = *(node->antecedents + i);
    433        1.4    oster 		RF_ASSERT(a->numSuccFired >= a->numSuccDone);
    434        1.4    oster 		RF_ASSERT(a->numSuccFired <= a->numSuccedents);
    435        1.4    oster 		a->numSuccDone++;
    436        1.4    oster 	}
    437        1.4    oster 
    438        1.4    oster 	switch (node->dagHdr->status) {
    439        1.4    oster 	case rf_enable:
    440        1.4    oster 	case rf_rollForward:
    441        1.4    oster 		for (i = 0; i < node->numSuccedents; i++) {
    442        1.4    oster 			s = *(node->succedents + i);
    443        1.4    oster 			RF_ASSERT(s->status == rf_wait);
    444        1.4    oster 			(s->numAntDone)++;
    445        1.4    oster 			if (s->numAntDone == s->numAntecedents) {
    446        1.4    oster 				/* look for NIL nodes */
    447        1.4    oster 				if (s->doFunc == rf_NullNodeFunc) {
    448        1.4    oster 					/* don't fire NIL nodes, just process
    449        1.4    oster 					 * them */
    450        1.4    oster 					s->next = finishlist;
    451        1.4    oster 					finishlist = s;
    452        1.4    oster 				} else {
    453        1.4    oster 					/* look to see if the node is to be
    454        1.4    oster 					 * skipped */
    455        1.4    oster 					skipNode = RF_FALSE;
    456        1.4    oster 					for (j = 0; j < s->numAntecedents; j++)
    457        1.4    oster 						if ((s->antType[j] == rf_trueData) && (s->antecedents[j]->status == rf_bad))
    458        1.4    oster 							skipNode = RF_TRUE;
    459        1.4    oster 					if (skipNode) {
    460        1.4    oster 						/* this node has one or more
    461        1.4    oster 						 * failed true data
    462        1.4    oster 						 * dependencies, so skip it */
    463        1.4    oster 						s->next = skiplist;
    464        1.4    oster 						skiplist = s;
    465        1.4    oster 					} else
    466        1.4    oster 						/* add s to list of nodes (q)
    467        1.4    oster 						 * to execute */
    468        1.4    oster 						if (context != RF_INTR_CONTEXT) {
    469        1.4    oster 							/* we only have to
    470        1.4    oster 							 * enqueue if we're at
    471        1.4    oster 							 * intr context */
    472       1.25    oster 							/* put node on
    473       1.25    oster                                                            a list to
    474       1.25    oster                                                            be fired
    475       1.25    oster                                                            after we
    476       1.25    oster                                                            unlock */
    477       1.25    oster 							s->next = firelist;
    478        1.4    oster 							firelist = s;
    479       1.35    perry 						} else {
    480       1.25    oster 							/* enqueue the
    481       1.25    oster 							   node for
    482       1.25    oster 							   the dag
    483       1.25    oster 							   exec thread
    484       1.25    oster 							   to fire */
    485        1.4    oster 							RF_ASSERT(NodeReady(s));
    486        1.4    oster 							if (q) {
    487        1.4    oster 								q->next = s;
    488        1.4    oster 								q = s;
    489        1.4    oster 							} else {
    490        1.4    oster 								qh = q = s;
    491        1.4    oster 								qh->next = NULL;
    492        1.4    oster 							}
    493        1.4    oster 						}
    494        1.4    oster 				}
    495        1.4    oster 			}
    496        1.4    oster 		}
    497        1.4    oster 
    498        1.4    oster 		if (q) {
    499        1.4    oster 			/* xfer our local list of nodes to the node queue */
    500        1.4    oster 			q->next = raidPtr->node_queue;
    501        1.4    oster 			raidPtr->node_queue = qh;
    502        1.4    oster 			DO_SIGNAL(raidPtr);
    503        1.4    oster 		}
    504        1.4    oster 		DO_UNLOCK(raidPtr);
    505        1.4    oster 
    506        1.4    oster 		for (; skiplist; skiplist = next) {
    507        1.4    oster 			next = skiplist->next;
    508        1.4    oster 			skiplist->status = rf_skipped;
    509        1.4    oster 			for (i = 0; i < skiplist->numAntecedents; i++) {
    510        1.4    oster 				skiplist->antecedents[i]->numSuccFired++;
    511        1.4    oster 			}
    512        1.4    oster 			if (skiplist->commitNode) {
    513        1.4    oster 				skiplist->dagHdr->numCommits++;
    514        1.4    oster 			}
    515        1.4    oster 			rf_FinishNode(skiplist, context);
    516        1.4    oster 		}
    517        1.4    oster 		for (; finishlist; finishlist = next) {
    518        1.4    oster 			/* NIL nodes: no need to fire them */
    519        1.4    oster 			next = finishlist->next;
    520        1.4    oster 			finishlist->status = rf_good;
    521        1.4    oster 			for (i = 0; i < finishlist->numAntecedents; i++) {
    522        1.4    oster 				finishlist->antecedents[i]->numSuccFired++;
    523        1.4    oster 			}
    524        1.4    oster 			if (finishlist->commitNode)
    525        1.4    oster 				finishlist->dagHdr->numCommits++;
    526        1.4    oster 			/*
    527       1.23    oster 		         * Okay, here we're calling rf_FinishNode() on
    528       1.23    oster 		         * nodes that have the null function as their
    529       1.23    oster 		         * work proc. Such a node could be the
    530       1.23    oster 		         * terminal node in a DAG. If so, it will
    531       1.23    oster 		         * cause the DAG to complete, which will in
    532       1.23    oster 		         * turn free memory used by the DAG, which
    533       1.23    oster 		         * includes the node in question. Thus, we
    534       1.23    oster 		         * must avoid referencing the node at all
    535       1.23    oster 		         * after calling rf_FinishNode() on it.  */
    536        1.4    oster 			rf_FinishNode(finishlist, context);	/* recursive call */
    537        1.4    oster 		}
    538        1.4    oster 		/* fire all nodes in firelist */
    539        1.4    oster 		FireNodeList(firelist);
    540        1.4    oster 		break;
    541        1.4    oster 
    542        1.4    oster 	case rf_rollBackward:
    543        1.4    oster 		for (i = 0; i < node->numAntecedents; i++) {
    544        1.4    oster 			a = *(node->antecedents + i);
    545        1.4    oster 			RF_ASSERT(a->status == rf_good);
    546        1.4    oster 			RF_ASSERT(a->numSuccDone <= a->numSuccedents);
    547        1.4    oster 			RF_ASSERT(a->numSuccDone <= a->numSuccFired);
    548        1.4    oster 
    549        1.4    oster 			if (a->numSuccDone == a->numSuccFired) {
    550        1.4    oster 				if (a->undoFunc == rf_NullNodeFunc) {
    551        1.4    oster 					/* don't fire NIL nodes, just process
    552        1.4    oster 					 * them */
    553        1.4    oster 					a->next = finishlist;
    554        1.4    oster 					finishlist = a;
    555        1.4    oster 				} else {
    556        1.4    oster 					if (context != RF_INTR_CONTEXT) {
    557        1.4    oster 						/* we only have to enqueue if
    558        1.4    oster 						 * we're at intr context */
    559       1.35    perry 						/* put node on a list to be
    560       1.23    oster 						   fired after we unlock */
    561       1.23    oster 						a->next = firelist;
    562       1.23    oster 
    563        1.4    oster 						firelist = a;
    564       1.23    oster 					} else {
    565       1.35    perry 						/* enqueue the node for the
    566       1.23    oster 						   dag exec thread to fire */
    567        1.4    oster 						RF_ASSERT(NodeReady(a));
    568        1.4    oster 						if (q) {
    569        1.4    oster 							q->next = a;
    570        1.4    oster 							q = a;
    571        1.4    oster 						} else {
    572        1.4    oster 							qh = q = a;
    573        1.4    oster 							qh->next = NULL;
    574        1.4    oster 						}
    575        1.4    oster 					}
    576        1.4    oster 				}
    577        1.4    oster 			}
    578        1.4    oster 		}
    579        1.4    oster 		if (q) {
    580        1.4    oster 			/* xfer our local list of nodes to the node queue */
    581        1.4    oster 			q->next = raidPtr->node_queue;
    582        1.4    oster 			raidPtr->node_queue = qh;
    583        1.4    oster 			DO_SIGNAL(raidPtr);
    584        1.4    oster 		}
    585        1.4    oster 		DO_UNLOCK(raidPtr);
    586       1.35    perry 		for (; finishlist; finishlist = next) {
    587       1.23    oster 			/* NIL nodes: no need to fire them */
    588        1.4    oster 			next = finishlist->next;
    589        1.4    oster 			finishlist->status = rf_good;
    590        1.4    oster 			/*
    591       1.23    oster 		         * Okay, here we're calling rf_FinishNode() on
    592       1.23    oster 		         * nodes that have the null function as their
    593       1.23    oster 		         * work proc. Such a node could be the first
    594       1.23    oster 		         * node in a DAG. If so, it will cause the DAG
    595       1.23    oster 		         * to complete, which will in turn free memory
    596       1.23    oster 		         * used by the DAG, which includes the node in
    597       1.23    oster 		         * question. Thus, we must avoid referencing
    598       1.23    oster 		         * the node at all after calling
    599       1.23    oster 		         * rf_FinishNode() on it.  */
    600        1.4    oster 			rf_FinishNode(finishlist, context);	/* recursive call */
    601        1.4    oster 		}
    602        1.4    oster 		/* fire all nodes in firelist */
    603        1.4    oster 		FireNodeList(firelist);
    604        1.4    oster 
    605        1.4    oster 		break;
    606        1.4    oster 	default:
    607        1.4    oster 		printf("Engine found illegal DAG status in PropagateResults()\n");
    608        1.4    oster 		RF_PANIC();
    609        1.4    oster 		break;
    610        1.4    oster 	}
    611        1.1    oster }
    612        1.1    oster 
    613        1.1    oster 
    614        1.1    oster 
    615        1.1    oster /*
    616        1.1    oster  * Process a fired node which has completed
    617        1.1    oster  */
    618       1.35    perry static void
    619       1.29    oster ProcessNode(RF_DagNode_t *node, int context)
    620        1.4    oster {
    621        1.4    oster 	RF_Raid_t *raidPtr;
    622        1.4    oster 
    623        1.4    oster 	raidPtr = node->dagHdr->raidPtr;
    624        1.4    oster 
    625        1.4    oster 	switch (node->status) {
    626        1.4    oster 	case rf_good:
    627        1.4    oster 		/* normal case, don't need to do anything */
    628        1.4    oster 		break;
    629        1.4    oster 	case rf_bad:
    630       1.35    perry 		if ((node->dagHdr->numCommits > 0) ||
    631       1.23    oster 		    (node->dagHdr->numCommitNodes == 0)) {
    632       1.23    oster 			/* crossed commit barrier */
    633       1.35    perry 			node->dagHdr->status = rf_rollForward;
    634       1.34    oster #if RF_DEBUG_ENGINE
    635       1.31    oster 			if (rf_engineDebug) {
    636        1.9    oster 				printf("raid%d: node (%s) returned fail, rolling forward\n", raidPtr->raidid, node->name);
    637        1.4    oster 			}
    638       1.34    oster #endif
    639        1.4    oster 		} else {
    640       1.23    oster 			/* never reached commit barrier */
    641       1.35    perry 			node->dagHdr->status = rf_rollBackward;
    642       1.34    oster #if RF_DEBUG_ENGINE
    643       1.31    oster 			if (rf_engineDebug) {
    644        1.9    oster 				printf("raid%d: node (%s) returned fail, rolling backward\n", raidPtr->raidid, node->name);
    645        1.4    oster 			}
    646       1.34    oster #endif
    647        1.4    oster 		}
    648        1.4    oster 		break;
    649        1.4    oster 	case rf_undone:
    650        1.4    oster 		/* normal rollBackward case, don't need to do anything */
    651        1.4    oster 		break;
    652        1.4    oster 	case rf_panic:
    653        1.4    oster 		/* an undo node failed!!! */
    654        1.4    oster 		printf("UNDO of a node failed!!!/n");
    655        1.4    oster 		break;
    656        1.4    oster 	default:
    657        1.4    oster 		printf("node finished execution with an illegal status!!!\n");
    658        1.4    oster 		RF_PANIC();
    659        1.4    oster 		break;
    660        1.4    oster 	}
    661        1.1    oster 
    662        1.4    oster 	/* enqueue node's succedents (antecedents if rollBackward) for
    663        1.4    oster 	 * execution */
    664        1.4    oster 	PropagateResults(node, context);
    665        1.1    oster }
    666        1.1    oster 
    667        1.1    oster 
    668        1.1    oster 
    669        1.1    oster /* user context or dag-exec-thread context:
    670        1.1    oster  * This is the first step in post-processing a newly-completed node.
    671        1.1    oster  * This routine is called by each node execution function to mark the node
    672        1.1    oster  * as complete and fire off any successors that have been enabled.
    673        1.1    oster  */
    674       1.35    perry int
    675       1.29    oster rf_FinishNode(RF_DagNode_t *node, int context)
    676        1.4    oster {
    677        1.4    oster 	int     retcode = RF_FALSE;
    678        1.4    oster 	node->dagHdr->numNodesCompleted++;
    679        1.4    oster 	ProcessNode(node, context);
    680        1.1    oster 
    681        1.4    oster 	return (retcode);
    682        1.1    oster }
    683        1.1    oster 
    684        1.1    oster 
    685       1.23    oster /* user context: submit dag for execution, return non-zero if we have
    686       1.23    oster  * to wait for completion.  if and only if we return non-zero, we'll
    687       1.23    oster  * cause cbFunc to get invoked with cbArg when the DAG has completed.
    688       1.23    oster  *
    689       1.23    oster  * for now we always return 1.  If the DAG does not cause any I/O,
    690       1.23    oster  * then the callback may get invoked before DispatchDAG returns.
    691       1.23    oster  * There's code in state 5 of ContinueRaidAccess to handle this.
    692        1.1    oster  *
    693       1.23    oster  * All we do here is fire the direct successors of the header node.
    694       1.23    oster  * The DAG execution thread does the rest of the dag processing.  */
    695       1.35    perry int
    696       1.29    oster rf_DispatchDAG(RF_DagHeader_t *dag, void (*cbFunc) (void *),
    697       1.29    oster 	       void *cbArg)
    698        1.4    oster {
    699        1.4    oster 	RF_Raid_t *raidPtr;
    700        1.4    oster 
    701        1.4    oster 	raidPtr = dag->raidPtr;
    702       1.33    oster #if RF_ACC_TRACE > 0
    703        1.4    oster 	if (dag->tracerec) {
    704        1.4    oster 		RF_ETIMER_START(dag->tracerec->timer);
    705        1.4    oster 	}
    706       1.33    oster #endif
    707       1.13    oster #if DEBUG
    708       1.14    oster #if RF_DEBUG_VALIDATE_DAG
    709        1.4    oster 	if (rf_engineDebug || rf_validateDAGDebug) {
    710        1.4    oster 		if (rf_ValidateDAG(dag))
    711        1.4    oster 			RF_PANIC();
    712        1.4    oster 	}
    713       1.14    oster #endif
    714       1.13    oster #endif
    715       1.34    oster #if RF_DEBUG_ENGINE
    716        1.4    oster 	if (rf_engineDebug) {
    717        1.9    oster 		printf("raid%d: Entering DispatchDAG\n", raidPtr->raidid);
    718        1.4    oster 	}
    719       1.34    oster #endif
    720        1.4    oster 	raidPtr->dags_in_flight++;	/* debug only:  blow off proper
    721        1.4    oster 					 * locking */
    722        1.4    oster 	dag->cbFunc = cbFunc;
    723        1.4    oster 	dag->cbArg = cbArg;
    724        1.4    oster 	dag->numNodesCompleted = 0;
    725        1.4    oster 	dag->status = rf_enable;
    726        1.4    oster 	FireNodeArray(dag->numSuccedents, dag->succedents);
    727        1.4    oster 	return (1);
    728        1.1    oster }
    729       1.23    oster /* dedicated kernel thread: the thread that handles all DAG node
    730       1.23    oster  * firing.  To minimize locking and unlocking, we grab a copy of the
    731       1.23    oster  * entire node queue and then set the node queue to NULL before doing
    732       1.23    oster  * any firing of nodes.  This way we only have to release the lock
    733       1.23    oster  * once.  Of course, it's probably rare that there's more than one
    734       1.35    perry  * node in the queue at any one time, but it sometimes happens.
    735        1.1    oster  */
    736        1.1    oster 
    737       1.35    perry static void
    738        1.4    oster DAGExecutionThread(RF_ThreadArg_t arg)
    739        1.1    oster {
    740        1.4    oster 	RF_DagNode_t *nd, *local_nq, *term_nq, *fire_nq;
    741        1.4    oster 	RF_Raid_t *raidPtr;
    742        1.9    oster 	int     ks;
    743        1.4    oster 	int     s;
    744        1.4    oster 
    745        1.4    oster 	raidPtr = (RF_Raid_t *) arg;
    746        1.4    oster 
    747       1.34    oster #if RF_DEBUG_ENGINE
    748        1.4    oster 	if (rf_engineDebug) {
    749        1.9    oster 		printf("raid%d: Engine thread is running\n", raidPtr->raidid);
    750        1.4    oster 	}
    751       1.34    oster #endif
    752        1.4    oster 	s = splbio();
    753        1.1    oster 
    754        1.4    oster 	DO_LOCK(raidPtr);
    755        1.4    oster 	while (!raidPtr->shutdown_engine) {
    756        1.1    oster 
    757        1.4    oster 		while (raidPtr->node_queue != NULL) {
    758        1.4    oster 			local_nq = raidPtr->node_queue;
    759        1.4    oster 			fire_nq = NULL;
    760        1.4    oster 			term_nq = NULL;
    761        1.4    oster 			raidPtr->node_queue = NULL;
    762        1.4    oster 			DO_UNLOCK(raidPtr);
    763        1.4    oster 
    764        1.4    oster 			/* first, strip out the terminal nodes */
    765        1.4    oster 			while (local_nq) {
    766        1.4    oster 				nd = local_nq;
    767        1.4    oster 				local_nq = local_nq->next;
    768        1.4    oster 				switch (nd->dagHdr->status) {
    769        1.4    oster 				case rf_enable:
    770        1.4    oster 				case rf_rollForward:
    771        1.4    oster 					if (nd->numSuccedents == 0) {
    772        1.4    oster 						/* end of the dag, add to
    773        1.4    oster 						 * callback list */
    774        1.4    oster 						nd->next = term_nq;
    775        1.4    oster 						term_nq = nd;
    776        1.4    oster 					} else {
    777        1.4    oster 						/* not the end, add to the
    778        1.4    oster 						 * fire queue */
    779        1.4    oster 						nd->next = fire_nq;
    780        1.4    oster 						fire_nq = nd;
    781        1.4    oster 					}
    782        1.4    oster 					break;
    783        1.4    oster 				case rf_rollBackward:
    784        1.4    oster 					if (nd->numAntecedents == 0) {
    785        1.4    oster 						/* end of the dag, add to the
    786        1.4    oster 						 * callback list */
    787        1.4    oster 						nd->next = term_nq;
    788        1.4    oster 						term_nq = nd;
    789        1.4    oster 					} else {
    790        1.4    oster 						/* not the end, add to the
    791        1.4    oster 						 * fire queue */
    792        1.4    oster 						nd->next = fire_nq;
    793        1.4    oster 						fire_nq = nd;
    794        1.4    oster 					}
    795        1.4    oster 					break;
    796        1.4    oster 				default:
    797        1.4    oster 					RF_PANIC();
    798        1.4    oster 					break;
    799        1.4    oster 				}
    800        1.4    oster 			}
    801        1.4    oster 
    802        1.4    oster 			/* execute callback of dags which have reached the
    803        1.4    oster 			 * terminal node */
    804        1.4    oster 			while (term_nq) {
    805        1.4    oster 				nd = term_nq;
    806        1.4    oster 				term_nq = term_nq->next;
    807        1.4    oster 				nd->next = NULL;
    808        1.4    oster 				(nd->dagHdr->cbFunc) (nd->dagHdr->cbArg);
    809        1.4    oster 				raidPtr->dags_in_flight--;	/* debug only */
    810        1.4    oster 			}
    811        1.4    oster 
    812        1.4    oster 			/* fire remaining nodes */
    813        1.4    oster 			FireNodeList(fire_nq);
    814        1.4    oster 
    815        1.4    oster 			DO_LOCK(raidPtr);
    816        1.4    oster 		}
    817       1.35    perry 		while (!raidPtr->shutdown_engine &&
    818       1.17    oster 		       raidPtr->node_queue == NULL) {
    819       1.24    oster 			DO_WAIT(raidPtr);
    820       1.17    oster 		}
    821        1.4    oster 	}
    822        1.4    oster 	DO_UNLOCK(raidPtr);
    823        1.1    oster 
    824        1.4    oster 	splx(s);
    825       1.22    oster 	kthread_exit(0);
    826       1.22    oster }
    827       1.22    oster 
    828       1.35    perry /*
    829       1.36    oster  * rf_RaidIOThread() -- When I/O to a component begins, raidstrategy()
    830       1.36    oster  * puts the I/O on a buf_queue, and then signals raidPtr->iodone.  If
    831       1.36    oster  * necessary, this function calls raidstart() to initiate the I/O.
    832       1.36    oster  * When I/O to a component completes, KernelWakeupFunc() puts the
    833       1.36    oster  * completed request onto raidPtr->iodone TAILQ.  This function looks
    834       1.36    oster  * after requests on that queue by calling rf_DiskIOComplete() for the
    835       1.36    oster  * request, and by calling any required CompleteFunc for the request.
    836       1.23    oster  */
    837       1.22    oster 
    838       1.22    oster static void
    839       1.22    oster rf_RaidIOThread(RF_ThreadArg_t arg)
    840       1.22    oster {
    841       1.22    oster 	RF_Raid_t *raidPtr;
    842       1.22    oster 	RF_DiskQueueData_t *req;
    843       1.22    oster 	int s;
    844       1.22    oster 
    845       1.22    oster 	raidPtr = (RF_Raid_t *) arg;
    846       1.22    oster 
    847       1.22    oster 	s = splbio();
    848       1.22    oster 	simple_lock(&(raidPtr->iodone_lock));
    849       1.22    oster 
    850       1.22    oster 	while (!raidPtr->shutdown_raidio) {
    851       1.22    oster 		/* if there is nothing to do, then snooze. */
    852       1.36    oster 		if (TAILQ_EMPTY(&(raidPtr->iodone)) &&
    853       1.36    oster 		    rf_buf_queue_check(raidPtr->raidid)) {
    854       1.22    oster 			ltsleep(&(raidPtr->iodone), PRIBIO, "raidiow", 0,
    855       1.22    oster 				&(raidPtr->iodone_lock));
    856       1.22    oster 		}
    857       1.22    oster 
    858       1.22    oster 		/* See what I/Os, if any, have arrived */
    859       1.22    oster 		while ((req = TAILQ_FIRST(&(raidPtr->iodone))) != NULL) {
    860       1.22    oster 			TAILQ_REMOVE(&(raidPtr->iodone), req, iodone_entries);
    861       1.22    oster 			simple_unlock(&(raidPtr->iodone_lock));
    862       1.22    oster 			rf_DiskIOComplete(req->queue, req, req->error);
    863       1.22    oster 			(req->CompleteFunc) (req->argument, req->error);
    864       1.22    oster 			simple_lock(&(raidPtr->iodone_lock));
    865       1.22    oster 		}
    866       1.36    oster 
    867       1.36    oster 		/* process any pending outgoing IO */
    868       1.36    oster 		simple_unlock(&(raidPtr->iodone_lock));
    869       1.36    oster 		raidstart(raidPtr);
    870       1.36    oster 		simple_lock(&(raidPtr->iodone_lock));
    871       1.36    oster 
    872       1.22    oster 	}
    873       1.22    oster 
    874       1.22    oster 	/* Let rf_ShutdownEngine know that we're done... */
    875       1.22    oster 	raidPtr->shutdown_raidio = 0;
    876       1.22    oster 	wakeup(&(raidPtr->shutdown_raidio));
    877       1.22    oster 
    878       1.22    oster 	simple_unlock(&(raidPtr->iodone_lock));
    879       1.22    oster 	splx(s);
    880       1.22    oster 
    881        1.4    oster 	kthread_exit(0);
    882        1.1    oster }
    883