Lines Matching full:capabilities

96 Basic Concepts: Capabilities
100 *capabilities*.  A resource is either a data member, or a function/method
105 Capabilities are associated with named C++ objects which declare specific
119 capabilities (e.g. the set of mutexes that it has locked.)  These act like keys
124 exact mechanism used to acquire and release capabilities; it assumes that the
128 The set of capabilities that are actually held by a given thread at a given
132 and describes the set of capabilities that are statically known to be held, or
134 approximation of the full set of capabilities that will actually held by a
192 capabilities.  More than one capability may be specified.  The capabilities
287 the caller must *not* hold the given capabilities.  This annotation is
365 declarations, specifically declarations of mutexes or other capabilities.
408 Scoped capabilities are treated as capabilities that are implicitly acquired
410 the set of (regular) capabilities named in thread safety attributes on the
413 applying to that set of associated capabilities, while ``RELEASE`` implies that
414 a function releases all associated capabilities in whatever mode they're held.
481 * ``-Wthread-safety-negative``:  Negative capabilities.  Off by default.
492 Negative Capabilities
603 capabilities must be declared before they can be used in an attribute.
897     // For negative capabilities.