blob: 46d0265423f5ba2d5fefa8b4256f09b625dea4c1 [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>
21#include <linux/namei.h>
22#include <linux/sysctl.h>
23#include <linux/poll.h>
24#include <linux/mqueue.h>
25#include <linux/msg.h>
26#include <linux/skbuff.h>
Doug Ledford5b5c4d12012-05-31 16:26:30 -070027#include <linux/vmalloc.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070028#include <linux/netlink.h>
29#include <linux/syscalls.h>
George C. Wilson20ca73b2006-05-24 16:09:55 -050030#include <linux/audit.h>
Jesper Juhl7ed20e12005-05-01 08:59:14 -070031#include <linux/signal.h>
Ingo Molnar5f921ae2006-03-26 01:37:17 -080032#include <linux/mutex.h>
Pavel Emelyanovb4888932007-10-18 23:40:14 -070033#include <linux/nsproxy.h>
34#include <linux/pid.h>
Serge E. Hallyn614b84c2009-04-06 19:01:08 -070035#include <linux/ipc_namespace.h>
Serge E. Hallyn6b550f92012-01-10 15:11:37 -080036#include <linux/user_namespace.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090037#include <linux/slab.h>
Ingo Molnar84f001e2017-02-01 16:36:40 +010038#include <linux/sched/wake_q.h>
Ingo Molnar3f07c012017-02-08 18:51:30 +010039#include <linux/sched/signal.h>
Ingo Molnar8703e8a2017-02-08 18:51:30 +010040#include <linux/sched/user.h>
Ingo Molnar5f921ae2006-03-26 01:37:17 -080041
Linus Torvalds1da177e2005-04-16 15:20:36 -070042#include <net/sock.h>
43#include "util.h"
44
45#define MQUEUE_MAGIC 0x19800202
46#define DIRENT_SIZE 20
47#define FILENT_SIZE 80
48
49#define SEND 0
50#define RECV 1
51
52#define STATE_NONE 0
Davidlohr Buesofa6004a2015-05-04 07:02:46 -070053#define STATE_READY 1
Linus Torvalds1da177e2005-04-16 15:20:36 -070054
Doug Ledfordd6629852012-05-31 16:26:35 -070055struct posix_msg_tree_node {
56 struct rb_node rb_node;
57 struct list_head msg_list;
58 int priority;
59};
60
Linus Torvalds1da177e2005-04-16 15:20:36 -070061struct ext_wait_queue { /* queue of sleeping tasks */
62 struct task_struct *task;
63 struct list_head list;
64 struct msg_msg *msg; /* ptr of loaded message */
65 int state; /* one of STATE_* values */
66};
67
68struct mqueue_inode_info {
69 spinlock_t lock;
70 struct inode vfs_inode;
71 wait_queue_head_t wait_q;
72
Doug Ledfordd6629852012-05-31 16:26:35 -070073 struct rb_root msg_tree;
Doug Ledfordce2d52c2012-05-31 16:26:38 -070074 struct posix_msg_tree_node *node_cache;
Linus Torvalds1da177e2005-04-16 15:20:36 -070075 struct mq_attr attr;
76
77 struct sigevent notify;
Manfred Spraul239521f2014-01-27 17:07:04 -080078 struct pid *notify_owner;
Oleg Nesterovc7eb87c2020-05-07 18:35:39 -070079 u32 notify_self_exec_id;
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -080080 struct user_namespace *notify_user_ns;
Adrian Bunk338cec32005-09-10 00:26:54 -070081 struct user_struct *user; /* user who created, for accounting */
Linus Torvalds1da177e2005-04-16 15:20:36 -070082 struct sock *notify_sock;
83 struct sk_buff *notify_cookie;
84
85 /* for tasks waiting for free space and messages, respectively */
86 struct ext_wait_queue e_wait_q[2];
87
88 unsigned long qsize; /* size of queue in memory (sum of all msgs) */
89};
90
Arjan van de Ven92e1d5b2007-02-12 00:55:39 -080091static const struct inode_operations mqueue_dir_inode_operations;
Arjan van de Ven9a321442007-02-12 00:55:35 -080092static const struct file_operations mqueue_file_operations;
Alexey Dobriyanb87221d2009-09-21 17:01:09 -070093static const struct super_operations mqueue_super_ops;
Linus Torvalds1da177e2005-04-16 15:20:36 -070094static void remove_notification(struct mqueue_inode_info *info);
95
Christoph Lametere18b8902006-12-06 20:33:20 -080096static struct kmem_cache *mqueue_inode_cachep;
Linus Torvalds1da177e2005-04-16 15:20:36 -070097
Manfred Spraul239521f2014-01-27 17:07:04 -080098static struct ctl_table_header *mq_sysctl_table;
Linus Torvalds1da177e2005-04-16 15:20:36 -070099
100static inline struct mqueue_inode_info *MQUEUE_I(struct inode *inode)
101{
102 return container_of(inode, struct mqueue_inode_info, vfs_inode);
103}
104
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700105/*
106 * This routine should be called with the mq_lock held.
107 */
108static inline struct ipc_namespace *__get_ns_from_inode(struct inode *inode)
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700109{
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700110 return get_ipc_ns(inode->i_sb->s_fs_info);
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700111}
112
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700113static struct ipc_namespace *get_ns_from_inode(struct inode *inode)
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700114{
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700115 struct ipc_namespace *ns;
116
117 spin_lock(&mq_lock);
118 ns = __get_ns_from_inode(inode);
119 spin_unlock(&mq_lock);
120 return ns;
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700121}
122
Doug Ledfordd6629852012-05-31 16:26:35 -0700123/* Auxiliary functions to manipulate messages' list */
124static int msg_insert(struct msg_msg *msg, struct mqueue_inode_info *info)
125{
126 struct rb_node **p, *parent = NULL;
127 struct posix_msg_tree_node *leaf;
128
129 p = &info->msg_tree.rb_node;
130 while (*p) {
131 parent = *p;
132 leaf = rb_entry(parent, struct posix_msg_tree_node, rb_node);
133
134 if (likely(leaf->priority == msg->m_type))
135 goto insert_msg;
136 else if (msg->m_type < leaf->priority)
137 p = &(*p)->rb_left;
138 else
139 p = &(*p)->rb_right;
140 }
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700141 if (info->node_cache) {
142 leaf = info->node_cache;
143 info->node_cache = NULL;
144 } else {
145 leaf = kmalloc(sizeof(*leaf), GFP_ATOMIC);
146 if (!leaf)
147 return -ENOMEM;
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700148 INIT_LIST_HEAD(&leaf->msg_list);
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700149 }
Doug Ledfordd6629852012-05-31 16:26:35 -0700150 leaf->priority = msg->m_type;
151 rb_link_node(&leaf->rb_node, parent, p);
152 rb_insert_color(&leaf->rb_node, &info->msg_tree);
Doug Ledfordd6629852012-05-31 16:26:35 -0700153insert_msg:
154 info->attr.mq_curmsgs++;
155 info->qsize += msg->m_ts;
156 list_add_tail(&msg->m_list, &leaf->msg_list);
157 return 0;
158}
159
160static inline struct msg_msg *msg_get(struct mqueue_inode_info *info)
161{
162 struct rb_node **p, *parent = NULL;
163 struct posix_msg_tree_node *leaf;
164 struct msg_msg *msg;
165
166try_again:
167 p = &info->msg_tree.rb_node;
168 while (*p) {
169 parent = *p;
170 /*
171 * During insert, low priorities go to the left and high to the
172 * right. On receive, we want the highest priorities first, so
173 * walk all the way to the right.
174 */
175 p = &(*p)->rb_right;
176 }
177 if (!parent) {
178 if (info->attr.mq_curmsgs) {
179 pr_warn_once("Inconsistency in POSIX message queue, "
180 "no tree element, but supposedly messages "
181 "should exist!\n");
182 info->attr.mq_curmsgs = 0;
183 }
184 return NULL;
185 }
186 leaf = rb_entry(parent, struct posix_msg_tree_node, rb_node);
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700187 if (unlikely(list_empty(&leaf->msg_list))) {
Doug Ledfordd6629852012-05-31 16:26:35 -0700188 pr_warn_once("Inconsistency in POSIX message queue, "
189 "empty leaf node but we haven't implemented "
190 "lazy leaf delete!\n");
191 rb_erase(&leaf->rb_node, &info->msg_tree);
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700192 if (info->node_cache) {
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700193 kfree(leaf);
194 } else {
195 info->node_cache = leaf;
196 }
Doug Ledfordd6629852012-05-31 16:26:35 -0700197 goto try_again;
198 } else {
199 msg = list_first_entry(&leaf->msg_list,
200 struct msg_msg, m_list);
201 list_del(&msg->m_list);
202 if (list_empty(&leaf->msg_list)) {
203 rb_erase(&leaf->rb_node, &info->msg_tree);
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700204 if (info->node_cache) {
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700205 kfree(leaf);
206 } else {
207 info->node_cache = leaf;
208 }
Doug Ledfordd6629852012-05-31 16:26:35 -0700209 }
210 }
211 info->attr.mq_curmsgs--;
212 info->qsize -= msg->m_ts;
213 return msg;
214}
215
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700216static struct inode *mqueue_get_inode(struct super_block *sb,
Al Viro1b9d5ff72011-07-24 14:18:20 -0400217 struct ipc_namespace *ipc_ns, umode_t mode,
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700218 struct mq_attr *attr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700219{
David Howells86a264a2008-11-14 10:39:18 +1100220 struct user_struct *u = current_user();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700221 struct inode *inode;
Jiri Slabyd40dcdb2011-07-26 16:08:47 -0700222 int ret = -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700223
224 inode = new_inode(sb);
Jiri Slaby04715202011-07-26 16:08:46 -0700225 if (!inode)
226 goto err;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700227
Jiri Slaby04715202011-07-26 16:08:46 -0700228 inode->i_ino = get_next_ino();
229 inode->i_mode = mode;
230 inode->i_uid = current_fsuid();
231 inode->i_gid = current_fsgid();
Deepa Dinamani078cd822016-09-14 07:48:04 -0700232 inode->i_mtime = inode->i_ctime = inode->i_atime = current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700233
Jiri Slaby04715202011-07-26 16:08:46 -0700234 if (S_ISREG(mode)) {
235 struct mqueue_inode_info *info;
Doug Ledfordd6629852012-05-31 16:26:35 -0700236 unsigned long mq_bytes, mq_treesize;
André Goddard Rosac8308b12010-02-23 04:04:23 -0300237
Jiri Slaby04715202011-07-26 16:08:46 -0700238 inode->i_fop = &mqueue_file_operations;
239 inode->i_size = FILENT_SIZE;
240 /* mqueue specific info */
241 info = MQUEUE_I(inode);
242 spin_lock_init(&info->lock);
243 init_waitqueue_head(&info->wait_q);
244 INIT_LIST_HEAD(&info->e_wait_q[0].list);
245 INIT_LIST_HEAD(&info->e_wait_q[1].list);
246 info->notify_owner = NULL;
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800247 info->notify_user_ns = NULL;
Jiri Slaby04715202011-07-26 16:08:46 -0700248 info->qsize = 0;
249 info->user = NULL; /* set when all is ok */
Doug Ledfordd6629852012-05-31 16:26:35 -0700250 info->msg_tree = RB_ROOT;
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700251 info->node_cache = NULL;
Jiri Slaby04715202011-07-26 16:08:46 -0700252 memset(&info->attr, 0, sizeof(info->attr));
KOSAKI Motohirocef01842012-05-31 16:26:33 -0700253 info->attr.mq_maxmsg = min(ipc_ns->mq_msg_max,
254 ipc_ns->mq_msg_default);
255 info->attr.mq_msgsize = min(ipc_ns->mq_msgsize_max,
256 ipc_ns->mq_msgsize_default);
Jiri Slaby04715202011-07-26 16:08:46 -0700257 if (attr) {
258 info->attr.mq_maxmsg = attr->mq_maxmsg;
259 info->attr.mq_msgsize = attr->mq_msgsize;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700260 }
Doug Ledfordd6629852012-05-31 16:26:35 -0700261 /*
262 * We used to allocate a static array of pointers and account
263 * the size of that array as well as one msg_msg struct per
264 * possible message into the queue size. That's no longer
265 * accurate as the queue is now an rbtree and will grow and
266 * shrink depending on usage patterns. We can, however, still
267 * account one msg_msg struct per message, but the nodes are
268 * allocated depending on priority usage, and most programs
269 * only use one, or a handful, of priorities. However, since
270 * this is pinned memory, we need to assume worst case, so
271 * that means the min(mq_maxmsg, max_priorities) * struct
272 * posix_msg_tree_node.
273 */
Al Viro05c1b292017-12-01 17:43:43 -0500274
275 ret = -EINVAL;
276 if (info->attr.mq_maxmsg <= 0 || info->attr.mq_msgsize <= 0)
277 goto out_inode;
278 if (capable(CAP_SYS_RESOURCE)) {
279 if (info->attr.mq_maxmsg > HARD_MSGMAX ||
280 info->attr.mq_msgsize > HARD_MSGSIZEMAX)
281 goto out_inode;
282 } else {
283 if (info->attr.mq_maxmsg > ipc_ns->mq_msg_max ||
284 info->attr.mq_msgsize > ipc_ns->mq_msgsize_max)
285 goto out_inode;
286 }
287 ret = -EOVERFLOW;
288 /* check for overflow */
289 if (info->attr.mq_msgsize > ULONG_MAX/info->attr.mq_maxmsg)
290 goto out_inode;
Doug Ledfordd6629852012-05-31 16:26:35 -0700291 mq_treesize = info->attr.mq_maxmsg * sizeof(struct msg_msg) +
292 min_t(unsigned int, info->attr.mq_maxmsg, MQ_PRIO_MAX) *
293 sizeof(struct posix_msg_tree_node);
Al Viro05c1b292017-12-01 17:43:43 -0500294 mq_bytes = info->attr.mq_maxmsg * info->attr.mq_msgsize;
295 if (mq_bytes + mq_treesize < mq_bytes)
296 goto out_inode;
297 mq_bytes += mq_treesize;
Jiri Slaby04715202011-07-26 16:08:46 -0700298 spin_lock(&mq_lock);
299 if (u->mq_bytes + mq_bytes < u->mq_bytes ||
Davidlohr Bueso2a4e64b2012-01-20 14:34:01 -0800300 u->mq_bytes + mq_bytes > rlimit(RLIMIT_MSGQUEUE)) {
Jiri Slaby04715202011-07-26 16:08:46 -0700301 spin_unlock(&mq_lock);
302 /* mqueue_evict_inode() releases info->messages */
Jiri Slabyd40dcdb2011-07-26 16:08:47 -0700303 ret = -EMFILE;
Jiri Slaby04715202011-07-26 16:08:46 -0700304 goto out_inode;
305 }
306 u->mq_bytes += mq_bytes;
307 spin_unlock(&mq_lock);
308
309 /* all is ok */
310 info->user = get_uid(u);
311 } else if (S_ISDIR(mode)) {
312 inc_nlink(inode);
313 /* Some things misbehave if size == 0 on a directory */
314 inode->i_size = 2 * DIRENT_SIZE;
315 inode->i_op = &mqueue_dir_inode_operations;
316 inode->i_fop = &simple_dir_operations;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700317 }
Jiri Slaby04715202011-07-26 16:08:46 -0700318
Linus Torvalds1da177e2005-04-16 15:20:36 -0700319 return inode;
320out_inode:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700321 iput(inode);
Jiri Slaby04715202011-07-26 16:08:46 -0700322err:
Jiri Slabyd40dcdb2011-07-26 16:08:47 -0700323 return ERR_PTR(ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700324}
325
326static int mqueue_fill_super(struct super_block *sb, void *data, int silent)
327{
328 struct inode *inode;
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -0500329 struct ipc_namespace *ns = sb->s_fs_info;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700330
Eric W. Biedermana2982cc2016-06-09 15:34:02 -0500331 sb->s_iflags |= SB_I_NOEXEC | SB_I_NODEV;
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300332 sb->s_blocksize = PAGE_SIZE;
333 sb->s_blocksize_bits = PAGE_SHIFT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700334 sb->s_magic = MQUEUE_MAGIC;
335 sb->s_op = &mqueue_super_ops;
336
Al Viro48fde702012-01-08 22:15:13 -0500337 inode = mqueue_get_inode(sb, ns, S_IFDIR | S_ISVTX | S_IRWXUGO, NULL);
338 if (IS_ERR(inode))
339 return PTR_ERR(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700340
Al Viro48fde702012-01-08 22:15:13 -0500341 sb->s_root = d_make_root(inode);
342 if (!sb->s_root)
343 return -ENOMEM;
344 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700345}
346
Al Viroceefda62010-07-26 13:16:50 +0400347static struct dentry *mqueue_mount(struct file_system_type *fs_type,
David Howells454e2392006-06-23 02:02:57 -0700348 int flags, const char *dev_name,
Al Viroceefda62010-07-26 13:16:50 +0400349 void *data)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700350{
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -0500351 struct ipc_namespace *ns;
352 if (flags & SB_KERNMOUNT) {
353 ns = data;
354 data = NULL;
355 } else {
356 ns = current->nsproxy->ipc_ns;
357 }
358 return mount_ns(fs_type, flags, data, ns, ns->user_ns, mqueue_fill_super);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700359}
360
Alexey Dobriyan51cc5062008-07-25 19:45:34 -0700361static void init_once(void *foo)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700362{
363 struct mqueue_inode_info *p = (struct mqueue_inode_info *) foo;
364
Christoph Lametera35afb82007-05-16 22:10:57 -0700365 inode_init_once(&p->vfs_inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700366}
367
368static struct inode *mqueue_alloc_inode(struct super_block *sb)
369{
370 struct mqueue_inode_info *ei;
371
Christoph Lametere94b1762006-12-06 20:33:17 -0800372 ei = kmem_cache_alloc(mqueue_inode_cachep, GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700373 if (!ei)
374 return NULL;
375 return &ei->vfs_inode;
376}
377
Nick Pigginfa0d7e3d2011-01-07 17:49:49 +1100378static void mqueue_i_callback(struct rcu_head *head)
379{
380 struct inode *inode = container_of(head, struct inode, i_rcu);
Nick Pigginfa0d7e3d2011-01-07 17:49:49 +1100381 kmem_cache_free(mqueue_inode_cachep, MQUEUE_I(inode));
382}
383
Linus Torvalds1da177e2005-04-16 15:20:36 -0700384static void mqueue_destroy_inode(struct inode *inode)
385{
Nick Pigginfa0d7e3d2011-01-07 17:49:49 +1100386 call_rcu(&inode->i_rcu, mqueue_i_callback);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700387}
388
Al Viro6d8af642010-06-05 16:29:45 -0400389static void mqueue_evict_inode(struct inode *inode)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700390{
391 struct mqueue_inode_info *info;
392 struct user_struct *user;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700393 struct ipc_namespace *ipc_ns;
Li Rongqing20de7542019-05-14 15:46:20 -0700394 struct msg_msg *msg, *nmsg;
395 LIST_HEAD(tmp_msg);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700396
Jan Karadbd57682012-05-03 14:48:02 +0200397 clear_inode(inode);
Al Viro6d8af642010-06-05 16:29:45 -0400398
399 if (S_ISDIR(inode->i_mode))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700400 return;
Al Viro6d8af642010-06-05 16:29:45 -0400401
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700402 ipc_ns = get_ns_from_inode(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700403 info = MQUEUE_I(inode);
404 spin_lock(&info->lock);
Doug Ledfordd6629852012-05-31 16:26:35 -0700405 while ((msg = msg_get(info)) != NULL)
Li Rongqing20de7542019-05-14 15:46:20 -0700406 list_add_tail(&msg->m_list, &tmp_msg);
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700407 kfree(info->node_cache);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700408 spin_unlock(&info->lock);
409
Li Rongqing20de7542019-05-14 15:46:20 -0700410 list_for_each_entry_safe(msg, nmsg, &tmp_msg, m_list) {
411 list_del(&msg->m_list);
412 free_msg(msg);
413 }
414
Linus Torvalds1da177e2005-04-16 15:20:36 -0700415 user = info->user;
416 if (user) {
Kees Cook48c5c4f2019-07-16 16:30:21 -0700417 unsigned long mq_bytes, mq_treesize;
418
419 /* Total amount of bytes accounted for the mqueue */
420 mq_treesize = info->attr.mq_maxmsg * sizeof(struct msg_msg) +
421 min_t(unsigned int, info->attr.mq_maxmsg, MQ_PRIO_MAX) *
422 sizeof(struct posix_msg_tree_node);
423
424 mq_bytes = mq_treesize + (info->attr.mq_maxmsg *
425 info->attr.mq_msgsize);
426
Linus Torvalds1da177e2005-04-16 15:20:36 -0700427 spin_lock(&mq_lock);
428 user->mq_bytes -= mq_bytes;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700429 /*
430 * get_ns_from_inode() ensures that the
431 * (ipc_ns = sb->s_fs_info) is either a valid ipc_ns
432 * to which we now hold a reference, or it is NULL.
433 * We can't put it here under mq_lock, though.
434 */
435 if (ipc_ns)
436 ipc_ns->mq_queues_count--;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700437 spin_unlock(&mq_lock);
438 free_uid(user);
439 }
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700440 if (ipc_ns)
441 put_ipc_ns(ipc_ns);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700442}
443
Al Viroeecec192017-12-01 17:26:05 -0500444static int mqueue_create_attr(struct dentry *dentry, umode_t mode, void *arg)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700445{
Al Viroeecec192017-12-01 17:26:05 -0500446 struct inode *dir = dentry->d_parent->d_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700447 struct inode *inode;
Al Viroeecec192017-12-01 17:26:05 -0500448 struct mq_attr *attr = arg;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700449 int error;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700450 struct ipc_namespace *ipc_ns;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700451
452 spin_lock(&mq_lock);
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700453 ipc_ns = __get_ns_from_inode(dir);
454 if (!ipc_ns) {
455 error = -EACCES;
456 goto out_unlock;
457 }
Davidlohr Buesof3713fd2014-02-25 15:01:45 -0800458
459 if (ipc_ns->mq_queues_count >= ipc_ns->mq_queues_max &&
460 !capable(CAP_SYS_RESOURCE)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700461 error = -ENOSPC;
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700462 goto out_unlock;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700463 }
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700464 ipc_ns->mq_queues_count++;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700465 spin_unlock(&mq_lock);
466
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700467 inode = mqueue_get_inode(dir->i_sb, ipc_ns, mode, attr);
Jiri Slabyd40dcdb2011-07-26 16:08:47 -0700468 if (IS_ERR(inode)) {
469 error = PTR_ERR(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700470 spin_lock(&mq_lock);
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700471 ipc_ns->mq_queues_count--;
472 goto out_unlock;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700473 }
474
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700475 put_ipc_ns(ipc_ns);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700476 dir->i_size += DIRENT_SIZE;
Deepa Dinamani078cd822016-09-14 07:48:04 -0700477 dir->i_ctime = dir->i_mtime = dir->i_atime = current_time(dir);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700478
479 d_instantiate(dentry, inode);
480 dget(dentry);
481 return 0;
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700482out_unlock:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700483 spin_unlock(&mq_lock);
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700484 if (ipc_ns)
485 put_ipc_ns(ipc_ns);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700486 return error;
487}
488
Al Viroeecec192017-12-01 17:26:05 -0500489static int mqueue_create(struct inode *dir, struct dentry *dentry,
490 umode_t mode, bool excl)
491{
492 return mqueue_create_attr(dentry, mode, NULL);
493}
494
Linus Torvalds1da177e2005-04-16 15:20:36 -0700495static int mqueue_unlink(struct inode *dir, struct dentry *dentry)
496{
David Howells75c3cfa2015-03-17 22:26:12 +0000497 struct inode *inode = d_inode(dentry);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700498
Deepa Dinamani078cd822016-09-14 07:48:04 -0700499 dir->i_ctime = dir->i_mtime = dir->i_atime = current_time(dir);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700500 dir->i_size -= DIRENT_SIZE;
Manfred Spraul239521f2014-01-27 17:07:04 -0800501 drop_nlink(inode);
502 dput(dentry);
503 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700504}
505
506/*
507* This is routine for system read from queue file.
508* To avoid mess with doing here some sort of mq_receive we allow
509* to read only queue size & notification info (the only values
510* that are interesting from user point of view and aren't accessible
511* through std routines)
512*/
513static ssize_t mqueue_read_file(struct file *filp, char __user *u_data,
Akinobu Mitaf1a43f92008-07-25 01:48:07 -0700514 size_t count, loff_t *off)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700515{
Al Viro496ad9a2013-01-23 17:07:38 -0500516 struct mqueue_inode_info *info = MQUEUE_I(file_inode(filp));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700517 char buffer[FILENT_SIZE];
Akinobu Mitaf1a43f92008-07-25 01:48:07 -0700518 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700519
520 spin_lock(&info->lock);
521 snprintf(buffer, sizeof(buffer),
522 "QSIZE:%-10lu NOTIFY:%-5d SIGNO:%-5d NOTIFY_PID:%-6d\n",
523 info->qsize,
524 info->notify_owner ? info->notify.sigev_notify : 0,
525 (info->notify_owner &&
526 info->notify.sigev_notify == SIGEV_SIGNAL) ?
527 info->notify.sigev_signo : 0,
Pavel Emelyanov6c5f3e72008-02-08 04:19:20 -0800528 pid_vnr(info->notify_owner));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700529 spin_unlock(&info->lock);
530 buffer[sizeof(buffer)-1] = '\0';
Linus Torvalds1da177e2005-04-16 15:20:36 -0700531
Akinobu Mitaf1a43f92008-07-25 01:48:07 -0700532 ret = simple_read_from_buffer(u_data, count, off, buffer,
533 strlen(buffer));
534 if (ret <= 0)
535 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700536
Deepa Dinamani078cd822016-09-14 07:48:04 -0700537 file_inode(filp)->i_atime = file_inode(filp)->i_ctime = current_time(file_inode(filp));
Akinobu Mitaf1a43f92008-07-25 01:48:07 -0700538 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700539}
540
Miklos Szeredi75e1fcc2006-06-23 02:05:12 -0700541static int mqueue_flush_file(struct file *filp, fl_owner_t id)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700542{
Al Viro496ad9a2013-01-23 17:07:38 -0500543 struct mqueue_inode_info *info = MQUEUE_I(file_inode(filp));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700544
545 spin_lock(&info->lock);
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700546 if (task_tgid(current) == info->notify_owner)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700547 remove_notification(info);
548
549 spin_unlock(&info->lock);
550 return 0;
551}
552
Al Viro9dd95742017-07-03 00:42:43 -0400553static __poll_t mqueue_poll_file(struct file *filp, struct poll_table_struct *poll_tab)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700554{
Al Viro496ad9a2013-01-23 17:07:38 -0500555 struct mqueue_inode_info *info = MQUEUE_I(file_inode(filp));
Al Viro9dd95742017-07-03 00:42:43 -0400556 __poll_t retval = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700557
558 poll_wait(filp, &info->wait_q, poll_tab);
559
560 spin_lock(&info->lock);
561 if (info->attr.mq_curmsgs)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800562 retval = EPOLLIN | EPOLLRDNORM;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700563
564 if (info->attr.mq_curmsgs < info->attr.mq_maxmsg)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800565 retval |= EPOLLOUT | EPOLLWRNORM;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700566 spin_unlock(&info->lock);
567
568 return retval;
569}
570
571/* Adds current to info->e_wait_q[sr] before element with smaller prio */
572static void wq_add(struct mqueue_inode_info *info, int sr,
573 struct ext_wait_queue *ewp)
574{
575 struct ext_wait_queue *walk;
576
577 ewp->task = current;
578
579 list_for_each_entry(walk, &info->e_wait_q[sr].list, list) {
Jonathan Haws68e34f42018-02-06 15:40:52 -0800580 if (walk->task->prio <= current->prio) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700581 list_add_tail(&ewp->list, &walk->list);
582 return;
583 }
584 }
585 list_add_tail(&ewp->list, &info->e_wait_q[sr].list);
586}
587
588/*
589 * Puts current task to sleep. Caller must hold queue lock. After return
590 * lock isn't held.
591 * sr: SEND or RECV
592 */
593static int wq_sleep(struct mqueue_inode_info *info, int sr,
Carsten Emde9ca7d8e2010-04-02 22:40:20 +0200594 ktime_t *timeout, struct ext_wait_queue *ewp)
Luc Van Oostenryckeac0b1c2017-02-27 14:28:21 -0800595 __releases(&info->lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700596{
597 int retval;
598 signed long time;
599
600 wq_add(info, sr, ewp);
601
602 for (;;) {
Davidlohr Buesofa6004a2015-05-04 07:02:46 -0700603 __set_current_state(TASK_INTERRUPTIBLE);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700604
605 spin_unlock(&info->lock);
Wanlong Gao32ea8452011-10-31 17:06:35 -0700606 time = schedule_hrtimeout_range_clock(timeout, 0,
607 HRTIMER_MODE_ABS, CLOCK_REALTIME);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700608
Linus Torvalds1da177e2005-04-16 15:20:36 -0700609 if (ewp->state == STATE_READY) {
610 retval = 0;
611 goto out;
612 }
613 spin_lock(&info->lock);
614 if (ewp->state == STATE_READY) {
615 retval = 0;
616 goto out_unlock;
617 }
618 if (signal_pending(current)) {
619 retval = -ERESTARTSYS;
620 break;
621 }
622 if (time == 0) {
623 retval = -ETIMEDOUT;
624 break;
625 }
626 }
627 list_del(&ewp->list);
628out_unlock:
629 spin_unlock(&info->lock);
630out:
631 return retval;
632}
633
634/*
635 * Returns waiting task that should be serviced first or NULL if none exists
636 */
637static struct ext_wait_queue *wq_get_first_waiter(
638 struct mqueue_inode_info *info, int sr)
639{
640 struct list_head *ptr;
641
642 ptr = info->e_wait_q[sr].list.prev;
643 if (ptr == &info->e_wait_q[sr].list)
644 return NULL;
645 return list_entry(ptr, struct ext_wait_queue, list);
646}
647
Linus Torvalds1da177e2005-04-16 15:20:36 -0700648
649static inline void set_cookie(struct sk_buff *skb, char code)
650{
Manfred Spraul239521f2014-01-27 17:07:04 -0800651 ((char *)skb->data)[NOTIFY_COOKIE_LEN-1] = code;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700652}
653
654/*
655 * The next function is only to split too long sys_mq_timedsend
656 */
657static void __do_notify(struct mqueue_inode_info *info)
658{
659 /* notification
660 * invoked when there is registered process and there isn't process
661 * waiting synchronously for message AND state of queue changed from
662 * empty to not empty. Here we are sure that no one is waiting
663 * synchronously. */
664 if (info->notify_owner &&
665 info->attr.mq_curmsgs == 1) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700666 switch (info->notify.sigev_notify) {
667 case SIGEV_NONE:
668 break;
Oleg Nesterovc7eb87c2020-05-07 18:35:39 -0700669 case SIGEV_SIGNAL: {
670 struct siginfo sig_i;
671 struct task_struct *task;
672
673 /* do_mq_notify() accepts sigev_signo == 0, why?? */
674 if (!info->notify.sigev_signo)
675 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700676
Eric W. Biedermanfaf1f222018-01-05 17:27:42 -0600677 clear_siginfo(&sig_i);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700678 sig_i.si_signo = info->notify.sigev_signo;
679 sig_i.si_errno = 0;
680 sig_i.si_code = SI_MESGQ;
681 sig_i.si_value = info->notify.sigev_value;
Serge E. Hallyn6b550f92012-01-10 15:11:37 -0800682 rcu_read_lock();
Oleg Nesterovc7eb87c2020-05-07 18:35:39 -0700683 /* map current pid/uid into info->owner's namespaces */
Sukadev Bhattiprolua6684992009-01-07 18:08:50 -0800684 sig_i.si_pid = task_tgid_nr_ns(current,
685 ns_of_pid(info->notify_owner));
Oleg Nesterovc7eb87c2020-05-07 18:35:39 -0700686 sig_i.si_uid = from_kuid_munged(info->notify_user_ns,
687 current_uid());
688 /*
689 * We can't use kill_pid_info(), this signal should
690 * bypass check_kill_permission(). It is from kernel
691 * but si_fromuser() can't know this.
692 * We do check the self_exec_id, to avoid sending
693 * signals to programs that don't expect them.
694 */
695 task = pid_task(info->notify_owner, PIDTYPE_TGID);
696 if (task && task->self_exec_id ==
697 info->notify_self_exec_id) {
698 do_send_sig_info(info->notify.sigev_signo,
699 &sig_i, task, PIDTYPE_TGID);
700 }
Serge E. Hallyn6b550f92012-01-10 15:11:37 -0800701 rcu_read_unlock();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700702 break;
Oleg Nesterovc7eb87c2020-05-07 18:35:39 -0700703 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700704 case SIGEV_THREAD:
705 set_cookie(info->notify_cookie, NOTIFY_WOKENUP);
Denis V. Lunev7ee015e2007-10-10 21:14:03 -0700706 netlink_sendskb(info->notify_sock, info->notify_cookie);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700707 break;
708 }
709 /* after notification unregisters process */
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700710 put_pid(info->notify_owner);
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800711 put_user_ns(info->notify_user_ns);
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700712 info->notify_owner = NULL;
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800713 info->notify_user_ns = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700714 }
715 wake_up(&info->wait_q);
716}
717
Arnd Bergmann21fc5382018-04-13 13:58:00 +0200718static int prepare_timeout(const struct __kernel_timespec __user *u_abs_timeout,
Deepa Dinamanib9047722017-08-02 19:51:11 -0700719 struct timespec64 *ts)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700720{
Deepa Dinamanib9047722017-08-02 19:51:11 -0700721 if (get_timespec64(ts, u_abs_timeout))
Carsten Emde9ca7d8e2010-04-02 22:40:20 +0200722 return -EFAULT;
Deepa Dinamanib9047722017-08-02 19:51:11 -0700723 if (!timespec64_valid(ts))
Carsten Emde9ca7d8e2010-04-02 22:40:20 +0200724 return -EINVAL;
Carsten Emde9ca7d8e2010-04-02 22:40:20 +0200725 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700726}
727
728static void remove_notification(struct mqueue_inode_info *info)
729{
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700730 if (info->notify_owner != NULL &&
Linus Torvalds1da177e2005-04-16 15:20:36 -0700731 info->notify.sigev_notify == SIGEV_THREAD) {
732 set_cookie(info->notify_cookie, NOTIFY_REMOVED);
Denis V. Lunev7ee015e2007-10-10 21:14:03 -0700733 netlink_sendskb(info->notify_sock, info->notify_cookie);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700734 }
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700735 put_pid(info->notify_owner);
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800736 put_user_ns(info->notify_user_ns);
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700737 info->notify_owner = NULL;
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800738 info->notify_user_ns = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700739}
740
Al Viro066cc812017-12-01 17:51:39 -0500741static int prepare_open(struct dentry *dentry, int oflag, int ro,
742 umode_t mode, struct filename *name,
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700743 struct mq_attr *attr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700744{
David Howells745ca242008-11-14 10:39:22 +1100745 static const int oflag2acc[O_ACCMODE] = { MAY_READ, MAY_WRITE,
746 MAY_READ | MAY_WRITE };
Al Viro765927b2012-06-26 21:58:53 +0400747 int acc;
Al Viro066cc812017-12-01 17:51:39 -0500748
Al Viro9b20d7f2017-12-01 17:57:02 -0500749 if (d_really_is_negative(dentry)) {
750 if (!(oflag & O_CREAT))
Al Viro066cc812017-12-01 17:51:39 -0500751 return -ENOENT;
Al Viro9b20d7f2017-12-01 17:57:02 -0500752 if (ro)
753 return ro;
754 audit_inode_parent_hidden(name, dentry->d_parent);
755 return vfs_mkobj(dentry, mode & ~current_umask(),
756 mqueue_create_attr, attr);
Al Viro066cc812017-12-01 17:51:39 -0500757 }
Al Viro9b20d7f2017-12-01 17:57:02 -0500758 /* it already existed */
759 audit_inode(name, dentry, 0);
760 if ((oflag & (O_CREAT|O_EXCL)) == (O_CREAT|O_EXCL))
761 return -EEXIST;
Al Viro765927b2012-06-26 21:58:53 +0400762 if ((oflag & O_ACCMODE) == (O_RDWR | O_WRONLY))
Al Viroaf4a5372017-12-01 17:34:22 -0500763 return -EINVAL;
Al Viro765927b2012-06-26 21:58:53 +0400764 acc = oflag2acc[oflag & O_ACCMODE];
Al Viro066cc812017-12-01 17:51:39 -0500765 return inode_permission(d_inode(dentry), acc);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700766}
767
Al Viro0d060602017-06-27 21:32:36 -0400768static int do_mq_open(const char __user *u_name, int oflag, umode_t mode,
769 struct mq_attr *attr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700770{
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -0500771 struct vfsmount *mnt = current->nsproxy->ipc_ns->mq_mnt;
772 struct dentry *root = mnt->mnt_root;
Jeff Layton91a27b22012-10-10 15:25:28 -0400773 struct filename *name;
Al Viroa713fd72017-12-01 18:01:09 -0500774 struct path path;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700775 int fd, error;
Al Viro312b90f2012-08-06 10:18:17 +0400776 int ro;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700777
Al Viro0d060602017-06-27 21:32:36 -0400778 audit_mq_open(oflag, mode, attr);
George C. Wilson20ca73b2006-05-24 16:09:55 -0500779
Linus Torvalds1da177e2005-04-16 15:20:36 -0700780 if (IS_ERR(name = getname(u_name)))
781 return PTR_ERR(name);
782
Ulrich Drepper269f2132008-05-03 15:28:45 -0400783 fd = get_unused_fd_flags(O_CLOEXEC);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700784 if (fd < 0)
785 goto out_putname;
786
Al Viro312b90f2012-08-06 10:18:17 +0400787 ro = mnt_want_write(mnt); /* we'll drop it in any case */
Al Viro59551022016-01-22 15:40:57 -0500788 inode_lock(d_inode(root));
Jeff Layton91a27b22012-10-10 15:25:28 -0400789 path.dentry = lookup_one_len(name->name, root, strlen(name->name));
Al Viro765927b2012-06-26 21:58:53 +0400790 if (IS_ERR(path.dentry)) {
791 error = PTR_ERR(path.dentry);
André Goddard Rosa4294a8e2010-02-23 04:04:28 -0300792 goto out_putfd;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700793 }
Al Viro312b90f2012-08-06 10:18:17 +0400794 path.mnt = mntget(mnt);
Al Viro066cc812017-12-01 17:51:39 -0500795 error = prepare_open(path.dentry, oflag, ro, mode, name, attr);
796 if (!error) {
797 struct file *file = dentry_open(&path, oflag, current_cred());
798 if (!IS_ERR(file))
799 fd_install(fd, file);
800 else
801 error = PTR_ERR(file);
Alexander Viro7c7dce92006-01-14 15:29:55 -0500802 }
Al Viro765927b2012-06-26 21:58:53 +0400803 path_put(&path);
Alexander Viro7c7dce92006-01-14 15:29:55 -0500804out_putfd:
Al Viro765927b2012-06-26 21:58:53 +0400805 if (error) {
806 put_unused_fd(fd);
807 fd = error;
808 }
Al Viro59551022016-01-22 15:40:57 -0500809 inode_unlock(d_inode(root));
Vladimir Davydov38d78e52013-03-22 15:04:51 -0700810 if (!ro)
811 mnt_drop_write(mnt);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700812out_putname:
813 putname(name);
814 return fd;
815}
816
Al Viro0d060602017-06-27 21:32:36 -0400817SYSCALL_DEFINE4(mq_open, const char __user *, u_name, int, oflag, umode_t, mode,
818 struct mq_attr __user *, u_attr)
819{
820 struct mq_attr attr;
821 if (u_attr && copy_from_user(&attr, u_attr, sizeof(struct mq_attr)))
822 return -EFAULT;
823
824 return do_mq_open(u_name, oflag, mode, u_attr ? &attr : NULL);
825}
826
Heiko Carstensd5460c92009-01-14 14:14:27 +0100827SYSCALL_DEFINE1(mq_unlink, const char __user *, u_name)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700828{
829 int err;
Jeff Layton91a27b22012-10-10 15:25:28 -0400830 struct filename *name;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700831 struct dentry *dentry;
832 struct inode *inode = NULL;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700833 struct ipc_namespace *ipc_ns = current->nsproxy->ipc_ns;
Al Viro312b90f2012-08-06 10:18:17 +0400834 struct vfsmount *mnt = ipc_ns->mq_mnt;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700835
836 name = getname(u_name);
837 if (IS_ERR(name))
838 return PTR_ERR(name);
839
Jeff Layton79f65302013-07-08 15:59:36 -0700840 audit_inode_parent_hidden(name, mnt->mnt_root);
Al Viro312b90f2012-08-06 10:18:17 +0400841 err = mnt_want_write(mnt);
842 if (err)
843 goto out_name;
Al Viro59551022016-01-22 15:40:57 -0500844 inode_lock_nested(d_inode(mnt->mnt_root), I_MUTEX_PARENT);
Jeff Layton91a27b22012-10-10 15:25:28 -0400845 dentry = lookup_one_len(name->name, mnt->mnt_root,
846 strlen(name->name));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700847 if (IS_ERR(dentry)) {
848 err = PTR_ERR(dentry);
849 goto out_unlock;
850 }
851
David Howells75c3cfa2015-03-17 22:26:12 +0000852 inode = d_inode(dentry);
Al Viro312b90f2012-08-06 10:18:17 +0400853 if (!inode) {
854 err = -ENOENT;
855 } else {
Al Viro7de9c6ee2010-10-23 11:11:40 -0400856 ihold(inode);
David Howells75c3cfa2015-03-17 22:26:12 +0000857 err = vfs_unlink(d_inode(dentry->d_parent), dentry, NULL);
Al Viro312b90f2012-08-06 10:18:17 +0400858 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700859 dput(dentry);
860
861out_unlock:
Al Viro59551022016-01-22 15:40:57 -0500862 inode_unlock(d_inode(mnt->mnt_root));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700863 if (inode)
864 iput(inode);
Al Viro312b90f2012-08-06 10:18:17 +0400865 mnt_drop_write(mnt);
866out_name:
867 putname(name);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700868
869 return err;
870}
871
872/* Pipelined send and receive functions.
873 *
874 * If a receiver finds no waiting message, then it registers itself in the
875 * list of waiting receivers. A sender checks that list before adding the new
876 * message into the message array. If there is a waiting receiver, then it
877 * bypasses the message array and directly hands the message over to the
Davidlohr Buesofa6004a2015-05-04 07:02:46 -0700878 * receiver. The receiver accepts the message and returns without grabbing the
879 * queue spinlock:
880 *
881 * - Set pointer to message.
882 * - Queue the receiver task for later wakeup (without the info->lock).
883 * - Update its state to STATE_READY. Now the receiver can continue.
884 * - Wake up the process after the lock is dropped. Should the process wake up
885 * before this wakeup (due to a timeout or a signal) it will either see
886 * STATE_READY and continue or acquire the lock to check the state again.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700887 *
888 * The same algorithm is used for senders.
889 */
890
891/* pipelined_send() - send a message directly to the task waiting in
892 * sys_mq_timedreceive() (without inserting message into a queue).
893 */
Davidlohr Buesofa6004a2015-05-04 07:02:46 -0700894static inline void pipelined_send(struct wake_q_head *wake_q,
895 struct mqueue_inode_info *info,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700896 struct msg_msg *message,
897 struct ext_wait_queue *receiver)
898{
899 receiver->msg = message;
900 list_del(&receiver->list);
Davidlohr Buesofa6004a2015-05-04 07:02:46 -0700901 wake_q_add(wake_q, receiver->task);
902 /*
903 * Rely on the implicit cmpxchg barrier from wake_q_add such
904 * that we can ensure that updating receiver->state is the last
905 * write operation: As once set, the receiver can continue,
906 * and if we don't have the reference count from the wake_q,
907 * yet, at that point we can later have a use-after-free
908 * condition and bogus wakeup.
909 */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700910 receiver->state = STATE_READY;
911}
912
913/* pipelined_receive() - if there is task waiting in sys_mq_timedsend()
914 * gets its message and put to the queue (we have one free place for sure). */
Davidlohr Buesofa6004a2015-05-04 07:02:46 -0700915static inline void pipelined_receive(struct wake_q_head *wake_q,
916 struct mqueue_inode_info *info)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700917{
918 struct ext_wait_queue *sender = wq_get_first_waiter(info, SEND);
919
920 if (!sender) {
921 /* for poll */
922 wake_up_interruptible(&info->wait_q);
923 return;
924 }
Doug Ledfordd6629852012-05-31 16:26:35 -0700925 if (msg_insert(sender->msg, info))
926 return;
Davidlohr Buesofa6004a2015-05-04 07:02:46 -0700927
Linus Torvalds1da177e2005-04-16 15:20:36 -0700928 list_del(&sender->list);
Davidlohr Buesofa6004a2015-05-04 07:02:46 -0700929 wake_q_add(wake_q, sender->task);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700930 sender->state = STATE_READY;
931}
932
Al Viro0d060602017-06-27 21:32:36 -0400933static int do_mq_timedsend(mqd_t mqdes, const char __user *u_msg_ptr,
934 size_t msg_len, unsigned int msg_prio,
Deepa Dinamanib9047722017-08-02 19:51:11 -0700935 struct timespec64 *ts)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700936{
Al Viro2903ff02012-08-28 12:52:22 -0400937 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700938 struct inode *inode;
939 struct ext_wait_queue wait;
940 struct ext_wait_queue *receiver;
941 struct msg_msg *msg_ptr;
942 struct mqueue_inode_info *info;
Carsten Emde9ca7d8e2010-04-02 22:40:20 +0200943 ktime_t expires, *timeout = NULL;
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700944 struct posix_msg_tree_node *new_leaf = NULL;
Al Viro2903ff02012-08-28 12:52:22 -0400945 int ret = 0;
Waiman Long194a6b52016-11-17 11:46:38 -0500946 DEFINE_WAKE_Q(wake_q);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700947
948 if (unlikely(msg_prio >= (unsigned long) MQ_PRIO_MAX))
949 return -EINVAL;
950
Al Viro0d060602017-06-27 21:32:36 -0400951 if (ts) {
Deepa Dinamanib9047722017-08-02 19:51:11 -0700952 expires = timespec64_to_ktime(*ts);
Al Viro0d060602017-06-27 21:32:36 -0400953 timeout = &expires;
954 }
955
956 audit_mq_sendrecv(mqdes, msg_len, msg_prio, ts);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700957
Al Viro2903ff02012-08-28 12:52:22 -0400958 f = fdget(mqdes);
959 if (unlikely(!f.file)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -0300960 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700961 goto out;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -0300962 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700963
Al Viro496ad9a2013-01-23 17:07:38 -0500964 inode = file_inode(f.file);
Al Viro2903ff02012-08-28 12:52:22 -0400965 if (unlikely(f.file->f_op != &mqueue_file_operations)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -0300966 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700967 goto out_fput;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -0300968 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700969 info = MQUEUE_I(inode);
Al Viro9f45f5b2014-10-31 17:44:57 -0400970 audit_file(f.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700971
Al Viro2903ff02012-08-28 12:52:22 -0400972 if (unlikely(!(f.file->f_mode & FMODE_WRITE))) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -0300973 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700974 goto out_fput;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -0300975 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700976
977 if (unlikely(msg_len > info->attr.mq_msgsize)) {
978 ret = -EMSGSIZE;
979 goto out_fput;
980 }
981
982 /* First try to allocate memory, before doing anything with
983 * existing queues. */
984 msg_ptr = load_msg(u_msg_ptr, msg_len);
985 if (IS_ERR(msg_ptr)) {
986 ret = PTR_ERR(msg_ptr);
987 goto out_fput;
988 }
989 msg_ptr->m_ts = msg_len;
990 msg_ptr->m_type = msg_prio;
991
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700992 /*
993 * msg_insert really wants us to have a valid, spare node struct so
994 * it doesn't have to kmalloc a GFP_ATOMIC allocation, but it will
995 * fall back to that if necessary.
996 */
997 if (!info->node_cache)
998 new_leaf = kmalloc(sizeof(*new_leaf), GFP_KERNEL);
999
Linus Torvalds1da177e2005-04-16 15:20:36 -07001000 spin_lock(&info->lock);
1001
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001002 if (!info->node_cache && new_leaf) {
1003 /* Save our speculative allocation into the cache */
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001004 INIT_LIST_HEAD(&new_leaf->msg_list);
1005 info->node_cache = new_leaf;
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001006 new_leaf = NULL;
1007 } else {
1008 kfree(new_leaf);
1009 }
1010
Linus Torvalds1da177e2005-04-16 15:20:36 -07001011 if (info->attr.mq_curmsgs == info->attr.mq_maxmsg) {
Al Viro2903ff02012-08-28 12:52:22 -04001012 if (f.file->f_flags & O_NONBLOCK) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001013 ret = -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001014 } else {
1015 wait.task = current;
1016 wait.msg = (void *) msg_ptr;
1017 wait.state = STATE_NONE;
1018 ret = wq_sleep(info, SEND, timeout, &wait);
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001019 /*
1020 * wq_sleep must be called with info->lock held, and
1021 * returns with the lock released
1022 */
1023 goto out_free;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001024 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001025 } else {
1026 receiver = wq_get_first_waiter(info, RECV);
1027 if (receiver) {
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001028 pipelined_send(&wake_q, info, msg_ptr, receiver);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001029 } else {
1030 /* adds message to the queue */
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001031 ret = msg_insert(msg_ptr, info);
1032 if (ret)
1033 goto out_unlock;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001034 __do_notify(info);
1035 }
1036 inode->i_atime = inode->i_mtime = inode->i_ctime =
Deepa Dinamani078cd822016-09-14 07:48:04 -07001037 current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001038 }
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001039out_unlock:
1040 spin_unlock(&info->lock);
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001041 wake_up_q(&wake_q);
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001042out_free:
1043 if (ret)
1044 free_msg(msg_ptr);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001045out_fput:
Al Viro2903ff02012-08-28 12:52:22 -04001046 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001047out:
1048 return ret;
1049}
1050
Al Viro0d060602017-06-27 21:32:36 -04001051static int do_mq_timedreceive(mqd_t mqdes, char __user *u_msg_ptr,
1052 size_t msg_len, unsigned int __user *u_msg_prio,
Deepa Dinamanib9047722017-08-02 19:51:11 -07001053 struct timespec64 *ts)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001054{
Linus Torvalds1da177e2005-04-16 15:20:36 -07001055 ssize_t ret;
1056 struct msg_msg *msg_ptr;
Al Viro2903ff02012-08-28 12:52:22 -04001057 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001058 struct inode *inode;
1059 struct mqueue_inode_info *info;
1060 struct ext_wait_queue wait;
Carsten Emde9ca7d8e2010-04-02 22:40:20 +02001061 ktime_t expires, *timeout = NULL;
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001062 struct posix_msg_tree_node *new_leaf = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001063
Al Viro0d060602017-06-27 21:32:36 -04001064 if (ts) {
Deepa Dinamanib9047722017-08-02 19:51:11 -07001065 expires = timespec64_to_ktime(*ts);
Carsten Emde9ca7d8e2010-04-02 22:40:20 +02001066 timeout = &expires;
Al Viroc32c8af2008-12-14 03:46:48 -05001067 }
George C. Wilson20ca73b2006-05-24 16:09:55 -05001068
Al Viro0d060602017-06-27 21:32:36 -04001069 audit_mq_sendrecv(mqdes, msg_len, 0, ts);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001070
Al Viro2903ff02012-08-28 12:52:22 -04001071 f = fdget(mqdes);
1072 if (unlikely(!f.file)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001073 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001074 goto out;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001075 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001076
Al Viro496ad9a2013-01-23 17:07:38 -05001077 inode = file_inode(f.file);
Al Viro2903ff02012-08-28 12:52:22 -04001078 if (unlikely(f.file->f_op != &mqueue_file_operations)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001079 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001080 goto out_fput;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001081 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001082 info = MQUEUE_I(inode);
Al Viro9f45f5b2014-10-31 17:44:57 -04001083 audit_file(f.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001084
Al Viro2903ff02012-08-28 12:52:22 -04001085 if (unlikely(!(f.file->f_mode & FMODE_READ))) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001086 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001087 goto out_fput;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001088 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001089
1090 /* checks if buffer is big enough */
1091 if (unlikely(msg_len < info->attr.mq_msgsize)) {
1092 ret = -EMSGSIZE;
1093 goto out_fput;
1094 }
1095
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001096 /*
1097 * msg_insert really wants us to have a valid, spare node struct so
1098 * it doesn't have to kmalloc a GFP_ATOMIC allocation, but it will
1099 * fall back to that if necessary.
1100 */
1101 if (!info->node_cache)
1102 new_leaf = kmalloc(sizeof(*new_leaf), GFP_KERNEL);
1103
Linus Torvalds1da177e2005-04-16 15:20:36 -07001104 spin_lock(&info->lock);
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001105
1106 if (!info->node_cache && new_leaf) {
1107 /* Save our speculative allocation into the cache */
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001108 INIT_LIST_HEAD(&new_leaf->msg_list);
1109 info->node_cache = new_leaf;
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001110 } else {
1111 kfree(new_leaf);
1112 }
1113
Linus Torvalds1da177e2005-04-16 15:20:36 -07001114 if (info->attr.mq_curmsgs == 0) {
Al Viro2903ff02012-08-28 12:52:22 -04001115 if (f.file->f_flags & O_NONBLOCK) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001116 spin_unlock(&info->lock);
1117 ret = -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001118 } else {
1119 wait.task = current;
1120 wait.state = STATE_NONE;
1121 ret = wq_sleep(info, RECV, timeout, &wait);
1122 msg_ptr = wait.msg;
1123 }
1124 } else {
Waiman Long194a6b52016-11-17 11:46:38 -05001125 DEFINE_WAKE_Q(wake_q);
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001126
Linus Torvalds1da177e2005-04-16 15:20:36 -07001127 msg_ptr = msg_get(info);
1128
1129 inode->i_atime = inode->i_mtime = inode->i_ctime =
Deepa Dinamani078cd822016-09-14 07:48:04 -07001130 current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001131
1132 /* There is now free space in queue. */
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001133 pipelined_receive(&wake_q, info);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001134 spin_unlock(&info->lock);
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001135 wake_up_q(&wake_q);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001136 ret = 0;
1137 }
1138 if (ret == 0) {
1139 ret = msg_ptr->m_ts;
1140
1141 if ((u_msg_prio && put_user(msg_ptr->m_type, u_msg_prio)) ||
1142 store_msg(u_msg_ptr, msg_ptr, msg_ptr->m_ts)) {
1143 ret = -EFAULT;
1144 }
1145 free_msg(msg_ptr);
1146 }
1147out_fput:
Al Viro2903ff02012-08-28 12:52:22 -04001148 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001149out:
1150 return ret;
1151}
1152
Al Viro0d060602017-06-27 21:32:36 -04001153SYSCALL_DEFINE5(mq_timedsend, mqd_t, mqdes, const char __user *, u_msg_ptr,
1154 size_t, msg_len, unsigned int, msg_prio,
Arnd Bergmann21fc5382018-04-13 13:58:00 +02001155 const struct __kernel_timespec __user *, u_abs_timeout)
Al Viro0d060602017-06-27 21:32:36 -04001156{
Deepa Dinamanib9047722017-08-02 19:51:11 -07001157 struct timespec64 ts, *p = NULL;
Al Viro0d060602017-06-27 21:32:36 -04001158 if (u_abs_timeout) {
1159 int res = prepare_timeout(u_abs_timeout, &ts);
1160 if (res)
1161 return res;
1162 p = &ts;
1163 }
1164 return do_mq_timedsend(mqdes, u_msg_ptr, msg_len, msg_prio, p);
1165}
1166
1167SYSCALL_DEFINE5(mq_timedreceive, mqd_t, mqdes, char __user *, u_msg_ptr,
1168 size_t, msg_len, unsigned int __user *, u_msg_prio,
Arnd Bergmann21fc5382018-04-13 13:58:00 +02001169 const struct __kernel_timespec __user *, u_abs_timeout)
Al Viro0d060602017-06-27 21:32:36 -04001170{
Deepa Dinamanib9047722017-08-02 19:51:11 -07001171 struct timespec64 ts, *p = NULL;
Al Viro0d060602017-06-27 21:32:36 -04001172 if (u_abs_timeout) {
1173 int res = prepare_timeout(u_abs_timeout, &ts);
1174 if (res)
1175 return res;
1176 p = &ts;
1177 }
1178 return do_mq_timedreceive(mqdes, u_msg_ptr, msg_len, u_msg_prio, p);
1179}
1180
Linus Torvalds1da177e2005-04-16 15:20:36 -07001181/*
1182 * Notes: the case when user wants us to deregister (with NULL as pointer)
1183 * and he isn't currently owner of notification, will be silently discarded.
1184 * It isn't explicitly defined in the POSIX.
1185 */
Al Viro0d060602017-06-27 21:32:36 -04001186static int do_mq_notify(mqd_t mqdes, const struct sigevent *notification)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001187{
Al Viro2903ff02012-08-28 12:52:22 -04001188 int ret;
1189 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001190 struct sock *sock;
1191 struct inode *inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001192 struct mqueue_inode_info *info;
1193 struct sk_buff *nc;
1194
Al Viro0d060602017-06-27 21:32:36 -04001195 audit_mq_notify(mqdes, notification);
George C. Wilson20ca73b2006-05-24 16:09:55 -05001196
Linus Torvalds1da177e2005-04-16 15:20:36 -07001197 nc = NULL;
1198 sock = NULL;
Al Viro0d060602017-06-27 21:32:36 -04001199 if (notification != NULL) {
1200 if (unlikely(notification->sigev_notify != SIGEV_NONE &&
1201 notification->sigev_notify != SIGEV_SIGNAL &&
1202 notification->sigev_notify != SIGEV_THREAD))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001203 return -EINVAL;
Al Viro0d060602017-06-27 21:32:36 -04001204 if (notification->sigev_notify == SIGEV_SIGNAL &&
1205 !valid_signal(notification->sigev_signo)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001206 return -EINVAL;
1207 }
Al Viro0d060602017-06-27 21:32:36 -04001208 if (notification->sigev_notify == SIGEV_THREAD) {
Patrick McHardyc3d8d1e2007-11-07 02:42:09 -08001209 long timeo;
1210
Linus Torvalds1da177e2005-04-16 15:20:36 -07001211 /* create the notify skb */
1212 nc = alloc_skb(NOTIFY_COOKIE_LEN, GFP_KERNEL);
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001213 if (!nc) {
1214 ret = -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001215 goto out;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001216 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001217 if (copy_from_user(nc->data,
Al Viro0d060602017-06-27 21:32:36 -04001218 notification->sigev_value.sival_ptr,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001219 NOTIFY_COOKIE_LEN)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001220 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001221 goto out;
1222 }
1223
1224 /* TODO: add a header? */
1225 skb_put(nc, NOTIFY_COOKIE_LEN);
1226 /* and attach it to the socket */
1227retry:
Al Viro0d060602017-06-27 21:32:36 -04001228 f = fdget(notification->sigev_signo);
Al Viro2903ff02012-08-28 12:52:22 -04001229 if (!f.file) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001230 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001231 goto out;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001232 }
Al Viro2903ff02012-08-28 12:52:22 -04001233 sock = netlink_getsockbyfilp(f.file);
1234 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001235 if (IS_ERR(sock)) {
1236 ret = PTR_ERR(sock);
1237 sock = NULL;
1238 goto out;
1239 }
1240
Patrick McHardyc3d8d1e2007-11-07 02:42:09 -08001241 timeo = MAX_SCHEDULE_TIMEOUT;
Denis V. Lunev9457afe2008-06-05 11:23:39 -07001242 ret = netlink_attachskb(sock, nc, &timeo, NULL);
Cong Wangf991af32017-07-09 13:19:55 -07001243 if (ret == 1) {
1244 sock = NULL;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001245 goto retry;
Cong Wangf991af32017-07-09 13:19:55 -07001246 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001247 if (ret) {
1248 sock = NULL;
1249 nc = NULL;
1250 goto out;
1251 }
1252 }
1253 }
1254
Al Viro2903ff02012-08-28 12:52:22 -04001255 f = fdget(mqdes);
1256 if (!f.file) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001257 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001258 goto out;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001259 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001260
Al Viro496ad9a2013-01-23 17:07:38 -05001261 inode = file_inode(f.file);
Al Viro2903ff02012-08-28 12:52:22 -04001262 if (unlikely(f.file->f_op != &mqueue_file_operations)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001263 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001264 goto out_fput;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001265 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001266 info = MQUEUE_I(inode);
1267
1268 ret = 0;
1269 spin_lock(&info->lock);
Al Viro0d060602017-06-27 21:32:36 -04001270 if (notification == NULL) {
Cedric Le Goatera03fcb72006-10-02 02:17:26 -07001271 if (info->notify_owner == task_tgid(current)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001272 remove_notification(info);
Deepa Dinamani078cd822016-09-14 07:48:04 -07001273 inode->i_atime = inode->i_ctime = current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001274 }
Cedric Le Goatera03fcb72006-10-02 02:17:26 -07001275 } else if (info->notify_owner != NULL) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001276 ret = -EBUSY;
1277 } else {
Al Viro0d060602017-06-27 21:32:36 -04001278 switch (notification->sigev_notify) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001279 case SIGEV_NONE:
1280 info->notify.sigev_notify = SIGEV_NONE;
1281 break;
1282 case SIGEV_THREAD:
1283 info->notify_sock = sock;
1284 info->notify_cookie = nc;
1285 sock = NULL;
1286 nc = NULL;
1287 info->notify.sigev_notify = SIGEV_THREAD;
1288 break;
1289 case SIGEV_SIGNAL:
Al Viro0d060602017-06-27 21:32:36 -04001290 info->notify.sigev_signo = notification->sigev_signo;
1291 info->notify.sigev_value = notification->sigev_value;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001292 info->notify.sigev_notify = SIGEV_SIGNAL;
Oleg Nesterovc7eb87c2020-05-07 18:35:39 -07001293 info->notify_self_exec_id = current->self_exec_id;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001294 break;
1295 }
Cedric Le Goatera03fcb72006-10-02 02:17:26 -07001296
1297 info->notify_owner = get_pid(task_tgid(current));
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -08001298 info->notify_user_ns = get_user_ns(current_user_ns());
Deepa Dinamani078cd822016-09-14 07:48:04 -07001299 inode->i_atime = inode->i_ctime = current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001300 }
1301 spin_unlock(&info->lock);
1302out_fput:
Al Viro2903ff02012-08-28 12:52:22 -04001303 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001304out:
Davidlohr Bueso3ab08fe2014-01-27 17:07:06 -08001305 if (sock)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001306 netlink_detachskb(sock, nc);
Davidlohr Bueso3ab08fe2014-01-27 17:07:06 -08001307 else if (nc)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001308 dev_kfree_skb(nc);
Davidlohr Bueso3ab08fe2014-01-27 17:07:06 -08001309
Linus Torvalds1da177e2005-04-16 15:20:36 -07001310 return ret;
1311}
1312
Al Viro0d060602017-06-27 21:32:36 -04001313SYSCALL_DEFINE2(mq_notify, mqd_t, mqdes,
1314 const struct sigevent __user *, u_notification)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001315{
Al Viro0d060602017-06-27 21:32:36 -04001316 struct sigevent n, *p = NULL;
1317 if (u_notification) {
1318 if (copy_from_user(&n, u_notification, sizeof(struct sigevent)))
1319 return -EFAULT;
1320 p = &n;
1321 }
1322 return do_mq_notify(mqdes, p);
1323}
1324
1325static int do_mq_getsetattr(int mqdes, struct mq_attr *new, struct mq_attr *old)
1326{
Al Viro2903ff02012-08-28 12:52:22 -04001327 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001328 struct inode *inode;
1329 struct mqueue_inode_info *info;
1330
Al Viro0d060602017-06-27 21:32:36 -04001331 if (new && (new->mq_flags & (~O_NONBLOCK)))
1332 return -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001333
Al Viro2903ff02012-08-28 12:52:22 -04001334 f = fdget(mqdes);
Al Viro0d060602017-06-27 21:32:36 -04001335 if (!f.file)
1336 return -EBADF;
1337
1338 if (unlikely(f.file->f_op != &mqueue_file_operations)) {
1339 fdput(f);
1340 return -EBADF;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001341 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001342
Al Viro496ad9a2013-01-23 17:07:38 -05001343 inode = file_inode(f.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001344 info = MQUEUE_I(inode);
1345
1346 spin_lock(&info->lock);
1347
Al Viro0d060602017-06-27 21:32:36 -04001348 if (old) {
1349 *old = info->attr;
1350 old->mq_flags = f.file->f_flags & O_NONBLOCK;
1351 }
1352 if (new) {
1353 audit_mq_getsetattr(mqdes, new);
Al Viro2903ff02012-08-28 12:52:22 -04001354 spin_lock(&f.file->f_lock);
Al Viro0d060602017-06-27 21:32:36 -04001355 if (new->mq_flags & O_NONBLOCK)
Al Viro2903ff02012-08-28 12:52:22 -04001356 f.file->f_flags |= O_NONBLOCK;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001357 else
Al Viro2903ff02012-08-28 12:52:22 -04001358 f.file->f_flags &= ~O_NONBLOCK;
1359 spin_unlock(&f.file->f_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001360
Deepa Dinamani078cd822016-09-14 07:48:04 -07001361 inode->i_atime = inode->i_ctime = current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001362 }
1363
1364 spin_unlock(&info->lock);
Al Viro2903ff02012-08-28 12:52:22 -04001365 fdput(f);
Al Viro0d060602017-06-27 21:32:36 -04001366 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001367}
1368
Al Viro0d060602017-06-27 21:32:36 -04001369SYSCALL_DEFINE3(mq_getsetattr, mqd_t, mqdes,
1370 const struct mq_attr __user *, u_mqstat,
1371 struct mq_attr __user *, u_omqstat)
1372{
1373 int ret;
1374 struct mq_attr mqstat, omqstat;
1375 struct mq_attr *new = NULL, *old = NULL;
1376
1377 if (u_mqstat) {
1378 new = &mqstat;
1379 if (copy_from_user(new, u_mqstat, sizeof(struct mq_attr)))
1380 return -EFAULT;
1381 }
1382 if (u_omqstat)
1383 old = &omqstat;
1384
1385 ret = do_mq_getsetattr(mqdes, new, old);
1386 if (ret || !old)
1387 return ret;
1388
1389 if (copy_to_user(u_omqstat, old, sizeof(struct mq_attr)))
1390 return -EFAULT;
1391 return 0;
1392}
1393
1394#ifdef CONFIG_COMPAT
1395
1396struct compat_mq_attr {
1397 compat_long_t mq_flags; /* message queue flags */
1398 compat_long_t mq_maxmsg; /* maximum number of messages */
1399 compat_long_t mq_msgsize; /* maximum message size */
1400 compat_long_t mq_curmsgs; /* number of messages currently queued */
1401 compat_long_t __reserved[4]; /* ignored for input, zeroed for output */
1402};
1403
1404static inline int get_compat_mq_attr(struct mq_attr *attr,
1405 const struct compat_mq_attr __user *uattr)
1406{
1407 struct compat_mq_attr v;
1408
1409 if (copy_from_user(&v, uattr, sizeof(*uattr)))
1410 return -EFAULT;
1411
1412 memset(attr, 0, sizeof(*attr));
1413 attr->mq_flags = v.mq_flags;
1414 attr->mq_maxmsg = v.mq_maxmsg;
1415 attr->mq_msgsize = v.mq_msgsize;
1416 attr->mq_curmsgs = v.mq_curmsgs;
1417 return 0;
1418}
1419
1420static inline int put_compat_mq_attr(const struct mq_attr *attr,
1421 struct compat_mq_attr __user *uattr)
1422{
1423 struct compat_mq_attr v;
1424
1425 memset(&v, 0, sizeof(v));
1426 v.mq_flags = attr->mq_flags;
1427 v.mq_maxmsg = attr->mq_maxmsg;
1428 v.mq_msgsize = attr->mq_msgsize;
1429 v.mq_curmsgs = attr->mq_curmsgs;
1430 if (copy_to_user(uattr, &v, sizeof(*uattr)))
1431 return -EFAULT;
1432 return 0;
1433}
1434
1435COMPAT_SYSCALL_DEFINE4(mq_open, const char __user *, u_name,
1436 int, oflag, compat_mode_t, mode,
1437 struct compat_mq_attr __user *, u_attr)
1438{
1439 struct mq_attr attr, *p = NULL;
1440 if (u_attr && oflag & O_CREAT) {
1441 p = &attr;
1442 if (get_compat_mq_attr(&attr, u_attr))
1443 return -EFAULT;
1444 }
1445 return do_mq_open(u_name, oflag, mode, p);
1446}
1447
Arnd Bergmannb0d17572018-04-13 13:58:23 +02001448COMPAT_SYSCALL_DEFINE2(mq_notify, mqd_t, mqdes,
1449 const struct compat_sigevent __user *, u_notification)
1450{
1451 struct sigevent n, *p = NULL;
1452 if (u_notification) {
1453 if (get_compat_sigevent(&n, u_notification))
1454 return -EFAULT;
1455 if (n.sigev_notify == SIGEV_THREAD)
1456 n.sigev_value.sival_ptr = compat_ptr(n.sigev_value.sival_int);
1457 p = &n;
1458 }
1459 return do_mq_notify(mqdes, p);
1460}
1461
1462COMPAT_SYSCALL_DEFINE3(mq_getsetattr, mqd_t, mqdes,
1463 const struct compat_mq_attr __user *, u_mqstat,
1464 struct compat_mq_attr __user *, u_omqstat)
1465{
1466 int ret;
1467 struct mq_attr mqstat, omqstat;
1468 struct mq_attr *new = NULL, *old = NULL;
1469
1470 if (u_mqstat) {
1471 new = &mqstat;
1472 if (get_compat_mq_attr(new, u_mqstat))
1473 return -EFAULT;
1474 }
1475 if (u_omqstat)
1476 old = &omqstat;
1477
1478 ret = do_mq_getsetattr(mqdes, new, old);
1479 if (ret || !old)
1480 return ret;
1481
1482 if (put_compat_mq_attr(old, u_omqstat))
1483 return -EFAULT;
1484 return 0;
1485}
1486#endif
1487
1488#ifdef CONFIG_COMPAT_32BIT_TIME
Al Viro0d060602017-06-27 21:32:36 -04001489static int compat_prepare_timeout(const struct compat_timespec __user *p,
Deepa Dinamanib9047722017-08-02 19:51:11 -07001490 struct timespec64 *ts)
Al Viro0d060602017-06-27 21:32:36 -04001491{
Deepa Dinamanib9047722017-08-02 19:51:11 -07001492 if (compat_get_timespec64(ts, p))
Al Viro0d060602017-06-27 21:32:36 -04001493 return -EFAULT;
Deepa Dinamanib9047722017-08-02 19:51:11 -07001494 if (!timespec64_valid(ts))
Al Viro0d060602017-06-27 21:32:36 -04001495 return -EINVAL;
1496 return 0;
1497}
1498
1499COMPAT_SYSCALL_DEFINE5(mq_timedsend, mqd_t, mqdes,
1500 const char __user *, u_msg_ptr,
1501 compat_size_t, msg_len, unsigned int, msg_prio,
1502 const struct compat_timespec __user *, u_abs_timeout)
1503{
Deepa Dinamanib9047722017-08-02 19:51:11 -07001504 struct timespec64 ts, *p = NULL;
Al Viro0d060602017-06-27 21:32:36 -04001505 if (u_abs_timeout) {
1506 int res = compat_prepare_timeout(u_abs_timeout, &ts);
1507 if (res)
1508 return res;
1509 p = &ts;
1510 }
1511 return do_mq_timedsend(mqdes, u_msg_ptr, msg_len, msg_prio, p);
1512}
1513
1514COMPAT_SYSCALL_DEFINE5(mq_timedreceive, mqd_t, mqdes,
1515 char __user *, u_msg_ptr,
1516 compat_size_t, msg_len, unsigned int __user *, u_msg_prio,
1517 const struct compat_timespec __user *, u_abs_timeout)
1518{
Deepa Dinamanib9047722017-08-02 19:51:11 -07001519 struct timespec64 ts, *p = NULL;
Al Viro0d060602017-06-27 21:32:36 -04001520 if (u_abs_timeout) {
1521 int res = compat_prepare_timeout(u_abs_timeout, &ts);
1522 if (res)
1523 return res;
1524 p = &ts;
1525 }
1526 return do_mq_timedreceive(mqdes, u_msg_ptr, msg_len, u_msg_prio, p);
1527}
Al Viro0d060602017-06-27 21:32:36 -04001528#endif
1529
Arjan van de Ven92e1d5b2007-02-12 00:55:39 -08001530static const struct inode_operations mqueue_dir_inode_operations = {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001531 .lookup = simple_lookup,
1532 .create = mqueue_create,
1533 .unlink = mqueue_unlink,
1534};
1535
Arjan van de Ven9a321442007-02-12 00:55:35 -08001536static const struct file_operations mqueue_file_operations = {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001537 .flush = mqueue_flush_file,
1538 .poll = mqueue_poll_file,
1539 .read = mqueue_read_file,
Arnd Bergmann6038f372010-08-15 18:52:59 +02001540 .llseek = default_llseek,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001541};
1542
Alexey Dobriyanb87221d2009-09-21 17:01:09 -07001543static const struct super_operations mqueue_super_ops = {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001544 .alloc_inode = mqueue_alloc_inode,
1545 .destroy_inode = mqueue_destroy_inode,
Al Viro6d8af642010-06-05 16:29:45 -04001546 .evict_inode = mqueue_evict_inode,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001547 .statfs = simple_statfs,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001548};
1549
1550static struct file_system_type mqueue_fs_type = {
1551 .name = "mqueue",
Al Viroceefda62010-07-26 13:16:50 +04001552 .mount = mqueue_mount,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001553 .kill_sb = kill_litter_super,
Gao fengbc1b69e2013-01-28 11:09:01 +08001554 .fs_flags = FS_USERNS_MOUNT,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001555};
1556
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001557int mq_init_ns(struct ipc_namespace *ns)
1558{
1559 ns->mq_queues_count = 0;
1560 ns->mq_queues_max = DFLT_QUEUESMAX;
1561 ns->mq_msg_max = DFLT_MSGMAX;
1562 ns->mq_msgsize_max = DFLT_MSGSIZEMAX;
KOSAKI Motohirocef01842012-05-31 16:26:33 -07001563 ns->mq_msg_default = DFLT_MSG;
1564 ns->mq_msgsize_default = DFLT_MSGSIZE;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001565
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -05001566 ns->mq_mnt = kern_mount_data(&mqueue_fs_type, ns);
1567 if (IS_ERR(ns->mq_mnt)) {
1568 int err = PTR_ERR(ns->mq_mnt);
1569 ns->mq_mnt = NULL;
1570 return err;
1571 }
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001572 return 0;
1573}
1574
1575void mq_clear_sbinfo(struct ipc_namespace *ns)
1576{
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -05001577 ns->mq_mnt->mnt_sb->s_fs_info = NULL;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001578}
1579
1580void mq_put_mnt(struct ipc_namespace *ns)
1581{
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -05001582 kern_unmount(ns->mq_mnt);
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001583}
1584
Linus Torvalds1da177e2005-04-16 15:20:36 -07001585static int __init init_mqueue_fs(void)
1586{
1587 int error;
1588
1589 mqueue_inode_cachep = kmem_cache_create("mqueue_inode_cache",
1590 sizeof(struct mqueue_inode_info), 0,
Vladimir Davydov5d097052016-01-14 15:18:21 -08001591 SLAB_HWCACHE_ALIGN|SLAB_ACCOUNT, init_once);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001592 if (mqueue_inode_cachep == NULL)
1593 return -ENOMEM;
1594
André Goddard Rosa2329e3922010-02-23 04:04:27 -03001595 /* ignore failures - they are not fatal */
Serge E. Hallynbdc8e5f2009-04-06 19:01:11 -07001596 mq_sysctl_table = mq_register_sysctl_table();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001597
1598 error = register_filesystem(&mqueue_fs_type);
1599 if (error)
1600 goto out_sysctl;
1601
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001602 spin_lock_init(&mq_lock);
1603
Al Viro6f686572011-12-09 00:38:50 -05001604 error = mq_init_ns(&init_ipc_ns);
1605 if (error)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001606 goto out_filesystem;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001607
Linus Torvalds1da177e2005-04-16 15:20:36 -07001608 return 0;
1609
1610out_filesystem:
1611 unregister_filesystem(&mqueue_fs_type);
1612out_sysctl:
1613 if (mq_sysctl_table)
1614 unregister_sysctl_table(mq_sysctl_table);
Alexey Dobriyan1a1d92c2006-09-27 01:49:40 -07001615 kmem_cache_destroy(mqueue_inode_cachep);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001616 return error;
1617}
1618
Davidlohr Bueso6d08a252014-04-07 15:39:18 -07001619device_initcall(init_mqueue_fs);