mqueue.c 42.5 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4
/*
 * POSIX message queues filesystem for Linux.
 *
 * Copyright (C) 2003,2004  Krzysztof Benedyczak    (golbi@mat.uni.torun.pl)
5
 *                          Michal Wronski          (michal.wronski@gmail.com)
L
Linus Torvalds 已提交
6 7 8
 *
 * Spinlocks:               Mohamed Abbas           (abbas.mohamed@intel.com)
 * Lockless receive & send, fd based notify:
M
Manfred Spraul 已提交
9
 *			    Manfred Spraul	    (manfred@colorfullife.com)
L
Linus Torvalds 已提交
10
 *
11 12
 * Audit:                   George Wilson           (ltcgcw@us.ibm.com)
 *
L
Linus Torvalds 已提交
13 14 15
 * This file is released under the GPL.
 */

16
#include <linux/capability.h>
L
Linus Torvalds 已提交
17 18 19 20
#include <linux/init.h>
#include <linux/pagemap.h>
#include <linux/file.h>
#include <linux/mount.h>
21
#include <linux/fs_context.h>
L
Linus Torvalds 已提交
22 23 24 25 26 27
#include <linux/namei.h>
#include <linux/sysctl.h>
#include <linux/poll.h>
#include <linux/mqueue.h>
#include <linux/msg.h>
#include <linux/skbuff.h>
28
#include <linux/vmalloc.h>
L
Linus Torvalds 已提交
29 30
#include <linux/netlink.h>
#include <linux/syscalls.h>
31
#include <linux/audit.h>
32
#include <linux/signal.h>
I
Ingo Molnar 已提交
33
#include <linux/mutex.h>
34 35
#include <linux/nsproxy.h>
#include <linux/pid.h>
36
#include <linux/ipc_namespace.h>
37
#include <linux/user_namespace.h>
38
#include <linux/slab.h>
39
#include <linux/sched/wake_q.h>
40
#include <linux/sched/signal.h>
41
#include <linux/sched/user.h>
I
Ingo Molnar 已提交
42

L
Linus Torvalds 已提交
43 44 45
#include <net/sock.h>
#include "util.h"

46 47 48 49
struct mqueue_fs_context {
	struct ipc_namespace	*ipc_ns;
};

L
Linus Torvalds 已提交
50 51 52 53 54 55 56 57
#define MQUEUE_MAGIC	0x19800202
#define DIRENT_SIZE	20
#define FILENT_SIZE	80

#define SEND		0
#define RECV		1

#define STATE_NONE	0
58
#define STATE_READY	1
L
Linus Torvalds 已提交
59

60 61 62 63 64 65
struct posix_msg_tree_node {
	struct rb_node		rb_node;
	struct list_head	msg_list;
	int			priority;
};

66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125
/*
 * Locking:
 *
 * Accesses to a message queue are synchronized by acquiring info->lock.
 *
 * There are two notable exceptions:
 * - The actual wakeup of a sleeping task is performed using the wake_q
 *   framework. info->lock is already released when wake_up_q is called.
 * - The exit codepaths after sleeping check ext_wait_queue->state without
 *   any locks. If it is STATE_READY, then the syscall is completed without
 *   acquiring info->lock.
 *
 * MQ_BARRIER:
 * To achieve proper release/acquire memory barrier pairing, the state is set to
 * STATE_READY with smp_store_release(), and it is read with READ_ONCE followed
 * by smp_acquire__after_ctrl_dep(). In addition, wake_q_add_safe() is used.
 *
 * This prevents the following races:
 *
 * 1) With the simple wake_q_add(), the task could be gone already before
 *    the increase of the reference happens
 * Thread A
 *				Thread B
 * WRITE_ONCE(wait.state, STATE_NONE);
 * schedule_hrtimeout()
 *				wake_q_add(A)
 *				if (cmpxchg()) // success
 *				   ->state = STATE_READY (reordered)
 * <timeout returns>
 * if (wait.state == STATE_READY) return;
 * sysret to user space
 * sys_exit()
 *				get_task_struct() // UaF
 *
 * Solution: Use wake_q_add_safe() and perform the get_task_struct() before
 * the smp_store_release() that does ->state = STATE_READY.
 *
 * 2) Without proper _release/_acquire barriers, the woken up task
 *    could read stale data
 *
 * Thread A
 *				Thread B
 * do_mq_timedreceive
 * WRITE_ONCE(wait.state, STATE_NONE);
 * schedule_hrtimeout()
 *				state = STATE_READY;
 * <timeout returns>
 * if (wait.state == STATE_READY) return;
 * msg_ptr = wait.msg;		// Access to stale data!
 *				receiver->msg = message; (reordered)
 *
 * Solution: use _release and _acquire barriers.
 *
 * 3) There is intentionally no barrier when setting current->state
 *    to TASK_INTERRUPTIBLE: spin_unlock(&info->lock) provides the
 *    release memory barrier, and the wakeup is triggered when holding
 *    info->lock, i.e. spin_lock(&info->lock) provided a pairing
 *    acquire memory barrier.
 */

L
Linus Torvalds 已提交
126 127 128 129 130 131 132 133 134 135 136 137
struct ext_wait_queue {		/* queue of sleeping tasks */
	struct task_struct *task;
	struct list_head list;
	struct msg_msg *msg;	/* ptr of loaded message */
	int state;		/* one of STATE_* values */
};

struct mqueue_inode_info {
	spinlock_t lock;
	struct inode vfs_inode;
	wait_queue_head_t wait_q;

138
	struct rb_root msg_tree;
D
Davidlohr Bueso 已提交
139
	struct rb_node *msg_tree_rightmost;
140
	struct posix_msg_tree_node *node_cache;
L
Linus Torvalds 已提交
141 142 143
	struct mq_attr attr;

	struct sigevent notify;
M
Manfred Spraul 已提交
144
	struct pid *notify_owner;
145
	struct user_namespace *notify_user_ns;
146
	struct user_struct *user;	/* user who created, for accounting */
L
Linus Torvalds 已提交
147 148 149 150 151 152 153 154 155
	struct sock *notify_sock;
	struct sk_buff *notify_cookie;

	/* for tasks waiting for free space and messages, respectively */
	struct ext_wait_queue e_wait_q[2];

	unsigned long qsize; /* size of queue in memory (sum of all msgs) */
};

156
static struct file_system_type mqueue_fs_type;
157
static const struct inode_operations mqueue_dir_inode_operations;
158
static const struct file_operations mqueue_file_operations;
159
static const struct super_operations mqueue_super_ops;
160
static const struct fs_context_operations mqueue_fs_context_ops;
L
Linus Torvalds 已提交
161 162
static void remove_notification(struct mqueue_inode_info *info);

163
static struct kmem_cache *mqueue_inode_cachep;
L
Linus Torvalds 已提交
164

M
Manfred Spraul 已提交
165
static struct ctl_table_header *mq_sysctl_table;
L
Linus Torvalds 已提交
166 167 168 169 170 171

static inline struct mqueue_inode_info *MQUEUE_I(struct inode *inode)
{
	return container_of(inode, struct mqueue_inode_info, vfs_inode);
}

172 173 174 175
/*
 * This routine should be called with the mq_lock held.
 */
static inline struct ipc_namespace *__get_ns_from_inode(struct inode *inode)
176
{
177
	return get_ipc_ns(inode->i_sb->s_fs_info);
178 179
}

180
static struct ipc_namespace *get_ns_from_inode(struct inode *inode)
181
{
182 183 184 185 186 187
	struct ipc_namespace *ns;

	spin_lock(&mq_lock);
	ns = __get_ns_from_inode(inode);
	spin_unlock(&mq_lock);
	return ns;
188 189
}

190 191 192 193 194
/* Auxiliary functions to manipulate messages' list */
static int msg_insert(struct msg_msg *msg, struct mqueue_inode_info *info)
{
	struct rb_node **p, *parent = NULL;
	struct posix_msg_tree_node *leaf;
D
Davidlohr Bueso 已提交
195
	bool rightmost = true;
196 197 198 199 200 201 202 203

	p = &info->msg_tree.rb_node;
	while (*p) {
		parent = *p;
		leaf = rb_entry(parent, struct posix_msg_tree_node, rb_node);

		if (likely(leaf->priority == msg->m_type))
			goto insert_msg;
D
Davidlohr Bueso 已提交
204
		else if (msg->m_type < leaf->priority) {
205
			p = &(*p)->rb_left;
D
Davidlohr Bueso 已提交
206 207
			rightmost = false;
		} else
208 209
			p = &(*p)->rb_right;
	}
210 211 212 213 214 215 216 217 218
	if (info->node_cache) {
		leaf = info->node_cache;
		info->node_cache = NULL;
	} else {
		leaf = kmalloc(sizeof(*leaf), GFP_ATOMIC);
		if (!leaf)
			return -ENOMEM;
		INIT_LIST_HEAD(&leaf->msg_list);
	}
219
	leaf->priority = msg->m_type;
D
Davidlohr Bueso 已提交
220 221 222 223

	if (rightmost)
		info->msg_tree_rightmost = &leaf->rb_node;

224 225 226 227 228 229 230 231 232
	rb_link_node(&leaf->rb_node, parent, p);
	rb_insert_color(&leaf->rb_node, &info->msg_tree);
insert_msg:
	info->attr.mq_curmsgs++;
	info->qsize += msg->m_ts;
	list_add_tail(&msg->m_list, &leaf->msg_list);
	return 0;
}

