aio.c 43.0 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4 5 6 7 8 9 10
/*
 *	An async IO implementation for Linux
 *	Written by Benjamin LaHaise <bcrl@kvack.org>
 *
 *	Implements an efficient asynchronous io interface.
 *
 *	Copyright 2000, 2001, 2002 Red Hat, Inc.  All Rights Reserved.
 *
 *	See ../COPYING for licensing terms.
 */
K
Kent Overstreet 已提交
11 12
#define pr_fmt(fmt) "%s: " fmt, __func__

L
Linus Torvalds 已提交
13 14 15 16 17
#include <linux/kernel.h>
#include <linux/init.h>
#include <linux/errno.h>
#include <linux/time.h>
#include <linux/aio_abi.h>
18
#include <linux/export.h>
L
Linus Torvalds 已提交
19
#include <linux/syscalls.h>
20
#include <linux/backing-dev.h>
21
#include <linux/uio.h>
L
Linus Torvalds 已提交
22 23 24 25 26 27

#include <linux/sched.h>
#include <linux/fs.h>
#include <linux/file.h>
#include <linux/mm.h>
#include <linux/mman.h>
28
#include <linux/mmu_context.h>
K
Kent Overstreet 已提交
29
#include <linux/percpu.h>
L
Linus Torvalds 已提交
30 31 32 33 34 35
#include <linux/slab.h>
#include <linux/timer.h>
#include <linux/aio.h>
#include <linux/highmem.h>
#include <linux/workqueue.h>
#include <linux/security.h>
36
#include <linux/eventfd.h>
J
Jeff Moyer 已提交
37
#include <linux/blkdev.h>
38
#include <linux/compat.h>
39 40
#include <linux/migrate.h>
#include <linux/ramfs.h>
K
Kent Overstreet 已提交
41
#include <linux/percpu-refcount.h>
42
#include <linux/mount.h>
L
Linus Torvalds 已提交
43 44 45 46

#include <asm/kmap_types.h>
#include <asm/uaccess.h>

A
Al Viro 已提交
47 48
#include "internal.h"

49 50 51 52 53 54
#define AIO_RING_MAGIC			0xa10a10a1
#define AIO_RING_COMPAT_FEATURES	1
#define AIO_RING_INCOMPAT_FEATURES	0
struct aio_ring {
	unsigned	id;	/* kernel internal index number */
	unsigned	nr;	/* number of io_events */
55 56
	unsigned	head;	/* Written to by userland or under ring_lock
				 * mutex by aio_read_events_ring(). */
57 58 59 60 61 62 63 64 65 66 67 68 69
	unsigned	tail;

	unsigned	magic;
	unsigned	compat_features;
	unsigned	incompat_features;
	unsigned	header_length;	/* size of aio_ring */


	struct io_event		io_events[0];
}; /* 128 bytes + ring size */

#define AIO_RING_PAGES	8

70 71 72 73 74 75
struct kioctx_table {
	struct rcu_head	rcu;
	unsigned	nr;
	struct kioctx	*table[];
};

K
Kent Overstreet 已提交
76 77 78 79
struct kioctx_cpu {
	unsigned		reqs_available;
};

80 81 82 83 84
struct ctx_rq_wait {
	struct completion comp;
	atomic_t count;
};

85
struct kioctx {
K
Kent Overstreet 已提交
86
	struct percpu_ref	users;
K
Kent Overstreet 已提交
87
	atomic_t		dead;
88

K
Kent Overstreet 已提交
89 90
	struct percpu_ref	reqs;

91 92
	unsigned long		user_id;

K
Kent Overstreet 已提交
93 94 95 96 97 98 99
	struct __percpu kioctx_cpu *cpu;

	/*
	 * For percpu reqs_available, number of slots we move to/from global
	 * counter at a time:
	 */
	unsigned		req_batch;
100 101 102 103
	/*
	 * This is what userspace passed to io_setup(), it's not used for
	 * anything but counting against the global max_reqs quota.
	 *
K
Kent Overstreet 已提交
104
	 * The real limit is nr_events - 1, which will be larger (see
105 106
	 * aio_setup_ring())
	 */
107 108
	unsigned		max_reqs;

K
Kent Overstreet 已提交
109 110
	/* Size of ringbuffer, in units of struct io_event */
	unsigned		nr_events;
111

K
Kent Overstreet 已提交
112 113 114 115 116 117
	unsigned long		mmap_base;
	unsigned long		mmap_size;

	struct page		**ring_pages;
	long			nr_pages;

K
Kent Overstreet 已提交
118
	struct work_struct	free_work;
119

120 121 122
	/*
	 * signals when all in-flight requests are done
	 */
123
	struct ctx_rq_wait	*rq_wait;
124

125
	struct {
126 127 128 129 130
		/*
		 * This counts the number of available slots in the ringbuffer,
		 * so we avoid overflowing it: it's decremented (if positive)
		 * when allocating a kiocb and incremented when the resulting
		 * io_event is pulled off the ringbuffer.
K
Kent Overstreet 已提交
131 132
		 *
		 * We batch accesses to it with a percpu version.
133 134
		 */
		atomic_t	reqs_available;
135 136 137 138 139 140 141
	} ____cacheline_aligned_in_smp;

	struct {
		spinlock_t	ctx_lock;
		struct list_head active_reqs;	/* used for cancellation */
	} ____cacheline_aligned_in_smp;

K
Kent Overstreet 已提交
142 143
	struct {
		struct mutex	ring_lock;
144 145
		wait_queue_head_t wait;
	} ____cacheline_aligned_in_smp;
K
Kent Overstreet 已提交
146 147 148

	struct {
		unsigned	tail;
149
		unsigned	completed_events;
K
Kent Overstreet 已提交
150
		spinlock_t	completion_lock;
151
	} ____cacheline_aligned_in_smp;
K
Kent Overstreet 已提交
152 153

	struct page		*internal_pages[AIO_RING_PAGES];
154
	struct file		*aio_ring_file;
155 156

	unsigned		id;
157 158
};

159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190
/*
 * We use ki_cancel == KIOCB_CANCELLED to indicate that a kiocb has been either
 * cancelled or completed (this makes a certain amount of sense because
 * successful cancellation - io_cancel() - does deliver the completion to
 * userspace).
 *
 * And since most things don't implement kiocb cancellation and we'd really like
 * kiocb completion to be lockless when possible, we use ki_cancel to
 * synchronize cancellation and completion - we only set it to KIOCB_CANCELLED
 * with xchg() or cmpxchg(), see batch_complete_aio() and kiocb_cancel().
 */
#define KIOCB_CANCELLED		((void *) (~0ULL))

struct aio_kiocb {
	struct kiocb		common;

	struct kioctx		*ki_ctx;
	kiocb_cancel_fn		*ki_cancel;

	struct iocb __user	*ki_user_iocb;	/* user's aiocb */
	__u64			ki_user_data;	/* user's data for completion */

	struct list_head	ki_list;	/* the aio core uses this
						 * for cancellation */

	/*
	 * If the aio_resfd field of the userspace iocb is not zero,
	 * this is the underlying eventfd context to deliver events to.
	 */
	struct eventfd_ctx	*ki_eventfd;
};

L
Linus Torvalds 已提交
191
/*------ sysctl variables----*/
192 193 194
static DEFINE_SPINLOCK(aio_nr_lock);
unsigned long aio_nr;		/* current system wide number of aio requests */
unsigned long aio_max_nr = 0x10000; /* system wide maximum number of aio requests */
L
Linus Torvalds 已提交
195 196
/*----end sysctl variables---*/

197 198
static struct kmem_cache	*kiocb_cachep;
static struct kmem_cache	*kioctx_cachep;
L
Linus Torvalds 已提交
199

200 201 202 203 204 205 206 207 208 209 210
static struct vfsmount *aio_mnt;

static const struct file_operations aio_ring_fops;
static const struct address_space_operations aio_ctx_aops;

static struct file *aio_private_file(struct kioctx *ctx, loff_t nr_pages)
{
	struct qstr this = QSTR_INIT("[aio]", 5);
	struct file *file;
	struct path path;
	struct inode *inode = alloc_anon_inode(aio_mnt->mnt_sb);
211 212
	if (IS_ERR(inode))
		return ERR_CAST(inode);
213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241

	inode->i_mapping->a_ops = &aio_ctx_aops;
	inode->i_mapping->private_data = ctx;
	inode->i_size = PAGE_SIZE * nr_pages;

	path.dentry = d_alloc_pseudo(aio_mnt->mnt_sb, &this);
	if (!path.dentry) {
		iput(inode);
		return ERR_PTR(-ENOMEM);
	}
	path.mnt = mntget(aio_mnt);

	d_instantiate(path.dentry, inode);
	file = alloc_file(&path, FMODE_READ | FMODE_WRITE, &aio_ring_fops);
	if (IS_ERR(file)) {
		path_put(&path);
		return file;
	}

	file->f_flags = O_RDWR;
	return file;
}

static struct dentry *aio_mount(struct file_system_type *fs_type,
				int flags, const char *dev_name, void *data)
{
	static const struct dentry_operations ops = {
		.d_dname	= simple_dname,
	};
242
	return mount_pseudo(fs_type, "aio:", NULL, &ops, AIO_RING_MAGIC);
243 244
}

L
Linus Torvalds 已提交
245 246 247 248 249 250
/* aio_setup
 *	Creates the slab caches used by the aio routines, panic on
 *	failure as this is done early during the boot sequence.
 */
