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