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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/lib/main.c
ViewVC logotype

Diff of /branches/pure-cfg/src/lib/main.c

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1106, Wed May 4 21:01:25 2011 UTC revision 1107, Wed May 4 21:25:21 2011 UTC
# Line 51  Line 51 
51              if (wrld->isActive[i]) {              if (wrld->isActive[i]) {
52                  nUpdates++;                  nUpdates++;
53                  StrandStatus_t sts = Diderot_Strands[0]->update(wrld->inState[i], wrld->outState[i]);                  StrandStatus_t sts = Diderot_Strands[0]->update(wrld->inState[i], wrld->outState[i]);
54                  switch (sts)                  switch (sts) {
55                    case DIDEROT_STABILIZE:                    case DIDEROT_STABILIZE:
56                    // copy out to in so that both copies are the stable state                    // copy out to in so that both copies are the stable state
57  // FIXME: there is a race condition here, since other strands might query this strand  // FIXME: there is a race condition here, since other strands might query this strand
# Line 60  Line 60 
60                      nActive--;                      nActive--;
61                      break;                      break;
62                    case DIDEROT_DIE:                    case DIDEROT_DIE:
63    // FIXME: need more than booleans here, since we have to differentiate between dead and stable strands
64                      wrld->isActive[i] = false;                      wrld->isActive[i] = false;
65                      nActive--;                      nActive--;
66                      break;                      break;

Legend:
Removed from v.1106  
changed lines
  Added in v.1107

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