Tony Garnock-Jones
|
8f897119a9
|
Cope with a wider range of end-of-file-style situations.
|
2012-07-16 17:16:34 -04:00 |
|
Tony Garnock-Jones
|
de5e83f414
|
Cosmetic
|
2012-07-16 17:08:58 -04:00 |
|
Tony Garnock-Jones
|
5fca0d7aac
|
Tweak to presence notification
|
2012-07-16 17:07:42 -04:00 |
|
Tony Garnock-Jones
|
59469d68f8
|
Abbreviated TCP OS2 interface, and two programs to compare.
|
2012-07-16 17:01:56 -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
|
5797a25789
|
Minor corrections and elaborations
|
2012-07-16 09:39:33 -04:00 |
|
Tony Garnock-Jones
|
9791100322
|
Results of pair-programming with Sam yesterday evening
|
2012-07-12 13:25:46 -04:00 |
|
Tony Garnock-Jones
|
7d2d701507
|
os2-tcp-test-bytewise-echo.rkt from 4 July 2012
|
2012-07-12 13:25:35 -04:00 |
|
Tony Garnock-Jones
|
8fd2328532
|
Outline updates
|
2012-07-11 11:57:25 -04:00 |
|
Tony Garnock-Jones
|
913653bba9
|
Wait for credit before closing the connection.
|
2012-07-11 09:40:47 -04:00 |
|
Tony Garnock-Jones
|
07922cec64
|
Talk outline
|
2012-07-11 09:35:20 -04:00 |
|
Tony Garnock-Jones
|
0dc11f7ccb
|
Fix topic pattern in unsubscribe
|
2012-07-09 16:23:35 -04:00 |
|
Tony Garnock-Jones
|
3fdd1ae746
|
Event relaying plus an example program
|
2012-07-09 12:18:08 -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
|
83cae7075e
|
Note re presence glitch problem. See also journal entry.
|
2012-06-23 07:54:05 -04:00 |
|
Tony Garnock-Jones
|
ba5c639814
|
Inert role to permit clients of the timer driver to wait for it to start.
|
2012-06-20 23:58:59 -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
|
75d40c7abc
|
Always listen for EOF, even if we have no inbound credit.
|
2012-06-11 12:27:17 -04:00 |
|
Tony Garnock-Jones
|
51960662d4
|
Another example program
|
2012-05-11 15:28:48 -04:00 |
|
Tony Garnock-Jones
|
0d23202e54
|
New TCP example
|
2012-05-11 15:18:44 -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
|
f597cfe33d
|
Driver now only creates resources for fully grounded local addresses.
|
2012-05-11 15:11:00 -04:00 |
|
Tony Garnock-Jones
|
f1f7cc0d8c
|
Add ground? and fix variables-in
|
2012-05-11 14:57:50 -04:00 |
|
Tony Garnock-Jones
|
634e795a6c
|
More test program
|
2012-05-09 16:39:25 -04:00 |
|
Tony Garnock-Jones
|
d5fe945add
|
TCP driver and test program
|
2012-05-09 16:24:36 -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
|
7d515e4e58
|
Merge branch 'master' of vapour:racket-matrix
|
2012-05-09 13:44:34 -04:00 |
|
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 |