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

Changelog - /examples/eg_protocols.pdl @ a3c92705eeee - showing 6 out of 6 revisions

Christopher Esterhuyse	a3c92705eeee	5 years ago	bugfix: native component branch forks that clash are MERGED rather than overwritten. Avoids race condition where (1) branch x ends and submits a solution, (2) branch y is created, has same predicate as x and overwrites it, but has a subset of its messages, (3) round ends in success but branch x is gone, so no suitable native branch is found
Christopher Esterhuyse	d9774c9084d7	5 years ago	more logging, testing, examples and bugfixes: (1) components remember whether they have submitted a solution; only those are considered when selecting a branch at the end of a round, (2) retrying active connections during setup phase were using the wrong index for looking up their TODO structure, (3) recently failed connections are deregistered from mio and reregistered after the retry process restarts s.t. they don't produce a storm of mio events
Christopher Esterhuyse	1ae65b0b574e	5 years ago	more ffi
Christopher Esterhuyse	a286c28bcdcf	5 years ago	new examples
Christopher Esterhuyse	7e4b7b7026e6	5 years ago	simplified examples and added more user interaction
Christopher Esterhuyse	1f2d007ac1cc	5 years ago	fleshed out examples