lkml.org 
[lkml]   [2007]   [Aug]   [31]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    From
    SubjectRE: Nonblocking call may block in a mutex? Nonblocking call after poll may fail?
    Date

    > If this output-buffer has "4-bytes space remaining for process A",
    > then a non-blocking write of process A could still encounter a locked
    > mutex, if process B is busy writing to the output-buffer.

    Of course.

    > Should process A now block/sleep until that mutex is free and it can
    > access the output-buffer (and it's 4 bytes space)?

    That depends on how long the other process might hold the mutex. If it's
    just the time it takes to copy the buffer and do fast things, then it should
    wait. If it might be a long time, then it's probably better not to block, as
    the process requested.

    > What about a non-blocking (write-) poll of process A: if the poll call
    > succeeds (the output buffer has space remaining for process A), and
    > process A now performs a non-blocking write: what happens if A
    > encounters a blocked mutex, since process B is busy writing to the
    > output-buffer.
    > a) Should A block until the mutex is available?

    Probably, unless the mutex is one that could be held for a very long time.
    It really depends upon what semantics make sense with your driver. Is the
    wait so short it should be considered not blocking or is it potentially long
    enough that it should be avoided?

    A non-blocking call does not mean it must never ever lose the CPU at all
    under any circumstances. It just means no waits for "too long".

    > b) Should A return -EAGAIN, even though the poll call succeeded?

    If the wait would be for too long, then yes.

    > c) Should it be impossible for this to happen! i.e. -> should process
    > A already "have" the mutex in question, when the poll call succeeds
    > (thus preventing B from writing to the output buffer)

    No. Functions like 'poll' and 'select' are just status-reporting functions.
    They should not change the semantics of other operations unless that's
    unavoidable.

    > For c) What if process A "has" the mutex, but never does the
    > non-blocking write. Then no process can write, since the mutex is held
    > by process A...

    Right. That's why return values from 'poll' and 'select' don't guarantee
    future behavior.

    DS


    -
    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-08-31 23:37    [W:0.028 / U:93.212 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site