lkml.org 
[lkml]   [2007]   [Jul]   [23]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [PATCH 6/8] i386: bitops: Don't mark memory as clobbered unnecessarily
    Satyam Sharma wrote:
    > Exactly, but the actual _synchronization_ in all users of the bitops API
    > should (should, at least, otherwise the bugs lie in the callers) depend
    > upon the _bit-string_ whose address is passed to us. That could be some
    > flags/lock/etc in some caller, whatever, but all the synchronization in
    > those users would be based upon _that_ -- and we're handling it alright
    > with the full CPU barrier for _that_ address. Also note that in all the
    > atomic/unatomic variants, we always constrain the passed pointer to
    > memory and for the atomic/locked variants at least, I don't really see
    > how compiler optimizations would get us into trouble (again, for the
    > _passed bit-string memory address_).
    >

    The compiler doesn't know how large the object at that address is, so
    there's limits to how much alias analysis it can do. If it assumes
    you're passing a pointer to a single word then it may fail to order the
    bit operation correctly with respect to another operation on another
    part of the same bitfield (a memset to clear it, for example).

    J
    -
    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: 2007-07-23 19:53    [W:2.614 / U:0.080 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site