Re: Sparse "context" checking..

From: Roland Dreier (roland_at_topspin.com)
Date: 10/31/04

  • Next message: Pedro Larroy: "Re: 2.6.9-mm1 A little build system bug I guess"
    To: Linus Torvalds <torvalds@osdl.org>
    Date:	Sat, 30 Oct 2004 21:11:24 -0700
    
    

        Linus> In particular, this is designed for doing things like
        Linus> matching up a "lock" with the pairing "unlock", and right
        Linus> now that's exactly what the code does: it makes each
        Linus> spinlock count as "+1" in the context, and each spinunlock
        Linus> count as "-1", and then hopefully it should all add up.

    Do you have a plan for how to handle functions like spin_trylock()? I
    notice in the current tree you just didn't annotate spin_trylock().

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


  • Next message: Pedro Larroy: "Re: 2.6.9-mm1 A little build system bug I guess"

    Relevant Pages

    • Re: (0 == foo), rather than (foo == 0)
      ... mru@kth.se (Måns Rullgård) writes: ... >> Hi Linus. ... send the line "unsubscribe linux-kernel" in ... Please read the FAQ at http://www.tux.org/lkml/ ...
      (Linux-Kernel)
    • Re: [PATCH] Fix argument checking in sched_setaffinity
      ... On Sat, 4 Sep 2004, Paul Jackson wrote: ... > How is what Linus left more broken? ... send the line "unsubscribe linux-kernel" in ... Please read the FAQ at http://www.tux.org/lkml/ ...
      (Linux-Kernel)
    • where is current kernel ?
      ... Is there currently a kernel tree that Linus is working? ... send the line "unsubscribe linux-kernel" in ... Please read the FAQ at http://www.tux.org/lkml/ ...
      (Linux-Kernel)
    • Re: I/O errors in -test7-mm1 tree on ia64
      ... > I don't see this when using Linus' BK tree as of a few minutes ago, ... send the line "unsubscribe linux-kernel" in ... Please read the FAQ at http://www.tux.org/lkml/ ...
      (Linux-Kernel)
    • Permedia2 fbdev updates.
      ... Linus, please do a ... [PERMEDIA2 FBDEV] ... send the line "unsubscribe linux-kernel" in ... Please read the FAQ at http://www.tux.org/lkml/ ...
      (Linux-Kernel)