D
Davidlohr Bueso 已提交
233 234 235 236 237 238 239 240 241
static inline void msg_tree_erase(struct posix_msg_tree_node *leaf,
				  struct mqueue_inode_info *info)
{
	struct rb_node *node = &leaf->rb_node;

	if (info->msg_tree_rightmost == node)
		info->msg_tree_rightmost = rb_prev(node);

	rb_erase(node, &info->msg_tree);
242
	if (info->node_cache)
D
Davidlohr Bueso 已提交
243
		kfree(leaf);
244
	else
D
Davidlohr Bueso 已提交
245 246 247
		info->node_cache = leaf;
}

248 249
static inline struct msg_msg *msg_get(struct mqueue_inode_info *info)
{
D
Davidlohr Bueso 已提交
250
	struct rb_node *parent = NULL;
251 252 253 254
	struct posix_msg_tree_node *leaf;
	struct msg_msg *msg;

try_again:
D
Davidlohr Bueso 已提交
255 256 257 258 259 260
	/*
	 * During insert, low priorities go to the left and high to the
	 * right.  On receive, we want the highest priorities first, so
	 * walk all the way to the right.
	 */
	parent = info->msg_tree_rightmost;
261 262 263 264 265 266 267 268 269 270
	if (!parent) {
		if (info->attr.mq_curmsgs) {
			pr_warn_once("Inconsistency in POSIX message queue, "
				     "no tree element, but supposedly messages "
				     "should exist!\n");
			info->attr.mq_curmsgs = 0;
		}
		return NULL;
	}
	leaf = rb_entry(parent, struct posix_msg_tree_node, rb_node);
271
	if (unlikely(list_empty(&leaf->msg_list))) {
272 273 274
		pr_warn_once("Inconsistency in POSIX message queue, "
			     "empty leaf node but we haven't implemented "
			     "lazy leaf delete!\n");
D
Davidlohr Bueso 已提交
275
		msg_tree_erase(leaf, info);
276 277 278 279 280 281
		goto try_again;
	} else {
		msg = list_first_entry(&leaf->msg_list,
				       struct msg_msg, m_list);
		list_del(&msg->m_list);
		if (list_empty(&leaf->msg_list)) {
D
Davidlohr Bueso 已提交
282
			msg_tree_erase(leaf, info);
283 284 285 286 287 288 289
		}
	}
	info->attr.mq_curmsgs--;
	info->qsize -= msg->m_ts;
	return msg;
}

290
static struct inode *mqueue_get_inode(struct super_block *sb,
A
Al Viro 已提交
291
		struct ipc_namespace *ipc_ns, umode_t mode,
292
		struct mq_attr *attr)
L
Linus Torvalds 已提交
293
{
294
	struct user_struct *u = current_user();
L
Linus Torvalds 已提交
295
	struct inode *inode;
296
	int ret = -ENOMEM;
L
Linus Torvalds 已提交
297 298

	inode = new_inode(sb);
299 300 301 302 303 304 305
	if (!inode)
		goto err;

	inode->i_ino = get_next_ino();
	inode->i_mode = mode;
	inode->i_uid = current_fsuid();
	inode->i_gid = current_fsgid();
306
	inode->i_mtime = inode->i_ctime = inode->i_atime = current_time(inode);
307 308 309

	if (S_ISREG(mode)) {
		struct mqueue_inode_info *info;
310
		unsigned long mq_bytes, mq_treesize;
311 312 313 314 315 316 317 318 319 320

		inode->i_fop = &mqueue_file_operations;
		inode->i_size = FILENT_SIZE;
		/* mqueue specific info */
		info = MQUEUE_I(inode);
		spin_lock_init(&info->lock);
		init_waitqueue_head(&info->wait_q);
		INIT_LIST_HEAD(&info->e_wait_q[0].list);
		INIT_LIST_HEAD(&info->e_wait_q[1].list);
		info->notify_owner = NULL;
321
		info->notify_user_ns = NULL;
322 323
		info->qsize = 0;
		info->user = NULL;	/* set when all is ok */
324
		info->msg_tree = RB_ROOT;
D
Davidlohr Bueso 已提交
325
		info->msg_tree_rightmost = NULL;
326
		info->node_cache = NULL;
327
		memset(&info->attr, 0, sizeof(info->attr));
328 329 330 331
		info->attr.mq_maxmsg = min(ipc_ns->mq_msg_max,
					   ipc_ns->mq_msg_default);
		info->attr.mq_msgsize = min(ipc_ns->mq_msgsize_max,
					    ipc_ns->mq_msgsize_default);
332 333 334 335
		if (attr) {
			info->attr.mq_maxmsg = attr->mq_maxmsg;
			info->attr.mq_msgsize = attr->mq_msgsize;
		}
336 337 338 339 340 341 342 343 344 345 346 347 348
		/*
		 * We used to allocate a static array of pointers and account
		 * the size of that array as well as one msg_msg struct per
		 * possible message into the queue size. That's no longer
		 * accurate as the queue is now an rbtree and will grow and
		 * shrink depending on usage patterns.  We can, however, still
		 * account one msg_msg struct per message, but the nodes are
		 * allocated depending on priority usage, and most programs
		 * only use one, or a handful, of priorities.  However, since
		 * this is pinned memory, we need to assume worst case, so
		 * that means the min(mq_maxmsg, max_priorities) * struct
		 * posix_msg_tree_node.
		 */
349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365

		ret = -EINVAL;
		if (info->attr.mq_maxmsg <= 0 || info->attr.mq_msgsize <= 0)
			goto out_inode;
		if (capable(CAP_SYS_RESOURCE)) {
			if (info->attr.mq_maxmsg > HARD_MSGMAX ||
			    info->attr.mq_msgsize > HARD_MSGSIZEMAX)
				goto out_inode;
		} else {
			if (info->attr.mq_maxmsg > ipc_ns->mq_msg_max ||
					info->attr.mq_msgsize > ipc_ns->mq_msgsize_max)
				goto out_inode;
		}
		ret = -EOVERFLOW;
		/* check for overflow */
		if (info->attr.mq_msgsize > ULONG_MAX/info->attr.mq_maxmsg)
			goto out_inode;
366 367 368
		mq_treesize = info->attr.mq_maxmsg * sizeof(struct msg_msg) +
			min_t(unsigned int, info->attr.mq_maxmsg, MQ_PRIO_MAX) *
			sizeof(struct posix_msg_tree_node);
369 370 371 372
		mq_bytes = info->attr.mq_maxmsg * info->attr.mq_msgsize;
		if (mq_bytes + mq_treesize < mq_bytes)
			goto out_inode;
		mq_bytes += mq_treesize;
373 374
		spin_lock(&mq_lock);
		if (u->mq_bytes + mq_bytes < u->mq_bytes ||
375
		    u->mq_bytes + mq_bytes > rlimit(RLIMIT_MSGQUEUE)) {
376 377
			spin_unlock(&mq_lock);
			/* mqueue_evict_inode() releases info->messages */
378
			ret = -EMFILE;
379
			goto out_inode;
L
Linus Torvalds 已提交
380
		}
381 382 383 384 385 386 387 388 389 390 391
		u->mq_bytes += mq_bytes;
		spin_unlock(&mq_lock);

		/* all is ok */
		info->user = get_uid(u);
	} else if (S_ISDIR(mode)) {
		inc_nlink(inode);
		/* Some things misbehave if size == 0 on a directory */
		inode->i_size = 2 * DIRENT_SIZE;
		inode->i_op = &mqueue_dir_inode_operations;
		inode->i_fop = &simple_dir_operations;
L
Linus Torvalds 已提交
392
	}
393

L
Linus Torvalds 已提交
394 395 396
	return inode;
out_inode:
	iput(inode);
397
err:
398
	return ERR_PTR(ret);
L
Linus Torvalds 已提交
399 400
}

401
static int mqueue_fill_super(struct super_block *sb, struct fs_context *fc)
L
Linus Torvalds 已提交
402 403
{
	struct inode *inode;
404
	struct ipc_namespace *ns = sb->s_fs_info;
L
Linus Torvalds 已提交
405

406
	sb->s_iflags |= SB_I_NOEXEC | SB_I_NODEV;
407 408
	sb->s_blocksize = PAGE_SIZE;
	sb->s_blocksize_bits = PAGE_SHIFT;
L
Linus Torvalds 已提交
409 410 411
	sb->s_magic = MQUEUE_MAGIC;
	sb->s_op = &mqueue_super_ops;

412 413 414
	inode = mqueue_get_inode(sb, ns, S_IFDIR | S_ISVTX | S_IRWXUGO, NULL);
	if (IS_ERR(inode))
		return PTR_ERR(inode);
L
Linus Torvalds 已提交
415

416 417 418 419
	sb->s_root = d_make_root(inode);
	if (!sb->s_root)
		return -ENOMEM;
	return 0;
L
Linus Torvalds 已提交
420 421
}

