2016-07-25 23:29:26 +00:00
|
|
|
#lang syndicate/actor
|
|
|
|
|
|
|
|
(require racket/file)
|
|
|
|
(require racket/serialize)
|
|
|
|
(require operational-transformation)
|
|
|
|
(require operational-transformation/text/simple-document)
|
|
|
|
|
2016-08-01 21:48:13 +00:00
|
|
|
(require syndicate/protocol/advertise)
|
2016-07-25 23:29:26 +00:00
|
|
|
(require/activate syndicate/drivers/tcp)
|
|
|
|
(require/activate syndicate/drivers/line-reader)
|
|
|
|
|
|
|
|
(struct proposed-op (p) #:prefab)
|
|
|
|
(struct accepted-op (p) #:prefab)
|
2016-07-26 00:41:49 +00:00
|
|
|
(struct client-seen-up-to (revision) #:prefab)
|
2016-07-25 23:29:26 +00:00
|
|
|
|
|
|
|
(define cmdline-port (make-parameter 5888))
|
|
|
|
(define cmdline-filename (make-parameter "info.rkt"))
|
|
|
|
|
2017-02-20 17:54:52 +00:00
|
|
|
(spawn (field [state (make-server (simple-document
|
2016-08-24 20:29:08 +00:00
|
|
|
(if (file-exists? (cmdline-filename))
|
|
|
|
(begin (log-info "loading ~v" (cmdline-filename))
|
|
|
|
(file->string (cmdline-filename)))
|
|
|
|
(begin (log-info "will create ~v" (cmdline-filename))
|
|
|
|
""))))])
|
|
|
|
(assert (extract-snapshot (state)))
|
|
|
|
|
|
|
|
(define/query-set client-seen-revs (client-seen-up-to $rev) rev)
|
|
|
|
(field [oldest-needed-rev #f])
|
|
|
|
(begin/dataflow
|
|
|
|
(define min-rev
|
|
|
|
(or (for/fold [(min-rev #f)] [(rev (client-seen-revs))]
|
|
|
|
(min (or min-rev rev) rev))
|
|
|
|
(server-state-revision (state))))
|
|
|
|
(when (not (equal? (oldest-needed-rev) min-rev))
|
|
|
|
(oldest-needed-rev min-rev)
|
|
|
|
(state (forget-operation-history (state) min-rev))))
|
|
|
|
|
|
|
|
(begin/dataflow
|
|
|
|
(display-to-file (simple-document-text (server-state-document (state)))
|
|
|
|
(cmdline-filename)
|
|
|
|
#:exists 'replace))
|
|
|
|
|
|
|
|
(on (message (proposed-op $p))
|
|
|
|
(state (incorporate-operation-from-client (state) p))
|
|
|
|
(define sp (extract-operation (state)))
|
|
|
|
(when sp (send! (accepted-op sp)))))
|
2016-07-25 23:29:26 +00:00
|
|
|
|
2017-02-20 17:54:52 +00:00
|
|
|
(spawn (define s (tcp-listener (cmdline-port)))
|
2016-08-24 20:29:08 +00:00
|
|
|
(on-start (log-info "listening on port ~v" (cmdline-port)))
|
|
|
|
(assert (advertise (observe (tcp-channel _ s _))))
|
2017-02-20 17:54:52 +00:00
|
|
|
(during/spawn (advertise (tcp-channel $c s _))
|
2016-08-24 20:29:08 +00:00
|
|
|
(assert (advertise (tcp-channel s c _)))
|
|
|
|
(on-start (log-info "~a: connected" c))
|
|
|
|
(on-stop (log-info "~a: disconnected" c))
|
|
|
|
(connection-react c s (cmdline-filename))))
|
2016-07-25 23:29:26 +00:00
|
|
|
|
|
|
|
(define (connection-react c s filename)
|
|
|
|
(define (output v)
|
|
|
|
;; (log-info "~a: sending them ~v" c v)
|
|
|
|
(define p (open-output-bytes))
|
|
|
|
(write (serialize v) p)
|
|
|
|
(newline p)
|
|
|
|
(send! (tcp-channel s c (get-output-bytes p))))
|
|
|
|
|
2016-07-26 00:41:49 +00:00
|
|
|
(field [seen-up-to 0])
|
|
|
|
(assert (client-seen-up-to (seen-up-to)))
|
|
|
|
|
2016-07-25 23:29:26 +00:00
|
|
|
(on-start
|
|
|
|
(output filename)
|
|
|
|
(let-event [(asserted ($ snapshot (server-snapshot _ _)))]
|
|
|
|
(output snapshot)
|
2016-07-26 00:41:49 +00:00
|
|
|
(seen-up-to (server-snapshot-revision snapshot))
|
2016-07-25 23:29:26 +00:00
|
|
|
(react (on (message (accepted-op $p))
|
|
|
|
(output p)))))
|
|
|
|
|
|
|
|
(on (message (tcp-channel-line c s $line))
|
2016-07-26 00:41:49 +00:00
|
|
|
(match (deserialize (read (open-input-bytes line)))
|
|
|
|
[(? number? n) (seen-up-to n)]
|
|
|
|
[(? pending-operation? p) (send! (proposed-op p))])))
|
2016-07-25 23:29:26 +00:00
|
|
|
|
|
|
|
(module+ main
|
|
|
|
(require racket/cmdline)
|
|
|
|
(command-line
|
|
|
|
#:once-each
|
|
|
|
[("-p" "--port") server-port ((format "Server port (default ~v)" (cmdline-port)))
|
2016-07-28 10:50:35 +00:00
|
|
|
(cmdline-port (string->number server-port))]
|
2016-07-25 23:29:26 +00:00
|
|
|
#:args (filename)
|
|
|
|
(cmdline-filename filename)))
|