blob: 089c34d0732cf225d90a42abce10cfa8061c738a [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * POSIX message queues filesystem for Linux.
3 *
4 * Copyright (C) 2003,2004 Krzysztof Benedyczak (golbi@mat.uni.torun.pl)
Michal Wronskif66e9282006-10-03 23:23:27 +02005 * Michal Wronski (michal.wronski@gmail.com)
Linus Torvalds1da177e2005-04-16 15:20:36 -07006 *
7 * Spinlocks: Mohamed Abbas (abbas.mohamed@intel.com)
8 * Lockless receive & send, fd based notify:
Manfred Spraul239521f2014-01-27 17:07:04 -08009 * Manfred Spraul (manfred@colorfullife.com)
Linus Torvalds1da177e2005-04-16 15:20:36 -070010 *
George C. Wilson20ca73b2006-05-24 16:09:55 -050011 * Audit: George Wilson (ltcgcw@us.ibm.com)
12 *
Linus Torvalds1da177e2005-04-16 15:20:36 -070013 * This file is released under the GPL.
14 */
15
Randy.Dunlapc59ede72006-01-11 12:17:46 -080016#include <linux/capability.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070017#include <linux/init.h>
18#include <linux/pagemap.h>
19#include <linux/file.h>
20#include <linux/mount.h>
David Howells935c69122018-11-01 23:07:25 +000021#include <linux/fs_context.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070022#include <linux/namei.h>
23#include <linux/sysctl.h>
24#include <linux/poll.h>
25#include <linux/mqueue.h>
26#include <linux/msg.h>
27#include <linux/skbuff.h>
Doug Ledford5b5c4d12012-05-31 16:26:30 -070028#include <linux/vmalloc.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070029#include <linux/netlink.h>
30#include <linux/syscalls.h>
George C. Wilson20ca73b2006-05-24 16:09:55 -050031#include <linux/audit.h>
Jesper Juhl7ed20e12005-05-01 08:59:14 -070032#include <linux/signal.h>
Ingo Molnar5f921ae2006-03-26 01:37:17 -080033#include <linux/mutex.h>
Pavel Emelyanovb4888932007-10-18 23:40:14 -070034#include <linux/nsproxy.h>
35#include <linux/pid.h>
Serge E. Hallyn614b84c2009-04-06 19:01:08 -070036#include <linux/ipc_namespace.h>
Serge E. Hallyn6b550f92012-01-10 15:11:37 -080037#include <linux/user_namespace.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090038#include <linux/slab.h>
Ingo Molnar84f001e2017-02-01 16:36:40 +010039#include <linux/sched/wake_q.h>
Ingo Molnar3f07c012017-02-08 18:51:30 +010040#include <linux/sched/signal.h>
Ingo Molnar8703e8a2017-02-08 18:51:30 +010041#include <linux/sched/user.h>
Ingo Molnar5f921ae2006-03-26 01:37:17 -080042
Linus Torvalds1da177e2005-04-16 15:20:36 -070043#include <net/sock.h>
44#include "util.h"
45
David Howells935c69122018-11-01 23:07:25 +000046struct mqueue_fs_context {
47 struct ipc_namespace *ipc_ns;
Waiman Long6df8af62022-05-09 18:29:21 -070048 bool newns; /* Set if newly created ipc namespace */
David Howells935c69122018-11-01 23:07:25 +000049};
50
Linus Torvalds1da177e2005-04-16 15:20:36 -070051#define MQUEUE_MAGIC 0x19800202
52#define DIRENT_SIZE 20
53#define FILENT_SIZE 80
54
55#define SEND 0
56#define RECV 1
57
58#define STATE_NONE 0
Davidlohr Buesofa6004a2015-05-04 07:02:46 -070059#define STATE_READY 1
Linus Torvalds1da177e2005-04-16 15:20:36 -070060
Doug Ledfordd6629852012-05-31 16:26:35 -070061struct posix_msg_tree_node {
62 struct rb_node rb_node;
63 struct list_head msg_list;
64 int priority;
65};
66
Manfred Spraulc5b2cbd2020-02-03 17:34:36 -080067/*
68 * Locking:
69 *
70 * Accesses to a message queue are synchronized by acquiring info->lock.
71 *
72 * There are two notable exceptions:
73 * - The actual wakeup of a sleeping task is performed using the wake_q
74 * framework. info->lock is already released when wake_up_q is called.
75 * - The exit codepaths after sleeping check ext_wait_queue->state without
76 * any locks. If it is STATE_READY, then the syscall is completed without
77 * acquiring info->lock.
78 *
79 * MQ_BARRIER:
80 * To achieve proper release/acquire memory barrier pairing, the state is set to
81 * STATE_READY with smp_store_release(), and it is read with READ_ONCE followed
82 * by smp_acquire__after_ctrl_dep(). In addition, wake_q_add_safe() is used.
83 *
84 * This prevents the following races:
85 *
86 * 1) With the simple wake_q_add(), the task could be gone already before
87 * the increase of the reference happens
88 * Thread A
89 * Thread B
90 * WRITE_ONCE(wait.state, STATE_NONE);
91 * schedule_hrtimeout()
92 * wake_q_add(A)
93 * if (cmpxchg()) // success
94 * ->state = STATE_READY (reordered)
95 * <timeout returns>
96 * if (wait.state == STATE_READY) return;
97 * sysret to user space
98 * sys_exit()
99 * get_task_struct() // UaF
100 *
101 * Solution: Use wake_q_add_safe() and perform the get_task_struct() before
102 * the smp_store_release() that does ->state = STATE_READY.
103 *
104 * 2) Without proper _release/_acquire barriers, the woken up task
105 * could read stale data
106 *
107 * Thread A
108 * Thread B
109 * do_mq_timedreceive
110 * WRITE_ONCE(wait.state, STATE_NONE);
111 * schedule_hrtimeout()
112 * state = STATE_READY;
113 * <timeout returns>
114 * if (wait.state == STATE_READY) return;
115 * msg_ptr = wait.msg; // Access to stale data!
116 * receiver->msg = message; (reordered)
117 *
118 * Solution: use _release and _acquire barriers.
119 *
120 * 3) There is intentionally no barrier when setting current->state
121 * to TASK_INTERRUPTIBLE: spin_unlock(&info->lock) provides the
122 * release memory barrier, and the wakeup is triggered when holding
123 * info->lock, i.e. spin_lock(&info->lock) provided a pairing
124 * acquire memory barrier.
125 */
126
Linus Torvalds1da177e2005-04-16 15:20:36 -0700127struct ext_wait_queue { /* queue of sleeping tasks */
128 struct task_struct *task;
129 struct list_head list;
130 struct msg_msg *msg; /* ptr of loaded message */
131 int state; /* one of STATE_* values */
132};
133
134struct mqueue_inode_info {
135 spinlock_t lock;
136 struct inode vfs_inode;
137 wait_queue_head_t wait_q;
138
Doug Ledfordd6629852012-05-31 16:26:35 -0700139 struct rb_root msg_tree;
Davidlohr Buesoa5091fd2019-05-14 15:46:26 -0700140 struct rb_node *msg_tree_rightmost;
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700141 struct posix_msg_tree_node *node_cache;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700142 struct mq_attr attr;
143
144 struct sigevent notify;
Manfred Spraul239521f2014-01-27 17:07:04 -0800145 struct pid *notify_owner;
Oleg Nesterovb5f20062020-05-07 18:35:39 -0700146 u32 notify_self_exec_id;
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800147 struct user_namespace *notify_user_ns;
Alexey Gladkov6e52a9f2021-04-22 14:27:12 +0200148 struct ucounts *ucounts; /* user who created, for accounting */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700149 struct sock *notify_sock;
150 struct sk_buff *notify_cookie;
151
152 /* for tasks waiting for free space and messages, respectively */
153 struct ext_wait_queue e_wait_q[2];
154
155 unsigned long qsize; /* size of queue in memory (sum of all msgs) */
156};
157
David Howells935c69122018-11-01 23:07:25 +0000158static struct file_system_type mqueue_fs_type;
Arjan van de Ven92e1d5b2007-02-12 00:55:39 -0800159static const struct inode_operations mqueue_dir_inode_operations;
Arjan van de Ven9a321442007-02-12 00:55:35 -0800160static const struct file_operations mqueue_file_operations;
Alexey Dobriyanb87221d2009-09-21 17:01:09 -0700161static const struct super_operations mqueue_super_ops;
David Howells935c69122018-11-01 23:07:25 +0000162static const struct fs_context_operations mqueue_fs_context_ops;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700163static void remove_notification(struct mqueue_inode_info *info);
164
Christoph Lametere18b8902006-12-06 20:33:20 -0800165static struct kmem_cache *mqueue_inode_cachep;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700166
Manfred Spraul239521f2014-01-27 17:07:04 -0800167static struct ctl_table_header *mq_sysctl_table;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700168
169static inline struct mqueue_inode_info *MQUEUE_I(struct inode *inode)
170{
171 return container_of(inode, struct mqueue_inode_info, vfs_inode);
172}
173
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700174/*
175 * This routine should be called with the mq_lock held.
176 */
177static inline struct ipc_namespace *__get_ns_from_inode(struct inode *inode)
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700178{
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700179 return get_ipc_ns(inode->i_sb->s_fs_info);
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700180}
181
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700182static struct ipc_namespace *get_ns_from_inode(struct inode *inode)
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700183{
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700184 struct ipc_namespace *ns;
185
186 spin_lock(&mq_lock);
187 ns = __get_ns_from_inode(inode);
188 spin_unlock(&mq_lock);
189 return ns;
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700190}
191
Doug Ledfordd6629852012-05-31 16:26:35 -0700192/* Auxiliary functions to manipulate messages' list */
193static int msg_insert(struct msg_msg *msg, struct mqueue_inode_info *info)
194{
195 struct rb_node **p, *parent = NULL;
196 struct posix_msg_tree_node *leaf;
Davidlohr Buesoa5091fd2019-05-14 15:46:26 -0700197 bool rightmost = true;
Doug Ledfordd6629852012-05-31 16:26:35 -0700198
199 p = &info->msg_tree.rb_node;
200 while (*p) {
201 parent = *p;
202 leaf = rb_entry(parent, struct posix_msg_tree_node, rb_node);
203
204 if (likely(leaf->priority == msg->m_type))
205 goto insert_msg;
Davidlohr Buesoa5091fd2019-05-14 15:46:26 -0700206 else if (msg->m_type < leaf->priority) {
Doug Ledfordd6629852012-05-31 16:26:35 -0700207 p = &(*p)->rb_left;
Davidlohr Buesoa5091fd2019-05-14 15:46:26 -0700208 rightmost = false;
209 } else
Doug Ledfordd6629852012-05-31 16:26:35 -0700210 p = &(*p)->rb_right;
211 }
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700212 if (info->node_cache) {
213 leaf = info->node_cache;
214 info->node_cache = NULL;
215 } else {
216 leaf = kmalloc(sizeof(*leaf), GFP_ATOMIC);
217 if (!leaf)
218 return -ENOMEM;
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700219 INIT_LIST_HEAD(&leaf->msg_list);
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700220 }
Doug Ledfordd6629852012-05-31 16:26:35 -0700221 leaf->priority = msg->m_type;
Davidlohr Buesoa5091fd2019-05-14 15:46:26 -0700222
223 if (rightmost)
224 info->msg_tree_rightmost = &leaf->rb_node;
225
Doug Ledfordd6629852012-05-31 16:26:35 -0700226 rb_link_node(&leaf->rb_node, parent, p);
227 rb_insert_color(&leaf->rb_node, &info->msg_tree);
Doug Ledfordd6629852012-05-31 16:26:35 -0700228insert_msg:
229 info->attr.mq_curmsgs++;
230 info->qsize += msg->m_ts;
231 list_add_tail(&msg->m_list, &leaf->msg_list);
232 return 0;
233}
234
Davidlohr Buesoa5091fd2019-05-14 15:46:26 -0700235static inline void msg_tree_erase(struct posix_msg_tree_node *leaf,
236 struct mqueue_inode_info *info)
237{
238 struct rb_node *node = &leaf->rb_node;
239
240 if (info->msg_tree_rightmost == node)
241 info->msg_tree_rightmost = rb_prev(node);
242
243 rb_erase(node, &info->msg_tree);
Somala Swaraj43afe4d2020-04-06 20:12:53 -0700244 if (info->node_cache)
Davidlohr Buesoa5091fd2019-05-14 15:46:26 -0700245 kfree(leaf);
Somala Swaraj43afe4d2020-04-06 20:12:53 -0700246 else
Davidlohr Buesoa5091fd2019-05-14 15:46:26 -0700247 info->node_cache = leaf;
Davidlohr Buesoa5091fd2019-05-14 15:46:26 -0700248}
249
Doug Ledfordd6629852012-05-31 16:26:35 -0700250static inline struct msg_msg *msg_get(struct mqueue_inode_info *info)
251{
Davidlohr Buesoa5091fd2019-05-14 15:46:26 -0700252 struct rb_node *parent = NULL;
Doug Ledfordd6629852012-05-31 16:26:35 -0700253 struct posix_msg_tree_node *leaf;
254 struct msg_msg *msg;
255
256try_again:
Davidlohr Buesoa5091fd2019-05-14 15:46:26 -0700257 /*
258 * During insert, low priorities go to the left and high to the
259 * right. On receive, we want the highest priorities first, so
260 * walk all the way to the right.
261 */
262 parent = info->msg_tree_rightmost;
Doug Ledfordd6629852012-05-31 16:26:35 -0700263 if (!parent) {
264 if (info->attr.mq_curmsgs) {
265 pr_warn_once("Inconsistency in POSIX message queue, "
266 "no tree element, but supposedly messages "
267 "should exist!\n");
268 info->attr.mq_curmsgs = 0;
269 }
270 return NULL;
271 }
272 leaf = rb_entry(parent, struct posix_msg_tree_node, rb_node);
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700273 if (unlikely(list_empty(&leaf->msg_list))) {
Doug Ledfordd6629852012-05-31 16:26:35 -0700274 pr_warn_once("Inconsistency in POSIX message queue, "
275 "empty leaf node but we haven't implemented "
276 "lazy leaf delete!\n");
Davidlohr Buesoa5091fd2019-05-14 15:46:26 -0700277 msg_tree_erase(leaf, info);
Doug Ledfordd6629852012-05-31 16:26:35 -0700278 goto try_again;
279 } else {
280 msg = list_first_entry(&leaf->msg_list,
281 struct msg_msg, m_list);
282 list_del(&msg->m_list);
283 if (list_empty(&leaf->msg_list)) {
Davidlohr Buesoa5091fd2019-05-14 15:46:26 -0700284 msg_tree_erase(leaf, info);
Doug Ledfordd6629852012-05-31 16:26:35 -0700285 }
286 }
287 info->attr.mq_curmsgs--;
288 info->qsize -= msg->m_ts;
289 return msg;
290}
291
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700292static struct inode *mqueue_get_inode(struct super_block *sb,
Al Viro1b9d5ff72011-07-24 14:18:20 -0400293 struct ipc_namespace *ipc_ns, umode_t mode,
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700294 struct mq_attr *attr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700295{
296 struct inode *inode;
Jiri Slabyd40dcdb2011-07-26 16:08:47 -0700297 int ret = -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700298
299 inode = new_inode(sb);
Jiri Slaby04715202011-07-26 16:08:46 -0700300 if (!inode)
301 goto err;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700302
Jiri Slaby04715202011-07-26 16:08:46 -0700303 inode->i_ino = get_next_ino();
304 inode->i_mode = mode;
305 inode->i_uid = current_fsuid();
306 inode->i_gid = current_fsgid();
Deepa Dinamani078cd822016-09-14 07:48:04 -0700307 inode->i_mtime = inode->i_ctime = inode->i_atime = current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700308
Jiri Slaby04715202011-07-26 16:08:46 -0700309 if (S_ISREG(mode)) {
310 struct mqueue_inode_info *info;
Doug Ledfordd6629852012-05-31 16:26:35 -0700311 unsigned long mq_bytes, mq_treesize;
André Goddard Rosac8308b12010-02-23 04:04:23 -0300312
Jiri Slaby04715202011-07-26 16:08:46 -0700313 inode->i_fop = &mqueue_file_operations;
314 inode->i_size = FILENT_SIZE;
315 /* mqueue specific info */
316 info = MQUEUE_I(inode);
317 spin_lock_init(&info->lock);
318 init_waitqueue_head(&info->wait_q);
319 INIT_LIST_HEAD(&info->e_wait_q[0].list);
320 INIT_LIST_HEAD(&info->e_wait_q[1].list);
321 info->notify_owner = NULL;
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800322 info->notify_user_ns = NULL;
Jiri Slaby04715202011-07-26 16:08:46 -0700323 info->qsize = 0;
Alexey Gladkov6e52a9f2021-04-22 14:27:12 +0200324 info->ucounts = NULL; /* set when all is ok */
Doug Ledfordd6629852012-05-31 16:26:35 -0700325 info->msg_tree = RB_ROOT;
Davidlohr Buesoa5091fd2019-05-14 15:46:26 -0700326 info->msg_tree_rightmost = NULL;
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700327 info->node_cache = NULL;
Jiri Slaby04715202011-07-26 16:08:46 -0700328 memset(&info->attr, 0, sizeof(info->attr));
KOSAKI Motohirocef01842012-05-31 16:26:33 -0700329 info->attr.mq_maxmsg = min(ipc_ns->mq_msg_max,
330 ipc_ns->mq_msg_default);
331 info->attr.mq_msgsize = min(ipc_ns->mq_msgsize_max,
332 ipc_ns->mq_msgsize_default);
Jiri Slaby04715202011-07-26 16:08:46 -0700333 if (attr) {
334 info->attr.mq_maxmsg = attr->mq_maxmsg;
335 info->attr.mq_msgsize = attr->mq_msgsize;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700336 }
Doug Ledfordd6629852012-05-31 16:26:35 -0700337 /*
338 * We used to allocate a static array of pointers and account
339 * the size of that array as well as one msg_msg struct per
340 * possible message into the queue size. That's no longer
341 * accurate as the queue is now an rbtree and will grow and
342 * shrink depending on usage patterns. We can, however, still
343 * account one msg_msg struct per message, but the nodes are
344 * allocated depending on priority usage, and most programs
345 * only use one, or a handful, of priorities. However, since
346 * this is pinned memory, we need to assume worst case, so
347 * that means the min(mq_maxmsg, max_priorities) * struct
348 * posix_msg_tree_node.
349 */
Al Viro05c1b292017-12-01 17:43:43 -0500350
351 ret = -EINVAL;
352 if (info->attr.mq_maxmsg <= 0 || info->attr.mq_msgsize <= 0)
353 goto out_inode;
354 if (capable(CAP_SYS_RESOURCE)) {
355 if (info->attr.mq_maxmsg > HARD_MSGMAX ||
356 info->attr.mq_msgsize > HARD_MSGSIZEMAX)
357 goto out_inode;
358 } else {
359 if (info->attr.mq_maxmsg > ipc_ns->mq_msg_max ||
360 info->attr.mq_msgsize > ipc_ns->mq_msgsize_max)
361 goto out_inode;
362 }
363 ret = -EOVERFLOW;
364 /* check for overflow */
365 if (info->attr.mq_msgsize > ULONG_MAX/info->attr.mq_maxmsg)
366 goto out_inode;
Doug Ledfordd6629852012-05-31 16:26:35 -0700367 mq_treesize = info->attr.mq_maxmsg * sizeof(struct msg_msg) +
368 min_t(unsigned int, info->attr.mq_maxmsg, MQ_PRIO_MAX) *
369 sizeof(struct posix_msg_tree_node);
Al Viro05c1b292017-12-01 17:43:43 -0500370 mq_bytes = info->attr.mq_maxmsg * info->attr.mq_msgsize;
371 if (mq_bytes + mq_treesize < mq_bytes)
372 goto out_inode;
373 mq_bytes += mq_treesize;
Alexey Gladkov6e52a9f2021-04-22 14:27:12 +0200374 info->ucounts = get_ucounts(current_ucounts());
375 if (info->ucounts) {
376 long msgqueue;
Jiri Slaby04715202011-07-26 16:08:46 -0700377
Alexey Gladkov6e52a9f2021-04-22 14:27:12 +0200378 spin_lock(&mq_lock);
379 msgqueue = inc_rlimit_ucounts(info->ucounts, UCOUNT_RLIMIT_MSGQUEUE, mq_bytes);
380 if (msgqueue == LONG_MAX || msgqueue > rlimit(RLIMIT_MSGQUEUE)) {
381 dec_rlimit_ucounts(info->ucounts, UCOUNT_RLIMIT_MSGQUEUE, mq_bytes);
382 spin_unlock(&mq_lock);
383 put_ucounts(info->ucounts);
384 info->ucounts = NULL;
385 /* mqueue_evict_inode() releases info->messages */
386 ret = -EMFILE;
387 goto out_inode;
388 }
389 spin_unlock(&mq_lock);
390 }
Jiri Slaby04715202011-07-26 16:08:46 -0700391 } else if (S_ISDIR(mode)) {
392 inc_nlink(inode);
393 /* Some things misbehave if size == 0 on a directory */
394 inode->i_size = 2 * DIRENT_SIZE;
395 inode->i_op = &mqueue_dir_inode_operations;
396 inode->i_fop = &simple_dir_operations;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700397 }
Jiri Slaby04715202011-07-26 16:08:46 -0700398
Linus Torvalds1da177e2005-04-16 15:20:36 -0700399 return inode;
400out_inode:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700401 iput(inode);
Jiri Slaby04715202011-07-26 16:08:46 -0700402err:
Jiri Slabyd40dcdb2011-07-26 16:08:47 -0700403 return ERR_PTR(ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700404}
405
David Howells935c69122018-11-01 23:07:25 +0000406static int mqueue_fill_super(struct super_block *sb, struct fs_context *fc)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700407{
408 struct inode *inode;
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -0500409 struct ipc_namespace *ns = sb->s_fs_info;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700410
Eric W. Biedermana2982cc2016-06-09 15:34:02 -0500411 sb->s_iflags |= SB_I_NOEXEC | SB_I_NODEV;
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300412 sb->s_blocksize = PAGE_SIZE;
413 sb->s_blocksize_bits = PAGE_SHIFT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700414 sb->s_magic = MQUEUE_MAGIC;
415 sb->s_op = &mqueue_super_ops;
416
Al Viro48fde702012-01-08 22:15:13 -0500417 inode = mqueue_get_inode(sb, ns, S_IFDIR | S_ISVTX | S_IRWXUGO, NULL);
418 if (IS_ERR(inode))
419 return PTR_ERR(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700420
Al Viro48fde702012-01-08 22:15:13 -0500421 sb->s_root = d_make_root(inode);
422 if (!sb->s_root)
423 return -ENOMEM;
424 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700425}
426
David Howells935c69122018-11-01 23:07:25 +0000427static int mqueue_get_tree(struct fs_context *fc)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700428{
David Howells935c69122018-11-01 23:07:25 +0000429 struct mqueue_fs_context *ctx = fc->fs_private;
430
Waiman Long6df8af62022-05-09 18:29:21 -0700431 /*
432 * With a newly created ipc namespace, we don't need to do a search
433 * for an ipc namespace match, but we still need to set s_fs_info.
434 */
435 if (ctx->newns) {
436 fc->s_fs_info = ctx->ipc_ns;
437 return get_tree_nodev(fc, mqueue_fill_super);
438 }
Al Viro533770c2019-09-03 19:05:48 -0400439 return get_tree_keyed(fc, mqueue_fill_super, ctx->ipc_ns);
David Howells935c69122018-11-01 23:07:25 +0000440}
441
442static void mqueue_fs_context_free(struct fs_context *fc)
443{
444 struct mqueue_fs_context *ctx = fc->fs_private;
445
Al Viro709a6432019-05-12 17:46:05 -0400446 put_ipc_ns(ctx->ipc_ns);
David Howells935c69122018-11-01 23:07:25 +0000447 kfree(ctx);
448}
449
450static int mqueue_init_fs_context(struct fs_context *fc)
451{
452 struct mqueue_fs_context *ctx;
453
454 ctx = kzalloc(sizeof(struct mqueue_fs_context), GFP_KERNEL);
455 if (!ctx)
456 return -ENOMEM;
457
458 ctx->ipc_ns = get_ipc_ns(current->nsproxy->ipc_ns);
Al Viro709a6432019-05-12 17:46:05 -0400459 put_user_ns(fc->user_ns);
460 fc->user_ns = get_user_ns(ctx->ipc_ns->user_ns);
David Howells935c69122018-11-01 23:07:25 +0000461 fc->fs_private = ctx;
462 fc->ops = &mqueue_fs_context_ops;
463 return 0;
464}
465
Waiman Long6df8af62022-05-09 18:29:21 -0700466/*
467 * mq_init_ns() is currently the only caller of mq_create_mount().
468 * So the ns parameter is always a newly created ipc namespace.
469 */
David Howells935c69122018-11-01 23:07:25 +0000470static struct vfsmount *mq_create_mount(struct ipc_namespace *ns)
471{
472 struct mqueue_fs_context *ctx;
473 struct fs_context *fc;
474 struct vfsmount *mnt;
475
476 fc = fs_context_for_mount(&mqueue_fs_type, SB_KERNMOUNT);
477 if (IS_ERR(fc))
478 return ERR_CAST(fc);
479
480 ctx = fc->fs_private;
Waiman Long6df8af62022-05-09 18:29:21 -0700481 ctx->newns = true;
David Howells935c69122018-11-01 23:07:25 +0000482 put_ipc_ns(ctx->ipc_ns);
483 ctx->ipc_ns = get_ipc_ns(ns);
Al Viro709a6432019-05-12 17:46:05 -0400484 put_user_ns(fc->user_ns);
485 fc->user_ns = get_user_ns(ctx->ipc_ns->user_ns);
David Howells935c69122018-11-01 23:07:25 +0000486
487 mnt = fc_mount(fc);
488 put_fs_context(fc);
489 return mnt;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700490}
491
Alexey Dobriyan51cc5062008-07-25 19:45:34 -0700492static void init_once(void *foo)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700493{
494 struct mqueue_inode_info *p = (struct mqueue_inode_info *) foo;
495
Christoph Lametera35afb82007-05-16 22:10:57 -0700496 inode_init_once(&p->vfs_inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700497}
498
499static struct inode *mqueue_alloc_inode(struct super_block *sb)
500{
501 struct mqueue_inode_info *ei;
502
Christoph Lametere94b1762006-12-06 20:33:17 -0800503 ei = kmem_cache_alloc(mqueue_inode_cachep, GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700504 if (!ei)
505 return NULL;
506 return &ei->vfs_inode;
507}
508
Al Viro015d7952019-04-15 22:30:30 -0400509static void mqueue_free_inode(struct inode *inode)
Nick Pigginfa0d7e3d2011-01-07 17:49:49 +1100510{
Nick Pigginfa0d7e3d2011-01-07 17:49:49 +1100511 kmem_cache_free(mqueue_inode_cachep, MQUEUE_I(inode));
512}
513
Al Viro6d8af642010-06-05 16:29:45 -0400514static void mqueue_evict_inode(struct inode *inode)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700515{
516 struct mqueue_inode_info *info;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700517 struct ipc_namespace *ipc_ns;
Li Rongqingd6a29462019-05-14 15:46:20 -0700518 struct msg_msg *msg, *nmsg;
519 LIST_HEAD(tmp_msg);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700520
Jan Karadbd57682012-05-03 14:48:02 +0200521 clear_inode(inode);
Al Viro6d8af642010-06-05 16:29:45 -0400522
523 if (S_ISDIR(inode->i_mode))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700524 return;
Al Viro6d8af642010-06-05 16:29:45 -0400525
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700526 ipc_ns = get_ns_from_inode(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700527 info = MQUEUE_I(inode);
528 spin_lock(&info->lock);
Doug Ledfordd6629852012-05-31 16:26:35 -0700529 while ((msg = msg_get(info)) != NULL)
Li Rongqingd6a29462019-05-14 15:46:20 -0700530 list_add_tail(&msg->m_list, &tmp_msg);
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700531 kfree(info->node_cache);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700532 spin_unlock(&info->lock);
533
Li Rongqingd6a29462019-05-14 15:46:20 -0700534 list_for_each_entry_safe(msg, nmsg, &tmp_msg, m_list) {
535 list_del(&msg->m_list);
536 free_msg(msg);
537 }
538
Alexey Gladkov6e52a9f2021-04-22 14:27:12 +0200539 if (info->ucounts) {
Kees Cooka318f122019-07-16 16:30:21 -0700540 unsigned long mq_bytes, mq_treesize;
541
542 /* Total amount of bytes accounted for the mqueue */
543 mq_treesize = info->attr.mq_maxmsg * sizeof(struct msg_msg) +
544 min_t(unsigned int, info->attr.mq_maxmsg, MQ_PRIO_MAX) *
545 sizeof(struct posix_msg_tree_node);
546
547 mq_bytes = mq_treesize + (info->attr.mq_maxmsg *
548 info->attr.mq_msgsize);
549
Linus Torvalds1da177e2005-04-16 15:20:36 -0700550 spin_lock(&mq_lock);
Alexey Gladkov6e52a9f2021-04-22 14:27:12 +0200551 dec_rlimit_ucounts(info->ucounts, UCOUNT_RLIMIT_MSGQUEUE, mq_bytes);
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700552 /*
553 * get_ns_from_inode() ensures that the
554 * (ipc_ns = sb->s_fs_info) is either a valid ipc_ns
555 * to which we now hold a reference, or it is NULL.
556 * We can't put it here under mq_lock, though.
557 */
558 if (ipc_ns)
559 ipc_ns->mq_queues_count--;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700560 spin_unlock(&mq_lock);
Alexey Gladkov6e52a9f2021-04-22 14:27:12 +0200561 put_ucounts(info->ucounts);
562 info->ucounts = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700563 }
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700564 if (ipc_ns)
565 put_ipc_ns(ipc_ns);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700566}
567
Al Viroeecec192017-12-01 17:26:05 -0500568static int mqueue_create_attr(struct dentry *dentry, umode_t mode, void *arg)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700569{
Al Viroeecec192017-12-01 17:26:05 -0500570 struct inode *dir = dentry->d_parent->d_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700571 struct inode *inode;
Al Viroeecec192017-12-01 17:26:05 -0500572 struct mq_attr *attr = arg;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700573 int error;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700574 struct ipc_namespace *ipc_ns;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700575
576 spin_lock(&mq_lock);
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700577 ipc_ns = __get_ns_from_inode(dir);
578 if (!ipc_ns) {
579 error = -EACCES;
580 goto out_unlock;
581 }
Davidlohr Buesof3713fd2014-02-25 15:01:45 -0800582
583 if (ipc_ns->mq_queues_count >= ipc_ns->mq_queues_max &&
584 !capable(CAP_SYS_RESOURCE)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700585 error = -ENOSPC;
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700586 goto out_unlock;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700587 }
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700588 ipc_ns->mq_queues_count++;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700589 spin_unlock(&mq_lock);
590
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700591 inode = mqueue_get_inode(dir->i_sb, ipc_ns, mode, attr);
Jiri Slabyd40dcdb2011-07-26 16:08:47 -0700592 if (IS_ERR(inode)) {
593 error = PTR_ERR(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700594 spin_lock(&mq_lock);
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700595 ipc_ns->mq_queues_count--;
596 goto out_unlock;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700597 }
598
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700599 put_ipc_ns(ipc_ns);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700600 dir->i_size += DIRENT_SIZE;
Deepa Dinamani078cd822016-09-14 07:48:04 -0700601 dir->i_ctime = dir->i_mtime = dir->i_atime = current_time(dir);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700602
603 d_instantiate(dentry, inode);
604 dget(dentry);
605 return 0;
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700606out_unlock:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700607 spin_unlock(&mq_lock);
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700608 if (ipc_ns)
609 put_ipc_ns(ipc_ns);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700610 return error;
611}
612
Christian Brauner549c7292021-01-21 14:19:43 +0100613static int mqueue_create(struct user_namespace *mnt_userns, struct inode *dir,
614 struct dentry *dentry, umode_t mode, bool excl)
Al Viroeecec192017-12-01 17:26:05 -0500615{
616 return mqueue_create_attr(dentry, mode, NULL);
617}
618
Linus Torvalds1da177e2005-04-16 15:20:36 -0700619static int mqueue_unlink(struct inode *dir, struct dentry *dentry)
620{
David Howells75c3cfa2015-03-17 22:26:12 +0000621 struct inode *inode = d_inode(dentry);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700622
Deepa Dinamani078cd822016-09-14 07:48:04 -0700623 dir->i_ctime = dir->i_mtime = dir->i_atime = current_time(dir);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700624 dir->i_size -= DIRENT_SIZE;
Manfred Spraul239521f2014-01-27 17:07:04 -0800625 drop_nlink(inode);
626 dput(dentry);
627 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700628}
629
630/*
631* This is routine for system read from queue file.
632* To avoid mess with doing here some sort of mq_receive we allow
633* to read only queue size & notification info (the only values
634* that are interesting from user point of view and aren't accessible
635* through std routines)
636*/
637static ssize_t mqueue_read_file(struct file *filp, char __user *u_data,
Akinobu Mitaf1a43f92008-07-25 01:48:07 -0700638 size_t count, loff_t *off)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700639{
Al Viro496ad9a2013-01-23 17:07:38 -0500640 struct mqueue_inode_info *info = MQUEUE_I(file_inode(filp));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700641 char buffer[FILENT_SIZE];
Akinobu Mitaf1a43f92008-07-25 01:48:07 -0700642 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700643
644 spin_lock(&info->lock);
645 snprintf(buffer, sizeof(buffer),
646 "QSIZE:%-10lu NOTIFY:%-5d SIGNO:%-5d NOTIFY_PID:%-6d\n",
647 info->qsize,
648 info->notify_owner ? info->notify.sigev_notify : 0,
649 (info->notify_owner &&
650 info->notify.sigev_notify == SIGEV_SIGNAL) ?
651 info->notify.sigev_signo : 0,
Pavel Emelyanov6c5f3e72008-02-08 04:19:20 -0800652 pid_vnr(info->notify_owner));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700653 spin_unlock(&info->lock);
654 buffer[sizeof(buffer)-1] = '\0';
Linus Torvalds1da177e2005-04-16 15:20:36 -0700655
Akinobu Mitaf1a43f92008-07-25 01:48:07 -0700656 ret = simple_read_from_buffer(u_data, count, off, buffer,
657 strlen(buffer));
658 if (ret <= 0)
659 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700660
Deepa Dinamani078cd822016-09-14 07:48:04 -0700661 file_inode(filp)->i_atime = file_inode(filp)->i_ctime = current_time(file_inode(filp));
Akinobu Mitaf1a43f92008-07-25 01:48:07 -0700662 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700663}
664
Miklos Szeredi75e1fcc2006-06-23 02:05:12 -0700665static int mqueue_flush_file(struct file *filp, fl_owner_t id)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700666{
Al Viro496ad9a2013-01-23 17:07:38 -0500667 struct mqueue_inode_info *info = MQUEUE_I(file_inode(filp));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700668
669 spin_lock(&info->lock);
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700670 if (task_tgid(current) == info->notify_owner)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700671 remove_notification(info);
672
673 spin_unlock(&info->lock);
674 return 0;
675}
676
Al Viro9dd95742017-07-03 00:42:43 -0400677static __poll_t mqueue_poll_file(struct file *filp, struct poll_table_struct *poll_tab)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700678{
Al Viro496ad9a2013-01-23 17:07:38 -0500679 struct mqueue_inode_info *info = MQUEUE_I(file_inode(filp));
Al Viro9dd95742017-07-03 00:42:43 -0400680 __poll_t retval = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700681
682 poll_wait(filp, &info->wait_q, poll_tab);
683
684 spin_lock(&info->lock);
685 if (info->attr.mq_curmsgs)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800686 retval = EPOLLIN | EPOLLRDNORM;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700687
688 if (info->attr.mq_curmsgs < info->attr.mq_maxmsg)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800689 retval |= EPOLLOUT | EPOLLWRNORM;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700690 spin_unlock(&info->lock);
691
692 return retval;
693}
694
695/* Adds current to info->e_wait_q[sr] before element with smaller prio */
696static void wq_add(struct mqueue_inode_info *info, int sr,
697 struct ext_wait_queue *ewp)
698{
699 struct ext_wait_queue *walk;
700
Linus Torvalds1da177e2005-04-16 15:20:36 -0700701 list_for_each_entry(walk, &info->e_wait_q[sr].list, list) {
Jonathan Haws68e34f42018-02-06 15:40:52 -0800702 if (walk->task->prio <= current->prio) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700703 list_add_tail(&ewp->list, &walk->list);
704 return;
705 }
706 }
707 list_add_tail(&ewp->list, &info->e_wait_q[sr].list);
708}
709
710/*
711 * Puts current task to sleep. Caller must hold queue lock. After return
712 * lock isn't held.
713 * sr: SEND or RECV
714 */
715static int wq_sleep(struct mqueue_inode_info *info, int sr,
Carsten Emde9ca7d8e2010-04-02 22:40:20 +0200716 ktime_t *timeout, struct ext_wait_queue *ewp)
Luc Van Oostenryckeac0b1c2017-02-27 14:28:21 -0800717 __releases(&info->lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700718{
719 int retval;
720 signed long time;
721
722 wq_add(info, sr, ewp);
723
724 for (;;) {
Manfred Spraulc5b2cbd2020-02-03 17:34:36 -0800725 /* memory barrier not required, we hold info->lock */
Davidlohr Buesofa6004a2015-05-04 07:02:46 -0700726 __set_current_state(TASK_INTERRUPTIBLE);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700727
728 spin_unlock(&info->lock);
Wanlong Gao32ea8452011-10-31 17:06:35 -0700729 time = schedule_hrtimeout_range_clock(timeout, 0,
730 HRTIMER_MODE_ABS, CLOCK_REALTIME);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700731
Manfred Spraulc5b2cbd2020-02-03 17:34:36 -0800732 if (READ_ONCE(ewp->state) == STATE_READY) {
733 /* see MQ_BARRIER for purpose/pairing */
734 smp_acquire__after_ctrl_dep();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700735 retval = 0;
736 goto out;
737 }
738 spin_lock(&info->lock);
Manfred Spraulc5b2cbd2020-02-03 17:34:36 -0800739
740 /* we hold info->lock, so no memory barrier required */
741 if (READ_ONCE(ewp->state) == STATE_READY) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700742 retval = 0;
743 goto out_unlock;
744 }
745 if (signal_pending(current)) {
746 retval = -ERESTARTSYS;
747 break;
748 }
749 if (time == 0) {
750 retval = -ETIMEDOUT;
751 break;
752 }
753 }
754 list_del(&ewp->list);
755out_unlock:
756 spin_unlock(&info->lock);
757out:
758 return retval;
759}
760
761/*
762 * Returns waiting task that should be serviced first or NULL if none exists
763 */
764static struct ext_wait_queue *wq_get_first_waiter(
765 struct mqueue_inode_info *info, int sr)
766{
767 struct list_head *ptr;
768
769 ptr = info->e_wait_q[sr].list.prev;
770 if (ptr == &info->e_wait_q[sr].list)
771 return NULL;
772 return list_entry(ptr, struct ext_wait_queue, list);
773}
774
Linus Torvalds1da177e2005-04-16 15:20:36 -0700775
776static inline void set_cookie(struct sk_buff *skb, char code)
777{
Manfred Spraul239521f2014-01-27 17:07:04 -0800778 ((char *)skb->data)[NOTIFY_COOKIE_LEN-1] = code;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700779}
780
781/*
782 * The next function is only to split too long sys_mq_timedsend
783 */
784static void __do_notify(struct mqueue_inode_info *info)
785{
786 /* notification
787 * invoked when there is registered process and there isn't process
788 * waiting synchronously for message AND state of queue changed from
789 * empty to not empty. Here we are sure that no one is waiting
790 * synchronously. */
791 if (info->notify_owner &&
792 info->attr.mq_curmsgs == 1) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700793 switch (info->notify.sigev_notify) {
794 case SIGEV_NONE:
795 break;
Oleg Nesterovb5f20062020-05-07 18:35:39 -0700796 case SIGEV_SIGNAL: {
797 struct kernel_siginfo sig_i;
798 struct task_struct *task;
799
800 /* do_mq_notify() accepts sigev_signo == 0, why?? */
801 if (!info->notify.sigev_signo)
802 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700803
Eric W. Biedermanfaf1f222018-01-05 17:27:42 -0600804 clear_siginfo(&sig_i);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700805 sig_i.si_signo = info->notify.sigev_signo;
806 sig_i.si_errno = 0;
807 sig_i.si_code = SI_MESGQ;
808 sig_i.si_value = info->notify.sigev_value;
Serge E. Hallyn6b550f92012-01-10 15:11:37 -0800809 rcu_read_lock();
Oleg Nesterovb5f20062020-05-07 18:35:39 -0700810 /* map current pid/uid into info->owner's namespaces */
Sukadev Bhattiprolua6684992009-01-07 18:08:50 -0800811 sig_i.si_pid = task_tgid_nr_ns(current,
812 ns_of_pid(info->notify_owner));
Oleg Nesterovb5f20062020-05-07 18:35:39 -0700813 sig_i.si_uid = from_kuid_munged(info->notify_user_ns,
814 current_uid());
815 /*
816 * We can't use kill_pid_info(), this signal should
817 * bypass check_kill_permission(). It is from kernel
818 * but si_fromuser() can't know this.
819 * We do check the self_exec_id, to avoid sending
820 * signals to programs that don't expect them.
821 */
822 task = pid_task(info->notify_owner, PIDTYPE_TGID);
823 if (task && task->self_exec_id ==
824 info->notify_self_exec_id) {
825 do_send_sig_info(info->notify.sigev_signo,
826 &sig_i, task, PIDTYPE_TGID);
827 }
Serge E. Hallyn6b550f92012-01-10 15:11:37 -0800828 rcu_read_unlock();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700829 break;
Oleg Nesterovb5f20062020-05-07 18:35:39 -0700830 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700831 case SIGEV_THREAD:
832 set_cookie(info->notify_cookie, NOTIFY_WOKENUP);
Denis V. Lunev7ee015e2007-10-10 21:14:03 -0700833 netlink_sendskb(info->notify_sock, info->notify_cookie);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700834 break;
835 }
836 /* after notification unregisters process */
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700837 put_pid(info->notify_owner);
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800838 put_user_ns(info->notify_user_ns);
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700839 info->notify_owner = NULL;
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800840 info->notify_user_ns = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700841 }
842 wake_up(&info->wait_q);
843}
844
Arnd Bergmann21fc5382018-04-13 13:58:00 +0200845static int prepare_timeout(const struct __kernel_timespec __user *u_abs_timeout,
Deepa Dinamanib9047722017-08-02 19:51:11 -0700846 struct timespec64 *ts)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700847{
Deepa Dinamanib9047722017-08-02 19:51:11 -0700848 if (get_timespec64(ts, u_abs_timeout))
Carsten Emde9ca7d8e2010-04-02 22:40:20 +0200849 return -EFAULT;
Deepa Dinamanib9047722017-08-02 19:51:11 -0700850 if (!timespec64_valid(ts))
Carsten Emde9ca7d8e2010-04-02 22:40:20 +0200851 return -EINVAL;
Carsten Emde9ca7d8e2010-04-02 22:40:20 +0200852 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700853}
854
855static void remove_notification(struct mqueue_inode_info *info)
856{
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700857 if (info->notify_owner != NULL &&
Linus Torvalds1da177e2005-04-16 15:20:36 -0700858 info->notify.sigev_notify == SIGEV_THREAD) {
859 set_cookie(info->notify_cookie, NOTIFY_REMOVED);
Denis V. Lunev7ee015e2007-10-10 21:14:03 -0700860 netlink_sendskb(info->notify_sock, info->notify_cookie);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700861 }
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700862 put_pid(info->notify_owner);
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800863 put_user_ns(info->notify_user_ns);
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700864 info->notify_owner = NULL;
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800865 info->notify_user_ns = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700866}
867
Al Viro066cc812017-12-01 17:51:39 -0500868static int prepare_open(struct dentry *dentry, int oflag, int ro,
869 umode_t mode, struct filename *name,
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700870 struct mq_attr *attr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700871{
David Howells745ca242008-11-14 10:39:22 +1100872 static const int oflag2acc[O_ACCMODE] = { MAY_READ, MAY_WRITE,
873 MAY_READ | MAY_WRITE };
Al Viro765927b2012-06-26 21:58:53 +0400874 int acc;
Al Viro066cc812017-12-01 17:51:39 -0500875
Al Viro9b20d7f2017-12-01 17:57:02 -0500876 if (d_really_is_negative(dentry)) {
877 if (!(oflag & O_CREAT))
Al Viro066cc812017-12-01 17:51:39 -0500878 return -ENOENT;
Al Viro9b20d7f2017-12-01 17:57:02 -0500879 if (ro)
880 return ro;
881 audit_inode_parent_hidden(name, dentry->d_parent);
882 return vfs_mkobj(dentry, mode & ~current_umask(),
883 mqueue_create_attr, attr);
Al Viro066cc812017-12-01 17:51:39 -0500884 }
Al Viro9b20d7f2017-12-01 17:57:02 -0500885 /* it already existed */
886 audit_inode(name, dentry, 0);
887 if ((oflag & (O_CREAT|O_EXCL)) == (O_CREAT|O_EXCL))
888 return -EEXIST;
Al Viro765927b2012-06-26 21:58:53 +0400889 if ((oflag & O_ACCMODE) == (O_RDWR | O_WRONLY))
Al Viroaf4a5372017-12-01 17:34:22 -0500890 return -EINVAL;
Al Viro765927b2012-06-26 21:58:53 +0400891 acc = oflag2acc[oflag & O_ACCMODE];
Christian Brauner47291ba2021-01-21 14:19:24 +0100892 return inode_permission(&init_user_ns, d_inode(dentry), acc);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700893}
894
Al Viro0d060602017-06-27 21:32:36 -0400895static int do_mq_open(const char __user *u_name, int oflag, umode_t mode,
896 struct mq_attr *attr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700897{
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -0500898 struct vfsmount *mnt = current->nsproxy->ipc_ns->mq_mnt;
899 struct dentry *root = mnt->mnt_root;
Jeff Layton91a27b22012-10-10 15:25:28 -0400900 struct filename *name;
Al Viroa713fd72017-12-01 18:01:09 -0500901 struct path path;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700902 int fd, error;
Al Viro312b90f2012-08-06 10:18:17 +0400903 int ro;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700904
Al Viro0d060602017-06-27 21:32:36 -0400905 audit_mq_open(oflag, mode, attr);
George C. Wilson20ca73b2006-05-24 16:09:55 -0500906
Linus Torvalds1da177e2005-04-16 15:20:36 -0700907 if (IS_ERR(name = getname(u_name)))
908 return PTR_ERR(name);
909
Ulrich Drepper269f2132008-05-03 15:28:45 -0400910 fd = get_unused_fd_flags(O_CLOEXEC);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700911 if (fd < 0)
912 goto out_putname;
913
Al Viro312b90f2012-08-06 10:18:17 +0400914 ro = mnt_want_write(mnt); /* we'll drop it in any case */
Al Viro59551022016-01-22 15:40:57 -0500915 inode_lock(d_inode(root));
Jeff Layton91a27b22012-10-10 15:25:28 -0400916 path.dentry = lookup_one_len(name->name, root, strlen(name->name));
Al Viro765927b2012-06-26 21:58:53 +0400917 if (IS_ERR(path.dentry)) {
918 error = PTR_ERR(path.dentry);
André Goddard Rosa4294a8e2010-02-23 04:04:28 -0300919 goto out_putfd;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700920 }
Al Viro312b90f2012-08-06 10:18:17 +0400921 path.mnt = mntget(mnt);
Al Viro066cc812017-12-01 17:51:39 -0500922 error = prepare_open(path.dentry, oflag, ro, mode, name, attr);
923 if (!error) {
924 struct file *file = dentry_open(&path, oflag, current_cred());
925 if (!IS_ERR(file))
926 fd_install(fd, file);
927 else
928 error = PTR_ERR(file);
Alexander Viro7c7dce92006-01-14 15:29:55 -0500929 }
Al Viro765927b2012-06-26 21:58:53 +0400930 path_put(&path);
Alexander Viro7c7dce92006-01-14 15:29:55 -0500931out_putfd:
Al Viro765927b2012-06-26 21:58:53 +0400932 if (error) {
933 put_unused_fd(fd);
934 fd = error;
935 }
Al Viro59551022016-01-22 15:40:57 -0500936 inode_unlock(d_inode(root));
Vladimir Davydov38d78e52013-03-22 15:04:51 -0700937 if (!ro)
938 mnt_drop_write(mnt);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700939out_putname:
940 putname(name);
941 return fd;
942}
943
Al Viro0d060602017-06-27 21:32:36 -0400944SYSCALL_DEFINE4(mq_open, const char __user *, u_name, int, oflag, umode_t, mode,
945 struct mq_attr __user *, u_attr)
946{
947 struct mq_attr attr;
948 if (u_attr && copy_from_user(&attr, u_attr, sizeof(struct mq_attr)))
949 return -EFAULT;
950
951 return do_mq_open(u_name, oflag, mode, u_attr ? &attr : NULL);
952}
953
Heiko Carstensd5460c92009-01-14 14:14:27 +0100954SYSCALL_DEFINE1(mq_unlink, const char __user *, u_name)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700955{
956 int err;
Jeff Layton91a27b22012-10-10 15:25:28 -0400957 struct filename *name;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700958 struct dentry *dentry;
959 struct inode *inode = NULL;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700960 struct ipc_namespace *ipc_ns = current->nsproxy->ipc_ns;
Al Viro312b90f2012-08-06 10:18:17 +0400961 struct vfsmount *mnt = ipc_ns->mq_mnt;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700962
963 name = getname(u_name);
964 if (IS_ERR(name))
965 return PTR_ERR(name);
966
Jeff Layton79f65302013-07-08 15:59:36 -0700967 audit_inode_parent_hidden(name, mnt->mnt_root);
Al Viro312b90f2012-08-06 10:18:17 +0400968 err = mnt_want_write(mnt);
969 if (err)
970 goto out_name;
Al Viro59551022016-01-22 15:40:57 -0500971 inode_lock_nested(d_inode(mnt->mnt_root), I_MUTEX_PARENT);
Jeff Layton91a27b22012-10-10 15:25:28 -0400972 dentry = lookup_one_len(name->name, mnt->mnt_root,
973 strlen(name->name));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700974 if (IS_ERR(dentry)) {
975 err = PTR_ERR(dentry);
976 goto out_unlock;
977 }
978
David Howells75c3cfa2015-03-17 22:26:12 +0000979 inode = d_inode(dentry);
Al Viro312b90f2012-08-06 10:18:17 +0400980 if (!inode) {
981 err = -ENOENT;
982 } else {
Al Viro7de9c6ee2010-10-23 11:11:40 -0400983 ihold(inode);
Christian Brauner6521f892021-01-21 14:19:33 +0100984 err = vfs_unlink(&init_user_ns, d_inode(dentry->d_parent),
985 dentry, NULL);
Al Viro312b90f2012-08-06 10:18:17 +0400986 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700987 dput(dentry);
988
989out_unlock:
Al Viro59551022016-01-22 15:40:57 -0500990 inode_unlock(d_inode(mnt->mnt_root));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700991 if (inode)
992 iput(inode);
Al Viro312b90f2012-08-06 10:18:17 +0400993 mnt_drop_write(mnt);
994out_name:
995 putname(name);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700996
997 return err;
998}
999
1000/* Pipelined send and receive functions.
1001 *
1002 * If a receiver finds no waiting message, then it registers itself in the
1003 * list of waiting receivers. A sender checks that list before adding the new
1004 * message into the message array. If there is a waiting receiver, then it
1005 * bypasses the message array and directly hands the message over to the
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001006 * receiver. The receiver accepts the message and returns without grabbing the
1007 * queue spinlock:
1008 *
1009 * - Set pointer to message.
1010 * - Queue the receiver task for later wakeup (without the info->lock).
1011 * - Update its state to STATE_READY. Now the receiver can continue.
1012 * - Wake up the process after the lock is dropped. Should the process wake up
1013 * before this wakeup (due to a timeout or a signal) it will either see
1014 * STATE_READY and continue or acquire the lock to check the state again.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001015 *
1016 * The same algorithm is used for senders.
1017 */
1018
Davidlohr Buesoed29f172020-02-03 17:34:32 -08001019static inline void __pipelined_op(struct wake_q_head *wake_q,
1020 struct mqueue_inode_info *info,
1021 struct ext_wait_queue *this)
1022{
Varad Gautama11ddb32021-05-22 17:41:49 -07001023 struct task_struct *task;
1024
Davidlohr Buesoed29f172020-02-03 17:34:32 -08001025 list_del(&this->list);
Varad Gautama11ddb32021-05-22 17:41:49 -07001026 task = get_task_struct(this->task);
Manfred Spraulc5b2cbd2020-02-03 17:34:36 -08001027
1028 /* see MQ_BARRIER for purpose/pairing */
1029 smp_store_release(&this->state, STATE_READY);
Varad Gautama11ddb32021-05-22 17:41:49 -07001030 wake_q_add_safe(wake_q, task);
Davidlohr Buesoed29f172020-02-03 17:34:32 -08001031}
1032
Linus Torvalds1da177e2005-04-16 15:20:36 -07001033/* pipelined_send() - send a message directly to the task waiting in
1034 * sys_mq_timedreceive() (without inserting message into a queue).
1035 */
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001036static inline void pipelined_send(struct wake_q_head *wake_q,
1037 struct mqueue_inode_info *info,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001038 struct msg_msg *message,
1039 struct ext_wait_queue *receiver)
1040{
1041 receiver->msg = message;
Davidlohr Buesoed29f172020-02-03 17:34:32 -08001042 __pipelined_op(wake_q, info, receiver);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001043}
1044
1045/* pipelined_receive() - if there is task waiting in sys_mq_timedsend()
1046 * gets its message and put to the queue (we have one free place for sure). */
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001047static inline void pipelined_receive(struct wake_q_head *wake_q,
1048 struct mqueue_inode_info *info)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001049{
1050 struct ext_wait_queue *sender = wq_get_first_waiter(info, SEND);
1051
1052 if (!sender) {
1053 /* for poll */
1054 wake_up_interruptible(&info->wait_q);
1055 return;
1056 }
Doug Ledfordd6629852012-05-31 16:26:35 -07001057 if (msg_insert(sender->msg, info))
1058 return;
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001059
Davidlohr Buesoed29f172020-02-03 17:34:32 -08001060 __pipelined_op(wake_q, info, sender);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001061}
1062
Al Viro0d060602017-06-27 21:32:36 -04001063static int do_mq_timedsend(mqd_t mqdes, const char __user *u_msg_ptr,
1064 size_t msg_len, unsigned int msg_prio,
Deepa Dinamanib9047722017-08-02 19:51:11 -07001065 struct timespec64 *ts)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001066{
Al Viro2903ff02012-08-28 12:52:22 -04001067 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001068 struct inode *inode;
1069 struct ext_wait_queue wait;
1070 struct ext_wait_queue *receiver;
1071 struct msg_msg *msg_ptr;
1072 struct mqueue_inode_info *info;
Carsten Emde9ca7d8e2010-04-02 22:40:20 +02001073 ktime_t expires, *timeout = NULL;
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001074 struct posix_msg_tree_node *new_leaf = NULL;
Al Viro2903ff02012-08-28 12:52:22 -04001075 int ret = 0;
Waiman Long194a6b52016-11-17 11:46:38 -05001076 DEFINE_WAKE_Q(wake_q);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001077
1078 if (unlikely(msg_prio >= (unsigned long) MQ_PRIO_MAX))
1079 return -EINVAL;
1080
Al Viro0d060602017-06-27 21:32:36 -04001081 if (ts) {
Deepa Dinamanib9047722017-08-02 19:51:11 -07001082 expires = timespec64_to_ktime(*ts);
Al Viro0d060602017-06-27 21:32:36 -04001083 timeout = &expires;
1084 }
1085
1086 audit_mq_sendrecv(mqdes, msg_len, msg_prio, ts);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001087
Al Viro2903ff02012-08-28 12:52:22 -04001088 f = fdget(mqdes);
1089 if (unlikely(!f.file)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001090 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001091 goto out;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001092 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001093
Al Viro496ad9a2013-01-23 17:07:38 -05001094 inode = file_inode(f.file);
Al Viro2903ff02012-08-28 12:52:22 -04001095 if (unlikely(f.file->f_op != &mqueue_file_operations)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001096 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001097 goto out_fput;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001098 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001099 info = MQUEUE_I(inode);
Al Viro9f45f5b2014-10-31 17:44:57 -04001100 audit_file(f.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001101
Al Viro2903ff02012-08-28 12:52:22 -04001102 if (unlikely(!(f.file->f_mode & FMODE_WRITE))) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001103 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001104 goto out_fput;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001105 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001106
1107 if (unlikely(msg_len > info->attr.mq_msgsize)) {
1108 ret = -EMSGSIZE;
1109 goto out_fput;
1110 }
1111
1112 /* First try to allocate memory, before doing anything with
1113 * existing queues. */
1114 msg_ptr = load_msg(u_msg_ptr, msg_len);
1115 if (IS_ERR(msg_ptr)) {
1116 ret = PTR_ERR(msg_ptr);
1117 goto out_fput;
1118 }
1119 msg_ptr->m_ts = msg_len;
1120 msg_ptr->m_type = msg_prio;
1121
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001122 /*
1123 * msg_insert really wants us to have a valid, spare node struct so
1124 * it doesn't have to kmalloc a GFP_ATOMIC allocation, but it will
1125 * fall back to that if necessary.
1126 */
1127 if (!info->node_cache)
1128 new_leaf = kmalloc(sizeof(*new_leaf), GFP_KERNEL);
1129
Linus Torvalds1da177e2005-04-16 15:20:36 -07001130 spin_lock(&info->lock);
1131
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001132 if (!info->node_cache && new_leaf) {
1133 /* Save our speculative allocation into the cache */
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001134 INIT_LIST_HEAD(&new_leaf->msg_list);
1135 info->node_cache = new_leaf;
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001136 new_leaf = NULL;
1137 } else {
1138 kfree(new_leaf);
1139 }
1140
Linus Torvalds1da177e2005-04-16 15:20:36 -07001141 if (info->attr.mq_curmsgs == info->attr.mq_maxmsg) {
Al Viro2903ff02012-08-28 12:52:22 -04001142 if (f.file->f_flags & O_NONBLOCK) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001143 ret = -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001144 } else {
1145 wait.task = current;
1146 wait.msg = (void *) msg_ptr;
Manfred Spraulc5b2cbd2020-02-03 17:34:36 -08001147
1148 /* memory barrier not required, we hold info->lock */
1149 WRITE_ONCE(wait.state, STATE_NONE);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001150 ret = wq_sleep(info, SEND, timeout, &wait);
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001151 /*
1152 * wq_sleep must be called with info->lock held, and
1153 * returns with the lock released
1154 */
1155 goto out_free;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001156 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001157 } else {
1158 receiver = wq_get_first_waiter(info, RECV);
1159 if (receiver) {
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001160 pipelined_send(&wake_q, info, msg_ptr, receiver);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001161 } else {
1162 /* adds message to the queue */
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001163 ret = msg_insert(msg_ptr, info);
1164 if (ret)
1165 goto out_unlock;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001166 __do_notify(info);
1167 }
1168 inode->i_atime = inode->i_mtime = inode->i_ctime =
Deepa Dinamani078cd822016-09-14 07:48:04 -07001169 current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001170 }
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001171out_unlock:
1172 spin_unlock(&info->lock);
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001173 wake_up_q(&wake_q);
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001174out_free:
1175 if (ret)
1176 free_msg(msg_ptr);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001177out_fput:
Al Viro2903ff02012-08-28 12:52:22 -04001178 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001179out:
1180 return ret;
1181}
1182
Al Viro0d060602017-06-27 21:32:36 -04001183static int do_mq_timedreceive(mqd_t mqdes, char __user *u_msg_ptr,
1184 size_t msg_len, unsigned int __user *u_msg_prio,
Deepa Dinamanib9047722017-08-02 19:51:11 -07001185 struct timespec64 *ts)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001186{
Linus Torvalds1da177e2005-04-16 15:20:36 -07001187 ssize_t ret;
1188 struct msg_msg *msg_ptr;
Al Viro2903ff02012-08-28 12:52:22 -04001189 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001190 struct inode *inode;
1191 struct mqueue_inode_info *info;
1192 struct ext_wait_queue wait;
Carsten Emde9ca7d8e2010-04-02 22:40:20 +02001193 ktime_t expires, *timeout = NULL;
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001194 struct posix_msg_tree_node *new_leaf = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001195
Al Viro0d060602017-06-27 21:32:36 -04001196 if (ts) {
Deepa Dinamanib9047722017-08-02 19:51:11 -07001197 expires = timespec64_to_ktime(*ts);
Carsten Emde9ca7d8e2010-04-02 22:40:20 +02001198 timeout = &expires;
Al Viroc32c8af2008-12-14 03:46:48 -05001199 }
George C. Wilson20ca73b2006-05-24 16:09:55 -05001200
Al Viro0d060602017-06-27 21:32:36 -04001201 audit_mq_sendrecv(mqdes, msg_len, 0, ts);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001202
Al Viro2903ff02012-08-28 12:52:22 -04001203 f = fdget(mqdes);
1204 if (unlikely(!f.file)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001205 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001206 goto out;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001207 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001208
Al Viro496ad9a2013-01-23 17:07:38 -05001209 inode = file_inode(f.file);
Al Viro2903ff02012-08-28 12:52:22 -04001210 if (unlikely(f.file->f_op != &mqueue_file_operations)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001211 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001212 goto out_fput;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001213 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001214 info = MQUEUE_I(inode);
Al Viro9f45f5b2014-10-31 17:44:57 -04001215 audit_file(f.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001216
Al Viro2903ff02012-08-28 12:52:22 -04001217 if (unlikely(!(f.file->f_mode & FMODE_READ))) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001218 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001219 goto out_fput;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001220 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001221
1222 /* checks if buffer is big enough */
1223 if (unlikely(msg_len < info->attr.mq_msgsize)) {
1224 ret = -EMSGSIZE;
1225 goto out_fput;
1226 }
1227
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001228 /*
1229 * msg_insert really wants us to have a valid, spare node struct so
1230 * it doesn't have to kmalloc a GFP_ATOMIC allocation, but it will
1231 * fall back to that if necessary.
1232 */
1233 if (!info->node_cache)
1234 new_leaf = kmalloc(sizeof(*new_leaf), GFP_KERNEL);
1235
Linus Torvalds1da177e2005-04-16 15:20:36 -07001236 spin_lock(&info->lock);
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001237
1238 if (!info->node_cache && new_leaf) {
1239 /* Save our speculative allocation into the cache */
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001240 INIT_LIST_HEAD(&new_leaf->msg_list);
1241 info->node_cache = new_leaf;
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001242 } else {
1243 kfree(new_leaf);
1244 }
1245
Linus Torvalds1da177e2005-04-16 15:20:36 -07001246 if (info->attr.mq_curmsgs == 0) {
Al Viro2903ff02012-08-28 12:52:22 -04001247 if (f.file->f_flags & O_NONBLOCK) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001248 spin_unlock(&info->lock);
1249 ret = -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001250 } else {
1251 wait.task = current;
Manfred Spraulc5b2cbd2020-02-03 17:34:36 -08001252
1253 /* memory barrier not required, we hold info->lock */
1254 WRITE_ONCE(wait.state, STATE_NONE);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001255 ret = wq_sleep(info, RECV, timeout, &wait);
1256 msg_ptr = wait.msg;
1257 }
1258 } else {
Waiman Long194a6b52016-11-17 11:46:38 -05001259 DEFINE_WAKE_Q(wake_q);
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001260
Linus Torvalds1da177e2005-04-16 15:20:36 -07001261 msg_ptr = msg_get(info);
1262
1263 inode->i_atime = inode->i_mtime = inode->i_ctime =
Deepa Dinamani078cd822016-09-14 07:48:04 -07001264 current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001265
1266 /* There is now free space in queue. */
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001267 pipelined_receive(&wake_q, info);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001268 spin_unlock(&info->lock);
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001269 wake_up_q(&wake_q);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001270 ret = 0;
1271 }
1272 if (ret == 0) {
1273 ret = msg_ptr->m_ts;
1274
1275 if ((u_msg_prio && put_user(msg_ptr->m_type, u_msg_prio)) ||
1276 store_msg(u_msg_ptr, msg_ptr, msg_ptr->m_ts)) {
1277 ret = -EFAULT;
1278 }
1279 free_msg(msg_ptr);
1280 }
1281out_fput:
Al Viro2903ff02012-08-28 12:52:22 -04001282 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001283out:
1284 return ret;
1285}
1286
Al Viro0d060602017-06-27 21:32:36 -04001287SYSCALL_DEFINE5(mq_timedsend, mqd_t, mqdes, const char __user *, u_msg_ptr,
1288 size_t, msg_len, unsigned int, msg_prio,
Arnd Bergmann21fc5382018-04-13 13:58:00 +02001289 const struct __kernel_timespec __user *, u_abs_timeout)
Al Viro0d060602017-06-27 21:32:36 -04001290{
Deepa Dinamanib9047722017-08-02 19:51:11 -07001291 struct timespec64 ts, *p = NULL;
Al Viro0d060602017-06-27 21:32:36 -04001292 if (u_abs_timeout) {
1293 int res = prepare_timeout(u_abs_timeout, &ts);
1294 if (res)
1295 return res;
1296 p = &ts;
1297 }
1298 return do_mq_timedsend(mqdes, u_msg_ptr, msg_len, msg_prio, p);
1299}
1300
1301SYSCALL_DEFINE5(mq_timedreceive, mqd_t, mqdes, char __user *, u_msg_ptr,
1302 size_t, msg_len, unsigned int __user *, u_msg_prio,
Arnd Bergmann21fc5382018-04-13 13:58:00 +02001303 const struct __kernel_timespec __user *, u_abs_timeout)
Al Viro0d060602017-06-27 21:32:36 -04001304{
Deepa Dinamanib9047722017-08-02 19:51:11 -07001305 struct timespec64 ts, *p = NULL;
Al Viro0d060602017-06-27 21:32:36 -04001306 if (u_abs_timeout) {
1307 int res = prepare_timeout(u_abs_timeout, &ts);
1308 if (res)
1309 return res;
1310 p = &ts;
1311 }
1312 return do_mq_timedreceive(mqdes, u_msg_ptr, msg_len, u_msg_prio, p);
1313}
1314
Linus Torvalds1da177e2005-04-16 15:20:36 -07001315/*
1316 * Notes: the case when user wants us to deregister (with NULL as pointer)
1317 * and he isn't currently owner of notification, will be silently discarded.
1318 * It isn't explicitly defined in the POSIX.
1319 */
Al Viro0d060602017-06-27 21:32:36 -04001320static int do_mq_notify(mqd_t mqdes, const struct sigevent *notification)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001321{
Al Viro2903ff02012-08-28 12:52:22 -04001322 int ret;
1323 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001324 struct sock *sock;
1325 struct inode *inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001326 struct mqueue_inode_info *info;
1327 struct sk_buff *nc;
1328
Al Viro0d060602017-06-27 21:32:36 -04001329 audit_mq_notify(mqdes, notification);
George C. Wilson20ca73b2006-05-24 16:09:55 -05001330
Linus Torvalds1da177e2005-04-16 15:20:36 -07001331 nc = NULL;
1332 sock = NULL;
Al Viro0d060602017-06-27 21:32:36 -04001333 if (notification != NULL) {
1334 if (unlikely(notification->sigev_notify != SIGEV_NONE &&
1335 notification->sigev_notify != SIGEV_SIGNAL &&
1336 notification->sigev_notify != SIGEV_THREAD))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001337 return -EINVAL;
Al Viro0d060602017-06-27 21:32:36 -04001338 if (notification->sigev_notify == SIGEV_SIGNAL &&
1339 !valid_signal(notification->sigev_signo)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001340 return -EINVAL;
1341 }
Al Viro0d060602017-06-27 21:32:36 -04001342 if (notification->sigev_notify == SIGEV_THREAD) {
Patrick McHardyc3d8d1e2007-11-07 02:42:09 -08001343 long timeo;
1344
Linus Torvalds1da177e2005-04-16 15:20:36 -07001345 /* create the notify skb */
1346 nc = alloc_skb(NOTIFY_COOKIE_LEN, GFP_KERNEL);
Markus Elfringc2317402019-09-25 16:48:17 -07001347 if (!nc)
1348 return -ENOMEM;
1349
Linus Torvalds1da177e2005-04-16 15:20:36 -07001350 if (copy_from_user(nc->data,
Al Viro0d060602017-06-27 21:32:36 -04001351 notification->sigev_value.sival_ptr,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001352 NOTIFY_COOKIE_LEN)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001353 ret = -EFAULT;
Markus Elfringc2317402019-09-25 16:48:17 -07001354 goto free_skb;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001355 }
1356
1357 /* TODO: add a header? */
1358 skb_put(nc, NOTIFY_COOKIE_LEN);
1359 /* and attach it to the socket */
1360retry:
Al Viro0d060602017-06-27 21:32:36 -04001361 f = fdget(notification->sigev_signo);
Al Viro2903ff02012-08-28 12:52:22 -04001362 if (!f.file) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001363 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001364 goto out;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001365 }
Al Viro2903ff02012-08-28 12:52:22 -04001366 sock = netlink_getsockbyfilp(f.file);
1367 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001368 if (IS_ERR(sock)) {
1369 ret = PTR_ERR(sock);
Markus Elfringc2317402019-09-25 16:48:17 -07001370 goto free_skb;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001371 }
1372
Patrick McHardyc3d8d1e2007-11-07 02:42:09 -08001373 timeo = MAX_SCHEDULE_TIMEOUT;
Denis V. Lunev9457afe2008-06-05 11:23:39 -07001374 ret = netlink_attachskb(sock, nc, &timeo, NULL);
Cong Wangf991af32017-07-09 13:19:55 -07001375 if (ret == 1) {
1376 sock = NULL;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001377 goto retry;
Cong Wangf991af32017-07-09 13:19:55 -07001378 }
Markus Elfringc2317402019-09-25 16:48:17 -07001379 if (ret)
1380 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001381 }
1382 }
1383
Al Viro2903ff02012-08-28 12:52:22 -04001384 f = fdget(mqdes);
1385 if (!f.file) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001386 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001387 goto out;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001388 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001389
Al Viro496ad9a2013-01-23 17:07:38 -05001390 inode = file_inode(f.file);
Al Viro2903ff02012-08-28 12:52:22 -04001391 if (unlikely(f.file->f_op != &mqueue_file_operations)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001392 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001393 goto out_fput;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001394 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001395 info = MQUEUE_I(inode);
1396
1397 ret = 0;
1398 spin_lock(&info->lock);
Al Viro0d060602017-06-27 21:32:36 -04001399 if (notification == NULL) {
Cedric Le Goatera03fcb72006-10-02 02:17:26 -07001400 if (info->notify_owner == task_tgid(current)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001401 remove_notification(info);
Deepa Dinamani078cd822016-09-14 07:48:04 -07001402 inode->i_atime = inode->i_ctime = current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001403 }
Cedric Le Goatera03fcb72006-10-02 02:17:26 -07001404 } else if (info->notify_owner != NULL) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001405 ret = -EBUSY;
1406 } else {
Al Viro0d060602017-06-27 21:32:36 -04001407 switch (notification->sigev_notify) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001408 case SIGEV_NONE:
1409 info->notify.sigev_notify = SIGEV_NONE;
1410 break;
1411 case SIGEV_THREAD:
1412 info->notify_sock = sock;
1413 info->notify_cookie = nc;
1414 sock = NULL;
1415 nc = NULL;
1416 info->notify.sigev_notify = SIGEV_THREAD;
1417 break;
1418 case SIGEV_SIGNAL:
Al Viro0d060602017-06-27 21:32:36 -04001419 info->notify.sigev_signo = notification->sigev_signo;
1420 info->notify.sigev_value = notification->sigev_value;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001421 info->notify.sigev_notify = SIGEV_SIGNAL;
Oleg Nesterovb5f20062020-05-07 18:35:39 -07001422 info->notify_self_exec_id = current->self_exec_id;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001423 break;
1424 }
Cedric Le Goatera03fcb72006-10-02 02:17:26 -07001425
1426 info->notify_owner = get_pid(task_tgid(current));
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -08001427 info->notify_user_ns = get_user_ns(current_user_ns());
Deepa Dinamani078cd822016-09-14 07:48:04 -07001428 inode->i_atime = inode->i_ctime = current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001429 }
1430 spin_unlock(&info->lock);
1431out_fput:
Al Viro2903ff02012-08-28 12:52:22 -04001432 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001433out:
Davidlohr Bueso3ab08fe2014-01-27 17:07:06 -08001434 if (sock)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001435 netlink_detachskb(sock, nc);
Markus Elfring97b0b1a2019-09-25 16:48:14 -07001436 else
Markus Elfringc2317402019-09-25 16:48:17 -07001437free_skb:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001438 dev_kfree_skb(nc);
Davidlohr Bueso3ab08fe2014-01-27 17:07:06 -08001439
Linus Torvalds1da177e2005-04-16 15:20:36 -07001440 return ret;
1441}
1442
Al Viro0d060602017-06-27 21:32:36 -04001443SYSCALL_DEFINE2(mq_notify, mqd_t, mqdes,
1444 const struct sigevent __user *, u_notification)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001445{
Al Viro0d060602017-06-27 21:32:36 -04001446 struct sigevent n, *p = NULL;
1447 if (u_notification) {
1448 if (copy_from_user(&n, u_notification, sizeof(struct sigevent)))
1449 return -EFAULT;
1450 p = &n;
1451 }
1452 return do_mq_notify(mqdes, p);
1453}
1454
1455static int do_mq_getsetattr(int mqdes, struct mq_attr *new, struct mq_attr *old)
1456{
Al Viro2903ff02012-08-28 12:52:22 -04001457 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001458 struct inode *inode;
1459 struct mqueue_inode_info *info;
1460
Al Viro0d060602017-06-27 21:32:36 -04001461 if (new && (new->mq_flags & (~O_NONBLOCK)))
1462 return -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001463
Al Viro2903ff02012-08-28 12:52:22 -04001464 f = fdget(mqdes);
Al Viro0d060602017-06-27 21:32:36 -04001465 if (!f.file)
1466 return -EBADF;
1467
1468 if (unlikely(f.file->f_op != &mqueue_file_operations)) {
1469 fdput(f);
1470 return -EBADF;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001471 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001472
Al Viro496ad9a2013-01-23 17:07:38 -05001473 inode = file_inode(f.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001474 info = MQUEUE_I(inode);
1475
1476 spin_lock(&info->lock);
1477
Al Viro0d060602017-06-27 21:32:36 -04001478 if (old) {
1479 *old = info->attr;
1480 old->mq_flags = f.file->f_flags & O_NONBLOCK;
1481 }
1482 if (new) {
1483 audit_mq_getsetattr(mqdes, new);
Al Viro2903ff02012-08-28 12:52:22 -04001484 spin_lock(&f.file->f_lock);
Al Viro0d060602017-06-27 21:32:36 -04001485 if (new->mq_flags & O_NONBLOCK)
Al Viro2903ff02012-08-28 12:52:22 -04001486 f.file->f_flags |= O_NONBLOCK;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001487 else
Al Viro2903ff02012-08-28 12:52:22 -04001488 f.file->f_flags &= ~O_NONBLOCK;
1489 spin_unlock(&f.file->f_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001490
Deepa Dinamani078cd822016-09-14 07:48:04 -07001491 inode->i_atime = inode->i_ctime = current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001492 }
1493
1494 spin_unlock(&info->lock);
Al Viro2903ff02012-08-28 12:52:22 -04001495 fdput(f);
Al Viro0d060602017-06-27 21:32:36 -04001496 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001497}
1498
Al Viro0d060602017-06-27 21:32:36 -04001499SYSCALL_DEFINE3(mq_getsetattr, mqd_t, mqdes,
1500 const struct mq_attr __user *, u_mqstat,
1501 struct mq_attr __user *, u_omqstat)
1502{
1503 int ret;
1504 struct mq_attr mqstat, omqstat;
1505 struct mq_attr *new = NULL, *old = NULL;
1506
1507 if (u_mqstat) {
1508 new = &mqstat;
1509 if (copy_from_user(new, u_mqstat, sizeof(struct mq_attr)))
1510 return -EFAULT;
1511 }
1512 if (u_omqstat)
1513 old = &omqstat;
1514
1515 ret = do_mq_getsetattr(mqdes, new, old);
1516 if (ret || !old)
1517 return ret;
1518
1519 if (copy_to_user(u_omqstat, old, sizeof(struct mq_attr)))
1520 return -EFAULT;
1521 return 0;
1522}
1523
1524#ifdef CONFIG_COMPAT
1525
1526struct compat_mq_attr {
1527 compat_long_t mq_flags; /* message queue flags */
1528 compat_long_t mq_maxmsg; /* maximum number of messages */
1529 compat_long_t mq_msgsize; /* maximum message size */
1530 compat_long_t mq_curmsgs; /* number of messages currently queued */
1531 compat_long_t __reserved[4]; /* ignored for input, zeroed for output */
1532};
1533
1534static inline int get_compat_mq_attr(struct mq_attr *attr,
1535 const struct compat_mq_attr __user *uattr)
1536{
1537 struct compat_mq_attr v;
1538
1539 if (copy_from_user(&v, uattr, sizeof(*uattr)))
1540 return -EFAULT;
1541
1542 memset(attr, 0, sizeof(*attr));
1543 attr->mq_flags = v.mq_flags;
1544 attr->mq_maxmsg = v.mq_maxmsg;
1545 attr->mq_msgsize = v.mq_msgsize;
1546 attr->mq_curmsgs = v.mq_curmsgs;
1547 return 0;
1548}
1549
1550static inline int put_compat_mq_attr(const struct mq_attr *attr,
1551 struct compat_mq_attr __user *uattr)
1552{
1553 struct compat_mq_attr v;
1554
1555 memset(&v, 0, sizeof(v));
1556 v.mq_flags = attr->mq_flags;
1557 v.mq_maxmsg = attr->mq_maxmsg;
1558 v.mq_msgsize = attr->mq_msgsize;
1559 v.mq_curmsgs = attr->mq_curmsgs;
1560 if (copy_to_user(uattr, &v, sizeof(*uattr)))
1561 return -EFAULT;
1562 return 0;
1563}
1564
1565COMPAT_SYSCALL_DEFINE4(mq_open, const char __user *, u_name,
1566 int, oflag, compat_mode_t, mode,
1567 struct compat_mq_attr __user *, u_attr)
1568{
1569 struct mq_attr attr, *p = NULL;
1570 if (u_attr && oflag & O_CREAT) {
1571 p = &attr;
1572 if (get_compat_mq_attr(&attr, u_attr))
1573 return -EFAULT;
1574 }
1575 return do_mq_open(u_name, oflag, mode, p);
1576}
1577
Arnd Bergmannb0d17572018-04-13 13:58:23 +02001578COMPAT_SYSCALL_DEFINE2(mq_notify, mqd_t, mqdes,
1579 const struct compat_sigevent __user *, u_notification)
1580{
1581 struct sigevent n, *p = NULL;
1582 if (u_notification) {
1583 if (get_compat_sigevent(&n, u_notification))
1584 return -EFAULT;
1585 if (n.sigev_notify == SIGEV_THREAD)
1586 n.sigev_value.sival_ptr = compat_ptr(n.sigev_value.sival_int);
1587 p = &n;
1588 }
1589 return do_mq_notify(mqdes, p);
1590}
1591
1592COMPAT_SYSCALL_DEFINE3(mq_getsetattr, mqd_t, mqdes,
1593 const struct compat_mq_attr __user *, u_mqstat,
1594 struct compat_mq_attr __user *, u_omqstat)
1595{
1596 int ret;
1597 struct mq_attr mqstat, omqstat;
1598 struct mq_attr *new = NULL, *old = NULL;
1599
1600 if (u_mqstat) {
1601 new = &mqstat;
1602 if (get_compat_mq_attr(new, u_mqstat))
1603 return -EFAULT;
1604 }
1605 if (u_omqstat)
1606 old = &omqstat;
1607
1608 ret = do_mq_getsetattr(mqdes, new, old);
1609 if (ret || !old)
1610 return ret;
1611
1612 if (put_compat_mq_attr(old, u_omqstat))
1613 return -EFAULT;
1614 return 0;
1615}
1616#endif
1617
1618#ifdef CONFIG_COMPAT_32BIT_TIME
Arnd Bergmann9afc5ee2018-07-13 12:52:28 +02001619static int compat_prepare_timeout(const struct old_timespec32 __user *p,
Deepa Dinamanib9047722017-08-02 19:51:11 -07001620 struct timespec64 *ts)
Al Viro0d060602017-06-27 21:32:36 -04001621{
Arnd Bergmann9afc5ee2018-07-13 12:52:28 +02001622 if (get_old_timespec32(ts, p))
Al Viro0d060602017-06-27 21:32:36 -04001623 return -EFAULT;
Deepa Dinamanib9047722017-08-02 19:51:11 -07001624 if (!timespec64_valid(ts))
Al Viro0d060602017-06-27 21:32:36 -04001625 return -EINVAL;
1626 return 0;
1627}
1628
Arnd Bergmann8dabe722019-01-07 00:33:08 +01001629SYSCALL_DEFINE5(mq_timedsend_time32, mqd_t, mqdes,
1630 const char __user *, u_msg_ptr,
1631 unsigned int, msg_len, unsigned int, msg_prio,
1632 const struct old_timespec32 __user *, u_abs_timeout)
Al Viro0d060602017-06-27 21:32:36 -04001633{
Deepa Dinamanib9047722017-08-02 19:51:11 -07001634 struct timespec64 ts, *p = NULL;
Al Viro0d060602017-06-27 21:32:36 -04001635 if (u_abs_timeout) {
1636 int res = compat_prepare_timeout(u_abs_timeout, &ts);
1637 if (res)
1638 return res;
1639 p = &ts;
1640 }
1641 return do_mq_timedsend(mqdes, u_msg_ptr, msg_len, msg_prio, p);
1642}
1643
Arnd Bergmann8dabe722019-01-07 00:33:08 +01001644SYSCALL_DEFINE5(mq_timedreceive_time32, mqd_t, mqdes,
1645 char __user *, u_msg_ptr,
1646 unsigned int, msg_len, unsigned int __user *, u_msg_prio,
1647 const struct old_timespec32 __user *, u_abs_timeout)
Al Viro0d060602017-06-27 21:32:36 -04001648{
Deepa Dinamanib9047722017-08-02 19:51:11 -07001649 struct timespec64 ts, *p = NULL;
Al Viro0d060602017-06-27 21:32:36 -04001650 if (u_abs_timeout) {
1651 int res = compat_prepare_timeout(u_abs_timeout, &ts);
1652 if (res)
1653 return res;
1654 p = &ts;
1655 }
1656 return do_mq_timedreceive(mqdes, u_msg_ptr, msg_len, u_msg_prio, p);
1657}
Al Viro0d060602017-06-27 21:32:36 -04001658#endif
1659
Arjan van de Ven92e1d5b2007-02-12 00:55:39 -08001660static const struct inode_operations mqueue_dir_inode_operations = {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001661 .lookup = simple_lookup,
1662 .create = mqueue_create,
1663 .unlink = mqueue_unlink,
1664};
1665
Arjan van de Ven9a321442007-02-12 00:55:35 -08001666static const struct file_operations mqueue_file_operations = {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001667 .flush = mqueue_flush_file,
1668 .poll = mqueue_poll_file,
1669 .read = mqueue_read_file,
Arnd Bergmann6038f372010-08-15 18:52:59 +02001670 .llseek = default_llseek,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001671};
1672
Alexey Dobriyanb87221d2009-09-21 17:01:09 -07001673static const struct super_operations mqueue_super_ops = {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001674 .alloc_inode = mqueue_alloc_inode,
Al Viro015d7952019-04-15 22:30:30 -04001675 .free_inode = mqueue_free_inode,
Al Viro6d8af642010-06-05 16:29:45 -04001676 .evict_inode = mqueue_evict_inode,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001677 .statfs = simple_statfs,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001678};
1679
David Howells935c69122018-11-01 23:07:25 +00001680static const struct fs_context_operations mqueue_fs_context_ops = {
1681 .free = mqueue_fs_context_free,
1682 .get_tree = mqueue_get_tree,
1683};
1684
Linus Torvalds1da177e2005-04-16 15:20:36 -07001685static struct file_system_type mqueue_fs_type = {
David Howells935c69122018-11-01 23:07:25 +00001686 .name = "mqueue",
1687 .init_fs_context = mqueue_init_fs_context,
1688 .kill_sb = kill_litter_super,
1689 .fs_flags = FS_USERNS_MOUNT,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001690};
1691
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001692int mq_init_ns(struct ipc_namespace *ns)
1693{
David Howells935c69122018-11-01 23:07:25 +00001694 struct vfsmount *m;
1695
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001696 ns->mq_queues_count = 0;
1697 ns->mq_queues_max = DFLT_QUEUESMAX;
1698 ns->mq_msg_max = DFLT_MSGMAX;
1699 ns->mq_msgsize_max = DFLT_MSGSIZEMAX;
KOSAKI Motohirocef01842012-05-31 16:26:33 -07001700 ns->mq_msg_default = DFLT_MSG;
1701 ns->mq_msgsize_default = DFLT_MSGSIZE;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001702
David Howells935c69122018-11-01 23:07:25 +00001703 m = mq_create_mount(ns);
1704 if (IS_ERR(m))
1705 return PTR_ERR(m);
1706 ns->mq_mnt = m;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001707 return 0;
1708}
1709
1710void mq_clear_sbinfo(struct ipc_namespace *ns)
1711{
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -05001712 ns->mq_mnt->mnt_sb->s_fs_info = NULL;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001713}
1714
1715void mq_put_mnt(struct ipc_namespace *ns)
1716{
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -05001717 kern_unmount(ns->mq_mnt);
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001718}
1719
Linus Torvalds1da177e2005-04-16 15:20:36 -07001720static int __init init_mqueue_fs(void)
1721{
1722 int error;
1723
1724 mqueue_inode_cachep = kmem_cache_create("mqueue_inode_cache",
1725 sizeof(struct mqueue_inode_info), 0,
Vladimir Davydov5d097052016-01-14 15:18:21 -08001726 SLAB_HWCACHE_ALIGN|SLAB_ACCOUNT, init_once);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001727 if (mqueue_inode_cachep == NULL)
1728 return -ENOMEM;
1729
André Goddard Rosa2329e3922010-02-23 04:04:27 -03001730 /* ignore failures - they are not fatal */
Serge E. Hallynbdc8e5f2009-04-06 19:01:11 -07001731 mq_sysctl_table = mq_register_sysctl_table();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001732
1733 error = register_filesystem(&mqueue_fs_type);
1734 if (error)
1735 goto out_sysctl;
1736
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001737 spin_lock_init(&mq_lock);
1738
Al Viro6f686572011-12-09 00:38:50 -05001739 error = mq_init_ns(&init_ipc_ns);
1740 if (error)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001741 goto out_filesystem;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001742
Linus Torvalds1da177e2005-04-16 15:20:36 -07001743 return 0;
1744
1745out_filesystem:
1746 unregister_filesystem(&mqueue_fs_type);
1747out_sysctl:
1748 if (mq_sysctl_table)
1749 unregister_sysctl_table(mq_sysctl_table);
Alexey Dobriyan1a1d92c2006-09-27 01:49:40 -07001750 kmem_cache_destroy(mqueue_inode_cachep);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001751 return error;
1752}
1753
Davidlohr Bueso6d08a252014-04-07 15:39:18 -07001754device_initcall(init_mqueue_fs);