[lkml]   [2003]   [Sep]   [4]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    SubjectRe: [PATCH 2] Little fixes to previous futex patch
    On Wed, 3 Sep 2003, Jamie Lokier wrote:
    > Patch name: futex-nonlinear-2.6.0-test4-02jl
    > Depends on: futex-fixes-2.6.0-test4-01jl

    I've now read your patches, they look good to me:
    I particularly like the way you divided up the locking.

    In sys_remap_file_pages, you set the VM_NONLINEAR flag, then clear
    it if this particular population matches the vma. No, you cannot
    clear that flag once set, without checking every page and pte_file
    already set within the vma. Check if population matches vma first,
    and if it doesn't match just set the VM_NONLINEAR flag in that case.
    (Andrew already mentioned locking: I'd have said page_table_lock,
    but his mmap_sem is also appropriate: it's an odd case.)

    I think rip out the FIXADDR_USER_START bit, it's rather over-the-top,
    ugly: and that area is readonly, so not a useful place for a futex.

    The units of keys[1]: bytes if private but pages if shared.
    That's okay for now I think, but if a hashing expert comes along
    later s/he'll probably want to change it. The current hash does
    add key1 to offset, which is okay: if it xor'ed you'd lose the
    the offset bits in the private case.

    Those keys[1] pages: in units of PAGE_SIZE in the linear case,
    of PAGE_CACHE_SIZE in the nonlinear case. Oh well, this is far
    from the only place with such an inconsistency, let's worry
    about that when never comes.

    The err at the end of __get_page_keys would be 1 from successful
    get_user_pages, treated as error by the callers: need to make it 0.

    futex_wait: I didn't get around to it in my version, so haven't
    thought through the issues, but I'm a bit worried that you get
    curval for -EWOULDBLOCK check without holding the futex_lock.
    That looks suspicious to me, but I'm going to be lazy and not
    try to think about it, because Rusty is sure to understand the
    races there. If that code is insufficient as you have it, may
    need __pin_page reinstated for just that case (hmm, was that
    get_user right before? I'd expect it to kmap_atomic pinned page.)


    To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
    the body of a message to
    More majordomo info at
    Please read the FAQ at

     \ /
      Last update: 2005-03-22 13:48    [W:0.060 / U:1.556 seconds]
    ©2003-2017 Jasper Spaans. hosted at Digital OceanAdvertise on this site