422
static int mqueue_get_tree(struct fs_context *fc)
L
Linus Torvalds 已提交
423
{
424 425
	struct mqueue_fs_context *ctx = fc->fs_private;

A
Al Viro 已提交
426
	return get_tree_keyed(fc, mqueue_fill_super, ctx->ipc_ns);
427 428 429 430 431 432
}

static void mqueue_fs_context_free(struct fs_context *fc)
{
	struct mqueue_fs_context *ctx = fc->fs_private;

433
	put_ipc_ns(ctx->ipc_ns);
434 435 436 437 438 439 440 441 442 443 444 445
	kfree(ctx);
}

static int mqueue_init_fs_context(struct fs_context *fc)
{
	struct mqueue_fs_context *ctx;

	ctx = kzalloc(sizeof(struct mqueue_fs_context), GFP_KERNEL);
	if (!ctx)
		return -ENOMEM;

	ctx->ipc_ns = get_ipc_ns(current->nsproxy->ipc_ns);
446 447
	put_user_ns(fc->user_ns);
	fc->user_ns = get_user_ns(ctx->ipc_ns->user_ns);
448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465
	fc->fs_private = ctx;
	fc->ops = &mqueue_fs_context_ops;
	return 0;
}

static struct vfsmount *mq_create_mount(struct ipc_namespace *ns)
{
	struct mqueue_fs_context *ctx;
	struct fs_context *fc;
	struct vfsmount *mnt;

	fc = fs_context_for_mount(&mqueue_fs_type, SB_KERNMOUNT);
	if (IS_ERR(fc))
		return ERR_CAST(fc);

	ctx = fc->fs_private;
	put_ipc_ns(ctx->ipc_ns);
	ctx->ipc_ns = get_ipc_ns(ns);
466 467
	put_user_ns(fc->user_ns);
	fc->user_ns = get_user_ns(ctx->ipc_ns->user_ns);
468 469 470 471

	mnt = fc_mount(fc);
	put_fs_context(fc);
	return mnt;
L
Linus Torvalds 已提交
472 473
}

474
static void init_once(void *foo)
L
Linus Torvalds 已提交
475 476 477
{
	struct mqueue_inode_info *p = (struct mqueue_inode_info *) foo;

C
Christoph Lameter 已提交
478
	inode_init_once(&p->vfs_inode);
L
Linus Torvalds 已提交
479 480 481 482 483 484
}

static struct inode *mqueue_alloc_inode(struct super_block *sb)
{
	struct mqueue_inode_info *ei;

485
	ei = kmem_cache_alloc(mqueue_inode_cachep, GFP_KERNEL);
L
Linus Torvalds 已提交
486 487 488 489 490
	if (!ei)
		return NULL;
	return &ei->vfs_inode;
}

A
Al Viro 已提交
491
static void mqueue_free_inode(struct inode *inode)
L
Linus Torvalds 已提交
492 493 494 495
{
	kmem_cache_free(mqueue_inode_cachep, MQUEUE_I(inode));
}

A
Al Viro 已提交
496
static void mqueue_evict_inode(struct inode *inode)
L
Linus Torvalds 已提交
497 498 499
{
	struct mqueue_inode_info *info;
	struct user_struct *user;
500
	struct ipc_namespace *ipc_ns;
501 502
	struct msg_msg *msg, *nmsg;
	LIST_HEAD(tmp_msg);
L
Linus Torvalds 已提交
503

504
	clear_inode(inode);
A
Al Viro 已提交
505 506

	if (S_ISDIR(inode->i_mode))
L
Linus Torvalds 已提交
507
		return;
A
Al Viro 已提交
508

509
	ipc_ns = get_ns_from_inode(inode);
L
Linus Torvalds 已提交
510 511
	info = MQUEUE_I(inode);
	spin_lock(&info->lock);
512
	while ((msg = msg_get(info)) != NULL)
513
		list_add_tail(&msg->m_list, &tmp_msg);
514
	kfree(info->node_cache);
L
Linus Torvalds 已提交
515 516
	spin_unlock(&info->lock);

517 518 519 520 521
	list_for_each_entry_safe(msg, nmsg, &tmp_msg, m_list) {
		list_del(&msg->m_list);
		free_msg(msg);
	}

L
Linus Torvalds 已提交
522 523
	user = info->user;
	if (user) {
524 525 526 527 528 529 530 531 532 533
		unsigned long mq_bytes, mq_treesize;

		/* Total amount of bytes accounted for the mqueue */
		mq_treesize = info->attr.mq_maxmsg * sizeof(struct msg_msg) +
			min_t(unsigned int, info->attr.mq_maxmsg, MQ_PRIO_MAX) *
			sizeof(struct posix_msg_tree_node);

		mq_bytes = mq_treesize + (info->attr.mq_maxmsg *
					  info->attr.mq_msgsize);

L
Linus Torvalds 已提交
534 535
		spin_lock(&mq_lock);
		user->mq_bytes -= mq_bytes;
536 537 538 539 540 541 542 543
		/*
		 * get_ns_from_inode() ensures that the
		 * (ipc_ns = sb->s_fs_info) is either a valid ipc_ns
		 * to which we now hold a reference, or it is NULL.
		 * We can't put it here under mq_lock, though.
		 */
		if (ipc_ns)
			ipc_ns->mq_queues_count--;
L
Linus Torvalds 已提交
544 545 546
		spin_unlock(&mq_lock);
		free_uid(user);
	}
547 548
	if (ipc_ns)
		put_ipc_ns(ipc_ns);
L
Linus Torvalds 已提交
549 550
}

551
static int mqueue_create_attr(struct dentry *dentry, umode_t mode, void *arg)
L
Linus Torvalds 已提交
552
{
553
	struct inode *dir = dentry->d_parent->d_inode;
L
Linus Torvalds 已提交
554
	struct inode *inode;
555
	struct mq_attr *attr = arg;
L
Linus Torvalds 已提交
556
	int error;
557
	struct ipc_namespace *ipc_ns;
L
Linus Torvalds 已提交
558 559

	spin_lock(&mq_lock);
560 561 562 563 564
	ipc_ns = __get_ns_from_inode(dir);
	if (!ipc_ns) {
		error = -EACCES;
		goto out_unlock;
	}
565 566 567

	if (ipc_ns->mq_queues_count >= ipc_ns->mq_queues_max &&
	    !capable(CAP_SYS_RESOURCE)) {
L
Linus Torvalds 已提交
568
		error = -ENOSPC;
569
		goto out_unlock;
L
Linus Torvalds 已提交
570
	}
571
	ipc_ns->mq_queues_count++;
L
Linus Torvalds 已提交
572 573
	spin_unlock(&mq_lock);

574
	inode = mqueue_get_inode(dir->i_sb, ipc_ns, mode, attr);
575 576
	if (IS_ERR(inode)) {
		error = PTR_ERR(inode);
L
Linus Torvalds 已提交
577
		spin_lock(&mq_lock);
578 579
		ipc_ns->mq_queues_count--;
		goto out_unlock;
L
Linus Torvalds 已提交
580 581
	}

582
	put_ipc_ns(ipc_ns);
L
Linus Torvalds 已提交
583
	dir->i_size += DIRENT_SIZE;
584
	dir->i_ctime = dir->i_mtime = dir->i_atime = current_time(dir);
L
Linus Torvalds 已提交
585 586 587 588

	d_instantiate(dentry, inode);
	dget(dentry);
	return 0;
589
out_unlock:
L
Linus Torvalds 已提交
590
	spin_unlock(&mq_lock);
591 592
	if (ipc_ns)
		put_ipc_ns(ipc_ns);
L
Linus Torvalds 已提交
593 594 595
	return error;
}

596 597 598 599 600 601
static int mqueue_create(struct inode *dir, struct dentry *dentry,
				umode_t mode, bool excl)
{
	return mqueue_create_attr(dentry, mode, NULL);
}

L
Linus Torvalds 已提交
602 603
static int mqueue_unlink(struct inode *dir, struct dentry *dentry)
{
604
	struct inode *inode = d_inode(dentry);
L
Linus Torvalds 已提交
605

606
	dir->i_ctime = dir->i_mtime = dir->i_atime = current_time(dir);
L
Linus Torvalds 已提交
607
	dir->i_size -= DIRENT_SIZE;
M
Manfred Spraul 已提交
608 609 610
	drop_nlink(inode);
	dput(dentry);
	return 0;
L
Linus Torvalds 已提交
611 612 613 614 615 616 617 618 619 620
}

/*
*	This is routine for system read from queue file.
*	To avoid mess with doing here some sort of mq_receive we allow
*	to read only queue size & notification info (the only values
*	that are interesting from user point of view and aren't accessible
*	through std routines)
*/
static ssize_t mqueue_read_file(struct file *filp, char __user *u_data,
621
				size_t count, loff_t *off)
