Mathieu Desnoyers
a5d8e467f8
Debugobjects transition check ...
Implement a basic state machine checker in the debugobjects.
This state machine checker detects races and inconsistencies within the "active"
life of a debugobject. The checker only keeps track of the current state; all
the state machine logic is kept at the object instance level.
The checker works by adding a supplementary "unsigned int astate" field to the
debug_obj structure. It keeps track of the current "active state" of the object.
The only constraints that are imposed on the states by the debugobjects system
is that:
- activation of an object sets the current active state to 0,
- deactivation of an object expects the current active state to be 0.
For the rest of the states, the state mapping is determined by the specific
object instance. Therefore, the logic keeping track of the state machine is
within the specialized instance, without any need to know about it at the
debugobject level.
The current object active state is changed by calling:
debug_object_active_state(addr, descr, expect, next)
where "expect" is the expected state and "next" is the next state to move to if
the expected state is found. A warning is generated if the expected is not
found.
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Reviewed-by: Thomas Gleixner <tglx@linutronix.de>
Acked-by: David S. Miller <davem@davemloft.net>
CC: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
CC: akpm@linux-foundation.org
CC: mingo@elte.hu
CC: laijs@cn.fujitsu.com
CC: dipankar@in.ibm.com
CC: josh@joshtriplett.org
CC: dvhltc@us.ibm.com
CC: niv@us.ibm.com
CC: peterz@infradead.org
CC: rostedt@goodmis.org
CC: Valdis.Kletnieks@vt.edu
CC: dhowells@redhat.com
CC: eric.dumazet@gmail.com
CC: Alexey Dobriyan <adobriyan@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
2010-05-10 16:08:01 -07:00
lib: add support for LZO-compressed kernels
2010-01-11 09:34:04 -08:00
lib: Remove unnecessary inclusions of asm/semaphore.h
2008-04-18 22:17:17 -04:00
trivial: fix typo "to to" in multiple files
2009-09-21 15:14:55 +02:00
inflate_fast: sout is already a short so ptr arith was off by one.
2010-03-12 15:52:44 -08:00
tree-wide: convert open calls to remove spaces to skip_spaces() lib function
2009-12-15 08:53:32 -08:00
lib: export generic atomic64_t functions
2009-07-29 19:10:35 -07:00
[PATCH] audit signal recipients
2007-05-11 05:38:25 -04:00
rtc: BCD codeshrink
2008-07-24 10:47:33 -07:00
bitmap: use for_each_set_bit()
2010-03-06 11:26:35 -08:00
lib: export bitrev16
2008-06-06 11:29:10 -07:00
[LogFS] add new flash file system
2009-11-20 20:13:39 +01:00
allow bug table entries to use relative pointers (and use it on x86-64)
2008-12-16 18:40:32 +01:00
oops handling: ensure that any oops is flushed to the mtdoops console
2009-01-06 15:59:11 -08:00
uninline check_signature()
2007-07-16 09:05:50 -07:00
lib/checksum: fix one more thinko
2009-11-03 16:06:53 +01:00
generic, memparse(): constify argument
2008-07-28 15:05:23 +02:00
include cleanup: Update gfp.h and slab.h includes to prepare for breaking implicit slab.h inclusion from percpu.h
2010-03-30 22:02:32 +09:00
CRC ITU-T V.41
2007-05-10 18:24:13 +02:00
[SCSI] lib: Add support for the T10 (SCSI) Data Integrity Field CRC
2008-07-12 08:22:32 -05:00
CRC7 support
2007-07-17 10:23:04 -07:00
include cleanup: Update gfp.h and slab.h includes to prepare for breaking implicit slab.h inclusion from percpu.h
2010-03-30 22:02:32 +09:00
ctype: constify read-only _ctype string
2009-12-15 08:53:32 -08:00
rcu: Introduce lockdep-based checking to RCU read-side primitives
2010-02-25 09:40:59 +01:00
Debugobjects transition check
2010-05-10 16:08:01 -07:00
atomic: only take lock when the counter drops to zero on UP as well
2009-06-16 19:47:47 -07:00
Add LZO compression support for initramfs and old-style initrd
2010-01-11 09:34:05 -08:00
bzip2: Add missing checks for malloc returning NULL
2009-12-15 14:04:19 -08:00
lzma/gzip: fix potential oops when input data is truncated
2009-09-24 07:21:05 -07:00
lzma/gzip: fix potential oops when input data is truncated
2009-09-24 07:21:05 -07:00
lib: fix the use of LZO to decompress initramfs images
2010-04-24 11:31:25 -07:00
include cleanup: Update gfp.h and slab.h includes to prepare for breaking implicit slab.h inclusion from percpu.h
2010-03-30 22:02:32 +09:00
add an inlined version of iter_div_u64_rem
2008-06-12 10:47:58 +02:00
dma-debug: Cleanup for copy-loop in filter_write()
2010-04-07 14:36:27 +02:00
include cleanup: Update gfp.h and slab.h includes to prepare for breaking implicit slab.h inclusion from percpu.h
2010-03-30 22:02:32 +09:00
module: trim exception table on init free.
2009-06-12 21:47:04 +09:30
headers: remove sched.h from interrupt.h
2009-10-11 11:20:58 -07:00
bitmap: find_last_bit()
2009-01-01 10:12:19 +10:30
bitops: remove "optimizations"
2008-04-29 08:11:16 -07:00
flex_array: fix the panic when calling flex_array_alloc() without __GFP_ZERO
2010-04-24 11:31:24 -07:00
lib: add lib/gcd.c
2009-06-18 13:04:05 -07:00
include cleanup: Update gfp.h and slab.h includes to prepare for breaking implicit slab.h inclusion from percpu.h
2010-03-30 22:02:32 +09:00
hexdump: remove the trailing space
2009-06-16 19:47:51 -07:00
x86, core: Optimize hweight32()
2009-12-28 10:41:39 +01:00
idr: Apply lockdep-based diagnostics to rcu_dereference() uses
2010-02-25 10:34:51 +01:00
include cleanup: Update gfp.h and slab.h includes to prepare for breaking implicit slab.h inclusion from percpu.h
2010-03-30 22:02:32 +09:00
Use WARN() in lib/
2008-07-26 12:00:07 -07:00
iommu-helper: use bitmap library
2009-12-16 07:20:18 -08:00
lib/ioremap.c should #include <linux/io.h>
2007-10-17 08:42:50 -07:00
kernel: is_current_single_threaded: don't use ->mmap_sem
2009-07-17 09:11:31 +10:00
include cleanup: Update gfp.h and slab.h includes to prepare for breaking implicit slab.h inclusion from percpu.h
2010-03-30 22:02:32 +09:00
Revert "lib: build list_sort() only if needed"
2010-03-07 09:54:44 -08:00
rcu: enable CPU_STALL_VERBOSE by default
2010-05-10 11:08:34 -07:00
kgdb: remove the requirement for CONFIG_FRAME_POINTER
2008-08-01 08:39:34 -05:00
kmemcheck: depend on HAVE_ARCH_KMEMCHECK
2009-07-01 22:28:44 +02:00
bkl: Fixup core_lock fallout
2009-12-14 23:55:33 +01:00
driver core: Remove completion from struct klist_node
2009-01-06 10:44:30 -08:00
Driver core: Constify struct sysfs_ops in struct kobj_type
2010-03-07 17:04:49 -08:00
include cleanup: Update gfp.h and slab.h includes to prepare for breaking implicit slab.h inclusion from percpu.h
2010-03-30 22:02:32 +09:00
include cleanup: Update gfp.h and slab.h includes to prepare for breaking implicit slab.h inclusion from percpu.h
2010-03-30 22:02:32 +09:00
block: Fix overrun in lcm() and move it to lib
2010-03-15 12:47:59 +01:00
libcrc32c: Fix "crc32c undefined" compilation error
2008-12-25 11:01:42 +11:00
list debugging: use WARN() instead of BUG()
2008-07-25 10:53:29 -07:00
lib: revise list_sort() header comment
2010-03-06 11:26:35 -08:00
lmb: Add lmb_free()
2010-02-03 17:39:50 +11:00
locking: rename trace_softirq_[enter|exit] => lockdep_softirq_[enter|exit]
2009-03-13 01:32:36 +01:00
The DRBD driver
2009-10-01 21:17:49 +02:00
block: Fix overrun in lcm() and move it to lib
2010-03-15 12:47:59 +01:00
Merge branch 'master' of git://git.kernel.org/pub/scm/linux/kernel/git/kaber/nf-next-2.6
2009-03-26 22:45:23 -07:00
parser: remove unnecessary strlen()
2009-12-15 08:53:33 -08:00
Merge branch 'core-fixes-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/linux-2.6-tip
2009-01-06 17:10:04 -08:00
plist: Make plist debugging raw_spinlock aware
2009-12-14 23:55:33 +01:00
lib: fix sparse shadowed variable warning
2009-01-06 15:59:11 -08:00
Merge branch 'core-fixes-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/linux-2.6-tip
2009-01-06 17:10:04 -08:00
radix_tree_tag_get() is not as safe as the docs make out [ver #2 ]
2010-04-09 10:12:03 -07:00
random32: seeding improvement
2008-07-30 16:29:19 -07:00
ratelimit: fix the return value when __ratelimit() fails to acquire the lock
2010-04-07 08:38:04 -07:00
lib/rational.c needs module.h
2010-01-11 09:34:05 -08:00
rb_tree: remove redundant if()-condition in rb_erase()
2009-06-16 19:47:56 -07:00
rwsem generic spinlock: use IRQ save/restore spinlocks
2010-04-07 16:15:05 -07:00
x86: fix UML and -regparm=3
2008-01-30 13:33:00 +01:00
include cleanup: Update gfp.h and slab.h includes to prepare for breaking implicit slab.h inclusion from percpu.h
2010-03-30 22:02:32 +09:00
mm: use the same log level for show_mem()
2010-03-06 11:26:27 -08:00
cpumask: convert lib/smp_processor_id to new cpumask ops
2009-01-30 15:47:34 +01:00
generic swap(): lib/sort.c: rename swap to swap_func
2009-01-08 08:31:14 -08:00
locking: Further name space cleanups
2009-12-14 23:55:33 +01:00
lib/string.c: simplify strnstr()
2010-03-06 11:26:35 -08:00
[SCSI] lib: string_get_size(): don't hang on zero; no decimals on exact
2008-10-23 11:42:20 -05:00
include cleanup: Update gfp.h and slab.h includes to prepare for breaking implicit slab.h inclusion from percpu.h
2010-03-30 22:02:32 +09:00
task_current_syscall
2008-07-26 12:00:10 -07:00
include cleanup: Update gfp.h and slab.h includes to prepare for breaking implicit slab.h inclusion from percpu.h
2010-03-30 22:02:32 +09:00
textsearch: ts_bm: support case insensitive searching in Boyer-Moore algorithm
2008-07-08 02:37:54 -07:00
textsearch: ts_fsm: return error on request for case insensitive search
2008-07-08 02:38:27 -07:00
textsearch: ts_kmp: support case insensitive searching in Knuth-Morris-Pratt algorithm
2008-07-08 02:38:09 -07:00
lib/vsprintf.c: add missing EXPORT_SYMBOL(simple_strtoll)
2010-04-24 11:31:26 -07:00
a5d8e467f8