lkml.org 
[lkml]   [2006]   [Mar]   [9]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [PATCH] Document Linux's memory barriers [try #2]
    Jesse Barnes writes:

    > Hm, a static checker should be able to find this stuff, shouldn't it?

    Good idea. I wonder if sparse could be extended to do it.

    Alternatively, it wouldn't be hard to check dynamically. Just have a
    per-cpu count of outstanding MMIO stores. Zero it in spin_lock and
    mmiowb, increment it in write*, and grizzle if spin_unlock finds it
    non-zero. Should be very little overhead.

    Paul.
    -
    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-03-09 08:44    [W:4.584 / U:0.000 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site