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

Changelog - /src/common.rs @ 98aadfccbafd - showing 48 out of 48 revisions

MH	98aadfccbafd	4 years ago	solving problem of connectors shutting down
MH	cc8030b35903	4 years ago	more WIP on runtime revisiting
MH	fe0efc81bd4e	4 years ago	Implement binding evaluation and tests
mh	3845071002b0	4 years ago	reorganization of evaluator, WIP on hooking up to old system
MH	03af3095927d	4 years ago	remove (de)serialization of AST for now
Christopher Esterhuyse	c2b16314e873	5 years ago	cleanup of unused code
Christopher Esterhuyse	9f8f7a65f90d	5 years ago	simplified setup procedure's reconnection business. got rid of the finicky waker and waker token, instead relying on simple arithmetic for the timeout. more doc comments in setup and endpoint modules
Christopher Esterhuyse	66513c4f112d	5 years ago	more comments and simplification
Christopher Esterhuyse	d76b1fe2648f	5 years ago	mild cleanup and major fleshing out of doc comments
Christopher Esterhuyse	330b9c117fa5	5 years ago	started refactor (safe state). goals: clarify ownership. make cu immutable while round is fallable. distinguish routing from ownership
Christopher Esterhuyse	9485a0862e90	5 years ago	cleaner logging, and more options for connector creation exposed to C API
Christopher Esterhuyse	ef64fd0cdb07	5 years ago	correctly merging protocol component branches: forks that create existing predicates MERGE the results, combining their inboxes s.t. there is no race condition on the order of received messages
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	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	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	d67249fd4593	5 years ago	logging using hex, less glob imports, and endpoint_logging feature flag
Christopher Esterhuyse	bd16d99233dd	5 years ago	added endpoint->port field to session transform structure v0.4.0
Christopher Esterhuyse	db17da820a3b	5 years ago	pruned dependencies. cleaned up visibility
Christopher Esterhuyse	4c9116f4253b	5 years ago	misc visibility and field cleanup
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	1ae65b0b574e	5 years ago	more ffi
Christopher Esterhuyse	d600dd299dde	5 years ago	additional FFI
Christopher Esterhuyse	175721d796d7	5 years ago	Included more fields in session optimization
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	e7b7d53e6952	5 years ago	more tests
Christopher Esterhuyse	1e7064d79bdb	5 years ago	added put. extra tests
Christopher Esterhuyse	8642f7a7bf01	5 years ago	communication phase under reconstruction
Christopher Esterhuyse	cecf94fdb875	5 years ago	simplified approach to the piecewise acquisition of port info. starting to reintegrate communication phase
Christopher Esterhuyse	1bacc6467d19	5 years ago	rebuilding setup phase. logging is vastly improved
Christopher Esterhuyse	44a98be4e4b4	5 years ago	beginning large overhaul: moving to globally-unique ports & port -> endpoint route mappings
Christopher Esterhuyse	b8c262d37323	5 years ago	component states now implement deserialize
Christopher Esterhuyse	3f236d37dad1	5 years ago	pulled out arena-id dependency in favour of custom (minimal) impl, and to finish making component states serializable with serde
Christopher Esterhuyse	5c858bc28930	5 years ago	incremental setup procedure in progress
Christopher Esterhuyse	dedf89df1602	5 years ago	retiring `Endpoint Key` term in favor of port
Christopher Esterhuyse	f52ad0660a73	5 years ago	payload COW pattern
Christopher Esterhuyse	02eb59c6fd66	5 years ago	introduced new Payload type
Christopher Esterhuyse	0a71d0af9edf	5 years ago	histories
Christopher Esterhuyse	adb23c484182	5 years ago	component and port storages on 2 axes
Christopher Esterhuyse	8ea9f0e9a5ab	5 years ago	fusing ports and keys
Christopher Esterhuyse	4976f1816f47	5 years ago	trying out a matrix representation for components
Hans-Dieter Hiep	3af8b6eaec1b	5 years ago	Implement change to protocol description trait interface
Christopher Esterhuyse	81a2e2e2be13	5 years ago	api
Christopher Esterhuyse	5137b1060291	5 years ago	api
Christopher Esterhuyse	3f0b1a4ef61f	5 years ago	api change
Christopher Esterhuyse	7b826a4cebeb	5 years ago	logging
Christopher Esterhuyse	06f259bf8031	5 years ago	first