diff options
Diffstat (limited to 'Documentation/lockdep-design.txt')
-rw-r--r-- | Documentation/lockdep-design.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Documentation/lockdep-design.txt b/Documentation/lockdep-design.txt index 55a7e4fa8cc2..dab123db5a4f 100644 --- a/Documentation/lockdep-design.txt +++ b/Documentation/lockdep-design.txt | |||
@@ -133,7 +133,7 @@ cases there is an inherent "natural" ordering between the two objects | |||
133 | (defined by the properties of the hierarchy), and the kernel grabs the | 133 | (defined by the properties of the hierarchy), and the kernel grabs the |
134 | locks in this fixed order on each of the objects. | 134 | locks in this fixed order on each of the objects. |
135 | 135 | ||
136 | An example of such an object hieararchy that results in "nested locking" | 136 | An example of such an object hierarchy that results in "nested locking" |
137 | is that of a "whole disk" block-dev object and a "partition" block-dev | 137 | is that of a "whole disk" block-dev object and a "partition" block-dev |
138 | object; the partition is "part of" the whole device and as long as one | 138 | object; the partition is "part of" the whole device and as long as one |
139 | always takes the whole disk lock as a higher lock than the partition | 139 | always takes the whole disk lock as a higher lock than the partition |
@@ -158,11 +158,11 @@ enum bdev_bd_mutex_lock_class | |||
158 | In this case the locking is done on a bdev object that is known to be a | 158 | In this case the locking is done on a bdev object that is known to be a |
159 | partition. | 159 | partition. |
160 | 160 | ||
161 | The validator treats a lock that is taken in such a nested fasion as a | 161 | The validator treats a lock that is taken in such a nested fashion as a |
162 | separate (sub)class for the purposes of validation. | 162 | separate (sub)class for the purposes of validation. |
163 | 163 | ||
164 | Note: When changing code to use the _nested() primitives, be careful and | 164 | Note: When changing code to use the _nested() primitives, be careful and |
165 | check really thoroughly that the hiearchy is correctly mapped; otherwise | 165 | check really thoroughly that the hierarchy is correctly mapped; otherwise |
166 | you can get false positives or false negatives. | 166 | you can get false positives or false negatives. |
167 | 167 | ||
168 | Proof of 100% correctness: | 168 | Proof of 100% correctness: |
@@ -170,7 +170,7 @@ Proof of 100% correctness: | |||
170 | 170 | ||
171 | The validator achieves perfect, mathematical 'closure' (proof of locking | 171 | The validator achieves perfect, mathematical 'closure' (proof of locking |
172 | correctness) in the sense that for every simple, standalone single-task | 172 | correctness) in the sense that for every simple, standalone single-task |
173 | locking sequence that occured at least once during the lifetime of the | 173 | locking sequence that occurred at least once during the lifetime of the |
174 | kernel, the validator proves it with a 100% certainty that no | 174 | kernel, the validator proves it with a 100% certainty that no |
175 | combination and timing of these locking sequences can cause any class of | 175 | combination and timing of these locking sequences can cause any class of |
176 | lock related deadlock. [*] | 176 | lock related deadlock. [*] |