| commit | 57b7ad7a7b33d1b6f2feeb8b693efab7492658cf | |
| author | Dan Carpenter <error27@gmail.com> | |
| Wed, 18 Feb 2009 11:52:15 +0000 (18 14:52 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Wed, 18 Feb 2009 11:52:15 +0000 (18 14:52 +0300) | ||
| tree | 3b69a0a09a7dda369ff6bbe11096098a409bb57b | treesnapshot (tar.gz zip) |
| parent | ffe7241ad3282ac12f0b1a996e2cb5893af0d581 | commitdiff |
Rewrite completely with new goal.
This time instead of checking that we don't return negative with a lock
held, we check that locks are consistent across all returns.
Add a validation script as well.
This time instead of checking that we don't return negative with a lock
held, we check that locks are consistent across all returns.
Add a validation script as well.
| check_locking.c | diffblobblamehistory | |
| validation/sm_locking.c | [new file with mode: 0644] | blob |