9ac4e51224
Instead of handles / capabilities having numeric ids that are only valid for the owning process, they are now global in a system capabilities table. This will allow for specifying capabilities in IPC that doesn't need to be kernel-controlled. Processes will still need to be granted access to given capabilities, but that can become a simpler system call than the current method of sending them through mailbox messages (and worse, having to translate every one into a new capability like was the case before). In order to track which handles a process has access to, a new node_set based on node_map allows for an efficient storage and lookup of handles.
63 lines
1.8 KiB
Modula-2
63 lines
1.8 KiB
Modula-2
# Mailboxes are objects that enable synchronous or asynchronous
|
|
# IPC via short message-passing of bytes and handles.
|
|
|
|
object mailbox : object {
|
|
uid 99934ad04ece1e07
|
|
|
|
capabilities [
|
|
send
|
|
receive
|
|
close
|
|
]
|
|
|
|
method create [constructor]
|
|
method close [destructor cap:close]
|
|
|
|
# Asynchronously send a message to the reciever
|
|
method send [cap:send] {
|
|
param tag uint64
|
|
param subtag uint64
|
|
param handles ref object [list]
|
|
}
|
|
|
|
# Receive a pending message, or block waiting for a message to
|
|
# arrive if block is true.
|
|
method receive [cap:receive] {
|
|
param tag uint64 [out]
|
|
param subtag uint64 [out]
|
|
param handles ref object [out list zero_ok]
|
|
param reply_tag uint16 [out optional]
|
|
param flags uint64
|
|
}
|
|
|
|
# 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 handles ref object [inout list zero_ok]
|
|
}
|
|
|
|
# Respond to a message sent using call. Note that this
|
|
# requires the receive capability and not the send capability.
|
|
method respond [cap:receive] {
|
|
param tag uint64
|
|
param subtag uint64
|
|
param handles ref object [list zero_ok]
|
|
param reply_tag uint16
|
|
}
|
|
|
|
# Respond to a message sent using call, and wait for another
|
|
# message to arrive. Note that this does not require the send
|
|
# capability.
|
|
method respond_receive [cap:receive] {
|
|
param tag uint64 [inout]
|
|
param subtag uint64 [inout]
|
|
param handles ref object [inout list zero_ok]
|
|
param handles_in size
|
|
param reply_tag uint16 [inout]
|
|
param flags uint64
|
|
}
|
|
}
|