static int __init aio_setup(void)
{
251 252 253 254 255 256 257 258 259
	static struct file_system_type aio_fs = {
		.name		= "aio",
		.mount		= aio_mount,
		.kill_sb	= kill_anon_super,
	};
	aio_mnt = kern_mount(&aio_fs);
	if (IS_ERR(aio_mnt))
		panic("Failed to create aio fs mount.");

260
	kiocb_cachep = KMEM_CACHE(aio_kiocb, SLAB_HWCACHE_ALIGN|SLAB_PANIC);
261
	kioctx_cachep = KMEM_CACHE(kioctx,SLAB_HWCACHE_ALIGN|SLAB_PANIC);
L
Linus Torvalds 已提交
262

K
Kent Overstreet 已提交
263
	pr_debug("sizeof(struct page) = %zu\n", sizeof(struct page));
L
Linus Torvalds 已提交
264 265 266

	return 0;
}
267
__initcall(aio_setup);
L
Linus Torvalds 已提交
268

269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284
static void put_aio_ring_file(struct kioctx *ctx)
{
	struct file *aio_ring_file = ctx->aio_ring_file;
	if (aio_ring_file) {
		truncate_setsize(aio_ring_file->f_inode, 0);

		/* Prevent further access to the kioctx from migratepages */
		spin_lock(&aio_ring_file->f_inode->i_mapping->private_lock);
		aio_ring_file->f_inode->i_mapping->private_data = NULL;
		ctx->aio_ring_file = NULL;
		spin_unlock(&aio_ring_file->f_inode->i_mapping->private_lock);

		fput(aio_ring_file);
	}
}

L
Linus Torvalds 已提交
285 286
static void aio_free_ring(struct kioctx *ctx)
{
287
	int i;
L
Linus Torvalds 已提交
288

289 290 291 292 293
	/* Disconnect the kiotx from the ring file.  This prevents future
	 * accesses to the kioctx from page migration.
	 */
	put_aio_ring_file(ctx);

294
	for (i = 0; i < ctx->nr_pages; i++) {
295
		struct page *page;
296 297
		pr_debug("pid(%d) [%d] page->count=%d\n", current->pid, i,
				page_count(ctx->ring_pages[i]));
298 299 300 301 302
		page = ctx->ring_pages[i];
		if (!page)
			continue;
		ctx->ring_pages[i] = NULL;
		put_page(page);
303
	}
L
Linus Torvalds 已提交
304

305
	if (ctx->ring_pages && ctx->ring_pages != ctx->internal_pages) {
K
Kent Overstreet 已提交
306
		kfree(ctx->ring_pages);
307 308
		ctx->ring_pages = NULL;
	}
309 310
}

311
static int aio_ring_mremap(struct vm_area_struct *vma)
312
{
313
	struct file *file = vma->vm_file;
314 315
	struct mm_struct *mm = vma->vm_mm;
	struct kioctx_table *table;
A
Al Viro 已提交
316
	int i, res = -EINVAL;
317 318 319 320 321 322 323 324 325

	spin_lock(&mm->ioctx_lock);
	rcu_read_lock();
	table = rcu_dereference(mm->ioctx_table);
	for (i = 0; i < table->nr; i++) {
		struct kioctx *ctx;

		ctx = table->table[i];
		if (ctx && ctx->aio_ring_file == file) {
A
Al Viro 已提交
326 327 328 329
			if (!atomic_read(&ctx->dead)) {
				ctx->user_id = ctx->mmap_base = vma->vm_start;
				res = 0;
			}
330 331 332 333 334 335
			break;
		}
	}

	rcu_read_unlock();
	spin_unlock(&mm->ioctx_lock);
A
Al Viro 已提交
336
	return res;
337 338
}

339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354
static const struct vm_operations_struct aio_ring_vm_ops = {
	.mremap		= aio_ring_mremap,
#if IS_ENABLED(CONFIG_MMU)
	.fault		= filemap_fault,
	.map_pages	= filemap_map_pages,
	.page_mkwrite	= filemap_page_mkwrite,
#endif
};

static int aio_ring_mmap(struct file *file, struct vm_area_struct *vma)
{
	vma->vm_flags |= VM_DONTEXPAND;
	vma->vm_ops = &aio_ring_vm_ops;
	return 0;
}

355 356 357 358
static const struct file_operations aio_ring_fops = {
	.mmap = aio_ring_mmap,
};

359
#if IS_ENABLED(CONFIG_MIGRATION)
360 361 362
static int aio_migratepage(struct address_space *mapping, struct page *new,
			struct page *old, enum migrate_mode mode)
{
363
	struct kioctx *ctx;
364
	unsigned long flags;
365
	pgoff_t idx;
366 367
	int rc;

368 369
	rc = 0;

370
	/* mapping->private_lock here protects against the kioctx teardown.  */
371 372
	spin_lock(&mapping->private_lock);
	ctx = mapping->private_data;
373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391
	if (!ctx) {
		rc = -EINVAL;
		goto out;
	}

	/* The ring_lock mutex.  The prevents aio_read_events() from writing
	 * to the ring's head, and prevents page migration from mucking in
	 * a partially initialized kiotx.
	 */
	if (!mutex_trylock(&ctx->ring_lock)) {
		rc = -EAGAIN;
		goto out;
	}

	idx = old->index;
	if (idx < (pgoff_t)ctx->nr_pages) {
		/* Make sure the old page hasn't already been changed */
		if (ctx->ring_pages[idx] != old)
			rc = -EAGAIN;
392 393 394 395
	} else
		rc = -EINVAL;

	if (rc != 0)
396
		goto out_unlock;
397

398 399
	/* Writeback must be complete */
	BUG_ON(PageWriteback(old));
400
	get_page(new);
401

402
	rc = migrate_page_move_mapping(mapping, new, old, NULL, mode, 1);
403
	if (rc != MIGRATEPAGE_SUCCESS) {
404
		put_page(new);
405
		goto out_unlock;
406 407
	}

408 409 410
	/* Take completion_lock to prevent other writes to the ring buffer
	 * while the old page is copied to the new.  This prevents new
	 * events from being lost.
411
	 */
412 413 414 415 416
	spin_lock_irqsave(&ctx->completion_lock, flags);
	migrate_page_copy(new, old);
	BUG_ON(ctx->ring_pages[idx] != old);
	ctx->ring_pages[idx] = new;
	spin_unlock_irqrestore(&ctx->completion_lock, flags);
417

418 419
	/* The old page is no longer accessible. */
	put_page(old);
420

421 422 423 424
out_unlock:
	mutex_unlock(&ctx->ring_lock);
out:
	spin_unlock(&mapping->private_lock);
425
	return rc;
L
Linus Torvalds 已提交
426
}
427
#endif
L
Linus Torvalds 已提交
428

429
static const struct address_space_operations aio_ctx_aops = {
430
	.set_page_dirty = __set_page_dirty_no_writeback,
431
#if IS_ENABLED(CONFIG_MIGRATION)
432
	.migratepage	= aio_migratepage,
433
#endif
434 435
};

L
Linus Torvalds 已提交
436 437 438 439
static int aio_setup_ring(struct kioctx *ctx)
{
	struct aio_ring *ring;
	unsigned nr_events = ctx->max_reqs;
Z
Zach Brown 已提交
440
	struct mm_struct *mm = current->mm;
441
	unsigned long size, unused;
L
Linus Torvalds 已提交
442
	int nr_pages;
443 444
	int i;
	struct file *file;
L
Linus Torvalds 已提交
445 446 447 448 449 450 451

	/* Compensate for the ring buffer's head/tail overlap entry */
	nr_events += 2;	/* 1 is required, 2 for good luck */

	size = sizeof(struct aio_ring);
	size += sizeof(struct io_event) * nr_events;

452
	nr_pages = PFN_UP(size);
L
Linus Torvalds 已提交
453 454 455
	if (nr_pages < 0)
		return -EINVAL;

456
	file = aio_private_file(ctx, nr_pages);
457 458
	if (IS_ERR(file)) {
		ctx->aio_ring_file = NULL;
459
		return -ENOMEM;
460 461
	}

462 463 464 465 466 467 468 469 470 471 472 473 474 475
	ctx->aio_ring_file = file;
	nr_events = (PAGE_SIZE * nr_pages - sizeof(struct aio_ring))
			/ sizeof(struct io_event);

	ctx->ring_pages = ctx->internal_pages;
	if (nr_pages > AIO_RING_PAGES) {
		ctx->ring_pages = kcalloc(nr_pages, sizeof(struct page *),
					  GFP_KERNEL);
		if (!ctx->ring_pages) {
			put_aio_ring_file(ctx);
			return -ENOMEM;
		}
	}

476 477 478 479 480 481 482 483 484 485
	for (i = 0; i < nr_pages; i++) {
		struct page *page;
		page = find_or_create_page(file->f_inode->i_mapping,
					   i, GFP_HIGHUSER | __GFP_ZERO);
		if (!page)
			break;
		pr_debug("pid(%d) page[%d]->count=%d\n",
			 current->pid, i, page_count(page));
		SetPageUptodate(page);
		unlock_page(page);
486 487

		ctx->ring_pages[i] = page;
488
	}
489
	ctx->nr_pages = i;
L
Linus Torvalds 已提交
490

491 492
	if (unlikely(i != nr_pages)) {
		aio_free_ring(ctx);
493
		return -ENOMEM;
L
Linus Torvalds 已提交
494 495
	}

K
Kent Overstreet 已提交
496 497
	ctx->mmap_size = nr_pages * PAGE_SIZE;
	pr_debug("attempting mmap of %lu bytes\n", ctx->mmap_size);
498

Z
Zach Brown 已提交
499
	down_write(&mm->mmap_sem);
500 501
	ctx->mmap_base = do_mmap_pgoff(ctx->aio_ring_file, 0, ctx->mmap_size,
				       PROT_READ | PROT_WRITE,
502 503
				       MAP_SHARED, 0, &unused);
	up_write(&mm->mmap_sem);
K
Kent Overstreet 已提交
504 505
	if (IS_ERR((void *)ctx->mmap_base)) {
		ctx->mmap_size = 0;
L
Linus Torvalds 已提交
506
		aio_free_ring(ctx);
507
		return -ENOMEM;
L
Linus Torvalds 已提交
508 509
	}

K
Kent Overstreet 已提交
510
	pr_debug("mmap address: 0x%08lx\n", ctx->mmap_base);
511

K
Kent Overstreet 已提交
512 513
	ctx->user_id = ctx->mmap_base;
	ctx->nr_events = nr_events; /* trusted copy */
L
Linus Torvalds 已提交
514

K
Kent Overstreet 已提交
515
	ring = kmap_atomic(ctx->ring_pages[0]);
L
Linus Torvalds 已提交
516
	ring->nr = nr_events;	/* user copy */
517
	ring->id = ~0U;
L
Linus Torvalds 已提交
518 519 520 521 522
	ring->head = ring->tail = 0;
	ring->magic = AIO_RING_MAGIC;
	ring->compat_features = AIO_RING_COMPAT_FEATURES;
	ring->incompat_features = AIO_RING_INCOMPAT_FEATURES;
	ring->header_length = sizeof(struct aio_ring);
523
	kunmap_atomic(ring);
K
Kent Overstreet 已提交
524
	flush_dcache_page(ctx->ring_pages[0]);
L
Linus Torvalds 已提交
525 526 527 528 529 530 531 532

	return 0;
}

