| Thomas Gleixner | 8e8ccf4 | 2019-05-20 09:18:53 +0200 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-or-later | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 2 | /* | 
| Uwe Zeisberger | f30c226 | 2006-10-03 23:01:26 +0200 | [diff] [blame] | 3 |  * linux/ipc/msgutil.c | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 4 |  * Copyright (C) 1999, 2004 Manfred Spraul | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 5 |  */ | 
 | 6 |  | 
 | 7 | #include <linux/spinlock.h> | 
 | 8 | #include <linux/init.h> | 
 | 9 | #include <linux/security.h> | 
 | 10 | #include <linux/slab.h> | 
 | 11 | #include <linux/ipc.h> | 
| Al Viro | 4040153 | 2012-02-13 03:58:52 +0000 | [diff] [blame] | 12 | #include <linux/msg.h> | 
| Serge E. Hallyn | 614b84c | 2009-04-06 19:01:08 -0700 | [diff] [blame] | 13 | #include <linux/ipc_namespace.h> | 
| Al Viro | 4040153 | 2012-02-13 03:58:52 +0000 | [diff] [blame] | 14 | #include <linux/utsname.h> | 
| David Howells | 0bb80f2 | 2013-04-12 01:50:06 +0100 | [diff] [blame] | 15 | #include <linux/proc_ns.h> | 
| HoSung Jung | 1e3c941 | 2013-04-30 19:15:09 -0700 | [diff] [blame] | 16 | #include <linux/uaccess.h> | 
| Li Rongqing | d6a2946 | 2019-05-14 15:46:20 -0700 | [diff] [blame] | 17 | #include <linux/sched.h> | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 18 |  | 
 | 19 | #include "util.h" | 
 | 20 |  | 
| Serge E. Hallyn | 7eafd7c | 2009-04-06 19:01:10 -0700 | [diff] [blame] | 21 | DEFINE_SPINLOCK(mq_lock); | 
 | 22 |  | 
| Serge E. Hallyn | 614b84c | 2009-04-06 19:01:08 -0700 | [diff] [blame] | 23 | /* | 
 | 24 |  * The next 2 defines are here bc this is the only file | 
 | 25 |  * compiled when either CONFIG_SYSVIPC and CONFIG_POSIX_MQUEUE | 
 | 26 |  * and not CONFIG_IPC_NS. | 
 | 27 |  */ | 
 | 28 | struct ipc_namespace init_ipc_ns = { | 
| Elena Reshetova | a2e0602 | 2017-09-08 16:17:38 -0700 | [diff] [blame] | 29 | 	.count		= REFCOUNT_INIT(1), | 
| Serge E. Hallyn | b515498 | 2011-03-23 16:43:23 -0700 | [diff] [blame] | 30 | 	.user_ns = &init_user_ns, | 
| Al Viro | 435d5f4 | 2014-10-31 22:56:04 -0400 | [diff] [blame] | 31 | 	.ns.inum = PROC_IPC_INIT_INO, | 
| Al Viro | 33c4294 | 2014-11-01 02:32:53 -0400 | [diff] [blame] | 32 | #ifdef CONFIG_IPC_NS | 
 | 33 | 	.ns.ops = &ipcns_operations, | 
 | 34 | #endif | 
| Serge E. Hallyn | 614b84c | 2009-04-06 19:01:08 -0700 | [diff] [blame] | 35 | }; | 
 | 36 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 37 | struct msg_msgseg { | 
| HoSung Jung | 1e3c941 | 2013-04-30 19:15:09 -0700 | [diff] [blame] | 38 | 	struct msg_msgseg *next; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 39 | 	/* the next part of the message follows immediately */ | 
 | 40 | }; | 
 | 41 |  | 
| Mathias Krause | 4e9b45a | 2013-11-12 15:11:47 -0800 | [diff] [blame] | 42 | #define DATALEN_MSG	((size_t)PAGE_SIZE-sizeof(struct msg_msg)) | 
 | 43 | #define DATALEN_SEG	((size_t)PAGE_SIZE-sizeof(struct msg_msgseg)) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 44 |  | 
