Tony Garnock-Jones
601d60adc3
Adapt to new ty-field records
2021-06-08 14:13:01 +02:00
Tony Garnock-Jones
468b6541f9
Yesterday's work on relay + TCP distribution
2021-06-08 09:33:56 +02:00
Tony Garnock-Jones
6f9ee4eb44
More emacs indentation config
2021-06-08 09:31:52 +02:00
Tony Garnock-Jones
8e866239a6
#:name for during*
2021-06-08 09:31:28 +02:00
Tony Garnock-Jones
bed381dd5e
Remove unwanted commented code
2021-06-08 09:30:38 +02:00
Tony Garnock-Jones
b22ed84bdb
Minor refactoring
2021-06-08 09:30:29 +02:00
Tony Garnock-Jones
5d1e266ea3
Improve error reporting on turn reuse
2021-06-08 09:30:04 +02:00
Tony Garnock-Jones
98486667f4
gen:custom-write for turn
2021-06-08 09:29:49 +02:00
Tony Garnock-Jones
5260370154
entity-data
2021-06-08 09:29:15 +02:00
Tony Garnock-Jones
e7153b9c6a
Truncate output of hmac-sha256 correctly
2021-06-08 09:28:48 +02:00
Tony Garnock-Jones
c18a2b2652
turn-committed?
2021-06-08 09:28:14 +02:00
Tony Garnock-Jones
eec5c59f84
Accommodate new preserves approach to (un)parsing embeddeds
2021-06-08 09:27:51 +02:00
Tony Garnock-Jones
3751c07de6
*dead-actor*, *dead-facet*, *dead-engine*
2021-06-08 09:24:25 +02:00
Tony Garnock-Jones
557a0fb499
actor-remove-exit-hook!
2021-06-08 09:23:23 +02:00
Tony Garnock-Jones
4c72ab11f4
Export actor-name and actor-engine
2021-06-08 09:22:50 +02:00
Tony Garnock-Jones
da0d2b8e61
attenuate-entity-ref as well as attenuate-sturdy
2021-06-08 09:21:54 +02:00
Tony Garnock-Jones
2d07e46c67
Fix and add copyright notices
2021-06-04 16:20:14 +02:00
Tony Garnock-Jones
7be7c36537
Merge branch 'main' into novy
2021-06-04 16:19:41 +02:00
Tony Garnock-Jones
2a360bff32
Adjust copyrights
2021-06-04 15:56:03 +02:00
Tony Garnock-Jones
c6d4d3acf1
Fix up copyright notices
2021-06-04 11:35:27 +02:00
855b7835f6
Added license header to each source code file
2021-06-04 11:13:49 +02:00
Tony Garnock-Jones
e85760e6d6
syndicate/sturdy.rkt
2021-06-04 00:05:04 +02:00
Tony Garnock-Jones
f1c3859a71
Put assertion-struct and message-struct back.
2021-06-03 23:32:22 +02:00
Tony Garnock-Jones
2a9cdfc5cc
!dump-registered-preserves-patterns!
2021-06-03 23:23:48 +02:00
Tony Garnock-Jones
b49178146d
Move box-protocol to a #lang preserves-schema module
2021-06-03 23:22:46 +02:00
Tony Garnock-Jones
d554c4ba8e
Move go.rkt and go2.rkt into the examples package
2021-06-03 22:54:36 +02:00
Tony Garnock-Jones
d648af920a
Restore syndicate-examples package; port box-and-client.rkt
2021-06-03 22:48:12 +02:00
Tony Garnock-Jones
7b600c51df
Emacs indentation support
2021-06-03 22:48:12 +02:00
Tony Garnock-Jones
a23047c26b
stop-when, stop-when-true, when retracted
2021-06-03 22:48:12 +02:00
Tony Garnock-Jones
50f6dfadc0
Pattern quasiquotation (!!!)
2021-06-03 22:48:12 +02:00
Tony Garnock-Jones
7bf0f17e8e
Repair missing argument in call to struct-label-and-arity
2021-06-03 22:48:11 +02:00
Tony Garnock-Jones
12df86ee74
Hash-table patterns
2021-06-03 22:48:11 +02:00
Tony Garnock-Jones
507f137c25
Fix templates of union schemas
2021-06-03 22:48:11 +02:00
Tony Garnock-Jones
7ce9166a5d
actor-system/dataspace
2021-06-03 22:48:11 +02:00
Tony Garnock-Jones
490f2d82db
Provide :pattern and :template by default
2021-06-03 22:48:11 +02:00
Tony Garnock-Jones
d6c29fc2e7
Immediate stop-facet continuation execution
2021-06-03 22:48:11 +02:00
Tony Garnock-Jones
22bd461cdc
Entity names
2021-06-03 22:48:11 +02:00
Tony Garnock-Jones
63720f80ba
Split out during*; new example go2.rkt
2021-06-03 17:02:20 +02:00
Tony Garnock-Jones
5d17a3bc58
Use actor names; extract reporting from box
2021-06-03 17:01:59 +02:00
Tony Garnock-Jones
defb65cd30
Actor names; debug tracing of actors
2021-06-03 17:01:26 +02:00
Tony Garnock-Jones
2fa1b033eb
Use :template in send!.
2021-06-03 16:07:25 +02:00
Tony Garnock-Jones
6b3988caf7
Repair during macro; use during in box/client example
2021-06-03 16:03:00 +02:00
Tony Garnock-Jones
4b1b2a9635
Proper skeleton-based dataspace
2021-06-03 15:59:17 +02:00
Tony Garnock-Jones
6fe14e09a5
Pattern decomposition
2021-06-03 15:58:48 +02:00
Tony Garnock-Jones
044860a3b5
Useful custom-write for entities
2021-06-03 15:57:28 +02:00
Tony Garnock-Jones
40310a0eb3
Split out dataspace.rkt
2021-06-02 15:00:25 +02:00
Tony Garnock-Jones
7a9f52b97c
Add missing layer in pattern generation
2021-06-02 13:41:30 +02:00
Tony Garnock-Jones
b77fe3efbc
Steps towards using :pattern/:template in syntax
2021-06-02 13:11:26 +02:00
Tony Garnock-Jones
fe6430abfd
Add :template
2021-06-02 12:50:21 +02:00
Tony Garnock-Jones
ac01ce4dfe
Work towards schema-to-pattern compiler
2021-06-02 12:37:36 +02:00
Tony Garnock-Jones
5c97661c73
Update schemas for new embedded syntax; steps toward pattern support
2021-06-02 06:57:48 +02:00
Tony Garnock-Jones
37bd64bf05
First attempt at novy syntax
2021-06-01 10:04:53 +02:00
Tony Garnock-Jones
35e1d24fde
Cope with nonexistent schemas/gen directory during setup
2021-06-01 10:02:41 +02:00
Tony Garnock-Jones
568f97c2f6
ref -> entity-ref
2021-06-01 10:01:10 +02:00
Tony Garnock-Jones
d4af09e1b9
Main submodule in go.rkt
2021-05-31 13:07:37 +02:00
Tony Garnock-Jones
a06b9d188a
Integrate dataflow
2021-05-31 13:05:37 +02:00
Tony Garnock-Jones
e5b87f5bb0
Cosmetic
2021-05-31 12:25:44 +02:00
Tony Garnock-Jones
bcbc660ff1
Make turns atomic, rather than reply-turn-per-event
2021-05-31 12:06:44 +02:00
Tony Garnock-Jones
caec6fc820
Daemon actors and go.rkt shutdown
2021-05-28 10:33:02 +02:00
Tony Garnock-Jones
3528391f12
Crude pseudo-dataspace, plus box-and-client
2021-05-28 09:57:11 +02:00
Tony Garnock-Jones
4eb43a158e
Progress
2021-05-27 11:41:11 +02:00
Tony Garnock-Jones
21bb695ac8
First program!
2021-05-27 11:28:10 +02:00
Tony Garnock-Jones
d1a1c967f7
First steps to an actual novy implementation
2021-05-27 10:36:35 +02:00
Tony Garnock-Jones
08c4980025
Move the bulk of the existing implementation out of the way
2021-05-27 10:34:35 +02:00
Tony Garnock-Jones
4b55742548
Published preserves on the package catalog
2021-05-16 11:38:14 +02:00
Tony Garnock-Jones
ec42282c69
Update for latest preserves API
2021-05-15 22:34:58 +02:00
Tony Garnock-Jones
3030d1959e
Use flow control to avoid being spammed by fast talkers
2020-06-10 13:38:26 +02:00
Tony Garnock-Jones
55f01cea3f
Placeholders no longer available in preserves
2020-06-10 12:06:10 +02:00
Tony Garnock-Jones
d300f24243
Update path to preserves package
2020-04-27 21:10:48 +02:00
Tony Garnock-Jones
c55e5924f7
Update commit names
2020-04-27 20:34:09 +02:00
Tony Garnock-Jones
f269c02c23
Rearrange for independent packages.
2020-04-27 20:27:48 +02:00
Tony Garnock-Jones
419e90e42f
server-session-connected avoids assert-lock of server-connected
2019-09-11 16:07:54 +01:00
Tony Garnock-Jones
0013c917b3
Update to new preserves API
2019-09-11 15:10:44 +01:00
Tony Garnock-Jones
c9c0d8bb09
Default TCP port 21369
2019-06-23 14:01:30 +01:00
Tony Garnock-Jones
976741cd49
Cope with echo-server minimart-benchmark test: flat new-connection cost
2019-06-21 16:43:59 +01:00
Tony Garnock-Jones
df6918bc6f
Remove out-of-date example expansions
2019-06-21 16:43:24 +01:00
Tony Garnock-Jones
751d8e104a
On start, only relay subs with active holders
2019-06-20 22:54:59 +01:00
Tony Garnock-Jones
6514e1731f
Must be able to disable heartbeats for testing
2019-06-20 12:19:45 +01:00
Tony Garnock-Jones
aef3490a20
Proper heartbeats
2019-06-20 11:55:29 +01:00
Tony Garnock-Jones
c122253681
Update HOWITWORKS.md
2019-06-18 18:01:40 +01:00
Tony Garnock-Jones
5923bdd3ce
Partial repair for a deep problem with visibility-restriction.
...
This change makes `during` work "atomically" across a communications
delay, by ensuring that a retracted assertion matching the `during`'s
pattern triggers the "stop on" clause in the expansion of the
`during`.
Some discussion of the change exists in the Journal and in my
notebook.
2019-06-18 17:56:09 +01:00
Tony Garnock-Jones
ff25f8b377
Cosmetic: indicate protocol grouping
2019-06-13 12:51:20 +01:00
Tony Garnock-Jones
68ba310327
Terminate federation link facet on receipt of Err
2019-06-13 12:51:11 +01:00
Tony Garnock-Jones
2512d68852
Repair error: an End was missing
2019-06-13 12:50:55 +01:00
Tony Garnock-Jones
c17eb4caa0
Improved error signalling
2019-06-12 00:23:39 +01:00
Tony Garnock-Jones
c0ff69f67e
Switch to federated-link-ready
2019-06-11 18:47:56 +01:00
Tony Garnock-Jones
be0dc5413b
Command-line control of nickname in server-chat-client
2019-06-11 18:34:25 +01:00
Tony Garnock-Jones
052be5c58e
Line-based buffering of stdout in server-chat-client
2019-06-11 18:34:14 +01:00
Tony Garnock-Jones
72b4326651
Turn-based federation and client/server protocol
2019-06-11 18:33:37 +01:00
be8fefaf4d
Bag no longer used in federation
2019-05-23 11:13:47 +01:00
921265d2f3
Repair ws-recv usage; requires rfc6455 package v2.0 or newer
2019-05-22 23:45:15 +01:00
58231b253f
Clean up empty entries in subscription-matches
2019-05-20 22:07:02 +01:00
e03c8267dd
Update federation to match latest paper-journal work: proper propagation of Add/Del
2019-05-20 21:49:19 +01:00
8aaf1d1902
Improve distributed debug output
2019-05-20 21:45:40 +01:00
43a0578f19
Buffer uplink communications to give a chance for stateful entities at each end to initialise themselves before sending messages.
...
An alternative approach would be to reintroduce flow-control, which was
removed as part of commit 94e27e1
2019-05-16 23:14:39 +01:00
8daff63e8e
Fix (observe (server-envelope A B)) => (server-proposal A (observe B))
2019-05-16 23:13:56 +01:00
94e27e1cbc
Change federation protocol to be transport-neutral, carried via Syndicate itself
2019-05-16 22:28:42 +01:00
84361dcbaf
Move away from use of "broker"
2019-05-16 20:14:19 +01:00
6952aec992
Remove federation-prototype
2019-05-16 15:48:51 +01:00
cd2d7e428b
Close input/output ports in web.rkt once connection is logically over
2019-05-16 14:58:33 +01:00
025f101d09
Disconnect websocket service on error
2019-05-16 13:12:21 +01:00
c9b62c9a6d
Drain ws-ch in an additional, previously-overlooked case
2019-05-16 12:39:16 +01:00
22a517f1b5
Handle "Ping" requests from peers in federated mode
2019-05-16 12:38:26 +01:00
7ec9752f41
Accept and discard "Pong" replies from clients
2019-05-16 12:38:06 +01:00
af40134c53
Correct server websocket http-request pattern
2019-05-16 12:37:39 +01:00
ae97fb1d1e
Flow-controlled TCP (except in netstack); flow-controlled server/federation messages; fixes federation startup glitching
2019-05-12 13:07:38 +01:00
12650e2058
Repair test compilation
2019-05-09 11:43:41 +01:00
e9b1983408
Move command-line scripts into submodule main, so tests don't get stuck
2019-05-09 11:43:34 +01:00
7f7a6d03d8
Command-line programs for starting various kinds of server
2019-05-09 11:39:49 +01:00
386a66747e
Tweak logging levels
2019-05-09 11:39:49 +01:00
2b882cc10a
Integrate federation/peering with client/server code; almost but not quite working yet
2019-05-09 11:39:49 +01:00
0dca5bfbe3
Allow specification of host/port/scope in server-chat-client.rkt
2019-05-09 11:16:29 +01:00
88ec80487d
Remove unused definition
2019-05-07 14:06:06 +01:00
39906803b2
Move prototype federation code out of the way
2019-05-07 13:45:52 +01:00
cf92ae14c5
Select client/server scope on connect; stub out federation/peering; protocol error and disconnection support
2019-05-07 12:56:40 +01:00
0ac2bb768e
New "test" illustrating aspects of the turn-based approach taken
2019-05-07 12:07:30 +01:00
db523a8974
The Great Renaming broker -> server, part 2
2019-05-05 16:51:23 +01:00
f2b29a798a
The Great Renaming broker -> server, part 1
2019-05-05 16:37:03 +01:00
a08574a403
Remove unnecessary require
2019-05-05 15:58:01 +01:00
d5ff1dd007
Use definitions from wire-protocol.rkt in federation
2019-05-05 15:57:51 +01:00
aad3fb6866
Move federation protocol a step closer to client/server protocol
2019-05-05 15:54:28 +01:00
924512f7de
Make internal broker isolation protocol asymmetric, to support the needs of federation
2019-05-05 12:55:16 +01:00
a3a229532a
add-observer-endpoint!, add-raw-observer-endpoint!
2019-05-04 22:58:45 +01:00
dabc74976a
Refine output of tf.rkt
2019-05-04 22:48:37 +01:00
a86478b7b9
Remove unneeded #:capture-projection argument to term->skeleton-interest
2019-05-03 20:29:40 +01:00
40ee3b4ca7
Test and fix for observation visibility in broker
2019-05-03 17:53:24 +01:00
83c81fa293
Rename federation2.rkt -> federation.rkt
2019-05-03 13:45:05 +01:00
508e37171d
Bounce relay
2019-05-03 11:20:22 +01:00
ed7cf375ad
Only remove an entry from specs when no holders remain
2019-05-03 11:20:12 +01:00
736c9de3dc
Note on semantic difference
2019-05-03 10:32:16 +01:00
f847f3c049
Fix self- and peer-signalling of observation; generalize broker protocol to permit multiple uses of leaf2 on different nodes; printf -> log-info
2019-05-03 10:25:20 +01:00
38e3894a3d
Clean up conn-subs on Unsubscribe
2019-05-03 10:23:08 +01:00
1c2bd11373
Connect router to dataspace
2019-05-03 00:10:15 +01:00
79e8d54a51
Avoid silly use of macro
2019-05-02 23:12:02 +01:00
17d5b88784
Federation kernel
2019-05-02 15:59:25 +01:00
4fd2c9895c
Remove old, dead code
2019-04-25 12:58:48 +01:00
419bd093d1
Support transformations (e.g. rotation) in the scene prelude
2019-04-25 12:58:30 +01:00
759bbdf1c3
Add visibility-restriction, making the test pass
2019-03-25 16:32:09 +00:00
9e923e1c63
Failing test case: need visibility-restriction in broker clients
2019-03-25 12:16:30 +00:00
eb33fdbd59
Steps toward activation in test cases
2019-03-25 12:15:09 +00:00
a39bd458d9
Restructure broker protocol adapters; add loopback
2019-03-25 12:14:35 +00:00
25970d9f16
Split out server-connection.rkt
2019-03-24 17:17:26 +00:00
8a5d91a175
strong-gensym
2019-03-24 17:16:57 +00:00
025289500a
Configurable broker tcp/http ports
2019-03-22 12:51:59 +00:00
4732650041
module+ main in reload.rkt
2019-03-20 22:36:13 +00:00
63ea6a9d3a
extend-ground-boot!
2019-03-20 22:36:05 +00:00
3ff50a6f65
broker: client; ping for keepalive; client example
2019-03-18 23:29:12 +00:00
4e33429b19
tcp-rejected; reassert-on
2019-03-18 23:27:59 +00:00
fc43d5c4a0
Initial broker implementation
2019-03-18 15:34:14 +00:00
f4f3b67cdf
NOTICE support
2019-02-09 10:36:03 +00:00
94c66094e6
Cope with libpurple weirdness
2019-02-05 13:37:18 +00:00
21131dc02c
Force membership of channel on login
2019-02-05 13:37:04 +00:00
c5848e4c0b
PASS; better NICK collision avoidance
2019-02-05 13:30:18 +00:00
823754c8b5
Nested reloaders; simple greeter
2019-01-30 16:40:52 +00:00
28d7bd6653
Make reloaders in turn reloadable
2019-01-30 16:40:12 +00:00
8b516b0190
Filesystem driver: add background-activity signal
2019-01-30 16:39:13 +00:00
636055cbea
Scriptlet for starting a client
2019-01-29 23:08:04 +00:00
1e3e978e36
/LIST
2019-01-29 20:47:17 +00:00
7e2284ac11
User count; define/query-count
2019-01-29 20:47:06 +00:00
9c5d9768b4
Pinned channels
2019-01-29 20:46:38 +00:00
ed0307d4e5
Parity with the other version
2019-01-28 13:54:18 +00:00
bd5f2d8a1b
Ported ircd example to imperative-syndicate
2019-01-28 13:50:49 +00:00
60412bd6f2
config driver
2019-01-28 13:47:29 +00:00
832adc94c0
Enable immediate-query
2019-01-28 13:46:54 +00:00
e72e22f250
tcp-connection-peer
2019-01-28 01:14:58 +00:00
23580010bb
Supervision and reloading
2019-01-28 01:14:33 +00:00
636ca9acf7
Note in HOWITWORKS about `opaque-placeholder`.
2018-11-20 13:22:44 +00:00
937bb7a7c4
Identify, expose, and repair bug (using the new `opaque-placeholder`)
2018-11-20 13:20:31 +00:00
6c1e3b033d
Support binary/text websocket payloads
2018-11-15 06:49:31 +00:00
93371894a0
Repair longstanding, subtle bug in both old- and new-syndicate.
...
during/spawn used not to add linkage assertions to its
initial-assertion set. In addition, if a spawned actor died in its
initial boot procedure, its initial assertions would never be visible.
These two problems interlocked to cause a space leak in during/spawn,
where monitoring facets would never be cleaned up.
This change does two things:
- adds linkage assertions to the initial-assertion set in during/spawn
- properly briefly signals initial-assertions even when a new actor
immediately crashes.
Together, these repair the space leak in during/spawn with a crashy
child startup procedure.
2018-11-04 13:43:17 +00:00
45f638ebae
Silly mistake
2018-11-02 15:09:20 +00:00
9571125f3b
More notes
2018-11-02 12:18:44 +00:00
fb195eb9b7
Improve (?) test ergonomics.
2018-11-02 12:15:21 +00:00
7f14dd900c
Detect and repair error in error-handling and -recovery.
2018-11-02 12:15:04 +00:00
bc4fb5ef94
Ensure patched assertions are added before being removed, to avoid glitching
2018-11-02 00:38:40 +00:00
22b4f965b9
Separate out narration
2018-10-24 16:14:54 +01:00
84298d5571
The problem specifies 10 elves
2018-10-24 14:29:10 +01:00
838bde3740
Supply #f as cleanup function in multicast udp-dataspace, instead of void; notes on cleanup functions and visibility-restrictions
2018-10-24 13:21:20 +01:00
6ba3734d9d
Santa Claus Problem, in Syndicate/rkt
2018-10-24 11:40:16 +01:00
4ddcdfb6a9
Present-to-absent check is necessary in assertion removal handler
2018-10-21 13:32:06 +01:00
02181354dd
Tweaks
2018-10-21 01:04:05 +01:00
db563fc309
Minor corrections and tweaks
2018-10-21 00:59:38 +01:00
836bae0e27
First JavaScript steps, based on HOWITWORKS.md
2018-10-21 00:58:40 +01:00
a178ec5ddf
Update to explain the "dummy" outermost wrapper constructor
2018-10-20 21:54:58 +01:00
035eb06a9d
Nope, unsafe-struct-ref is still not measurably faster than the safe variants
2018-10-20 21:47:47 +01:00
a5d147e277
Avoid a few gratuitous conversions during `skeleton-modify!`.
2018-10-20 21:42:38 +01:00
b511e640bd
Minor tweak
2018-10-20 19:52:37 +01:00
cbf5224599
Remove superfluous update-path helper
2018-10-20 19:13:07 +01:00
6e06c4d502
Fix bug exposed by previous commit
2018-10-20 19:09:25 +01:00
8ff6dc5ff8
Eliminate one set of dummy wrappers
2018-10-20 18:27:15 +01:00
0c701809e1
Describe how the efficient index structure works
2018-10-14 21:25:13 +01:00
d497d9e6d1
Split out preserves into its own repository
2018-09-29 17:22:34 +01:00
2c03883b00
SOH-prefixed embedded format considered harmful
2018-09-29 00:07:49 +01:00
268afe8a40
Notes on embedded binary values
2018-09-29 00:04:56 +01:00
348cb3e2a2
Notes on NaNs
2018-09-28 11:48:58 +01:00
b0de674117
Grammar
2018-09-28 11:12:58 +01:00
9c38509973
Typo
2018-09-28 11:12:53 +01:00
4187ccb77d
Clarification
2018-09-28 11:12:35 +01:00
4f65284ef9
More tests and fixes
2018-09-28 11:00:50 +01:00
d27f9cb7cc
Disallow whitespace between a label and its open-parenthesis
2018-09-28 11:00:40 +01:00
Tony Garnock-Jones
Massimo Zaniboni
Tony Garnock-Jones