#define AIO_EVENTS_PER_PAGE	(PAGE_SIZE / sizeof(struct io_event))
#define AIO_EVENTS_FIRST_PAGE	((PAGE_SIZE - sizeof(struct aio_ring)) / sizeof(struct io_event))
#define AIO_EVENTS_OFFSET	(AIO_EVENTS_PER_PAGE - AIO_EVENTS_FIRST_PAGE)

533
void kiocb_set_cancel_fn(struct kiocb *iocb, kiocb_cancel_fn *cancel)
534
{
535
	struct aio_kiocb *req = container_of(iocb, struct aio_kiocb, common);
536 537 538 539 540 541 542 543 544 545 546 547 548 549
	struct kioctx *ctx = req->ki_ctx;
	unsigned long flags;

	spin_lock_irqsave(&ctx->ctx_lock, flags);

	if (!req->ki_list.next)
		list_add(&req->ki_list, &ctx->active_reqs);

	req->ki_cancel = cancel;

	spin_unlock_irqrestore(&ctx->ctx_lock, flags);
}
EXPORT_SYMBOL(kiocb_set_cancel_fn);

550
static int kiocb_cancel(struct aio_kiocb *kiocb)
K
Kent Overstreet 已提交
551
{
552
	kiocb_cancel_fn *old, *cancel;
K
Kent Overstreet 已提交
553

554 555 556 557 558 559 560 561
	/*
	 * Don't want to set kiocb->ki_cancel = KIOCB_CANCELLED unless it
	 * actually has a cancel function, hence the cmpxchg()
	 */

	cancel = ACCESS_ONCE(kiocb->ki_cancel);
	do {
		if (!cancel || cancel == KIOCB_CANCELLED)
K
Kent Overstreet 已提交
562
			return -EINVAL;
K
Kent Overstreet 已提交
563

564 565 566
		old = cancel;
		cancel = cmpxchg(&kiocb->ki_cancel, old, KIOCB_CANCELLED);
	} while (cancel != old);
K
Kent Overstreet 已提交
567

568
	return cancel(&kiocb->common);
K
Kent Overstreet 已提交
569 570
}

K
Kent Overstreet 已提交
571
static void free_ioctx(struct work_struct *work)
K
Kent Overstreet 已提交
572
{
K
Kent Overstreet 已提交
573
	struct kioctx *ctx = container_of(work, struct kioctx, free_work);
K
Kent Overstreet 已提交
574

K
Kent Overstreet 已提交
575
	pr_debug("freeing %p\n", ctx);
K
Kent Overstreet 已提交
576

K
Kent Overstreet 已提交
577
	aio_free_ring(ctx);
K
Kent Overstreet 已提交
578
	free_percpu(ctx->cpu);
579 580
	percpu_ref_exit(&ctx->reqs);
	percpu_ref_exit(&ctx->users);
K
Kent Overstreet 已提交
581 582 583
	kmem_cache_free(kioctx_cachep, ctx);
}

K
Kent Overstreet 已提交
584 585 586 587
static void free_ioctx_reqs(struct percpu_ref *ref)
{
	struct kioctx *ctx = container_of(ref, struct kioctx, reqs);

588
	/* At this point we know that there are no any in-flight requests */
589 590
	if (ctx->rq_wait && atomic_dec_and_test(&ctx->rq_wait->count))
		complete(&ctx->rq_wait->comp);
591

K
Kent Overstreet 已提交
592 593 594 595
	INIT_WORK(&ctx->free_work, free_ioctx);
	schedule_work(&ctx->free_work);
}

K
Kent Overstreet 已提交
596 597 598 599 600
/*
 * When this function runs, the kioctx has been removed from the "hash table"
 * and ctx->users has dropped to 0, so we know no more kiocbs can be submitted -
 * now it's safe to cancel any that need to be.
 */
K
Kent Overstreet 已提交
601
static void free_ioctx_users(struct percpu_ref *ref)
K
Kent Overstreet 已提交
602
{
K
Kent Overstreet 已提交
603
	struct kioctx *ctx = container_of(ref, struct kioctx, users);
604
	struct aio_kiocb *req;
K
Kent Overstreet 已提交
605 606 607 608 609

	spin_lock_irq(&ctx->ctx_lock);

	while (!list_empty(&ctx->active_reqs)) {
		req = list_first_entry(&ctx->active_reqs,
610
				       struct aio_kiocb, ki_list);
K
Kent Overstreet 已提交
611 612

		list_del_init(&req->ki_list);
613
		kiocb_cancel(req);
K
Kent Overstreet 已提交
614 615 616 617
	}

	spin_unlock_irq(&ctx->ctx_lock);

K
Kent Overstreet 已提交
618 619
	percpu_ref_kill(&ctx->reqs);
	percpu_ref_put(&ctx->reqs);
K
Kent Overstreet 已提交
620 621
}

622 623 624 625 626 627 628
static int ioctx_add_table(struct kioctx *ctx, struct mm_struct *mm)
{
	unsigned i, new_nr;
	struct kioctx_table *table, *old;
	struct aio_ring *ring;

	spin_lock(&mm->ioctx_lock);
629
	table = rcu_dereference_raw(mm->ioctx_table);
630 631 632 633 634 635 636 637 638

	while (1) {
		if (table)
			for (i = 0; i < table->nr; i++)
				if (!table->table[i]) {
					ctx->id = i;
					table->table[i] = ctx;
					spin_unlock(&mm->ioctx_lock);

639 640 641 642
					/* While kioctx setup is in progress,
					 * we are protected from page migration
					 * changes ring_pages by ->ring_lock.
					 */
643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659
					ring = kmap_atomic(ctx->ring_pages[0]);
					ring->id = ctx->id;
					kunmap_atomic(ring);
					return 0;
				}

		new_nr = (table ? table->nr : 1) * 4;
		spin_unlock(&mm->ioctx_lock);

		table = kzalloc(sizeof(*table) + sizeof(struct kioctx *) *
				new_nr, GFP_KERNEL);
		if (!table)
			return -ENOMEM;

		table->nr = new_nr;

		spin_lock(&mm->ioctx_lock);
660
		old = rcu_dereference_raw(mm->ioctx_table);
661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676

		if (!old) {
			rcu_assign_pointer(mm->ioctx_table, table);
		} else if (table->nr > old->nr) {
			memcpy(table->table, old->table,
			       old->nr * sizeof(struct kioctx *));

			rcu_assign_pointer(mm->ioctx_table, table);
			kfree_rcu(old, rcu);
		} else {
			kfree(table);
			table = old;
		}
	}
}

K
Kent Overstreet 已提交
677 678 679 680 681 682 683 684 685 686
static void aio_nr_sub(unsigned nr)
{
	spin_lock(&aio_nr_lock);
	if (WARN_ON(aio_nr - nr > aio_nr))
		aio_nr = 0;
	else
		aio_nr -= nr;
	spin_unlock(&aio_nr_lock);
}

L
Linus Torvalds 已提交
687 688 689 690 691
/* ioctx_alloc
 *	Allocates and initializes an ioctx.  Returns an ERR_PTR if it failed.
 */
static struct kioctx *ioctx_alloc(unsigned nr_events)
{
Z
Zach Brown 已提交
692
	struct mm_struct *mm = current->mm;
L
Linus Torvalds 已提交
693
	struct kioctx *ctx;
694
	int err = -ENOMEM;
L
Linus Torvalds 已提交
695

K
Kent Overstreet 已提交
696 697 698 699 700 701 702 703 704 705 706 707
	/*
	 * We keep track of the number of available ringbuffer slots, to prevent
	 * overflow (reqs_available), and we also use percpu counters for this.
	 *
	 * So since up to half the slots might be on other cpu's percpu counters
	 * and unavailable, double nr_events so userspace sees what they
	 * expected: additionally, we move req_batch slots to/from percpu
	 * counters at a time, so make sure that isn't 0:
	 */
	nr_events = max(nr_events, num_possible_cpus() * 4);
	nr_events *= 2;

L
Linus Torvalds 已提交
708
	/* Prevent overflows */
A
Al Viro 已提交
709
	if (nr_events > (0x10000000U / sizeof(struct io_event))) {
L
Linus Torvalds 已提交
710 711 712 713
		pr_debug("ENOMEM: nr_events too high\n");
		return ERR_PTR(-EINVAL);
	}

714
	if (!nr_events || (unsigned long)nr_events > (aio_max_nr * 2UL))
L
Linus Torvalds 已提交
715 716
		return ERR_PTR(-EAGAIN);

717
	ctx = kmem_cache_zalloc(kioctx_cachep, GFP_KERNEL);
L
Linus Torvalds 已提交
718 719 720 721 722 723
	if (!ctx)
		return ERR_PTR(-ENOMEM);

