Tony Garnock-Jones
|
0c07fb3b0e
|
Introduce "?" as identifier-syntax for "(wild)"
|
2012-08-13 17:06:22 -04:00 |
|
Tony Garnock-Jones
|
412ac6496b
|
Rename kill to quit
|
2012-08-13 16:49:24 -04:00 |
|
Tony Garnock-Jones
|
3a2ea7b026
|
Make nested-vm and ground-vm able to take actions instead of transition, for stateless boot processes
|
2012-07-23 17:42:18 -04:00 |
|
Tony Garnock-Jones
|
1c42aea271
|
Make handlers etc *required* to return a transition structure.
|
2012-07-23 17:38:18 -04:00 |
|
Tony Garnock-Jones
|
7d7cfc9738
|
Make role names optional, and remove role/anon. Remove inessential
role names from apps. Make nested-vm a macro. Shrink
chat-os2-paper.rkt to 40 columns.
|
2012-07-23 15:21:30 -04:00 |
|
Tony Garnock-Jones
|
b8b74183b8
|
Make at-meta-level accept a list of actions.
|
2012-07-17 11:58:32 -04:00 |
|
Tony Garnock-Jones
|
cf4ca5c8bd
|
Make #:state optional in roles
|
2012-07-16 17:01:35 -04:00 |
|
Tony Garnock-Jones
|
50f52283bb
|
role/anon
|
2012-07-16 17:01:16 -04:00 |
|
Tony Garnock-Jones
|
47468b2b37
|
debug-name prefab structure.
|
2012-07-04 17:51:40 -04:00 |
|
Tony Garnock-Jones
|
5efa0c4061
|
Support three levels of interest-type for a topic: participant/ordinary, monitor/observer, and "super-monitor".
|
2012-07-04 17:18:32 -04:00 |
|
Tony Garnock-Jones
|
bee4834ed6
|
Rename #:monitor? to #:exit-signal? in spawn's arguments.
|
2012-07-04 17:18:24 -04:00 |
|
Tony Garnock-Jones
|
84d769472b
|
I've decided to rename "virtual" flows to "monitor" flows.
|
2012-07-04 16:36:03 -04:00 |
|
Tony Garnock-Jones
|
9d069ab0f3
|
Oops - used or instead of or/c.
|
2012-07-04 16:28:19 -04:00 |
|
Tony Garnock-Jones
|
90c00f7595
|
Introduce send-feedback
|
2012-07-03 15:49:58 -04:00 |
|
Tony Garnock-Jones
|
09a957a54e
|
Replace {extend,prefix}-transition{,*} with sequence-actions.
|
2012-07-03 13:13:05 -04:00 |
|
Tony Garnock-Jones
|
e67bffdcc3
|
Fix monitoring: I had neglected to use the wrapped main spec!
|
2012-07-03 13:12:31 -04:00 |
|
Tony Garnock-Jones
|
1ffd0afe66
|
Contract process state, and merge spawn/monitor into spawn.
|
2012-06-23 07:55:09 -04:00 |
|
Tony Garnock-Jones
|
40912af499
|
Reexport (ground?).
|
2012-06-19 17:27:17 -04:00 |
|
Tony Garnock-Jones
|
f6103ee804
|
Note re: roles
|
2012-06-19 11:37:10 -04:00 |
|
Tony Garnock-Jones
|
218c6cc561
|
Monitoring.
|
2012-06-19 11:37:01 -04:00 |
|
Tony Garnock-Jones
|
d656694eb1
|
Spawn main is permitted to return a straight state
|
2012-06-14 11:58:09 -04:00 |
|
Tony Garnock-Jones
|
a40dbe0d97
|
extend-transition* and prefix-transition*
|
2012-06-11 16:10:00 -04:00 |
|
Tony Garnock-Jones
|
cabdd27917
|
Sketchy role handler update. Pragmatic, rather than principled.
|
2012-06-11 12:32:36 -04:00 |
|
Tony Garnock-Jones
|
ee1ec3ceda
|
Don't crash if a process yields and gets killed before it is next scheduled
|
2012-06-11 12:32:18 -04:00 |
|
Tony Garnock-Jones
|
e925a963ff
|
Use log-info instead of printf to permit silencing os2.rkt
|
2012-05-11 15:18:23 -04:00 |
|
Tony Garnock-Jones
|
3ec9abad45
|
Flush debug outputs
|
2012-05-09 16:24:24 -04:00 |
|
Tony Garnock-Jones
|
4f63b36c9d
|
prefix-transition
|
2012-05-09 16:24:16 -04:00 |
|
Tony Garnock-Jones
|
cca7971b55
|
current-ground-transition, for debugging
|
2012-05-03 16:31:17 -04:00 |
|
Tony Garnock-Jones
|
7bb49752f4
|
role/fresh macro
|
2012-05-03 16:31:05 -04:00 |
|
Tony Garnock-Jones
|
21cc52f4b0
|
Keep track of metaroles; add debug names
|
2012-05-03 15:09:08 -04:00 |
|
Tony Garnock-Jones
|
8f10b2ad4d
|
Support yielding, i.e. polling for outside events.
|
2012-05-02 18:45:41 -04:00 |
|
Tony Garnock-Jones
|
2214f54ab0
|
Tweak error message.
|
2012-05-02 13:54:02 -04:00 |
|
Tony Garnock-Jones
|
b78ce4bf62
|
Print effective kill actions
|
2012-05-02 13:53:52 -04:00 |
|
Tony Garnock-Jones
|
07bab897cc
|
Make kill-reason a #:reason keyword.
|
2012-05-02 13:53:20 -04:00 |
|
Tony Garnock-Jones
|
5366c6898a
|
Alias structure ctors, to avoid damage from shadowing.
|
2012-05-02 13:52:48 -04:00 |
|
Tony Garnock-Jones
|
062aa9f1e3
|
Remove poorly-thought-out distinction between message topic and message body
|
2012-04-26 13:05:19 -04:00 |
|
Tony Garnock-Jones
|
bb24f19317
|
Use process-allocated endpoint-identifiers. Add a timer driver and example.
|
2012-04-17 15:30:25 -04:00 |
|
Tony Garnock-Jones
|
2e7aa6ee1f
|
Filter out illegal actions in our action ConsTrees
|
2012-04-17 12:48:04 -04:00 |
|
Tony Garnock-Jones
|
6c89d9bd9d
|
Correct documentation.
|
2012-04-17 12:47:01 -04:00 |
|
Tony Garnock-Jones
|
abb967f09b
|
Reexport racket/match, since so much of os2's action depends on matching
|
2012-04-17 12:45:34 -04:00 |
|
Tony Garnock-Jones
|
1b60994028
|
Make send-message topic optional, defaulting to a publish of the body itself.
|
2012-04-17 12:43:21 -04:00 |
|
Tony Garnock-Jones
|
4bf766daff
|
Document BootK data definition
|
2012-04-12 15:17:15 -04:00 |
|
Tony Garnock-Jones
|
8f2b4834fc
|
Inform both parent and child of spawned pid
|
2012-04-12 14:47:05 -04:00 |
|
Tony Garnock-Jones
|
97abcf91d2
|
Simulate topic unions via sets of topics at each endpoint.
|
2012-04-12 14:05:25 -04:00 |
|
Tony Garnock-Jones
|
4155f63c28
|
Shrink the role macro, using #:defaults and a local expander
|
2012-04-05 12:10:27 -04:00 |
|
Tony Garnock-Jones
|
4246e5b217
|
Cosmetic
|
2012-03-24 21:18:19 -04:00 |
|
Tony Garnock-Jones
|
e18b1f2a8c
|
Cope with add-role after kill of a process
|
2012-03-24 21:18:09 -04:00 |
|
Tony Garnock-Jones
|
ad8a31f703
|
More conservative process-reaper: don't reap if actions for the process are queued
|
2012-03-24 21:17:52 -04:00 |
|
Tony Garnock-Jones
|
1143bde46c
|
Ignore unknown messages in role message handlers
|
2012-03-24 21:15:49 -04:00 |
|
Tony Garnock-Jones
|
04a537be15
|
Cosmetic
|
2012-03-24 19:41:04 -04:00 |