syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Better crash-handling for simplified TCP protocol sketch

This commit is contained in:
Tony Garnock-Jones 2017-02-09 19:24:02 -05:00
parent 2b19064960
commit 413840382b
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
racket/syndicate/examples/actor/chat-simplified-internals2.rkt
View File

@ -9,6 +9,7 @@
;; Sketch of a translation from the existing TCP protocol into a simpler one ;; Sketch of a translation from the existing TCP protocol into a simpler one
(struct tcp-connection (id spec) #:prefab) (struct tcp-connection (id spec) #:prefab)
(struct tcp-accepted (id) #:prefab)
(struct tcp-out (id text) #:prefab) (struct tcp-out (id text) #:prefab)
(struct tcp-in (id text) #:prefab) (struct tcp-in (id text) #:prefab)
@ -18,7 +19,7 @@
(on (asserted (advertise (tcp-channel $them us _))) (on (asserted (advertise (tcp-channel $them us _)))
(define id (seal (list them us))) (define id (seal (list them us)))
(actor (stop-when (retracted (advertise (tcp-channel them us _)))) (actor (stop-when (retracted (advertise (tcp-channel them us _))))
(stop-when (retracted (observe (tcp-connection id us)))) (stop-when (retracted (tcp-accepted id)))
(assert (tcp-connection id us)) (assert (tcp-connection id us))
(on (message (tcp-channel them us $bs)) (on (message (tcp-channel them us $bs))
(send! (tcp-in id (string-trim (bytes->string/utf-8 bs))))) (send! (tcp-in id (string-trim (bytes->string/utf-8 bs)))))
@ -33,6 +34,7 @@
(actor #:name 'chat-server (actor #:name 'chat-server
(during/actor (tcp-connection $id (tcp-listener 5999)) (during/actor (tcp-connection $id (tcp-listener 5999))
(assert (tcp-accepted id))
(define me (gensym 'user)) ;; a random user name (define me (gensym 'user)) ;; a random user name
(assert (present me)) (assert (present me))
(during (present $user) (during (present $user)