/*[7] * Rimuove il PCB puntato da p dalla coda del semaforo su cui e’ bloccato, termina anche tutti i processi discendenti */ void outChildBlocked(pcb_t *p){ semd_t *tmp; tmp = getSemd(p->p_semkey); outProcQ(&(tmp->s_procQ), p); if(p->p_first_child == NULL){ p->p_first_child = NULL; return; }else{ outChildBlocked(p->p_first_child); } }
int main() { int i; initPcbs(); addokbuf("Initialized Process Control Blocks \n"); /* Check allocPcb */ for (i = 0; i < MAXPROC; i++) { if ((procp[i] = allocPcb()) == NULL) adderrbuf("allocPcb(): unexpected NULL "); } if (allocPcb() != NULL) { adderrbuf(" ERROR: allocPcb(): allocated more than MAXPROC entries "); } addokbuf(" allocPcb test OK \n"); /* Return the last 10 entries back to free list */ for (i = 10; i < MAXPROC; i++) freePcb(procp[i]); addokbuf(" Added 10 entries to the free PCB list \n"); /* Create a 10-element process queue */ INIT_LIST_HEAD(&qa); if (!emptyProcQ(&qa)) adderrbuf("ERROR: emptyProcQ(qa): unexpected FALSE "); addokbuf("Testing insertProcQ ... \n"); for (i = 0; i < 10; i++) { if ((q = allocPcb()) == NULL) adderrbuf("ERROR: allocPcb(): unexpected NULL while insert "); switch (i) { case 3: q->priority=DEFAULT_PCB_PRIORITY; proc = q; break; case 4: q->priority=MAX_PCB_PRIORITY; maxproc = q; break; case 5: q->priority=MIN_PCB_PRIORITY; minproc=q; break; default: q->priority=DEFAULT_PCB_PRIORITY; break; } insertProcQ(&qa, q); } addokbuf("Test insertProcQ: OK. Inserted 10 elements \n"); if (emptyProcQ(&qa)) adderrbuf("ERROR: emptyProcQ(qa): unexpected TRUE" ); /* Check outProcQ and headProcQ */ if (headProcQ(&qa) != maxproc) adderrbuf("ERROR: headProcQ(qa) failed "); /* Removing an element from ProcQ */ q = outProcQ(&qa, proc); if ((q == NULL) || (q != proc)) adderrbuf("ERROR: outProcQ(&qa, proc) failed to remove the entry "); freePcb(q); /* Removing the first element from ProcQ */ q = removeProcQ(&qa); if (q == NULL || q != maxproc) adderrbuf("ERROR: removeProcQ(&qa, midproc) failed to remove the elements in the right order "); freePcb(q); /* Removing other 7 elements */ addokbuf(" Testing removeProcQ ... \n"); for (i = 0; i < 7; i++) { if ((q = removeProcQ(&qa)) == NULL) adderrbuf("removeProcQ(&qa): unexpected NULL "); freePcb(q); } // Removing the last element q=removeProcQ(&qa); if (q != minproc) adderrbuf("ERROR: removeProcQ(): failed on last entry "); freePcb(q); if (removeProcQ(&qa) != NULL) adderrbuf("ERROR: removeProcQ(&qa): removes too many entries "); if (!emptyProcQ(&qa)) adderrbuf("ERROR: emptyProcQ(qa): unexpected FALSE "); addokbuf(" Test insertProcQ(), removeProcQ() and emptyProcQ(): OK \n"); addokbuf(" Test process queues module: OK \n"); addokbuf(" Testing process trees...\n"); if (!emptyChild(procp[2])) adderrbuf("ERROR: emptyChild: unexpected FALSE "); /* make procp[1],procp[2],procp[3], procp[7] children of procp[0] */ addokbuf("Inserting... \n"); insertChild(procp[0], procp[1]); insertChild(procp[0], procp[2]); insertChild(procp[0], procp[3]); insertChild(procp[0], procp[7]); addokbuf("Inserted 2 children of pcb0 \n"); /* make procp[8],procp[9] children of procp[7] */ insertChild(procp[7], procp[8]); insertChild(procp[7], procp[9]); addokbuf("Inserted 2 children of pcb7 \n"); if (emptyChild(procp[0])) adderrbuf("ERROR: emptyChild(procp[0]): unexpected TRUE "); if (emptyChild(procp[7])) adderrbuf("ERROR: emptyChild(procp[0]): unexpected TRUE "); /* Check outChild */ q = outChild(procp[1]); if (q == NULL || q != procp[1]) adderrbuf("ERROR: outChild(procp[1]) failed "); q = outChild(procp[8]); if (q == NULL || q != procp[8]) adderrbuf("ERROR: outChild(procp[8]) failed "); /* Check removeChild */ q = removeChild(procp[0]); if (q == NULL || q != procp[2]) adderrbuf("ERROR: removeChild(procp[0]) failed "); q = removeChild(procp[7]); if (q == NULL || q != procp[9]) adderrbuf("ERROR: removeChild(procp[7]) failed "); q = removeChild(procp[0]); if (q == NULL || q != procp[3]) adderrbuf("ERROR: removeChild(procp[0]) failed "); q = removeChild(procp[0]); if (q == NULL || q != procp[7]) adderrbuf("ERROR: removeChild(procp[0]) failed "); if (removeChild(procp[0]) != NULL) adderrbuf("ERROR: removeChild(): removes too many children "); if (!emptyChild(procp[0])) adderrbuf("ERROR: emptyChild(procp[0]): unexpected FALSE "); addokbuf("Test: insertChild(), removeChild() and emptyChild() OK \n"); addokbuf("Testing process tree module OK \n"); freePcb(procp[0]); freePcb(procp[1]); freePcb(procp[2]); freePcb(procp[3]); freePcb(procp[4]); freePcb(procp[5]); freePcb(procp[6]); freePcb(procp[7]); freePcb(procp[8]); freePcb(procp[9]); /* check ASL */ initASL(); addokbuf("Initializing active semaphore list \n"); /* check removeBlocked and insertBlocked */ addokbuf(" Test insertBlocked(): test #1 started \n"); for (i = 10; i < MAXPROC; i++) { procp[i] = allocPcb(); if (insertBlocked(i, procp[i])) adderrbuf("ERROR: insertBlocked() test#1: unexpected TRUE "); } addokbuf("Test insertBlocked(): test #2 started \n"); for (i = 0; i < 10; i++) { procp[i] = allocPcb(); if (insertBlocked(i, procp[i])) adderrbuf("ERROR:insertBlocked() test #2: unexpected TRUE "); } /* check if semaphore descriptors are returned to the free list */ p = removeBlocked(11); if (insertBlocked(11,p)) adderrbuf("ERROR: removeBlocked(): fails to return to free list "); if (insertBlocked(MAXPROC+1, procp[9]) == FALSE) adderrbuf("ERROR: insertBlocked(): inserted more than MAXPROC "); addokbuf("Test removeBlocked(): test started \n"); for (i = 10; i< MAXPROC; i++) { q = removeBlocked(i); if (q == NULL) adderrbuf("ERROR: removeBlocked(): wouldn't remove "); if (q != procp[i]) adderrbuf("ERROR: removeBlocked(): removed wrong element "); } if (removeBlocked(11) != NULL) adderrbuf("ERROR: removeBlocked(): removed nonexistent blocked proc "); addokbuf("Test: insertBlocked() and removeBlocked() ok \n"); if (headBlocked(11) != NULL) adderrbuf("ERROR: headBlocked(): nonNULL for a nonexistent queue "); if ((q = headBlocked(9)) == NULL) adderrbuf("ERROR: headBlocked(1): NULL for an existent queue "); if (q != procp[9]) adderrbuf("ERROR: headBlocked(1): wrong process returned "); p = outBlocked(q); if (p != q) adderrbuf("ERROR: outBlocked(1): couldn't remove from valid queue "); /* Creating a 2-layer tree */ insertChild(procp[0], procp[1]); insertChild(procp[0], procp[2]); insertChild(procp[0], procp[3]); insertChild(procp[3], procp[4]); /* Testing outChildBlocked */ outChildBlocked(procp[0]); if (headBlocked(0) != NULL) adderrbuf("ERROR: outChildBlocked(): nonNULL for a nonexistent queue (0) "); if (headBlocked(1) != NULL) adderrbuf("ERROR: outChildBlocked(): nonNULL for a nonexistent queue (1) "); if (headBlocked(2) != NULL) adderrbuf("ERROR: outChildBlocked(): nonNULL for a nonexistent queue (2) "); if (headBlocked(3) != NULL) adderrbuf("ERROR: outChildBlocked(): nonNULL for a nonexistent queue (3) "); if (headBlocked(4) != NULL) adderrbuf("ERROR: outChildBlocked(): nonNULL for a nonexistent queue (4) "); if (headBlocked(5) == NULL) adderrbuf("ERROR: outChildBlocked(): NULL for an existent queue (5) "); addokbuf("Test headBlocked() and outBlocked(): OK \n"); addokbuf("ASL module OK \n"); addokbuf("So Long and Thanks for All the Fish\n"); return 0; }