msg.c 24 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077
  1. /*
  2. * linux/ipc/msg.c
  3. * Copyright (C) 1992 Krishna Balasubramanian
  4. *
  5. * Removed all the remaining kerneld mess
  6. * Catch the -EFAULT stuff properly
  7. * Use GFP_KERNEL for messages as in 1.2
  8. * Fixed up the unchecked user space derefs
  9. * Copyright (C) 1998 Alan Cox & Andi Kleen
  10. *
  11. * /proc/sysvipc/msg support (c) 1999 Dragos Acostachioaie <dragos@iname.com>
  12. *
  13. * mostly rewritten, threaded and wake-one semantics added
  14. * MSGMAX limit removed, sysctl's added
  15. * (c) 1999 Manfred Spraul <manfred@colorfullife.com>
  16. *
  17. * support for audit of ipc object properties and permission changes
  18. * Dustin Kirkland <dustin.kirkland@us.ibm.com>
  19. *
  20. * namespaces support
  21. * OpenVZ, SWsoft Inc.
  22. * Pavel Emelianov <xemul@openvz.org>
  23. */
  24. #include <linux/capability.h>
  25. #include <linux/msg.h>
  26. #include <linux/spinlock.h>
  27. #include <linux/init.h>
  28. #include <linux/mm.h>
  29. #include <linux/proc_fs.h>
  30. #include <linux/list.h>
  31. #include <linux/security.h>
  32. #include <linux/sched.h>
  33. #include <linux/syscalls.h>
  34. #include <linux/audit.h>
  35. #include <linux/seq_file.h>
  36. #include <linux/rwsem.h>
  37. #include <linux/nsproxy.h>
  38. #include <linux/ipc_namespace.h>
  39. #include <asm/current.h>
  40. #include <linux/uaccess.h>
  41. #include "util.h"
  42. /* one msg_receiver structure for each sleeping receiver */
  43. struct msg_receiver {
  44. struct list_head r_list;
  45. struct task_struct *r_tsk;
  46. int r_mode;
  47. long r_msgtype;
  48. long r_maxsize;
  49. /*
  50. * Mark r_msg volatile so that the compiler
  51. * does not try to get smart and optimize
  52. * it. We rely on this for the lockless
  53. * receive algorithm.
  54. */
  55. struct msg_msg *volatile r_msg;
  56. };
  57. /* one msg_sender for each sleeping sender */
  58. struct msg_sender {
  59. struct list_head list;
  60. struct task_struct *tsk;
  61. };
  62. #define SEARCH_ANY 1
  63. #define SEARCH_EQUAL 2
  64. #define SEARCH_NOTEQUAL 3
  65. #define SEARCH_LESSEQUAL 4
  66. #define SEARCH_NUMBER 5
  67. #define msg_ids(ns) ((ns)->ids[IPC_MSG_IDS])
  68. static inline struct msg_queue *msq_obtain_object(struct ipc_namespace *ns, int id)
  69. {
  70. struct kern_ipc_perm *ipcp = ipc_obtain_object_idr(&msg_ids(ns), id);
  71. if (IS_ERR(ipcp))
  72. return ERR_CAST(ipcp);
  73. return container_of(ipcp, struct msg_queue, q_perm);
  74. }
  75. static inline struct msg_queue *msq_obtain_object_check(struct ipc_namespace *ns,
  76. int id)
  77. {
  78. struct kern_ipc_perm *ipcp = ipc_obtain_object_check(&msg_ids(ns), id);
  79. if (IS_ERR(ipcp))
  80. return ERR_CAST(ipcp);
  81. return container_of(ipcp, struct msg_queue, q_perm);
  82. }
  83. static inline void msg_rmid(struct ipc_namespace *ns, struct msg_queue *s)
  84. {
  85. ipc_rmid(&msg_ids(ns), &s->q_perm);
  86. }
  87. static void msg_rcu_free(struct rcu_head *head)
  88. {
  89. struct ipc_rcu *p = container_of(head, struct ipc_rcu, rcu);
  90. struct msg_queue *msq = ipc_rcu_to_struct(p);
  91. security_msg_queue_free(msq);
  92. ipc_rcu_free(head);
  93. }
  94. /**
  95. * newque - Create a new msg queue
  96. * @ns: namespace
  97. * @params: ptr to the structure that contains the key and msgflg
  98. *
  99. * Called with msg_ids.rwsem held (writer)
  100. */
  101. static int newque(struct ipc_namespace *ns, struct ipc_params *params)
  102. {
  103. struct msg_queue *msq;
  104. int id, retval;
  105. key_t key = params->key;
  106. int msgflg = params->flg;
  107. msq = ipc_rcu_alloc(sizeof(*msq));
  108. if (!msq)
  109. return -ENOMEM;
  110. msq->q_perm.mode = msgflg & S_IRWXUGO;
  111. msq->q_perm.key = key;
  112. msq->q_perm.security = NULL;
  113. retval = security_msg_queue_alloc(msq);
  114. if (retval) {
  115. ipc_rcu_putref(msq, ipc_rcu_free);
  116. return retval;
  117. }
  118. msq->q_stime = msq->q_rtime = 0;
  119. msq->q_ctime = get_seconds();
  120. msq->q_cbytes = msq->q_qnum = 0;
  121. msq->q_qbytes = ns->msg_ctlmnb;
  122. msq->q_lspid = msq->q_lrpid = 0;
  123. INIT_LIST_HEAD(&msq->q_messages);
  124. INIT_LIST_HEAD(&msq->q_receivers);
  125. INIT_LIST_HEAD(&msq->q_senders);
  126. /* ipc_addid() locks msq upon success. */
  127. id = ipc_addid(&msg_ids(ns), &msq->q_perm, ns->msg_ctlmni);
  128. if (id < 0) {
  129. ipc_rcu_putref(msq, msg_rcu_free);
  130. return id;
  131. }
  132. ipc_unlock_object(&msq->q_perm);
  133. rcu_read_unlock();
  134. return msq->q_perm.id;
  135. }
  136. static inline void ss_add(struct msg_queue *msq, struct msg_sender *mss)
  137. {
  138. mss->tsk = current;
  139. __set_current_state(TASK_INTERRUPTIBLE);
  140. list_add_tail(&mss->list, &msq->q_senders);
  141. }
  142. static inline void ss_del(struct msg_sender *mss)
  143. {
  144. if (mss->list.next != NULL)
  145. list_del(&mss->list);
  146. }
  147. static void ss_wakeup(struct list_head *h, int kill)
  148. {
  149. struct msg_sender *mss, *t;
  150. list_for_each_entry_safe(mss, t, h, list) {
  151. if (kill)
  152. mss->list.next = NULL;
  153. wake_up_process(mss->tsk);
  154. }
  155. }
  156. static void expunge_all(struct msg_queue *msq, int res)
  157. {
  158. struct msg_receiver *msr, *t;
  159. list_for_each_entry_safe(msr, t, &msq->q_receivers, r_list) {
  160. msr->r_msg = NULL; /* initialize expunge ordering */
  161. wake_up_process(msr->r_tsk);
  162. /*
  163. * Ensure that the wakeup is visible before setting r_msg as
  164. * the receiving end depends on it: either spinning on a nil,
  165. * or dealing with -EAGAIN cases. See lockless receive part 1
  166. * and 2 in do_msgrcv().
  167. */
  168. smp_wmb(); /* barrier (B) */
  169. msr->r_msg = ERR_PTR(res);
  170. }
  171. }
  172. /*
  173. * freeque() wakes up waiters on the sender and receiver waiting queue,
  174. * removes the message queue from message queue ID IDR, and cleans up all the
  175. * messages associated with this queue.
  176. *
  177. * msg_ids.rwsem (writer) and the spinlock for this message queue are held
  178. * before freeque() is called. msg_ids.rwsem remains locked on exit.
  179. */
  180. static void freeque(struct ipc_namespace *ns, struct kern_ipc_perm *ipcp)
  181. {
  182. struct msg_msg *msg, *t;
  183. struct msg_queue *msq = container_of(ipcp, struct msg_queue, q_perm);
  184. expunge_all(msq, -EIDRM);
  185. ss_wakeup(&msq->q_senders, 1);
  186. msg_rmid(ns, msq);
  187. ipc_unlock_object(&msq->q_perm);
  188. rcu_read_unlock();
  189. list_for_each_entry_safe(msg, t, &msq->q_messages, m_list) {
  190. atomic_dec(&ns->msg_hdrs);
  191. free_msg(msg);
  192. }
  193. atomic_sub(msq->q_cbytes, &ns->msg_bytes);
  194. ipc_rcu_putref(msq, msg_rcu_free);
  195. }
  196. /*
  197. * Called with msg_ids.rwsem and ipcp locked.
  198. */
  199. static inline int msg_security(struct kern_ipc_perm *ipcp, int msgflg)
  200. {
  201. struct msg_queue *msq = container_of(ipcp, struct msg_queue, q_perm);
  202. return security_msg_queue_associate(msq, msgflg);
  203. }
  204. SYSCALL_DEFINE2(msgget, key_t, key, int, msgflg)
  205. {
  206. struct ipc_namespace *ns;
  207. static const struct ipc_ops msg_ops = {
  208. .getnew = newque,
  209. .associate = msg_security,
  210. };
  211. struct ipc_params msg_params;
  212. ns = current->nsproxy->ipc_ns;
  213. msg_params.key = key;
  214. msg_params.flg = msgflg;
  215. return ipcget(ns, &msg_ids(ns), &msg_ops, &msg_params);
  216. }
  217. static inline unsigned long
  218. copy_msqid_to_user(void __user *buf, struct msqid64_ds *in, int version)
  219. {
  220. switch (version) {
  221. case IPC_64:
  222. return copy_to_user(buf, in, sizeof(*in));
  223. case IPC_OLD:
  224. {
  225. struct msqid_ds out;
  226. memset(&out, 0, sizeof(out));
  227. ipc64_perm_to_ipc_perm(&in->msg_perm, &out.msg_perm);
  228. out.msg_stime = in->msg_stime;
  229. out.msg_rtime = in->msg_rtime;
  230. out.msg_ctime = in->msg_ctime;
  231. if (in->msg_cbytes > USHRT_MAX)
  232. out.msg_cbytes = USHRT_MAX;
  233. else
  234. out.msg_cbytes = in->msg_cbytes;
  235. out.msg_lcbytes = in->msg_cbytes;
  236. if (in->msg_qnum > USHRT_MAX)
  237. out.msg_qnum = USHRT_MAX;
  238. else
  239. out.msg_qnum = in->msg_qnum;
  240. if (in->msg_qbytes > USHRT_MAX)
  241. out.msg_qbytes = USHRT_MAX;
  242. else
  243. out.msg_qbytes = in->msg_qbytes;
  244. out.msg_lqbytes = in->msg_qbytes;
  245. out.msg_lspid = in->msg_lspid;
  246. out.msg_lrpid = in->msg_lrpid;
  247. return copy_to_user(buf, &out, sizeof(out));
  248. }
  249. default:
  250. return -EINVAL;
  251. }
  252. }
  253. static inline unsigned long
  254. copy_msqid_from_user(struct msqid64_ds *out, void __user *buf, int version)
  255. {
  256. switch (version) {
  257. case IPC_64:
  258. if (copy_from_user(out, buf, sizeof(*out)))
  259. return -EFAULT;
  260. return 0;
  261. case IPC_OLD:
  262. {
  263. struct msqid_ds tbuf_old;
  264. if (copy_from_user(&tbuf_old, buf, sizeof(tbuf_old)))
  265. return -EFAULT;
  266. out->msg_perm.uid = tbuf_old.msg_perm.uid;
  267. out->msg_perm.gid = tbuf_old.msg_perm.gid;
  268. out->msg_perm.mode = tbuf_old.msg_perm.mode;
  269. if (tbuf_old.msg_qbytes == 0)
  270. out->msg_qbytes = tbuf_old.msg_lqbytes;
  271. else
  272. out->msg_qbytes = tbuf_old.msg_qbytes;
  273. return 0;
  274. }
  275. default:
  276. return -EINVAL;
  277. }
  278. }
  279. /*
  280. * This function handles some msgctl commands which require the rwsem
  281. * to be held in write mode.
  282. * NOTE: no locks must be held, the rwsem is taken inside this function.
  283. */
  284. static int msgctl_down(struct ipc_namespace *ns, int msqid, int cmd,
  285. struct msqid_ds __user *buf, int version)
  286. {
  287. struct kern_ipc_perm *ipcp;
  288. struct msqid64_ds uninitialized_var(msqid64);
  289. struct msg_queue *msq;
  290. int err;
  291. if (cmd == IPC_SET) {
  292. if (copy_msqid_from_user(&msqid64, buf, version))
  293. return -EFAULT;
  294. }
  295. down_write(&msg_ids(ns).rwsem);
  296. rcu_read_lock();
  297. ipcp = ipcctl_pre_down_nolock(ns, &msg_ids(ns), msqid, cmd,
  298. &msqid64.msg_perm, msqid64.msg_qbytes);
  299. if (IS_ERR(ipcp)) {
  300. err = PTR_ERR(ipcp);
  301. goto out_unlock1;
  302. }
  303. msq = container_of(ipcp, struct msg_queue, q_perm);
  304. err = security_msg_queue_msgctl(msq, cmd);
  305. if (err)
  306. goto out_unlock1;
  307. switch (cmd) {
  308. case IPC_RMID:
  309. ipc_lock_object(&msq->q_perm);
  310. /* freeque unlocks the ipc object and rcu */
  311. freeque(ns, ipcp);
  312. goto out_up;
  313. case IPC_SET:
  314. if (msqid64.msg_qbytes > ns->msg_ctlmnb &&
  315. !capable(CAP_SYS_RESOURCE)) {
  316. err = -EPERM;
  317. goto out_unlock1;
  318. }
  319. ipc_lock_object(&msq->q_perm);
  320. err = ipc_update_perm(&msqid64.msg_perm, ipcp);
  321. if (err)
  322. goto out_unlock0;
  323. msq->q_qbytes = msqid64.msg_qbytes;
  324. msq->q_ctime = get_seconds();
  325. /* sleeping receivers might be excluded by
  326. * stricter permissions.
  327. */
  328. expunge_all(msq, -EAGAIN);
  329. /* sleeping senders might be able to send
  330. * due to a larger queue size.
  331. */
  332. ss_wakeup(&msq->q_senders, 0);
  333. break;
  334. default:
  335. err = -EINVAL;
  336. goto out_unlock1;
  337. }
  338. out_unlock0:
  339. ipc_unlock_object(&msq->q_perm);
  340. out_unlock1:
  341. rcu_read_unlock();
  342. out_up:
  343. up_write(&msg_ids(ns).rwsem);
  344. return err;
  345. }
  346. static int msgctl_nolock(struct ipc_namespace *ns, int msqid,
  347. int cmd, int version, void __user *buf)
  348. {
  349. int err;
  350. struct msg_queue *msq;
  351. switch (cmd) {
  352. case IPC_INFO:
  353. case MSG_INFO:
  354. {
  355. struct msginfo msginfo;
  356. int max_id;
  357. if (!buf)
  358. return -EFAULT;
  359. /*
  360. * We must not return kernel stack data.
  361. * due to padding, it's not enough
  362. * to set all member fields.
  363. */
  364. err = security_msg_queue_msgctl(NULL, cmd);
  365. if (err)
  366. return err;
  367. memset(&msginfo, 0, sizeof(msginfo));
  368. msginfo.msgmni = ns->msg_ctlmni;
  369. msginfo.msgmax = ns->msg_ctlmax;
  370. msginfo.msgmnb = ns->msg_ctlmnb;
  371. msginfo.msgssz = MSGSSZ;
  372. msginfo.msgseg = MSGSEG;
  373. down_read(&msg_ids(ns).rwsem);
  374. if (cmd == MSG_INFO) {
  375. msginfo.msgpool = msg_ids(ns).in_use;
  376. msginfo.msgmap = atomic_read(&ns->msg_hdrs);
  377. msginfo.msgtql = atomic_read(&ns->msg_bytes);
  378. } else {
  379. msginfo.msgmap = MSGMAP;
  380. msginfo.msgpool = MSGPOOL;
  381. msginfo.msgtql = MSGTQL;
  382. }
  383. max_id = ipc_get_maxid(&msg_ids(ns));
  384. up_read(&msg_ids(ns).rwsem);
  385. if (copy_to_user(buf, &msginfo, sizeof(struct msginfo)))
  386. return -EFAULT;
  387. return (max_id < 0) ? 0 : max_id;
  388. }
  389. case MSG_STAT:
  390. case IPC_STAT:
  391. {
  392. struct msqid64_ds tbuf;
  393. int success_return;
  394. if (!buf)
  395. return -EFAULT;
  396. memset(&tbuf, 0, sizeof(tbuf));
  397. rcu_read_lock();
  398. if (cmd == MSG_STAT) {
  399. msq = msq_obtain_object(ns, msqid);
  400. if (IS_ERR(msq)) {
  401. err = PTR_ERR(msq);
  402. goto out_unlock;
  403. }
  404. success_return = msq->q_perm.id;
  405. } else {
  406. msq = msq_obtain_object_check(ns, msqid);
  407. if (IS_ERR(msq)) {
  408. err = PTR_ERR(msq);
  409. goto out_unlock;
  410. }
  411. success_return = 0;
  412. }
  413. err = -EACCES;
  414. if (ipcperms(ns, &msq->q_perm, S_IRUGO))
  415. goto out_unlock;
  416. err = security_msg_queue_msgctl(msq, cmd);
  417. if (err)
  418. goto out_unlock;
  419. kernel_to_ipc64_perm(&msq->q_perm, &tbuf.msg_perm);
  420. tbuf.msg_stime = msq->q_stime;
  421. tbuf.msg_rtime = msq->q_rtime;
  422. tbuf.msg_ctime = msq->q_ctime;
  423. tbuf.msg_cbytes = msq->q_cbytes;
  424. tbuf.msg_qnum = msq->q_qnum;
  425. tbuf.msg_qbytes = msq->q_qbytes;
  426. tbuf.msg_lspid = msq->q_lspid;
  427. tbuf.msg_lrpid = msq->q_lrpid;
  428. rcu_read_unlock();
  429. if (copy_msqid_to_user(buf, &tbuf, version))
  430. return -EFAULT;
  431. return success_return;
  432. }
  433. default:
  434. return -EINVAL;
  435. }
  436. return err;
  437. out_unlock:
  438. rcu_read_unlock();
  439. return err;
  440. }
  441. SYSCALL_DEFINE3(msgctl, int, msqid, int, cmd, struct msqid_ds __user *, buf)
  442. {
  443. int version;
  444. struct ipc_namespace *ns;
  445. if (msqid < 0 || cmd < 0)
  446. return -EINVAL;
  447. version = ipc_parse_version(&cmd);
  448. ns = current->nsproxy->ipc_ns;
  449. switch (cmd) {
  450. case IPC_INFO:
  451. case MSG_INFO:
  452. case MSG_STAT: /* msqid is an index rather than a msg queue id */
  453. case IPC_STAT:
  454. return msgctl_nolock(ns, msqid, cmd, version, buf);
  455. case IPC_SET:
  456. case IPC_RMID:
  457. return msgctl_down(ns, msqid, cmd, buf, version);
  458. default:
  459. return -EINVAL;
  460. }
  461. }
  462. static int testmsg(struct msg_msg *msg, long type, int mode)
  463. {
  464. switch (mode) {
  465. case SEARCH_ANY:
  466. case SEARCH_NUMBER:
  467. return 1;
  468. case SEARCH_LESSEQUAL:
  469. if (msg->m_type <= type)
  470. return 1;
  471. break;
  472. case SEARCH_EQUAL:
  473. if (msg->m_type == type)
  474. return 1;
  475. break;
  476. case SEARCH_NOTEQUAL:
  477. if (msg->m_type != type)
  478. return 1;
  479. break;
  480. }
  481. return 0;
  482. }
  483. static inline int pipelined_send(struct msg_queue *msq, struct msg_msg *msg)
  484. {
  485. struct msg_receiver *msr, *t;
  486. list_for_each_entry_safe(msr, t, &msq->q_receivers, r_list) {
  487. if (testmsg(msg, msr->r_msgtype, msr->r_mode) &&
  488. !security_msg_queue_msgrcv(msq, msg, msr->r_tsk,
  489. msr->r_msgtype, msr->r_mode)) {
  490. list_del(&msr->r_list);
  491. if (msr->r_maxsize < msg->m_ts) {
  492. /* initialize pipelined send ordering */
  493. msr->r_msg = NULL;
  494. wake_up_process(msr->r_tsk);
  495. /* barrier (B) see barrier comment below */
  496. smp_wmb();
  497. msr->r_msg = ERR_PTR(-E2BIG);
  498. } else {
  499. msr->r_msg = NULL;
  500. msq->q_lrpid = task_pid_vnr(msr->r_tsk);
  501. msq->q_rtime = get_seconds();
  502. wake_up_process(msr->r_tsk);
  503. /*
  504. * Ensure that the wakeup is visible before
  505. * setting r_msg, as the receiving can otherwise
  506. * exit - once r_msg is set, the receiver can
  507. * continue. See lockless receive part 1 and 2
  508. * in do_msgrcv(). Barrier (B).
  509. */
  510. smp_wmb();
  511. msr->r_msg = msg;
  512. return 1;
  513. }
  514. }
  515. }
  516. return 0;
  517. }
  518. long do_msgsnd(int msqid, long mtype, void __user *mtext,
  519. size_t msgsz, int msgflg)
  520. {
  521. struct msg_queue *msq;
  522. struct msg_msg *msg;
  523. int err;
  524. struct ipc_namespace *ns;
  525. ns = current->nsproxy->ipc_ns;
  526. if (msgsz > ns->msg_ctlmax || (long) msgsz < 0 || msqid < 0)
  527. return -EINVAL;
  528. if (mtype < 1)
  529. return -EINVAL;
  530. msg = load_msg(mtext, msgsz);
  531. if (IS_ERR(msg))
  532. return PTR_ERR(msg);
  533. msg->m_type = mtype;
  534. msg->m_ts = msgsz;
  535. rcu_read_lock();
  536. msq = msq_obtain_object_check(ns, msqid);
  537. if (IS_ERR(msq)) {
  538. err = PTR_ERR(msq);
  539. goto out_unlock1;
  540. }
  541. ipc_lock_object(&msq->q_perm);
  542. for (;;) {
  543. struct msg_sender s;
  544. err = -EACCES;
  545. if (ipcperms(ns, &msq->q_perm, S_IWUGO))
  546. goto out_unlock0;
  547. /* raced with RMID? */
  548. if (!ipc_valid_object(&msq->q_perm)) {
  549. err = -EIDRM;
  550. goto out_unlock0;
  551. }
  552. err = security_msg_queue_msgsnd(msq, msg, msgflg);
  553. if (err)
  554. goto out_unlock0;
  555. if (msgsz + msq->q_cbytes <= msq->q_qbytes &&
  556. 1 + msq->q_qnum <= msq->q_qbytes) {
  557. break;
  558. }
  559. /* queue full, wait: */
  560. if (msgflg & IPC_NOWAIT) {
  561. err = -EAGAIN;
  562. goto out_unlock0;
  563. }
  564. /* enqueue the sender and prepare to block */
  565. ss_add(msq, &s);
  566. if (!ipc_rcu_getref(msq)) {
  567. err = -EIDRM;
  568. goto out_unlock0;
  569. }
  570. ipc_unlock_object(&msq->q_perm);
  571. rcu_read_unlock();
  572. schedule();
  573. rcu_read_lock();
  574. ipc_lock_object(&msq->q_perm);
  575. ipc_rcu_putref(msq, msg_rcu_free);
  576. /* raced with RMID? */
  577. if (!ipc_valid_object(&msq->q_perm)) {
  578. err = -EIDRM;
  579. goto out_unlock0;
  580. }
  581. ss_del(&s);
  582. if (signal_pending(current)) {
  583. err = -ERESTARTNOHAND;
  584. goto out_unlock0;
  585. }
  586. }
  587. msq->q_lspid = task_tgid_vnr(current);
  588. msq->q_stime = get_seconds();
  589. if (!pipelined_send(msq, msg)) {
  590. /* no one is waiting for this message, enqueue it */
  591. list_add_tail(&msg->m_list, &msq->q_messages);
  592. msq->q_cbytes += msgsz;
  593. msq->q_qnum++;
  594. atomic_add(msgsz, &ns->msg_bytes);
  595. atomic_inc(&ns->msg_hdrs);
  596. }
  597. err = 0;
  598. msg = NULL;
  599. out_unlock0:
  600. ipc_unlock_object(&msq->q_perm);
  601. out_unlock1:
  602. rcu_read_unlock();
  603. if (msg != NULL)
  604. free_msg(msg);
  605. return err;
  606. }
  607. SYSCALL_DEFINE4(msgsnd, int, msqid, struct msgbuf __user *, msgp, size_t, msgsz,
  608. int, msgflg)
  609. {
  610. long mtype;
  611. if (get_user(mtype, &msgp->mtype))
  612. return -EFAULT;
  613. return do_msgsnd(msqid, mtype, msgp->mtext, msgsz, msgflg);
  614. }
  615. static inline int convert_mode(long *msgtyp, int msgflg)
  616. {
  617. if (msgflg & MSG_COPY)
  618. return SEARCH_NUMBER;
  619. /*
  620. * find message of correct type.
  621. * msgtyp = 0 => get first.
  622. * msgtyp > 0 => get first message of matching type.
  623. * msgtyp < 0 => get message with least type must be < abs(msgtype).
  624. */
  625. if (*msgtyp == 0)
  626. return SEARCH_ANY;
  627. if (*msgtyp < 0) {
  628. if (*msgtyp == LONG_MIN) /* -LONG_MIN is undefined */
  629. *msgtyp = LONG_MAX;
  630. else
  631. *msgtyp = -*msgtyp;
  632. return SEARCH_LESSEQUAL;
  633. }
  634. if (msgflg & MSG_EXCEPT)
  635. return SEARCH_NOTEQUAL;
  636. return SEARCH_EQUAL;
  637. }
  638. static long do_msg_fill(void __user *dest, struct msg_msg *msg, size_t bufsz)
  639. {
  640. struct msgbuf __user *msgp = dest;
  641. size_t msgsz;
  642. if (put_user(msg->m_type, &msgp->mtype))
  643. return -EFAULT;
  644. msgsz = (bufsz > msg->m_ts) ? msg->m_ts : bufsz;
  645. if (store_msg(msgp->mtext, msg, msgsz))
  646. return -EFAULT;
  647. return msgsz;
  648. }
  649. #ifdef CONFIG_CHECKPOINT_RESTORE
  650. /*
  651. * This function creates new kernel message structure, large enough to store
  652. * bufsz message bytes.
  653. */
  654. static inline struct msg_msg *prepare_copy(void __user *buf, size_t bufsz)
  655. {
  656. struct msg_msg *copy;
  657. /*
  658. * Create dummy message to copy real message to.
  659. */
  660. copy = load_msg(buf, bufsz);
  661. if (!IS_ERR(copy))
  662. copy->m_ts = bufsz;
  663. return copy;
  664. }
  665. static inline void free_copy(struct msg_msg *copy)
  666. {
  667. if (copy)
  668. free_msg(copy);
  669. }
  670. #else
  671. static inline struct msg_msg *prepare_copy(void __user *buf, size_t bufsz)
  672. {
  673. return ERR_PTR(-ENOSYS);
  674. }
  675. static inline void free_copy(struct msg_msg *copy)
  676. {
  677. }
  678. #endif
  679. static struct msg_msg *find_msg(struct msg_queue *msq, long *msgtyp, int mode)
  680. {
  681. struct msg_msg *msg, *found = NULL;
  682. long count = 0;
  683. list_for_each_entry(msg, &msq->q_messages, m_list) {
  684. if (testmsg(msg, *msgtyp, mode) &&
  685. !security_msg_queue_msgrcv(msq, msg, current,
  686. *msgtyp, mode)) {
  687. if (mode == SEARCH_LESSEQUAL && msg->m_type != 1) {
  688. *msgtyp = msg->m_type - 1;
  689. found = msg;
  690. } else if (mode == SEARCH_NUMBER) {
  691. if (*msgtyp == count)
  692. return msg;
  693. } else
  694. return msg;
  695. count++;
  696. }
  697. }
  698. return found ?: ERR_PTR(-EAGAIN);
  699. }
  700. long do_msgrcv(int msqid, void __user *buf, size_t bufsz, long msgtyp, int msgflg,
  701. long (*msg_handler)(void __user *, struct msg_msg *, size_t))
  702. {
  703. int mode;
  704. struct msg_queue *msq;
  705. struct ipc_namespace *ns;
  706. struct msg_msg *msg, *copy = NULL;
  707. ns = current->nsproxy->ipc_ns;
  708. if (msqid < 0 || (long) bufsz < 0)
  709. return -EINVAL;
  710. if (msgflg & MSG_COPY) {
  711. if ((msgflg & MSG_EXCEPT) || !(msgflg & IPC_NOWAIT))
  712. return -EINVAL;
  713. copy = prepare_copy(buf, min_t(size_t, bufsz, ns->msg_ctlmax));
  714. if (IS_ERR(copy))
  715. return PTR_ERR(copy);
  716. }
  717. mode = convert_mode(&msgtyp, msgflg);
  718. rcu_read_lock();
  719. msq = msq_obtain_object_check(ns, msqid);
  720. if (IS_ERR(msq)) {
  721. rcu_read_unlock();
  722. free_copy(copy);
  723. return PTR_ERR(msq);
  724. }
  725. for (;;) {
  726. struct msg_receiver msr_d;
  727. msg = ERR_PTR(-EACCES);
  728. if (ipcperms(ns, &msq->q_perm, S_IRUGO))
  729. goto out_unlock1;
  730. ipc_lock_object(&msq->q_perm);
  731. /* raced with RMID? */
  732. if (!ipc_valid_object(&msq->q_perm)) {
  733. msg = ERR_PTR(-EIDRM);
  734. goto out_unlock0;
  735. }
  736. msg = find_msg(msq, &msgtyp, mode);
  737. if (!IS_ERR(msg)) {
  738. /*
  739. * Found a suitable message.
  740. * Unlink it from the queue.
  741. */
  742. if ((bufsz < msg->m_ts) && !(msgflg & MSG_NOERROR)) {
  743. msg = ERR_PTR(-E2BIG);
  744. goto out_unlock0;
  745. }
  746. /*
  747. * If we are copying, then do not unlink message and do
  748. * not update queue parameters.
  749. */
  750. if (msgflg & MSG_COPY) {
  751. msg = copy_msg(msg, copy);
  752. goto out_unlock0;
  753. }
  754. list_del(&msg->m_list);
  755. msq->q_qnum--;
  756. msq->q_rtime = get_seconds();
  757. msq->q_lrpid = task_tgid_vnr(current);
  758. msq->q_cbytes -= msg->m_ts;
  759. atomic_sub(msg->m_ts, &ns->msg_bytes);
  760. atomic_dec(&ns->msg_hdrs);
  761. ss_wakeup(&msq->q_senders, 0);
  762. goto out_unlock0;
  763. }
  764. /* No message waiting. Wait for a message */
  765. if (msgflg & IPC_NOWAIT) {
  766. msg = ERR_PTR(-ENOMSG);
  767. goto out_unlock0;
  768. }
  769. list_add_tail(&msr_d.r_list, &msq->q_receivers);
  770. msr_d.r_tsk = current;
  771. msr_d.r_msgtype = msgtyp;
  772. msr_d.r_mode = mode;
  773. if (msgflg & MSG_NOERROR)
  774. msr_d.r_maxsize = INT_MAX;
  775. else
  776. msr_d.r_maxsize = bufsz;
  777. msr_d.r_msg = ERR_PTR(-EAGAIN);
  778. __set_current_state(TASK_INTERRUPTIBLE);
  779. ipc_unlock_object(&msq->q_perm);
  780. rcu_read_unlock();
  781. schedule();
  782. /* Lockless receive, part 1:
  783. * Disable preemption. We don't hold a reference to the queue
  784. * and getting a reference would defeat the idea of a lockless
  785. * operation, thus the code relies on rcu to guarantee the
  786. * existence of msq:
  787. * Prior to destruction, expunge_all(-EIRDM) changes r_msg.
  788. * Thus if r_msg is -EAGAIN, then the queue not yet destroyed.
  789. * rcu_read_lock() prevents preemption between reading r_msg
  790. * and acquiring the q_perm.lock in ipc_lock_object().
  791. */
  792. rcu_read_lock();
  793. /* Lockless receive, part 2:
  794. * Wait until pipelined_send or expunge_all are outside of
  795. * wake_up_process(). There is a race with exit(), see
  796. * ipc/mqueue.c for the details. The correct serialization
  797. * ensures that a receiver cannot continue without the wakeup
  798. * being visibible _before_ setting r_msg:
  799. *
  800. * CPU 0 CPU 1
  801. * <loop receiver>
  802. * smp_rmb(); (A) <-- pair -. <waker thread>
  803. * <load ->r_msg> | msr->r_msg = NULL;
  804. * | wake_up_process();
  805. * <continue> `------> smp_wmb(); (B)
  806. * msr->r_msg = msg;
  807. *
  808. * Where (A) orders the message value read and where (B) orders
  809. * the write to the r_msg -- done in both pipelined_send and
  810. * expunge_all.
  811. */
  812. for (;;) {
  813. /*
  814. * Pairs with writer barrier in pipelined_send
  815. * or expunge_all.
  816. */
  817. smp_rmb(); /* barrier (A) */
  818. msg = (struct msg_msg *)msr_d.r_msg;
  819. if (msg)
  820. break;
  821. /*
  822. * The cpu_relax() call is a compiler barrier
  823. * which forces everything in this loop to be
  824. * re-loaded.
  825. */
  826. cpu_relax();
  827. }
  828. /* Lockless receive, part 3:
  829. * If there is a message or an error then accept it without
  830. * locking.
  831. */
  832. if (msg != ERR_PTR(-EAGAIN))
  833. goto out_unlock1;
  834. /* Lockless receive, part 3:
  835. * Acquire the queue spinlock.
  836. */
  837. ipc_lock_object(&msq->q_perm);
  838. /* Lockless receive, part 4:
  839. * Repeat test after acquiring the spinlock.
  840. */
  841. msg = (struct msg_msg *)msr_d.r_msg;
  842. if (msg != ERR_PTR(-EAGAIN))
  843. goto out_unlock0;
  844. list_del(&msr_d.r_list);
  845. if (signal_pending(current)) {
  846. msg = ERR_PTR(-ERESTARTNOHAND);
  847. goto out_unlock0;
  848. }
  849. ipc_unlock_object(&msq->q_perm);
  850. }
  851. out_unlock0:
  852. ipc_unlock_object(&msq->q_perm);
  853. out_unlock1:
  854. rcu_read_unlock();
  855. if (IS_ERR(msg)) {
  856. free_copy(copy);
  857. return PTR_ERR(msg);
  858. }
  859. bufsz = msg_handler(buf, msg, bufsz);
  860. free_msg(msg);
  861. return bufsz;
  862. }
  863. SYSCALL_DEFINE5(msgrcv, int, msqid, struct msgbuf __user *, msgp, size_t, msgsz,
  864. long, msgtyp, int, msgflg)
  865. {
  866. return do_msgrcv(msqid, msgp, msgsz, msgtyp, msgflg, do_msg_fill);
  867. }
  868. void msg_init_ns(struct ipc_namespace *ns)
  869. {
  870. ns->msg_ctlmax = MSGMAX;
  871. ns->msg_ctlmnb = MSGMNB;
  872. ns->msg_ctlmni = MSGMNI;
  873. atomic_set(&ns->msg_bytes, 0);
  874. atomic_set(&ns->msg_hdrs, 0);
  875. ipc_init_ids(&ns->ids[IPC_MSG_IDS]);
  876. }
  877. #ifdef CONFIG_IPC_NS
  878. void msg_exit_ns(struct ipc_namespace *ns)
  879. {
  880. free_ipcs(ns, &msg_ids(ns), freeque);
  881. idr_destroy(&ns->ids[IPC_MSG_IDS].ipcs_idr);
  882. }
  883. #endif
  884. #ifdef CONFIG_PROC_FS
  885. static int sysvipc_msg_proc_show(struct seq_file *s, void *it)
  886. {
  887. struct user_namespace *user_ns = seq_user_ns(s);
  888. struct msg_queue *msq = it;
  889. seq_printf(s,
  890. "%10d %10d %4o %10lu %10lu %5u %5u %5u %5u %5u %5u %10lu %10lu %10lu\n",
  891. msq->q_perm.key,
  892. msq->q_perm.id,
  893. msq->q_perm.mode,
  894. msq->q_cbytes,
  895. msq->q_qnum,
  896. msq->q_lspid,
  897. msq->q_lrpid,
  898. from_kuid_munged(user_ns, msq->q_perm.uid),
  899. from_kgid_munged(user_ns, msq->q_perm.gid),
  900. from_kuid_munged(user_ns, msq->q_perm.cuid),
  901. from_kgid_munged(user_ns, msq->q_perm.cgid),
  902. msq->q_stime,
  903. msq->q_rtime,
  904. msq->q_ctime);
  905. return 0;
  906. }
  907. #endif
  908. void __init msg_init(void)
  909. {
  910. msg_init_ns(&init_ipc_ns);
  911. ipc_init_proc_interface("sysvipc/msg",
  912. " key msqid perms cbytes qnum lspid lrpid uid gid cuid cgid stime rtime ctime\n",
  913. IPC_MSG_IDS, sysvipc_msg_proc_show);
  914. }