Changelog - showing 100 out of 559 revisions
revisions
Branch filter:
mh 379cffa23df8
4 years ago
WIP on type table
mh 33ea10021de4
4 years ago
refactored identifiers, initial symbol table implementation
mh 814be01095d9
4 years ago
implement module/version pragma, WIP on visitor rewrite
mh ddacf35e9373
4 years ago
move parser into own subdir
mh 36d5a586a102
4 years ago
tiny performance improvements
mh fbd1526bae2c
4 years ago
modifications to make lexer/parser play nice again
Christopher Esterhuyse 0dd2396ebef5
5 years ago
readme update with zenodo link
v1.0.0
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 966ebed86908
5 years ago
simplified the cyclic drainer because it was unnecessarily complex. added a unit test. added some future-proofing for corner case protocols
Christopher Esterhuyse 498c402affb3
5 years ago
ignoring fallable UDP tests by default
Christopher Esterhuyse b972060a1f92
5 years ago
more optimization-stage benchmarking examples
Christopher Esterhuyse 0b5fa1cf6ccf
5 years ago
more detailed doc comments
Christopher Esterhuyse 528578bffb3f
5 years ago
mild refactor of setup procedure's outermost function; more information is available to the session optimization step, and its easier to understand how invariants are preserved
Christopher Esterhuyse a7abc31e051f
5 years ago
cleaned up some redundant logging macros
Christopher Esterhuyse ef80a75d0e6b
5 years ago
minor simplifications
Christopher Esterhuyse 5ed4a5524548
5 years ago
Goodbye, Nagle
Christopher Esterhuyse 6b16dfa47a49
5 years ago
more benchmarks and some more error cases
Christopher Esterhuyse 9ed6d091a817
5 years ago
more benchmarks and some more error cases
Christopher Esterhuyse 7419ad308a55
5 years ago
more benchmarking cases. clearer PDL eval errors
Christopher Esterhuyse 3adc38e5fd32
5 years ago
more benchmarking cases. clearer PDL eval errors
Christopher Esterhuyse d5c0b4fdc19b
5 years ago
more robust test dir creation
Christopher Esterhuyse da83a41b2450
5 years ago
added new benchmarking cases
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 c9ffd6e7ade5
5 years ago
more safety assertions, some minor cleanup, and major commenting
Christopher Esterhuyse c170b58f95b1
5 years ago
more safety assertions, some minor cleanup, and major commenting
Christopher Esterhuyse 66513c4f112d
5 years ago
more comments and simplification
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 a5c3b27c535e
5 years ago
shortened names
Christopher Esterhuyse eb8a579782ef
5 years ago
xrouter2 unit test added
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 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 27ba74fbac9f
5 years ago
made the (static) logging more modular in preparation for benchmarking
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 673882671c9a
5 years ago
more readmes. cleaned up the examples directory and cleaned up some warnings
v0.5.0
Christopher Esterhuyse e0e85e311321
5 years ago
updated readme
Christopher Esterhuyse b826e300c566
5 years ago
cleaned up warnings
Christopher Esterhuyse 90965e662451
5 years ago
concrete socket addresses
Christopher Esterhuyse 18a1548e4a31
5 years ago
fleshed out interop examples with concrete socket addresses
Christopher Esterhuyse 8df425c3752e
5 years ago
cleaned up examples for compilation on linux
Christopher Esterhuyse 4bf1367cd8a1
5 years ago
decluttered global namespace of consts in C FFI. added examples for interop programming
Christopher Esterhuyse a9fb2e3e41d9
5 years ago
added interop header file and test programs. Testing on linux TODO
Christopher Esterhuyse ca2fee316732
5 years ago
fixing merge conflict
Christopher Esterhuyse 70e2e44574a6
5 years ago
added minor util + doc comments to connector API
Christopher Esterhuyse db1798f3905e
5 years ago
mutex in stead of rwlocking
Christopher Esterhuyse c9b0aaff86e5
5 years ago
fixed from cargo check on linux
Christopher Esterhuyse 7e252436097c
5 years ago
pseudo-socket API mirrors the phases of the connector
Christopher Esterhuyse 526b221270eb
5 years ago
tightened visibility. cleaned up and simplified UDP mediator components
Christopher Esterhuyse 4ef99b52a75d
5 years ago
tightened visibility. cleaned up and simplified UDP mediator components
Christopher Esterhuyse e223cf27bf2e
5 years ago
fixed botched branch merge
Christopher Esterhuyse 7175e8b0e1e8
5 years ago
restricted pseudo-socket API to connection-oriented API
Christopher Esterhuyse 1f3007fd929e
5 years ago
restricted pseudo-socket API to connection-oriented API
Christopher Esterhuyse 48cedf26fcaa
5 years ago
correctly checking for null message and addr out-pointers
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 7312e716cb6a
5 years ago
Merge branch 'master' of https://scm.cwi.nl/FM/reowolf
Christopher Esterhuyse cef38284c738
5 years ago
merge
Christopher Esterhuyse c8994576abce
5 years ago
pseudo-socket api
Christopher Esterhuyse fdc328afed95
5 years ago
adapted examples to platform independent ffi. toward linux-specific pseudo-socket API
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 20e64ced68b1
5 years ago
reversed a predicate simplification; turns out to break the mutual inconsistency property of native branches in some corner cases where 3+ branches have colliding predicates
Christopher Esterhuyse 1db6ec21a437
5 years ago
more elegant on-demand native branch indexing with a speculative var
Christopher Esterhuyse b747c570a11c
5 years ago
nested rw locks
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 ba016c86a2ac
5 years ago
extra tests and cleanup
Christopher Esterhuyse ebd352ab717e
5 years ago
smarter (safe) caching and reuse of temporary map structures during the sync round
Christopher Esterhuyse 6c04a99de862
5 years ago
fleshed out socket api. did bugfix: proto components remember whether they did put/get
Christopher Esterhuyse 890f6ae420c2
5 years ago
added example cases to mirror the presentation examples 1-5
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 7b9df91324ad
5 years ago
fixed unintentional name collisions in socket-micking API
Christopher Esterhuyse 4db4ea6f0eb3
5 years ago
misc ffi refactoring
Christopher Esterhuyse bdcf814bde8c
5 years ago
first step toward socket-mimicking FFI
Christopher Esterhuyse c5d7704e4e73
5 years ago
C api extended and cleaned up
Christopher Esterhuyse fd68eb8aabd0
5 years ago
bidirectional udp endpoints in
Christopher Esterhuyse 0131beae03dc
5 years ago
udp sending and receiving
Christopher Esterhuyse 1a61d3b3d964
5 years ago
setup procedure refactor and cleanup
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 2a1875efc62c
5 years ago
more refactoring. more rigor in distinction between recoverable / unrecoverable errors
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
Server instance: kalli-1039567 This site is powered by Kallithea, which is © 2010–2022 by various authors & licensed under GPLv3. – Support