diff options
author | Linus Torvalds <torvalds@g5.osdl.org> | 2006-10-03 19:35:11 -0400 |
---|---|---|
committer | Linus Torvalds <torvalds@g5.osdl.org> | 2006-10-03 19:35:11 -0400 |
commit | 708e16892e1646594a29eaa7ac7b209b600b9fd2 (patch) | |
tree | fe7c31bc0edef84eb1075c7e195340047d6aaa17 /Documentation/lockdep-design.txt | |
parent | f3c87a8999c28f2948ebd407574f7e9fb5c577b2 (diff) | |
parent | a847825970e741e20a09c659978baa34016b63bc (diff) |
Merge git://git.kernel.org/pub/scm/linux/kernel/git/bunk/trivial
* git://git.kernel.org/pub/scm/linux/kernel/git/bunk/trivial: (39 commits)
Add missing maintainer countries in CREDITS
Fix bytes <-> kilobytes typo in Kconfig for ramdisk
fix a typo in Documentation/pi-futex.txt
BUG_ON conversion for fs/xfs/
BUG_ON() conversion in fs/nfsd/
BUG_ON conversion for fs/reiserfs
BUG_ON cleanups in arch/i386
BUG_ON cleanup in drivers/net/tokenring/
BUG_ON cleanup for drivers/md/
kerneldoc-typo in led-class.c
debugfs: spelling fix
rcutorture: Fix incorrect description of default for nreaders parameter
parport: Remove space in function calls
Michal Wronski: update contact info
Spelling fix: "control" instead of "cotrol"
reboot parameter in Documentation/kernel-parameters.txt
Fix copy&waste bug in comment in scripts/kernel-doc
remove duplicate "until" from kernel/workqueue.c
ite_gpio fix tabbage
fix file specification in comments
...
Fixed trivial path conflicts due to removed files:
arch/mips/dec/boot/decstation.c, drivers/char/ite_gpio.c
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. [*] |