L
Linus Torvalds 已提交
622
{
A
Al Viro 已提交
623
	struct mqueue_inode_info *info = MQUEUE_I(file_inode(filp));
L
Linus Torvalds 已提交
624
	char buffer[FILENT_SIZE];
625
	ssize_t ret;
L
Linus Torvalds 已提交
626 627 628 629 630 631 632 633 634

	spin_lock(&info->lock);
	snprintf(buffer, sizeof(buffer),
			"QSIZE:%-10lu NOTIFY:%-5d SIGNO:%-5d NOTIFY_PID:%-6d\n",
			info->qsize,
			info->notify_owner ? info->notify.sigev_notify : 0,
			(info->notify_owner &&
			 info->notify.sigev_notify == SIGEV_SIGNAL) ?
				info->notify.sigev_signo : 0,
635
			pid_vnr(info->notify_owner));
L
Linus Torvalds 已提交
636 637 638
	spin_unlock(&info->lock);
	buffer[sizeof(buffer)-1] = '\0';

639 640 641 642
	ret = simple_read_from_buffer(u_data, count, off, buffer,
				strlen(buffer));
	if (ret <= 0)
		return ret;
L
Linus Torvalds 已提交
643

644
	file_inode(filp)->i_atime = file_inode(filp)->i_ctime = current_time(file_inode(filp));
645
	return ret;
L
Linus Torvalds 已提交
646 647
}

648
static int mqueue_flush_file(struct file *filp, fl_owner_t id)
L
Linus Torvalds 已提交
649
{
A
Al Viro 已提交
650
	struct mqueue_inode_info *info = MQUEUE_I(file_inode(filp));
L
Linus Torvalds 已提交
651 652

	spin_lock(&info->lock);
653
	if (task_tgid(current) == info->notify_owner)
L
Linus Torvalds 已提交
654 655 656 657 658 659
		remove_notification(info);

	spin_unlock(&info->lock);
	return 0;
}

660
static __poll_t mqueue_poll_file(struct file *filp, struct poll_table_struct *poll_tab)
L
Linus Torvalds 已提交
661
{
A
Al Viro 已提交
662
	struct mqueue_inode_info *info = MQUEUE_I(file_inode(filp));
663
	__poll_t retval = 0;
L
Linus Torvalds 已提交
664 665 666 667 668

	poll_wait(filp, &info->wait_q, poll_tab);

	spin_lock(&info->lock);
	if (info->attr.mq_curmsgs)
669
		retval = EPOLLIN | EPOLLRDNORM;
L
Linus Torvalds 已提交
670 671

	if (info->attr.mq_curmsgs < info->attr.mq_maxmsg)
672
		retval |= EPOLLOUT | EPOLLWRNORM;
L
Linus Torvalds 已提交
673 674 675 676 677 678 679 680 681 682 683 684
	spin_unlock(&info->lock);

	return retval;
}

/* Adds current to info->e_wait_q[sr] before element with smaller prio */
static void wq_add(struct mqueue_inode_info *info, int sr,
			struct ext_wait_queue *ewp)
{
	struct ext_wait_queue *walk;

	list_for_each_entry(walk, &info->e_wait_q[sr].list, list) {
685
		if (walk->task->prio <= current->prio) {
L
Linus Torvalds 已提交
686 687 688 689 690 691 692 693 694 695 696 697 698
			list_add_tail(&ewp->list, &walk->list);
			return;
		}
	}
	list_add_tail(&ewp->list, &info->e_wait_q[sr].list);
}

/*
 * Puts current task to sleep. Caller must hold queue lock. After return
 * lock isn't held.
 * sr: SEND or RECV
 */
static int wq_sleep(struct mqueue_inode_info *info, int sr,
699
		    ktime_t *timeout, struct ext_wait_queue *ewp)
700
	__releases(&info->lock)
L
Linus Torvalds 已提交
701 702 703 704 705 706 707
{
	int retval;
	signed long time;

	wq_add(info, sr, ewp);

	for (;;) {
708
		/* memory barrier not required, we hold info->lock */
709
		__set_current_state(TASK_INTERRUPTIBLE);
L
Linus Torvalds 已提交
710 711

		spin_unlock(&info->lock);
712 713
		time = schedule_hrtimeout_range_clock(timeout, 0,
			HRTIMER_MODE_ABS, CLOCK_REALTIME);
L
Linus Torvalds 已提交
714

715 716 717
		if (READ_ONCE(ewp->state) == STATE_READY) {
			/* see MQ_BARRIER for purpose/pairing */
			smp_acquire__after_ctrl_dep();
L
Linus Torvalds 已提交
718 719 720 721
			retval = 0;
			goto out;
		}
		spin_lock(&info->lock);
722 723 724

		/* we hold info->lock, so no memory barrier required */
		if (READ_ONCE(ewp->state) == STATE_READY) {
L
Linus Torvalds 已提交
725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760
			retval = 0;
			goto out_unlock;
		}
		if (signal_pending(current)) {
			retval = -ERESTARTSYS;
			break;
		}
		if (time == 0) {
			retval = -ETIMEDOUT;
			break;
		}
	}
	list_del(&ewp->list);
out_unlock:
	spin_unlock(&info->lock);
out:
	return retval;
}

/*
 * Returns waiting task that should be serviced first or NULL if none exists
 */
static struct ext_wait_queue *wq_get_first_waiter(
		struct mqueue_inode_info *info, int sr)
{
	struct list_head *ptr;

	ptr = info->e_wait_q[sr].list.prev;
	if (ptr == &info->e_wait_q[sr].list)
		return NULL;
	return list_entry(ptr, struct ext_wait_queue, list);
}


static inline void set_cookie(struct sk_buff *skb, char code)
{
M
Manfred Spraul 已提交
761
	((char *)skb->data)[NOTIFY_COOKIE_LEN-1] = code;
L
Linus Torvalds 已提交
762 763 764 765 766 767 768 769 770 771 772 773 774 775
}

/*
 * The next function is only to split too long sys_mq_timedsend
 */
static void __do_notify(struct mqueue_inode_info *info)
{
	/* notification
	 * invoked when there is registered process and there isn't process
	 * waiting synchronously for message AND state of queue changed from
	 * empty to not empty. Here we are sure that no one is waiting
	 * synchronously. */
	if (info->notify_owner &&
	    info->attr.mq_curmsgs == 1) {
776
		struct kernel_siginfo sig_i;
L
Linus Torvalds 已提交
777 778 779 780 781 782
		switch (info->notify.sigev_notify) {
		case SIGEV_NONE:
			break;
		case SIGEV_SIGNAL:
			/* sends signal */

783
			clear_siginfo(&sig_i);
L
Linus Torvalds 已提交
784 785 786 787
			sig_i.si_signo = info->notify.sigev_signo;
			sig_i.si_errno = 0;
			sig_i.si_code = SI_MESGQ;
			sig_i.si_value = info->notify.sigev_value;
788 789
			/* map current pid/uid into info->owner's namespaces */
			rcu_read_lock();
790 791
			sig_i.si_pid = task_tgid_nr_ns(current,
						ns_of_pid(info->notify_owner));
792
			sig_i.si_uid = from_kuid_munged(info->notify_user_ns, current_uid());
793
			rcu_read_unlock();
L
Linus Torvalds 已提交
794

795 796
			kill_pid_info(info->notify.sigev_signo,
				      &sig_i, info->notify_owner);
L
Linus Torvalds 已提交
797 798 799
			break;
		case SIGEV_THREAD:
			set_cookie(info->notify_cookie, NOTIFY_WOKENUP);
800
			netlink_sendskb(info->notify_sock, info->notify_cookie);
L
Linus Torvalds 已提交
801 802 803
			break;
		}
		/* after notification unregisters process */
804
		put_pid(info->notify_owner);
805
		put_user_ns(info->notify_user_ns);
806
		info->notify_owner = NULL;
807
		info->notify_user_ns = NULL;
L
Linus Torvalds 已提交
808 809 810 811
	}
	wake_up(&info->wait_q);
}

812
static int prepare_timeout(const struct __kernel_timespec __user *u_abs_timeout,
813
			   struct timespec64 *ts)
L
Linus Torvalds 已提交
814
{
815
	if (get_timespec64(ts, u_abs_timeout))
816
		return -EFAULT;
817
	if (!timespec64_valid(ts))
818 819
		return -EINVAL;
	return 0;
L
Linus Torvalds 已提交
820 821 822 823
}

static void remove_notification(struct mqueue_inode_info *info)
{
824
	if (info->notify_owner != NULL &&
L
Linus Torvalds 已提交
825 826
	    info->notify.sigev_notify == SIGEV_THREAD) {
		set_cookie(info->notify_cookie, NOTIFY_REMOVED);
827
		netlink_sendskb(info->notify_sock, info->notify_cookie);
L
Linus Torvalds 已提交
828
	}
829
	put_pid(info->notify_owner);
830
	put_user_ns(info->notify_user_ns);
831
	info->notify_owner = NULL;
832
	info->notify_user_ns = NULL;
L
Linus Torvalds 已提交
833 834
}

835 836
static int prepare_open(struct dentry *dentry, int oflag, int ro,
			umode_t mode, struct filename *name,
837
			struct mq_attr *attr)
L
Linus Torvalds 已提交
838
{
839 840
	static const int oflag2acc[O_ACCMODE] = { MAY_READ, MAY_WRITE,
						  MAY_READ | MAY_WRITE };
841
	int acc;
842

A
Al Viro 已提交
843 844
	if (d_really_is_negative(dentry)) {
		if (!(oflag & O_CREAT))
845
			return -ENOENT;
A
Al Viro 已提交
846 847 848 849 850
		if (ro)
			return ro;
		audit_inode_parent_hidden(name, dentry->d_parent);
		return vfs_mkobj(dentry, mode & ~current_umask(),
				  mqueue_create_attr, attr);
851
	}
A
Al Viro 已提交
852 853 854 855
	/* it already existed */
	audit_inode(name, dentry, 0);
	if ((oflag & (O_CREAT|O_EXCL)) == (O_CREAT|O_EXCL))
		return -EEXIST;
856
	if ((oflag & O_ACCMODE) == (O_RDWR | O_WRONLY))
857
		return -EINVAL;
858
	acc = oflag2acc[oflag & O_ACCMODE];
859
	return inode_permission(d_inode(dentry), acc);
L
Linus Torvalds 已提交
860 861
}

