blob: 6138d2b5cdebe9814bf1c041a4f9f4f972c73161 [file] [log] [blame]
Davide Libenzie1ad7462007-05-10 22:23:19 -07001/*
2 * fs/eventfd.c
3 *
4 * Copyright (C) 2007 Davide Libenzi <davidel@xmailserver.org>
5 *
6 */
7
8#include <linux/file.h>
9#include <linux/poll.h>
10#include <linux/init.h>
11#include <linux/fs.h>
Ingo Molnar174cd4b2017-02-02 19:15:33 +010012#include <linux/sched/signal.h>
Davide Libenzie1ad7462007-05-10 22:23:19 -070013#include <linux/kernel.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090014#include <linux/slab.h>
Davide Libenzie1ad7462007-05-10 22:23:19 -070015#include <linux/list.h>
16#include <linux/spinlock.h>
17#include <linux/anon_inodes.h>
Adrian Bunk7747cdb2008-02-06 01:36:49 -080018#include <linux/syscalls.h>
Paul Gortmaker630d9c42011-11-16 23:57:37 -050019#include <linux/export.h>
Davide Libenzi13389012009-06-30 11:41:11 -070020#include <linux/kref.h>
21#include <linux/eventfd.h>
Cyrill Gorcunovcbac5542012-12-17 16:04:57 -080022#include <linux/proc_fs.h>
23#include <linux/seq_file.h>
Davide Libenzie1ad7462007-05-10 22:23:19 -070024
25struct eventfd_ctx {
Davide Libenzi13389012009-06-30 11:41:11 -070026 struct kref kref;
Davide Libenzie1ad7462007-05-10 22:23:19 -070027 wait_queue_head_t wqh;
28 /*
29 * Every time that a write(2) is performed on an eventfd, the
30 * value of the __u64 being written is added to "count" and a
31 * wakeup is performed on "wqh". A read(2) will return the "count"
32 * value to userspace, and will reset "count" to zero. The kernel
Davide Libenzi13389012009-06-30 11:41:11 -070033 * side eventfd_signal() also, adds to the "count" counter and
Davide Libenzie1ad7462007-05-10 22:23:19 -070034 * issue a wakeup.
35 */
36 __u64 count;
Davide Libenzibcd0b232009-03-31 15:24:18 -070037 unsigned int flags;
Davide Libenzie1ad7462007-05-10 22:23:19 -070038};
39
Davide Libenzi13389012009-06-30 11:41:11 -070040/**
41 * eventfd_signal - Adds @n to the eventfd counter.
42 * @ctx: [in] Pointer to the eventfd context.
43 * @n: [in] Value of the counter to be added to the eventfd internal counter.
44 * The value cannot be negative.
45 *
46 * This function is supposed to be called by the kernel in paths that do not
47 * allow sleeping. In this function we allow the counter to reach the ULLONG_MAX
Masanari Iida20d5a862015-09-22 12:04:17 +090048 * value, and we signal this as overflow condition by returning a POLLERR
Davide Libenzi13389012009-06-30 11:41:11 -070049 * to poll(2).
50 *
Masanari Iida20d5a862015-09-22 12:04:17 +090051 * Returns the amount by which the counter was incremented. This will be less
Sha Zhengjuee62c6b2012-05-31 16:26:41 -070052 * than @n if the counter has overflowed.
Davide Libenzie1ad7462007-05-10 22:23:19 -070053 */
Sha Zhengjuee62c6b2012-05-31 16:26:41 -070054__u64 eventfd_signal(struct eventfd_ctx *ctx, __u64 n)
Davide Libenzie1ad7462007-05-10 22:23:19 -070055{
Davide Libenzie1ad7462007-05-10 22:23:19 -070056 unsigned long flags;
57
Davide Libenzid48eb232007-05-18 12:02:33 -070058 spin_lock_irqsave(&ctx->wqh.lock, flags);
Davide Libenzie1ad7462007-05-10 22:23:19 -070059 if (ULLONG_MAX - ctx->count < n)
Sha Zhengjuee62c6b2012-05-31 16:26:41 -070060 n = ULLONG_MAX - ctx->count;
Davide Libenzie1ad7462007-05-10 22:23:19 -070061 ctx->count += n;
62 if (waitqueue_active(&ctx->wqh))
Davide Libenzi39510882009-03-31 15:24:23 -070063 wake_up_locked_poll(&ctx->wqh, POLLIN);
Davide Libenzid48eb232007-05-18 12:02:33 -070064 spin_unlock_irqrestore(&ctx->wqh.lock, flags);
Davide Libenzie1ad7462007-05-10 22:23:19 -070065
66 return n;
67}
Rusty Russell57186072009-06-12 22:27:09 -060068EXPORT_SYMBOL_GPL(eventfd_signal);
Davide Libenzie1ad7462007-05-10 22:23:19 -070069
Davide Libenzi562787a2009-09-22 16:43:57 -070070static void eventfd_free_ctx(struct eventfd_ctx *ctx)
71{
72 kfree(ctx);
73}
74
Davide Libenzi13389012009-06-30 11:41:11 -070075static void eventfd_free(struct kref *kref)
76{
77 struct eventfd_ctx *ctx = container_of(kref, struct eventfd_ctx, kref);
78
Davide Libenzi562787a2009-09-22 16:43:57 -070079 eventfd_free_ctx(ctx);
Davide Libenzi13389012009-06-30 11:41:11 -070080}
81
82/**
83 * eventfd_ctx_get - Acquires a reference to the internal eventfd context.
84 * @ctx: [in] Pointer to the eventfd context.
85 *
86 * Returns: In case of success, returns a pointer to the eventfd context.
87 */
88struct eventfd_ctx *eventfd_ctx_get(struct eventfd_ctx *ctx)
89{
90 kref_get(&ctx->kref);
91 return ctx;
92}
93EXPORT_SYMBOL_GPL(eventfd_ctx_get);
94
95/**
96 * eventfd_ctx_put - Releases a reference to the internal eventfd context.
97 * @ctx: [in] Pointer to eventfd context.
98 *
99 * The eventfd context reference must have been previously acquired either
Randy Dunlap36182182011-02-20 20:08:35 -0800100 * with eventfd_ctx_get() or eventfd_ctx_fdget().
Davide Libenzi13389012009-06-30 11:41:11 -0700101 */
102void eventfd_ctx_put(struct eventfd_ctx *ctx)
103{
104 kref_put(&ctx->kref, eventfd_free);
105}
106EXPORT_SYMBOL_GPL(eventfd_ctx_put);
107
Davide Libenzie1ad7462007-05-10 22:23:19 -0700108static int eventfd_release(struct inode *inode, struct file *file)
109{
Davide Libenzi13389012009-06-30 11:41:11 -0700110 struct eventfd_ctx *ctx = file->private_data;
111
112 wake_up_poll(&ctx->wqh, POLLHUP);
113 eventfd_ctx_put(ctx);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700114 return 0;
115}
116
117static unsigned int eventfd_poll(struct file *file, poll_table *wait)
118{
119 struct eventfd_ctx *ctx = file->private_data;
120 unsigned int events = 0;
Chris Masone22553e2015-02-17 13:46:07 -0800121 u64 count;
Davide Libenzie1ad7462007-05-10 22:23:19 -0700122
123 poll_wait(file, &ctx->wqh, wait);
Paolo Bonzinia484c3d2016-03-22 14:27:14 -0700124
125 /*
126 * All writes to ctx->count occur within ctx->wqh.lock. This read
127 * can be done outside ctx->wqh.lock because we know that poll_wait
128 * takes that lock (through add_wait_queue) if our caller will sleep.
129 *
130 * The read _can_ therefore seep into add_wait_queue's critical
131 * section, but cannot move above it! add_wait_queue's spin_lock acts
132 * as an acquire barrier and ensures that the read be ordered properly
133 * against the writes. The following CAN happen and is safe:
134 *
135 * poll write
136 * ----------------- ------------
137 * lock ctx->wqh.lock (in poll_wait)
138 * count = ctx->count
139 * __add_wait_queue
140 * unlock ctx->wqh.lock
141 * lock ctx->qwh.lock
142 * ctx->count += n
143 * if (waitqueue_active)
144 * wake_up_locked_poll
145 * unlock ctx->qwh.lock
146 * eventfd_poll returns 0
147 *
148 * but the following, which would miss a wakeup, cannot happen:
149 *
150 * poll write
151 * ----------------- ------------
152 * count = ctx->count (INVALID!)
153 * lock ctx->qwh.lock
154 * ctx->count += n
155 * **waitqueue_active is false**
156 * **no wake_up_locked_poll!**
157 * unlock ctx->qwh.lock
158 * lock ctx->wqh.lock (in poll_wait)
159 * __add_wait_queue
160 * unlock ctx->wqh.lock
161 * eventfd_poll returns 0
162 */
163 count = READ_ONCE(ctx->count);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700164
Chris Masone22553e2015-02-17 13:46:07 -0800165 if (count > 0)
Davide Libenzie1ad7462007-05-10 22:23:19 -0700166 events |= POLLIN;
Chris Masone22553e2015-02-17 13:46:07 -0800167 if (count == ULLONG_MAX)
Davide Libenzie1ad7462007-05-10 22:23:19 -0700168 events |= POLLERR;
Chris Masone22553e2015-02-17 13:46:07 -0800169 if (ULLONG_MAX - 1 > count)
Davide Libenzie1ad7462007-05-10 22:23:19 -0700170 events |= POLLOUT;
Davide Libenzie1ad7462007-05-10 22:23:19 -0700171
172 return events;
173}
174
Davide Libenzicb289d62010-01-13 09:34:36 -0800175static void eventfd_ctx_do_read(struct eventfd_ctx *ctx, __u64 *cnt)
Davide Libenzie1ad7462007-05-10 22:23:19 -0700176{
Davide Libenzicb289d62010-01-13 09:34:36 -0800177 *cnt = (ctx->flags & EFD_SEMAPHORE) ? 1 : ctx->count;
178 ctx->count -= *cnt;
179}
180
181/**
182 * eventfd_ctx_remove_wait_queue - Read the current counter and removes wait queue.
183 * @ctx: [in] Pointer to eventfd context.
184 * @wait: [in] Wait queue to be removed.
Randy Dunlap36182182011-02-20 20:08:35 -0800185 * @cnt: [out] Pointer to the 64-bit counter value.
Davide Libenzicb289d62010-01-13 09:34:36 -0800186 *
Randy Dunlap36182182011-02-20 20:08:35 -0800187 * Returns %0 if successful, or the following error codes:
Davide Libenzicb289d62010-01-13 09:34:36 -0800188 *
189 * -EAGAIN : The operation would have blocked.
190 *
191 * This is used to atomically remove a wait queue entry from the eventfd wait
192 * queue head, and read/reset the counter value.
193 */
Ingo Molnarac6424b2017-06-20 12:06:13 +0200194int eventfd_ctx_remove_wait_queue(struct eventfd_ctx *ctx, wait_queue_entry_t *wait,
Davide Libenzicb289d62010-01-13 09:34:36 -0800195 __u64 *cnt)
196{
197 unsigned long flags;
198
199 spin_lock_irqsave(&ctx->wqh.lock, flags);
200 eventfd_ctx_do_read(ctx, cnt);
201 __remove_wait_queue(&ctx->wqh, wait);
202 if (*cnt != 0 && waitqueue_active(&ctx->wqh))
203 wake_up_locked_poll(&ctx->wqh, POLLOUT);
204 spin_unlock_irqrestore(&ctx->wqh.lock, flags);
205
206 return *cnt != 0 ? 0 : -EAGAIN;
207}
208EXPORT_SYMBOL_GPL(eventfd_ctx_remove_wait_queue);
209
Eric Biggersb6364572018-01-06 09:45:43 -0800210static ssize_t eventfd_read(struct file *file, char __user *buf, size_t count,
211 loff_t *ppos)
Davide Libenzicb289d62010-01-13 09:34:36 -0800212{
Eric Biggersb6364572018-01-06 09:45:43 -0800213 struct eventfd_ctx *ctx = file->private_data;
Davide Libenzie1ad7462007-05-10 22:23:19 -0700214 ssize_t res;
Eric Biggersb6364572018-01-06 09:45:43 -0800215 __u64 ucnt = 0;
Davide Libenzie1ad7462007-05-10 22:23:19 -0700216 DECLARE_WAITQUEUE(wait, current);
217
Eric Biggersb6364572018-01-06 09:45:43 -0800218 if (count < sizeof(ucnt))
219 return -EINVAL;
220
Davide Libenzid48eb232007-05-18 12:02:33 -0700221 spin_lock_irq(&ctx->wqh.lock);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700222 res = -EAGAIN;
Davide Libenzibcd0b232009-03-31 15:24:18 -0700223 if (ctx->count > 0)
Eric Biggersb6364572018-01-06 09:45:43 -0800224 res = sizeof(ucnt);
225 else if (!(file->f_flags & O_NONBLOCK)) {
Davide Libenzie1ad7462007-05-10 22:23:19 -0700226 __add_wait_queue(&ctx->wqh, &wait);
Davide Libenzicb289d62010-01-13 09:34:36 -0800227 for (;;) {
Davide Libenzie1ad7462007-05-10 22:23:19 -0700228 set_current_state(TASK_INTERRUPTIBLE);
229 if (ctx->count > 0) {
Eric Biggersb6364572018-01-06 09:45:43 -0800230 res = sizeof(ucnt);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700231 break;
232 }
233 if (signal_pending(current)) {
234 res = -ERESTARTSYS;
235 break;
236 }
Davide Libenzid48eb232007-05-18 12:02:33 -0700237 spin_unlock_irq(&ctx->wqh.lock);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700238 schedule();
Davide Libenzid48eb232007-05-18 12:02:33 -0700239 spin_lock_irq(&ctx->wqh.lock);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700240 }
241 __remove_wait_queue(&ctx->wqh, &wait);
242 __set_current_state(TASK_RUNNING);
243 }
Eric Biggersb6364572018-01-06 09:45:43 -0800244 if (likely(res > 0)) {
245 eventfd_ctx_do_read(ctx, &ucnt);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700246 if (waitqueue_active(&ctx->wqh))
Davide Libenzi39510882009-03-31 15:24:23 -0700247 wake_up_locked_poll(&ctx->wqh, POLLOUT);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700248 }
Davide Libenzid48eb232007-05-18 12:02:33 -0700249 spin_unlock_irq(&ctx->wqh.lock);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700250
Eric Biggersb6364572018-01-06 09:45:43 -0800251 if (res > 0 && put_user(ucnt, (__u64 __user *)buf))
252 return -EFAULT;
253
Davide Libenzie1ad7462007-05-10 22:23:19 -0700254 return res;
255}
256
257static ssize_t eventfd_write(struct file *file, const char __user *buf, size_t count,
258 loff_t *ppos)
259{
260 struct eventfd_ctx *ctx = file->private_data;
261 ssize_t res;
262 __u64 ucnt;
263 DECLARE_WAITQUEUE(wait, current);
264
265 if (count < sizeof(ucnt))
266 return -EINVAL;
267 if (copy_from_user(&ucnt, buf, sizeof(ucnt)))
268 return -EFAULT;
269 if (ucnt == ULLONG_MAX)
270 return -EINVAL;
Davide Libenzid48eb232007-05-18 12:02:33 -0700271 spin_lock_irq(&ctx->wqh.lock);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700272 res = -EAGAIN;
273 if (ULLONG_MAX - ctx->count > ucnt)
274 res = sizeof(ucnt);
275 else if (!(file->f_flags & O_NONBLOCK)) {
276 __add_wait_queue(&ctx->wqh, &wait);
277 for (res = 0;;) {
278 set_current_state(TASK_INTERRUPTIBLE);
279 if (ULLONG_MAX - ctx->count > ucnt) {
280 res = sizeof(ucnt);
281 break;
282 }
283 if (signal_pending(current)) {
284 res = -ERESTARTSYS;
285 break;
286 }
Davide Libenzid48eb232007-05-18 12:02:33 -0700287 spin_unlock_irq(&ctx->wqh.lock);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700288 schedule();
Davide Libenzid48eb232007-05-18 12:02:33 -0700289 spin_lock_irq(&ctx->wqh.lock);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700290 }
291 __remove_wait_queue(&ctx->wqh, &wait);
292 __set_current_state(TASK_RUNNING);
293 }
Davide Libenzibcd0b232009-03-31 15:24:18 -0700294 if (likely(res > 0)) {
Davide Libenzie1ad7462007-05-10 22:23:19 -0700295 ctx->count += ucnt;
296 if (waitqueue_active(&ctx->wqh))
Davide Libenzi39510882009-03-31 15:24:23 -0700297 wake_up_locked_poll(&ctx->wqh, POLLIN);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700298 }
Davide Libenzid48eb232007-05-18 12:02:33 -0700299 spin_unlock_irq(&ctx->wqh.lock);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700300
301 return res;
302}
303
Cyrill Gorcunovcbac5542012-12-17 16:04:57 -0800304#ifdef CONFIG_PROC_FS
Joe Perchesa3816ab2014-09-29 16:08:25 -0700305static void eventfd_show_fdinfo(struct seq_file *m, struct file *f)
Cyrill Gorcunovcbac5542012-12-17 16:04:57 -0800306{
307 struct eventfd_ctx *ctx = f->private_data;
Cyrill Gorcunovcbac5542012-12-17 16:04:57 -0800308
309 spin_lock_irq(&ctx->wqh.lock);
Joe Perchesa3816ab2014-09-29 16:08:25 -0700310 seq_printf(m, "eventfd-count: %16llx\n",
311 (unsigned long long)ctx->count);
Cyrill Gorcunovcbac5542012-12-17 16:04:57 -0800312 spin_unlock_irq(&ctx->wqh.lock);
Cyrill Gorcunovcbac5542012-12-17 16:04:57 -0800313}
314#endif
315
Davide Libenzie1ad7462007-05-10 22:23:19 -0700316static const struct file_operations eventfd_fops = {
Cyrill Gorcunovcbac5542012-12-17 16:04:57 -0800317#ifdef CONFIG_PROC_FS
318 .show_fdinfo = eventfd_show_fdinfo,
319#endif
Davide Libenzie1ad7462007-05-10 22:23:19 -0700320 .release = eventfd_release,
321 .poll = eventfd_poll,
322 .read = eventfd_read,
323 .write = eventfd_write,
Arnd Bergmann6038f372010-08-15 18:52:59 +0200324 .llseek = noop_llseek,
Davide Libenzie1ad7462007-05-10 22:23:19 -0700325};
326
Davide Libenzi13389012009-06-30 11:41:11 -0700327/**
328 * eventfd_fget - Acquire a reference of an eventfd file descriptor.
329 * @fd: [in] Eventfd file descriptor.
330 *
331 * Returns a pointer to the eventfd file structure in case of success, or the
332 * following error pointer:
333 *
334 * -EBADF : Invalid @fd file descriptor.
335 * -EINVAL : The @fd file descriptor is not an eventfd file.
336 */
Davide Libenzie1ad7462007-05-10 22:23:19 -0700337struct file *eventfd_fget(int fd)
338{
339 struct file *file;
340
341 file = fget(fd);
342 if (!file)
343 return ERR_PTR(-EBADF);
344 if (file->f_op != &eventfd_fops) {
345 fput(file);
346 return ERR_PTR(-EINVAL);
347 }
348
349 return file;
350}
Rusty Russell57186072009-06-12 22:27:09 -0600351EXPORT_SYMBOL_GPL(eventfd_fget);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700352
Davide Libenzi13389012009-06-30 11:41:11 -0700353/**
354 * eventfd_ctx_fdget - Acquires a reference to the internal eventfd context.
355 * @fd: [in] Eventfd file descriptor.
356 *
357 * Returns a pointer to the internal eventfd context, otherwise the error
358 * pointers returned by the following functions:
359 *
360 * eventfd_fget
361 */
362struct eventfd_ctx *eventfd_ctx_fdget(int fd)
363{
Davide Libenzi13389012009-06-30 11:41:11 -0700364 struct eventfd_ctx *ctx;
Al Viro36a74112013-12-23 16:51:33 -0500365 struct fd f = fdget(fd);
366 if (!f.file)
367 return ERR_PTR(-EBADF);
368 ctx = eventfd_ctx_fileget(f.file);
369 fdput(f);
Davide Libenzi13389012009-06-30 11:41:11 -0700370 return ctx;
371}
372EXPORT_SYMBOL_GPL(eventfd_ctx_fdget);
373
374/**
375 * eventfd_ctx_fileget - Acquires a reference to the internal eventfd context.
376 * @file: [in] Eventfd file pointer.
377 *
378 * Returns a pointer to the internal eventfd context, otherwise the error
379 * pointer:
380 *
381 * -EINVAL : The @fd file descriptor is not an eventfd file.
382 */
383struct eventfd_ctx *eventfd_ctx_fileget(struct file *file)
384{
385 if (file->f_op != &eventfd_fops)
386 return ERR_PTR(-EINVAL);
387
388 return eventfd_ctx_get(file->private_data);
389}
390EXPORT_SYMBOL_GPL(eventfd_ctx_fileget);
391
Eric Biggers7d815162018-01-06 09:45:42 -0800392SYSCALL_DEFINE2(eventfd2, unsigned int, count, int, flags)
Davide Libenzie1ad7462007-05-10 22:23:19 -0700393{
Davide Libenzie1ad7462007-05-10 22:23:19 -0700394 struct eventfd_ctx *ctx;
Eric Biggers7d815162018-01-06 09:45:42 -0800395 int fd;
Davide Libenzie1ad7462007-05-10 22:23:19 -0700396
Ulrich Dreppere38b36f2008-07-23 21:29:42 -0700397 /* Check the EFD_* constants for consistency. */
398 BUILD_BUG_ON(EFD_CLOEXEC != O_CLOEXEC);
399 BUILD_BUG_ON(EFD_NONBLOCK != O_NONBLOCK);
400
Davide Libenzibcd0b232009-03-31 15:24:18 -0700401 if (flags & ~EFD_FLAGS_SET)
Eric Biggers7d815162018-01-06 09:45:42 -0800402 return -EINVAL;
Ulrich Drepperb087498e2008-07-23 21:29:25 -0700403
Davide Libenzie1ad7462007-05-10 22:23:19 -0700404 ctx = kmalloc(sizeof(*ctx), GFP_KERNEL);
405 if (!ctx)
Eric Biggers7d815162018-01-06 09:45:42 -0800406 return -ENOMEM;
Davide Libenzie1ad7462007-05-10 22:23:19 -0700407
Davide Libenzi13389012009-06-30 11:41:11 -0700408 kref_init(&ctx->kref);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700409 init_waitqueue_head(&ctx->wqh);
Davide Libenzie1ad7462007-05-10 22:23:19 -0700410 ctx->count = count;
Davide Libenzibcd0b232009-03-31 15:24:18 -0700411 ctx->flags = flags;
Davide Libenzie1ad7462007-05-10 22:23:19 -0700412
Eric Biggers7d815162018-01-06 09:45:42 -0800413 fd = anon_inode_getfd("[eventfd]", &eventfd_fops, ctx,
414 O_RDWR | (flags & EFD_SHARED_FCNTL_FLAGS));
415 if (fd < 0)
Davide Libenzi562787a2009-09-22 16:43:57 -0700416 eventfd_free_ctx(ctx);
417
Al Viro2030a422008-02-23 06:46:49 -0500418 return fd;
Davide Libenzie1ad7462007-05-10 22:23:19 -0700419}
420
Heiko Carstensd4e82042009-01-14 14:14:34 +0100421SYSCALL_DEFINE1(eventfd, unsigned int, count)
Ulrich Drepperb087498e2008-07-23 21:29:25 -0700422{
423 return sys_eventfd2(count, 0);
424}
Davide Libenzibcd0b232009-03-31 15:24:18 -0700425