Lines Matching refs:dependencies

20 the dependencies between different lock-classes. Lock usage indicates
26 continuing effort to prove lock usages and dependencies are correct or
32 class and hence their usages and dependencies will contribute to those of
156 Furthermore, the following usage based lock dependencies are not allowed
192 Exception: Nested data dependencies leading to nested locking
302 single-task locking dependencies in the kernel as possible, at least
514 Lock dependencies record the orders of the acquisitions of a pair of locks, and
516 dependencies, but we can show that 4 types of lock dependencies are enough for
551 Note that given two locks, they may have multiple dependencies between them,
572 in the path, as the path that doesn't have two conjunct edges (dependencies) as
574 walking to another through the lock dependencies, and if X -> Y -> Z is in the
610 , which means we have dependencies::