Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Annotation of /branches/lamont/src/compiler/c-target/fragments/seq-run.in
ViewVC logotype

Annotation of /branches/lamont/src/compiler/c-target/fragments/seq-run.in

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1917 - (view) (download)
Original Path: branches/vis12/src/compiler/c-target/fragments/seq-run.in

1 : jhr 1826 //! Run the Diderot program (sequential version)
2 : jhr 1717 //! \param wrld the world-state of the Diderot program
3 :     //! \param maxNSteps the limit on the number of super steps; 0 means unlimited
4 :     //! \return the number of steps taken.
5 :     uint32_t @PREFIX@Run (@PREFIX@World_t *wrld, uint32_t maxNSteps)
6 :     {
7 :     Strand_t *strand = &(wrld->strandDesc[0]);
8 : jhr 1806 @PREFIX@Globals_t *glob = wrld->globals;
9 : jhr 1717
10 :     if (maxNSteps == 0) maxNSteps = 0xffffffff; // essentially unlimited
11 :    
12 :     // iterate until all strands are stable
13 :     if (wrld->verboseFlg) fprintf(stderr, "run with %d strands ...\n", wrld->numStrands);
14 :     uint32_t nSteps = 0, nUpdates = 0;
15 : jhr 1917 uint32_t nActive = wrld->numActive;
16 : jhr 1916 while ((nActive > 0) && (nSteps < maxNSteps)) {
17 : jhr 1717 nSteps++;
18 :     // update strands
19 :     bool existsStabilizing = false;
20 :     for (int i = 0; i < wrld->numStrands; i++) {
21 :     if (! wrld->status[i]) {
22 :     nUpdates++;
23 : jhr 1807 // StrandStatus_t sts = strand->update(glob, wrld->inState[i], wrld->outState[i]);
24 :     StrandStatus_t sts = @STRAND@_Update(glob, wrld->inState[i], wrld->outState[i]);
25 : jhr 1717 switch (sts) {
26 :     case DIDEROT_STABILIZE:
27 :     existsStabilizing = true;
28 :     wrld->status[i] = DIDEROT_STABILIZE;
29 :     break;
30 :     case DIDEROT_DIE:
31 :     wrld->status[i] = DIDEROT_DIE;
32 :     nActive--;
33 :     break;
34 :     default:
35 :     break;
36 :     }
37 :     }
38 :     }
39 :     if (existsStabilizing) {
40 :     for (int i = 0; i < wrld->numStrands; i++) {
41 :     // NOTE: we may want to compact the array of strands
42 :     if (wrld->status[i] == DIDEROT_STABILIZE) {
43 :     // stabilize the strand's state. Note that the outState has been set by
44 :     // the last call to update, so we make the inState be the target of the
45 :     // stabilize method.
46 : jhr 1807 // strand->stabilize(glob, wrld->outState[i], wrld->inState[i]);
47 :     @STRAND@_Stabilize(glob, wrld->outState[i], wrld->inState[i]);
48 : jhr 1717 memcpy (wrld->outState[i], wrld->inState[i], strand->stateSzb);
49 :     wrld->status[i] = DIDEROT_STABLE;
50 :     nActive--;
51 :     }
52 :     }
53 :     }
54 :     // swap in and out
55 :     @STRANDTY@ **tmp = wrld->inState;
56 :     wrld->inState = wrld->outState;
57 :     wrld->outState = tmp;
58 :     }
59 : jhr 1917 wrld->numActive = nActive;
60 : jhr 1717
61 :     return nSteps;
62 :    
63 :     } // @PREFIX@Run

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0