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.
Each (_MISC key) is to one of the several individual one-of-a-kind kernel objects.
A (_DEV key) provides rescindable access 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. In a memory defining context a segmode keys will serve to provide access to the 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.