862 863
static int do_mq_open(const char __user *u_name, int oflag, umode_t mode,
		      struct mq_attr *attr)
L
Linus Torvalds 已提交
864
{
865 866
	struct vfsmount *mnt = current->nsproxy->ipc_ns->mq_mnt;
	struct dentry *root = mnt->mnt_root;
867
	struct filename *name;
A
Al Viro 已提交
868
	struct path path;
L
Linus Torvalds 已提交
869
	int fd, error;
870
	int ro;
L
Linus Torvalds 已提交
871

872
	audit_mq_open(oflag, mode, attr);
873

L
Linus Torvalds 已提交
874 875 876
	if (IS_ERR(name = getname(u_name)))
		return PTR_ERR(name);

U
Ulrich Drepper 已提交
877
	fd = get_unused_fd_flags(O_CLOEXEC);
L
Linus Torvalds 已提交
878 879 880
	if (fd < 0)
		goto out_putname;

881
	ro = mnt_want_write(mnt);	/* we'll drop it in any case */
A
Al Viro 已提交
882
	inode_lock(d_inode(root));
883
	path.dentry = lookup_one_len(name->name, root, strlen(name->name));
884 885
	if (IS_ERR(path.dentry)) {
		error = PTR_ERR(path.dentry);
886
		goto out_putfd;
L
Linus Torvalds 已提交
887
	}
888
	path.mnt = mntget(mnt);
889 890 891 892 893 894 895
	error = prepare_open(path.dentry, oflag, ro, mode, name, attr);
	if (!error) {
		struct file *file = dentry_open(&path, oflag, current_cred());
		if (!IS_ERR(file))
			fd_install(fd, file);
		else
			error = PTR_ERR(file);
896
	}
897
	path_put(&path);
898
out_putfd:
899 900 901 902
	if (error) {
		put_unused_fd(fd);
		fd = error;
	}
A
Al Viro 已提交
903
	inode_unlock(d_inode(root));
904 905
	if (!ro)
		mnt_drop_write(mnt);
L
Linus Torvalds 已提交
906 907 908 909 910
out_putname:
	putname(name);
	return fd;
}

911 912 913 914 915 916 917 918 919 920
SYSCALL_DEFINE4(mq_open, const char __user *, u_name, int, oflag, umode_t, mode,
		struct mq_attr __user *, u_attr)
{
	struct mq_attr attr;
	if (u_attr && copy_from_user(&attr, u_attr, sizeof(struct mq_attr)))
		return -EFAULT;

	return do_mq_open(u_name, oflag, mode, u_attr ? &attr : NULL);
}

921
SYSCALL_DEFINE1(mq_unlink, const char __user *, u_name)
L
Linus Torvalds 已提交
922 923
{
	int err;
924
	struct filename *name;
L
Linus Torvalds 已提交
925 926
	struct dentry *dentry;
	struct inode *inode = NULL;
927
	struct ipc_namespace *ipc_ns = current->nsproxy->ipc_ns;
928
	struct vfsmount *mnt = ipc_ns->mq_mnt;
L
Linus Torvalds 已提交
929 930 931 932 933

	name = getname(u_name);
	if (IS_ERR(name))
		return PTR_ERR(name);

934
	audit_inode_parent_hidden(name, mnt->mnt_root);
935 936 937
	err = mnt_want_write(mnt);
	if (err)
		goto out_name;
A
Al Viro 已提交
938
	inode_lock_nested(d_inode(mnt->mnt_root), I_MUTEX_PARENT);
939 940
	dentry = lookup_one_len(name->name, mnt->mnt_root,
				strlen(name->name));
L
Linus Torvalds 已提交
941 942 943 944 945
	if (IS_ERR(dentry)) {
		err = PTR_ERR(dentry);
		goto out_unlock;
	}

946
	inode = d_inode(dentry);
947 948 949
	if (!inode) {
		err = -ENOENT;
	} else {
A
Al Viro 已提交
950
		ihold(inode);
951
		err = vfs_unlink(d_inode(dentry->d_parent), dentry, NULL);
952
	}
L
Linus Torvalds 已提交
953 954 955
	dput(dentry);

out_unlock:
A
Al Viro 已提交
956
	inode_unlock(d_inode(mnt->mnt_root));
L
Linus Torvalds 已提交
957 958
	if (inode)
		iput(inode);
959 960 961
	mnt_drop_write(mnt);
out_name:
	putname(name);
L
Linus Torvalds 已提交
962 963 964 965 966 967 968 969 970 971

	return err;
}

/* Pipelined send and receive functions.
 *
 * If a receiver finds no waiting message, then it registers itself in the
 * list of waiting receivers. A sender checks that list before adding the new
 * message into the message array. If there is a waiting receiver, then it
 * bypasses the message array and directly hands the message over to the
972 973 974 975 976 977 978 979 980
 * receiver. The receiver accepts the message and returns without grabbing the
 * queue spinlock:
 *
 * - Set pointer to message.
 * - Queue the receiver task for later wakeup (without the info->lock).
 * - Update its state to STATE_READY. Now the receiver can continue.
 * - Wake up the process after the lock is dropped. Should the process wake up
 *   before this wakeup (due to a timeout or a signal) it will either see
 *   STATE_READY and continue or acquire the lock to check the state again.
L
Linus Torvalds 已提交
981 982 983 984
 *
 * The same algorithm is used for senders.
 */

985
static inline void __pipelined_op(struct wake_q_head *wake_q,
986
				  struct mqueue_inode_info *info,
987
				  struct ext_wait_queue *this)
L
Linus Torvalds 已提交
988
{
989
	list_del(&this->list);
990 991 992 993 994
	get_task_struct(this->task);

	/* see MQ_BARRIER for purpose/pairing */
	smp_store_release(&this->state, STATE_READY);
	wake_q_add_safe(wake_q, this->task);
995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006
}

/* pipelined_send() - send a message directly to the task waiting in
 * sys_mq_timedreceive() (without inserting message into a queue).
 */
static inline void pipelined_send(struct wake_q_head *wake_q,
				  struct mqueue_inode_info *info,
				  struct msg_msg *message,
				  struct ext_wait_queue *receiver)
{
	receiver->msg = message;
	__pipelined_op(wake_q, info, receiver);
L
Linus Torvalds 已提交
1007 1008 1009 1010
}

/* pipelined_receive() - if there is task waiting in sys_mq_timedsend()
 * gets its message and put to the queue (we have one free place for sure). */
1011 1012
static inline void pipelined_receive(struct wake_q_head *wake_q,
				     struct mqueue_inode_info *info)
L
Linus Torvalds 已提交
1013 1014 1015 1016 1017 1018 1019 1020
{
	struct ext_wait_queue *sender = wq_get_first_waiter(info, SEND);

	if (!sender) {
		/* for poll */
		wake_up_interruptible(&info->wait_q);
		return;
	}
1021 1022
	if (msg_insert(sender->msg, info))
		return;
1023

1024
	__pipelined_op(wake_q, info, sender);
L
Linus Torvalds 已提交
1025 1026
}

1027 1028
static int do_mq_timedsend(mqd_t mqdes, const char __user *u_msg_ptr,
		size_t msg_len, unsigned int msg_prio,
1029
		struct timespec64 *ts)
