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 2095 - (view) (download)

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 : lamonts 2088 @BUILD_GRID@
15 : jhr 1717 uint32_t nSteps = 0, nUpdates = 0;
16 : jhr 1917 uint32_t nActive = wrld->numActive;
17 : jhr 1916 while ((nActive > 0) && (nSteps < maxNSteps)) {
18 : jhr 1717 nSteps++;
19 :     // update strands
20 :     bool existsStabilizing = false;
21 :     for (int i = 0; i < wrld->numStrands; i++) {
22 :     if (! wrld->status[i]) {
23 :     nUpdates++;
24 : jhr 1807 // StrandStatus_t sts = strand->update(glob, wrld->inState[i], wrld->outState[i]);
25 : lamonts 2095 StrandStatus_t sts = @STRAND@_Update(glob, wrld->inState[i], wrld->outState[i],wrld->inState);
26 : jhr 1717 switch (sts) {
27 :     case DIDEROT_STABILIZE:
28 :     existsStabilizing = true;
29 :     wrld->status[i] = DIDEROT_STABILIZE;
30 :     break;
31 :     case DIDEROT_DIE:
32 :     wrld->status[i] = DIDEROT_DIE;
33 :     nActive--;
34 :     break;
35 :     default:
36 :     break;
37 :     }
38 :     }
39 :     }
40 :     if (existsStabilizing) {
41 :     for (int i = 0; i < wrld->numStrands; i++) {
42 :     // NOTE: we may want to compact the array of strands
43 :     if (wrld->status[i] == DIDEROT_STABILIZE) {
44 :     // stabilize the strand's state. Note that the outState has been set by
45 :     // the last call to update, so we make the inState be the target of the
46 :     // stabilize method.
47 : jhr 1807 // strand->stabilize(glob, wrld->outState[i], wrld->inState[i]);
48 :     @STRAND@_Stabilize(glob, wrld->outState[i], wrld->inState[i]);
49 : jhr 1717 memcpy (wrld->outState[i], wrld->inState[i], strand->stateSzb);
50 :     wrld->status[i] = DIDEROT_STABLE;
51 :     nActive--;
52 :     }
53 :     }
54 :     }
55 :     // swap in and out
56 :     @STRANDTY@ **tmp = wrld->inState;
57 :     wrld->inState = wrld->outState;
58 :     wrld->outState = tmp;
59 :     }
60 : jhr 1917 wrld->numActive = nActive;
61 : jhr 1717
62 :     return nSteps;
63 :    
64 :     } // @PREFIX@Run

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