Capability

From Erights

(Difference between revisions)
Jump to: navigation, search
(spelling, links, markup)
(lightly improve, sketch further improvements)
Line 1: Line 1:
-
Can the word "capability" refer to:
+
XXX copy in a well-written existing definition here
-
* unforgeable object reference?
+
-
* keys in [[KeyKos]], [[EROS]] and [[CapROS]]?
+
-
* an Actor address + an facet identifier?
+
-
At least it seems to convey the idea of bundling authority with designation.
+
A capability is a reference which combines designation with [[authority]].
 +
 
 +
Designation is ...
 +
 
 +
Authority is ...
 +
 
 +
== Examples ==
 +
* Object references in  object-oriented programming languages, provided that they have encapsulation and do not have other ways to acquire references (XXX explain or move to page on Object-capabilities)
 +
* capabilities, or "keys", in [[capability operating systems]] such as [[KeyKos]], [[CapROS]], or [[Coyotos]]
 +
* an Actor address + an facet identifier? (XXX what is this?)
 +
 
 +
== See also ==
 +
 
 +
(XXX improve this section)
See [http://www.eros-os.org/essays/capintro.html What is a Capability, Anyway?] for a partisan explanation of what capabilities actually are.
See [http://www.eros-os.org/essays/capintro.html What is a Capability, Anyway?] for a partisan explanation of what capabilities actually are.

Revision as of 19:00, 14 October 2008

XXX copy in a well-written existing definition here

A capability is a reference which combines designation with authority.

Designation is ...

Authority is ...

Examples

  • Object references in object-oriented programming languages, provided that they have encapsulation and do not have other ways to acquire references (XXX explain or move to page on Object-capabilities)
  • capabilities, or "keys", in capability operating systems such as KeyKos, CapROS, or Coyotos
  • an Actor address + an facet identifier? (XXX what is this?)

See also

(XXX improve this section)

See What is a Capability, Anyway? for a partisan explanation of what capabilities actually are.

See also Overview: Capability Computation

This page is a stub; it should be expanded with more information. If doing so, check the original E web site and the mailing list archives for content which could be moved into this page.
Personal tools
more tools