[RFC][PATCH 0/6] using lockdep to validate rcu usage

This patch set uses lockdep to validate rcu usage.

It annotates rcu_read_{,un}lock{,_bh}() to catch imbalances. And further uses
that information to establish a proper context for rcu_dereference().

It also separates implicit from explicit preempt_disable() usage, in order to
separate rcu_dereference() from the locking model.

A kernel (2.6.23-rc4-mm1) with these patches boots but does have some funnies -
I suspect it calls printf from places it doesn't like.

The first patch should be safe to apply, the rest is RFC.

If people want to see the very noisy bootlog this generates:
  http://programming.kicks-ass.net/kernel-patches/lockdep_rcu/lockdep_rcu.log


-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [email protected]
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

---

• Follow-Ups:
  • Re: [RFC][PATCH 0/6] using lockdep to validate rcu usage
    • From: Ingo Molnar <[email protected]>
  • [RFC][PATCH 1/6] lockdep: annotate rcu_read_{,un}lock{,_bh}
    • From: Peter Zijlstra <[email protected]>
  • [RFC][PATCH 4/6] implicit vs explicit preempt_disable()
    • From: Peter Zijlstra <[email protected]>
  • [RFC][PATCH 6/6] fixup early boot
    • From: Peter Zijlstra <[email protected]>
  • [RFC][PATCH 2/6] lockdep: validate rcu_dereference() vs rcu_read_lock()
    • From: Peter Zijlstra <[email protected]>
  • [RFC][PATCH 3/6] lockdep: rcu_dereference() vs preempt_disable()
    • From: Peter Zijlstra <[email protected]>
  • [RFC][PATCH 5/6] fixup funny preemption tricks in irq_exit
    • From: Peter Zijlstra <[email protected]>

• Prev by Date: [RFC][PATCH 1/6] lockdep: annotate rcu_read_{,un}lock{,_bh}
• Next by Date: Re: [PATCH v2] iw_cxgb3: Support "iwarp-only" interfaces to avoid 4-tuple conflicts.
• Previous by thread: [RFC PATCH] 2.6.22.6 netfilter: sk_setup_caps in ip_make_route_harder
• Next by thread: [RFC][PATCH 5/6] fixup funny preemption tricks in irq_exit
• Index(es):
  • Date
  • Thread

[Index of Archives]     [Kernel Newbies]     [Netfilter]     [Bugtraq]     [Photo]     [Stuff]     [Gimp]     [Yosemite News]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Video 4 Linux]     [Linux for the blind]     [Linux Resources]