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 | } |