blob: de4070d5472f2d6ce2dd52b0f1a08fda5b89a255 [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;
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -080079 struct user_namespace *notify_user_ns;
Adrian Bunk338cec32005-09-10 00:26:54 -070080 struct user_struct *user; /* user who created, for accounting */
Linus Torvalds1da177e2005-04-16 15:20:36 -070081 struct sock *notify_sock;
82 struct sk_buff *notify_cookie;
83
84 /* for tasks waiting for free space and messages, respectively */
85 struct ext_wait_queue e_wait_q[2];
86
87 unsigned long qsize; /* size of queue in memory (sum of all msgs) */
88};
89
Arjan van de Ven92e1d5b2007-02-12 00:55:39 -080090static const struct inode_operations mqueue_dir_inode_operations;
Arjan van de Ven9a321442007-02-12 00:55:35 -080091static const struct file_operations mqueue_file_operations;
Alexey Dobriyanb87221d2009-09-21 17:01:09 -070092static const struct super_operations mqueue_super_ops;
Linus Torvalds1da177e2005-04-16 15:20:36 -070093static void remove_notification(struct mqueue_inode_info *info);
94
Christoph Lametere18b8902006-12-06 20:33:20 -080095static struct kmem_cache *mqueue_inode_cachep;
Linus Torvalds1da177e2005-04-16 15:20:36 -070096
Manfred Spraul239521f2014-01-27 17:07:04 -080097static struct ctl_table_header *mq_sysctl_table;
Linus Torvalds1da177e2005-04-16 15:20:36 -070098
99static inline struct mqueue_inode_info *MQUEUE_I(struct inode *inode)
100{
101 return container_of(inode, struct mqueue_inode_info, vfs_inode);
102}
103
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700104/*
105 * This routine should be called with the mq_lock held.
106 */
107static inline struct ipc_namespace *__get_ns_from_inode(struct inode *inode)
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700108{
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700109 return get_ipc_ns(inode->i_sb->s_fs_info);
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700110}
111
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700112static struct ipc_namespace *get_ns_from_inode(struct inode *inode)
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700113{
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700114 struct ipc_namespace *ns;
115
116 spin_lock(&mq_lock);
117 ns = __get_ns_from_inode(inode);
118 spin_unlock(&mq_lock);
119 return ns;
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700120}
121
Doug Ledfordd6629852012-05-31 16:26:35 -0700122/* Auxiliary functions to manipulate messages' list */
123static int msg_insert(struct msg_msg *msg, struct mqueue_inode_info *info)
124{
125 struct rb_node **p, *parent = NULL;
126 struct posix_msg_tree_node *leaf;
127
128 p = &info->msg_tree.rb_node;
129 while (*p) {
130 parent = *p;
131 leaf = rb_entry(parent, struct posix_msg_tree_node, rb_node);
132
133 if (likely(leaf->priority == msg->m_type))
134 goto insert_msg;
135 else if (msg->m_type < leaf->priority)
136 p = &(*p)->rb_left;
137 else
138 p = &(*p)->rb_right;
139 }
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700140 if (info->node_cache) {
141 leaf = info->node_cache;
142 info->node_cache = NULL;
143 } else {
144 leaf = kmalloc(sizeof(*leaf), GFP_ATOMIC);
145 if (!leaf)
146 return -ENOMEM;
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700147 INIT_LIST_HEAD(&leaf->msg_list);
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700148 }
Doug Ledfordd6629852012-05-31 16:26:35 -0700149 leaf->priority = msg->m_type;
150 rb_link_node(&leaf->rb_node, parent, p);
151 rb_insert_color(&leaf->rb_node, &info->msg_tree);
Doug Ledfordd6629852012-05-31 16:26:35 -0700152insert_msg:
153 info->attr.mq_curmsgs++;
154 info->qsize += msg->m_ts;
155 list_add_tail(&msg->m_list, &leaf->msg_list);
156 return 0;
157}
158
159static inline struct msg_msg *msg_get(struct mqueue_inode_info *info)
160{
161 struct rb_node **p, *parent = NULL;
162 struct posix_msg_tree_node *leaf;
163 struct msg_msg *msg;
164
165try_again:
166 p = &info->msg_tree.rb_node;
167 while (*p) {
168 parent = *p;
169 /*
170 * During insert, low priorities go to the left and high to the
171 * right. On receive, we want the highest priorities first, so
172 * walk all the way to the right.
173 */
174 p = &(*p)->rb_right;
175 }
176 if (!parent) {
177 if (info->attr.mq_curmsgs) {
178 pr_warn_once("Inconsistency in POSIX message queue, "
179 "no tree element, but supposedly messages "
180 "should exist!\n");
181 info->attr.mq_curmsgs = 0;
182 }
183 return NULL;
184 }
185 leaf = rb_entry(parent, struct posix_msg_tree_node, rb_node);
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700186 if (unlikely(list_empty(&leaf->msg_list))) {
Doug Ledfordd6629852012-05-31 16:26:35 -0700187 pr_warn_once("Inconsistency in POSIX message queue, "
188 "empty leaf node but we haven't implemented "
189 "lazy leaf delete!\n");
190 rb_erase(&leaf->rb_node, &info->msg_tree);
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700191 if (info->node_cache) {
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700192 kfree(leaf);
193 } else {
194 info->node_cache = leaf;
195 }
Doug Ledfordd6629852012-05-31 16:26:35 -0700196 goto try_again;
197 } else {
198 msg = list_first_entry(&leaf->msg_list,
199 struct msg_msg, m_list);
200 list_del(&msg->m_list);
201 if (list_empty(&leaf->msg_list)) {
202 rb_erase(&leaf->rb_node, &info->msg_tree);
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700203 if (info->node_cache) {
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700204 kfree(leaf);
205 } else {
206 info->node_cache = leaf;
207 }
Doug Ledfordd6629852012-05-31 16:26:35 -0700208 }
209 }
210 info->attr.mq_curmsgs--;
211 info->qsize -= msg->m_ts;
212 return msg;
213}
214
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700215static struct inode *mqueue_get_inode(struct super_block *sb,
Al Viro1b9d5ff72011-07-24 14:18:20 -0400216 struct ipc_namespace *ipc_ns, umode_t mode,
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700217 struct mq_attr *attr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700218{
David Howells86a264a2008-11-14 10:39:18 +1100219 struct user_struct *u = current_user();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700220 struct inode *inode;
Jiri Slabyd40dcdb2011-07-26 16:08:47 -0700221 int ret = -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700222
223 inode = new_inode(sb);
Jiri Slaby04715202011-07-26 16:08:46 -0700224 if (!inode)
225 goto err;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700226
Jiri Slaby04715202011-07-26 16:08:46 -0700227 inode->i_ino = get_next_ino();
228 inode->i_mode = mode;
229 inode->i_uid = current_fsuid();
230 inode->i_gid = current_fsgid();
Deepa Dinamani078cd822016-09-14 07:48:04 -0700231 inode->i_mtime = inode->i_ctime = inode->i_atime = current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700232
Jiri Slaby04715202011-07-26 16:08:46 -0700233 if (S_ISREG(mode)) {
234 struct mqueue_inode_info *info;
Doug Ledfordd6629852012-05-31 16:26:35 -0700235 unsigned long mq_bytes, mq_treesize;
André Goddard Rosac8308b12010-02-23 04:04:23 -0300236
Jiri Slaby04715202011-07-26 16:08:46 -0700237 inode->i_fop = &mqueue_file_operations;
238 inode->i_size = FILENT_SIZE;
239 /* mqueue specific info */
240 info = MQUEUE_I(inode);
241 spin_lock_init(&info->lock);
242 init_waitqueue_head(&info->wait_q);
243 INIT_LIST_HEAD(&info->e_wait_q[0].list);
244 INIT_LIST_HEAD(&info->e_wait_q[1].list);
245 info->notify_owner = NULL;
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800246 info->notify_user_ns = NULL;
Jiri Slaby04715202011-07-26 16:08:46 -0700247 info->qsize = 0;
248 info->user = NULL; /* set when all is ok */
Doug Ledfordd6629852012-05-31 16:26:35 -0700249 info->msg_tree = RB_ROOT;
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700250 info->node_cache = NULL;
Jiri Slaby04715202011-07-26 16:08:46 -0700251 memset(&info->attr, 0, sizeof(info->attr));
KOSAKI Motohirocef01842012-05-31 16:26:33 -0700252 info->attr.mq_maxmsg = min(ipc_ns->mq_msg_max,
253 ipc_ns->mq_msg_default);
254 info->attr.mq_msgsize = min(ipc_ns->mq_msgsize_max,
255 ipc_ns->mq_msgsize_default);
Jiri Slaby04715202011-07-26 16:08:46 -0700256 if (attr) {
257 info->attr.mq_maxmsg = attr->mq_maxmsg;
258 info->attr.mq_msgsize = attr->mq_msgsize;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700259 }
Doug Ledfordd6629852012-05-31 16:26:35 -0700260 /*
261 * We used to allocate a static array of pointers and account
262 * the size of that array as well as one msg_msg struct per
263 * possible message into the queue size. That's no longer
264 * accurate as the queue is now an rbtree and will grow and
265 * shrink depending on usage patterns. We can, however, still
266 * account one msg_msg struct per message, but the nodes are
267 * allocated depending on priority usage, and most programs
268 * only use one, or a handful, of priorities. However, since
269 * this is pinned memory, we need to assume worst case, so
270 * that means the min(mq_maxmsg, max_priorities) * struct
271 * posix_msg_tree_node.
272 */
Al Viro05c1b292017-12-01 17:43:43 -0500273
274 ret = -EINVAL;
275 if (info->attr.mq_maxmsg <= 0 || info->attr.mq_msgsize <= 0)
276 goto out_inode;
277 if (capable(CAP_SYS_RESOURCE)) {
278 if (info->attr.mq_maxmsg > HARD_MSGMAX ||
279 info->attr.mq_msgsize > HARD_MSGSIZEMAX)
280 goto out_inode;
281 } else {
282 if (info->attr.mq_maxmsg > ipc_ns->mq_msg_max ||
283 info->attr.mq_msgsize > ipc_ns->mq_msgsize_max)
284 goto out_inode;
285 }
286 ret = -EOVERFLOW;
287 /* check for overflow */
288 if (info->attr.mq_msgsize > ULONG_MAX/info->attr.mq_maxmsg)
289 goto out_inode;
Doug Ledfordd6629852012-05-31 16:26:35 -0700290 mq_treesize = info->attr.mq_maxmsg * sizeof(struct msg_msg) +
291 min_t(unsigned int, info->attr.mq_maxmsg, MQ_PRIO_MAX) *
292 sizeof(struct posix_msg_tree_node);
Al Viro05c1b292017-12-01 17:43:43 -0500293 mq_bytes = info->attr.mq_maxmsg * info->attr.mq_msgsize;
294 if (mq_bytes + mq_treesize < mq_bytes)
295 goto out_inode;
296 mq_bytes += mq_treesize;
Jiri Slaby04715202011-07-26 16:08:46 -0700297 spin_lock(&mq_lock);
298 if (u->mq_bytes + mq_bytes < u->mq_bytes ||
Davidlohr Bueso2a4e64b2012-01-20 14:34:01 -0800299 u->mq_bytes + mq_bytes > rlimit(RLIMIT_MSGQUEUE)) {
Jiri Slaby04715202011-07-26 16:08:46 -0700300 spin_unlock(&mq_lock);
301 /* mqueue_evict_inode() releases info->messages */
Jiri Slabyd40dcdb2011-07-26 16:08:47 -0700302 ret = -EMFILE;
Jiri Slaby04715202011-07-26 16:08:46 -0700303 goto out_inode;
304 }
305 u->mq_bytes += mq_bytes;
306 spin_unlock(&mq_lock);
307
308 /* all is ok */
309 info->user = get_uid(u);
310 } else if (S_ISDIR(mode)) {
311 inc_nlink(inode);
312 /* Some things misbehave if size == 0 on a directory */
313 inode->i_size = 2 * DIRENT_SIZE;
314 inode->i_op = &mqueue_dir_inode_operations;
315 inode->i_fop = &simple_dir_operations;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700316 }
Jiri Slaby04715202011-07-26 16:08:46 -0700317
Linus Torvalds1da177e2005-04-16 15:20:36 -0700318 return inode;
319out_inode:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700320 iput(inode);
Jiri Slaby04715202011-07-26 16:08:46 -0700321err:
Jiri Slabyd40dcdb2011-07-26 16:08:47 -0700322 return ERR_PTR(ret);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700323}
324
325static int mqueue_fill_super(struct super_block *sb, void *data, int silent)
326{
327 struct inode *inode;
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -0500328 struct ipc_namespace *ns = sb->s_fs_info;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700329
Eric W. Biedermana2982cc2016-06-09 15:34:02 -0500330 sb->s_iflags |= SB_I_NOEXEC | SB_I_NODEV;
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300331 sb->s_blocksize = PAGE_SIZE;
332 sb->s_blocksize_bits = PAGE_SHIFT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700333 sb->s_magic = MQUEUE_MAGIC;
334 sb->s_op = &mqueue_super_ops;
335
Al Viro48fde702012-01-08 22:15:13 -0500336 inode = mqueue_get_inode(sb, ns, S_IFDIR | S_ISVTX | S_IRWXUGO, NULL);
337 if (IS_ERR(inode))
338 return PTR_ERR(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700339
Al Viro48fde702012-01-08 22:15:13 -0500340 sb->s_root = d_make_root(inode);
341 if (!sb->s_root)
342 return -ENOMEM;
343 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700344}
345
Al Viroceefda62010-07-26 13:16:50 +0400346static struct dentry *mqueue_mount(struct file_system_type *fs_type,
David Howells454e2392006-06-23 02:02:57 -0700347 int flags, const char *dev_name,
Al Viroceefda62010-07-26 13:16:50 +0400348 void *data)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700349{
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -0500350 struct ipc_namespace *ns;
351 if (flags & SB_KERNMOUNT) {
352 ns = data;
353 data = NULL;
354 } else {
355 ns = current->nsproxy->ipc_ns;
356 }
357 return mount_ns(fs_type, flags, data, ns, ns->user_ns, mqueue_fill_super);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700358}
359
Alexey Dobriyan51cc5062008-07-25 19:45:34 -0700360static void init_once(void *foo)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700361{
362 struct mqueue_inode_info *p = (struct mqueue_inode_info *) foo;
363
Christoph Lametera35afb82007-05-16 22:10:57 -0700364 inode_init_once(&p->vfs_inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700365}
366
367static struct inode *mqueue_alloc_inode(struct super_block *sb)
368{
369 struct mqueue_inode_info *ei;
370
Christoph Lametere94b1762006-12-06 20:33:17 -0800371 ei = kmem_cache_alloc(mqueue_inode_cachep, GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700372 if (!ei)
373 return NULL;
374 return &ei->vfs_inode;
375}
376
Nick Pigginfa0d7e3d2011-01-07 17:49:49 +1100377static void mqueue_i_callback(struct rcu_head *head)
378{
379 struct inode *inode = container_of(head, struct inode, i_rcu);
Nick Pigginfa0d7e3d2011-01-07 17:49:49 +1100380 kmem_cache_free(mqueue_inode_cachep, MQUEUE_I(inode));
381}
382
Linus Torvalds1da177e2005-04-16 15:20:36 -0700383static void mqueue_destroy_inode(struct inode *inode)
384{
Nick Pigginfa0d7e3d2011-01-07 17:49:49 +1100385 call_rcu(&inode->i_rcu, mqueue_i_callback);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700386}
387
Al Viro6d8af642010-06-05 16:29:45 -0400388static void mqueue_evict_inode(struct inode *inode)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700389{
390 struct mqueue_inode_info *info;
391 struct user_struct *user;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700392 struct ipc_namespace *ipc_ns;
Li Rongqing20de7542019-05-14 15:46:20 -0700393 struct msg_msg *msg, *nmsg;
394 LIST_HEAD(tmp_msg);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700395
Jan Karadbd57682012-05-03 14:48:02 +0200396 clear_inode(inode);
Al Viro6d8af642010-06-05 16:29:45 -0400397
398 if (S_ISDIR(inode->i_mode))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700399 return;
Al Viro6d8af642010-06-05 16:29:45 -0400400
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700401 ipc_ns = get_ns_from_inode(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700402 info = MQUEUE_I(inode);
403 spin_lock(&info->lock);
Doug Ledfordd6629852012-05-31 16:26:35 -0700404 while ((msg = msg_get(info)) != NULL)
Li Rongqing20de7542019-05-14 15:46:20 -0700405 list_add_tail(&msg->m_list, &tmp_msg);
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700406 kfree(info->node_cache);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700407 spin_unlock(&info->lock);
408
Li Rongqing20de7542019-05-14 15:46:20 -0700409 list_for_each_entry_safe(msg, nmsg, &tmp_msg, m_list) {
410 list_del(&msg->m_list);
411 free_msg(msg);
412 }
413
Linus Torvalds1da177e2005-04-16 15:20:36 -0700414 user = info->user;
415 if (user) {
Kees Cook48c5c4f2019-07-16 16:30:21 -0700416 unsigned long mq_bytes, mq_treesize;
417
418 /* Total amount of bytes accounted for the mqueue */
419 mq_treesize = info->attr.mq_maxmsg * sizeof(struct msg_msg) +
420 min_t(unsigned int, info->attr.mq_maxmsg, MQ_PRIO_MAX) *
421 sizeof(struct posix_msg_tree_node);
422
423 mq_bytes = mq_treesize + (info->attr.mq_maxmsg *
424 info->attr.mq_msgsize);
425
Linus Torvalds1da177e2005-04-16 15:20:36 -0700426 spin_lock(&mq_lock);
427 user->mq_bytes -= mq_bytes;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700428 /*
429 * get_ns_from_inode() ensures that the
430 * (ipc_ns = sb->s_fs_info) is either a valid ipc_ns
431 * to which we now hold a reference, or it is NULL.
432 * We can't put it here under mq_lock, though.
433 */
434 if (ipc_ns)
435 ipc_ns->mq_queues_count--;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700436 spin_unlock(&mq_lock);
437 free_uid(user);
438 }
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700439 if (ipc_ns)
440 put_ipc_ns(ipc_ns);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700441}
442
Al Viroeecec192017-12-01 17:26:05 -0500443static int mqueue_create_attr(struct dentry *dentry, umode_t mode, void *arg)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700444{
Al Viroeecec192017-12-01 17:26:05 -0500445 struct inode *dir = dentry->d_parent->d_inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700446 struct inode *inode;
Al Viroeecec192017-12-01 17:26:05 -0500447 struct mq_attr *attr = arg;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700448 int error;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700449 struct ipc_namespace *ipc_ns;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700450
451 spin_lock(&mq_lock);
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700452 ipc_ns = __get_ns_from_inode(dir);
453 if (!ipc_ns) {
454 error = -EACCES;
455 goto out_unlock;
456 }
Davidlohr Buesof3713fd2014-02-25 15:01:45 -0800457
458 if (ipc_ns->mq_queues_count >= ipc_ns->mq_queues_max &&
459 !capable(CAP_SYS_RESOURCE)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700460 error = -ENOSPC;
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700461 goto out_unlock;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700462 }
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700463 ipc_ns->mq_queues_count++;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700464 spin_unlock(&mq_lock);
465
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700466 inode = mqueue_get_inode(dir->i_sb, ipc_ns, mode, attr);
Jiri Slabyd40dcdb2011-07-26 16:08:47 -0700467 if (IS_ERR(inode)) {
468 error = PTR_ERR(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700469 spin_lock(&mq_lock);
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700470 ipc_ns->mq_queues_count--;
471 goto out_unlock;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700472 }
473
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700474 put_ipc_ns(ipc_ns);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700475 dir->i_size += DIRENT_SIZE;
Deepa Dinamani078cd822016-09-14 07:48:04 -0700476 dir->i_ctime = dir->i_mtime = dir->i_atime = current_time(dir);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700477
478 d_instantiate(dentry, inode);
479 dget(dentry);
480 return 0;
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700481out_unlock:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700482 spin_unlock(&mq_lock);
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700483 if (ipc_ns)
484 put_ipc_ns(ipc_ns);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700485 return error;
486}
487
Al Viroeecec192017-12-01 17:26:05 -0500488static int mqueue_create(struct inode *dir, struct dentry *dentry,
489 umode_t mode, bool excl)
490{
491 return mqueue_create_attr(dentry, mode, NULL);
492}
493
Linus Torvalds1da177e2005-04-16 15:20:36 -0700494static int mqueue_unlink(struct inode *dir, struct dentry *dentry)
495{
David Howells75c3cfa2015-03-17 22:26:12 +0000496 struct inode *inode = d_inode(dentry);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700497
Deepa Dinamani078cd822016-09-14 07:48:04 -0700498 dir->i_ctime = dir->i_mtime = dir->i_atime = current_time(dir);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700499 dir->i_size -= DIRENT_SIZE;
Manfred Spraul239521f2014-01-27 17:07:04 -0800500 drop_nlink(inode);
501 dput(dentry);
502 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700503}
504
505/*
506* This is routine for system read from queue file.
507* To avoid mess with doing here some sort of mq_receive we allow
508* to read only queue size & notification info (the only values
509* that are interesting from user point of view and aren't accessible
510* through std routines)
511*/
512static ssize_t mqueue_read_file(struct file *filp, char __user *u_data,
Akinobu Mitaf1a43f92008-07-25 01:48:07 -0700513 size_t count, loff_t *off)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700514{
Al Viro496ad9a2013-01-23 17:07:38 -0500515 struct mqueue_inode_info *info = MQUEUE_I(file_inode(filp));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700516 char buffer[FILENT_SIZE];
Akinobu Mitaf1a43f92008-07-25 01:48:07 -0700517 ssize_t ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700518
519 spin_lock(&info->lock);
520 snprintf(buffer, sizeof(buffer),
521 "QSIZE:%-10lu NOTIFY:%-5d SIGNO:%-5d NOTIFY_PID:%-6d\n",
522 info->qsize,
523 info->notify_owner ? info->notify.sigev_notify : 0,
524 (info->notify_owner &&
525 info->notify.sigev_notify == SIGEV_SIGNAL) ?
526 info->notify.sigev_signo : 0,
Pavel Emelyanov6c5f3e72008-02-08 04:19:20 -0800527 pid_vnr(info->notify_owner));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700528 spin_unlock(&info->lock);
529 buffer[sizeof(buffer)-1] = '\0';
Linus Torvalds1da177e2005-04-16 15:20:36 -0700530
Akinobu Mitaf1a43f92008-07-25 01:48:07 -0700531 ret = simple_read_from_buffer(u_data, count, off, buffer,
532 strlen(buffer));
533 if (ret <= 0)
534 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700535
Deepa Dinamani078cd822016-09-14 07:48:04 -0700536 file_inode(filp)->i_atime = file_inode(filp)->i_ctime = current_time(file_inode(filp));
Akinobu Mitaf1a43f92008-07-25 01:48:07 -0700537 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700538}
539
Miklos Szeredi75e1fcc2006-06-23 02:05:12 -0700540static int mqueue_flush_file(struct file *filp, fl_owner_t id)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700541{
Al Viro496ad9a2013-01-23 17:07:38 -0500542 struct mqueue_inode_info *info = MQUEUE_I(file_inode(filp));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700543
544 spin_lock(&info->lock);
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700545 if (task_tgid(current) == info->notify_owner)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700546 remove_notification(info);
547
548 spin_unlock(&info->lock);
549 return 0;
550}
551
Al Viro9dd95742017-07-03 00:42:43 -0400552static __poll_t mqueue_poll_file(struct file *filp, struct poll_table_struct *poll_tab)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700553{
Al Viro496ad9a2013-01-23 17:07:38 -0500554 struct mqueue_inode_info *info = MQUEUE_I(file_inode(filp));
Al Viro9dd95742017-07-03 00:42:43 -0400555 __poll_t retval = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700556
557 poll_wait(filp, &info->wait_q, poll_tab);
558
559 spin_lock(&info->lock);
560 if (info->attr.mq_curmsgs)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800561 retval = EPOLLIN | EPOLLRDNORM;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700562
563 if (info->attr.mq_curmsgs < info->attr.mq_maxmsg)
Linus Torvaldsa9a08842018-02-11 14:34:03 -0800564 retval |= EPOLLOUT | EPOLLWRNORM;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700565 spin_unlock(&info->lock);
566
567 return retval;
568}
569
570/* Adds current to info->e_wait_q[sr] before element with smaller prio */
571static void wq_add(struct mqueue_inode_info *info, int sr,
572 struct ext_wait_queue *ewp)
573{
574 struct ext_wait_queue *walk;
575
576 ewp->task = current;
577
578 list_for_each_entry(walk, &info->e_wait_q[sr].list, list) {
Jonathan Haws68e34f42018-02-06 15:40:52 -0800579 if (walk->task->prio <= current->prio) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700580 list_add_tail(&ewp->list, &walk->list);
581 return;
582 }
583 }
584 list_add_tail(&ewp->list, &info->e_wait_q[sr].list);
585}
586
587/*
588 * Puts current task to sleep. Caller must hold queue lock. After return
589 * lock isn't held.
590 * sr: SEND or RECV
591 */
592static int wq_sleep(struct mqueue_inode_info *info, int sr,
Carsten Emde9ca7d8e2010-04-02 22:40:20 +0200593 ktime_t *timeout, struct ext_wait_queue *ewp)
Luc Van Oostenryckeac0b1c2017-02-27 14:28:21 -0800594 __releases(&info->lock)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700595{
596 int retval;
597 signed long time;
598
599 wq_add(info, sr, ewp);
600
601 for (;;) {
Davidlohr Buesofa6004a2015-05-04 07:02:46 -0700602 __set_current_state(TASK_INTERRUPTIBLE);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700603
604 spin_unlock(&info->lock);
Wanlong Gao32ea8452011-10-31 17:06:35 -0700605 time = schedule_hrtimeout_range_clock(timeout, 0,
606 HRTIMER_MODE_ABS, CLOCK_REALTIME);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700607
Linus Torvalds1da177e2005-04-16 15:20:36 -0700608 if (ewp->state == STATE_READY) {
609 retval = 0;
610 goto out;
611 }
612 spin_lock(&info->lock);
613 if (ewp->state == STATE_READY) {
614 retval = 0;
615 goto out_unlock;
616 }
617 if (signal_pending(current)) {
618 retval = -ERESTARTSYS;
619 break;
620 }
621 if (time == 0) {
622 retval = -ETIMEDOUT;
623 break;
624 }
625 }
626 list_del(&ewp->list);
627out_unlock:
628 spin_unlock(&info->lock);
629out:
630 return retval;
631}
632
633/*
634 * Returns waiting task that should be serviced first or NULL if none exists
635 */
636static struct ext_wait_queue *wq_get_first_waiter(
637 struct mqueue_inode_info *info, int sr)
638{
639 struct list_head *ptr;
640
641 ptr = info->e_wait_q[sr].list.prev;
642 if (ptr == &info->e_wait_q[sr].list)
643 return NULL;
644 return list_entry(ptr, struct ext_wait_queue, list);
645}
646
Linus Torvalds1da177e2005-04-16 15:20:36 -0700647
648static inline void set_cookie(struct sk_buff *skb, char code)
649{
Manfred Spraul239521f2014-01-27 17:07:04 -0800650 ((char *)skb->data)[NOTIFY_COOKIE_LEN-1] = code;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700651}
652
653/*
654 * The next function is only to split too long sys_mq_timedsend
655 */
656static void __do_notify(struct mqueue_inode_info *info)
657{
658 /* notification
659 * invoked when there is registered process and there isn't process
660 * waiting synchronously for message AND state of queue changed from
661 * empty to not empty. Here we are sure that no one is waiting
662 * synchronously. */
663 if (info->notify_owner &&
664 info->attr.mq_curmsgs == 1) {
665 struct siginfo sig_i;
666 switch (info->notify.sigev_notify) {
667 case SIGEV_NONE:
668 break;
669 case SIGEV_SIGNAL:
670 /* sends signal */
671
Eric W. Biedermanfaf1f222018-01-05 17:27:42 -0600672 clear_siginfo(&sig_i);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700673 sig_i.si_signo = info->notify.sigev_signo;
674 sig_i.si_errno = 0;
675 sig_i.si_code = SI_MESGQ;
676 sig_i.si_value = info->notify.sigev_value;
Serge E. Hallyn6b550f92012-01-10 15:11:37 -0800677 /* map current pid/uid into info->owner's namespaces */
678 rcu_read_lock();
Sukadev Bhattiprolua6684992009-01-07 18:08:50 -0800679 sig_i.si_pid = task_tgid_nr_ns(current,
680 ns_of_pid(info->notify_owner));
Eric W. Biederman76b6db02012-03-14 15:24:19 -0700681 sig_i.si_uid = from_kuid_munged(info->notify_user_ns, current_uid());
Serge E. Hallyn6b550f92012-01-10 15:11:37 -0800682 rcu_read_unlock();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700683
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700684 kill_pid_info(info->notify.sigev_signo,
685 &sig_i, info->notify_owner);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700686 break;
687 case SIGEV_THREAD:
688 set_cookie(info->notify_cookie, NOTIFY_WOKENUP);
Denis V. Lunev7ee015e2007-10-10 21:14:03 -0700689 netlink_sendskb(info->notify_sock, info->notify_cookie);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700690 break;
691 }
692 /* after notification unregisters process */
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700693 put_pid(info->notify_owner);
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800694 put_user_ns(info->notify_user_ns);
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700695 info->notify_owner = NULL;
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800696 info->notify_user_ns = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700697 }
698 wake_up(&info->wait_q);
699}
700
Arnd Bergmann21fc5382018-04-13 13:58:00 +0200701static int prepare_timeout(const struct __kernel_timespec __user *u_abs_timeout,
Deepa Dinamanib9047722017-08-02 19:51:11 -0700702 struct timespec64 *ts)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700703{
Deepa Dinamanib9047722017-08-02 19:51:11 -0700704 if (get_timespec64(ts, u_abs_timeout))
Carsten Emde9ca7d8e2010-04-02 22:40:20 +0200705 return -EFAULT;
Deepa Dinamanib9047722017-08-02 19:51:11 -0700706 if (!timespec64_valid(ts))
Carsten Emde9ca7d8e2010-04-02 22:40:20 +0200707 return -EINVAL;
Carsten Emde9ca7d8e2010-04-02 22:40:20 +0200708 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700709}
710
711static void remove_notification(struct mqueue_inode_info *info)
712{
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700713 if (info->notify_owner != NULL &&
Linus Torvalds1da177e2005-04-16 15:20:36 -0700714 info->notify.sigev_notify == SIGEV_THREAD) {
715 set_cookie(info->notify_cookie, NOTIFY_REMOVED);
Denis V. Lunev7ee015e2007-10-10 21:14:03 -0700716 netlink_sendskb(info->notify_sock, info->notify_cookie);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700717 }
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700718 put_pid(info->notify_owner);
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800719 put_user_ns(info->notify_user_ns);
Cedric Le Goatera03fcb72006-10-02 02:17:26 -0700720 info->notify_owner = NULL;
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -0800721 info->notify_user_ns = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700722}
723
Al Viro066cc812017-12-01 17:51:39 -0500724static int prepare_open(struct dentry *dentry, int oflag, int ro,
725 umode_t mode, struct filename *name,
Serge E. Hallyn614b84c2009-04-06 19:01:08 -0700726 struct mq_attr *attr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700727{
David Howells745ca242008-11-14 10:39:22 +1100728 static const int oflag2acc[O_ACCMODE] = { MAY_READ, MAY_WRITE,
729 MAY_READ | MAY_WRITE };
Al Viro765927b2012-06-26 21:58:53 +0400730 int acc;
Al Viro066cc812017-12-01 17:51:39 -0500731
Al Viro9b20d7f2017-12-01 17:57:02 -0500732 if (d_really_is_negative(dentry)) {
733 if (!(oflag & O_CREAT))
Al Viro066cc812017-12-01 17:51:39 -0500734 return -ENOENT;
Al Viro9b20d7f2017-12-01 17:57:02 -0500735 if (ro)
736 return ro;
737 audit_inode_parent_hidden(name, dentry->d_parent);
738 return vfs_mkobj(dentry, mode & ~current_umask(),
739 mqueue_create_attr, attr);
Al Viro066cc812017-12-01 17:51:39 -0500740 }
Al Viro9b20d7f2017-12-01 17:57:02 -0500741 /* it already existed */
742 audit_inode(name, dentry, 0);
743 if ((oflag & (O_CREAT|O_EXCL)) == (O_CREAT|O_EXCL))
744 return -EEXIST;
Al Viro765927b2012-06-26 21:58:53 +0400745 if ((oflag & O_ACCMODE) == (O_RDWR | O_WRONLY))
Al Viroaf4a5372017-12-01 17:34:22 -0500746 return -EINVAL;
Al Viro765927b2012-06-26 21:58:53 +0400747 acc = oflag2acc[oflag & O_ACCMODE];
Al Viro066cc812017-12-01 17:51:39 -0500748 return inode_permission(d_inode(dentry), acc);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700749}
750
Al Viro0d060602017-06-27 21:32:36 -0400751static int do_mq_open(const char __user *u_name, int oflag, umode_t mode,
752 struct mq_attr *attr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700753{
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -0500754 struct vfsmount *mnt = current->nsproxy->ipc_ns->mq_mnt;
755 struct dentry *root = mnt->mnt_root;
Jeff Layton91a27b22012-10-10 15:25:28 -0400756 struct filename *name;
Al Viroa713fd72017-12-01 18:01:09 -0500757 struct path path;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700758 int fd, error;
Al Viro312b90f2012-08-06 10:18:17 +0400759 int ro;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700760
Al Viro0d060602017-06-27 21:32:36 -0400761 audit_mq_open(oflag, mode, attr);
George C. Wilson20ca73b2006-05-24 16:09:55 -0500762
Linus Torvalds1da177e2005-04-16 15:20:36 -0700763 if (IS_ERR(name = getname(u_name)))
764 return PTR_ERR(name);
765
Ulrich Drepper269f2132008-05-03 15:28:45 -0400766 fd = get_unused_fd_flags(O_CLOEXEC);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700767 if (fd < 0)
768 goto out_putname;
769
Al Viro312b90f2012-08-06 10:18:17 +0400770 ro = mnt_want_write(mnt); /* we'll drop it in any case */
Al Viro59551022016-01-22 15:40:57 -0500771 inode_lock(d_inode(root));
Jeff Layton91a27b22012-10-10 15:25:28 -0400772 path.dentry = lookup_one_len(name->name, root, strlen(name->name));
Al Viro765927b2012-06-26 21:58:53 +0400773 if (IS_ERR(path.dentry)) {
774 error = PTR_ERR(path.dentry);
André Goddard Rosa4294a8e2010-02-23 04:04:28 -0300775 goto out_putfd;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700776 }
Al Viro312b90f2012-08-06 10:18:17 +0400777 path.mnt = mntget(mnt);
Al Viro066cc812017-12-01 17:51:39 -0500778 error = prepare_open(path.dentry, oflag, ro, mode, name, attr);
779 if (!error) {
780 struct file *file = dentry_open(&path, oflag, current_cred());
781 if (!IS_ERR(file))
782 fd_install(fd, file);
783 else
784 error = PTR_ERR(file);
Alexander Viro7c7dce92006-01-14 15:29:55 -0500785 }
Al Viro765927b2012-06-26 21:58:53 +0400786 path_put(&path);
Alexander Viro7c7dce92006-01-14 15:29:55 -0500787out_putfd:
Al Viro765927b2012-06-26 21:58:53 +0400788 if (error) {
789 put_unused_fd(fd);
790 fd = error;
791 }
Al Viro59551022016-01-22 15:40:57 -0500792 inode_unlock(d_inode(root));
Vladimir Davydov38d78e52013-03-22 15:04:51 -0700793 if (!ro)
794 mnt_drop_write(mnt);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700795out_putname:
796 putname(name);
797 return fd;
798}
799
Al Viro0d060602017-06-27 21:32:36 -0400800SYSCALL_DEFINE4(mq_open, const char __user *, u_name, int, oflag, umode_t, mode,
801 struct mq_attr __user *, u_attr)
802{
803 struct mq_attr attr;
804 if (u_attr && copy_from_user(&attr, u_attr, sizeof(struct mq_attr)))
805 return -EFAULT;
806
807 return do_mq_open(u_name, oflag, mode, u_attr ? &attr : NULL);
808}
809
Heiko Carstensd5460c92009-01-14 14:14:27 +0100810SYSCALL_DEFINE1(mq_unlink, const char __user *, u_name)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700811{
812 int err;
Jeff Layton91a27b22012-10-10 15:25:28 -0400813 struct filename *name;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700814 struct dentry *dentry;
815 struct inode *inode = NULL;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -0700816 struct ipc_namespace *ipc_ns = current->nsproxy->ipc_ns;
Al Viro312b90f2012-08-06 10:18:17 +0400817 struct vfsmount *mnt = ipc_ns->mq_mnt;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700818
819 name = getname(u_name);
820 if (IS_ERR(name))
821 return PTR_ERR(name);
822
Jeff Layton79f65302013-07-08 15:59:36 -0700823 audit_inode_parent_hidden(name, mnt->mnt_root);
Al Viro312b90f2012-08-06 10:18:17 +0400824 err = mnt_want_write(mnt);
825 if (err)
826 goto out_name;
Al Viro59551022016-01-22 15:40:57 -0500827 inode_lock_nested(d_inode(mnt->mnt_root), I_MUTEX_PARENT);
Jeff Layton91a27b22012-10-10 15:25:28 -0400828 dentry = lookup_one_len(name->name, mnt->mnt_root,
829 strlen(name->name));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700830 if (IS_ERR(dentry)) {
831 err = PTR_ERR(dentry);
832 goto out_unlock;
833 }
834
David Howells75c3cfa2015-03-17 22:26:12 +0000835 inode = d_inode(dentry);
Al Viro312b90f2012-08-06 10:18:17 +0400836 if (!inode) {
837 err = -ENOENT;
838 } else {
Al Viro7de9c6ee2010-10-23 11:11:40 -0400839 ihold(inode);
David Howells75c3cfa2015-03-17 22:26:12 +0000840 err = vfs_unlink(d_inode(dentry->d_parent), dentry, NULL);
Al Viro312b90f2012-08-06 10:18:17 +0400841 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700842 dput(dentry);
843
844out_unlock:
Al Viro59551022016-01-22 15:40:57 -0500845 inode_unlock(d_inode(mnt->mnt_root));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700846 if (inode)
847 iput(inode);
Al Viro312b90f2012-08-06 10:18:17 +0400848 mnt_drop_write(mnt);
849out_name:
850 putname(name);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700851
852 return err;
853}
854
855/* Pipelined send and receive functions.
856 *
857 * If a receiver finds no waiting message, then it registers itself in the
858 * list of waiting receivers. A sender checks that list before adding the new
859 * message into the message array. If there is a waiting receiver, then it
860 * bypasses the message array and directly hands the message over to the
Davidlohr Buesofa6004a2015-05-04 07:02:46 -0700861 * receiver. The receiver accepts the message and returns without grabbing the
862 * queue spinlock:
863 *
864 * - Set pointer to message.
865 * - Queue the receiver task for later wakeup (without the info->lock).
866 * - Update its state to STATE_READY. Now the receiver can continue.
867 * - Wake up the process after the lock is dropped. Should the process wake up
868 * before this wakeup (due to a timeout or a signal) it will either see
869 * STATE_READY and continue or acquire the lock to check the state again.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700870 *
871 * The same algorithm is used for senders.
872 */
873
874/* pipelined_send() - send a message directly to the task waiting in
875 * sys_mq_timedreceive() (without inserting message into a queue).
876 */
Davidlohr Buesofa6004a2015-05-04 07:02:46 -0700877static inline void pipelined_send(struct wake_q_head *wake_q,
878 struct mqueue_inode_info *info,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700879 struct msg_msg *message,
880 struct ext_wait_queue *receiver)
881{
882 receiver->msg = message;
883 list_del(&receiver->list);
Davidlohr Buesofa6004a2015-05-04 07:02:46 -0700884 wake_q_add(wake_q, receiver->task);
885 /*
886 * Rely on the implicit cmpxchg barrier from wake_q_add such
887 * that we can ensure that updating receiver->state is the last
888 * write operation: As once set, the receiver can continue,
889 * and if we don't have the reference count from the wake_q,
890 * yet, at that point we can later have a use-after-free
891 * condition and bogus wakeup.
892 */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700893 receiver->state = STATE_READY;
894}
895
896/* pipelined_receive() - if there is task waiting in sys_mq_timedsend()
897 * gets its message and put to the queue (we have one free place for sure). */
Davidlohr Buesofa6004a2015-05-04 07:02:46 -0700898static inline void pipelined_receive(struct wake_q_head *wake_q,
899 struct mqueue_inode_info *info)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700900{
901 struct ext_wait_queue *sender = wq_get_first_waiter(info, SEND);
902
903 if (!sender) {
904 /* for poll */
905 wake_up_interruptible(&info->wait_q);
906 return;
907 }
Doug Ledfordd6629852012-05-31 16:26:35 -0700908 if (msg_insert(sender->msg, info))
909 return;
Davidlohr Buesofa6004a2015-05-04 07:02:46 -0700910
Linus Torvalds1da177e2005-04-16 15:20:36 -0700911 list_del(&sender->list);
Davidlohr Buesofa6004a2015-05-04 07:02:46 -0700912 wake_q_add(wake_q, sender->task);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700913 sender->state = STATE_READY;
914}
915
Al Viro0d060602017-06-27 21:32:36 -0400916static int do_mq_timedsend(mqd_t mqdes, const char __user *u_msg_ptr,
917 size_t msg_len, unsigned int msg_prio,
Deepa Dinamanib9047722017-08-02 19:51:11 -0700918 struct timespec64 *ts)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700919{
Al Viro2903ff02012-08-28 12:52:22 -0400920 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700921 struct inode *inode;
922 struct ext_wait_queue wait;
923 struct ext_wait_queue *receiver;
924 struct msg_msg *msg_ptr;
925 struct mqueue_inode_info *info;
Carsten Emde9ca7d8e2010-04-02 22:40:20 +0200926 ktime_t expires, *timeout = NULL;
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700927 struct posix_msg_tree_node *new_leaf = NULL;
Al Viro2903ff02012-08-28 12:52:22 -0400928 int ret = 0;
Waiman Long194a6b52016-11-17 11:46:38 -0500929 DEFINE_WAKE_Q(wake_q);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700930
931 if (unlikely(msg_prio >= (unsigned long) MQ_PRIO_MAX))
932 return -EINVAL;
933
Al Viro0d060602017-06-27 21:32:36 -0400934 if (ts) {
Deepa Dinamanib9047722017-08-02 19:51:11 -0700935 expires = timespec64_to_ktime(*ts);
Al Viro0d060602017-06-27 21:32:36 -0400936 timeout = &expires;
937 }
938
939 audit_mq_sendrecv(mqdes, msg_len, msg_prio, ts);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700940
Al Viro2903ff02012-08-28 12:52:22 -0400941 f = fdget(mqdes);
942 if (unlikely(!f.file)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -0300943 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700944 goto out;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -0300945 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700946
Al Viro496ad9a2013-01-23 17:07:38 -0500947 inode = file_inode(f.file);
Al Viro2903ff02012-08-28 12:52:22 -0400948 if (unlikely(f.file->f_op != &mqueue_file_operations)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -0300949 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700950 goto out_fput;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -0300951 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700952 info = MQUEUE_I(inode);
Al Viro9f45f5b2014-10-31 17:44:57 -0400953 audit_file(f.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700954
Al Viro2903ff02012-08-28 12:52:22 -0400955 if (unlikely(!(f.file->f_mode & FMODE_WRITE))) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -0300956 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700957 goto out_fput;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -0300958 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700959
960 if (unlikely(msg_len > info->attr.mq_msgsize)) {
961 ret = -EMSGSIZE;
962 goto out_fput;
963 }
964
965 /* First try to allocate memory, before doing anything with
966 * existing queues. */
967 msg_ptr = load_msg(u_msg_ptr, msg_len);
968 if (IS_ERR(msg_ptr)) {
969 ret = PTR_ERR(msg_ptr);
970 goto out_fput;
971 }
972 msg_ptr->m_ts = msg_len;
973 msg_ptr->m_type = msg_prio;
974
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700975 /*
976 * msg_insert really wants us to have a valid, spare node struct so
977 * it doesn't have to kmalloc a GFP_ATOMIC allocation, but it will
978 * fall back to that if necessary.
979 */
980 if (!info->node_cache)
981 new_leaf = kmalloc(sizeof(*new_leaf), GFP_KERNEL);
982
Linus Torvalds1da177e2005-04-16 15:20:36 -0700983 spin_lock(&info->lock);
984
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700985 if (!info->node_cache && new_leaf) {
986 /* Save our speculative allocation into the cache */
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700987 INIT_LIST_HEAD(&new_leaf->msg_list);
988 info->node_cache = new_leaf;
Doug Ledfordce2d52c2012-05-31 16:26:38 -0700989 new_leaf = NULL;
990 } else {
991 kfree(new_leaf);
992 }
993
Linus Torvalds1da177e2005-04-16 15:20:36 -0700994 if (info->attr.mq_curmsgs == info->attr.mq_maxmsg) {
Al Viro2903ff02012-08-28 12:52:22 -0400995 if (f.file->f_flags & O_NONBLOCK) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700996 ret = -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700997 } else {
998 wait.task = current;
999 wait.msg = (void *) msg_ptr;
1000 wait.state = STATE_NONE;
1001 ret = wq_sleep(info, SEND, timeout, &wait);
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001002 /*
1003 * wq_sleep must be called with info->lock held, and
1004 * returns with the lock released
1005 */
1006 goto out_free;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001007 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001008 } else {
1009 receiver = wq_get_first_waiter(info, RECV);
1010 if (receiver) {
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001011 pipelined_send(&wake_q, info, msg_ptr, receiver);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001012 } else {
1013 /* adds message to the queue */
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001014 ret = msg_insert(msg_ptr, info);
1015 if (ret)
1016 goto out_unlock;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001017 __do_notify(info);
1018 }
1019 inode->i_atime = inode->i_mtime = inode->i_ctime =
Deepa Dinamani078cd822016-09-14 07:48:04 -07001020 current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001021 }
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001022out_unlock:
1023 spin_unlock(&info->lock);
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001024 wake_up_q(&wake_q);
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001025out_free:
1026 if (ret)
1027 free_msg(msg_ptr);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001028out_fput:
Al Viro2903ff02012-08-28 12:52:22 -04001029 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001030out:
1031 return ret;
1032}
1033
Al Viro0d060602017-06-27 21:32:36 -04001034static int do_mq_timedreceive(mqd_t mqdes, char __user *u_msg_ptr,
1035 size_t msg_len, unsigned int __user *u_msg_prio,
Deepa Dinamanib9047722017-08-02 19:51:11 -07001036 struct timespec64 *ts)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001037{
Linus Torvalds1da177e2005-04-16 15:20:36 -07001038 ssize_t ret;
1039 struct msg_msg *msg_ptr;
Al Viro2903ff02012-08-28 12:52:22 -04001040 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001041 struct inode *inode;
1042 struct mqueue_inode_info *info;
1043 struct ext_wait_queue wait;
Carsten Emde9ca7d8e2010-04-02 22:40:20 +02001044 ktime_t expires, *timeout = NULL;
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001045 struct posix_msg_tree_node *new_leaf = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001046
Al Viro0d060602017-06-27 21:32:36 -04001047 if (ts) {
Deepa Dinamanib9047722017-08-02 19:51:11 -07001048 expires = timespec64_to_ktime(*ts);
Carsten Emde9ca7d8e2010-04-02 22:40:20 +02001049 timeout = &expires;
Al Viroc32c8af2008-12-14 03:46:48 -05001050 }
George C. Wilson20ca73b2006-05-24 16:09:55 -05001051
Al Viro0d060602017-06-27 21:32:36 -04001052 audit_mq_sendrecv(mqdes, msg_len, 0, ts);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001053
Al Viro2903ff02012-08-28 12:52:22 -04001054 f = fdget(mqdes);
1055 if (unlikely(!f.file)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001056 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001057 goto out;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001058 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001059
Al Viro496ad9a2013-01-23 17:07:38 -05001060 inode = file_inode(f.file);
Al Viro2903ff02012-08-28 12:52:22 -04001061 if (unlikely(f.file->f_op != &mqueue_file_operations)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001062 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001063 goto out_fput;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001064 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001065 info = MQUEUE_I(inode);
Al Viro9f45f5b2014-10-31 17:44:57 -04001066 audit_file(f.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001067
Al Viro2903ff02012-08-28 12:52:22 -04001068 if (unlikely(!(f.file->f_mode & FMODE_READ))) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001069 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001070 goto out_fput;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001071 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001072
1073 /* checks if buffer is big enough */
1074 if (unlikely(msg_len < info->attr.mq_msgsize)) {
1075 ret = -EMSGSIZE;
1076 goto out_fput;
1077 }
1078
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001079 /*
1080 * msg_insert really wants us to have a valid, spare node struct so
1081 * it doesn't have to kmalloc a GFP_ATOMIC allocation, but it will
1082 * fall back to that if necessary.
1083 */
1084 if (!info->node_cache)
1085 new_leaf = kmalloc(sizeof(*new_leaf), GFP_KERNEL);
1086
Linus Torvalds1da177e2005-04-16 15:20:36 -07001087 spin_lock(&info->lock);
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001088
1089 if (!info->node_cache && new_leaf) {
1090 /* Save our speculative allocation into the cache */
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001091 INIT_LIST_HEAD(&new_leaf->msg_list);
1092 info->node_cache = new_leaf;
Doug Ledfordce2d52c2012-05-31 16:26:38 -07001093 } else {
1094 kfree(new_leaf);
1095 }
1096
Linus Torvalds1da177e2005-04-16 15:20:36 -07001097 if (info->attr.mq_curmsgs == 0) {
Al Viro2903ff02012-08-28 12:52:22 -04001098 if (f.file->f_flags & O_NONBLOCK) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001099 spin_unlock(&info->lock);
1100 ret = -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001101 } else {
1102 wait.task = current;
1103 wait.state = STATE_NONE;
1104 ret = wq_sleep(info, RECV, timeout, &wait);
1105 msg_ptr = wait.msg;
1106 }
1107 } else {
Waiman Long194a6b52016-11-17 11:46:38 -05001108 DEFINE_WAKE_Q(wake_q);
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001109
Linus Torvalds1da177e2005-04-16 15:20:36 -07001110 msg_ptr = msg_get(info);
1111
1112 inode->i_atime = inode->i_mtime = inode->i_ctime =
Deepa Dinamani078cd822016-09-14 07:48:04 -07001113 current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001114
1115 /* There is now free space in queue. */
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001116 pipelined_receive(&wake_q, info);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001117 spin_unlock(&info->lock);
Davidlohr Buesofa6004a2015-05-04 07:02:46 -07001118 wake_up_q(&wake_q);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001119 ret = 0;
1120 }
1121 if (ret == 0) {
1122 ret = msg_ptr->m_ts;
1123
1124 if ((u_msg_prio && put_user(msg_ptr->m_type, u_msg_prio)) ||
1125 store_msg(u_msg_ptr, msg_ptr, msg_ptr->m_ts)) {
1126 ret = -EFAULT;
1127 }
1128 free_msg(msg_ptr);
1129 }
1130out_fput:
Al Viro2903ff02012-08-28 12:52:22 -04001131 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001132out:
1133 return ret;
1134}
1135
Al Viro0d060602017-06-27 21:32:36 -04001136SYSCALL_DEFINE5(mq_timedsend, mqd_t, mqdes, const char __user *, u_msg_ptr,
1137 size_t, msg_len, unsigned int, msg_prio,
Arnd Bergmann21fc5382018-04-13 13:58:00 +02001138 const struct __kernel_timespec __user *, u_abs_timeout)
Al Viro0d060602017-06-27 21:32:36 -04001139{
Deepa Dinamanib9047722017-08-02 19:51:11 -07001140 struct timespec64 ts, *p = NULL;
Al Viro0d060602017-06-27 21:32:36 -04001141 if (u_abs_timeout) {
1142 int res = prepare_timeout(u_abs_timeout, &ts);
1143 if (res)
1144 return res;
1145 p = &ts;
1146 }
1147 return do_mq_timedsend(mqdes, u_msg_ptr, msg_len, msg_prio, p);
1148}
1149
1150SYSCALL_DEFINE5(mq_timedreceive, mqd_t, mqdes, char __user *, u_msg_ptr,
1151 size_t, msg_len, unsigned int __user *, u_msg_prio,
Arnd Bergmann21fc5382018-04-13 13:58:00 +02001152 const struct __kernel_timespec __user *, u_abs_timeout)
Al Viro0d060602017-06-27 21:32:36 -04001153{
Deepa Dinamanib9047722017-08-02 19:51:11 -07001154 struct timespec64 ts, *p = NULL;
Al Viro0d060602017-06-27 21:32:36 -04001155 if (u_abs_timeout) {
1156 int res = prepare_timeout(u_abs_timeout, &ts);
1157 if (res)
1158 return res;
1159 p = &ts;
1160 }
1161 return do_mq_timedreceive(mqdes, u_msg_ptr, msg_len, u_msg_prio, p);
1162}
1163
Linus Torvalds1da177e2005-04-16 15:20:36 -07001164/*
1165 * Notes: the case when user wants us to deregister (with NULL as pointer)
1166 * and he isn't currently owner of notification, will be silently discarded.
1167 * It isn't explicitly defined in the POSIX.
1168 */
Al Viro0d060602017-06-27 21:32:36 -04001169static int do_mq_notify(mqd_t mqdes, const struct sigevent *notification)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001170{
Al Viro2903ff02012-08-28 12:52:22 -04001171 int ret;
1172 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001173 struct sock *sock;
1174 struct inode *inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001175 struct mqueue_inode_info *info;
1176 struct sk_buff *nc;
1177
Al Viro0d060602017-06-27 21:32:36 -04001178 audit_mq_notify(mqdes, notification);
George C. Wilson20ca73b2006-05-24 16:09:55 -05001179
Linus Torvalds1da177e2005-04-16 15:20:36 -07001180 nc = NULL;
1181 sock = NULL;
Al Viro0d060602017-06-27 21:32:36 -04001182 if (notification != NULL) {
1183 if (unlikely(notification->sigev_notify != SIGEV_NONE &&
1184 notification->sigev_notify != SIGEV_SIGNAL &&
1185 notification->sigev_notify != SIGEV_THREAD))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001186 return -EINVAL;
Al Viro0d060602017-06-27 21:32:36 -04001187 if (notification->sigev_notify == SIGEV_SIGNAL &&
1188 !valid_signal(notification->sigev_signo)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001189 return -EINVAL;
1190 }
Al Viro0d060602017-06-27 21:32:36 -04001191 if (notification->sigev_notify == SIGEV_THREAD) {
Patrick McHardyc3d8d1e2007-11-07 02:42:09 -08001192 long timeo;
1193
Linus Torvalds1da177e2005-04-16 15:20:36 -07001194 /* create the notify skb */
1195 nc = alloc_skb(NOTIFY_COOKIE_LEN, GFP_KERNEL);
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001196 if (!nc) {
1197 ret = -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001198 goto out;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001199 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001200 if (copy_from_user(nc->data,
Al Viro0d060602017-06-27 21:32:36 -04001201 notification->sigev_value.sival_ptr,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001202 NOTIFY_COOKIE_LEN)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001203 ret = -EFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001204 goto out;
1205 }
1206
1207 /* TODO: add a header? */
1208 skb_put(nc, NOTIFY_COOKIE_LEN);
1209 /* and attach it to the socket */
1210retry:
Al Viro0d060602017-06-27 21:32:36 -04001211 f = fdget(notification->sigev_signo);
Al Viro2903ff02012-08-28 12:52:22 -04001212 if (!f.file) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001213 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001214 goto out;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001215 }
Al Viro2903ff02012-08-28 12:52:22 -04001216 sock = netlink_getsockbyfilp(f.file);
1217 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001218 if (IS_ERR(sock)) {
1219 ret = PTR_ERR(sock);
1220 sock = NULL;
1221 goto out;
1222 }
1223
Patrick McHardyc3d8d1e2007-11-07 02:42:09 -08001224 timeo = MAX_SCHEDULE_TIMEOUT;
Denis V. Lunev9457afe2008-06-05 11:23:39 -07001225 ret = netlink_attachskb(sock, nc, &timeo, NULL);
Cong Wangf991af32017-07-09 13:19:55 -07001226 if (ret == 1) {
1227 sock = NULL;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001228 goto retry;
Cong Wangf991af32017-07-09 13:19:55 -07001229 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001230 if (ret) {
1231 sock = NULL;
1232 nc = NULL;
1233 goto out;
1234 }
1235 }
1236 }
1237
Al Viro2903ff02012-08-28 12:52:22 -04001238 f = fdget(mqdes);
1239 if (!f.file) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001240 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001241 goto out;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001242 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001243
Al Viro496ad9a2013-01-23 17:07:38 -05001244 inode = file_inode(f.file);
Al Viro2903ff02012-08-28 12:52:22 -04001245 if (unlikely(f.file->f_op != &mqueue_file_operations)) {
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001246 ret = -EBADF;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001247 goto out_fput;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001248 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001249 info = MQUEUE_I(inode);
1250
1251 ret = 0;
1252 spin_lock(&info->lock);
Al Viro0d060602017-06-27 21:32:36 -04001253 if (notification == NULL) {
Cedric Le Goatera03fcb72006-10-02 02:17:26 -07001254 if (info->notify_owner == task_tgid(current)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001255 remove_notification(info);
Deepa Dinamani078cd822016-09-14 07:48:04 -07001256 inode->i_atime = inode->i_ctime = current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001257 }
Cedric Le Goatera03fcb72006-10-02 02:17:26 -07001258 } else if (info->notify_owner != NULL) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001259 ret = -EBUSY;
1260 } else {
Al Viro0d060602017-06-27 21:32:36 -04001261 switch (notification->sigev_notify) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001262 case SIGEV_NONE:
1263 info->notify.sigev_notify = SIGEV_NONE;
1264 break;
1265 case SIGEV_THREAD:
1266 info->notify_sock = sock;
1267 info->notify_cookie = nc;
1268 sock = NULL;
1269 nc = NULL;
1270 info->notify.sigev_notify = SIGEV_THREAD;
1271 break;
1272 case SIGEV_SIGNAL:
Al Viro0d060602017-06-27 21:32:36 -04001273 info->notify.sigev_signo = notification->sigev_signo;
1274 info->notify.sigev_value = notification->sigev_value;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001275 info->notify.sigev_notify = SIGEV_SIGNAL;
1276 break;
1277 }
Cedric Le Goatera03fcb72006-10-02 02:17:26 -07001278
1279 info->notify_owner = get_pid(task_tgid(current));
Eric W. Biederman6f9ac6d2011-11-16 22:57:55 -08001280 info->notify_user_ns = get_user_ns(current_user_ns());
Deepa Dinamani078cd822016-09-14 07:48:04 -07001281 inode->i_atime = inode->i_ctime = current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001282 }
1283 spin_unlock(&info->lock);
1284out_fput:
Al Viro2903ff02012-08-28 12:52:22 -04001285 fdput(f);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001286out:
Davidlohr Bueso3ab08fe2014-01-27 17:07:06 -08001287 if (sock)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001288 netlink_detachskb(sock, nc);
Davidlohr Bueso3ab08fe2014-01-27 17:07:06 -08001289 else if (nc)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001290 dev_kfree_skb(nc);
Davidlohr Bueso3ab08fe2014-01-27 17:07:06 -08001291
Linus Torvalds1da177e2005-04-16 15:20:36 -07001292 return ret;
1293}
1294
Al Viro0d060602017-06-27 21:32:36 -04001295SYSCALL_DEFINE2(mq_notify, mqd_t, mqdes,
1296 const struct sigevent __user *, u_notification)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001297{
Al Viro0d060602017-06-27 21:32:36 -04001298 struct sigevent n, *p = NULL;
1299 if (u_notification) {
1300 if (copy_from_user(&n, u_notification, sizeof(struct sigevent)))
1301 return -EFAULT;
1302 p = &n;
1303 }
1304 return do_mq_notify(mqdes, p);
1305}
1306
1307static int do_mq_getsetattr(int mqdes, struct mq_attr *new, struct mq_attr *old)
1308{
Al Viro2903ff02012-08-28 12:52:22 -04001309 struct fd f;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001310 struct inode *inode;
1311 struct mqueue_inode_info *info;
1312
Al Viro0d060602017-06-27 21:32:36 -04001313 if (new && (new->mq_flags & (~O_NONBLOCK)))
1314 return -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001315
Al Viro2903ff02012-08-28 12:52:22 -04001316 f = fdget(mqdes);
Al Viro0d060602017-06-27 21:32:36 -04001317 if (!f.file)
1318 return -EBADF;
1319
1320 if (unlikely(f.file->f_op != &mqueue_file_operations)) {
1321 fdput(f);
1322 return -EBADF;
André Goddard Rosa8d8ffef2010-02-23 04:04:26 -03001323 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001324
Al Viro496ad9a2013-01-23 17:07:38 -05001325 inode = file_inode(f.file);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001326 info = MQUEUE_I(inode);
1327
1328 spin_lock(&info->lock);
1329
Al Viro0d060602017-06-27 21:32:36 -04001330 if (old) {
1331 *old = info->attr;
1332 old->mq_flags = f.file->f_flags & O_NONBLOCK;
1333 }
1334 if (new) {
1335 audit_mq_getsetattr(mqdes, new);
Al Viro2903ff02012-08-28 12:52:22 -04001336 spin_lock(&f.file->f_lock);
Al Viro0d060602017-06-27 21:32:36 -04001337 if (new->mq_flags & O_NONBLOCK)
Al Viro2903ff02012-08-28 12:52:22 -04001338 f.file->f_flags |= O_NONBLOCK;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001339 else
Al Viro2903ff02012-08-28 12:52:22 -04001340 f.file->f_flags &= ~O_NONBLOCK;
1341 spin_unlock(&f.file->f_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001342
Deepa Dinamani078cd822016-09-14 07:48:04 -07001343 inode->i_atime = inode->i_ctime = current_time(inode);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001344 }
1345
1346 spin_unlock(&info->lock);
Al Viro2903ff02012-08-28 12:52:22 -04001347 fdput(f);
Al Viro0d060602017-06-27 21:32:36 -04001348 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001349}
1350
Al Viro0d060602017-06-27 21:32:36 -04001351SYSCALL_DEFINE3(mq_getsetattr, mqd_t, mqdes,
1352 const struct mq_attr __user *, u_mqstat,
1353 struct mq_attr __user *, u_omqstat)
1354{
1355 int ret;
1356 struct mq_attr mqstat, omqstat;
1357 struct mq_attr *new = NULL, *old = NULL;
1358
1359 if (u_mqstat) {
1360 new = &mqstat;
1361 if (copy_from_user(new, u_mqstat, sizeof(struct mq_attr)))
1362 return -EFAULT;
1363 }
1364 if (u_omqstat)
1365 old = &omqstat;
1366
1367 ret = do_mq_getsetattr(mqdes, new, old);
1368 if (ret || !old)
1369 return ret;
1370
1371 if (copy_to_user(u_omqstat, old, sizeof(struct mq_attr)))
1372 return -EFAULT;
1373 return 0;
1374}
1375
1376#ifdef CONFIG_COMPAT
1377
1378struct compat_mq_attr {
1379 compat_long_t mq_flags; /* message queue flags */
1380 compat_long_t mq_maxmsg; /* maximum number of messages */
1381 compat_long_t mq_msgsize; /* maximum message size */
1382 compat_long_t mq_curmsgs; /* number of messages currently queued */
1383 compat_long_t __reserved[4]; /* ignored for input, zeroed for output */
1384};
1385
1386static inline int get_compat_mq_attr(struct mq_attr *attr,
1387 const struct compat_mq_attr __user *uattr)
1388{
1389 struct compat_mq_attr v;
1390
1391 if (copy_from_user(&v, uattr, sizeof(*uattr)))
1392 return -EFAULT;
1393
1394 memset(attr, 0, sizeof(*attr));
1395 attr->mq_flags = v.mq_flags;
1396 attr->mq_maxmsg = v.mq_maxmsg;
1397 attr->mq_msgsize = v.mq_msgsize;
1398 attr->mq_curmsgs = v.mq_curmsgs;
1399 return 0;
1400}
1401
1402static inline int put_compat_mq_attr(const struct mq_attr *attr,
1403 struct compat_mq_attr __user *uattr)
1404{
1405 struct compat_mq_attr v;
1406
1407 memset(&v, 0, sizeof(v));
1408 v.mq_flags = attr->mq_flags;
1409 v.mq_maxmsg = attr->mq_maxmsg;
1410 v.mq_msgsize = attr->mq_msgsize;
1411 v.mq_curmsgs = attr->mq_curmsgs;
1412 if (copy_to_user(uattr, &v, sizeof(*uattr)))
1413 return -EFAULT;
1414 return 0;
1415}
1416
1417COMPAT_SYSCALL_DEFINE4(mq_open, const char __user *, u_name,
1418 int, oflag, compat_mode_t, mode,
1419 struct compat_mq_attr __user *, u_attr)
1420{
1421 struct mq_attr attr, *p = NULL;
1422 if (u_attr && oflag & O_CREAT) {
1423 p = &attr;
1424 if (get_compat_mq_attr(&attr, u_attr))
1425 return -EFAULT;
1426 }
1427 return do_mq_open(u_name, oflag, mode, p);
1428}
1429
Arnd Bergmannb0d17572018-04-13 13:58:23 +02001430COMPAT_SYSCALL_DEFINE2(mq_notify, mqd_t, mqdes,
1431 const struct compat_sigevent __user *, u_notification)
1432{
1433 struct sigevent n, *p = NULL;
1434 if (u_notification) {
1435 if (get_compat_sigevent(&n, u_notification))
1436 return -EFAULT;
1437 if (n.sigev_notify == SIGEV_THREAD)
1438 n.sigev_value.sival_ptr = compat_ptr(n.sigev_value.sival_int);
1439 p = &n;
1440 }
1441 return do_mq_notify(mqdes, p);
1442}
1443
1444COMPAT_SYSCALL_DEFINE3(mq_getsetattr, mqd_t, mqdes,
1445 const struct compat_mq_attr __user *, u_mqstat,
1446 struct compat_mq_attr __user *, u_omqstat)
1447{
1448 int ret;
1449 struct mq_attr mqstat, omqstat;
1450 struct mq_attr *new = NULL, *old = NULL;
1451
1452 if (u_mqstat) {
1453 new = &mqstat;
1454 if (get_compat_mq_attr(new, u_mqstat))
1455 return -EFAULT;
1456 }
1457 if (u_omqstat)
1458 old = &omqstat;
1459
1460 ret = do_mq_getsetattr(mqdes, new, old);
1461 if (ret || !old)
1462 return ret;
1463
1464 if (put_compat_mq_attr(old, u_omqstat))
1465 return -EFAULT;
1466 return 0;
1467}
1468#endif
1469
1470#ifdef CONFIG_COMPAT_32BIT_TIME
Al Viro0d060602017-06-27 21:32:36 -04001471static int compat_prepare_timeout(const struct compat_timespec __user *p,
Deepa Dinamanib9047722017-08-02 19:51:11 -07001472 struct timespec64 *ts)
Al Viro0d060602017-06-27 21:32:36 -04001473{
Deepa Dinamanib9047722017-08-02 19:51:11 -07001474 if (compat_get_timespec64(ts, p))
Al Viro0d060602017-06-27 21:32:36 -04001475 return -EFAULT;
Deepa Dinamanib9047722017-08-02 19:51:11 -07001476 if (!timespec64_valid(ts))
Al Viro0d060602017-06-27 21:32:36 -04001477 return -EINVAL;
1478 return 0;
1479}
1480
1481COMPAT_SYSCALL_DEFINE5(mq_timedsend, mqd_t, mqdes,
1482 const char __user *, u_msg_ptr,
1483 compat_size_t, msg_len, unsigned int, msg_prio,
1484 const struct compat_timespec __user *, u_abs_timeout)
1485{
Deepa Dinamanib9047722017-08-02 19:51:11 -07001486 struct timespec64 ts, *p = NULL;
Al Viro0d060602017-06-27 21:32:36 -04001487 if (u_abs_timeout) {
1488 int res = compat_prepare_timeout(u_abs_timeout, &ts);
1489 if (res)
1490 return res;
1491 p = &ts;
1492 }
1493 return do_mq_timedsend(mqdes, u_msg_ptr, msg_len, msg_prio, p);
1494}
1495
1496COMPAT_SYSCALL_DEFINE5(mq_timedreceive, mqd_t, mqdes,
1497 char __user *, u_msg_ptr,
1498 compat_size_t, msg_len, unsigned int __user *, u_msg_prio,
1499 const struct compat_timespec __user *, u_abs_timeout)
1500{
Deepa Dinamanib9047722017-08-02 19:51:11 -07001501 struct timespec64 ts, *p = NULL;
Al Viro0d060602017-06-27 21:32:36 -04001502 if (u_abs_timeout) {
1503 int res = compat_prepare_timeout(u_abs_timeout, &ts);
1504 if (res)
1505 return res;
1506 p = &ts;
1507 }
1508 return do_mq_timedreceive(mqdes, u_msg_ptr, msg_len, u_msg_prio, p);
1509}
Al Viro0d060602017-06-27 21:32:36 -04001510#endif
1511
Arjan van de Ven92e1d5b2007-02-12 00:55:39 -08001512static const struct inode_operations mqueue_dir_inode_operations = {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001513 .lookup = simple_lookup,
1514 .create = mqueue_create,
1515 .unlink = mqueue_unlink,
1516};
1517
Arjan van de Ven9a321442007-02-12 00:55:35 -08001518static const struct file_operations mqueue_file_operations = {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001519 .flush = mqueue_flush_file,
1520 .poll = mqueue_poll_file,
1521 .read = mqueue_read_file,
Arnd Bergmann6038f372010-08-15 18:52:59 +02001522 .llseek = default_llseek,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001523};
1524
Alexey Dobriyanb87221d2009-09-21 17:01:09 -07001525static const struct super_operations mqueue_super_ops = {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001526 .alloc_inode = mqueue_alloc_inode,
1527 .destroy_inode = mqueue_destroy_inode,
Al Viro6d8af642010-06-05 16:29:45 -04001528 .evict_inode = mqueue_evict_inode,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001529 .statfs = simple_statfs,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001530};
1531
1532static struct file_system_type mqueue_fs_type = {
1533 .name = "mqueue",
Al Viroceefda62010-07-26 13:16:50 +04001534 .mount = mqueue_mount,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001535 .kill_sb = kill_litter_super,
Gao fengbc1b69e2013-01-28 11:09:01 +08001536 .fs_flags = FS_USERNS_MOUNT,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001537};
1538
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001539int mq_init_ns(struct ipc_namespace *ns)
1540{
1541 ns->mq_queues_count = 0;
1542 ns->mq_queues_max = DFLT_QUEUESMAX;
1543 ns->mq_msg_max = DFLT_MSGMAX;
1544 ns->mq_msgsize_max = DFLT_MSGSIZEMAX;
KOSAKI Motohirocef01842012-05-31 16:26:33 -07001545 ns->mq_msg_default = DFLT_MSG;
1546 ns->mq_msgsize_default = DFLT_MSGSIZE;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001547
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -05001548 ns->mq_mnt = kern_mount_data(&mqueue_fs_type, ns);
1549 if (IS_ERR(ns->mq_mnt)) {
1550 int err = PTR_ERR(ns->mq_mnt);
1551 ns->mq_mnt = NULL;
1552 return err;
1553 }
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001554 return 0;
1555}
1556
1557void mq_clear_sbinfo(struct ipc_namespace *ns)
1558{
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -05001559 ns->mq_mnt->mnt_sb->s_fs_info = NULL;
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001560}
1561
1562void mq_put_mnt(struct ipc_namespace *ns)
1563{
Eric W. Biedermancfb2f6f2018-03-24 11:28:14 -05001564 kern_unmount(ns->mq_mnt);
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001565}
1566
Linus Torvalds1da177e2005-04-16 15:20:36 -07001567static int __init init_mqueue_fs(void)
1568{
1569 int error;
1570
1571 mqueue_inode_cachep = kmem_cache_create("mqueue_inode_cache",
1572 sizeof(struct mqueue_inode_info), 0,
Vladimir Davydov5d097052016-01-14 15:18:21 -08001573 SLAB_HWCACHE_ALIGN|SLAB_ACCOUNT, init_once);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001574 if (mqueue_inode_cachep == NULL)
1575 return -ENOMEM;
1576
André Goddard Rosa2329e3922010-02-23 04:04:27 -03001577 /* ignore failures - they are not fatal */
Serge E. Hallynbdc8e5f2009-04-06 19:01:11 -07001578 mq_sysctl_table = mq_register_sysctl_table();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001579
1580 error = register_filesystem(&mqueue_fs_type);
1581 if (error)
1582 goto out_sysctl;
1583
Serge E. Hallyn7eafd7c2009-04-06 19:01:10 -07001584 spin_lock_init(&mq_lock);
1585
Al Viro6f686572011-12-09 00:38:50 -05001586 error = mq_init_ns(&init_ipc_ns);
1587 if (error)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001588 goto out_filesystem;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001589
Linus Torvalds1da177e2005-04-16 15:20:36 -07001590 return 0;
1591
1592out_filesystem:
1593 unregister_filesystem(&mqueue_fs_type);
1594out_sysctl:
1595 if (mq_sysctl_table)
1596 unregister_sysctl_table(mq_sysctl_table);
Alexey Dobriyan1a1d92c2006-09-27 01:49:40 -07001597 kmem_cache_destroy(mqueue_inode_cachep);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001598 return error;
1599}
1600
Davidlohr Bueso6d08a252014-04-07 15:39:18 -07001601device_initcall(init_mqueue_fs);