	ctx->max_reqs = nr_events;

	spin_lock_init(&ctx->ctx_lock);
724
	spin_lock_init(&ctx->completion_lock);
K
Kent Overstreet 已提交
725
	mutex_init(&ctx->ring_lock);
726 727 728
	/* Protect against page migration throughout kiotx setup by keeping
	 * the ring_lock mutex held until setup is complete. */
	mutex_lock(&ctx->ring_lock);
L
Linus Torvalds 已提交
729 730 731 732
	init_waitqueue_head(&ctx->wait);

	INIT_LIST_HEAD(&ctx->active_reqs);

733
	if (percpu_ref_init(&ctx->users, free_ioctx_users, 0, GFP_KERNEL))
734 735
		goto err;

736
	if (percpu_ref_init(&ctx->reqs, free_ioctx_reqs, 0, GFP_KERNEL))
737 738
		goto err;

K
Kent Overstreet 已提交
739 740
	ctx->cpu = alloc_percpu(struct kioctx_cpu);
	if (!ctx->cpu)
K
Kent Overstreet 已提交
741
		goto err;
L
Linus Torvalds 已提交
742

743 744
	err = aio_setup_ring(ctx);
	if (err < 0)
K
Kent Overstreet 已提交
745
		goto err;
K
Kent Overstreet 已提交
746

747
	atomic_set(&ctx->reqs_available, ctx->nr_events - 1);
K
Kent Overstreet 已提交
748
	ctx->req_batch = (ctx->nr_events - 1) / (num_possible_cpus() * 4);
749 750
	if (ctx->req_batch < 1)
		ctx->req_batch = 1;
751

L
Linus Torvalds 已提交
752
	/* limit the number of system wide aios */
753
	spin_lock(&aio_nr_lock);
754
	if (aio_nr + nr_events > (aio_max_nr * 2UL) ||
755
	    aio_nr + nr_events < aio_nr) {
756
		spin_unlock(&aio_nr_lock);
K
Kent Overstreet 已提交
757
		err = -EAGAIN;
G
Gu Zheng 已提交
758
		goto err_ctx;
759 760
	}
	aio_nr += ctx->max_reqs;
761
	spin_unlock(&aio_nr_lock);
L
Linus Torvalds 已提交
762

763 764
	percpu_ref_get(&ctx->users);	/* io_setup() will drop this ref */
	percpu_ref_get(&ctx->reqs);	/* free_ioctx_users() will drop this */
K
Kent Overstreet 已提交
765

766 767
	err = ioctx_add_table(ctx, mm);
	if (err)
K
Kent Overstreet 已提交
768
		goto err_cleanup;
769

770 771 772
	/* Release the ring_lock mutex now that all setup is complete. */
	mutex_unlock(&ctx->ring_lock);

K
Kent Overstreet 已提交
773
	pr_debug("allocated ioctx %p[%ld]: mm=%p mask=0x%x\n",
K
Kent Overstreet 已提交
774
		 ctx, ctx->user_id, mm, ctx->nr_events);
L
Linus Torvalds 已提交
775 776
	return ctx;

K
Kent Overstreet 已提交
777 778
err_cleanup:
	aio_nr_sub(ctx->max_reqs);
G
Gu Zheng 已提交
779
err_ctx:
780 781 782
	atomic_set(&ctx->dead, 1);
	if (ctx->mmap_size)
		vm_munmap(ctx->mmap_base, ctx->mmap_size);
G
Gu Zheng 已提交
783
	aio_free_ring(ctx);
K
Kent Overstreet 已提交
784
err:
785
	mutex_unlock(&ctx->ring_lock);
K
Kent Overstreet 已提交
786
	free_percpu(ctx->cpu);
787 788
	percpu_ref_exit(&ctx->reqs);
	percpu_ref_exit(&ctx->users);
L
Linus Torvalds 已提交
789
	kmem_cache_free(kioctx_cachep, ctx);
K
Kent Overstreet 已提交
790
	pr_debug("error allocating ioctx %d\n", err);
791
	return ERR_PTR(err);
L
Linus Torvalds 已提交
792 793
}

K
Kent Overstreet 已提交
794 795 796 797 798
/* kill_ioctx
 *	Cancels all outstanding aio requests on an aio context.  Used
 *	when the processes owning a context have all exited to encourage
 *	the rapid destruction of the kioctx.
 */
799
static int kill_ioctx(struct mm_struct *mm, struct kioctx *ctx,
800
		      struct ctx_rq_wait *wait)
K
Kent Overstreet 已提交
801
{
802
	struct kioctx_table *table;
803

A
Al Viro 已提交
804 805 806
	spin_lock(&mm->ioctx_lock);
	if (atomic_xchg(&ctx->dead, 1)) {
		spin_unlock(&mm->ioctx_lock);
807
		return -EINVAL;
A
Al Viro 已提交
808
	}
809

810
	table = rcu_dereference_raw(mm->ioctx_table);
811 812 813
	WARN_ON(ctx != table->table[ctx->id]);
	table->table[ctx->id] = NULL;
	spin_unlock(&mm->ioctx_lock);
814

815 816
	/* percpu_ref_kill() will do the necessary call_rcu() */
	wake_up_all(&ctx->wait);
817

818 819 820 821 822 823 824 825
	/*
	 * It'd be more correct to do this in free_ioctx(), after all
	 * the outstanding kiocbs have finished - but by then io_destroy
	 * has already returned, so io_setup() could potentially return
	 * -EAGAIN with no ioctxs actually in use (as far as userspace
	 *  could tell).
	 */
	aio_nr_sub(ctx->max_reqs);
826

827 828
	if (ctx->mmap_size)
		vm_munmap(ctx->mmap_base, ctx->mmap_size);
829

830
	ctx->rq_wait = wait;
831 832
	percpu_ref_kill(&ctx->users);
	return 0;
L
Linus Torvalds 已提交
833 834
}

K
Kent Overstreet 已提交
835 836 837 838 839 840 841
/*
 * exit_aio: called when the last user of mm goes away.  At this point, there is
 * no way for any new requests to be submited or any of the io_* syscalls to be
 * called on the context.
 *
 * There may be outstanding kiocbs, but free_ioctx() will explicitly wait on
 * them.
L
Linus Torvalds 已提交
842
 */
843
void exit_aio(struct mm_struct *mm)
L
Linus Torvalds 已提交
844
{
845
	struct kioctx_table *table = rcu_dereference_raw(mm->ioctx_table);
846 847
	struct ctx_rq_wait wait;
	int i, skipped;
848

849 850
	if (!table)
		return;
851

852 853 854 855
	atomic_set(&wait.count, table->nr);
	init_completion(&wait.comp);

	skipped = 0;
856 857
	for (i = 0; i < table->nr; ++i) {
		struct kioctx *ctx = table->table[i];
J
Jens Axboe 已提交
858

859 860
		if (!ctx) {
			skipped++;
861
			continue;
862 863
		}

864
		/*
865 866 867 868 869
		 * We don't need to bother with munmap() here - exit_mmap(mm)
		 * is coming and it'll unmap everything. And we simply can't,
		 * this is not necessarily our ->mm.
		 * Since kill_ioctx() uses non-zero ->mmap_size as indicator
		 * that it needs to unmap the area, just set it to 0.
870
		 */
K
Kent Overstreet 已提交
871
		ctx->mmap_size = 0;
872 873
		kill_ioctx(mm, ctx, &wait);
	}
K
Kent Overstreet 已提交
874

875
	if (!atomic_sub_and_test(skipped, &wait.count)) {
876
		/* Wait until all IO for the context are done. */
877
		wait_for_completion(&wait.comp);
L
Linus Torvalds 已提交
878
	}
879 880 881

	RCU_INIT_POINTER(mm->ioctx_table, NULL);
	kfree(table);
L
Linus Torvalds 已提交
882 883
}

K
Kent Overstreet 已提交
884 885 886
static void put_reqs_available(struct kioctx *ctx, unsigned nr)
{
	struct kioctx_cpu *kcpu;
887
	unsigned long flags;
K
Kent Overstreet 已提交
888

889
	local_irq_save(flags);
890
	kcpu = this_cpu_ptr(ctx->cpu);
K
Kent Overstreet 已提交
891
	kcpu->reqs_available += nr;
892

K
Kent Overstreet 已提交
893 894 895 896 897
	while (kcpu->reqs_available >= ctx->req_batch * 2) {
		kcpu->reqs_available -= ctx->req_batch;
		atomic_add(ctx->req_batch, &ctx->reqs_available);
	}

898
	local_irq_restore(flags);
K
Kent Overstreet 已提交
899 900 901 902 903 904
}

static bool get_reqs_available(struct kioctx *ctx)
{
	struct kioctx_cpu *kcpu;
	bool ret = false;
905
	unsigned long flags;
K
Kent Overstreet 已提交
906

907
	local_irq_save(flags);
908
	kcpu = this_cpu_ptr(ctx->cpu);
K
Kent Overstreet 已提交
909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926
	if (!kcpu->reqs_available) {
		int old, avail = atomic_read(&ctx->reqs_available);

		do {
			if (avail < ctx->req_batch)
				goto out;

			old = avail;
			avail = atomic_cmpxchg(&ctx->reqs_available,
					       avail, avail - ctx->req_batch);
		} while (avail != old);

		kcpu->reqs_available += ctx->req_batch;
	}

	ret = true;
	kcpu->reqs_available--;
out:
927
	local_irq_restore(flags);
K
Kent Overstreet 已提交
928 929 930
	return ret;
}