L
Linus Torvalds 已提交
1030
{
1031
	struct fd f;
L
Linus Torvalds 已提交
1032 1033 1034 1035 1036
	struct inode *inode;
	struct ext_wait_queue wait;
	struct ext_wait_queue *receiver;
	struct msg_msg *msg_ptr;
	struct mqueue_inode_info *info;
1037
	ktime_t expires, *timeout = NULL;
1038
	struct posix_msg_tree_node *new_leaf = NULL;
1039
	int ret = 0;
1040
	DEFINE_WAKE_Q(wake_q);
L
Linus Torvalds 已提交
1041 1042 1043 1044

	if (unlikely(msg_prio >= (unsigned long) MQ_PRIO_MAX))
		return -EINVAL;

1045
	if (ts) {
1046
		expires = timespec64_to_ktime(*ts);
1047 1048 1049 1050
		timeout = &expires;
	}

	audit_mq_sendrecv(mqdes, msg_len, msg_prio, ts);
L
Linus Torvalds 已提交
1051

1052 1053
	f = fdget(mqdes);
	if (unlikely(!f.file)) {
1054
		ret = -EBADF;
L
Linus Torvalds 已提交
1055
		goto out;
1056
	}
L
Linus Torvalds 已提交
1057

A
Al Viro 已提交
1058
	inode = file_inode(f.file);
1059
	if (unlikely(f.file->f_op != &mqueue_file_operations)) {
1060
		ret = -EBADF;
L
Linus Torvalds 已提交
1061
		goto out_fput;
1062
	}
L
Linus Torvalds 已提交
1063
	info = MQUEUE_I(inode);
A
Al Viro 已提交
1064
	audit_file(f.file);
L
Linus Torvalds 已提交
1065

1066
	if (unlikely(!(f.file->f_mode & FMODE_WRITE))) {
1067
		ret = -EBADF;
L
Linus Torvalds 已提交
1068
		goto out_fput;
1069
	}
L
Linus Torvalds 已提交
1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085

	if (unlikely(msg_len > info->attr.mq_msgsize)) {
		ret = -EMSGSIZE;
		goto out_fput;
	}

	/* First try to allocate memory, before doing anything with
	 * existing queues. */
	msg_ptr = load_msg(u_msg_ptr, msg_len);
	if (IS_ERR(msg_ptr)) {
		ret = PTR_ERR(msg_ptr);
		goto out_fput;
	}
	msg_ptr->m_ts = msg_len;
	msg_ptr->m_type = msg_prio;

1086 1087 1088 1089 1090 1091 1092 1093
	/*
	 * msg_insert really wants us to have a valid, spare node struct so
	 * it doesn't have to kmalloc a GFP_ATOMIC allocation, but it will
	 * fall back to that if necessary.
	 */
	if (!info->node_cache)
		new_leaf = kmalloc(sizeof(*new_leaf), GFP_KERNEL);

L
Linus Torvalds 已提交
1094 1095
	spin_lock(&info->lock);

1096 1097 1098 1099 1100 1101 1102 1103 1104
	if (!info->node_cache && new_leaf) {
		/* Save our speculative allocation into the cache */
		INIT_LIST_HEAD(&new_leaf->msg_list);
		info->node_cache = new_leaf;
		new_leaf = NULL;
	} else {
		kfree(new_leaf);
	}

L
Linus Torvalds 已提交
1105
	if (info->attr.mq_curmsgs == info->attr.mq_maxmsg) {
1106
		if (f.file->f_flags & O_NONBLOCK) {
L
Linus Torvalds 已提交
1107 1108 1109 1110
			ret = -EAGAIN;
		} else {
			wait.task = current;
			wait.msg = (void *) msg_ptr;
1111 1112 1113

			/* memory barrier not required, we hold info->lock */
			WRITE_ONCE(wait.state, STATE_NONE);
L
Linus Torvalds 已提交
1114
			ret = wq_sleep(info, SEND, timeout, &wait);
1115 1116 1117 1118 1119
			/*
			 * wq_sleep must be called with info->lock held, and
			 * returns with the lock released
			 */
			goto out_free;
L
Linus Torvalds 已提交
1120 1121 1122 1123
		}
	} else {
		receiver = wq_get_first_waiter(info, RECV);
		if (receiver) {
1124
			pipelined_send(&wake_q, info, msg_ptr, receiver);
L
Linus Torvalds 已提交
1125 1126
		} else {
			/* adds message to the queue */
1127 1128 1129
			ret = msg_insert(msg_ptr, info);
			if (ret)
				goto out_unlock;
L
Linus Torvalds 已提交
1130 1131 1132
			__do_notify(info);
		}
		inode->i_atime = inode->i_mtime = inode->i_ctime =
1133
				current_time(inode);
L
Linus Torvalds 已提交
1134
	}
1135 1136
out_unlock:
	spin_unlock(&info->lock);
1137
	wake_up_q(&wake_q);
1138 1139 1140
out_free:
	if (ret)
		free_msg(msg_ptr);
L
Linus Torvalds 已提交
1141
out_fput:
1142
	fdput(f);
L
Linus Torvalds 已提交
1143 1144 1145 1146
out:
	return ret;
}

1147 1148
static int do_mq_timedreceive(mqd_t mqdes, char __user *u_msg_ptr,
		size_t msg_len, unsigned int __user *u_msg_prio,
1149
		struct timespec64 *ts)
L
Linus Torvalds 已提交
1150 1151 1152
{
	ssize_t ret;
	struct msg_msg *msg_ptr;
1153
	struct fd f;
L
Linus Torvalds 已提交
1154 1155 1156
	struct inode *inode;
	struct mqueue_inode_info *info;
	struct ext_wait_queue wait;
1157
	ktime_t expires, *timeout = NULL;
1158
	struct posix_msg_tree_node *new_leaf = NULL;
L
Linus Torvalds 已提交
1159

1160
	if (ts) {
1161
		expires = timespec64_to_ktime(*ts);
1162
		timeout = &expires;
A
Al Viro 已提交
1163
	}
1164

1165
	audit_mq_sendrecv(mqdes, msg_len, 0, ts);
L
Linus Torvalds 已提交
1166

1167 1168
	f = fdget(mqdes);
	if (unlikely(!f.file)) {
1169
		ret = -EBADF;
L
Linus Torvalds 已提交
1170
		goto out;
1171
	}
L
Linus Torvalds 已提交
1172

A
Al Viro 已提交
1173
	inode = file_inode(f.file);
1174
	if (unlikely(f.file->f_op != &mqueue_file_operations)) {
1175
		ret = -EBADF;
L
Linus Torvalds 已提交
1176
		goto out_fput;
1177
	}
L
Linus Torvalds 已提交
1178
	info = MQUEUE_I(inode);
A
Al Viro 已提交
1179
	audit_file(f.file);
L
Linus Torvalds 已提交
1180

1181
	if (unlikely(!(f.file->f_mode & FMODE_READ))) {
1182
		ret = -EBADF;
L
Linus Torvalds 已提交
1183
		goto out_fput;
1184
	}
L
Linus Torvalds 已提交
1185 1186 1187 1188 1189 1190 1191

	/* checks if buffer is big enough */
	if (unlikely(msg_len < info->attr.mq_msgsize)) {
		ret = -EMSGSIZE;
		goto out_fput;
	}

1192 1193 1194 1195 1196 1197 1198 1199
	/*
	 * msg_insert really wants us to have a valid, spare node struct so
	 * it doesn't have to kmalloc a GFP_ATOMIC allocation, but it will
	 * fall back to that if necessary.
	 */
	if (!info->node_cache)
		new_leaf = kmalloc(sizeof(*new_leaf), GFP_KERNEL);

L
Linus Torvalds 已提交
1200
	spin_lock(&info->lock);
1201 1202 1203 1204 1205 1206 1207 1208 1209

	if (!info->node_cache && new_leaf) {
		/* Save our speculative allocation into the cache */
		INIT_LIST_HEAD(&new_leaf->msg_list);
		info->node_cache = new_leaf;
	} else {
		kfree(new_leaf);
	}

L
Linus Torvalds 已提交
1210
	if (info->attr.mq_curmsgs == 0) {
1211
		if (f.file->f_flags & O_NONBLOCK) {
L
Linus Torvalds 已提交
1212 1213 1214 1215
			spin_unlock(&info->lock);
			ret = -EAGAIN;
		} else {
			wait.task = current;
1216 1217 1218

			/* memory barrier not required, we hold info->lock */
			WRITE_ONCE(wait.state, STATE_NONE);
L
Linus Torvalds 已提交
1219 1220 1221 1222
			ret = wq_sleep(info, RECV, timeout, &wait);
			msg_ptr = wait.msg;
		}
	} else {
1223
		DEFINE_WAKE_Q(wake_q);
1224

L
Linus Torvalds 已提交
1225 1226 1227
		msg_ptr = msg_get(info);

		inode->i_atime = inode->i_mtime = inode->i_ctime =
1228
				current_time(inode);
L
Linus Torvalds 已提交
1229 1230

		/* There is now free space in queue. */
1231
		pipelined_receive(&wake_q, info);
L
Linus Torvalds 已提交
1232
		spin_unlock(&info->lock);
1233
		wake_up_q(&wake_q);
L
Linus Torvalds 已提交
1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245
		ret = 0;
	}
	if (ret == 0) {
		ret = msg_ptr->m_ts;

		if ((u_msg_prio && put_user(msg_ptr->m_type, u_msg_prio)) ||
			store_msg(u_msg_ptr, msg_ptr, msg_ptr->m_ts)) {
			ret = -EFAULT;
		}
		free_msg(msg_ptr);
	}
out_fput:
1246
	fdput(f);
L
Linus Torvalds 已提交
1247 1248 1249 1250
out:
	return ret;
}

1251 1252
SYSCALL_DEFINE5(mq_timedsend, mqd_t, mqdes, const char __user *, u_msg_ptr,
		size_t, msg_len, unsigned int, msg_prio,
1253
		const struct __kernel_timespec __user *, u_abs_timeout)
1254
{
1255
	struct timespec64 ts, *p = NULL;
1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266
	if (u_abs_timeout) {
		int res = prepare_timeout(u_abs_timeout, &ts);
		if (res)
			return res;
		p = &ts;
	}
	return do_mq_timedsend(mqdes, u_msg_ptr, msg_len, msg_prio, p);
}

SYSCALL_DEFINE5(mq_timedreceive, mqd_t, mqdes, char __user *, u_msg_ptr,
		size_t, msg_len, unsigned int __user *, u_msg_prio,
1267
		const struct __kernel_timespec __user *, u_abs_timeout)
