summaryrefslogtreecommitdiff
path: root/coroutine_rpc.h
diff options
context:
space:
mode:
authorLuke T. Shumaker <lukeshu@lukeshu.com>2024-09-24 14:16:35 -0600
committerLuke T. Shumaker <lukeshu@lukeshu.com>2024-09-24 14:16:35 -0600
commitd282266beb71bfb9b21cf00f3025c01df7dd8e4d (patch)
tree16e5bd9f909148f68e960bbba36b55e94ea22e5e /coroutine_rpc.h
parentd559c50a98e65ce889411b46ab108b392907e0f0 (diff)
rename cr_chan to cr_rpc
Diffstat (limited to 'coroutine_rpc.h')
-rw-r--r--coroutine_rpc.h84
1 files changed, 84 insertions, 0 deletions
diff --git a/coroutine_rpc.h b/coroutine_rpc.h
new file mode 100644
index 0000000..00aa165
--- /dev/null
+++ b/coroutine_rpc.h
@@ -0,0 +1,84 @@
+/* coroutine_rpc.h - Simple request/response system for coroutine.{h,c}
+ *
+ * Copyright (C) 2024 Luke T. Shumaker <lukeshu@lukeshu.com>
+ * SPDX-Licence-Identifier: AGPL-3.0-or-later
+ */
+
+/**
+ * The cr_rpc_* macros form a simple request/response mechanism built
+ * on top of the cr_pause_and_yeild() and cr_unpause() primitives.
+ */
+#ifndef _COROUTINE_RPC_H_
+#define _COROUTINE_RPC_H_
+
+#include "coroutine.h"
+
+/**
+ * cr_rpc_t(req_t, resp_t) returns the type definition for a
+ * rcp-channel on which the requester submits a value of type `req_t`
+ * and the responder responds with a value of type `resp_t`.
+ */
+#define cr_rpc_t(req_t, resp_t) struct { \
+ cid_t requester; \
+ cid_t responder; \
+ req_t req; \
+ resp_t resp; \
+ }
+
+/* These are "functions" are preprocessor macros instead of real C
+ * functions so that the compiler can do type-checking instead of
+ * having these functions take `void*`. */
+
+/**
+ * ch_rpc_req(cr_rpc_t(req_t, resp_t) *ch, resp_t *resp, req_t req)
+ * submits the `req` request to `ch` puts the response in `*resp_p`.
+ *
+ * Blocks until the responder has called both cr_rpc_recv_req() and
+ * cr_rpc_send_resp().
+ */
+#define cr_rpc_req(ch, _resp_p, _req) do { \
+ (ch)->requester = cr_getcid(); \
+ (ch)->req = (_req); \
+ if ((ch)->responder != 0) \
+ cr_unpause((ch)->responder); \
+ cr_pause_and_yield(); \
+ if ((typeof(&(ch)->resp))(_resp_p)) \
+ *((typeof(&(ch)->resp))(_resp_p)) = (ch)->resp; \
+ } while (0)
+
+/**
+ * cr_rpc_have_req(cr_rpc_t(req_t, resp_t) *ch) allows a responder
+ * to check whether or not there is a request waiting to be received
+ * (with cr_rpc_recv_req()) without blocking if there is not.
+ *
+ * Never blocks.
+ */
+#define cr_rpc_have_req(ch) ((ch)->requester != 0)
+
+/**
+ * cr_rpc_recv_req(cr_rpc_t(req_t, resp_t) *ch, req_t *req_p) reads
+ * a request from ch into `*req_p`.
+ *
+ * If there is not a pending request on `ch`, blocks until there is.
+ */
+#define cr_rpc_recv_req(ch, _req_p) do { \
+ (ch)->responder = cr_getcid(); \
+ if ((ch)->requester == 0) \
+ cr_pause_and_yield(); \
+ *(_req_p) = (ch)->req; \
+ } while (0)
+
+/**
+ * cr_rpc_send_resp(cr_rpc_t(req_t, resp_t) *ch, resp_t resp) sends
+ * the reply to the most-recently-read request.
+ *
+ * Never blocks.
+ */
+#define cr_rpc_send_resp(ch, _resp) do { \
+ cr_unpause((ch)->requester); \
+ (ch)->responder = 0; \
+ (ch)->requester = 0; \
+ (ch)->resp = (_resp); \
+ } while (0)
+
+#endif /* _COROUTINE_RPC_H_ */