CSY/reowolf Files · examples/eg_protocols.pdl · Centrum Wiskunde & Informatica (CWI)

Files @ d23010006486

Branch filter:

Location: CSY/reowolf/examples/eg_protocols.pdl

d23010006486 160 B text/plain Show Annotation Show as Raw Download as Raw

Christopher Esterhuyse

bugfix: increment round index on recovery to avoid mixing messages once we switch away from tcp. refactoring communication internals to simplify bookkeeping structures. more consts in tests to make them terser

primitive together(in ia, in ib, out oa, out ob){
  while(true) synchronous() {
    if(fires(ia)) {
      put(oa, get(ia));
      put(ob, get(ib));
    }
  }	
}