1268
{
1269
	struct timespec64 ts, *p = NULL;
1270 1271 1272 1273 1274 1275 1276 1277 1278
	if (u_abs_timeout) {
		int res = prepare_timeout(u_abs_timeout, &ts);
		if (res)
			return res;
		p = &ts;
	}
	return do_mq_timedreceive(mqdes, u_msg_ptr, msg_len, u_msg_prio, p);
}

L
Linus Torvalds 已提交
1279 1280 1281 1282 1283
/*
 * Notes: the case when user wants us to deregister (with NULL as pointer)
 * and he isn't currently owner of notification, will be silently discarded.
 * It isn't explicitly defined in the POSIX.
 */
1284
static int do_mq_notify(mqd_t mqdes, const struct sigevent *notification)
L
Linus Torvalds 已提交
1285
{
1286 1287
	int ret;
	struct fd f;
L
Linus Torvalds 已提交
1288 1289 1290 1291 1292
	struct sock *sock;
	struct inode *inode;
	struct mqueue_inode_info *info;
	struct sk_buff *nc;

1293
	audit_mq_notify(mqdes, notification);
L
Linus Torvalds 已提交
1294

A
Al Viro 已提交
1295 1296
	nc = NULL;
	sock = NULL;
1297 1298 1299 1300
	if (notification != NULL) {
		if (unlikely(notification->sigev_notify != SIGEV_NONE &&
			     notification->sigev_notify != SIGEV_SIGNAL &&
			     notification->sigev_notify != SIGEV_THREAD))
L
Linus Torvalds 已提交
1301
			return -EINVAL;
1302 1303
		if (notification->sigev_notify == SIGEV_SIGNAL &&
			!valid_signal(notification->sigev_signo)) {
L
Linus Torvalds 已提交
1304 1305
			return -EINVAL;
		}
1306
		if (notification->sigev_notify == SIGEV_THREAD) {
P
Patrick McHardy 已提交
1307 1308
			long timeo;

L
Linus Torvalds 已提交
1309 1310
			/* create the notify skb */
			nc = alloc_skb(NOTIFY_COOKIE_LEN, GFP_KERNEL);
1311 1312 1313
			if (!nc)
				return -ENOMEM;

L
Linus Torvalds 已提交
1314
			if (copy_from_user(nc->data,
1315
					notification->sigev_value.sival_ptr,
L
Linus Torvalds 已提交
1316
					NOTIFY_COOKIE_LEN)) {
1317
				ret = -EFAULT;
1318
				goto free_skb;
L
Linus Torvalds 已提交
1319 1320 1321 1322 1323 1324
			}

			/* TODO: add a header? */
			skb_put(nc, NOTIFY_COOKIE_LEN);
			/* and attach it to the socket */
retry:
1325
			f = fdget(notification->sigev_signo);
1326
			if (!f.file) {
1327
				ret = -EBADF;
L
Linus Torvalds 已提交
1328
				goto out;
1329
			}
1330 1331
			sock = netlink_getsockbyfilp(f.file);
			fdput(f);
L
Linus Torvalds 已提交
1332 1333
			if (IS_ERR(sock)) {
				ret = PTR_ERR(sock);
1334
				goto free_skb;
L
Linus Torvalds 已提交
1335 1336
			}

P
Patrick McHardy 已提交
1337
			timeo = MAX_SCHEDULE_TIMEOUT;
1338
			ret = netlink_attachskb(sock, nc, &timeo, NULL);
1339 1340
			if (ret == 1) {
				sock = NULL;
1341
				goto retry;
1342
			}
1343 1344
			if (ret)
				return ret;
L
Linus Torvalds 已提交
1345 1346 1347
		}
	}

1348 1349
	f = fdget(mqdes);
	if (!f.file) {
1350
		ret = -EBADF;
L
Linus Torvalds 已提交
1351
		goto out;
1352
	}
L
Linus Torvalds 已提交
1353

A
Al Viro 已提交
1354
	inode = file_inode(f.file);
1355
	if (unlikely(f.file->f_op != &mqueue_file_operations)) {
1356
		ret = -EBADF;
L
Linus Torvalds 已提交
1357
		goto out_fput;
1358
	}
L
Linus Torvalds 已提交
1359 1360 1361 1362
	info = MQUEUE_I(inode);

	ret = 0;
	spin_lock(&info->lock);
1363
	if (notification == NULL) {
1364
		if (info->notify_owner == task_tgid(current)) {
L
Linus Torvalds 已提交
1365
			remove_notification(info);
1366
			inode->i_atime = inode->i_ctime = current_time(inode);
L
Linus Torvalds 已提交
1367
		}
1368
	} else if (info->notify_owner != NULL) {
L
Linus Torvalds 已提交
1369 1370
		ret = -EBUSY;
	} else {
1371
		switch (notification->sigev_notify) {
L
Linus Torvalds 已提交
1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382
		case SIGEV_NONE:
			info->notify.sigev_notify = SIGEV_NONE;
			break;
		case SIGEV_THREAD:
			info->notify_sock = sock;
			info->notify_cookie = nc;
			sock = NULL;
			nc = NULL;
			info->notify.sigev_notify = SIGEV_THREAD;
			break;
		case SIGEV_SIGNAL:
1383 1384
			info->notify.sigev_signo = notification->sigev_signo;
			info->notify.sigev_value = notification->sigev_value;
L
Linus Torvalds 已提交
1385 1386 1387
			info->notify.sigev_notify = SIGEV_SIGNAL;
			break;
		}
1388 1389

		info->notify_owner = get_pid(task_tgid(current));
1390
		info->notify_user_ns = get_user_ns(current_user_ns());
1391
		inode->i_atime = inode->i_ctime = current_time(inode);
L
Linus Torvalds 已提交
1392 1393 1394
	}
	spin_unlock(&info->lock);
out_fput:
1395
	fdput(f);
L
Linus Torvalds 已提交
1396
out:
1397
	if (sock)
L
Linus Torvalds 已提交
1398
		netlink_detachskb(sock, nc);
1399
	else
1400
free_skb:
L
Linus Torvalds 已提交
1401
		dev_kfree_skb(nc);
1402

L
Linus Torvalds 已提交
1403 1404 1405
	return ret;
}

1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418
SYSCALL_DEFINE2(mq_notify, mqd_t, mqdes,
		const struct sigevent __user *, u_notification)
{
	struct sigevent n, *p = NULL;
	if (u_notification) {
		if (copy_from_user(&n, u_notification, sizeof(struct sigevent)))
			return -EFAULT;
		p = &n;
	}
	return do_mq_notify(mqdes, p);
}

static int do_mq_getsetattr(int mqdes, struct mq_attr *new, struct mq_attr *old)
L
Linus Torvalds 已提交
1419
{
1420
	struct fd f;
L
Linus Torvalds 已提交
1421 1422 1423
	struct inode *inode;
	struct mqueue_inode_info *info;

1424 1425
	if (new && (new->mq_flags & (~O_NONBLOCK)))
		return -EINVAL;
L
Linus Torvalds 已提交
1426

1427
	f = fdget(mqdes);
1428 1429
	if (!f.file)
		return -EBADF;
L
Linus Torvalds 已提交
1430

1431
	if (unlikely(f.file->f_op != &mqueue_file_operations)) {
1432 1433
		fdput(f);
		return -EBADF;
1434
	}
1435 1436

	inode = file_inode(f.file);
L
Linus Torvalds 已提交
1437 1438 1439 1440
	info = MQUEUE_I(inode);

	spin_lock(&info->lock);

1441 1442 1443 1444 1445 1446
	if (old) {
		*old = info->attr;
		old->mq_flags = f.file->f_flags & O_NONBLOCK;
	}
	if (new) {
		audit_mq_getsetattr(mqdes, new);
1447
		spin_lock(&f.file->f_lock);
1448
		if (new->mq_flags & O_NONBLOCK)
1449
			f.file->f_flags |= O_NONBLOCK;
L
Linus Torvalds 已提交
1450
		else
1451 1452
			f.file->f_flags &= ~O_NONBLOCK;
		spin_unlock(&f.file->f_lock);
L
Linus Torvalds 已提交
1453

1454
		inode->i_atime = inode->i_ctime = current_time(inode);
L
Linus Torvalds 已提交
1455 1456 1457
	}

	spin_unlock(&info->lock);
1458 1459 1460
	fdput(f);
	return 0;
}
L
Linus Torvalds 已提交
1461

1462 1463 1464 1465 1466 1467 1468
SYSCALL_DEFINE3(mq_getsetattr, mqd_t, mqdes,
		const struct mq_attr __user *, u_mqstat,
		struct mq_attr __user *, u_omqstat)
{
	int ret;
	struct mq_attr mqstat, omqstat;
	struct mq_attr *new = NULL, *old = NULL;
L
Linus Torvalds 已提交
1469

1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540
	if (u_mqstat) {
		new = &mqstat;
		if (copy_from_user(new, u_mqstat, sizeof(struct mq_attr)))
			return -EFAULT;
	}
	if (u_omqstat)
		old = &omqstat;

	ret = do_mq_getsetattr(mqdes, new, old);
	if (ret || !old)
		return ret;

	if (copy_to_user(u_omqstat, old, sizeof(struct mq_attr)))
		return -EFAULT;
	return 0;
}

#ifdef CONFIG_COMPAT

