Tony Garnock-Jones
|
92d8a13450
|
Update universe.rkt for latest os2.rkt
|
2012-05-09 13:44:23 -04:00 |
|
Tony Garnock-Jones
|
7395f9b1fa
|
Leave Racket's objects opaque to unification.
|
2012-05-09 13:44:11 -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
|
9cf91bb231
|
Bind non-listener handles too.
|
2012-05-03 16:30:43 -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
|
112b417f1c
|
os2 UDP driver and simple example program
|
2012-05-02 13:54:49 -04:00 |
|
Tony Garnock-Jones
|
70356487f8
|
Test utility for os2 tests.
|
2012-05-02 13:54:22 -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
|
0fbca40653
|
Fix latent bug in os-timer.rkt
|
2012-04-12 15:16:53 -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
|
4c76dc29f1
|
Switch universe.rkt from os/os-big-bang to os2.
|
2012-03-24 21:19:13 -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 |
|
Tony Garnock-Jones
|
1696971366
|
Cosmetic
|
2012-03-24 19:31:30 -04:00 |
|
Tony Garnock-Jones
|
859fb5a929
|
Catch errors in VM processes
|
2012-03-24 19:29:00 -04:00 |
|
Tony Garnock-Jones
|
df3d76ae26
|
Cosmetic (and remove quasi-queue definitions)
|
2012-03-24 19:23:27 -04:00 |
|
Tony Garnock-Jones
|
97304006b8
|
use of role macro
|
2012-03-24 19:14:00 -04:00 |
|
Tony Garnock-Jones
|
1d328c2030
|
indenting for role macro
|
2012-03-24 19:13:55 -04:00 |
|
Tony Garnock-Jones
|
8aa649a14b
|
role macro
|
2012-03-24 19:13:45 -04:00 |
|
Tony Garnock-Jones
|
ebbd589e88
|
Back to the original flow-visibility rules
|
2012-03-24 19:13:09 -04:00 |
|
Tony Garnock-Jones
|
a7b4dec151
|
Add ground spy to example
|
2012-03-24 16:12:42 -04:00 |
|
Tony Garnock-Jones
|
19da898244
|
Convenience reexports of unify.rkt constructs
|
2012-03-24 16:12:33 -04:00 |
|
Tony Garnock-Jones
|
bdaee80ce8
|
Only try to sync on evt? subscriptions
|
2012-03-24 16:12:18 -04:00 |
|
Tony Garnock-Jones
|
4e8c0b4612
|
Example for os2
|
2012-03-24 16:01:53 -04:00 |
|
Tony Garnock-Jones
|
d17435564e
|
Indenting for os2
|
2012-03-24 16:01:47 -04:00 |
|
Tony Garnock-Jones
|
ae51097c59
|
Implement ground-vm. It's so much smaller and nicer!
|
2012-03-24 16:01:34 -04:00 |
|
Tony Garnock-Jones
|
a26fec6b1d
|
Provides and API
|
2012-03-24 16:01:15 -04:00 |
|
Tony Garnock-Jones
|
437ab6826d
|
Tweak kernel-to-user transitions, in prep for exception handling
|
2012-03-24 16:00:42 -04:00 |
|
Tony Garnock-Jones
|
523446fa71
|
Make delete-role idempotent
|
2012-03-24 15:59:52 -04:00 |
|
Tony Garnock-Jones
|
c278e10673
|
Fix type error
|
2012-03-24 15:59:15 -04:00 |
|
Tony Garnock-Jones
|
8154ecbc0e
|
Add kill action
|
2012-03-24 15:58:45 -04:00 |
|
Tony Garnock-Jones
|
44898b09b2
|
Flatten action tree
|
2012-03-24 15:57:32 -04:00 |
|
Tony Garnock-Jones
|
4eeaf3dcbb
|
WIP toward ground-vm
|
2012-03-24 15:02:25 -04:00 |