diff options
author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-09-24 14:16:35 -0600 |
---|---|---|
committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-09-24 14:16:35 -0600 |
commit | d282266beb71bfb9b21cf00f3025c01df7dd8e4d (patch) | |
tree | 16e5bd9f909148f68e960bbba36b55e94ea22e5e /coroutine_rpc.h | |
parent | d559c50a98e65ce889411b46ab108b392907e0f0 (diff) |
rename cr_chan to cr_rpc
Diffstat (limited to 'coroutine_rpc.h')
-rw-r--r-- | coroutine_rpc.h | 84 |
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_ */ |