X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Documentation%2Flockdep-design.txt;h=488773018152056ea159685e732e42452a7ae142;hb=ec5e69f6d3f4350681d6f7eaae515cf014be9276;hp=2a76a4af598c91d8abcb64b03adc4036b529a436;hpb=2fe0ae78c6975d6fa2fc0c84f2b8944543054105;p=linux-2.6 diff --git a/Documentation/lockdep-design.txt b/Documentation/lockdep-design.txt index 2a76a4af59..4887730181 100644 --- a/Documentation/lockdep-design.txt +++ b/Documentation/lockdep-design.txt @@ -50,10 +50,10 @@ The bit position indicates hardirq, softirq, hardirq-read, softirq-read respectively, and the character displayed in each indicates: - '.' acquired while irqs enabled + '.' acquired while irqs disabled '+' acquired in irq context - '-' acquired in process context with irqs disabled - '?' read-acquired both with irqs enabled and in irq context + '-' acquired with irqs enabled + '?' read acquired in irq context with irqs enabled. Unused mutexes cannot be part of the cause of an error. @@ -170,7 +170,7 @@ Proof of 100% correctness: The validator achieves perfect, mathematical 'closure' (proof of locking correctness) in the sense that for every simple, standalone single-task -locking sequence that occured at least once during the lifetime of the +locking sequence that occurred at least once during the lifetime of the kernel, the validator proves it with a 100% certainty that no combination and timing of these locking sequences can cause any class of lock related deadlock. [*]