struct compat_mq_attr {
	compat_long_t mq_flags;      /* message queue flags		     */
	compat_long_t mq_maxmsg;     /* maximum number of messages	     */
	compat_long_t mq_msgsize;    /* maximum message size		     */
	compat_long_t mq_curmsgs;    /* number of messages currently queued  */
	compat_long_t __reserved[4]; /* ignored for input, zeroed for output */
};

static inline int get_compat_mq_attr(struct mq_attr *attr,
			const struct compat_mq_attr __user *uattr)
{
	struct compat_mq_attr v;

	if (copy_from_user(&v, uattr, sizeof(*uattr)))
		return -EFAULT;

	memset(attr, 0, sizeof(*attr));
	attr->mq_flags = v.mq_flags;
	attr->mq_maxmsg = v.mq_maxmsg;
	attr->mq_msgsize = v.mq_msgsize;
	attr->mq_curmsgs = v.mq_curmsgs;
	return 0;
}

static inline int put_compat_mq_attr(const struct mq_attr *attr,
			struct compat_mq_attr __user *uattr)
{
	struct compat_mq_attr v;

	memset(&v, 0, sizeof(v));
	v.mq_flags = attr->mq_flags;
	v.mq_maxmsg = attr->mq_maxmsg;
	v.mq_msgsize = attr->mq_msgsize;
	v.mq_curmsgs = attr->mq_curmsgs;
	if (copy_to_user(uattr, &v, sizeof(*uattr)))
		return -EFAULT;
	return 0;
}

COMPAT_SYSCALL_DEFINE4(mq_open, const char __user *, u_name,
		       int, oflag, compat_mode_t, mode,
		       struct compat_mq_attr __user *, u_attr)
{
	struct mq_attr attr, *p = NULL;
	if (u_attr && oflag & O_CREAT) {
		p = &attr;
		if (get_compat_mq_attr(&attr, u_attr))
			return -EFAULT;
	}
	return do_mq_open(u_name, oflag, mode, p);
}

1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581
COMPAT_SYSCALL_DEFINE2(mq_notify, mqd_t, mqdes,
		       const struct compat_sigevent __user *, u_notification)
{
	struct sigevent n, *p = NULL;
	if (u_notification) {
		if (get_compat_sigevent(&n, u_notification))
			return -EFAULT;
		if (n.sigev_notify == SIGEV_THREAD)
			n.sigev_value.sival_ptr = compat_ptr(n.sigev_value.sival_int);
		p = &n;
	}
	return do_mq_notify(mqdes, p);
}

COMPAT_SYSCALL_DEFINE3(mq_getsetattr, mqd_t, mqdes,
		       const struct compat_mq_attr __user *, u_mqstat,
		       struct compat_mq_attr __user *, u_omqstat)
{
	int ret;
	struct mq_attr mqstat, omqstat;
	struct mq_attr *new = NULL, *old = NULL;

	if (u_mqstat) {
		new = &mqstat;
		if (get_compat_mq_attr(new, u_mqstat))
			return -EFAULT;
	}
	if (u_omqstat)
		old = &omqstat;

	ret = do_mq_getsetattr(mqdes, new, old);
	if (ret || !old)
		return ret;

	if (put_compat_mq_attr(old, u_omqstat))
		return -EFAULT;
	return 0;
}
#endif

#ifdef CONFIG_COMPAT_32BIT_TIME
1582
static int compat_prepare_timeout(const struct old_timespec32 __user *p,
1583
				   struct timespec64 *ts)
1584
{
1585
	if (get_old_timespec32(ts, p))
1586
		return -EFAULT;
1587
	if (!timespec64_valid(ts))
1588 1589 1590 1591
		return -EINVAL;
	return 0;
}

1592 1593 1594 1595
SYSCALL_DEFINE5(mq_timedsend_time32, mqd_t, mqdes,
		const char __user *, u_msg_ptr,
		unsigned int, msg_len, unsigned int, msg_prio,
		const struct old_timespec32 __user *, u_abs_timeout)
1596
{
1597
	struct timespec64 ts, *p = NULL;
1598 1599 1600 1601 1602 1603 1604 1605 1606
	if (u_abs_timeout) {
		int res = compat_prepare_timeout(u_abs_timeout, &ts);
		if (res)
			return res;
		p = &ts;
	}
	return do_mq_timedsend(mqdes, u_msg_ptr, msg_len, msg_prio, p);
}

1607 1608 1609 1610
SYSCALL_DEFINE5(mq_timedreceive_time32, mqd_t, mqdes,
		char __user *, u_msg_ptr,
		unsigned int, msg_len, unsigned int __user *, u_msg_prio,
		const struct old_timespec32 __user *, u_abs_timeout)
1611
{
1612
	struct timespec64 ts, *p = NULL;
1613 1614 1615 1616 1617 1618 1619 1620 1621
	if (u_abs_timeout) {
		int res = compat_prepare_timeout(u_abs_timeout, &ts);
		if (res)
			return res;
		p = &ts;
	}
	return do_mq_timedreceive(mqdes, u_msg_ptr, msg_len, u_msg_prio, p);
}
#endif
L
Linus Torvalds 已提交
1622

1623
static const struct inode_operations mqueue_dir_inode_operations = {
L
Linus Torvalds 已提交
1624 1625 1626 1627 1628
	.lookup = simple_lookup,
	.create = mqueue_create,
	.unlink = mqueue_unlink,
};

1629
static const struct file_operations mqueue_file_operations = {
L
Linus Torvalds 已提交
1630 1631 1632
	.flush = mqueue_flush_file,
	.poll = mqueue_poll_file,
	.read = mqueue_read_file,
1633
	.llseek = default_llseek,
L
Linus Torvalds 已提交
1634 1635
};

1636
static const struct super_operations mqueue_super_ops = {
L
Linus Torvalds 已提交
1637
	.alloc_inode = mqueue_alloc_inode,
A
Al Viro 已提交
1638
	.free_inode = mqueue_free_inode,
A
Al Viro 已提交
1639
	.evict_inode = mqueue_evict_inode,
L
Linus Torvalds 已提交
1640 1641 1642
	.statfs = simple_statfs,
};

1643 1644 1645 1646 1647
static const struct fs_context_operations mqueue_fs_context_ops = {
	.free		= mqueue_fs_context_free,
	.get_tree	= mqueue_get_tree,
};

L
Linus Torvalds 已提交
1648
static struct file_system_type mqueue_fs_type = {
1649 1650 1651 1652
	.name			= "mqueue",
	.init_fs_context	= mqueue_init_fs_context,
	.kill_sb		= kill_litter_super,
	.fs_flags		= FS_USERNS_MOUNT,
L
Linus Torvalds 已提交
1653 1654
};

1655 1656
int mq_init_ns(struct ipc_namespace *ns)
{
1657 1658
	struct vfsmount *m;

1659 1660 1661 1662
	ns->mq_queues_count  = 0;
	ns->mq_queues_max    = DFLT_QUEUESMAX;
	ns->mq_msg_max       = DFLT_MSGMAX;
	ns->mq_msgsize_max   = DFLT_MSGSIZEMAX;
1663 1664
	ns->mq_msg_default   = DFLT_MSG;
	ns->mq_msgsize_default  = DFLT_MSGSIZE;
1665

1666 1667 1668 1669
	m = mq_create_mount(ns);
	if (IS_ERR(m))
		return PTR_ERR(m);
	ns->mq_mnt = m;
1670 1671 1672 1673 1674
	return 0;
}

void mq_clear_sbinfo(struct ipc_namespace *ns)
{
1675
	ns->mq_mnt->mnt_sb->s_fs_info = NULL;
1676 1677 1678 1679
}

void mq_put_mnt(struct ipc_namespace *ns)
{
1680
	kern_unmount(ns->mq_mnt);
1681 1682
}

L
Linus Torvalds 已提交
1683 1684 1685 1686 1687 1688
static int __init init_mqueue_fs(void)
{
	int error;

	mqueue_inode_cachep = kmem_cache_create("mqueue_inode_cache",
				sizeof(struct mqueue_inode_info), 0,
1689
				SLAB_HWCACHE_ALIGN|SLAB_ACCOUNT, init_once);
L
Linus Torvalds 已提交
1690 1691 1692
	if (mqueue_inode_cachep == NULL)
		return -ENOMEM;

1693
	/* ignore failures - they are not fatal */
1694
	mq_sysctl_table = mq_register_sysctl_table();
L
Linus Torvalds 已提交
1695 1696 1697 1698 1699

	error = register_filesystem(&mqueue_fs_type);
	if (error)
		goto out_sysctl;

1700 1701
	spin_lock_init(&mq_lock);

A
Al Viro 已提交
1702 1703
	error = mq_init_ns(&init_ipc_ns);
	if (error)
L
Linus Torvalds 已提交
1704 1705 1706 1707 1708 1709 1710 1711 1712
		goto out_filesystem;

	return 0;

out_filesystem:
	unregister_filesystem(&mqueue_fs_type);
out_sysctl:
	if (mq_sysctl_table)
		unregister_sysctl_table(mq_sysctl_table);
1713
	kmem_cache_destroy(mqueue_inode_cachep);
L
Linus Torvalds 已提交
1714 1715 1716
	return error;
}

D
Davidlohr Bueso 已提交
1717
device_initcall(init_mqueue_fs);