blob: 4ceba13a7db0f60510174c8b8d46f461ab3034ea [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * An async IO implementation for Linux
3 * Written by Benjamin LaHaise <bcrl@kvack.org>
4 *
5 * Implements an efficient asynchronous io interface.
6 *
7 * Copyright 2000, 2001, 2002 Red Hat, Inc. All Rights Reserved.
Christoph Hellwigbfe40372018-07-16 09:08:20 +02008 * Copyright 2018 Christoph Hellwig.
Linus Torvalds1da177e2005-04-16 15:20:36 -07009 *
10 * See ../COPYING for licensing terms.
11 */
Kent Overstreetcaf41672013-05-07 16:18:35 -070012#define pr_fmt(fmt) "%s: " fmt, __func__
13
Linus Torvalds1da177e2005-04-16 15:20:36 -070014#include <linux/kernel.h>
15#include <linux/init.h>
16#include <linux/errno.h>
17#include <linux/time.h>
18#include <linux/aio_abi.h>
Paul Gortmaker630d9c42011-11-16 23:57:37 -050019#include <linux/export.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070020#include <linux/syscalls.h>
Jens Axboeb9d128f2009-10-29 13:59:26 +010021#include <linux/backing-dev.h>
Christoph Hellwig9018ccc2018-07-24 11:36:37 +020022#include <linux/refcount.h>
Badari Pulavarty027445c2006-09-30 23:28:46 -070023#include <linux/uio.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070024
Ingo Molnar174cd4b2017-02-02 19:15:33 +010025#include <linux/sched/signal.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070026#include <linux/fs.h>
27#include <linux/file.h>
28#include <linux/mm.h>
29#include <linux/mman.h>
Kent Overstreete1bdd5f2013-04-26 10:58:39 +100030#include <linux/percpu.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070031#include <linux/slab.h>
32#include <linux/timer.h>
33#include <linux/aio.h>
34#include <linux/highmem.h>
35#include <linux/workqueue.h>
36#include <linux/security.h>
Davide Libenzi9c3060b2007-05-10 22:23:21 -070037#include <linux/eventfd.h>
Jeff Moyercfb1e332009-10-02 18:57:36 -040038#include <linux/blkdev.h>
Jeff Moyer9d85cba72010-05-26 14:44:26 -070039#include <linux/compat.h>
Gu Zheng36bc08c2013-07-16 17:56:16 +080040#include <linux/migrate.h>
41#include <linux/ramfs.h>
Kent Overstreet723be6e2013-05-28 15:14:48 -070042#include <linux/percpu-refcount.h>
Benjamin LaHaise71ad7492013-09-17 10:18:25 -040043#include <linux/mount.h>
David Howells52db59d2019-03-25 16:38:23 +000044#include <linux/pseudo_fs.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070045
Linus Torvalds7c0f6ba2016-12-24 11:46:01 -080046#include <linux/uaccess.h>
Jeff Moyera538e3f2018-12-11 12:37:49 -050047#include <linux/nospec.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070048
Al Viro68d70d02013-06-19 15:26:04 +040049#include "internal.h"
50
Christoph Hellwigf3a27522018-03-30 11:19:25 +020051#define KIOCB_KEY 0
52
Kent Overstreet4e179bc2013-05-07 16:18:33 -070053#define AIO_RING_MAGIC 0xa10a10a1
54#define AIO_RING_COMPAT_FEATURES 1
55#define AIO_RING_INCOMPAT_FEATURES 0
56struct aio_ring {
57 unsigned id; /* kernel internal index number */
58 unsigned nr; /* number of io_events */
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -040059 unsigned head; /* Written to by userland or under ring_lock
60 * mutex by aio_read_events_ring(). */
Kent Overstreet4e179bc2013-05-07 16:18:33 -070061 unsigned tail;
62
63 unsigned magic;
64 unsigned compat_features;
65 unsigned incompat_features;
66 unsigned header_length; /* size of aio_ring */
67
68
Gustavo A. R. Silva241cb282020-05-28 09:35:11 -050069 struct io_event io_events[];
Kent Overstreet4e179bc2013-05-07 16:18:33 -070070}; /* 128 bytes + ring size */
71
Jens Axboea79d40e2018-12-04 09:45:32 -070072/*
73 * Plugging is meant to work with larger batches of IOs. If we don't
74 * have more than the below, then don't bother setting up a plug.
75 */
76#define AIO_PLUG_THRESHOLD 2
77
Kent Overstreet4e179bc2013-05-07 16:18:33 -070078#define AIO_RING_PAGES 8
Kent Overstreet4e179bc2013-05-07 16:18:33 -070079
Benjamin LaHaisedb446a02013-07-30 12:54:40 -040080struct kioctx_table {
Tejun Heod0264c02018-03-14 12:10:17 -070081 struct rcu_head rcu;
82 unsigned nr;
83 struct kioctx __rcu *table[];
Benjamin LaHaisedb446a02013-07-30 12:54:40 -040084};
85
Kent Overstreete1bdd5f2013-04-26 10:58:39 +100086struct kioctx_cpu {
87 unsigned reqs_available;
88};
89
Jens Axboedc48e562015-04-15 11:17:23 -060090struct ctx_rq_wait {
91 struct completion comp;
92 atomic_t count;
93};
94
Kent Overstreet4e179bc2013-05-07 16:18:33 -070095struct kioctx {
Kent Overstreet723be6e2013-05-28 15:14:48 -070096 struct percpu_ref users;
Kent Overstreet36f55882013-05-07 16:18:41 -070097 atomic_t dead;
Kent Overstreet4e179bc2013-05-07 16:18:33 -070098
Kent Overstreete34ecee2013-10-10 19:31:47 -070099 struct percpu_ref reqs;
100
Kent Overstreet4e179bc2013-05-07 16:18:33 -0700101 unsigned long user_id;
Kent Overstreet4e179bc2013-05-07 16:18:33 -0700102
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000103 struct __percpu kioctx_cpu *cpu;
104
105 /*
106 * For percpu reqs_available, number of slots we move to/from global
107 * counter at a time:
108 */
109 unsigned req_batch;
Kent Overstreet3e845ce2013-05-07 16:18:51 -0700110 /*
111 * This is what userspace passed to io_setup(), it's not used for
112 * anything but counting against the global max_reqs quota.
113 *
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700114 * The real limit is nr_events - 1, which will be larger (see
Kent Overstreet3e845ce2013-05-07 16:18:51 -0700115 * aio_setup_ring())
116 */
Kent Overstreet4e179bc2013-05-07 16:18:33 -0700117 unsigned max_reqs;
118
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700119 /* Size of ringbuffer, in units of struct io_event */
120 unsigned nr_events;
Kent Overstreet4e179bc2013-05-07 16:18:33 -0700121
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700122 unsigned long mmap_base;
123 unsigned long mmap_size;
124
125 struct page **ring_pages;
126 long nr_pages;
127
Tejun Heof7298632018-03-14 12:45:15 -0700128 struct rcu_work free_rwork; /* see free_ioctx() */
Kent Overstreet4e23bca2013-05-07 16:18:56 -0700129
Anatol Pomozove02ba722014-04-15 11:31:33 -0700130 /*
131 * signals when all in-flight requests are done
132 */
Jens Axboedc48e562015-04-15 11:17:23 -0600133 struct ctx_rq_wait *rq_wait;
Anatol Pomozove02ba722014-04-15 11:31:33 -0700134
Kent Overstreet4e23bca2013-05-07 16:18:56 -0700135 struct {
Kent Overstreet34e83fc2013-04-26 10:58:39 +1000136 /*
137 * This counts the number of available slots in the ringbuffer,
138 * so we avoid overflowing it: it's decremented (if positive)
139 * when allocating a kiocb and incremented when the resulting
140 * io_event is pulled off the ringbuffer.
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000141 *
142 * We batch accesses to it with a percpu version.
Kent Overstreet34e83fc2013-04-26 10:58:39 +1000143 */
144 atomic_t reqs_available;
Kent Overstreet4e23bca2013-05-07 16:18:56 -0700145 } ____cacheline_aligned_in_smp;
146
147 struct {
148 spinlock_t ctx_lock;
149 struct list_head active_reqs; /* used for cancellation */
150 } ____cacheline_aligned_in_smp;
151
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700152 struct {
153 struct mutex ring_lock;
Kent Overstreet4e23bca2013-05-07 16:18:56 -0700154 wait_queue_head_t wait;
155 } ____cacheline_aligned_in_smp;
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700156
157 struct {
158 unsigned tail;
Benjamin LaHaised856f322014-08-24 13:14:05 -0400159 unsigned completed_events;
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700160 spinlock_t completion_lock;
Kent Overstreet4e23bca2013-05-07 16:18:56 -0700161 } ____cacheline_aligned_in_smp;
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700162
163 struct page *internal_pages[AIO_RING_PAGES];
Gu Zheng36bc08c2013-07-16 17:56:16 +0800164 struct file *aio_ring_file;
Benjamin LaHaisedb446a02013-07-30 12:54:40 -0400165
166 unsigned id;
Kent Overstreet4e179bc2013-05-07 16:18:33 -0700167};
168
Linus Torvalds84c4e1f82019-03-03 14:23:33 -0800169/*
170 * First field must be the file pointer in all the
171 * iocb unions! See also 'struct kiocb' in <linux/fs.h>
172 */
Christoph Hellwiga3c0d432018-03-27 19:18:57 +0200173struct fsync_iocb {
Christoph Hellwiga3c0d432018-03-27 19:18:57 +0200174 struct file *file;
Linus Torvalds84c4e1f82019-03-03 14:23:33 -0800175 struct work_struct work;
Christoph Hellwiga3c0d432018-03-27 19:18:57 +0200176 bool datasync;
Miklos Szeredi530f32f2020-05-14 16:44:24 +0200177 struct cred *creds;
Christoph Hellwiga3c0d432018-03-27 19:18:57 +0200178};
179
Christoph Hellwigbfe40372018-07-16 09:08:20 +0200180struct poll_iocb {
181 struct file *file;
182 struct wait_queue_head *head;
183 __poll_t events;
Christoph Hellwigbfe40372018-07-16 09:08:20 +0200184 bool cancelled;
Eric Biggers363bee22021-12-08 17:04:54 -0800185 bool work_scheduled;
186 bool work_need_resched;
Christoph Hellwigbfe40372018-07-16 09:08:20 +0200187 struct wait_queue_entry wait;
188 struct work_struct work;
189};
190
Linus Torvalds84c4e1f82019-03-03 14:23:33 -0800191/*
192 * NOTE! Each of the iocb union members has the file pointer
193 * as the first entry in their struct definition. So you can
194 * access the file pointer through any of the sub-structs,
195 * or directly as just 'ki_filp' in this struct.
196 */
Christoph Hellwig04b2fa92015-02-02 14:49:06 +0100197struct aio_kiocb {
Christoph Hellwig54843f82018-05-02 19:57:21 +0200198 union {
Linus Torvalds84c4e1f82019-03-03 14:23:33 -0800199 struct file *ki_filp;
Christoph Hellwig54843f82018-05-02 19:57:21 +0200200 struct kiocb rw;
Christoph Hellwiga3c0d432018-03-27 19:18:57 +0200201 struct fsync_iocb fsync;
Christoph Hellwigbfe40372018-07-16 09:08:20 +0200202 struct poll_iocb poll;
Christoph Hellwig54843f82018-05-02 19:57:21 +0200203 };
Christoph Hellwig04b2fa92015-02-02 14:49:06 +0100204
205 struct kioctx *ki_ctx;
206 kiocb_cancel_fn *ki_cancel;
207
Al Viroa9339b72019-03-07 19:43:45 -0500208 struct io_event ki_res;
Christoph Hellwig04b2fa92015-02-02 14:49:06 +0100209
210 struct list_head ki_list; /* the aio core uses this
211 * for cancellation */
Christoph Hellwig9018ccc2018-07-24 11:36:37 +0200212 refcount_t ki_refcnt;
Christoph Hellwig04b2fa92015-02-02 14:49:06 +0100213
214 /*
215 * If the aio_resfd field of the userspace iocb is not zero,
216 * this is the underlying eventfd context to deliver events to.
217 */
218 struct eventfd_ctx *ki_eventfd;
219};
220
Linus Torvalds1da177e2005-04-16 15:20:36 -0700221/*------ sysctl variables----*/
Zach Brownd55b5fd2005-11-07 00:59:31 -0800222static DEFINE_SPINLOCK(aio_nr_lock);
Xiaoming Ni86b12b62022-01-21 22:11:24 -0800223static unsigned long aio_nr; /* current system wide number of aio requests */
224static unsigned long aio_max_nr = 0x10000; /* system wide maximum number of aio requests */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700225/*----end sysctl variables---*/
Xiaoming Ni86b12b62022-01-21 22:11:24 -0800226#ifdef CONFIG_SYSCTL
227static struct ctl_table aio_sysctls[] = {
228 {
229 .procname = "aio-nr",
230 .data = &aio_nr,
231 .maxlen = sizeof(aio_nr),
232 .mode = 0444,
233 .proc_handler = proc_doulongvec_minmax,
234 },
235 {
236 .procname = "aio-max-nr",
237 .data = &aio_max_nr,
238 .maxlen = sizeof(aio_max_nr),
239 .mode = 0644,
240 .proc_handler = proc_doulongvec_minmax,
241 },
242 {}
243};
244
245static void __init aio_sysctl_init(void)
246{
247 register_sysctl_init("fs", aio_sysctls);
248}
249#else
250#define aio_sysctl_init() do { } while (0)
251#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700252
Christoph Lametere18b8902006-12-06 20:33:20 -0800253static struct kmem_cache *kiocb_cachep;
254static struct kmem_cache *kioctx_cachep;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700255
Benjamin LaHaise71ad7492013-09-17 10:18:25 -0400256static struct vfsmount *aio_mnt;
257
258static const struct file_operations aio_ring_fops;
259static const struct address_space_operations aio_ctx_aops;
260
261static struct file *aio_private_file(struct kioctx *ctx, loff_t nr_pages)
262{
Benjamin LaHaise71ad7492013-09-17 10:18:25 -0400263 struct file *file;
Benjamin LaHaise71ad7492013-09-17 10:18:25 -0400264 struct inode *inode = alloc_anon_inode(aio_mnt->mnt_sb);
Dan Carpenter7f626562013-11-13 10:49:40 +0300265 if (IS_ERR(inode))
266 return ERR_CAST(inode);
Benjamin LaHaise71ad7492013-09-17 10:18:25 -0400267
268 inode->i_mapping->a_ops = &aio_ctx_aops;
269 inode->i_mapping->private_data = ctx;
270 inode->i_size = PAGE_SIZE * nr_pages;
271
Al Virod93aa9d2018-06-09 09:40:05 -0400272 file = alloc_file_pseudo(inode, aio_mnt, "[aio]",
273 O_RDWR, &aio_ring_fops);
Al Viroc9c554f2018-07-11 14:19:04 -0400274 if (IS_ERR(file))
Benjamin LaHaise71ad7492013-09-17 10:18:25 -0400275 iput(inode);
Benjamin LaHaise71ad7492013-09-17 10:18:25 -0400276 return file;
277}
278
David Howells52db59d2019-03-25 16:38:23 +0000279static int aio_init_fs_context(struct fs_context *fc)
Benjamin LaHaise71ad7492013-09-17 10:18:25 -0400280{
David Howells52db59d2019-03-25 16:38:23 +0000281 if (!init_pseudo(fc, AIO_RING_MAGIC))
282 return -ENOMEM;
283 fc->s_iflags |= SB_I_NOEXEC;
284 return 0;
Benjamin LaHaise71ad7492013-09-17 10:18:25 -0400285}
286
Linus Torvalds1da177e2005-04-16 15:20:36 -0700287/* aio_setup
288 * Creates the slab caches used by the aio routines, panic on
289 * failure as this is done early during the boot sequence.
290 */
291static int __init aio_setup(void)
292{
Benjamin LaHaise71ad7492013-09-17 10:18:25 -0400293 static struct file_system_type aio_fs = {
294 .name = "aio",
David Howells52db59d2019-03-25 16:38:23 +0000295 .init_fs_context = aio_init_fs_context,
Benjamin LaHaise71ad7492013-09-17 10:18:25 -0400296 .kill_sb = kill_anon_super,
297 };
298 aio_mnt = kern_mount(&aio_fs);
299 if (IS_ERR(aio_mnt))
300 panic("Failed to create aio fs mount.");
301
Christoph Hellwig04b2fa92015-02-02 14:49:06 +0100302 kiocb_cachep = KMEM_CACHE(aio_kiocb, SLAB_HWCACHE_ALIGN|SLAB_PANIC);
Christoph Lameter0a31bd52007-05-06 14:49:57 -0700303 kioctx_cachep = KMEM_CACHE(kioctx,SLAB_HWCACHE_ALIGN|SLAB_PANIC);
Xiaoming Ni86b12b62022-01-21 22:11:24 -0800304 aio_sysctl_init();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700305 return 0;
306}
H Hartley Sweeten385773e2009-09-22 16:43:53 -0700307__initcall(aio_setup);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700308
Benjamin LaHaise5e9ae2e2013-09-26 20:34:51 -0400309static void put_aio_ring_file(struct kioctx *ctx)
310{
311 struct file *aio_ring_file = ctx->aio_ring_file;
Rasmus Villemoesde04e762016-09-15 00:25:03 +0200312 struct address_space *i_mapping;
313
Benjamin LaHaise5e9ae2e2013-09-26 20:34:51 -0400314 if (aio_ring_file) {
Al Viro45063092016-12-04 18:24:56 -0500315 truncate_setsize(file_inode(aio_ring_file), 0);
Benjamin LaHaise5e9ae2e2013-09-26 20:34:51 -0400316
317 /* Prevent further access to the kioctx from migratepages */
Al Viro45063092016-12-04 18:24:56 -0500318 i_mapping = aio_ring_file->f_mapping;
Rasmus Villemoesde04e762016-09-15 00:25:03 +0200319 spin_lock(&i_mapping->private_lock);
320 i_mapping->private_data = NULL;
Benjamin LaHaise5e9ae2e2013-09-26 20:34:51 -0400321 ctx->aio_ring_file = NULL;
Rasmus Villemoesde04e762016-09-15 00:25:03 +0200322 spin_unlock(&i_mapping->private_lock);
Benjamin LaHaise5e9ae2e2013-09-26 20:34:51 -0400323
324 fput(aio_ring_file);
325 }
326}
327
Linus Torvalds1da177e2005-04-16 15:20:36 -0700328static void aio_free_ring(struct kioctx *ctx)
329{
Gu Zheng36bc08c2013-07-16 17:56:16 +0800330 int i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700331
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400332 /* Disconnect the kiotx from the ring file. This prevents future
333 * accesses to the kioctx from page migration.
334 */
335 put_aio_ring_file(ctx);
336
Gu Zheng36bc08c2013-07-16 17:56:16 +0800337 for (i = 0; i < ctx->nr_pages; i++) {
Benjamin LaHaise8e321fe2013-12-21 17:56:08 -0500338 struct page *page;
Gu Zheng36bc08c2013-07-16 17:56:16 +0800339 pr_debug("pid(%d) [%d] page->count=%d\n", current->pid, i,
340 page_count(ctx->ring_pages[i]));
Benjamin LaHaise8e321fe2013-12-21 17:56:08 -0500341 page = ctx->ring_pages[i];
342 if (!page)
343 continue;
344 ctx->ring_pages[i] = NULL;
345 put_page(page);
Gu Zheng36bc08c2013-07-16 17:56:16 +0800346 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700347
Sasha Levinddb8c452013-11-19 17:33:03 -0500348 if (ctx->ring_pages && ctx->ring_pages != ctx->internal_pages) {
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700349 kfree(ctx->ring_pages);
Sasha Levinddb8c452013-11-19 17:33:03 -0500350 ctx->ring_pages = NULL;
351 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700352}
353
Brian Geffon14d07112021-04-29 22:57:48 -0700354static int aio_ring_mremap(struct vm_area_struct *vma)
Gu Zheng36bc08c2013-07-16 17:56:16 +0800355{
Oleg Nesterov5477e702015-09-04 15:48:04 -0700356 struct file *file = vma->vm_file;
Pavel Emelyanove4a0d3e2014-09-18 19:56:17 +0400357 struct mm_struct *mm = vma->vm_mm;
358 struct kioctx_table *table;
Al Virob2edffd2015-04-06 17:48:54 -0400359 int i, res = -EINVAL;
Pavel Emelyanove4a0d3e2014-09-18 19:56:17 +0400360
361 spin_lock(&mm->ioctx_lock);
362 rcu_read_lock();
363 table = rcu_dereference(mm->ioctx_table);
364 for (i = 0; i < table->nr; i++) {
365 struct kioctx *ctx;
366
Tejun Heod0264c02018-03-14 12:10:17 -0700367 ctx = rcu_dereference(table->table[i]);
Pavel Emelyanove4a0d3e2014-09-18 19:56:17 +0400368 if (ctx && ctx->aio_ring_file == file) {
Al Virob2edffd2015-04-06 17:48:54 -0400369 if (!atomic_read(&ctx->dead)) {
370 ctx->user_id = ctx->mmap_base = vma->vm_start;
371 res = 0;
372 }
Pavel Emelyanove4a0d3e2014-09-18 19:56:17 +0400373 break;
374 }
375 }
376
377 rcu_read_unlock();
378 spin_unlock(&mm->ioctx_lock);
Al Virob2edffd2015-04-06 17:48:54 -0400379 return res;
Pavel Emelyanove4a0d3e2014-09-18 19:56:17 +0400380}
381
Oleg Nesterov5477e702015-09-04 15:48:04 -0700382static const struct vm_operations_struct aio_ring_vm_ops = {
383 .mremap = aio_ring_mremap,
384#if IS_ENABLED(CONFIG_MMU)
385 .fault = filemap_fault,
386 .map_pages = filemap_map_pages,
387 .page_mkwrite = filemap_page_mkwrite,
388#endif
389};
390
391static int aio_ring_mmap(struct file *file, struct vm_area_struct *vma)
392{
393 vma->vm_flags |= VM_DONTEXPAND;
394 vma->vm_ops = &aio_ring_vm_ops;
395 return 0;
396}
397
Gu Zheng36bc08c2013-07-16 17:56:16 +0800398static const struct file_operations aio_ring_fops = {
399 .mmap = aio_ring_mmap,
400};
401
Benjamin LaHaise0c453552013-07-17 09:34:24 -0400402#if IS_ENABLED(CONFIG_MIGRATION)
Gu Zheng36bc08c2013-07-16 17:56:16 +0800403static int aio_migratepage(struct address_space *mapping, struct page *new,
404 struct page *old, enum migrate_mode mode)
405{
Benjamin LaHaise5e9ae2e2013-09-26 20:34:51 -0400406 struct kioctx *ctx;
Gu Zheng36bc08c2013-07-16 17:56:16 +0800407 unsigned long flags;
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400408 pgoff_t idx;
Gu Zheng36bc08c2013-07-16 17:56:16 +0800409 int rc;
410
Jérôme Glisse2916ecc2017-09-08 16:12:06 -0700411 /*
412 * We cannot support the _NO_COPY case here, because copy needs to
413 * happen under the ctx->completion_lock. That does not work with the
414 * migration workflow of MIGRATE_SYNC_NO_COPY.
415 */
416 if (mode == MIGRATE_SYNC_NO_COPY)
417 return -EINVAL;
418
Benjamin LaHaise8e321fe2013-12-21 17:56:08 -0500419 rc = 0;
420
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400421 /* mapping->private_lock here protects against the kioctx teardown. */
Benjamin LaHaise8e321fe2013-12-21 17:56:08 -0500422 spin_lock(&mapping->private_lock);
423 ctx = mapping->private_data;
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400424 if (!ctx) {
425 rc = -EINVAL;
426 goto out;
427 }
428
429 /* The ring_lock mutex. The prevents aio_read_events() from writing
430 * to the ring's head, and prevents page migration from mucking in
431 * a partially initialized kiotx.
432 */
433 if (!mutex_trylock(&ctx->ring_lock)) {
434 rc = -EAGAIN;
435 goto out;
436 }
437
438 idx = old->index;
439 if (idx < (pgoff_t)ctx->nr_pages) {
440 /* Make sure the old page hasn't already been changed */
441 if (ctx->ring_pages[idx] != old)
442 rc = -EAGAIN;
Benjamin LaHaise8e321fe2013-12-21 17:56:08 -0500443 } else
444 rc = -EINVAL;
Benjamin LaHaise8e321fe2013-12-21 17:56:08 -0500445
446 if (rc != 0)
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400447 goto out_unlock;
Benjamin LaHaise8e321fe2013-12-21 17:56:08 -0500448
Gu Zheng36bc08c2013-07-16 17:56:16 +0800449 /* Writeback must be complete */
450 BUG_ON(PageWriteback(old));
Benjamin LaHaise8e321fe2013-12-21 17:56:08 -0500451 get_page(new);
Gu Zheng36bc08c2013-07-16 17:56:16 +0800452
Keith Busch37109692019-07-18 15:58:46 -0700453 rc = migrate_page_move_mapping(mapping, new, old, 1);
Gu Zheng36bc08c2013-07-16 17:56:16 +0800454 if (rc != MIGRATEPAGE_SUCCESS) {
Benjamin LaHaise8e321fe2013-12-21 17:56:08 -0500455 put_page(new);
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400456 goto out_unlock;
Gu Zheng36bc08c2013-07-16 17:56:16 +0800457 }
458
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400459 /* Take completion_lock to prevent other writes to the ring buffer
460 * while the old page is copied to the new. This prevents new
461 * events from being lost.
Benjamin LaHaise5e9ae2e2013-09-26 20:34:51 -0400462 */
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400463 spin_lock_irqsave(&ctx->completion_lock, flags);
464 migrate_page_copy(new, old);
465 BUG_ON(ctx->ring_pages[idx] != old);
466 ctx->ring_pages[idx] = new;
467 spin_unlock_irqrestore(&ctx->completion_lock, flags);
468
469 /* The old page is no longer accessible. */
470 put_page(old);
471
472out_unlock:
473 mutex_unlock(&ctx->ring_lock);
474out:
Benjamin LaHaise5e9ae2e2013-09-26 20:34:51 -0400475 spin_unlock(&mapping->private_lock);
Gu Zheng36bc08c2013-07-16 17:56:16 +0800476 return rc;
477}
Benjamin LaHaise0c453552013-07-17 09:34:24 -0400478#endif
Gu Zheng36bc08c2013-07-16 17:56:16 +0800479
480static const struct address_space_operations aio_ctx_aops = {
Gu Zheng835f2522014-11-06 17:46:21 +0800481 .set_page_dirty = __set_page_dirty_no_writeback,
Benjamin LaHaise0c453552013-07-17 09:34:24 -0400482#if IS_ENABLED(CONFIG_MIGRATION)
Gu Zheng36bc08c2013-07-16 17:56:16 +0800483 .migratepage = aio_migratepage,
Benjamin LaHaise0c453552013-07-17 09:34:24 -0400484#endif
Gu Zheng36bc08c2013-07-16 17:56:16 +0800485};
486
Mauricio Faria de Oliveira2a8a9862017-07-05 10:53:16 -0300487static int aio_setup_ring(struct kioctx *ctx, unsigned int nr_events)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700488{
489 struct aio_ring *ring;
Zach Brown41003a72013-05-07 16:18:25 -0700490 struct mm_struct *mm = current->mm;
Linus Torvalds3dc9acb2013-12-20 05:11:12 +0900491 unsigned long size, unused;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700492 int nr_pages;
Gu Zheng36bc08c2013-07-16 17:56:16 +0800493 int i;
494 struct file *file;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700495
496 /* Compensate for the ring buffer's head/tail overlap entry */
497 nr_events += 2; /* 1 is required, 2 for good luck */
498
499 size = sizeof(struct aio_ring);
500 size += sizeof(struct io_event) * nr_events;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700501
Gu Zheng36bc08c2013-07-16 17:56:16 +0800502 nr_pages = PFN_UP(size);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700503 if (nr_pages < 0)
504 return -EINVAL;
505
Benjamin LaHaise71ad7492013-09-17 10:18:25 -0400506 file = aio_private_file(ctx, nr_pages);
Gu Zheng36bc08c2013-07-16 17:56:16 +0800507 if (IS_ERR(file)) {
508 ctx->aio_ring_file = NULL;
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400509 return -ENOMEM;
Gu Zheng36bc08c2013-07-16 17:56:16 +0800510 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700511
Gu Zheng36bc08c2013-07-16 17:56:16 +0800512 ctx->aio_ring_file = file;
513 nr_events = (PAGE_SIZE * nr_pages - sizeof(struct aio_ring))
514 / sizeof(struct io_event);
515
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700516 ctx->ring_pages = ctx->internal_pages;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700517 if (nr_pages > AIO_RING_PAGES) {
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700518 ctx->ring_pages = kcalloc(nr_pages, sizeof(struct page *),
519 GFP_KERNEL);
Gu Zhengd1b94322013-12-04 18:19:06 +0800520 if (!ctx->ring_pages) {
521 put_aio_ring_file(ctx);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700522 return -ENOMEM;
Gu Zhengd1b94322013-12-04 18:19:06 +0800523 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700524 }
525
Linus Torvalds3dc9acb2013-12-20 05:11:12 +0900526 for (i = 0; i < nr_pages; i++) {
527 struct page *page;
Al Viro45063092016-12-04 18:24:56 -0500528 page = find_or_create_page(file->f_mapping,
Linus Torvalds3dc9acb2013-12-20 05:11:12 +0900529 i, GFP_HIGHUSER | __GFP_ZERO);
530 if (!page)
531 break;
532 pr_debug("pid(%d) page[%d]->count=%d\n",
533 current->pid, i, page_count(page));
534 SetPageUptodate(page);
Linus Torvalds3dc9acb2013-12-20 05:11:12 +0900535 unlock_page(page);
536
537 ctx->ring_pages[i] = page;
538 }
539 ctx->nr_pages = i;
540
541 if (unlikely(i != nr_pages)) {
542 aio_free_ring(ctx);
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400543 return -ENOMEM;
Linus Torvalds3dc9acb2013-12-20 05:11:12 +0900544 }
545
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700546 ctx->mmap_size = nr_pages * PAGE_SIZE;
547 pr_debug("attempting mmap of %lu bytes\n", ctx->mmap_size);
Gu Zheng36bc08c2013-07-16 17:56:16 +0800548
Michel Lespinassed8ed45c2020-06-08 21:33:25 -0700549 if (mmap_write_lock_killable(mm)) {
Michal Hocko013373e2016-05-23 16:25:59 -0700550 ctx->mmap_size = 0;
551 aio_free_ring(ctx);
552 return -EINTR;
553 }
554
Peter Collingbourne45e55302020-08-06 23:23:37 -0700555 ctx->mmap_base = do_mmap(ctx->aio_ring_file, 0, ctx->mmap_size,
556 PROT_READ | PROT_WRITE,
557 MAP_SHARED, 0, &unused, NULL);
Michel Lespinassed8ed45c2020-06-08 21:33:25 -0700558 mmap_write_unlock(mm);
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700559 if (IS_ERR((void *)ctx->mmap_base)) {
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700560 ctx->mmap_size = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700561 aio_free_ring(ctx);
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400562 return -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700563 }
564
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700565 pr_debug("mmap address: 0x%08lx\n", ctx->mmap_base);
Benjamin LaHaised6c355c2013-09-09 11:57:59 -0400566
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700567 ctx->user_id = ctx->mmap_base;
568 ctx->nr_events = nr_events; /* trusted copy */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700569
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700570 ring = kmap_atomic(ctx->ring_pages[0]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700571 ring->nr = nr_events; /* user copy */
Benjamin LaHaisedb446a02013-07-30 12:54:40 -0400572 ring->id = ~0U;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700573 ring->head = ring->tail = 0;
574 ring->magic = AIO_RING_MAGIC;
575 ring->compat_features = AIO_RING_COMPAT_FEATURES;
576 ring->incompat_features = AIO_RING_INCOMPAT_FEATURES;
577 ring->header_length = sizeof(struct aio_ring);
Cong Wange8e3c3d2011-11-25 23:14:27 +0800578 kunmap_atomic(ring);
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700579 flush_dcache_page(ctx->ring_pages[0]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700580
581 return 0;
582}
583
Linus Torvalds1da177e2005-04-16 15:20:36 -0700584#define AIO_EVENTS_PER_PAGE (PAGE_SIZE / sizeof(struct io_event))
585#define AIO_EVENTS_FIRST_PAGE ((PAGE_SIZE - sizeof(struct aio_ring)) / sizeof(struct io_event))
586#define AIO_EVENTS_OFFSET (AIO_EVENTS_PER_PAGE - AIO_EVENTS_FIRST_PAGE)
587
Christoph Hellwig04b2fa92015-02-02 14:49:06 +0100588void kiocb_set_cancel_fn(struct kiocb *iocb, kiocb_cancel_fn *cancel)
Kent Overstreet0460fef2013-05-07 16:18:49 -0700589{
Christoph Hellwig54843f82018-05-02 19:57:21 +0200590 struct aio_kiocb *req = container_of(iocb, struct aio_kiocb, rw);
Kent Overstreet0460fef2013-05-07 16:18:49 -0700591 struct kioctx *ctx = req->ki_ctx;
592 unsigned long flags;
593
Christoph Hellwig75321b52018-04-09 14:57:56 +0200594 if (WARN_ON_ONCE(!list_empty(&req->ki_list)))
595 return;
596
Kent Overstreet0460fef2013-05-07 16:18:49 -0700597 spin_lock_irqsave(&ctx->ctx_lock, flags);
Christoph Hellwig75321b52018-04-09 14:57:56 +0200598 list_add_tail(&req->ki_list, &ctx->active_reqs);
Kent Overstreet0460fef2013-05-07 16:18:49 -0700599 req->ki_cancel = cancel;
Kent Overstreet0460fef2013-05-07 16:18:49 -0700600 spin_unlock_irqrestore(&ctx->ctx_lock, flags);
601}
602EXPORT_SYMBOL(kiocb_set_cancel_fn);
603
Tejun Heoa6d7cff2018-03-14 12:10:17 -0700604/*
605 * free_ioctx() should be RCU delayed to synchronize against the RCU
606 * protected lookup_ioctx() and also needs process context to call
Tejun Heof7298632018-03-14 12:45:15 -0700607 * aio_free_ring(). Use rcu_work.
Tejun Heoa6d7cff2018-03-14 12:10:17 -0700608 */
Kent Overstreete34ecee2013-10-10 19:31:47 -0700609static void free_ioctx(struct work_struct *work)
Kent Overstreet36f55882013-05-07 16:18:41 -0700610{
Tejun Heof7298632018-03-14 12:45:15 -0700611 struct kioctx *ctx = container_of(to_rcu_work(work), struct kioctx,
612 free_rwork);
Kent Overstreete34ecee2013-10-10 19:31:47 -0700613 pr_debug("freeing %p\n", ctx);
614
615 aio_free_ring(ctx);
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000616 free_percpu(ctx->cpu);
Tejun Heo9a1049d2014-06-28 08:10:14 -0400617 percpu_ref_exit(&ctx->reqs);
618 percpu_ref_exit(&ctx->users);
Kent Overstreet36f55882013-05-07 16:18:41 -0700619 kmem_cache_free(kioctx_cachep, ctx);
620}
621
Kent Overstreete34ecee2013-10-10 19:31:47 -0700622static void free_ioctx_reqs(struct percpu_ref *ref)
623{
624 struct kioctx *ctx = container_of(ref, struct kioctx, reqs);
625
Anatol Pomozove02ba722014-04-15 11:31:33 -0700626 /* At this point we know that there are no any in-flight requests */
Jens Axboedc48e562015-04-15 11:17:23 -0600627 if (ctx->rq_wait && atomic_dec_and_test(&ctx->rq_wait->count))
628 complete(&ctx->rq_wait->comp);
Anatol Pomozove02ba722014-04-15 11:31:33 -0700629
Tejun Heoa6d7cff2018-03-14 12:10:17 -0700630 /* Synchronize against RCU protected table->table[] dereferences */
Tejun Heof7298632018-03-14 12:45:15 -0700631 INIT_RCU_WORK(&ctx->free_rwork, free_ioctx);
632 queue_rcu_work(system_wq, &ctx->free_rwork);
Kent Overstreete34ecee2013-10-10 19:31:47 -0700633}
634
Kent Overstreet36f55882013-05-07 16:18:41 -0700635/*
636 * When this function runs, the kioctx has been removed from the "hash table"
637 * and ctx->users has dropped to 0, so we know no more kiocbs can be submitted -
638 * now it's safe to cancel any that need to be.
639 */
Kent Overstreete34ecee2013-10-10 19:31:47 -0700640static void free_ioctx_users(struct percpu_ref *ref)
Kent Overstreet36f55882013-05-07 16:18:41 -0700641{
Kent Overstreete34ecee2013-10-10 19:31:47 -0700642 struct kioctx *ctx = container_of(ref, struct kioctx, users);
Christoph Hellwig04b2fa92015-02-02 14:49:06 +0100643 struct aio_kiocb *req;
Kent Overstreet36f55882013-05-07 16:18:41 -0700644
645 spin_lock_irq(&ctx->ctx_lock);
646
647 while (!list_empty(&ctx->active_reqs)) {
648 req = list_first_entry(&ctx->active_reqs,
Christoph Hellwig04b2fa92015-02-02 14:49:06 +0100649 struct aio_kiocb, ki_list);
Christoph Hellwig888933f2018-05-23 14:11:02 +0200650 req->ki_cancel(&req->rw);
Al Viro4faa99962018-05-23 22:53:22 -0400651 list_del_init(&req->ki_list);
Kent Overstreet36f55882013-05-07 16:18:41 -0700652 }
653
654 spin_unlock_irq(&ctx->ctx_lock);
655
Kent Overstreete34ecee2013-10-10 19:31:47 -0700656 percpu_ref_kill(&ctx->reqs);
657 percpu_ref_put(&ctx->reqs);
Kent Overstreet36f55882013-05-07 16:18:41 -0700658}
659
Benjamin LaHaisedb446a02013-07-30 12:54:40 -0400660static int ioctx_add_table(struct kioctx *ctx, struct mm_struct *mm)
661{
662 unsigned i, new_nr;
663 struct kioctx_table *table, *old;
664 struct aio_ring *ring;
665
666 spin_lock(&mm->ioctx_lock);
Oleg Nesterov855ef0d2014-04-30 16:16:36 +0200667 table = rcu_dereference_raw(mm->ioctx_table);
Benjamin LaHaisedb446a02013-07-30 12:54:40 -0400668
669 while (1) {
670 if (table)
671 for (i = 0; i < table->nr; i++)
Tejun Heod0264c02018-03-14 12:10:17 -0700672 if (!rcu_access_pointer(table->table[i])) {
Benjamin LaHaisedb446a02013-07-30 12:54:40 -0400673 ctx->id = i;
Tejun Heod0264c02018-03-14 12:10:17 -0700674 rcu_assign_pointer(table->table[i], ctx);
Benjamin LaHaisedb446a02013-07-30 12:54:40 -0400675 spin_unlock(&mm->ioctx_lock);
676
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400677 /* While kioctx setup is in progress,
678 * we are protected from page migration
679 * changes ring_pages by ->ring_lock.
680 */
Benjamin LaHaisedb446a02013-07-30 12:54:40 -0400681 ring = kmap_atomic(ctx->ring_pages[0]);
682 ring->id = ctx->id;
683 kunmap_atomic(ring);
684 return 0;
685 }
686
687 new_nr = (table ? table->nr : 1) * 4;
Benjamin LaHaisedb446a02013-07-30 12:54:40 -0400688 spin_unlock(&mm->ioctx_lock);
689
Len Baker6446c4f2021-09-19 11:45:39 +0200690 table = kzalloc(struct_size(table, table, new_nr), GFP_KERNEL);
Benjamin LaHaisedb446a02013-07-30 12:54:40 -0400691 if (!table)
692 return -ENOMEM;
693
694 table->nr = new_nr;
695
696 spin_lock(&mm->ioctx_lock);
Oleg Nesterov855ef0d2014-04-30 16:16:36 +0200697 old = rcu_dereference_raw(mm->ioctx_table);
Benjamin LaHaisedb446a02013-07-30 12:54:40 -0400698
699 if (!old) {
700 rcu_assign_pointer(mm->ioctx_table, table);
701 } else if (table->nr > old->nr) {
702 memcpy(table->table, old->table,
703 old->nr * sizeof(struct kioctx *));
704
705 rcu_assign_pointer(mm->ioctx_table, table);
706 kfree_rcu(old, rcu);
707 } else {
708 kfree(table);
709 table = old;
710 }
711 }
712}
713
Kent Overstreete34ecee2013-10-10 19:31:47 -0700714static void aio_nr_sub(unsigned nr)
715{
716 spin_lock(&aio_nr_lock);
717 if (WARN_ON(aio_nr - nr > aio_nr))
718 aio_nr = 0;
719 else
720 aio_nr -= nr;
721 spin_unlock(&aio_nr_lock);
722}
723
Linus Torvalds1da177e2005-04-16 15:20:36 -0700724/* ioctx_alloc
725 * Allocates and initializes an ioctx. Returns an ERR_PTR if it failed.
726 */
727static struct kioctx *ioctx_alloc(unsigned nr_events)
728{
Zach Brown41003a72013-05-07 16:18:25 -0700729 struct mm_struct *mm = current->mm;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700730 struct kioctx *ctx;
Al Viroe23754f2012-03-06 14:33:22 -0500731 int err = -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700732
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000733 /*
Mauricio Faria de Oliveira2a8a9862017-07-05 10:53:16 -0300734 * Store the original nr_events -- what userspace passed to io_setup(),
735 * for counting against the global limit -- before it changes.
736 */
737 unsigned int max_reqs = nr_events;
738
739 /*
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000740 * We keep track of the number of available ringbuffer slots, to prevent
741 * overflow (reqs_available), and we also use percpu counters for this.
742 *
743 * So since up to half the slots might be on other cpu's percpu counters
744 * and unavailable, double nr_events so userspace sees what they
745 * expected: additionally, we move req_batch slots to/from percpu
746 * counters at a time, so make sure that isn't 0:
747 */
748 nr_events = max(nr_events, num_possible_cpus() * 4);
749 nr_events *= 2;
750
Linus Torvalds1da177e2005-04-16 15:20:36 -0700751 /* Prevent overflows */
Al Viro08397ac2015-03-31 11:43:52 -0400752 if (nr_events > (0x10000000U / sizeof(struct io_event))) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700753 pr_debug("ENOMEM: nr_events too high\n");
754 return ERR_PTR(-EINVAL);
755 }
756
Mauricio Faria de Oliveira2a8a9862017-07-05 10:53:16 -0300757 if (!nr_events || (unsigned long)max_reqs > aio_max_nr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700758 return ERR_PTR(-EAGAIN);
759
Robert P. J. Dayc3762222007-02-10 01:45:03 -0800760 ctx = kmem_cache_zalloc(kioctx_cachep, GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700761 if (!ctx)
762 return ERR_PTR(-ENOMEM);
763
Mauricio Faria de Oliveira2a8a9862017-07-05 10:53:16 -0300764 ctx->max_reqs = max_reqs;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700765
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400766 spin_lock_init(&ctx->ctx_lock);
767 spin_lock_init(&ctx->completion_lock);
768 mutex_init(&ctx->ring_lock);
769 /* Protect against page migration throughout kiotx setup by keeping
770 * the ring_lock mutex held until setup is complete. */
771 mutex_lock(&ctx->ring_lock);
772 init_waitqueue_head(&ctx->wait);
773
774 INIT_LIST_HEAD(&ctx->active_reqs);
775
Tejun Heo2aad2a82014-09-24 13:31:50 -0400776 if (percpu_ref_init(&ctx->users, free_ioctx_users, 0, GFP_KERNEL))
Kent Overstreete34ecee2013-10-10 19:31:47 -0700777 goto err;
778
Tejun Heo2aad2a82014-09-24 13:31:50 -0400779 if (percpu_ref_init(&ctx->reqs, free_ioctx_reqs, 0, GFP_KERNEL))
Kent Overstreete34ecee2013-10-10 19:31:47 -0700780 goto err;
Kent Overstreet723be6e2013-05-28 15:14:48 -0700781
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000782 ctx->cpu = alloc_percpu(struct kioctx_cpu);
783 if (!ctx->cpu)
Kent Overstreete34ecee2013-10-10 19:31:47 -0700784 goto err;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700785
Mauricio Faria de Oliveira2a8a9862017-07-05 10:53:16 -0300786 err = aio_setup_ring(ctx, nr_events);
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400787 if (err < 0)
Kent Overstreete34ecee2013-10-10 19:31:47 -0700788 goto err;
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000789
Kent Overstreet34e83fc2013-04-26 10:58:39 +1000790 atomic_set(&ctx->reqs_available, ctx->nr_events - 1);
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000791 ctx->req_batch = (ctx->nr_events - 1) / (num_possible_cpus() * 4);
Benjamin LaHaise6878ea72013-07-31 10:34:18 -0400792 if (ctx->req_batch < 1)
793 ctx->req_batch = 1;
Kent Overstreet34e83fc2013-04-26 10:58:39 +1000794
Linus Torvalds1da177e2005-04-16 15:20:36 -0700795 /* limit the number of system wide aios */
Al Viro9fa1cb32012-03-10 23:14:05 -0500796 spin_lock(&aio_nr_lock);
Mauricio Faria de Oliveira2a8a9862017-07-05 10:53:16 -0300797 if (aio_nr + ctx->max_reqs > aio_max_nr ||
798 aio_nr + ctx->max_reqs < aio_nr) {
Al Viro9fa1cb32012-03-10 23:14:05 -0500799 spin_unlock(&aio_nr_lock);
Kent Overstreete34ecee2013-10-10 19:31:47 -0700800 err = -EAGAIN;
Gu Zhengd1b94322013-12-04 18:19:06 +0800801 goto err_ctx;
Al Viro2dd542b2012-03-10 23:10:35 -0500802 }
803 aio_nr += ctx->max_reqs;
Al Viro9fa1cb32012-03-10 23:14:05 -0500804 spin_unlock(&aio_nr_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700805
Benjamin LaHaise18816862013-12-21 15:49:28 -0500806 percpu_ref_get(&ctx->users); /* io_setup() will drop this ref */
807 percpu_ref_get(&ctx->reqs); /* free_ioctx_users() will drop this */
Kent Overstreet723be6e2013-05-28 15:14:48 -0700808
Benjamin LaHaiseda903822013-08-05 13:21:43 -0400809 err = ioctx_add_table(ctx, mm);
810 if (err)
Kent Overstreete34ecee2013-10-10 19:31:47 -0700811 goto err_cleanup;
Benjamin LaHaiseda903822013-08-05 13:21:43 -0400812
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400813 /* Release the ring_lock mutex now that all setup is complete. */
814 mutex_unlock(&ctx->ring_lock);
815
Kent Overstreetcaf41672013-05-07 16:18:35 -0700816 pr_debug("allocated ioctx %p[%ld]: mm=%p mask=0x%x\n",
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700817 ctx, ctx->user_id, mm, ctx->nr_events);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700818 return ctx;
819
Kent Overstreete34ecee2013-10-10 19:31:47 -0700820err_cleanup:
821 aio_nr_sub(ctx->max_reqs);
Gu Zhengd1b94322013-12-04 18:19:06 +0800822err_ctx:
Al Virodeeb8522015-04-06 17:57:44 -0400823 atomic_set(&ctx->dead, 1);
824 if (ctx->mmap_size)
825 vm_munmap(ctx->mmap_base, ctx->mmap_size);
Gu Zhengd1b94322013-12-04 18:19:06 +0800826 aio_free_ring(ctx);
Kent Overstreete34ecee2013-10-10 19:31:47 -0700827err:
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -0400828 mutex_unlock(&ctx->ring_lock);
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000829 free_percpu(ctx->cpu);
Tejun Heo9a1049d2014-06-28 08:10:14 -0400830 percpu_ref_exit(&ctx->reqs);
831 percpu_ref_exit(&ctx->users);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700832 kmem_cache_free(kioctx_cachep, ctx);
Kent Overstreetcaf41672013-05-07 16:18:35 -0700833 pr_debug("error allocating ioctx %d\n", err);
Al Viroe23754f2012-03-06 14:33:22 -0500834 return ERR_PTR(err);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700835}
836
Kent Overstreet36f55882013-05-07 16:18:41 -0700837/* kill_ioctx
838 * Cancels all outstanding aio requests on an aio context. Used
839 * when the processes owning a context have all exited to encourage
Linus Torvalds1da177e2005-04-16 15:20:36 -0700840 * the rapid destruction of the kioctx.
841 */
Benjamin LaHaisefb2d4482014-04-29 12:45:17 -0400842static int kill_ioctx(struct mm_struct *mm, struct kioctx *ctx,
Jens Axboedc48e562015-04-15 11:17:23 -0600843 struct ctx_rq_wait *wait)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700844{
Benjamin LaHaisefa88b6f2014-04-29 12:55:48 -0400845 struct kioctx_table *table;
Benjamin LaHaisedb446a02013-07-30 12:54:40 -0400846
Benjamin LaHaisefa88b6f2014-04-29 12:55:48 -0400847 spin_lock(&mm->ioctx_lock);
Al Virob2edffd2015-04-06 17:48:54 -0400848 if (atomic_xchg(&ctx->dead, 1)) {
849 spin_unlock(&mm->ioctx_lock);
850 return -EINVAL;
851 }
852
Oleg Nesterov855ef0d2014-04-30 16:16:36 +0200853 table = rcu_dereference_raw(mm->ioctx_table);
Tejun Heod0264c02018-03-14 12:10:17 -0700854 WARN_ON(ctx != rcu_access_pointer(table->table[ctx->id]));
855 RCU_INIT_POINTER(table->table[ctx->id], NULL);
Benjamin LaHaisefa88b6f2014-04-29 12:55:48 -0400856 spin_unlock(&mm->ioctx_lock);
Kent Overstreet4fcc7122013-06-12 14:04:59 -0700857
Tejun Heoa6d7cff2018-03-14 12:10:17 -0700858 /* free_ioctx_reqs() will do the necessary RCU synchronization */
Benjamin LaHaisefa88b6f2014-04-29 12:55:48 -0400859 wake_up_all(&ctx->wait);
Kent Overstreet4fcc7122013-06-12 14:04:59 -0700860
Benjamin LaHaisefa88b6f2014-04-29 12:55:48 -0400861 /*
862 * It'd be more correct to do this in free_ioctx(), after all
863 * the outstanding kiocbs have finished - but by then io_destroy
864 * has already returned, so io_setup() could potentially return
865 * -EAGAIN with no ioctxs actually in use (as far as userspace
866 * could tell).
867 */
868 aio_nr_sub(ctx->max_reqs);
Benjamin LaHaisefb2d4482014-04-29 12:45:17 -0400869
Benjamin LaHaisefa88b6f2014-04-29 12:55:48 -0400870 if (ctx->mmap_size)
871 vm_munmap(ctx->mmap_base, ctx->mmap_size);
872
Jens Axboedc48e562015-04-15 11:17:23 -0600873 ctx->rq_wait = wait;
Benjamin LaHaisefa88b6f2014-04-29 12:55:48 -0400874 percpu_ref_kill(&ctx->users);
875 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700876}
877
Kent Overstreet36f55882013-05-07 16:18:41 -0700878/*
879 * exit_aio: called when the last user of mm goes away. At this point, there is
880 * no way for any new requests to be submited or any of the io_* syscalls to be
881 * called on the context.
882 *
883 * There may be outstanding kiocbs, but free_ioctx() will explicitly wait on
884 * them.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700885 */
Harvey Harrisonfc9b52c2008-02-08 04:19:52 -0800886void exit_aio(struct mm_struct *mm)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700887{
Oleg Nesterov4b70ac52014-04-30 19:02:48 +0200888 struct kioctx_table *table = rcu_dereference_raw(mm->ioctx_table);
Jens Axboedc48e562015-04-15 11:17:23 -0600889 struct ctx_rq_wait wait;
890 int i, skipped;
Jens Axboeabf137d2008-12-09 08:11:22 +0100891
Oleg Nesterov4b70ac52014-04-30 19:02:48 +0200892 if (!table)
893 return;
Benjamin LaHaisedb446a02013-07-30 12:54:40 -0400894
Jens Axboedc48e562015-04-15 11:17:23 -0600895 atomic_set(&wait.count, table->nr);
896 init_completion(&wait.comp);
897
898 skipped = 0;
Oleg Nesterov4b70ac52014-04-30 19:02:48 +0200899 for (i = 0; i < table->nr; ++i) {
Tejun Heod0264c02018-03-14 12:10:17 -0700900 struct kioctx *ctx =
901 rcu_dereference_protected(table->table[i], true);
Benjamin LaHaisedb446a02013-07-30 12:54:40 -0400902
Jens Axboedc48e562015-04-15 11:17:23 -0600903 if (!ctx) {
904 skipped++;
Oleg Nesterov4b70ac52014-04-30 19:02:48 +0200905 continue;
Jens Axboedc48e562015-04-15 11:17:23 -0600906 }
907
Al Viro936af152012-04-20 21:49:41 -0400908 /*
Oleg Nesterov4b70ac52014-04-30 19:02:48 +0200909 * We don't need to bother with munmap() here - exit_mmap(mm)
910 * is coming and it'll unmap everything. And we simply can't,
911 * this is not necessarily our ->mm.
912 * Since kill_ioctx() uses non-zero ->mmap_size as indicator
913 * that it needs to unmap the area, just set it to 0.
Al Viro936af152012-04-20 21:49:41 -0400914 */
Kent Overstreet58c85dc2013-05-07 16:18:55 -0700915 ctx->mmap_size = 0;
Jens Axboedc48e562015-04-15 11:17:23 -0600916 kill_ioctx(mm, ctx, &wait);
917 }
Kent Overstreet36f55882013-05-07 16:18:41 -0700918
Jens Axboedc48e562015-04-15 11:17:23 -0600919 if (!atomic_sub_and_test(skipped, &wait.count)) {
Gu Zheng6098b452014-09-03 17:45:44 +0800920 /* Wait until all IO for the context are done. */
Jens Axboedc48e562015-04-15 11:17:23 -0600921 wait_for_completion(&wait.comp);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700922 }
Oleg Nesterov4b70ac52014-04-30 19:02:48 +0200923
924 RCU_INIT_POINTER(mm->ioctx_table, NULL);
925 kfree(table);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700926}
927
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000928static void put_reqs_available(struct kioctx *ctx, unsigned nr)
929{
930 struct kioctx_cpu *kcpu;
Benjamin LaHaise263782c2014-07-14 12:49:26 -0400931 unsigned long flags;
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000932
Benjamin LaHaise263782c2014-07-14 12:49:26 -0400933 local_irq_save(flags);
Benjamin LaHaisebe6fb452014-07-22 09:56:56 -0400934 kcpu = this_cpu_ptr(ctx->cpu);
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000935 kcpu->reqs_available += nr;
Benjamin LaHaise263782c2014-07-14 12:49:26 -0400936
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000937 while (kcpu->reqs_available >= ctx->req_batch * 2) {
938 kcpu->reqs_available -= ctx->req_batch;
939 atomic_add(ctx->req_batch, &ctx->reqs_available);
940 }
941
Benjamin LaHaise263782c2014-07-14 12:49:26 -0400942 local_irq_restore(flags);
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000943}
944
Christoph Hellwig432c7992018-11-19 15:57:42 -0700945static bool __get_reqs_available(struct kioctx *ctx)
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000946{
947 struct kioctx_cpu *kcpu;
948 bool ret = false;
Benjamin LaHaise263782c2014-07-14 12:49:26 -0400949 unsigned long flags;
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000950
Benjamin LaHaise263782c2014-07-14 12:49:26 -0400951 local_irq_save(flags);
Benjamin LaHaisebe6fb452014-07-22 09:56:56 -0400952 kcpu = this_cpu_ptr(ctx->cpu);
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000953 if (!kcpu->reqs_available) {
954 int old, avail = atomic_read(&ctx->reqs_available);
955
956 do {
957 if (avail < ctx->req_batch)
958 goto out;
959
960 old = avail;
961 avail = atomic_cmpxchg(&ctx->reqs_available,
962 avail, avail - ctx->req_batch);
963 } while (avail != old);
964
965 kcpu->reqs_available += ctx->req_batch;
966 }
967
968 ret = true;
969 kcpu->reqs_available--;
970out:
Benjamin LaHaise263782c2014-07-14 12:49:26 -0400971 local_irq_restore(flags);
Kent Overstreete1bdd5f2013-04-26 10:58:39 +1000972 return ret;
973}
974
Benjamin LaHaised856f322014-08-24 13:14:05 -0400975/* refill_reqs_available
976 * Updates the reqs_available reference counts used for tracking the
977 * number of free slots in the completion ring. This can be called
978 * from aio_complete() (to optimistically update reqs_available) or
979 * from aio_get_req() (the we're out of events case). It must be
980 * called holding ctx->completion_lock.
981 */
982static void refill_reqs_available(struct kioctx *ctx, unsigned head,
983 unsigned tail)
984{
985 unsigned events_in_ring, completed;
986
987 /* Clamp head since userland can write to it. */
988 head %= ctx->nr_events;
989 if (head <= tail)
990 events_in_ring = tail - head;
991 else
992 events_in_ring = ctx->nr_events - (head - tail);
993
994 completed = ctx->completed_events;
995 if (events_in_ring < completed)
996 completed -= events_in_ring;
997 else
998 completed = 0;
999
1000 if (!completed)
1001 return;
1002
1003 ctx->completed_events -= completed;
1004 put_reqs_available(ctx, completed);
1005}
1006
1007/* user_refill_reqs_available
1008 * Called to refill reqs_available when aio_get_req() encounters an
1009 * out of space in the completion ring.
1010 */
1011static void user_refill_reqs_available(struct kioctx *ctx)
1012{
1013 spin_lock_irq(&ctx->completion_lock);
1014 if (ctx->completed_events) {
1015 struct aio_ring *ring;
1016 unsigned head;
1017
1018 /* Access of ring->head may race with aio_read_events_ring()
1019 * here, but that's okay since whether we read the old version
1020 * or the new version, and either will be valid. The important
1021 * part is that head cannot pass tail since we prevent
1022 * aio_complete() from updating tail by holding
1023 * ctx->completion_lock. Even if head is invalid, the check
1024 * against ctx->completed_events below will make sure we do the
1025 * safe/right thing.
1026 */
1027 ring = kmap_atomic(ctx->ring_pages[0]);
1028 head = ring->head;
1029 kunmap_atomic(ring);
1030
1031 refill_reqs_available(ctx, head, ctx->tail);
1032 }
1033
1034 spin_unlock_irq(&ctx->completion_lock);
1035}
1036
Christoph Hellwig432c7992018-11-19 15:57:42 -07001037static bool get_reqs_available(struct kioctx *ctx)
1038{
1039 if (__get_reqs_available(ctx))
1040 return true;
1041 user_refill_reqs_available(ctx);
1042 return __get_reqs_available(ctx);
1043}
1044
Linus Torvalds1da177e2005-04-16 15:20:36 -07001045/* aio_get_req
Kent Overstreet57282d82013-05-13 13:42:52 -07001046 * Allocate a slot for an aio request.
1047 * Returns NULL if no requests are free.
Linus Torvaldsb53119f2019-03-06 20:22:54 -05001048 *
1049 * The refcount is initialized to 2 - one for the async op completion,
1050 * one for the synchronous code that does this.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001051 */
Christoph Hellwig04b2fa92015-02-02 14:49:06 +01001052static inline struct aio_kiocb *aio_get_req(struct kioctx *ctx)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001053{
Christoph Hellwig04b2fa92015-02-02 14:49:06 +01001054 struct aio_kiocb *req;
Kent Overstreeta1c8eae2013-05-07 16:18:53 -07001055
Jens Axboe2bc4ca92018-12-04 09:44:49 -07001056 req = kmem_cache_alloc(kiocb_cachep, GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001057 if (unlikely(!req))
Christoph Hellwig432c7992018-11-19 15:57:42 -07001058 return NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001059
Al Virofa0ca2a2019-03-06 18:21:08 -05001060 if (unlikely(!get_reqs_available(ctx))) {
Wei Yongjun6af1c842019-04-04 08:44:05 +00001061 kmem_cache_free(kiocb_cachep, req);
Al Virofa0ca2a2019-03-06 18:21:08 -05001062 return NULL;
1063 }
1064
Kent Overstreete34ecee2013-10-10 19:31:47 -07001065 percpu_ref_get(&ctx->reqs);
Jens Axboe2bc4ca92018-12-04 09:44:49 -07001066 req->ki_ctx = ctx;
Christoph Hellwig75321b52018-04-09 14:57:56 +02001067 INIT_LIST_HEAD(&req->ki_list);
Linus Torvaldsb53119f2019-03-06 20:22:54 -05001068 refcount_set(&req->ki_refcnt, 2);
Jens Axboe2bc4ca92018-12-04 09:44:49 -07001069 req->ki_eventfd = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001070 return req;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001071}
1072
Adrian Bunkd5470b52008-04-29 00:58:57 -07001073static struct kioctx *lookup_ioctx(unsigned long ctx_id)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001074{
Benjamin LaHaisedb446a02013-07-30 12:54:40 -04001075 struct aio_ring __user *ring = (void __user *)ctx_id;
Jens Axboeabf137d2008-12-09 08:11:22 +01001076 struct mm_struct *mm = current->mm;
Jeff Moyer65c24492009-03-18 17:04:21 -07001077 struct kioctx *ctx, *ret = NULL;
Benjamin LaHaisedb446a02013-07-30 12:54:40 -04001078 struct kioctx_table *table;
1079 unsigned id;
1080
1081 if (get_user(id, &ring->id))
1082 return NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001083
Jens Axboeabf137d2008-12-09 08:11:22 +01001084 rcu_read_lock();
Benjamin LaHaisedb446a02013-07-30 12:54:40 -04001085 table = rcu_dereference(mm->ioctx_table);
Jens Axboeabf137d2008-12-09 08:11:22 +01001086
Benjamin LaHaisedb446a02013-07-30 12:54:40 -04001087 if (!table || id >= table->nr)
1088 goto out;
1089
Jeff Moyera538e3f2018-12-11 12:37:49 -05001090 id = array_index_nospec(id, table->nr);
Tejun Heod0264c02018-03-14 12:10:17 -07001091 ctx = rcu_dereference(table->table[id]);
Benjamin LaHaisef30d7042013-08-07 18:23:48 -04001092 if (ctx && ctx->user_id == ctx_id) {
Al Virobaf10562018-05-20 16:46:23 -04001093 if (percpu_ref_tryget_live(&ctx->users))
1094 ret = ctx;
Jens Axboeabf137d2008-12-09 08:11:22 +01001095 }
Benjamin LaHaisedb446a02013-07-30 12:54:40 -04001096out:
Jens Axboeabf137d2008-12-09 08:11:22 +01001097 rcu_read_unlock();
Jeff Moyer65c24492009-03-18 17:04:21 -07001098 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001099}
1100
Linus Torvaldsb53119f2019-03-06 20:22:54 -05001101static inline void iocb_destroy(struct aio_kiocb *iocb)
1102{
Al Viro74259702019-03-06 18:18:31 -05001103 if (iocb->ki_eventfd)
1104 eventfd_ctx_put(iocb->ki_eventfd);
Linus Torvaldsb53119f2019-03-06 20:22:54 -05001105 if (iocb->ki_filp)
1106 fput(iocb->ki_filp);
1107 percpu_ref_put(&iocb->ki_ctx->reqs);
1108 kmem_cache_free(kiocb_cachep, iocb);
1109}
1110
Linus Torvalds1da177e2005-04-16 15:20:36 -07001111/* aio_complete
1112 * Called when the io request on the given iocb is complete.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001113 */
Al Viro2bb874c2019-03-07 19:49:55 -05001114static void aio_complete(struct aio_kiocb *iocb)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001115{
1116 struct kioctx *ctx = iocb->ki_ctx;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001117 struct aio_ring *ring;
Kent Overstreet21b40202013-05-07 16:18:47 -07001118 struct io_event *ev_page, *event;
Benjamin LaHaised856f322014-08-24 13:14:05 -04001119 unsigned tail, pos, head;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001120 unsigned long flags;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001121
Linus Torvalds1da177e2005-04-16 15:20:36 -07001122 /*
Kent Overstreet0460fef2013-05-07 16:18:49 -07001123 * Add a completion event to the ring buffer. Must be done holding
Tang Chen4b30f072013-07-03 15:09:16 -07001124 * ctx->completion_lock to prevent other code from messing with the tail
Kent Overstreet0460fef2013-05-07 16:18:49 -07001125 * pointer since we might be called from irq context.
1126 */
1127 spin_lock_irqsave(&ctx->completion_lock, flags);
1128
Kent Overstreet58c85dc2013-05-07 16:18:55 -07001129 tail = ctx->tail;
Kent Overstreet21b40202013-05-07 16:18:47 -07001130 pos = tail + AIO_EVENTS_OFFSET;
1131
Kent Overstreet58c85dc2013-05-07 16:18:55 -07001132 if (++tail >= ctx->nr_events)
Ken Chen4bf69b22005-05-01 08:59:15 -07001133 tail = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001134
Kent Overstreet58c85dc2013-05-07 16:18:55 -07001135 ev_page = kmap_atomic(ctx->ring_pages[pos / AIO_EVENTS_PER_PAGE]);
Kent Overstreet21b40202013-05-07 16:18:47 -07001136 event = ev_page + pos % AIO_EVENTS_PER_PAGE;
1137
Al Viroa9339b72019-03-07 19:43:45 -05001138 *event = iocb->ki_res;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001139
Kent Overstreet21b40202013-05-07 16:18:47 -07001140 kunmap_atomic(ev_page);
Kent Overstreet58c85dc2013-05-07 16:18:55 -07001141 flush_dcache_page(ctx->ring_pages[pos / AIO_EVENTS_PER_PAGE]);
Kent Overstreet21b40202013-05-07 16:18:47 -07001142
Al Viroa9339b72019-03-07 19:43:45 -05001143 pr_debug("%p[%u]: %p: %p %Lx %Lx %Lx\n", ctx, tail, iocb,
1144 (void __user *)(unsigned long)iocb->ki_res.obj,
1145 iocb->ki_res.data, iocb->ki_res.res, iocb->ki_res.res2);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001146
1147 /* after flagging the request as done, we
1148 * must never even look at it again
1149 */
1150 smp_wmb(); /* make event visible before updating tail */
1151
Kent Overstreet58c85dc2013-05-07 16:18:55 -07001152 ctx->tail = tail;
Kent Overstreet21b40202013-05-07 16:18:47 -07001153
Kent Overstreet58c85dc2013-05-07 16:18:55 -07001154 ring = kmap_atomic(ctx->ring_pages[0]);
Benjamin LaHaised856f322014-08-24 13:14:05 -04001155 head = ring->head;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001156 ring->tail = tail;
Cong Wange8e3c3d2011-11-25 23:14:27 +08001157 kunmap_atomic(ring);
Kent Overstreet58c85dc2013-05-07 16:18:55 -07001158 flush_dcache_page(ctx->ring_pages[0]);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001159
Benjamin LaHaised856f322014-08-24 13:14:05 -04001160 ctx->completed_events++;
1161 if (ctx->completed_events > 1)
1162 refill_reqs_available(ctx, head, tail);
Kent Overstreet0460fef2013-05-07 16:18:49 -07001163 spin_unlock_irqrestore(&ctx->completion_lock, flags);
1164
Kent Overstreet21b40202013-05-07 16:18:47 -07001165 pr_debug("added to ring %p at [%u]\n", iocb, tail);
Davide Libenzi8d1c98b2008-04-10 21:29:19 -07001166
1167 /*
1168 * Check if the user asked us to deliver the result through an
1169 * eventfd. The eventfd_signal() function is safe to be called
1170 * from IRQ context.
1171 */
Al Viro74259702019-03-06 18:18:31 -05001172 if (iocb->ki_eventfd)
Davide Libenzi8d1c98b2008-04-10 21:29:19 -07001173 eventfd_signal(iocb->ki_eventfd, 1);
1174
Quentin Barnes6cb2a212008-03-19 17:00:39 -07001175 /*
1176 * We have to order our ring_info tail store above and test
1177 * of the wait list below outside the wait lock. This is
1178 * like in wake_up_bit() where clearing a bit has to be
1179 * ordered with the unlocked test.
1180 */
1181 smp_mb();
1182
Linus Torvalds1da177e2005-04-16 15:20:36 -07001183 if (waitqueue_active(&ctx->wait))
1184 wake_up(&ctx->wait);
Al Viro2bb874c2019-03-07 19:49:55 -05001185}
1186
1187static inline void iocb_put(struct aio_kiocb *iocb)
1188{
1189 if (refcount_dec_and_test(&iocb->ki_refcnt)) {
1190 aio_complete(iocb);
1191 iocb_destroy(iocb);
1192 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001193}
1194
Gu Zheng2be4e7d2014-07-23 18:03:53 +08001195/* aio_read_events_ring
Kent Overstreeta31ad382013-05-07 16:18:45 -07001196 * Pull an event off of the ioctx's event ring. Returns the number of
1197 * events fetched
Linus Torvalds1da177e2005-04-16 15:20:36 -07001198 */
Kent Overstreeta31ad382013-05-07 16:18:45 -07001199static long aio_read_events_ring(struct kioctx *ctx,
1200 struct io_event __user *event, long nr)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001201{
Linus Torvalds1da177e2005-04-16 15:20:36 -07001202 struct aio_ring *ring;
Kent Overstreet5ffac122013-05-09 15:36:07 -07001203 unsigned head, tail, pos;
Kent Overstreeta31ad382013-05-07 16:18:45 -07001204 long ret = 0;
1205 int copy_ret;
1206
Dave Chinner9c9ce762015-02-03 19:29:05 -05001207 /*
1208 * The mutex can block and wake us up and that will cause
1209 * wait_event_interruptible_hrtimeout() to schedule without sleeping
1210 * and repeat. This should be rare enough that it doesn't cause
1211 * peformance issues. See the comment in read_events() for more detail.
1212 */
1213 sched_annotate_sleep();
Kent Overstreet58c85dc2013-05-07 16:18:55 -07001214 mutex_lock(&ctx->ring_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001215
Benjamin LaHaisefa8a53c2014-03-28 10:14:45 -04001216 /* Access to ->ring_pages here is protected by ctx->ring_lock. */
Kent Overstreet58c85dc2013-05-07 16:18:55 -07001217 ring = kmap_atomic(ctx->ring_pages[0]);
Kent Overstreeta31ad382013-05-07 16:18:45 -07001218 head = ring->head;
Kent Overstreet5ffac122013-05-09 15:36:07 -07001219 tail = ring->tail;
Kent Overstreeta31ad382013-05-07 16:18:45 -07001220 kunmap_atomic(ring);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001221
Jeff Moyer2ff396be2014-09-02 13:17:00 -04001222 /*
1223 * Ensure that once we've read the current tail pointer, that
1224 * we also see the events that were stored up to the tail.
1225 */
1226 smp_rmb();
1227
Kent Overstreet5ffac122013-05-09 15:36:07 -07001228 pr_debug("h%u t%u m%u\n", head, tail, ctx->nr_events);
Kent Overstreeta31ad382013-05-07 16:18:45 -07001229
Kent Overstreet5ffac122013-05-09 15:36:07 -07001230 if (head == tail)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001231 goto out;
1232
Benjamin LaHaiseedfbbf32014-06-24 13:32:51 -04001233 head %= ctx->nr_events;
1234 tail %= ctx->nr_events;
1235
Kent Overstreeta31ad382013-05-07 16:18:45 -07001236 while (ret < nr) {
1237 long avail;
1238 struct io_event *ev;
1239 struct page *page;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001240
Kent Overstreet5ffac122013-05-09 15:36:07 -07001241 avail = (head <= tail ? tail : ctx->nr_events) - head;
1242 if (head == tail)
Kent Overstreeta31ad382013-05-07 16:18:45 -07001243 break;
1244
Kent Overstreeta31ad382013-05-07 16:18:45 -07001245 pos = head + AIO_EVENTS_OFFSET;
Kent Overstreet58c85dc2013-05-07 16:18:55 -07001246 page = ctx->ring_pages[pos / AIO_EVENTS_PER_PAGE];
Kent Overstreeta31ad382013-05-07 16:18:45 -07001247 pos %= AIO_EVENTS_PER_PAGE;
1248
Al Virod2988bd42018-05-26 19:13:10 -04001249 avail = min(avail, nr - ret);
1250 avail = min_t(long, avail, AIO_EVENTS_PER_PAGE - pos);
1251
Kent Overstreeta31ad382013-05-07 16:18:45 -07001252 ev = kmap(page);
1253 copy_ret = copy_to_user(event + ret, ev + pos,
1254 sizeof(*ev) * avail);
1255 kunmap(page);
1256
1257 if (unlikely(copy_ret)) {
1258 ret = -EFAULT;
1259 goto out;
1260 }
1261
1262 ret += avail;
1263 head += avail;
Kent Overstreet58c85dc2013-05-07 16:18:55 -07001264 head %= ctx->nr_events;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001265 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001266
Kent Overstreet58c85dc2013-05-07 16:18:55 -07001267 ring = kmap_atomic(ctx->ring_pages[0]);
Kent Overstreeta31ad382013-05-07 16:18:45 -07001268 ring->head = head;
Zhao Hongjiang91d80a82013-04-26 11:03:53 +08001269 kunmap_atomic(ring);
Kent Overstreet58c85dc2013-05-07 16:18:55 -07001270 flush_dcache_page(ctx->ring_pages[0]);
Kent Overstreeta31ad382013-05-07 16:18:45 -07001271
Kent Overstreet5ffac122013-05-09 15:36:07 -07001272 pr_debug("%li h%u t%u\n", ret, head, tail);
Kent Overstreeta31ad382013-05-07 16:18:45 -07001273out:
Kent Overstreet58c85dc2013-05-07 16:18:55 -07001274 mutex_unlock(&ctx->ring_lock);
Kent Overstreeta31ad382013-05-07 16:18:45 -07001275
Linus Torvalds1da177e2005-04-16 15:20:36 -07001276 return ret;
1277}
1278
Kent Overstreeta31ad382013-05-07 16:18:45 -07001279static bool aio_read_events(struct kioctx *ctx, long min_nr, long nr,
1280 struct io_event __user *event, long *i)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001281{
Kent Overstreeta31ad382013-05-07 16:18:45 -07001282 long ret = aio_read_events_ring(ctx, event + *i, nr - *i);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001283
Kent Overstreeta31ad382013-05-07 16:18:45 -07001284 if (ret > 0)
1285 *i += ret;
1286
1287 if (unlikely(atomic_read(&ctx->dead)))
1288 ret = -EINVAL;
1289
1290 if (!*i)
1291 *i = ret;
1292
1293 return ret < 0 || *i >= min_nr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001294}
1295
Kent Overstreeta31ad382013-05-07 16:18:45 -07001296static long read_events(struct kioctx *ctx, long min_nr, long nr,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001297 struct io_event __user *event,
Deepa Dinamanifa2e62a2017-08-04 21:12:32 -07001298 ktime_t until)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001299{
Kent Overstreeta31ad382013-05-07 16:18:45 -07001300 long ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001301
Kent Overstreeta31ad382013-05-07 16:18:45 -07001302 /*
1303 * Note that aio_read_events() is being called as the conditional - i.e.
1304 * we're calling it after prepare_to_wait() has set task state to
1305 * TASK_INTERRUPTIBLE.
1306 *
1307 * But aio_read_events() can block, and if it blocks it's going to flip
1308 * the task state back to TASK_RUNNING.
1309 *
1310 * This should be ok, provided it doesn't flip the state back to
1311 * TASK_RUNNING and return 0 too much - that causes us to spin. That
1312 * will only happen if the mutex_lock() call blocks, and we then find
1313 * the ringbuffer empty. So in practice we should be ok, but it's
1314 * something to be aware of when touching this code.
1315 */
Thomas Gleixner2456e852016-12-25 11:38:40 +01001316 if (until == 0)
Fam Zheng5f785de2014-11-06 20:44:36 +08001317 aio_read_events(ctx, min_nr, nr, event, &ret);
1318 else
1319 wait_event_interruptible_hrtimeout(ctx->wait,
1320 aio_read_events(ctx, min_nr, nr, event, &ret),
1321 until);
Kent Overstreeta31ad382013-05-07 16:18:45 -07001322 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001323}
1324
Linus Torvalds1da177e2005-04-16 15:20:36 -07001325/* sys_io_setup:
1326 * Create an aio_context capable of receiving at least nr_events.
1327 * ctxp must not point to an aio_context that already exists, and
1328 * must be initialized to 0 prior to the call. On successful
1329 * creation of the aio_context, *ctxp is filled in with the resulting
1330 * handle. May fail with -EINVAL if *ctxp is not initialized,
1331 * if the specified nr_events exceeds internal limits. May fail
1332 * with -EAGAIN if the specified nr_events exceeds the user's limit
1333 * of available events. May fail with -ENOMEM if insufficient kernel
1334 * resources are available. May fail with -EFAULT if an invalid
1335 * pointer is passed for ctxp. Will fail with -ENOSYS if not
1336 * implemented.
1337 */
Heiko Carstens002c8972009-01-14 14:14:18 +01001338SYSCALL_DEFINE2(io_setup, unsigned, nr_events, aio_context_t __user *, ctxp)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001339{
1340 struct kioctx *ioctx = NULL;
1341 unsigned long ctx;
1342 long ret;
1343
1344 ret = get_user(ctx, ctxp);
1345 if (unlikely(ret))
1346 goto out;
1347
1348 ret = -EINVAL;
Zach Brownd55b5fd2005-11-07 00:59:31 -08001349 if (unlikely(ctx || nr_events == 0)) {
Kinglong Meeacd88d42015-02-04 21:15:59 +08001350 pr_debug("EINVAL: ctx %lu nr_events %u\n",
Zach Brownd55b5fd2005-11-07 00:59:31 -08001351 ctx, nr_events);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001352 goto out;
1353 }
1354
1355 ioctx = ioctx_alloc(nr_events);
1356 ret = PTR_ERR(ioctx);
1357 if (!IS_ERR(ioctx)) {
1358 ret = put_user(ioctx->user_id, ctxp);
Al Viroa2e18592012-03-20 16:27:57 -04001359 if (ret)
Anatol Pomozove02ba722014-04-15 11:31:33 -07001360 kill_ioctx(current->mm, ioctx, NULL);
Kent Overstreet723be6e2013-05-28 15:14:48 -07001361 percpu_ref_put(&ioctx->users);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001362 }
1363
1364out:
1365 return ret;
1366}
1367
Al Viroc00d2c72016-12-20 07:04:57 -05001368#ifdef CONFIG_COMPAT
1369COMPAT_SYSCALL_DEFINE2(io_setup, unsigned, nr_events, u32 __user *, ctx32p)
1370{
1371 struct kioctx *ioctx = NULL;
1372 unsigned long ctx;
1373 long ret;
1374
1375 ret = get_user(ctx, ctx32p);
1376 if (unlikely(ret))
1377 goto out;
1378
1379 ret = -EINVAL;
1380 if (unlikely(ctx || nr_events == 0)) {
1381 pr_debug("EINVAL: ctx %lu nr_events %u\n",
1382 ctx, nr_events);
1383 goto out;
1384 }
1385
1386 ioctx = ioctx_alloc(nr_events);
1387 ret = PTR_ERR(ioctx);
1388 if (!IS_ERR(ioctx)) {
1389 /* truncating is ok because it's a user address */
1390 ret = put_user((u32)ioctx->user_id, ctx32p);
1391 if (ret)
1392 kill_ioctx(current->mm, ioctx, NULL);
1393 percpu_ref_put(&ioctx->users);
1394 }
1395
1396out:
1397 return ret;
1398}
1399#endif
1400
Linus Torvalds1da177e2005-04-16 15:20:36 -07001401/* sys_io_destroy:
1402 * Destroy the aio_context specified. May cancel any outstanding
1403 * AIOs and block on completion. Will fail with -ENOSYS if not
Satoru Takeuchi642b5122010-08-05 11:23:11 -07001404 * implemented. May fail with -EINVAL if the context pointed to
Linus Torvalds1da177e2005-04-16 15:20:36 -07001405 * is invalid.
1406 */
Heiko Carstens002c8972009-01-14 14:14:18 +01001407SYSCALL_DEFINE1(io_destroy, aio_context_t, ctx)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001408{
1409 struct kioctx *ioctx = lookup_ioctx(ctx);
1410 if (likely(NULL != ioctx)) {
Jens Axboedc48e562015-04-15 11:17:23 -06001411 struct ctx_rq_wait wait;
Benjamin LaHaisefb2d4482014-04-29 12:45:17 -04001412 int ret;
Anatol Pomozove02ba722014-04-15 11:31:33 -07001413
Jens Axboedc48e562015-04-15 11:17:23 -06001414 init_completion(&wait.comp);
1415 atomic_set(&wait.count, 1);
1416
Anatol Pomozove02ba722014-04-15 11:31:33 -07001417 /* Pass requests_done to kill_ioctx() where it can be set
1418 * in a thread-safe way. If we try to set it here then we have
1419 * a race condition if two io_destroy() called simultaneously.
1420 */
Jens Axboedc48e562015-04-15 11:17:23 -06001421 ret = kill_ioctx(current->mm, ioctx, &wait);
Kent Overstreet723be6e2013-05-28 15:14:48 -07001422 percpu_ref_put(&ioctx->users);
Anatol Pomozove02ba722014-04-15 11:31:33 -07001423
1424 /* Wait until all IO for the context are done. Otherwise kernel
1425 * keep using user-space buffers even if user thinks the context
1426 * is destroyed.
1427 */
Benjamin LaHaisefb2d4482014-04-29 12:45:17 -04001428 if (!ret)
Jens Axboedc48e562015-04-15 11:17:23 -06001429 wait_for_completion(&wait.comp);
Anatol Pomozove02ba722014-04-15 11:31:33 -07001430
Benjamin LaHaisefb2d4482014-04-29 12:45:17 -04001431 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001432 }
Kinglong Meeacd88d42015-02-04 21:15:59 +08001433 pr_debug("EINVAL: invalid context id\n");
Linus Torvalds1da177e2005-04-16 15:20:36 -07001434 return -EINVAL;
1435}
1436
Al Viro3c96c7f2018-05-28 13:37:43 -04001437static void aio_remove_iocb(struct aio_kiocb *iocb)
1438{
1439 struct kioctx *ctx = iocb->ki_ctx;
1440 unsigned long flags;
1441
1442 spin_lock_irqsave(&ctx->ctx_lock, flags);
1443 list_del(&iocb->ki_list);
1444 spin_unlock_irqrestore(&ctx->ctx_lock, flags);
1445}
1446
Jens Axboe6b19b762021-10-21 09:22:35 -06001447static void aio_complete_rw(struct kiocb *kiocb, long res)
Christoph Hellwig54843f82018-05-02 19:57:21 +02001448{
1449 struct aio_kiocb *iocb = container_of(kiocb, struct aio_kiocb, rw);
1450
Al Viro3c96c7f2018-05-28 13:37:43 -04001451 if (!list_empty_careful(&iocb->ki_list))
1452 aio_remove_iocb(iocb);
1453
Christoph Hellwig54843f82018-05-02 19:57:21 +02001454 if (kiocb->ki_flags & IOCB_WRITE) {
1455 struct inode *inode = file_inode(kiocb->ki_filp);
1456
1457 /*
1458 * Tell lockdep we inherited freeze protection from submission
1459 * thread.
1460 */
1461 if (S_ISREG(inode->i_mode))
1462 __sb_writers_acquired(inode->i_sb, SB_FREEZE_WRITE);
1463 file_end_write(kiocb->ki_filp);
1464 }
1465
Al Viro2bb874c2019-03-07 19:49:55 -05001466 iocb->ki_res.res = res;
Jens Axboe6b19b762021-10-21 09:22:35 -06001467 iocb->ki_res.res2 = 0;
Al Viro2bb874c2019-03-07 19:49:55 -05001468 iocb_put(iocb);
Christoph Hellwig54843f82018-05-02 19:57:21 +02001469}
1470
Jens Axboe88a6f182018-11-24 14:46:14 -07001471static int aio_prep_rw(struct kiocb *req, const struct iocb *iocb)
Christoph Hellwig54843f82018-05-02 19:57:21 +02001472{
1473 int ret;
1474
Christoph Hellwig54843f82018-05-02 19:57:21 +02001475 req->ki_complete = aio_complete_rw;
Mike Marshallec51f8e2019-02-05 14:13:35 -05001476 req->private = NULL;
Christoph Hellwig54843f82018-05-02 19:57:21 +02001477 req->ki_pos = iocb->aio_offset;
1478 req->ki_flags = iocb_flags(req->ki_filp);
1479 if (iocb->aio_flags & IOCB_FLAG_RESFD)
1480 req->ki_flags |= IOCB_EVENTFD;
Adam Manzanaresfc287242018-05-22 10:52:18 -07001481 req->ki_hint = ki_hint_validate(file_write_hint(req->ki_filp));
Adam Manzanaresd9a08a92018-05-22 10:52:19 -07001482 if (iocb->aio_flags & IOCB_FLAG_IOPRIO) {
1483 /*
1484 * If the IOCB_FLAG_IOPRIO flag of aio_flags is set, then
1485 * aio_reqprio is interpreted as an I/O scheduling
1486 * class and priority.
1487 */
1488 ret = ioprio_check_cap(iocb->aio_reqprio);
1489 if (ret) {
Adam Manzanares9a6d9a62018-06-04 10:59:57 -07001490 pr_debug("aio ioprio check cap error: %d\n", ret);
Linus Torvalds84c4e1f82019-03-03 14:23:33 -08001491 return ret;
Adam Manzanaresd9a08a92018-05-22 10:52:19 -07001492 }
1493
1494 req->ki_ioprio = iocb->aio_reqprio;
1495 } else
Damien Le Moal76dc8912018-11-20 10:52:36 +09001496 req->ki_ioprio = get_current_ioprio();
Adam Manzanaresd9a08a92018-05-22 10:52:19 -07001497
Christoph Hellwig54843f82018-05-02 19:57:21 +02001498 ret = kiocb_set_rw_flags(req, iocb->aio_rw_flags);
1499 if (unlikely(ret))
Linus Torvalds84c4e1f82019-03-03 14:23:33 -08001500 return ret;
Christoph Hellwig154989e2018-11-22 16:44:07 +01001501
1502 req->ki_flags &= ~IOCB_HIPRI; /* no one is going to poll for this I/O */
1503 return 0;
Christoph Hellwig54843f82018-05-02 19:57:21 +02001504}
1505
Jens Axboe87e5e6d2019-05-14 16:02:22 -06001506static ssize_t aio_setup_rw(int rw, const struct iocb *iocb,
1507 struct iovec **iovec, bool vectored, bool compat,
1508 struct iov_iter *iter)
Badari Pulavartyeed4e512006-09-30 23:28:49 -07001509{
Christoph Hellwig89319d312016-10-30 11:42:03 -05001510 void __user *buf = (void __user *)(uintptr_t)iocb->aio_buf;
1511 size_t len = iocb->aio_nbytes;
1512
1513 if (!vectored) {
1514 ssize_t ret = import_single_range(rw, buf, len, *iovec, iter);
1515 *iovec = NULL;
1516 return ret;
1517 }
Christoph Hellwig89cd35c2020-09-25 06:51:41 +02001518
1519 return __import_iovec(rw, buf, len, UIO_FASTIOV, iovec, iter, compat);
Badari Pulavartyeed4e512006-09-30 23:28:49 -07001520}
1521
Al Viro9061d142018-05-26 19:11:40 -04001522static inline void aio_rw_done(struct kiocb *req, ssize_t ret)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001523{
Christoph Hellwig89319d312016-10-30 11:42:03 -05001524 switch (ret) {
1525 case -EIOCBQUEUED:
Al Viro9061d142018-05-26 19:11:40 -04001526 break;
Christoph Hellwig89319d312016-10-30 11:42:03 -05001527 case -ERESTARTSYS:
1528 case -ERESTARTNOINTR:
1529 case -ERESTARTNOHAND:
1530 case -ERESTART_RESTARTBLOCK:
Kent Overstreet41ef4eb2013-05-07 16:19:11 -07001531 /*
1532 * There's no easy way to restart the syscall since other AIO's
1533 * may be already running. Just fail this IO with EINTR.
1534 */
Christoph Hellwig89319d312016-10-30 11:42:03 -05001535 ret = -EINTR;
Gustavo A. R. Silvadf561f662020-08-23 17:36:59 -05001536 fallthrough;
Christoph Hellwig89319d312016-10-30 11:42:03 -05001537 default:
Jens Axboe6b19b762021-10-21 09:22:35 -06001538 req->ki_complete(req, ret);
Kent Overstreet41ef4eb2013-05-07 16:19:11 -07001539 }
Christoph Hellwig89319d312016-10-30 11:42:03 -05001540}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001541
Al Viro958c13c2019-03-06 18:13:00 -05001542static int aio_read(struct kiocb *req, const struct iocb *iocb,
Jens Axboe88a6f182018-11-24 14:46:14 -07001543 bool vectored, bool compat)
Christoph Hellwig89319d312016-10-30 11:42:03 -05001544{
Christoph Hellwig89319d312016-10-30 11:42:03 -05001545 struct iovec inline_vecs[UIO_FASTIOV], *iovec = inline_vecs;
1546 struct iov_iter iter;
Christoph Hellwig54843f82018-05-02 19:57:21 +02001547 struct file *file;
Al Viro958c13c2019-03-06 18:13:00 -05001548 int ret;
Christoph Hellwig89319d312016-10-30 11:42:03 -05001549
Christoph Hellwig54843f82018-05-02 19:57:21 +02001550 ret = aio_prep_rw(req, iocb);
1551 if (ret)
1552 return ret;
1553 file = req->ki_filp;
Christoph Hellwig89319d312016-10-30 11:42:03 -05001554 if (unlikely(!(file->f_mode & FMODE_READ)))
Linus Torvalds84c4e1f82019-03-03 14:23:33 -08001555 return -EBADF;
Christoph Hellwig54843f82018-05-02 19:57:21 +02001556 ret = -EINVAL;
Christoph Hellwig89319d312016-10-30 11:42:03 -05001557 if (unlikely(!file->f_op->read_iter))
Linus Torvalds84c4e1f82019-03-03 14:23:33 -08001558 return -EINVAL;
Christoph Hellwig89319d312016-10-30 11:42:03 -05001559
1560 ret = aio_setup_rw(READ, iocb, &iovec, vectored, compat, &iter);
Jens Axboe87e5e6d2019-05-14 16:02:22 -06001561 if (ret < 0)
Linus Torvalds84c4e1f82019-03-03 14:23:33 -08001562 return ret;
Christoph Hellwig89319d312016-10-30 11:42:03 -05001563 ret = rw_verify_area(READ, file, &req->ki_pos, iov_iter_count(&iter));
1564 if (!ret)
Al Viro9061d142018-05-26 19:11:40 -04001565 aio_rw_done(req, call_read_iter(file, req, &iter));
Christoph Hellwig89319d312016-10-30 11:42:03 -05001566 kfree(iovec);
1567 return ret;
1568}
1569
Al Viro958c13c2019-03-06 18:13:00 -05001570static int aio_write(struct kiocb *req, const struct iocb *iocb,
Jens Axboe88a6f182018-11-24 14:46:14 -07001571 bool vectored, bool compat)
Christoph Hellwig89319d312016-10-30 11:42:03 -05001572{
Christoph Hellwig89319d312016-10-30 11:42:03 -05001573 struct iovec inline_vecs[UIO_FASTIOV], *iovec = inline_vecs;
1574 struct iov_iter iter;
Christoph Hellwig54843f82018-05-02 19:57:21 +02001575 struct file *file;
Al Viro958c13c2019-03-06 18:13:00 -05001576 int ret;
Christoph Hellwig89319d312016-10-30 11:42:03 -05001577
Christoph Hellwig54843f82018-05-02 19:57:21 +02001578 ret = aio_prep_rw(req, iocb);
1579 if (ret)
1580 return ret;
1581 file = req->ki_filp;
1582
Christoph Hellwig89319d312016-10-30 11:42:03 -05001583 if (unlikely(!(file->f_mode & FMODE_WRITE)))
Linus Torvalds84c4e1f82019-03-03 14:23:33 -08001584 return -EBADF;
Christoph Hellwig89319d312016-10-30 11:42:03 -05001585 if (unlikely(!file->f_op->write_iter))
Linus Torvalds84c4e1f82019-03-03 14:23:33 -08001586 return -EINVAL;
Christoph Hellwig89319d312016-10-30 11:42:03 -05001587
1588 ret = aio_setup_rw(WRITE, iocb, &iovec, vectored, compat, &iter);
Jens Axboe87e5e6d2019-05-14 16:02:22 -06001589 if (ret < 0)
Linus Torvalds84c4e1f82019-03-03 14:23:33 -08001590 return ret;
Christoph Hellwig89319d312016-10-30 11:42:03 -05001591 ret = rw_verify_area(WRITE, file, &req->ki_pos, iov_iter_count(&iter));
1592 if (!ret) {
Jan Kara70fe2f42016-10-30 11:42:04 -05001593 /*
Christoph Hellwig92ce4722018-04-06 09:28:17 +02001594 * Open-code file_start_write here to grab freeze protection,
Christoph Hellwig54843f82018-05-02 19:57:21 +02001595 * which will be released by another thread in
1596 * aio_complete_rw(). Fool lockdep by telling it the lock got
1597 * released so that it doesn't complain about the held lock when
1598 * we return to userspace.
Jan Kara70fe2f42016-10-30 11:42:04 -05001599 */
Christoph Hellwig92ce4722018-04-06 09:28:17 +02001600 if (S_ISREG(file_inode(file)->i_mode)) {
Darrick J. Wong8a3c84b2020-11-10 16:50:21 -08001601 sb_start_write(file_inode(file)->i_sb);
Shaohua Lia12f1ae2016-12-13 12:09:56 -08001602 __sb_writers_release(file_inode(file)->i_sb, SB_FREEZE_WRITE);
Christoph Hellwig92ce4722018-04-06 09:28:17 +02001603 }
1604 req->ki_flags |= IOCB_WRITE;
Al Viro9061d142018-05-26 19:11:40 -04001605 aio_rw_done(req, call_write_iter(file, req, &iter));
Christoph Hellwig89319d312016-10-30 11:42:03 -05001606 }
1607 kfree(iovec);
1608 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001609}
1610
Christoph Hellwiga3c0d432018-03-27 19:18:57 +02001611static void aio_fsync_work(struct work_struct *work)
1612{
Al Viro2bb874c2019-03-07 19:49:55 -05001613 struct aio_kiocb *iocb = container_of(work, struct aio_kiocb, fsync.work);
Miklos Szeredi530f32f2020-05-14 16:44:24 +02001614 const struct cred *old_cred = override_creds(iocb->fsync.creds);
Christoph Hellwiga3c0d432018-03-27 19:18:57 +02001615
Al Viro2bb874c2019-03-07 19:49:55 -05001616 iocb->ki_res.res = vfs_fsync(iocb->fsync.file, iocb->fsync.datasync);
Miklos Szeredi530f32f2020-05-14 16:44:24 +02001617 revert_creds(old_cred);
1618 put_cred(iocb->fsync.creds);
Al Viro2bb874c2019-03-07 19:49:55 -05001619 iocb_put(iocb);
Christoph Hellwiga3c0d432018-03-27 19:18:57 +02001620}
1621
Jens Axboe88a6f182018-11-24 14:46:14 -07001622static int aio_fsync(struct fsync_iocb *req, const struct iocb *iocb,
1623 bool datasync)
Christoph Hellwiga3c0d432018-03-27 19:18:57 +02001624{
1625 if (unlikely(iocb->aio_buf || iocb->aio_offset || iocb->aio_nbytes ||
1626 iocb->aio_rw_flags))
1627 return -EINVAL;
Linus Torvaldsa11e1d42018-06-28 09:43:44 -07001628
Linus Torvalds84c4e1f82019-03-03 14:23:33 -08001629 if (unlikely(!req->file->f_op->fsync))
Christoph Hellwiga3c0d432018-03-27 19:18:57 +02001630 return -EINVAL;
Christoph Hellwiga3c0d432018-03-27 19:18:57 +02001631
Miklos Szeredi530f32f2020-05-14 16:44:24 +02001632 req->creds = prepare_creds();
1633 if (!req->creds)
1634 return -ENOMEM;
1635
Christoph Hellwiga3c0d432018-03-27 19:18:57 +02001636 req->datasync = datasync;
1637 INIT_WORK(&req->work, aio_fsync_work);
1638 schedule_work(&req->work);
Al Viro9061d142018-05-26 19:11:40 -04001639 return 0;
Christoph Hellwiga3c0d432018-03-27 19:18:57 +02001640}
1641
Jens Axboe01d7a352020-02-03 10:33:42 -07001642static void aio_poll_put_work(struct work_struct *work)
1643{
1644 struct poll_iocb *req = container_of(work, struct poll_iocb, work);
1645 struct aio_kiocb *iocb = container_of(req, struct aio_kiocb, poll);
1646
1647 iocb_put(iocb);
1648}
1649
Eric Biggers50252e42021-12-08 17:04:55 -08001650/*
1651 * Safely lock the waitqueue which the request is on, synchronizing with the
1652 * case where the ->poll() provider decides to free its waitqueue early.
1653 *
1654 * Returns true on success, meaning that req->head->lock was locked, req->wait
1655 * is on req->head, and an RCU read lock was taken. Returns false if the
1656 * request was already removed from its waitqueue (which might no longer exist).
1657 */
1658static bool poll_iocb_lock_wq(struct poll_iocb *req)
1659{
1660 wait_queue_head_t *head;
1661
1662 /*
1663 * While we hold the waitqueue lock and the waitqueue is nonempty,
1664 * wake_up_pollfree() will wait for us. However, taking the waitqueue
1665 * lock in the first place can race with the waitqueue being freed.
1666 *
1667 * We solve this as eventpoll does: by taking advantage of the fact that
1668 * all users of wake_up_pollfree() will RCU-delay the actual free. If
1669 * we enter rcu_read_lock() and see that the pointer to the queue is
1670 * non-NULL, we can then lock it without the memory being freed out from
1671 * under us, then check whether the request is still on the queue.
1672 *
1673 * Keep holding rcu_read_lock() as long as we hold the queue lock, in
1674 * case the caller deletes the entry from the queue, leaving it empty.
1675 * In that case, only RCU prevents the queue memory from being freed.
1676 */
1677 rcu_read_lock();
1678 head = smp_load_acquire(&req->head);
1679 if (head) {
1680 spin_lock(&head->lock);
1681 if (!list_empty(&req->wait.entry))
1682 return true;
1683 spin_unlock(&head->lock);
1684 }
1685 rcu_read_unlock();
1686 return false;
1687}
1688
1689static void poll_iocb_unlock_wq(struct poll_iocb *req)
1690{
1691 spin_unlock(&req->head->lock);
1692 rcu_read_unlock();
1693}
1694
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001695static void aio_poll_complete_work(struct work_struct *work)
1696{
1697 struct poll_iocb *req = container_of(work, struct poll_iocb, work);
1698 struct aio_kiocb *iocb = container_of(req, struct aio_kiocb, poll);
1699 struct poll_table_struct pt = { ._key = req->events };
1700 struct kioctx *ctx = iocb->ki_ctx;
1701 __poll_t mask = 0;
1702
1703 if (!READ_ONCE(req->cancelled))
1704 mask = vfs_poll(req->file, &pt) & req->events;
1705
1706 /*
1707 * Note that ->ki_cancel callers also delete iocb from active_reqs after
1708 * calling ->ki_cancel. We need the ctx_lock roundtrip here to
1709 * synchronize with them. In the cancellation case the list_del_init
1710 * itself is not actually needed, but harmless so we keep it in to
1711 * avoid further branches in the fast path.
1712 */
1713 spin_lock_irq(&ctx->ctx_lock);
Eric Biggers50252e42021-12-08 17:04:55 -08001714 if (poll_iocb_lock_wq(req)) {
1715 if (!mask && !READ_ONCE(req->cancelled)) {
1716 /*
1717 * The request isn't actually ready to be completed yet.
1718 * Reschedule completion if another wakeup came in.
1719 */
1720 if (req->work_need_resched) {
1721 schedule_work(&req->work);
1722 req->work_need_resched = false;
1723 } else {
1724 req->work_scheduled = false;
1725 }
1726 poll_iocb_unlock_wq(req);
1727 spin_unlock_irq(&ctx->ctx_lock);
1728 return;
Eric Biggers363bee22021-12-08 17:04:54 -08001729 }
Eric Biggers50252e42021-12-08 17:04:55 -08001730 list_del_init(&req->wait.entry);
1731 poll_iocb_unlock_wq(req);
1732 } /* else, POLLFREE has freed the waitqueue, so we must complete */
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001733 list_del_init(&iocb->ki_list);
Al Viroaf5c72b2019-03-07 21:45:41 -05001734 iocb->ki_res.res = mangle_poll(mask);
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001735 spin_unlock_irq(&ctx->ctx_lock);
1736
Al Viroaf5c72b2019-03-07 21:45:41 -05001737 iocb_put(iocb);
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001738}
1739
1740/* assumes we are called with irqs disabled */
1741static int aio_poll_cancel(struct kiocb *iocb)
1742{
1743 struct aio_kiocb *aiocb = container_of(iocb, struct aio_kiocb, rw);
1744 struct poll_iocb *req = &aiocb->poll;
1745
Eric Biggers50252e42021-12-08 17:04:55 -08001746 if (poll_iocb_lock_wq(req)) {
1747 WRITE_ONCE(req->cancelled, true);
1748 if (!req->work_scheduled) {
1749 schedule_work(&aiocb->poll.work);
1750 req->work_scheduled = true;
1751 }
1752 poll_iocb_unlock_wq(req);
1753 } /* else, the request was force-cancelled by POLLFREE already */
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001754
1755 return 0;
1756}
1757
1758static int aio_poll_wake(struct wait_queue_entry *wait, unsigned mode, int sync,
1759 void *key)
1760{
1761 struct poll_iocb *req = container_of(wait, struct poll_iocb, wait);
Christoph Hellwige8693bc2018-07-16 12:25:17 +02001762 struct aio_kiocb *iocb = container_of(req, struct aio_kiocb, poll);
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001763 __poll_t mask = key_to_poll(key);
Bart Van Assched3d6a182019-02-08 16:59:49 -08001764 unsigned long flags;
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001765
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001766 /* for instances that support it check for an event match first: */
Al Viroaf5c72b2019-03-07 21:45:41 -05001767 if (mask && !(mask & req->events))
1768 return 0;
Christoph Hellwige8693bc2018-07-16 12:25:17 +02001769
Eric Biggers363bee22021-12-08 17:04:54 -08001770 /*
1771 * Complete the request inline if possible. This requires that three
1772 * conditions be met:
1773 * 1. An event mask must have been passed. If a plain wakeup was done
1774 * instead, then mask == 0 and we have to call vfs_poll() to get
1775 * the events, so inline completion isn't possible.
1776 * 2. The completion work must not have already been scheduled.
1777 * 3. ctx_lock must not be busy. We have to use trylock because we
1778 * already hold the waitqueue lock, so this inverts the normal
1779 * locking order. Use irqsave/irqrestore because not all
1780 * filesystems (e.g. fuse) call this function with IRQs disabled,
1781 * yet IRQs have to be disabled before ctx_lock is obtained.
1782 */
1783 if (mask && !req->work_scheduled &&
1784 spin_trylock_irqsave(&iocb->ki_ctx->ctx_lock, flags)) {
Jens Axboe01d7a352020-02-03 10:33:42 -07001785 struct kioctx *ctx = iocb->ki_ctx;
1786
Eric Biggers363bee22021-12-08 17:04:54 -08001787 list_del_init(&req->wait.entry);
Al Viroaf5c72b2019-03-07 21:45:41 -05001788 list_del(&iocb->ki_list);
1789 iocb->ki_res.res = mangle_poll(mask);
Xie Yongji4b374982021-09-13 19:19:28 +08001790 if (iocb->ki_eventfd && !eventfd_signal_allowed()) {
Jens Axboe01d7a352020-02-03 10:33:42 -07001791 iocb = NULL;
1792 INIT_WORK(&req->work, aio_poll_put_work);
1793 schedule_work(&req->work);
1794 }
1795 spin_unlock_irqrestore(&ctx->ctx_lock, flags);
1796 if (iocb)
1797 iocb_put(iocb);
Al Viroaf5c72b2019-03-07 21:45:41 -05001798 } else {
Eric Biggers363bee22021-12-08 17:04:54 -08001799 /*
1800 * Schedule the completion work if needed. If it was already
1801 * scheduled, record that another wakeup came in.
1802 *
1803 * Don't remove the request from the waitqueue here, as it might
1804 * not actually be complete yet (we won't know until vfs_poll()
Eric Biggers50252e42021-12-08 17:04:55 -08001805 * is called), and we must not miss any wakeups. POLLFREE is an
1806 * exception to this; see below.
Eric Biggers363bee22021-12-08 17:04:54 -08001807 */
1808 if (req->work_scheduled) {
1809 req->work_need_resched = true;
1810 } else {
1811 schedule_work(&req->work);
1812 req->work_scheduled = true;
1813 }
Eric Biggers50252e42021-12-08 17:04:55 -08001814
1815 /*
1816 * If the waitqueue is being freed early but we can't complete
1817 * the request inline, we have to tear down the request as best
1818 * we can. That means immediately removing the request from its
1819 * waitqueue and preventing all further accesses to the
1820 * waitqueue via the request. We also need to schedule the
1821 * completion work (done above). Also mark the request as
1822 * cancelled, to potentially skip an unneeded call to ->poll().
1823 */
1824 if (mask & POLLFREE) {
1825 WRITE_ONCE(req->cancelled, true);
1826 list_del_init(&req->wait.entry);
1827
1828 /*
1829 * Careful: this *must* be the last step, since as soon
1830 * as req->head is NULL'ed out, the request can be
1831 * completed and freed, since aio_poll_complete_work()
1832 * will no longer need to take the waitqueue lock.
1833 */
1834 smp_store_release(&req->head, NULL);
1835 }
Christoph Hellwige8693bc2018-07-16 12:25:17 +02001836 }
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001837 return 1;
1838}
1839
1840struct aio_poll_table {
1841 struct poll_table_struct pt;
1842 struct aio_kiocb *iocb;
Eric Biggers50252e42021-12-08 17:04:55 -08001843 bool queued;
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001844 int error;
1845};
1846
1847static void
1848aio_poll_queue_proc(struct file *file, struct wait_queue_head *head,
1849 struct poll_table_struct *p)
1850{
1851 struct aio_poll_table *pt = container_of(p, struct aio_poll_table, pt);
1852
1853 /* multiple wait queues per file are not supported */
Eric Biggers50252e42021-12-08 17:04:55 -08001854 if (unlikely(pt->queued)) {
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001855 pt->error = -EINVAL;
1856 return;
1857 }
1858
Eric Biggers50252e42021-12-08 17:04:55 -08001859 pt->queued = true;
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001860 pt->error = 0;
1861 pt->iocb->poll.head = head;
1862 add_wait_queue(head, &pt->iocb->poll.wait);
1863}
1864
Al Viro958c13c2019-03-06 18:13:00 -05001865static int aio_poll(struct aio_kiocb *aiocb, const struct iocb *iocb)
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001866{
1867 struct kioctx *ctx = aiocb->ki_ctx;
1868 struct poll_iocb *req = &aiocb->poll;
1869 struct aio_poll_table apt;
Al Viroaf5c72b2019-03-07 21:45:41 -05001870 bool cancel = false;
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001871 __poll_t mask;
1872
1873 /* reject any unknown events outside the normal event mask. */
1874 if ((u16)iocb->aio_buf != iocb->aio_buf)
1875 return -EINVAL;
1876 /* reject fields that are not defined for poll */
1877 if (iocb->aio_offset || iocb->aio_nbytes || iocb->aio_rw_flags)
1878 return -EINVAL;
1879
1880 INIT_WORK(&req->work, aio_poll_complete_work);
1881 req->events = demangle_poll(iocb->aio_buf) | EPOLLERR | EPOLLHUP;
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001882
Jens Axboe2bc4ca92018-12-04 09:44:49 -07001883 req->head = NULL;
Jens Axboe2bc4ca92018-12-04 09:44:49 -07001884 req->cancelled = false;
Eric Biggers363bee22021-12-08 17:04:54 -08001885 req->work_scheduled = false;
1886 req->work_need_resched = false;
Jens Axboe2bc4ca92018-12-04 09:44:49 -07001887
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001888 apt.pt._qproc = aio_poll_queue_proc;
1889 apt.pt._key = req->events;
1890 apt.iocb = aiocb;
Eric Biggers50252e42021-12-08 17:04:55 -08001891 apt.queued = false;
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001892 apt.error = -EINVAL; /* same as no support for IOCB_CMD_POLL */
1893
1894 /* initialized the list so that we can do list_empty checks */
1895 INIT_LIST_HEAD(&req->wait.entry);
1896 init_waitqueue_func_entry(&req->wait, aio_poll_wake);
1897
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001898 mask = vfs_poll(req->file, &apt.pt) & req->events;
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001899 spin_lock_irq(&ctx->ctx_lock);
Eric Biggers50252e42021-12-08 17:04:55 -08001900 if (likely(apt.queued)) {
1901 bool on_queue = poll_iocb_lock_wq(req);
1902
1903 if (!on_queue || req->work_scheduled) {
Eric Biggers363bee22021-12-08 17:04:54 -08001904 /*
1905 * aio_poll_wake() already either scheduled the async
1906 * completion work, or completed the request inline.
1907 */
1908 if (apt.error) /* unsupported case: multiple queues */
Al Viroaf5c72b2019-03-07 21:45:41 -05001909 cancel = true;
1910 apt.error = 0;
1911 mask = 0;
1912 }
1913 if (mask || apt.error) {
Eric Biggers363bee22021-12-08 17:04:54 -08001914 /* Steal to complete synchronously. */
Al Viroaf5c72b2019-03-07 21:45:41 -05001915 list_del_init(&req->wait.entry);
1916 } else if (cancel) {
Eric Biggers363bee22021-12-08 17:04:54 -08001917 /* Cancel if possible (may be too late though). */
Al Viroaf5c72b2019-03-07 21:45:41 -05001918 WRITE_ONCE(req->cancelled, true);
Eric Biggers50252e42021-12-08 17:04:55 -08001919 } else if (on_queue) {
Eric Biggers363bee22021-12-08 17:04:54 -08001920 /*
1921 * Actually waiting for an event, so add the request to
1922 * active_reqs so that it can be cancelled if needed.
1923 */
Al Viroaf5c72b2019-03-07 21:45:41 -05001924 list_add_tail(&aiocb->ki_list, &ctx->active_reqs);
1925 aiocb->ki_cancel = aio_poll_cancel;
1926 }
Eric Biggers50252e42021-12-08 17:04:55 -08001927 if (on_queue)
1928 poll_iocb_unlock_wq(req);
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001929 }
Al Viroaf5c72b2019-03-07 21:45:41 -05001930 if (mask) { /* no async, we'd stolen it */
1931 aiocb->ki_res.res = mangle_poll(mask);
1932 apt.error = 0;
1933 }
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001934 spin_unlock_irq(&ctx->ctx_lock);
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001935 if (mask)
Al Viroaf5c72b2019-03-07 21:45:41 -05001936 iocb_put(aiocb);
1937 return apt.error;
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001938}
1939
Jens Axboe88a6f182018-11-24 14:46:14 -07001940static int __io_submit_one(struct kioctx *ctx, const struct iocb *iocb,
Al Viro7316b492019-03-06 18:24:51 -05001941 struct iocb __user *user_iocb, struct aio_kiocb *req,
1942 bool compat)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001943{
Linus Torvalds84c4e1f82019-03-03 14:23:33 -08001944 req->ki_filp = fget(iocb->aio_fildes);
Linus Torvalds84c4e1f82019-03-03 14:23:33 -08001945 if (unlikely(!req->ki_filp))
Al Viro7316b492019-03-06 18:24:51 -05001946 return -EBADF;
Linus Torvalds84c4e1f82019-03-03 14:23:33 -08001947
Jens Axboe88a6f182018-11-24 14:46:14 -07001948 if (iocb->aio_flags & IOCB_FLAG_RESFD) {
Al Viro74259702019-03-06 18:18:31 -05001949 struct eventfd_ctx *eventfd;
Davide Libenzi9c3060b2007-05-10 22:23:21 -07001950 /*
1951 * If the IOCB_FLAG_RESFD flag of aio_flags is set, get an
1952 * instance of the file* now. The file descriptor must be
1953 * an eventfd() fd, and will be signaled for each completed
1954 * event using the eventfd_signal() function.
1955 */
Al Viro74259702019-03-06 18:18:31 -05001956 eventfd = eventfd_ctx_fdget(iocb->aio_resfd);
Al Viro7316b492019-03-06 18:24:51 -05001957 if (IS_ERR(eventfd))
Dan Carpenter18bfb9c2019-04-03 09:22:35 +03001958 return PTR_ERR(eventfd);
Al Viro7316b492019-03-06 18:24:51 -05001959
Al Viro74259702019-03-06 18:18:31 -05001960 req->ki_eventfd = eventfd;
Goldwyn Rodrigues9830f4b2017-06-20 07:05:42 -05001961 }
1962
Al Viro7316b492019-03-06 18:24:51 -05001963 if (unlikely(put_user(KIOCB_KEY, &user_iocb->aio_key))) {
Kent Overstreetcaf41672013-05-07 16:18:35 -07001964 pr_debug("EFAULT: aio_key\n");
Al Viro7316b492019-03-06 18:24:51 -05001965 return -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001966 }
1967
Al Viroa9339b72019-03-07 19:43:45 -05001968 req->ki_res.obj = (u64)(unsigned long)user_iocb;
1969 req->ki_res.data = iocb->aio_data;
1970 req->ki_res.res = 0;
1971 req->ki_res.res2 = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001972
Jens Axboe88a6f182018-11-24 14:46:14 -07001973 switch (iocb->aio_lio_opcode) {
Christoph Hellwig89319d312016-10-30 11:42:03 -05001974 case IOCB_CMD_PREAD:
Al Viro7316b492019-03-06 18:24:51 -05001975 return aio_read(&req->rw, iocb, false, compat);
Christoph Hellwig89319d312016-10-30 11:42:03 -05001976 case IOCB_CMD_PWRITE:
Al Viro7316b492019-03-06 18:24:51 -05001977 return aio_write(&req->rw, iocb, false, compat);
Christoph Hellwig89319d312016-10-30 11:42:03 -05001978 case IOCB_CMD_PREADV:
Al Viro7316b492019-03-06 18:24:51 -05001979 return aio_read(&req->rw, iocb, true, compat);
Christoph Hellwig89319d312016-10-30 11:42:03 -05001980 case IOCB_CMD_PWRITEV:
Al Viro7316b492019-03-06 18:24:51 -05001981 return aio_write(&req->rw, iocb, true, compat);
Christoph Hellwiga3c0d432018-03-27 19:18:57 +02001982 case IOCB_CMD_FSYNC:
Al Viro7316b492019-03-06 18:24:51 -05001983 return aio_fsync(&req->fsync, iocb, false);
Christoph Hellwiga3c0d432018-03-27 19:18:57 +02001984 case IOCB_CMD_FDSYNC:
Al Viro7316b492019-03-06 18:24:51 -05001985 return aio_fsync(&req->fsync, iocb, true);
Christoph Hellwigbfe40372018-07-16 09:08:20 +02001986 case IOCB_CMD_POLL:
Al Viro7316b492019-03-06 18:24:51 -05001987 return aio_poll(req, iocb);
Christoph Hellwig89319d312016-10-30 11:42:03 -05001988 default:
Jens Axboe88a6f182018-11-24 14:46:14 -07001989 pr_debug("invalid aio operation %d\n", iocb->aio_lio_opcode);
Al Viro7316b492019-03-06 18:24:51 -05001990 return -EINVAL;
Christoph Hellwig89319d312016-10-30 11:42:03 -05001991 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001992}
1993
Jens Axboe88a6f182018-11-24 14:46:14 -07001994static int io_submit_one(struct kioctx *ctx, struct iocb __user *user_iocb,
1995 bool compat)
1996{
Al Viro7316b492019-03-06 18:24:51 -05001997 struct aio_kiocb *req;
Jens Axboe88a6f182018-11-24 14:46:14 -07001998 struct iocb iocb;
Al Viro7316b492019-03-06 18:24:51 -05001999 int err;
Jens Axboe88a6f182018-11-24 14:46:14 -07002000
2001 if (unlikely(copy_from_user(&iocb, user_iocb, sizeof(iocb))))
2002 return -EFAULT;
2003
Al Viro7316b492019-03-06 18:24:51 -05002004 /* enforce forwards compatibility on users */
2005 if (unlikely(iocb.aio_reserved2)) {
2006 pr_debug("EINVAL: reserve field set\n");
2007 return -EINVAL;
2008 }
2009
2010 /* prevent overflows */
2011 if (unlikely(
2012 (iocb.aio_buf != (unsigned long)iocb.aio_buf) ||
2013 (iocb.aio_nbytes != (size_t)iocb.aio_nbytes) ||
2014 ((ssize_t)iocb.aio_nbytes < 0)
2015 )) {
2016 pr_debug("EINVAL: overflow check\n");
2017 return -EINVAL;
2018 }
2019
2020 req = aio_get_req(ctx);
2021 if (unlikely(!req))
2022 return -EAGAIN;
2023
2024 err = __io_submit_one(ctx, &iocb, user_iocb, req, compat);
2025
2026 /* Done with the synchronous reference */
2027 iocb_put(req);
2028
2029 /*
2030 * If err is 0, we'd either done aio_complete() ourselves or have
2031 * arranged for that to be done asynchronously. Anything non-zero
2032 * means that we need to destroy req ourselves.
2033 */
2034 if (unlikely(err)) {
2035 iocb_destroy(req);
2036 put_reqs_available(ctx, 1);
2037 }
2038 return err;
Jens Axboe88a6f182018-11-24 14:46:14 -07002039}
2040
Jeff Moyer9d85cba72010-05-26 14:44:26 -07002041/* sys_io_submit:
2042 * Queue the nr iocbs pointed to by iocbpp for processing. Returns
2043 * the number of iocbs queued. May return -EINVAL if the aio_context
2044 * specified by ctx_id is invalid, if nr is < 0, if the iocb at
2045 * *iocbpp[0] is not properly initialized, if the operation specified
2046 * is invalid for the file descriptor in the iocb. May fail with
2047 * -EFAULT if any of the data structures point to invalid data. May
2048 * fail with -EBADF if the file descriptor specified in the first
2049 * iocb is invalid. May fail with -EAGAIN if insufficient resources
2050 * are available to queue any iocbs. Will return 0 if nr is 0. Will
2051 * fail with -ENOSYS if not implemented.
2052 */
2053SYSCALL_DEFINE3(io_submit, aio_context_t, ctx_id, long, nr,
2054 struct iocb __user * __user *, iocbpp)
2055{
Al Viro67ba0492018-05-26 20:10:07 -04002056 struct kioctx *ctx;
2057 long ret = 0;
2058 int i = 0;
2059 struct blk_plug plug;
2060
2061 if (unlikely(nr < 0))
2062 return -EINVAL;
2063
Al Viro67ba0492018-05-26 20:10:07 -04002064 ctx = lookup_ioctx(ctx_id);
2065 if (unlikely(!ctx)) {
2066 pr_debug("EINVAL: invalid context id\n");
2067 return -EINVAL;
2068 }
2069
Al Viro1da92772018-05-26 20:10:07 -04002070 if (nr > ctx->nr_events)
2071 nr = ctx->nr_events;
2072
Jens Axboea79d40e2018-12-04 09:45:32 -07002073 if (nr > AIO_PLUG_THRESHOLD)
2074 blk_start_plug(&plug);
Al Viro67ba0492018-05-26 20:10:07 -04002075 for (i = 0; i < nr; i++) {
2076 struct iocb __user *user_iocb;
2077
2078 if (unlikely(get_user(user_iocb, iocbpp + i))) {
2079 ret = -EFAULT;
2080 break;
2081 }
2082
2083 ret = io_submit_one(ctx, user_iocb, false);
2084 if (ret)
2085 break;
2086 }
Jens Axboea79d40e2018-12-04 09:45:32 -07002087 if (nr > AIO_PLUG_THRESHOLD)
2088 blk_finish_plug(&plug);
Al Viro67ba0492018-05-26 20:10:07 -04002089
2090 percpu_ref_put(&ctx->users);
2091 return i ? i : ret;
Jeff Moyer9d85cba72010-05-26 14:44:26 -07002092}
2093
Al Viroc00d2c72016-12-20 07:04:57 -05002094#ifdef CONFIG_COMPAT
Al Viroc00d2c72016-12-20 07:04:57 -05002095COMPAT_SYSCALL_DEFINE3(io_submit, compat_aio_context_t, ctx_id,
Al Viro67ba0492018-05-26 20:10:07 -04002096 int, nr, compat_uptr_t __user *, iocbpp)
Al Viroc00d2c72016-12-20 07:04:57 -05002097{
Al Viro67ba0492018-05-26 20:10:07 -04002098 struct kioctx *ctx;
2099 long ret = 0;
2100 int i = 0;
2101 struct blk_plug plug;
Al Viroc00d2c72016-12-20 07:04:57 -05002102
2103 if (unlikely(nr < 0))
2104 return -EINVAL;
2105
Al Viro67ba0492018-05-26 20:10:07 -04002106 ctx = lookup_ioctx(ctx_id);
2107 if (unlikely(!ctx)) {
2108 pr_debug("EINVAL: invalid context id\n");
2109 return -EINVAL;
2110 }
2111
Al Viro1da92772018-05-26 20:10:07 -04002112 if (nr > ctx->nr_events)
2113 nr = ctx->nr_events;
2114
Jens Axboea79d40e2018-12-04 09:45:32 -07002115 if (nr > AIO_PLUG_THRESHOLD)
2116 blk_start_plug(&plug);
Al Viro67ba0492018-05-26 20:10:07 -04002117 for (i = 0; i < nr; i++) {
2118 compat_uptr_t user_iocb;
2119
2120 if (unlikely(get_user(user_iocb, iocbpp + i))) {
2121 ret = -EFAULT;
2122 break;
2123 }
2124
2125 ret = io_submit_one(ctx, compat_ptr(user_iocb), true);
2126 if (ret)
2127 break;
2128 }
Jens Axboea79d40e2018-12-04 09:45:32 -07002129 if (nr > AIO_PLUG_THRESHOLD)
2130 blk_finish_plug(&plug);
Al Viro67ba0492018-05-26 20:10:07 -04002131
2132 percpu_ref_put(&ctx->users);
2133 return i ? i : ret;
Al Viroc00d2c72016-12-20 07:04:57 -05002134}
2135#endif
2136
Linus Torvalds1da177e2005-04-16 15:20:36 -07002137/* sys_io_cancel:
2138 * Attempts to cancel an iocb previously passed to io_submit. If
2139 * the operation is successfully cancelled, the resulting event is
2140 * copied into the memory pointed to by result without being placed
2141 * into the completion queue and 0 is returned. May fail with
2142 * -EFAULT if any of the data structures pointed to are invalid.
2143 * May fail with -EINVAL if aio_context specified by ctx_id is
2144 * invalid. May fail with -EAGAIN if the iocb specified was not
2145 * cancelled. Will fail with -ENOSYS if not implemented.
2146 */
Heiko Carstens002c8972009-01-14 14:14:18 +01002147SYSCALL_DEFINE3(io_cancel, aio_context_t, ctx_id, struct iocb __user *, iocb,
2148 struct io_event __user *, result)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002149{
Linus Torvalds1da177e2005-04-16 15:20:36 -07002150 struct kioctx *ctx;
Christoph Hellwig04b2fa92015-02-02 14:49:06 +01002151 struct aio_kiocb *kiocb;
Christoph Hellwig888933f2018-05-23 14:11:02 +02002152 int ret = -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002153 u32 key;
Al Viroa9339b72019-03-07 19:43:45 -05002154 u64 obj = (u64)(unsigned long)iocb;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002155
Christoph Hellwigf3a27522018-03-30 11:19:25 +02002156 if (unlikely(get_user(key, &iocb->aio_key)))
Linus Torvalds1da177e2005-04-16 15:20:36 -07002157 return -EFAULT;
Christoph Hellwigf3a27522018-03-30 11:19:25 +02002158 if (unlikely(key != KIOCB_KEY))
2159 return -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002160
2161 ctx = lookup_ioctx(ctx_id);
2162 if (unlikely(!ctx))
2163 return -EINVAL;
2164
2165 spin_lock_irq(&ctx->ctx_lock);
Al Viro833f4152019-03-11 19:00:36 -04002166 /* TODO: use a hash or array, this sucks. */
2167 list_for_each_entry(kiocb, &ctx->active_reqs, ki_list) {
Al Viroa9339b72019-03-07 19:43:45 -05002168 if (kiocb->ki_res.obj == obj) {
Al Viro833f4152019-03-11 19:00:36 -04002169 ret = kiocb->ki_cancel(&kiocb->rw);
2170 list_del_init(&kiocb->ki_list);
2171 break;
2172 }
Christoph Hellwig888933f2018-05-23 14:11:02 +02002173 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002174 spin_unlock_irq(&ctx->ctx_lock);
2175
Kent Overstreet906b9732013-05-07 16:18:31 -07002176 if (!ret) {
Kent Overstreetbec68faa2013-05-13 14:45:08 -07002177 /*
2178 * The result argument is no longer used - the io_event is
2179 * always delivered via the ring buffer. -EINPROGRESS indicates
2180 * cancellation is progress:
Kent Overstreet906b9732013-05-07 16:18:31 -07002181 */
Kent Overstreetbec68faa2013-05-13 14:45:08 -07002182 ret = -EINPROGRESS;
Kent Overstreet906b9732013-05-07 16:18:31 -07002183 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002184
Kent Overstreet723be6e2013-05-28 15:14:48 -07002185 percpu_ref_put(&ctx->users);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002186
2187 return ret;
2188}
2189
Deepa Dinamanifa2e62a2017-08-04 21:12:32 -07002190static long do_io_getevents(aio_context_t ctx_id,
2191 long min_nr,
2192 long nr,
2193 struct io_event __user *events,
2194 struct timespec64 *ts)
2195{
2196 ktime_t until = ts ? timespec64_to_ktime(*ts) : KTIME_MAX;
2197 struct kioctx *ioctx = lookup_ioctx(ctx_id);
2198 long ret = -EINVAL;
2199
2200 if (likely(ioctx)) {
2201 if (likely(min_nr <= nr && min_nr >= 0))
2202 ret = read_events(ioctx, min_nr, nr, events, until);
2203 percpu_ref_put(&ioctx->users);
2204 }
2205
2206 return ret;
2207}
2208
Linus Torvalds1da177e2005-04-16 15:20:36 -07002209/* io_getevents:
2210 * Attempts to read at least min_nr events and up to nr events from
Satoru Takeuchi642b5122010-08-05 11:23:11 -07002211 * the completion queue for the aio_context specified by ctx_id. If
2212 * it succeeds, the number of read events is returned. May fail with
2213 * -EINVAL if ctx_id is invalid, if min_nr is out of range, if nr is
2214 * out of range, if timeout is out of range. May fail with -EFAULT
2215 * if any of the memory specified is invalid. May return 0 or
2216 * < min_nr if the timeout specified by timeout has elapsed
2217 * before sufficient events are available, where timeout == NULL
2218 * specifies an infinite timeout. Note that the timeout pointed to by
Jeff Moyer69008072013-05-24 15:55:24 -07002219 * timeout is relative. Will fail with -ENOSYS if not implemented.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002220 */
Arnd Bergmann3ca47e92019-04-23 17:43:50 +02002221#ifdef CONFIG_64BIT
Deepa Dinamani7a353972018-09-19 21:41:08 -07002222
Heiko Carstens002c8972009-01-14 14:14:18 +01002223SYSCALL_DEFINE5(io_getevents, aio_context_t, ctx_id,
2224 long, min_nr,
2225 long, nr,
2226 struct io_event __user *, events,
Deepa Dinamani7a353972018-09-19 21:41:08 -07002227 struct __kernel_timespec __user *, timeout)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002228{
Deepa Dinamanifa2e62a2017-08-04 21:12:32 -07002229 struct timespec64 ts;
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002230 int ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002231
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002232 if (timeout && unlikely(get_timespec64(&ts, timeout)))
2233 return -EFAULT;
2234
2235 ret = do_io_getevents(ctx_id, min_nr, nr, events, timeout ? &ts : NULL);
2236 if (!ret && signal_pending(current))
2237 ret = -EINTR;
2238 return ret;
2239}
2240
Deepa Dinamani7a353972018-09-19 21:41:08 -07002241#endif
2242
Christoph Hellwig9ba546c2018-07-11 15:48:46 +02002243struct __aio_sigset {
2244 const sigset_t __user *sigmask;
2245 size_t sigsetsize;
2246};
2247
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002248SYSCALL_DEFINE6(io_pgetevents,
2249 aio_context_t, ctx_id,
2250 long, min_nr,
2251 long, nr,
2252 struct io_event __user *, events,
Deepa Dinamani7a353972018-09-19 21:41:08 -07002253 struct __kernel_timespec __user *, timeout,
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002254 const struct __aio_sigset __user *, usig)
2255{
2256 struct __aio_sigset ksig = { NULL, };
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002257 struct timespec64 ts;
Oleg Nesterov97abc882019-06-28 12:06:50 -07002258 bool interrupted;
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002259 int ret;
2260
2261 if (timeout && unlikely(get_timespec64(&ts, timeout)))
2262 return -EFAULT;
2263
2264 if (usig && copy_from_user(&ksig, usig, sizeof(ksig)))
2265 return -EFAULT;
2266
Oleg Nesterovb7724342019-07-16 16:29:53 -07002267 ret = set_user_sigmask(ksig.sigmask, ksig.sigsetsize);
Deepa Dinamani7a353972018-09-19 21:41:08 -07002268 if (ret)
2269 return ret;
Deepa Dinamanifa2e62a2017-08-04 21:12:32 -07002270
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002271 ret = do_io_getevents(ctx_id, min_nr, nr, events, timeout ? &ts : NULL);
Oleg Nesterov97abc882019-06-28 12:06:50 -07002272
2273 interrupted = signal_pending(current);
Oleg Nesterovb7724342019-07-16 16:29:53 -07002274 restore_saved_sigmask_unless(interrupted);
Oleg Nesterov97abc882019-06-28 12:06:50 -07002275 if (interrupted && !ret)
Deepa Dinamani7a353972018-09-19 21:41:08 -07002276 ret = -ERESTARTNOHAND;
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002277
2278 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002279}
Al Viroc00d2c72016-12-20 07:04:57 -05002280
Deepa Dinamani7a353972018-09-19 21:41:08 -07002281#if defined(CONFIG_COMPAT_32BIT_TIME) && !defined(CONFIG_64BIT)
2282
2283SYSCALL_DEFINE6(io_pgetevents_time32,
2284 aio_context_t, ctx_id,
2285 long, min_nr,
2286 long, nr,
2287 struct io_event __user *, events,
2288 struct old_timespec32 __user *, timeout,
2289 const struct __aio_sigset __user *, usig)
2290{
2291 struct __aio_sigset ksig = { NULL, };
Deepa Dinamani7a353972018-09-19 21:41:08 -07002292 struct timespec64 ts;
Oleg Nesterov97abc882019-06-28 12:06:50 -07002293 bool interrupted;
Deepa Dinamani7a353972018-09-19 21:41:08 -07002294 int ret;
2295
2296 if (timeout && unlikely(get_old_timespec32(&ts, timeout)))
2297 return -EFAULT;
2298
2299 if (usig && copy_from_user(&ksig, usig, sizeof(ksig)))
2300 return -EFAULT;
2301
Deepa Dinamanided653c2018-09-19 21:41:04 -07002302
Oleg Nesterovb7724342019-07-16 16:29:53 -07002303 ret = set_user_sigmask(ksig.sigmask, ksig.sigsetsize);
Deepa Dinamanided653c2018-09-19 21:41:04 -07002304 if (ret)
2305 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002306
2307 ret = do_io_getevents(ctx_id, min_nr, nr, events, timeout ? &ts : NULL);
Oleg Nesterov97abc882019-06-28 12:06:50 -07002308
2309 interrupted = signal_pending(current);
Oleg Nesterovb7724342019-07-16 16:29:53 -07002310 restore_saved_sigmask_unless(interrupted);
Oleg Nesterov97abc882019-06-28 12:06:50 -07002311 if (interrupted && !ret)
Deepa Dinamani854a6ed2018-09-19 21:41:05 -07002312 ret = -ERESTARTNOHAND;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002313
2314 return ret;
2315}
Al Viroc00d2c72016-12-20 07:04:57 -05002316
Deepa Dinamani7a353972018-09-19 21:41:08 -07002317#endif
2318
2319#if defined(CONFIG_COMPAT_32BIT_TIME)
2320
Arnd Bergmann8dabe722019-01-07 00:33:08 +01002321SYSCALL_DEFINE5(io_getevents_time32, __u32, ctx_id,
2322 __s32, min_nr,
2323 __s32, nr,
2324 struct io_event __user *, events,
2325 struct old_timespec32 __user *, timeout)
Al Viroc00d2c72016-12-20 07:04:57 -05002326{
Deepa Dinamanifa2e62a2017-08-04 21:12:32 -07002327 struct timespec64 t;
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002328 int ret;
Al Viroc00d2c72016-12-20 07:04:57 -05002329
Arnd Bergmann9afc5ee2018-07-13 12:52:28 +02002330 if (timeout && get_old_timespec32(&t, timeout))
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002331 return -EFAULT;
2332
2333 ret = do_io_getevents(ctx_id, min_nr, nr, events, timeout ? &t : NULL);
2334 if (!ret && signal_pending(current))
2335 ret = -EINTR;
2336 return ret;
2337}
2338
Deepa Dinamani7a353972018-09-19 21:41:08 -07002339#endif
2340
2341#ifdef CONFIG_COMPAT
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002342
2343struct __compat_aio_sigset {
Guillem Jover97eba802019-08-21 05:38:20 +02002344 compat_uptr_t sigmask;
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002345 compat_size_t sigsetsize;
2346};
2347
Deepa Dinamani7a353972018-09-19 21:41:08 -07002348#if defined(CONFIG_COMPAT_32BIT_TIME)
2349
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002350COMPAT_SYSCALL_DEFINE6(io_pgetevents,
2351 compat_aio_context_t, ctx_id,
2352 compat_long_t, min_nr,
2353 compat_long_t, nr,
2354 struct io_event __user *, events,
Arnd Bergmann9afc5ee2018-07-13 12:52:28 +02002355 struct old_timespec32 __user *, timeout,
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002356 const struct __compat_aio_sigset __user *, usig)
2357{
Guillem Jover97eba802019-08-21 05:38:20 +02002358 struct __compat_aio_sigset ksig = { 0, };
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002359 struct timespec64 t;
Oleg Nesterov97abc882019-06-28 12:06:50 -07002360 bool interrupted;
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002361 int ret;
2362
Arnd Bergmann9afc5ee2018-07-13 12:52:28 +02002363 if (timeout && get_old_timespec32(&t, timeout))
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002364 return -EFAULT;
2365
2366 if (usig && copy_from_user(&ksig, usig, sizeof(ksig)))
2367 return -EFAULT;
2368
Guillem Jover97eba802019-08-21 05:38:20 +02002369 ret = set_compat_user_sigmask(compat_ptr(ksig.sigmask), ksig.sigsetsize);
Deepa Dinamanided653c2018-09-19 21:41:04 -07002370 if (ret)
2371 return ret;
Deepa Dinamanifa2e62a2017-08-04 21:12:32 -07002372
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002373 ret = do_io_getevents(ctx_id, min_nr, nr, events, timeout ? &t : NULL);
Oleg Nesterov97abc882019-06-28 12:06:50 -07002374
2375 interrupted = signal_pending(current);
Oleg Nesterovb7724342019-07-16 16:29:53 -07002376 restore_saved_sigmask_unless(interrupted);
Oleg Nesterov97abc882019-06-28 12:06:50 -07002377 if (interrupted && !ret)
Deepa Dinamani854a6ed2018-09-19 21:41:05 -07002378 ret = -ERESTARTNOHAND;
Christoph Hellwig7a074e92018-05-02 19:51:00 +02002379
2380 return ret;
Al Viroc00d2c72016-12-20 07:04:57 -05002381}
Deepa Dinamani7a353972018-09-19 21:41:08 -07002382
2383#endif
2384
2385COMPAT_SYSCALL_DEFINE6(io_pgetevents_time64,
2386 compat_aio_context_t, ctx_id,
2387 compat_long_t, min_nr,
2388 compat_long_t, nr,
2389 struct io_event __user *, events,
2390 struct __kernel_timespec __user *, timeout,
2391 const struct __compat_aio_sigset __user *, usig)
2392{
Guillem Jover97eba802019-08-21 05:38:20 +02002393 struct __compat_aio_sigset ksig = { 0, };
Deepa Dinamani7a353972018-09-19 21:41:08 -07002394 struct timespec64 t;
Oleg Nesterov97abc882019-06-28 12:06:50 -07002395 bool interrupted;
Deepa Dinamani7a353972018-09-19 21:41:08 -07002396 int ret;
2397
2398 if (timeout && get_timespec64(&t, timeout))
2399 return -EFAULT;
2400
2401 if (usig && copy_from_user(&ksig, usig, sizeof(ksig)))
2402 return -EFAULT;
2403
Guillem Jover97eba802019-08-21 05:38:20 +02002404 ret = set_compat_user_sigmask(compat_ptr(ksig.sigmask), ksig.sigsetsize);
Deepa Dinamani7a353972018-09-19 21:41:08 -07002405 if (ret)
2406 return ret;
2407
2408 ret = do_io_getevents(ctx_id, min_nr, nr, events, timeout ? &t : NULL);
Oleg Nesterov97abc882019-06-28 12:06:50 -07002409
2410 interrupted = signal_pending(current);
Oleg Nesterovb7724342019-07-16 16:29:53 -07002411 restore_saved_sigmask_unless(interrupted);
Oleg Nesterov97abc882019-06-28 12:06:50 -07002412 if (interrupted && !ret)
Deepa Dinamani7a353972018-09-19 21:41:08 -07002413 ret = -ERESTARTNOHAND;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002414
2415 return ret;
2416}
2417#endif