| Peter Hurley | be5f4b3 | 2013-04-30 19:14:31 -0700 | [diff] [blame] | 45 |  | 
| Mathias Krause | 4e9b45a | 2013-11-12 15:11:47 -0800 | [diff] [blame] | 46 | static struct msg_msg *alloc_msg(size_t len) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 47 | { | 
 | 48 | 	struct msg_msg *msg; | 
 | 49 | 	struct msg_msgseg **pseg; | 
| Mathias Krause | 4e9b45a | 2013-11-12 15:11:47 -0800 | [diff] [blame] | 50 | 	size_t alen; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 51 |  | 
| Peter Hurley | 3d8fa45 | 2013-04-30 19:14:25 -0700 | [diff] [blame] | 52 | 	alen = min(len, DATALEN_MSG); | 
| Aristeu Rozanski | 8c8d4d4 | 2016-10-27 17:46:35 -0700 | [diff] [blame] | 53 | 	msg = kmalloc(sizeof(*msg) + alen, GFP_KERNEL_ACCOUNT); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 54 | 	if (msg == NULL) | 
| Peter Hurley | be5f4b3 | 2013-04-30 19:14:31 -0700 | [diff] [blame] | 55 | 		return NULL; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 56 |  | 
 | 57 | 	msg->next = NULL; | 
 | 58 | 	msg->security = NULL; | 
 | 59 |  | 
| Peter Hurley | be5f4b3 | 2013-04-30 19:14:31 -0700 | [diff] [blame] | 60 | 	len -= alen; | 
 | 61 | 	pseg = &msg->next; | 
 | 62 | 	while (len > 0) { | 
 | 63 | 		struct msg_msgseg *seg; | 
| Li Rongqing | d6a2946 | 2019-05-14 15:46:20 -0700 | [diff] [blame] | 64 |  | 
 | 65 | 		cond_resched(); | 
 | 66 |  | 
| Peter Hurley | be5f4b3 | 2013-04-30 19:14:31 -0700 | [diff] [blame] | 67 | 		alen = min(len, DATALEN_SEG); | 
| Aristeu Rozanski | 8c8d4d4 | 2016-10-27 17:46:35 -0700 | [diff] [blame] | 68 | 		seg = kmalloc(sizeof(*seg) + alen, GFP_KERNEL_ACCOUNT); | 
| Peter Hurley | be5f4b3 | 2013-04-30 19:14:31 -0700 | [diff] [blame] | 69 | 		if (seg == NULL) | 
 | 70 | 			goto out_err; | 
 | 71 | 		*pseg = seg; | 
 | 72 | 		seg->next = NULL; | 
 | 73 | 		pseg = &seg->next; | 
 | 74 | 		len -= alen; | 
 | 75 | 	} | 
 | 76 |  | 
 | 77 | 	return msg; | 
 | 78 |  | 
 | 79 | out_err: | 
 | 80 | 	free_msg(msg); | 
 | 81 | 	return NULL; | 
 | 82 | } | 
 | 83 |  | 
| Mathias Krause | 4e9b45a | 2013-11-12 15:11:47 -0800 | [diff] [blame] | 84 | struct msg_msg *load_msg(const void __user *src, size_t len) | 
| Peter Hurley | be5f4b3 | 2013-04-30 19:14:31 -0700 | [diff] [blame] | 85 | { | 
 | 86 | 	struct msg_msg *msg; | 
 | 87 | 	struct msg_msgseg *seg; | 
| Peter Hurley | 2b3097a | 2013-04-30 19:14:42 -0700 | [diff] [blame] | 88 | 	int err = -EFAULT; | 
| Mathias Krause | 4e9b45a | 2013-11-12 15:11:47 -0800 | [diff] [blame] | 89 | 	size_t alen; | 
| Peter Hurley | be5f4b3 | 2013-04-30 19:14:31 -0700 | [diff] [blame] | 90 |  | 
 | 91 | 	msg = alloc_msg(len); | 
 | 92 | 	if (msg == NULL) | 
 | 93 | 		return ERR_PTR(-ENOMEM); | 
 | 94 |  | 
 | 95 | 	alen = min(len, DATALEN_MSG); | 
| Peter Hurley | 2b3097a | 2013-04-30 19:14:42 -0700 | [diff] [blame] | 96 | 	if (copy_from_user(msg + 1, src, alen)) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 97 | 		goto out_err; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 98 |  | 
| Peter Hurley | da085d4 | 2013-04-30 19:14:37 -0700 | [diff] [blame] | 99 | 	for (seg = msg->next; seg != NULL; seg = seg->next) { | 
 | 100 | 		len -= alen; | 
 | 101 | 		src = (char __user *)src + alen; | 
| Peter Hurley | 3d8fa45 | 2013-04-30 19:14:25 -0700 | [diff] [blame] | 102 | 		alen = min(len, DATALEN_SEG); | 
| Peter Hurley | 2b3097a | 2013-04-30 19:14:42 -0700 | [diff] [blame] | 103 | 		if (copy_from_user(seg + 1, src, alen)) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 104 | 			goto out_err; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 105 | 	} | 
 | 106 |  | 
 | 107 | 	err = security_msg_msg_alloc(msg); | 
 | 108 | 	if (err) | 
 | 109 | 		goto out_err; | 
 | 110 |  | 
 | 111 | 	return msg; | 
 | 112 |  | 
 | 113 | out_err: | 
 | 114 | 	free_msg(msg); | 
 | 115 | 	return ERR_PTR(err); | 
 | 116 | } | 
