[kernel] Make mailbox non-fixed-length again

Going back to letting mailboxes use variable-length data. Note that this
requires extra copies, so shared memory channels should be used for
anything in the hot path. But this allows better RPC over mailboxes and
other flexibility.

Other changes:
- added a j6::proto::sl::client class to act as a service locator
  client, instead of duplicating that code in every program.
- moved protocol ids into j6/tables/protocols.inc so that C++ clients
  can easily have their own API
This commit is contained in:
Justin C. Miller
2023-08-07 22:59:03 -07:00
parent a0f91ed0fd
commit 8b3fa3ed01
22 changed files with 329 additions and 81 deletions

View File

@@ -1,5 +1,6 @@
# Mailboxes are objects that enable synchronous IPC via short message-passing
# of tagged handles.
# Mailboxes are objects that enable synchronous IPC via arbitrary
# message-passing of tagged data and/or handles. Not as efficient
# as shared memory channels, but more flexible.
object mailbox : object {
uid 99934ad04ece1e07
@@ -13,13 +14,14 @@ object mailbox : object {
method create [constructor]
method close [destructor cap:close]
# Send a message to the reciever, and block until a
# response is sent. Note that getting this response
# does not require the receive capability.
# Send a message to the reciever, and block until a response is
# sent. Note that getting this response does not require the
# receive capability.
method call [cap:send] {
param tag uint64 [inout]
param subtag uint64 [inout]
param give_handle ref object [optional inout handle]
param data buffer [optional inout]
param data_in_len size # number of bytes in data used for input
param handles ref object [optional inout handle list]
}
# Respond to a message sent using call, and wait for another
@@ -28,8 +30,9 @@ object mailbox : object {
# to waiting for a new message.
method respond [cap:receive] {
param tag uint64 [inout]
param subtag uint64 [inout]
param give_handle ref object [optional inout handle]
param data buffer [optional inout]
param data_in_len size # number of bytes in data used for input
param handles ref object [optional inout handle list]
param reply_tag uint64 [inout]
param flags uint64
}