RE: O_NONBLOCK is broken




The problem is, O_NONBLOCK flag is not attached to file *descriptor*,
but to a "file description" mentioned in fcntl manpage:
[snip]
We don't know whether our stdout descriptor #1 is shared with
anyone or not,
and if we were started from shell, it typically is. That's why we try to
restore flags ASAP.

But "ASAP" isn't soon enough. Between setting and clearing O_NONBLOCK,
other process which share fd #1 with us may well be affected
by file suddenly becoming O_NONBLOCK under its feet.

Worse, other process can do the same
fcntl(1, F_SETFL, fl | O_NONBLOCK);
...
fcntl(1, F_SETFL, fl);
sequence, and first fcntl can return flags with O_NONBLOCK set
(because of
us), and then second fcntl will set O_NONBLOCK permanently, which is not
what was intended!
[snip]
P.S. Hmm, it seems fcntl GETFL/SETFL interface seems to be racy:

int fl = fcntl(fd, F_GETFL, 0);
/* other process can muck with file flags here */
fcntl(fd, F_SETFL, fl | SOME_BITS);

How can I *atomically* add or remove bits from file flags?

Simply put, you cannot change file flags on a shared descriptor. It is a bug
to do so, a bug that is sadly present in many common programs.

I like the idea of being able to specify blocking or non-blocking behavior
in the operation. It is not too uncommon to want to perform blocking
operations sometimes and non-blocking operations other times for the same
object and having to keep changing modes, even if it wasn't racy, is a pain.

However, there's a much more fundamental problem here. Processes need a good
way to get exclusive use of their stdin, stdout, and stderr streams and
there is no good way. Perhaps an "exclusive lock" that blocked all other
process' attempts to use the terminal until it was released would be a good
thing.

DS


-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/



Relevant Pages

  • Re: From "The Camel Book", Ch. 16 (IPC)
    ... Quoth rihad: ... use Fcntl ':flock'; ... flock# a blocking, exclusive lock ...
    (comp.lang.perl.misc)
  • Re: Setting an exclusive lock on a file
    ... Eugene Perederey schrieb: ... I want to set an exclusive lock on a file so other processes wouldn't ... import fcntl ... But it turns out that my script doesn't write anything to file whereas ...
    (comp.lang.python)