mirror of
https://github.com/linuxkit/linuxkit.git
synced 2026-05-17 14:35:28 +00:00
fe2accb8c8
The protocol allows the client to send concurrent RPCs to the server. The server replies by keeping the client ID, and the client keeps a dispatch table of queries to route the retries. By doing things like that, the server has a strong control over resource allocation, so a bad client cannot exhaust all the server memory. Also add some simple tests for the serialization + wire protocol which are all passing. Proper concurrency/resource exhaustion usage will be added later. Signed-off-by: Thomas Gazagnaire <thomas@gazagnaire.org>
10 lines
305 B
Plaintext
10 lines
305 B
Plaintext
(jbuild_version 1)
|
|
|
|
(library
|
|
((name sdk)
|
|
(libraries (threads cstruct.lwt cmdliner fmt.cli logs.fmt logs.cli fmt.tty
|
|
decompress irmin irmin-git lwt.unix rawlink tuntap dispatch
|
|
irmin-watcher inotify astring rresult))
|
|
(preprocess (per_file ((pps (cstruct.ppx)) (ctl))))
|
|
))
|