Fix poll and select POSIX compliancy details about errors
authorSamuel Thibault <samuel.thibault@ens-lyon.org>
Mon, 30 Dec 2019 18:12:42 +0000 (18:12 +0000)
committerAurelien Jarno <aurel32@debian.org>
Mon, 30 Dec 2019 18:12:42 +0000 (18:12 +0000)
commit208b3d8e2e10d9f6a564aaf463b5e672c4ee499d
tree0a9b90643a7b201c4ff9fba1bfd5355f095720de
parent91785e7ed64ba8488f3e34d512bce1a41d4afae1
Fix poll and select POSIX compliancy details about errors

This fixes the following:

- On error, poll must not return without polling, including EBADF, and instead
report POLLHUP/POLLERR/POLLNVAL
- Select must report EBADF if some set contains an invalid FD.

The idea is to move error management to after all select calls, in the
poll/select final treatment. The error is instead recorded in a new `error'
field, and a new SELECT_ERROR bit set.

Thanks Svante Signell for the initial version of the patch.

* hurd/hurdselect.c (SELECT_ERROR): New macro.
(_hurd_select):
- Add `error' field to `d' structures array.
- If a poll descriptor is bogus, set EBADF, but continue with a zero timeout.
- Go through the whole fd_set, not only until _hurd_dtablesize. Return EBADF
there is any bit set above _hurd_dtablesize.
- Do not request io_select on bogus descriptors (SELECT_ERROR).
- On io_select request error, record the error.
- On io_select bogus reply, use EIO error code.
- On io_select bogus or error reply, record the error.
- Do not destroy reply port for bogus FDs.
- On error, make poll set POLLHUP in the EPIPE case, POLLNVAL in the EBADF
case, or else POLLERR.
- On error, make select simulated readiness.

Gbp-Pq: Topic hurd-i386
Gbp-Pq: Name tg-poll_errors_fixes.diff
hurd/hurdselect.c