aio poll V22 (aka 2.0)

From: Christoph Hellwig
Date: Mon Aug 06 2018 - 04:31:34 EST


Hi all,

this series adds support for the IOCB_CMD_POLL operation to poll for the
readyness of file descriptors using the aio subsystem. The API is based
on patches that existed in RHAS2.1 and RHEL3, which means it already is
supported by libaio.

As our dear leader didn't like the ->poll_mask method this tries to
implement the behavior using plain old ->poll which is rather painful.
For one we only support ->poll instances with a single wait queue behind
them and reject the request otherwise, which isn't really different from
the previous ->poll_mask requirement, just implemented in a rathet
awkward way.
Second we had to implement a refcount on struct aio_iocb (although it
is kept as a no-op for non-poll commands) so that we can safely handle
the case of ->poll returning a mask after it got a wakeup. This
also means there is a lot of open coded magic for the waitqueue
removals and dealing with ki_list to deal with these cases.
Last but not least to avoid a guaranteed context switch on every wakeup
we trust keyed wakeups, which from an audit of the users seems to be
good. The only thing it loses is batching of multiple wakeups in
a short time period into a single result.

The changes were sponsored by Scylladb.

git://git.infradead.org/users/hch/vfs.git aio-poll.22

Gitweb:

http://git.infradead.org/users/hch/vfs.git/shortlog/refs/heads/aio-poll.22

Libaio changes:

https://pagure.io/libaio.git io-poll

Seastar changes:

https://github.com/avikivity/seastar/commits/aio

Changes since v21:
- rework the cancellation and early complete logic based on feedback
from Al

Changes since v20:
- use a refcount_t instead of an atomic_t for ki_refcnt

Changes since v13:
- rewritten to use ->poll

Changes since v12:
- remove iocb from ki_list only after ki_cancel has completed
- fix __poll_t annotations
- turn __poll_t sparse checkin on by default
- call fput after aio_complete
- only add the iocb to active_reqs if we wait for it

Changes since v11:
- simplify cancellation by completion poll requests from a workqueue
if we can't take the ctx_lock

Changes since v10:
- fixed a mismerge that let a sock_rps_record_flow sneak into
tcp_poll_mask
- remove the now unused struct proto_ops get_poll_head method

Changes since v9:
- add to the delayed_cancel_reqs earlier to avoid a race
- get rid of POLL_TO_PTR magic

Changes since v8:
- make delayed cancellation conditional again
- add a cancel_kiocb file operation to split delayed vs normal cancel

Changes since v7:
- make delayed cancellation safe and unconditional

Changes since v6:
- reworked cancellation

Changes since v5:
- small changelog updates
- rebased on top of the aio-fsync changes

Changes since v4:
- rebased ontop of Linux 4.16-rc4

Changes since v3:
- remove the pre-sleep ->poll_mask call in vfs_poll,
allow ->get_poll_head to return POLL* values.

Changes since v2:
- removed a double initialization
- new vfs_get_poll_head helper
- document that ->get_poll_head can return NULL
- call ->poll_mask before sleeping
- various ACKs
- add conversion of random to ->poll_mask
- add conversion of af_alg to ->poll_mask
- lacking ->poll_mask support now returns -EINVAL for IOCB_CMD_POLL
- reshuffled the series so that prep patches and everything not
requiring the new in-kernel poll API is in the beginning

Changes since v1:
- handle the NULL ->poll case in vfs_poll
- dropped the file argument to the ->poll_mask socket operation
- replace the ->pre_poll socket operation with ->get_poll_head as
in the file operations