Often there will be a relationship of the following kind between two keys F and N. We present two alternative descriptions:
The second component may be thought of as the value of the key. For keys which designate a page or node, this value contains information which the kernel can use to locate the designated object.
The third component is called the (_databyte). The databyte modifies the interpretation of some types of keys.
A (_Fetch Key) is like a node key, except keys cannot be placed in the node, only retrieved. See (p2,fetch).
A (_Sense Key) is like a fetch key except that the operation of fetching a key from the node is accompanied by an attenuation of the fetched key. See (p2,sense).
A (_Domain Key) provides the holder with the authority to intervene in the execution by the domain of its program. See (p2,domkey).
s and (_Resume Key)s provide authority to send a message to the domain built in part from the designated node. See (p1,gates). There are three variants of resume key: restart, fault and return. The type of each of these is "Resume".
A (_Segment Key) provides authority to access the segment {(p1,segment)} defined by the node {(p2,memkeydm)}. See (p1,memtree).
A (_Meter Key) provides authority to consume the resources defined by the contents of the slots of the node. See (p1,meter).
See (p2,freadat) for specifications.
are several individual keys that designate several one-of-a-kind objects that are implemented by the kernel.
is a rescindable key to an I/O device. Stylized channel programs may be specified for the device by the holder of this key. See (p2,devicekey).
See (p2,spage) about a proposed extension and key type.
A gate key is a start or resume key. Gates are used to address messages to domains.
A Segmode key is a segment, node, fetch or sense key. Segmode keys will serve to provide access to a segment defined by the designated node.
A memory key is a segmode key or a page key. Memory keys serve to define storage.
A primary key is any key that is not a gate key. Messages sent to a primary key are responded to directly by the kernel.