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

Changelog - /src/runtime/mod.rs @ 090935e00933 - showing 100 out of 102 revisions

MH	090935e00933	4 years ago	Remove debug logging
MH	d2cb5e59f7e9	4 years ago	Cleaning up some warnings
MH	c1b2442f23b2	4 years ago	Remove references to old runtime and stale code
MH	b69f417a9972	4 years ago	implement EvalError, slicing expression
MH	03af3095927d	4 years ago	remove (de)serialization of AST for now
MH	6ec2e0261a03	4 years ago	debugging type inference
Christopher Esterhuyse	466ab31e3998	5 years ago	covered corner case: moving a port into a component AFTER you prepare a port operation on it
Christopher Esterhuyse	c2b16314e873	5 years ago	cleanup of unused code
Christopher Esterhuyse	6a7d3acfcb5e	5 years ago	logging feature exposed for ease of use
Christopher Esterhuyse	ef80a75d0e6b	5 years ago	minor simplifications
Christopher Esterhuyse	d5c0b4fdc19b	5 years ago	more robust test dir creation
Christopher Esterhuyse	4bfd6d133687	5 years ago	more unit tests. minor bugfixes in protocol/eval
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	c4a5132773ce	5 years ago	cleanup and even more doc comments
Christopher Esterhuyse	c170b58f95b1	5 years ago	more safety assertions, some minor cleanup, and major commenting
Christopher Esterhuyse	d3835a56401d	5 years ago	flattened some structures for simplicity. added more internal doc comments
Christopher Esterhuyse	d76b1fe2648f	5 years ago	mild cleanup and major fleshing out of doc comments
Christopher Esterhuyse	f11006c1092d	5 years ago	sequencer 3 primitive and composite unit tests added
Christopher Esterhuyse	0c617cc162dd	5 years ago	conitnued continuing refactor (safe state) nonsyncprotocontext now correctly uses the rollback-safe current_state structure for modifying port information
Christopher Esterhuyse	7e100501dbde	5 years ago	continued refactor (safe state) connector internals are (mostly) read-only until the moment the round succeed, whereafter the changes to ports/connectors are committed by being folded in
Christopher Esterhuyse	5613956b43b0	5 years ago	refactor underway (safe state). TODO: immutable connector state until round succeeds
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	b826e300c566	5 years ago	cleaned up warnings
Christopher Esterhuyse	70e2e44574a6	5 years ago	added minor util + doc comments to connector API
Christopher Esterhuyse	4ef99b52a75d	5 years ago	tightened visibility. cleaned up and simplified UDP mediator components
Christopher Esterhuyse	1f3007fd929e	5 years ago	restricted pseudo-socket API to connection-oriented API
Christopher Esterhuyse	3028e66928d3	5 years ago	ffi corrections after testing
Christopher Esterhuyse	3801521d486d	5 years ago	more pseudo-socket FFI. now correctly supporting recvfrom and sendto. testing on linux todo
Christopher Esterhuyse	14c1a07d148a	5 years ago	pseudo-socket ffi WIP. made better FFI socketaddr struct for use in platform independent C. new reowolf.h accordingly.
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	3dc3c63ab47f	5 years ago	added hierarchal structure to connector fields such that fewer pointers to larger sub-structures must be passed around in tight loops of communication phase. Eg: NonSyncContext and SyncContext have shrunk substantially
Christopher Esterhuyse	6c04a99de862	5 years ago	fleshed out socket api. did bugfix: proto components remember whether they did put/get
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	702ecfb0e5e9	5 years ago	distinguished subtree_id (identifying a connector's child in the consensus tree) from Route, as with the addition of udp endpoints, they no longer coincide
Christopher Esterhuyse	162c3306c4af	5 years ago	laying the groundwork for introducing udp endpoints alongside the existing reowolf-net (over tcp) 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	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	07b6791e8eb0	5 years ago	bumped up bincode dependency version. using varint decoding everywhere to shrink msg lengths
Christopher Esterhuyse	db17da820a3b	5 years ago	pruned dependencies. cleaned up visibility
Christopher Esterhuyse	8296efe1f4dd	5 years ago	cbindgen fix
Christopher Esterhuyse	4c9116f4253b	5 years ago	misc visibility and field cleanup
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	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	1ae65b0b574e	5 years ago	more ffi
Christopher Esterhuyse	d600dd299dde	5 years ago	additional FFI
Christopher Esterhuyse	50630ed25c60	5 years ago	pruned old code. started reworking ffi. TODO cbindgen header generation
Christopher Esterhuyse	e4a68057bfbe	5 years ago	waker impl for setup phase connect. TODO test on Linux
Christopher Esterhuyse	175721d796d7	5 years ago	Included more fields in session optimization
Christopher Esterhuyse	b20c3a55156d	5 years ago	dummy scatter/gather wave in
Christopher Esterhuyse	fd175763a0f7	5 years ago	refactoring
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
Christopher Esterhuyse	842acacee86d	5 years ago	fleshing out native <-> native communication phase
Christopher Esterhuyse	3f6d45f84e76	5 years ago	trivial sync reintegrated. debug improvements. more logging
Christopher Esterhuyse	d5080183f27a	5 years ago	sync rewrite
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	10ae3589084a	5 years ago	defined endpoint manager; made explicit its invariants
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	4776bcc45b33	5 years ago	serde for protocol {component state, description} + start of v2 connector internals
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	5a55fa0450fd	5 years ago	cleanup
Christopher Esterhuyse	cd328e3f26d9	5 years ago	updating
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	557148ec2325	5 years ago	removed accidentally pushed dead code
Christopher Esterhuyse	e8655e939407	5 years ago	cleaned up
Christopher Esterhuyse	af5facdd41b1	5 years ago	generalized announcement to Decision enum, which also covers TIMEOUT case
Christopher Esterhuyse	bcfb0eaf7288	5 years ago	ye
Christopher Esterhuyse	0a71d0af9edf	5 years ago	histories
Christopher Esterhuyse	83fc840cf399	5 years ago	api v2
Christopher Esterhuyse	8ea9f0e9a5ab	5 years ago	fusing ports and keys
Christopher Esterhuyse	4469bd99f7a9	5 years ago	one buffer, multiple ranges
Christopher Esterhuyse	6471206c5c59	5 years ago	more
Christopher Esterhuyse	cc0baf0da727	5 years ago	properties as rows works much better
Christopher Esterhuyse	4976f1816f47	5 years ago	trying out a matrix representation for components
Christopher Esterhuyse	331ce29f6db7	5 years ago	bit wizardry
Christopher Esterhuyse	800041f16514	5 years ago	playing around with new predicate=>state,payload storages. toward faster querying but also toward deviation detection by way of intelligible error handling
Christopher Esterhuyse	aa88e65c3d92	5 years ago	exchange
Christopher Esterhuyse	ce6bcc0a0c26	5 years ago	more examples: protocol alternator, natives alternating
Christopher Esterhuyse	0fb83f27a238	5 years ago	fixed natives sometimes choosing incomplete branches as solutions
Christopher Esterhuyse	cc23d3cb40d3	5 years ago	natives working
Christopher Esterhuyse	1410a137843e	5 years ago	api
Christopher Esterhuyse	a226385adc2d	5 years ago	natives working
Christopher Esterhuyse	91c57e99c66e	5 years ago	logging
Christopher Esterhuyse	43f31542f6db	5 years ago	more debug prints on branch predicates
Christopher Esterhuyse	73604b87289d	5 years ago	more debug prints on branch predicates