931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992
/* refill_reqs_available
 *	Updates the reqs_available reference counts used for tracking the
 *	number of free slots in the completion ring.  This can be called
 *	from aio_complete() (to optimistically update reqs_available) or
 *	from aio_get_req() (the we're out of events case).  It must be
 *	called holding ctx->completion_lock.
 */
static void refill_reqs_available(struct kioctx *ctx, unsigned head,
                                  unsigned tail)
{
	unsigned events_in_ring, completed;

	/* Clamp head since userland can write to it. */
	head %= ctx->nr_events;
	if (head <= tail)
		events_in_ring = tail - head;
	else
		events_in_ring = ctx->nr_events - (head - tail);

	completed = ctx->completed_events;
	if (events_in_ring < completed)
		completed -= events_in_ring;
	else
		completed = 0;

	if (!completed)
		return;

	ctx->completed_events -= completed;
	put_reqs_available(ctx, completed);
}

/* user_refill_reqs_available
 *	Called to refill reqs_available when aio_get_req() encounters an
 *	out of space in the completion ring.
 */
static void user_refill_reqs_available(struct kioctx *ctx)
{
	spin_lock_irq(&ctx->completion_lock);
	if (ctx->completed_events) {
		struct aio_ring *ring;
		unsigned head;

		/* Access of ring->head may race with aio_read_events_ring()
		 * here, but that's okay since whether we read the old version
		 * or the new version, and either will be valid.  The important
		 * part is that head cannot pass tail since we prevent
		 * aio_complete() from updating tail by holding
		 * ctx->completion_lock.  Even if head is invalid, the check
		 * against ctx->completed_events below will make sure we do the
		 * safe/right thing.
		 */
		ring = kmap_atomic(ctx->ring_pages[0]);
		head = ring->head;
		kunmap_atomic(ring);

		refill_reqs_available(ctx, head, ctx->tail);
	}

	spin_unlock_irq(&ctx->completion_lock);
}

L
Linus Torvalds 已提交
993
/* aio_get_req
K
Kent Overstreet 已提交
994 995
 *	Allocate a slot for an aio request.
 * Returns NULL if no requests are free.
L
Linus Torvalds 已提交
996
 */
997
static inline struct aio_kiocb *aio_get_req(struct kioctx *ctx)
L
Linus Torvalds 已提交
998
{
999
	struct aio_kiocb *req;
K
Kent Overstreet 已提交
1000

1001 1002 1003 1004 1005
	if (!get_reqs_available(ctx)) {
		user_refill_reqs_available(ctx);
		if (!get_reqs_available(ctx))
			return NULL;
	}
K
Kent Overstreet 已提交
1006

1007
	req = kmem_cache_alloc(kiocb_cachep, GFP_KERNEL|__GFP_ZERO);
L
Linus Torvalds 已提交
1008
	if (unlikely(!req))
K
Kent Overstreet 已提交
1009
		goto out_put;
L
Linus Torvalds 已提交
1010

K
Kent Overstreet 已提交
1011 1012
	percpu_ref_get(&ctx->reqs);

L
Linus Torvalds 已提交
1013
	req->ki_ctx = ctx;
J
Jeff Moyer 已提交
1014
	return req;
K
Kent Overstreet 已提交
1015
out_put:
K
Kent Overstreet 已提交
1016
	put_reqs_available(ctx, 1);
K
Kent Overstreet 已提交
1017
	return NULL;
L
Linus Torvalds 已提交
1018 1019
}

1020
static void kiocb_free(struct aio_kiocb *req)
L
Linus Torvalds 已提交
1021
{
1022 1023
	if (req->common.ki_filp)
		fput(req->common.ki_filp);
1024 1025
	if (req->ki_eventfd != NULL)
		eventfd_ctx_put(req->ki_eventfd);
L
Linus Torvalds 已提交
1026 1027 1028
	kmem_cache_free(kiocb_cachep, req);
}

A
Adrian Bunk 已提交
1029
static struct kioctx *lookup_ioctx(unsigned long ctx_id)
L
Linus Torvalds 已提交
1030
{
1031
	struct aio_ring __user *ring  = (void __user *)ctx_id;
J
Jens Axboe 已提交
1032
	struct mm_struct *mm = current->mm;
1033
	struct kioctx *ctx, *ret = NULL;
1034 1035 1036 1037 1038
	struct kioctx_table *table;
	unsigned id;

	if (get_user(id, &ring->id))
		return NULL;
L
Linus Torvalds 已提交
1039

J
Jens Axboe 已提交
1040
	rcu_read_lock();
1041
	table = rcu_dereference(mm->ioctx_table);
J
Jens Axboe 已提交
1042

1043 1044
	if (!table || id >= table->nr)
		goto out;
L
Linus Torvalds 已提交
1045

1046
	ctx = table->table[id];
1047
	if (ctx && ctx->user_id == ctx_id) {
1048 1049 1050 1051
		percpu_ref_get(&ctx->users);
		ret = ctx;
	}
out:
J
Jens Axboe 已提交
1052
	rcu_read_unlock();
1053
	return ret;
L
Linus Torvalds 已提交
1054 1055 1056 1057 1058
}

/* aio_complete
 *	Called when the io request on the given iocb is complete.
 */
1059
static void aio_complete(struct kiocb *kiocb, long res, long res2)
L
Linus Torvalds 已提交
1060
{
1061
	struct aio_kiocb *iocb = container_of(kiocb, struct aio_kiocb, common);
L
Linus Torvalds 已提交
1062 1063
	struct kioctx	*ctx = iocb->ki_ctx;
	struct aio_ring	*ring;
K
Kent Overstreet 已提交
1064
	struct io_event	*ev_page, *event;
1065
	unsigned tail, pos, head;
L
Linus Torvalds 已提交
1066 1067
	unsigned long	flags;

1068 1069 1070 1071 1072 1073
	/*
	 * Special case handling for sync iocbs:
	 *  - events go directly into the iocb for fast handling
	 *  - the sync task with the iocb in its stack holds the single iocb
	 *    ref, no other paths have a way to get another ref
	 *  - the sync task helpfully left a reference to itself in the iocb
L
Linus Torvalds 已提交
1074
	 */
1075
	BUG_ON(is_sync_kiocb(kiocb));
L
Linus Torvalds 已提交
1076

1077 1078 1079 1080 1081 1082 1083
	if (iocb->ki_list.next) {
		unsigned long flags;

		spin_lock_irqsave(&ctx->ctx_lock, flags);
		list_del(&iocb->ki_list);
		spin_unlock_irqrestore(&ctx->ctx_lock, flags);
	}
1084

1085 1086
	/*
	 * Add a completion event to the ring buffer. Must be done holding
1087
	 * ctx->completion_lock to prevent other code from messing with the tail
1088 1089 1090 1091
	 * pointer since we might be called from irq context.
	 */
	spin_lock_irqsave(&ctx->completion_lock, flags);

K
Kent Overstreet 已提交
1092
	tail = ctx->tail;
K
Kent Overstreet 已提交
1093 1094
	pos = tail + AIO_EVENTS_OFFSET;

K
Kent Overstreet 已提交
1095
	if (++tail >= ctx->nr_events)
1096
		tail = 0;
L
Linus Torvalds 已提交
1097

K
Kent Overstreet 已提交
1098
	ev_page = kmap_atomic(ctx->ring_pages[pos / AIO_EVENTS_PER_PAGE]);
K
Kent Overstreet 已提交
1099 1100
	event = ev_page + pos % AIO_EVENTS_PER_PAGE;

1101
	event->obj = (u64)(unsigned long)iocb->ki_user_iocb;
L
Linus Torvalds 已提交
1102 1103 1104 1105
	event->data = iocb->ki_user_data;
	event->res = res;
	event->res2 = res2;

K
Kent Overstreet 已提交
1106
	kunmap_atomic(ev_page);
K
Kent Overstreet 已提交
1107
	flush_dcache_page(ctx->ring_pages[pos / AIO_EVENTS_PER_PAGE]);
K
Kent Overstreet 已提交
1108 1109

	pr_debug("%p[%u]: %p: %p %Lx %lx %lx\n",
1110
		 ctx, tail, iocb, iocb->ki_user_iocb, iocb->ki_user_data,
K
Kent Overstreet 已提交
1111
		 res, res2);
L
Linus Torvalds 已提交
1112 1113 1114 1115 1116 1117

	/* after flagging the request as done, we
	 * must never even look at it again
	 */
	smp_wmb();	/* make event visible before updating tail */

K
Kent Overstreet 已提交
1118
	ctx->tail = tail;
L
Linus Torvalds 已提交
1119

K
Kent Overstreet 已提交
1120
	ring = kmap_atomic(ctx->ring_pages[0]);
1121
	head = ring->head;
K
Kent Overstreet 已提交
1122
	ring->tail = tail;
1123
	kunmap_atomic(ring);
K
Kent Overstreet 已提交
1124
	flush_dcache_page(ctx->ring_pages[0]);
L
Linus Torvalds 已提交
1125

1126 1127 1128
	ctx->completed_events++;
	if (ctx->completed_events > 1)
		refill_reqs_available(ctx, head, tail);
1129 1130
	spin_unlock_irqrestore(&ctx->completion_lock, flags);

K
Kent Overstreet 已提交
1131
	pr_debug("added to ring %p at [%u]\n", iocb, tail);
D
Davide Libenzi 已提交
1132 1133 1134 1135 1136 1137

	/*
	 * Check if the user asked us to deliver the result through an
	 * eventfd. The eventfd_signal() function is safe to be called
	 * from IRQ context.
	 */
1138
	if (iocb->ki_eventfd != NULL)
D
Davide Libenzi 已提交
1139 1140
		eventfd_signal(iocb->ki_eventfd, 1);

L
Linus Torvalds 已提交
1141
	/* everything turned out well, dispose of the aiocb. */
K
Kent Overstreet 已提交
1142
	kiocb_free(iocb);
L
Linus Torvalds 已提交
1143

1144 1145 1146 1147 1148 1149 1150 1151
	/*
	 * We have to order our ring_info tail store above and test
	 * of the wait list below outside the wait lock.  This is
	 * like in wake_up_bit() where clearing a bit has to be
	 * ordered with the unlocked test.
	 */
	smp_mb();

L
Linus Torvalds 已提交
1152 1153 1154
	if (waitqueue_active(&ctx->wait))
		wake_up(&ctx->wait);

K
Kent Overstreet 已提交
1155
	percpu_ref_put(&ctx->reqs);
L
Linus Torvalds 已提交
1156 1157
}

