CSY/reowolf Changelog /src/runtime/tests.rs · Centrum Wiskunde & Informatica (CWI)

Changelog - /src/runtime/tests.rs @ 8278ae29364e - showing 27 out of 27 revisions

Christopher Esterhuyse	8278ae29364e	5 years ago	adopt Reo's naming conventions for canonical protocols, e.g., replicator2
Christopher Esterhuyse	391565779bfa	5 years ago	fifo full test
Christopher Esterhuyse	1db6ec21a437	5 years ago	more elegant on-demand native branch indexing with a speculative var
Christopher Esterhuyse	700221108e9f	5 years ago	socket api relaxed. bind and connect in any order. bind once and connect any number of times
Christopher Esterhuyse	ba016c86a2ac	5 years ago	extra tests and cleanup
Christopher Esterhuyse	6c04a99de862	5 years ago	fleshed out socket api. did bugfix: proto components remember whether they did put/get
Christopher Esterhuyse	7f75e1f23836	5 years ago	bugfix: regression from previous vers: proto components correctly enforce that each of their ports' firing variables are assigned FIRING iff that port put or get during the round
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	bdcf814bde8c	5 years ago	first step toward socket-mimicking FFI
Christopher Esterhuyse	fd68eb8aabd0	5 years ago	bidirectional udp endpoints in
Christopher Esterhuyse	0131beae03dc	5 years ago	udp sending and receiving
Christopher Esterhuyse	cf50a74eafd7	5 years ago	setup of udp endpoints partially done
Christopher Esterhuyse	ada07cee1f99	5 years ago	refactored the endpoint manager to support sending and receiving of messages. moved some behavior from src/runtime/communication to src/runtime/endpoints
Christopher Esterhuyse	d23010006486	5 years ago	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
Christopher Esterhuyse	869d51fc1127	5 years ago	refactored predicate methods to be more intuitive
Christopher Esterhuyse	07b6791e8eb0	5 years ago	bumped up bincode dependency version. using varint decoding everywhere to shrink msg lengths
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	aebcee16d6bc	5 years ago	fixed cyclic routing bug. Was actually a one-liner
Christopher Esterhuyse	a6f53f74e58c	5 years ago	fixed bug: failed to restore !sync_batches.is_empty() invariant when the native is immediately inconsistent
Christopher Esterhuyse	63f3efc9c886	5 years ago	more logging, tests and comments. re-implemented checking for consistency for natives (eagerly) and proto components (after run_to_blocker). deduplicated each connector's failure requests toward the sink
Christopher Esterhuyse	b20c3a55156d	5 years ago	dummy scatter/gather wave in
Christopher Esterhuyse	41bf21c39c5b	5 years ago	better testing and logging
Christopher Esterhuyse	65390fb1cdbc	5 years ago	bugfixing and rewrote dist algs to be more readable
Christopher Esterhuyse	d1a70dfdafba	5 years ago	more robust error handling
Christopher Esterhuyse	e7b7d53e6952	5 years ago	more tests
Christopher Esterhuyse	a3ca8e491622	5 years ago	introduced cyclic drain. working on proto comm phase
Christopher Esterhuyse	a34c55297ac2	5 years ago	native -> native messaging working