lkml.org 
[lkml]   [2006]   [May]   [29]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [patch 27/61] lock validator: prove spinlock/rwlock locking correctness
    On Mon, 29 May 2006 23:25:23 +0200
    Ingo Molnar <mingo@elte.hu> wrote:

    > +# define spin_lock_init_key(lock, key) \
    > + __spin_lock_init((lock), #lock, key)

    erk. This adds a whole new layer of obfuscation on top of the existing
    spinlock header files. You already need to run the preprocessor and
    disassembler to even work out which flavour you're presently using.

    Ho hum.
    -
    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/

    \
     
     \ /
      Last update: 2006-05-30 03:39    [W:4.305 / U:0.796 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site