G
Gu Zheng 已提交
1158
/* aio_read_events_ring
1159 1160
 *	Pull an event off of the ioctx's event ring.  Returns the number of
 *	events fetched
L
Linus Torvalds 已提交
1161
 */
1162 1163
static long aio_read_events_ring(struct kioctx *ctx,
				 struct io_event __user *event, long nr)
L
Linus Torvalds 已提交
1164 1165
{
	struct aio_ring *ring;
1166
	unsigned head, tail, pos;
1167 1168 1169
	long ret = 0;
	int copy_ret;

1170 1171 1172 1173 1174 1175 1176
	/*
	 * The mutex can block and wake us up and that will cause
	 * wait_event_interruptible_hrtimeout() to schedule without sleeping
	 * and repeat. This should be rare enough that it doesn't cause
	 * peformance issues. See the comment in read_events() for more detail.
	 */
	sched_annotate_sleep();
K
Kent Overstreet 已提交
1177
	mutex_lock(&ctx->ring_lock);
L
Linus Torvalds 已提交
1178

1179
	/* Access to ->ring_pages here is protected by ctx->ring_lock. */
K
Kent Overstreet 已提交
1180
	ring = kmap_atomic(ctx->ring_pages[0]);
1181
	head = ring->head;
1182
	tail = ring->tail;
1183 1184
	kunmap_atomic(ring);

1185 1186 1187 1188 1189 1190
	/*
	 * Ensure that once we've read the current tail pointer, that
	 * we also see the events that were stored up to the tail.
	 */
	smp_rmb();

1191
	pr_debug("h%u t%u m%u\n", head, tail, ctx->nr_events);
L
Linus Torvalds 已提交
1192

1193
	if (head == tail)
L
Linus Torvalds 已提交
1194 1195
		goto out;

1196 1197 1198
	head %= ctx->nr_events;
	tail %= ctx->nr_events;

1199 1200 1201 1202 1203
	while (ret < nr) {
		long avail;
		struct io_event *ev;
		struct page *page;

1204 1205
		avail = (head <= tail ?  tail : ctx->nr_events) - head;
		if (head == tail)
1206 1207 1208 1209 1210 1211 1212
			break;

		avail = min(avail, nr - ret);
		avail = min_t(long, avail, AIO_EVENTS_PER_PAGE -
			    ((head + AIO_EVENTS_OFFSET) % AIO_EVENTS_PER_PAGE));

		pos = head + AIO_EVENTS_OFFSET;
K
Kent Overstreet 已提交
1213
		page = ctx->ring_pages[pos / AIO_EVENTS_PER_PAGE];
1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227
		pos %= AIO_EVENTS_PER_PAGE;

		ev = kmap(page);
		copy_ret = copy_to_user(event + ret, ev + pos,
					sizeof(*ev) * avail);
		kunmap(page);

		if (unlikely(copy_ret)) {
			ret = -EFAULT;
			goto out;
		}

		ret += avail;
		head += avail;
K
Kent Overstreet 已提交
1228
		head %= ctx->nr_events;
L
Linus Torvalds 已提交
1229 1230
	}

K
Kent Overstreet 已提交
1231
	ring = kmap_atomic(ctx->ring_pages[0]);
1232
	ring->head = head;
1233
	kunmap_atomic(ring);
K
Kent Overstreet 已提交
1234
	flush_dcache_page(ctx->ring_pages[0]);
1235

1236
	pr_debug("%li  h%u t%u\n", ret, head, tail);
1237
out:
K
Kent Overstreet 已提交
1238
	mutex_unlock(&ctx->ring_lock);
1239

L
Linus Torvalds 已提交
1240 1241 1242
	return ret;
}

1243 1244
static bool aio_read_events(struct kioctx *ctx, long min_nr, long nr,
			    struct io_event __user *event, long *i)
L
Linus Torvalds 已提交
1245
{
1246
	long ret = aio_read_events_ring(ctx, event + *i, nr - *i);
L
Linus Torvalds 已提交
1247

1248 1249
	if (ret > 0)
		*i += ret;
L
Linus Torvalds 已提交
1250

1251 1252
	if (unlikely(atomic_read(&ctx->dead)))
		ret = -EINVAL;
L
Linus Torvalds 已提交
1253

1254 1255
	if (!*i)
		*i = ret;
L
Linus Torvalds 已提交
1256

1257
	return ret < 0 || *i >= min_nr;
L
Linus Torvalds 已提交
1258 1259
}

1260
static long read_events(struct kioctx *ctx, long min_nr, long nr,
L
Linus Torvalds 已提交
1261 1262 1263
			struct io_event __user *event,
			struct timespec __user *timeout)
{
1264 1265
	ktime_t until = { .tv64 = KTIME_MAX };
	long ret = 0;
L
Linus Torvalds 已提交
1266 1267 1268

	if (timeout) {
		struct timespec	ts;
1269

L
Linus Torvalds 已提交
1270
		if (unlikely(copy_from_user(&ts, timeout, sizeof(ts))))
1271
			return -EFAULT;
L
Linus Torvalds 已提交
1272

1273
		until = timespec_to_ktime(ts);
L
Linus Torvalds 已提交
1274 1275
	}

1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289
	/*
	 * Note that aio_read_events() is being called as the conditional - i.e.
	 * we're calling it after prepare_to_wait() has set task state to
	 * TASK_INTERRUPTIBLE.
	 *
	 * But aio_read_events() can block, and if it blocks it's going to flip
	 * the task state back to TASK_RUNNING.
	 *
	 * This should be ok, provided it doesn't flip the state back to
	 * TASK_RUNNING and return 0 too much - that causes us to spin. That
	 * will only happen if the mutex_lock() call blocks, and we then find
	 * the ringbuffer empty. So in practice we should be ok, but it's
	 * something to be aware of when touching this code.
	 */
1290 1291 1292 1293 1294 1295
	if (until.tv64 == 0)
		aio_read_events(ctx, min_nr, nr, event, &ret);
	else
		wait_event_interruptible_hrtimeout(ctx->wait,
				aio_read_events(ctx, min_nr, nr, event, &ret),
				until);
L
Linus Torvalds 已提交
1296

1297 1298
	if (!ret && signal_pending(current))
		ret = -EINTR;
L
Linus Torvalds 已提交
1299

1300
	return ret;
L
Linus Torvalds 已提交
1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315
}

/* sys_io_setup:
 *	Create an aio_context capable of receiving at least nr_events.
 *	ctxp must not point to an aio_context that already exists, and
 *	must be initialized to 0 prior to the call.  On successful
 *	creation of the aio_context, *ctxp is filled in with the resulting 
 *	handle.  May fail with -EINVAL if *ctxp is not initialized,
 *	if the specified nr_events exceeds internal limits.  May fail 
 *	with -EAGAIN if the specified nr_events exceeds the user's limit 
 *	of available events.  May fail with -ENOMEM if insufficient kernel
 *	resources are available.  May fail with -EFAULT if an invalid
 *	pointer is passed for ctxp.  Will fail with -ENOSYS if not
 *	implemented.
 */
1316
SYSCALL_DEFINE2(io_setup, unsigned, nr_events, aio_context_t __user *, ctxp)
L
Linus Torvalds 已提交
1317 1318 1319 1320 1321 1322 1323 1324 1325 1326
{
	struct kioctx *ioctx = NULL;
	unsigned long ctx;
	long ret;

	ret = get_user(ctx, ctxp);
	if (unlikely(ret))
		goto out;

	ret = -EINVAL;
1327
	if (unlikely(ctx || nr_events == 0)) {
1328
		pr_debug("EINVAL: ctx %lu nr_events %u\n",
1329
		         ctx, nr_events);
L
Linus Torvalds 已提交
1330 1331 1332 1333 1334 1335 1336
		goto out;
	}

	ioctx = ioctx_alloc(nr_events);
	ret = PTR_ERR(ioctx);
	if (!IS_ERR(ioctx)) {
		ret = put_user(ioctx->user_id, ctxp);
1337
		if (ret)
1338
			kill_ioctx(current->mm, ioctx, NULL);
K
Kent Overstreet 已提交
1339
		percpu_ref_put(&ioctx->users);
L
Linus Torvalds 已提交
1340 1341 1342 1343 1344 1345 1346 1347 1348
	}

out:
	return ret;
}

