9113d93acf
floating define test
2020-03-10 10:57:54 -04:00
65d14de735
track branching for each kind of effect in match
2020-03-10 10:57:35 -04:00
311108fbcf
typed flink: replace dataflow in job manager with internal events
2020-02-26 16:34:24 -05:00
01a544b0d9
Allow `define`d expressions to have effects
2020-02-26 14:50:35 -05:00
86258acc6c
improve function application error messages
2020-02-26 14:50:08 -05:00
b6c934b9f3
TODO: keep track of match branching
2020-02-25 16:16:19 -05:00
66226ac725
improve spawn error messages
2020-02-25 16:14:30 -05:00
772faec0bc
cleanup
2020-02-25 13:02:33 -05:00
99e53d9729
fix typed `or`
2020-02-24 15:10:59 -05:00
0074fcb566
flink: remove use of dataflow
2020-02-24 13:34:22 -05:00
5d5b827535
flink: replace a lot of dataflow in job manager with internal events
2020-02-21 15:49:46 -05:00
220d112393
fix bugs in internal events
2020-02-21 15:48:12 -05:00
e06eb1bfcf
Merge pull request #37 from stchang/behav
...
edit info files to enable raco test typed/
2020-02-10 08:49:05 -05:00
a6719eb124
edit info files to enable raco test typed/
2020-02-09 23:24:37 -05:00
39c54e77f3
new job manager role
2020-01-07 11:52:02 -05:00
555c41a153
task manager role
2019-12-31 13:55:59 -05:00
33ef42818d
fixup format of task performer spec
2019-12-30 17:13:29 -05:00
8afed87e99
stuff
2019-12-30 16:27:29 -05:00
f5331eb24f
typed flink: unify task-state and task-assignment, job and job-finished
2019-10-21 12:22:10 -04:00
80ebab5ed7
untyped flink: use interest as request for jobs
2019-10-16 16:21:00 -04:00
d29afb6679
untyped flink: unify task-assignment and task-state assertions
2019-10-16 16:13:19 -04:00
123037ba51
typed flink: streamline ids
2019-10-16 12:25:04 -04:00
5e61e9941b
untyped flink: finish streamlining ids, resolve dataflow issue
2019-10-15 11:40:55 -04:00
7374c8c506
untyped flink: work on streamlining ids, demonstrating dataflow issue
2019-10-15 11:16:46 -04:00
2610ceb541
untyped flink: fiddle with race in task manager
2019-10-10 13:45:33 -04:00
a8e890ab30
typed flink: associate task runners with a particular task manager
2019-10-10 13:44:38 -04:00
96daa7518a
add in-range
2019-10-10 13:43:59 -04:00
eb56a1006f
typed flink: task runners don't need a status
2019-10-03 16:09:40 -04:00
142206d8e3
typed define/dataflow
2019-10-03 15:24:31 -04:00
479ea2fc1f
associate task runners with a particular task manager
2019-10-01 16:44:43 -04:00
42d025cc7f
flink: task runners don't need a status
2019-10-01 10:12:31 -04:00
33b516b7a6
verify request/response property in leader-and-seller
2019-09-26 13:39:28 -04:00
2fa30c6066
fix bug in leader-and-seller
2019-09-26 13:39:01 -04:00
5ef44987ca
fiddling with spin
2019-09-24 09:52:41 -04:00
04e34c58ea
start cleaning up/streamlining flink
2019-08-26 11:09:35 -04:00
29f589d7c4
fix a couple bugs
2019-08-26 11:09:34 -04:00
443e1f9ac1
Label internal events & handlers with actor-unique IDs
2019-08-26 11:09:34 -04:00
4e2ae45b0b
initial take on supporting spawn actions in role graphs
2019-08-26 11:09:34 -04:00
8949193977
utilize define-spawns to clean up 7-GUIS examples
2019-08-26 11:09:34 -04:00
0e44970bef
Modify syndicate's module-begin to capture actions on the RHS of define
...
Example. consider a procedure that spawns an actor and then returns
some value relevant to communicating to that actor:
(define (spawn-an-actor)
(define name (gensym))
(spawn
(on (asserted (... name ...))
...)
...)
name)
And the module top level tries to boot and use this actor with a define:
(define the-name (spawn-an-actor))
(spawn ... use the-name ...)
The new module-begin analyzes (forms that expand to) define-values to
wrap the body with a capture-actor-actions, allowing such spawns to be
detected.
2019-08-26 11:09:34 -04:00
ded2629296
7-GUIS port task 7
2019-08-26 11:09:34 -04:00
a259153470
7-GUIS port task 6
2019-08-26 11:09:33 -04:00
cdca416d21
7-GUIS port task 5
2019-08-26 11:09:33 -04:00
de1fab2cb5
7-GUIS port task 4
2019-08-26 11:09:33 -04:00
064a2e1462
7-GUIS port task 3
2019-08-26 11:09:33 -04:00
3c65281a2e
7-GUIS port task 2
2019-08-26 11:09:33 -04:00
997a3099fd
start on racket guis, 7-GUIS task 1
2019-08-26 11:09:33 -04:00
e018359204
consider more potential schedulings of events
2019-08-26 11:09:32 -04:00
9a21a811a3
internal event business
2019-08-26 11:09:32 -04:00
3c3291ffa4
compile internal events, compresses job manager graph by a lot
2019-08-26 11:09:32 -04:00
Sam Caldwell
Stephen Chang