John Baldwin
2d96f0b145
- Move state about lock objects out of struct lock_object and into a new
...
struct lock_instance that is stored in the per-process and per-CPU lock
lists. Previously, the lock lists just kept a pointer to each lock held.
That pointer is now replaced by a lock instance which contains a pointer
to the lock object, the file and line of the last acquisition of a lock,
and various flags about a lock including its recursion count.
- If we sleep while holding a sleepable lock, then mark that lock instance
as having slept and ignore any lock order violations that occur while
acquiring Giant when we wake up with slept locks. This is ok because of
Giant's special nature.
- Allow witness to differentiate between shared and exclusive locks and
unlocks of a lock. Witness will now detect the case when a lock is
acquired first in one mode and then in another. Mutexes are always
locked and unlocked exclusively. Witness will also now detect the case
where a process attempts to unlock a shared lock while holding an
exclusive lock and vice versa.
- Fix a bug in the lock list implementation where we used the wrong
constant to detect the case where a lock list entry was full.
2001-05-04 17:15:16 +00:00
..
2001-05-04 17:15:16 +00:00
2001-05-01 08:13:21 +00:00
1999-12-29 04:46:21 +00:00
2001-04-18 22:18:39 +00:00
2001-01-23 04:40:54 +00:00
2000-12-27 13:14:56 +00:00
1999-12-29 04:46:21 +00:00
2001-04-24 22:45:41 +00:00
2000-06-09 16:04:30 +00:00
2001-03-10 22:47:57 +00:00
2000-06-02 09:27:48 +00:00
2001-03-16 13:08:19 +00:00
2001-01-14 18:48:42 +00:00
2000-10-09 12:34:51 +00:00
1999-08-28 01:08:13 +00:00
2001-05-01 08:13:21 +00:00
2001-03-02 05:33:53 +00:00
2000-11-09 10:21:23 +00:00
2001-04-19 23:15:06 +00:00
2000-11-25 06:22:16 +00:00
2001-03-15 02:54:29 +00:00
2000-01-16 09:25:10 +00:00
2001-03-10 12:05:55 +00:00
1999-12-29 04:46:21 +00:00
2001-01-10 19:17:38 +00:00
1999-12-29 04:46:21 +00:00
1999-12-29 04:46:21 +00:00
2001-01-25 07:29:54 +00:00
2001-05-01 08:13:21 +00:00
2000-01-11 14:54:01 +00:00
2000-04-27 13:34:32 +00:00
2001-01-01 08:05:48 +00:00
1999-12-29 04:46:21 +00:00
2000-05-01 20:32:07 +00:00
2000-10-23 12:55:51 +00:00
2000-05-26 02:09:24 +00:00
2001-05-02 01:08:09 +00:00
1999-08-28 01:08:13 +00:00
1999-12-29 04:46:21 +00:00
2000-06-15 20:30:53 +00:00
2001-01-14 05:14:37 +00:00
2001-01-14 05:14:37 +00:00
2001-01-14 05:14:37 +00:00
2000-10-30 07:03:00 +00:00
2000-09-07 16:38:04 +00:00
1999-12-29 04:46:21 +00:00
1999-12-29 04:46:21 +00:00
2000-05-12 03:36:02 +00:00
1999-08-28 01:08:13 +00:00
1999-08-28 01:08:13 +00:00
2001-02-24 22:23:12 +00:00
1999-08-28 01:08:13 +00:00
2000-05-02 06:02:11 +00:00
2001-02-24 01:44:03 +00:00
2001-05-01 08:13:21 +00:00
2000-07-18 19:31:52 +00:00
1999-12-29 04:46:21 +00:00
2001-03-31 16:20:05 +00:00
2000-04-27 13:34:32 +00:00
2000-04-22 15:22:31 +00:00
1999-12-29 04:46:21 +00:00
2001-02-15 16:34:11 +00:00
2000-11-18 21:01:04 +00:00
1999-12-07 22:25:28 +00:00
2001-03-20 02:10:18 +00:00
1999-08-28 01:08:13 +00:00
2001-04-09 09:39:29 +00:00
1999-12-29 04:46:21 +00:00
2001-02-24 22:20:11 +00:00
2000-09-26 05:09:21 +00:00
1999-12-29 04:46:21 +00:00
2001-04-27 00:29:45 +00:00
1999-08-28 01:08:13 +00:00
1999-12-29 04:46:21 +00:00
2000-10-31 14:30:29 +00:00
1999-08-28 01:08:13 +00:00
1999-12-29 04:46:21 +00:00
1999-12-29 04:46:21 +00:00
2000-12-01 08:57:47 +00:00
2001-04-27 00:29:45 +00:00
2001-02-21 06:39:57 +00:00
1999-12-05 20:02:19 +00:00
2001-03-11 22:51:05 +00:00
2001-04-17 04:18:08 +00:00
2001-02-08 20:28:57 +00:00
2001-02-15 11:35:55 +00:00
2001-02-20 10:39:55 +00:00
2001-01-06 09:34:20 +00:00
2001-03-27 05:45:52 +00:00
2001-05-01 08:13:21 +00:00
2000-09-18 20:40:32 +00:00
2000-09-18 20:40:32 +00:00
2001-02-25 07:24:03 +00:00
2000-10-06 05:20:02 +00:00
2001-05-04 17:15:16 +00:00
2001-05-03 08:57:26 +00:00
2001-05-01 08:13:21 +00:00
2001-01-31 04:50:20 +00:00
2001-05-01 08:13:21 +00:00
2001-02-24 15:44:30 +00:00
2001-04-10 07:59:06 +00:00
2001-03-17 10:00:50 +00:00
2001-02-25 13:12:57 +00:00
1999-12-29 04:46:21 +00:00
2000-02-28 04:10:35 +00:00
2000-04-29 13:19:31 +00:00
2001-05-01 08:13:21 +00:00
2000-10-09 08:08:36 +00:00
2000-05-01 13:33:56 +00:00
2000-12-20 21:50:37 +00:00
2001-01-21 01:34:14 +00:00
2001-05-04 17:15:16 +00:00
2000-09-17 07:26:42 +00:00
1999-08-27 23:45:13 +00:00
2001-02-24 10:44:03 +00:00
1999-12-08 17:44:04 +00:00
1999-08-28 01:08:13 +00:00
2001-01-09 04:33:49 +00:00
2001-02-06 12:05:58 +00:00
1999-12-27 10:22:09 +00:00
2001-02-12 00:20:08 +00:00
2001-04-27 19:28:25 +00:00
1999-08-28 01:08:13 +00:00
2001-02-18 09:34:55 +00:00
1999-08-28 01:08:13 +00:00
2000-10-19 18:55:22 +00:00
2000-12-29 09:55:40 +00:00
2001-02-18 17:40:47 +00:00
1999-08-28 01:08:13 +00:00
2000-04-30 18:33:43 +00:00
2001-05-01 08:13:21 +00:00
2001-01-24 12:35:55 +00:00
2001-02-12 00:20:08 +00:00
2001-02-12 00:20:08 +00:00
2001-03-27 05:45:52 +00:00
2001-01-20 03:11:47 +00:00
2001-01-04 03:29:16 +00:00
2000-05-01 13:33:56 +00:00
2000-01-20 07:55:42 +00:00
1999-12-29 04:46:21 +00:00
2001-04-18 22:18:39 +00:00
2000-09-17 15:23:10 +00:00
2001-04-27 19:28:25 +00:00
1999-12-29 04:46:21 +00:00
2001-04-23 05:13:18 +00:00
2001-02-15 16:34:11 +00:00
2000-07-04 16:35:15 +00:00
2000-09-01 17:38:32 +00:00
2000-07-04 04:58:34 +00:00
2001-05-01 08:13:21 +00:00
2001-04-11 20:21:37 +00:00
2001-04-11 20:21:37 +00:00
2001-04-11 20:21:37 +00:00
2001-02-22 08:13:09 +00:00
2000-12-01 08:57:47 +00:00
1999-08-28 01:08:13 +00:00
2000-11-25 21:00:58 +00:00
2001-04-11 20:21:37 +00:00
2001-04-27 19:28:25 +00:00
2000-06-09 22:32:36 +00:00
2001-03-04 06:04:50 +00:00
2001-03-21 14:31:51 +00:00
1999-08-28 01:08:13 +00:00
1999-12-29 04:46:21 +00:00
1999-08-28 01:08:13 +00:00
1999-12-29 04:46:21 +00:00
2001-01-23 04:44:04 +00:00
2000-03-20 14:09:06 +00:00
2001-04-16 13:05:05 +00:00
2001-02-17 05:40:52 +00:00
1999-08-28 01:08:13 +00:00
2000-01-29 16:47:35 +00:00
2000-11-28 20:03:23 +00:00
1999-08-28 01:08:13 +00:00
2001-03-24 15:17:27 +00:00
1999-10-11 20:33:17 +00:00
2001-05-01 08:13:21 +00:00
2001-02-16 14:31:49 +00:00
1999-12-29 04:46:21 +00:00
2001-03-13 02:55:54 +00:00
2000-05-26 02:09:24 +00:00
2001-05-01 08:13:21 +00:00
2001-03-24 08:37:56 +00:00
2001-01-23 14:32:01 +00:00
1999-09-17 05:34:00 +00:00
2001-05-01 08:34:45 +00:00
1999-12-29 04:46:21 +00:00
1999-08-28 01:08:13 +00:00