Tony Garnock-Jones
|
8576a051a0
|
Smaller font so slightly more width
|
2012-08-08 16:44:38 -04:00 |
Tony Garnock-Jones
|
ddfa96d685
|
Inline "speaker" helper function
|
2012-07-30 12:59:17 -04:00 |
Tony Garnock-Jones
|
e2d2338137
|
Sensible default for requested-count
|
2012-07-27 09:52:47 -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
|
0a5906e116
|
Exactly the code from the paper
|
2012-07-23 12:12:14 -04:00 |
Tony Garnock-Jones
|
5062895429
|
Cosmetic renaming
|
2012-07-23 12:12:00 -04:00 |
Tony Garnock-Jones
|
fb6547d0f7
|
Cosmetic: visual indicator of code size
|
2012-07-18 12:13:45 -04:00 |
Tony Garnock-Jones
|
c3f27a9e8d
|
Make this a real running program
|
2012-07-18 12:13:12 -04:00 |
Tony Garnock-Jones
|
4cab8d3226
|
Totally encapsulate the connection set.
|
2012-07-17 12:15:03 -04:00 |
Tony Garnock-Jones
|
68c75d381a
|
Using a thread to (partially) manage the server state
|
2012-07-17 12:07:17 -04:00 |
Tony Garnock-Jones
|
c3a95afecf
|
Improve chat-os2.rkt
|
2012-07-17 11:58:39 -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
|
732010a40a
|
Entersenate chat-sync.rkt
|
2012-07-17 11:53:14 -04:00 |
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 |