| Stanislav Kinsbursky | 4a674f3 | 2013-01-04 15:34:55 -0800 | [diff] [blame] | 117 | #ifdef CONFIG_CHECKPOINT_RESTORE | 
 | 118 | struct msg_msg *copy_msg(struct msg_msg *src, struct msg_msg *dst) | 
 | 119 | { | 
 | 120 | 	struct msg_msgseg *dst_pseg, *src_pseg; | 
| Mathias Krause | 4e9b45a | 2013-11-12 15:11:47 -0800 | [diff] [blame] | 121 | 	size_t len = src->m_ts; | 
 | 122 | 	size_t alen; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 123 |  | 
| Stanislav Kinsbursky | 4a674f3 | 2013-01-04 15:34:55 -0800 | [diff] [blame] | 124 | 	if (src->m_ts > dst->m_ts) | 
 | 125 | 		return ERR_PTR(-EINVAL); | 
 | 126 |  | 
| Peter Hurley | 3d8fa45 | 2013-04-30 19:14:25 -0700 | [diff] [blame] | 127 | 	alen = min(len, DATALEN_MSG); | 
| Stanislav Kinsbursky | 4a674f3 | 2013-01-04 15:34:55 -0800 | [diff] [blame] | 128 | 	memcpy(dst + 1, src + 1, alen); | 
 | 129 |  | 
| Peter Hurley | da085d4 | 2013-04-30 19:14:37 -0700 | [diff] [blame] | 130 | 	for (dst_pseg = dst->next, src_pseg = src->next; | 
 | 131 | 	     src_pseg != NULL; | 
 | 132 | 	     dst_pseg = dst_pseg->next, src_pseg = src_pseg->next) { | 
 | 133 |  | 
 | 134 | 		len -= alen; | 
| Peter Hurley | 3d8fa45 | 2013-04-30 19:14:25 -0700 | [diff] [blame] | 135 | 		alen = min(len, DATALEN_SEG); | 
| Stanislav Kinsbursky | 4a674f3 | 2013-01-04 15:34:55 -0800 | [diff] [blame] | 136 | 		memcpy(dst_pseg + 1, src_pseg + 1, alen); | 
| Stanislav Kinsbursky | 4a674f3 | 2013-01-04 15:34:55 -0800 | [diff] [blame] | 137 | 	} | 
 | 138 |  | 
 | 139 | 	dst->m_type = src->m_type; | 
 | 140 | 	dst->m_ts = src->m_ts; | 
 | 141 |  | 
 | 142 | 	return dst; | 
 | 143 | } | 
| Stanislav Kinsbursky | 51eeaca | 2013-01-04 15:35:01 -0800 | [diff] [blame] | 144 | #else | 
 | 145 | struct msg_msg *copy_msg(struct msg_msg *src, struct msg_msg *dst) | 
 | 146 | { | 
 | 147 | 	return ERR_PTR(-ENOSYS); | 
 | 148 | } | 
| Stanislav Kinsbursky | 4a674f3 | 2013-01-04 15:34:55 -0800 | [diff] [blame] | 149 | #endif | 
| Mathias Krause | 4e9b45a | 2013-11-12 15:11:47 -0800 | [diff] [blame] | 150 | int store_msg(void __user *dest, struct msg_msg *msg, size_t len) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 151 | { | 
| Mathias Krause | 4e9b45a | 2013-11-12 15:11:47 -0800 | [diff] [blame] | 152 | 	size_t alen; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 153 | 	struct msg_msgseg *seg; | 
 | 154 |  | 
| Peter Hurley | 3d8fa45 | 2013-04-30 19:14:25 -0700 | [diff] [blame] | 155 | 	alen = min(len, DATALEN_MSG); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 156 | 	if (copy_to_user(dest, msg + 1, alen)) | 
 | 157 | 		return -1; | 
 | 158 |  | 
| Peter Hurley | da085d4 | 2013-04-30 19:14:37 -0700 | [diff] [blame] | 159 | 	for (seg = msg->next; seg != NULL; seg = seg->next) { | 
 | 160 | 		len -= alen; | 
 | 161 | 		dest = (char __user *)dest + alen; | 
| Peter Hurley | 3d8fa45 | 2013-04-30 19:14:25 -0700 | [diff] [blame] | 162 | 		alen = min(len, DATALEN_SEG); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 163 | 		if (copy_to_user(dest, seg + 1, alen)) | 
 | 164 | 			return -1; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 165 | 	} | 
 | 166 | 	return 0; | 
 | 167 | } | 
 | 168 |  | 
 | 169 | void free_msg(struct msg_msg *msg) | 
 | 170 | { | 
 | 171 | 	struct msg_msgseg *seg; | 
 | 172 |  | 
 | 173 | 	security_msg_msg_free(msg); | 
 | 174 |  | 
 | 175 | 	seg = msg->next; | 
 | 176 | 	kfree(msg); | 
 | 177 | 	while (seg != NULL) { | 
 | 178 | 		struct msg_msgseg *tmp = seg->next; | 
| Li Rongqing | d6a2946 | 2019-05-14 15:46:20 -0700 | [diff] [blame] | 179 |  | 
 | 180 | 		cond_resched(); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 181 | 		kfree(seg); | 
 | 182 | 		seg = tmp; | 
 | 183 | 	} | 
 | 184 | } |