lkml.org 
[lkml]   [2010]   [Jun]   [13]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    From
    SubjectRe: uninterruptible CLONE_VFORK (Was: oom: Make coredump interruptible)
    Date
    > Oh. And another problem, vfork() is not interruptible too. This means
    > that the user can hide the memory hog from oom-killer.

    I'm not sure there is really any danger like that, because of the
    oom_kill_process "Try to kill a child first" logic. Eventually the vfork
    child will be chosen and killed, and when it finally exits that will
    release the vfork wait. So if the vfork parent is really the culprit,
    it will then be subject to oom_kill_process sooner or later.

    > But let's forget about oom.

    Sure, but it reminds me to mention that vfork mm sharing is another reason
    that having oom_kill set some persistent state in the mm seems wrong. If a
    vfork child is chosen for oom_kill and killed, then it's possible that will
    relieve the need (e.g. much memory was held indirectly via its fd table or
    whatnot else that is not shared with the parent via mm). So once the child
    is dead, there should not be any lingering bits in the parent's mm.

    > Roland, any reason it should be uninterruptible? This doesn't look good
    > in any case. Perhaps the pseudo-patch below makes sense?

    I've long thought that we should make a vfork parent SIGKILL-able. (Of
    course the vfork wait can't be made interruptible by other signals, since
    it must never do anything userish like signal handler setup until the child
    has died or exec'd.) I don't know off hand of any problem with your
    straightforward change. But I don't have much confidence that there isn't
    any strange gotcha waiting there due to some other kind of implicit
    assumption about vfork parent blocks that we are overlooking at the moment.
    So I wouldn't change this without more thorough auditing and thinking about
    everything related to vfork.

    Personally, what I've really been interested in is changing the vfork wait
    to use some different kind of blocking entirely. My real motivation for
    that is to let a vfork wait be morphed into and out of TASK_TRACED, so a
    debugger can examine its registers and so forth. That would entail letting
    the vfork/clone syscall return fully back to the asm level so it could stop
    in a proper state some place like the syscall-exit or notify-resume points.
    However, that has other wrinkles on machines like sparc and ia64, where
    user_regset access can involve user memory access. Since we can't allow
    those while the user memory is still shared with the child, it might not
    really be practical at all.


    Thanks,
    Roland


    \
     
     \ /
      Last update: 2010-06-14 02:59    [W:3.180 / U:0.020 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site