]> Zhao Yanbai Git Server - minix.git/commit
VFS: fix race condition in select(2) 42/3342/1
authorDavid van Moolenbroek <david@minix3.org>
Thu, 4 Aug 2016 16:17:09 +0000 (16:17 +0000)
committerDavid van Moolenbroek <david@minix3.org>
Fri, 5 Aug 2016 11:13:59 +0000 (11:13 +0000)
commit2ff64318e25700b5f55a95b9feecb542e1653175
tree40eb0af3147d3face6fd242343a079b8a13b6019
parenta758ec672ed282a06b16d4ff9c990e6cf336a18f
VFS: fix race condition in select(2)

A select query could deadlock if..

- it was querying a character or socket device that, at the start of
  the select query, was not known to be ready for the requested
  operations;
- this device could not be checked immediately, due to another ongoing
  query to the same character or socket driver;
- the select query had a timer that triggered before the device could
  be checked, thereby changing the select query to non-blocking.

In this situation, a missing flag check would cause the select code to
conclude erroneously that the operations which it flagged for later,
were satisfied.  At the same time, the same flag remained set, so that
the select query would continue to wait for that device.  This
resulted in a deadlock.  The same bug could most likely be triggered
through other scenarios that were even less likely to occur.

This patch fixes the race condition and puts in a hopefully slightly
more informative comment for the affected block of code.

In practice, the bug could be triggered fairly reliably by generating
lots of output in tmux.

Change-Id: I1c909255dcf552e6c7cef08b0cf5cbc41294b99c
minix/servers/vfs/select.c