4 ----------------------------------------------------------------------
6 Have list of parameters w/ flag/tag specifications
7 Flag/Tag transitions at task exit
8 -----------------------------------------------------------------------
10 How do we efficiently do task dispatch?
14 Build static state transition diagram : explore full space for now
15 Then for each state transition we consider:
16 1) What task activations have we added
17 2) What task activations have we removed
18 Collapse state transition diagram to
21 Tags - search once we match a flag
26 trigger role specification for tasks:
27 role mutator operation:
31 Role transition diagram
50 tag tag2=incrementtag(tag tag1);
55 task foo(type1 o1{role1||role2}, type2 o2{role3}) {
57 exit(o1{role1'=false},o2{role3'=false},onew{role4=true});