/* sys_io_destroy:
 *	Destroy the aio_context specified.  May cancel any outstanding 
 *	AIOs and block on completion.  Will fail with -ENOSYS if not
1349
 *	implemented.  May fail with -EINVAL if the context pointed to
L
Linus Torvalds 已提交
1350 1351
 *	is invalid.
 */
1352
SYSCALL_DEFINE1(io_destroy, aio_context_t, ctx)
L
Linus Torvalds 已提交
1353 1354 1355
{
	struct kioctx *ioctx = lookup_ioctx(ctx);
	if (likely(NULL != ioctx)) {
1356
		struct ctx_rq_wait wait;
1357
		int ret;
1358

1359 1360 1361
		init_completion(&wait.comp);
		atomic_set(&wait.count, 1);

1362 1363 1364 1365
		/* Pass requests_done to kill_ioctx() where it can be set
		 * in a thread-safe way. If we try to set it here then we have
		 * a race condition if two io_destroy() called simultaneously.
		 */
1366
		ret = kill_ioctx(current->mm, ioctx, &wait);
K
Kent Overstreet 已提交
1367
		percpu_ref_put(&ioctx->users);
1368 1369 1370 1371 1372

		/* Wait until all IO for the context are done. Otherwise kernel
		 * keep using user-space buffers even if user thinks the context
		 * is destroyed.
		 */
1373
		if (!ret)
1374
			wait_for_completion(&wait.comp);
1375

1376
		return ret;
L
Linus Torvalds 已提交
1377
	}
1378
	pr_debug("EINVAL: invalid context id\n");
L
Linus Torvalds 已提交
1379 1380 1381
	return -EINVAL;
}

1382
typedef ssize_t (rw_iter_op)(struct kiocb *, struct iov_iter *);
K
Kent Overstreet 已提交
1383

1384 1385 1386 1387
static int aio_setup_vectored_rw(int rw, char __user *buf, size_t len,
				 struct iovec **iovec,
				 bool compat,
				 struct iov_iter *iter)
B
Badari Pulavarty 已提交
1388
{
1389 1390
#ifdef CONFIG_COMPAT
	if (compat)
1391
		return compat_import_iovec(rw,
1392
				(struct compat_iovec __user *)buf,
1393
				len, UIO_FASTIOV, iovec, iter);
1394
#endif
1395 1396
	return import_iovec(rw, (struct iovec __user *)buf,
				len, UIO_FASTIOV, iovec, iter);
B
Badari Pulavarty 已提交
1397 1398
}

L
Linus Torvalds 已提交
1399
/*
G
Gu Zheng 已提交
1400 1401
 * aio_run_iocb:
 *	Performs the initial checks and io submission.
L
Linus Torvalds 已提交
1402
 */
1403
static ssize_t aio_run_iocb(struct kiocb *req, unsigned opcode,
C
Christoph Hellwig 已提交
1404
			    char __user *buf, size_t len, bool compat)
L
Linus Torvalds 已提交
1405
{
K
Kent Overstreet 已提交
1406 1407 1408 1409
	struct file *file = req->ki_filp;
	ssize_t ret;
	int rw;
	fmode_t mode;
1410
	rw_iter_op *iter_op;
1411
	struct iovec inline_vecs[UIO_FASTIOV], *iovec = inline_vecs;
1412
	struct iov_iter iter;
L
Linus Torvalds 已提交
1413

1414
	switch (opcode) {
L
Linus Torvalds 已提交
1415
	case IOCB_CMD_PREAD:
B
Badari Pulavarty 已提交
1416
	case IOCB_CMD_PREADV:
K
Kent Overstreet 已提交
1417 1418
		mode	= FMODE_READ;
		rw	= READ;
1419
		iter_op	= file->f_op->read_iter;
K
Kent Overstreet 已提交
1420 1421 1422
		goto rw_common;

	case IOCB_CMD_PWRITE:
B
Badari Pulavarty 已提交
1423
	case IOCB_CMD_PWRITEV:
K
Kent Overstreet 已提交
1424 1425
		mode	= FMODE_WRITE;
		rw	= WRITE;
1426
		iter_op	= file->f_op->write_iter;
K
Kent Overstreet 已提交
1427 1428 1429 1430 1431
		goto rw_common;
rw_common:
		if (unlikely(!(file->f_mode & mode)))
			return -EBADF;

A
Al Viro 已提交
1432
		if (!iter_op)
K
Kent Overstreet 已提交
1433 1434
			return -EINVAL;

C
Christoph Hellwig 已提交
1435
		if (opcode == IOCB_CMD_PREADV || opcode == IOCB_CMD_PWRITEV)
1436 1437
			ret = aio_setup_vectored_rw(rw, buf, len,
						&iovec, compat, &iter);
1438
		else {
A
Al Viro 已提交
1439
			ret = import_single_range(rw, buf, len, iovec, &iter);
1440 1441
			iovec = NULL;
		}
1442
		if (!ret)
1443 1444
			ret = rw_verify_area(rw, file, &req->ki_pos,
					     iov_iter_count(&iter));
1445
		if (ret < 0) {
1446
			kfree(iovec);
K
Kent Overstreet 已提交
1447
			return ret;
1448
		}
K
Kent Overstreet 已提交
1449

K
Kent Overstreet 已提交
1450 1451 1452
		if (rw == WRITE)
			file_start_write(file);

A
Al Viro 已提交
1453
		ret = iter_op(req, &iter);
K
Kent Overstreet 已提交
1454 1455 1456

		if (rw == WRITE)
			file_end_write(file);
1457
		kfree(iovec);
L
Linus Torvalds 已提交
1458
		break;
K
Kent Overstreet 已提交
1459

L
Linus Torvalds 已提交
1460
	case IOCB_CMD_FDSYNC:
K
Kent Overstreet 已提交
1461 1462 1463 1464
		if (!file->f_op->aio_fsync)
			return -EINVAL;

		ret = file->f_op->aio_fsync(req, 1);
L
Linus Torvalds 已提交
1465
		break;
K
Kent Overstreet 已提交
1466

L
Linus Torvalds 已提交
1467
	case IOCB_CMD_FSYNC:
K
Kent Overstreet 已提交
1468 1469 1470 1471
		if (!file->f_op->aio_fsync)
			return -EINVAL;

		ret = file->f_op->aio_fsync(req, 0);
L
Linus Torvalds 已提交
1472
		break;
K
Kent Overstreet 已提交
1473

L
Linus Torvalds 已提交
1474
	default:
K
Kent Overstreet 已提交
1475
		pr_debug("EINVAL: no operation provided\n");
K
Kent Overstreet 已提交
1476
		return -EINVAL;
L
Linus Torvalds 已提交
1477 1478
	}

K
Kent Overstreet 已提交
1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489
	if (ret != -EIOCBQUEUED) {
		/*
		 * There's no easy way to restart the syscall since other AIO's
		 * may be already running. Just fail this IO with EINTR.
		 */
		if (unlikely(ret == -ERESTARTSYS || ret == -ERESTARTNOINTR ||
			     ret == -ERESTARTNOHAND ||
			     ret == -ERESTART_RESTARTBLOCK))
			ret = -EINTR;
		aio_complete(req, ret, 0);
	}
L
Linus Torvalds 已提交
1490 1491 1492 1493

	return 0;
}

A
Adrian Bunk 已提交
1494
static int io_submit_one(struct kioctx *ctx, struct iocb __user *user_iocb,
K
Kent Overstreet 已提交
1495
			 struct iocb *iocb, bool compat)
L
Linus Torvalds 已提交
1496
{
1497
	struct aio_kiocb *req;
L
Linus Torvalds 已提交
1498 1499 1500
	ssize_t ret;

	/* enforce forwards compatibility on users */
1501
	if (unlikely(iocb->aio_reserved1 || iocb->aio_reserved2)) {
K
Kent Overstreet 已提交
1502
		pr_debug("EINVAL: reserve field set\n");
L
Linus Torvalds 已提交
1503 1504 1505 1506 1507 1508 1509 1510 1511
		return -EINVAL;
	}

	/* prevent overflows */
	if (unlikely(
	    (iocb->aio_buf != (unsigned long)iocb->aio_buf) ||
	    (iocb->aio_nbytes != (size_t)iocb->aio_nbytes) ||
	    ((ssize_t)iocb->aio_nbytes < 0)
	   )) {
1512
		pr_debug("EINVAL: overflow check\n");
L
Linus Torvalds 已提交
1513 1514 1515
		return -EINVAL;
	}

K
Kent Overstreet 已提交
1516
	req = aio_get_req(ctx);
1517
	if (unlikely(!req))
L
Linus Torvalds 已提交
1518
		return -EAGAIN;
1519

1520 1521
	req->common.ki_filp = fget(iocb->aio_fildes);
	if (unlikely(!req->common.ki_filp)) {
1522 1523
		ret = -EBADF;
		goto out_put_req;
L
Linus Torvalds 已提交
1524
	}
1525 1526
	req->common.ki_pos = iocb->aio_offset;
	req->common.ki_complete = aio_complete;
1527
	req->common.ki_flags = iocb_flags(req->common.ki_filp);
1528

1529 1530 1531 1532 1533 1534 1535
	if (iocb->aio_flags & IOCB_FLAG_RESFD) {
		/*
		 * If the IOCB_FLAG_RESFD flag of aio_flags is set, get an
		 * instance of the file* now. The file descriptor must be
		 * an eventfd() fd, and will be signaled for each completed
		 * event using the eventfd_signal() function.
		 */
1536
		req->ki_eventfd = eventfd_ctx_fdget((int) iocb->aio_resfd);
1537
		if (IS_ERR(req->ki_eventfd)) {
1538
			ret = PTR_ERR(req->ki_eventfd);
1539
			req->ki_eventfd = NULL;
1540 1541
			goto out_put_req;
		}
1542 1543

		req->common.ki_flags |= IOCB_EVENTFD;
1544
	}
L
Linus Torvalds 已提交
1545

K
Kent Overstreet 已提交
1546
	ret = put_user(KIOCB_KEY, &user_iocb->aio_key);
L
Linus Torvalds 已提交
1547
	if (unlikely(ret)) {
K
Kent Overstreet 已提交
1548
		pr_debug("EFAULT: aio_key\n");
L
Linus Torvalds 已提交
1549 1550 1551
		goto out_put_req;
	}

1552
	req->ki_user_iocb = user_iocb;
L
Linus Torvalds 已提交
1553 1554
	req->ki_user_data = iocb->aio_data;

1555
	ret = aio_run_iocb(&req->common, iocb->aio_lio_opcode,
1556
			   (char __user *)(unsigned long)iocb->aio_buf,
C
Christoph Hellwig 已提交
1557
			   iocb->aio_nbytes,
1558
			   compat);
Z
Zach Brown 已提交
1559
	if (ret)
1560
		goto out_put_req;
Z
Zach Brown 已提交
1561

L
Linus Torvalds 已提交
1562 1563
	return 0;
out_put_req:
K
Kent Overstreet 已提交
1564
	put_reqs_available(ctx, 1);
K
Kent Overstreet 已提交
1565
	percpu_ref_put(&ctx->reqs);
K
Kent Overstreet 已提交
1566
	kiocb_free(req);
L
Linus Torvalds 已提交
1567 1568 1569
	return ret;
}

1570 1571
long do_io_submit(aio_context_t ctx_id, long nr,
		  struct iocb __user *__user *iocbpp, bool compat)
L
Linus Torvalds 已提交
1572 1573 1574
{
	struct kioctx *ctx;
	long ret = 0;
J
Jeff Moyer 已提交
1575
	int i = 0;
S
Shaohua Li 已提交
1576
	struct blk_plug plug;
L
Linus Torvalds 已提交
1577 1578 1579 1580

	if (unlikely(nr < 0))
		return -EINVAL;

1581 1582 1583
	if (unlikely(nr > LONG_MAX/sizeof(*iocbpp)))
		nr = LONG_MAX/sizeof(*iocbpp);

L
Linus Torvalds 已提交
1584 1585 1586 1587 1588
	if (unlikely(!access_ok(VERIFY_READ, iocbpp, (nr*sizeof(*iocbpp)))))
		return -EFAULT;

	ctx = lookup_ioctx(ctx_id);
	if (unlikely(!ctx)) {
K
Kent Overstreet 已提交
1589
		pr_debug("EINVAL: invalid context id\n");
L
Linus Torvalds 已提交
1590 1591 1592
		return -EINVAL;
	}

S
Shaohua Li 已提交
1593 1594
	blk_start_plug(&plug);

L
Linus Torvalds 已提交
1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612
	/*
	 * AKPM: should this return a partial result if some of the IOs were
	 * successfully submitted?
	 */
	for (i=0; i<nr; i++) {
		struct iocb __user *user_iocb;
		struct iocb tmp;

		if (unlikely(__get_user(user_iocb, iocbpp + i))) {
			ret = -EFAULT;
			break;
		}

		if (unlikely(copy_from_user(&tmp, user_iocb, sizeof(tmp)))) {
			ret = -EFAULT;
			break;
		}

K
Kent Overstreet 已提交
1613
		ret = io_submit_one(ctx, user_iocb, &tmp, compat);
L
Linus Torvalds 已提交
1614 1615 1616
		if (ret)
			break;
	}
S
Shaohua Li 已提交
1617
	blk_finish_plug(&plug);
L
Linus Torvalds 已提交
1618

K
Kent Overstreet 已提交
1619
	percpu_ref_put(&ctx->users);
L
Linus Torvalds 已提交
1620 1621 1622
	return i ? i : ret;
}

1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640
/* sys_io_submit:
 *	Queue the nr iocbs pointed to by iocbpp for processing.  Returns
 *	the number of iocbs queued.  May return -EINVAL if the aio_context
 *	specified by ctx_id is invalid, if nr is < 0, if the iocb at
 *	*iocbpp[0] is not properly initialized, if the operation specified
 *	is invalid for the file descriptor in the iocb.  May fail with
 *	-EFAULT if any of the data structures point to invalid data.  May
 *	fail with -EBADF if the file descriptor specified in the first
 *	iocb is invalid.  May fail with -EAGAIN if insufficient resources
 *	are available to queue any iocbs.  Will return 0 if nr is 0.  Will
 *	fail with -ENOSYS if not implemented.
 */
SYSCALL_DEFINE3(io_submit, aio_context_t, ctx_id, long, nr,
		struct iocb __user * __user *, iocbpp)
{
	return do_io_submit(ctx_id, nr, iocbpp, 0);
}

L
Linus Torvalds 已提交
1641 1642 1643
/* lookup_kiocb
 *	Finds a given iocb for cancellation.
 */
1644 1645
static struct aio_kiocb *
lookup_kiocb(struct kioctx *ctx, struct iocb __user *iocb, u32 key)
L
Linus Torvalds 已提交
1646
{
1647
	struct aio_kiocb *kiocb;
1648 1649 1650

	assert_spin_locked(&ctx->ctx_lock);

K
Kent Overstreet 已提交
1651 1652 1653
	if (key != KIOCB_KEY)
		return NULL;

L
Linus Torvalds 已提交
1654
	/* TODO: use a hash or array, this sucks. */
1655 1656
	list_for_each_entry(kiocb, &ctx->active_reqs, ki_list) {
		if (kiocb->ki_user_iocb == iocb)
L
Linus Torvalds 已提交
1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671
			return kiocb;
	}
	return NULL;
}

/* sys_io_cancel:
 *	Attempts to cancel an iocb previously passed to io_submit.  If
 *	the operation is successfully cancelled, the resulting event is
 *	copied into the memory pointed to by result without being placed
 *	into the completion queue and 0 is returned.  May fail with
 *	-EFAULT if any of the data structures pointed to are invalid.
 *	May fail with -EINVAL if aio_context specified by ctx_id is
 *	invalid.  May fail with -EAGAIN if the iocb specified was not
 *	cancelled.  Will fail with -ENOSYS if not implemented.
 */
1672 1673
SYSCALL_DEFINE3(io_cancel, aio_context_t, ctx_id, struct iocb __user *, iocb,
		struct io_event __user *, result)
L
Linus Torvalds 已提交
1674 1675
{
	struct kioctx *ctx;
1676
	struct aio_kiocb *kiocb;
L
Linus Torvalds 已提交
1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688
	u32 key;
	int ret;

	ret = get_user(key, &iocb->aio_key);
	if (unlikely(ret))
		return -EFAULT;

	ctx = lookup_ioctx(ctx_id);
	if (unlikely(!ctx))
		return -EINVAL;

	spin_lock_irq(&ctx->ctx_lock);
K
Kent Overstreet 已提交
1689

L
Linus Torvalds 已提交
1690
	kiocb = lookup_kiocb(ctx, iocb, key);
K
Kent Overstreet 已提交
1691
	if (kiocb)
1692
		ret = kiocb_cancel(kiocb);
K
Kent Overstreet 已提交
1693 1694 1695
	else
		ret = -EINVAL;

L
Linus Torvalds 已提交
1696 1697
	spin_unlock_irq(&ctx->ctx_lock);

K
Kent Overstreet 已提交
1698
	if (!ret) {
1699 1700 1701 1702
		/*
		 * The result argument is no longer used - the io_event is
		 * always delivered via the ring buffer. -EINPROGRESS indicates
		 * cancellation is progress:
K
Kent Overstreet 已提交
1703
		 */
1704
		ret = -EINPROGRESS;
K
Kent Overstreet 已提交
1705
	}
L
Linus Torvalds 已提交
1706

K
Kent Overstreet 已提交
1707
	percpu_ref_put(&ctx->users);
L
Linus Torvalds 已提交
1708 1709 1710 1711 1712 1713

	return ret;
}

/* io_getevents:
 *	Attempts to read at least min_nr events and up to nr events from
1714 1715 1716 1717 1718 1719 1720 1721
 *	the completion queue for the aio_context specified by ctx_id. If
 *	it succeeds, the number of read events is returned. May fail with
 *	-EINVAL if ctx_id is invalid, if min_nr is out of range, if nr is
 *	out of range, if timeout is out of range.  May fail with -EFAULT
 *	if any of the memory specified is invalid.  May return 0 or
 *	< min_nr if the timeout specified by timeout has elapsed
 *	before sufficient events are available, where timeout == NULL
 *	specifies an infinite timeout. Note that the timeout pointed to by
J
Jeff Moyer 已提交
1722
 *	timeout is relative.  Will fail with -ENOSYS if not implemented.
L
Linus Torvalds 已提交
1723
 */
1724 1725 1726 1727 1728
SYSCALL_DEFINE5(io_getevents, aio_context_t, ctx_id,
		long, min_nr,
		long, nr,
		struct io_event __user *, events,
		struct timespec __user *, timeout)
L
Linus Torvalds 已提交
1729 1730 1731 1732 1733
{
	struct kioctx *ioctx = lookup_ioctx(ctx_id);
	long ret = -EINVAL;

	if (likely(ioctx)) {
N
Namhyung Kim 已提交
1734
		if (likely(min_nr <= nr && min_nr >= 0))
L
Linus Torvalds 已提交
1735
			ret = read_events(ioctx, min_nr, nr, events, timeout);
K
Kent Overstreet 已提交
1736
		percpu_ref_put(&ioctx->users);
L
Linus Torvalds 已提交
1737 1738 1739
	}
	return ret;
}