19454b2d8SWarner Losh /*- 23d903220SDoug Rabson * Implementation of SVID messages 33d903220SDoug Rabson * 43d903220SDoug Rabson * Author: Daniel Boulet 53d903220SDoug Rabson * 63d903220SDoug Rabson * Copyright 1993 Daniel Boulet and RTMX Inc. 73d903220SDoug Rabson * 83d903220SDoug Rabson * This system call was implemented by Daniel Boulet under contract from RTMX. 93d903220SDoug Rabson * 103d903220SDoug Rabson * Redistribution and use in source forms, with and without modification, 113d903220SDoug Rabson * are permitted provided that this entire comment appears intact. 123d903220SDoug Rabson * 133d903220SDoug Rabson * Redistribution in binary form may occur without any restrictions. 143d903220SDoug Rabson * Obviously, it would be nice if you gave credit where credit is due 153d903220SDoug Rabson * but requiring it would be too onerous. 163d903220SDoug Rabson * 173d903220SDoug Rabson * This software is provided ``AS IS'' without any warranties of any kind. 183d903220SDoug Rabson */ 19e6a543f8SRobert Watson /*- 20e6a543f8SRobert Watson * Copyright (c) 2003-2005 McAfee, Inc. 21e6a543f8SRobert Watson * All rights reserved. 22e6a543f8SRobert Watson * 23e6a543f8SRobert Watson * This software was developed for the FreeBSD Project in part by McAfee 24e6a543f8SRobert Watson * Research, the Security Research Division of McAfee, Inc under DARPA/SPAWAR 25e6a543f8SRobert Watson * contract N66001-01-C-8035 ("CBOSS"), as part of the DARPA CHATS research 26e6a543f8SRobert Watson * program. 27e6a543f8SRobert Watson * 28e6a543f8SRobert Watson * Redistribution and use in source and binary forms, with or without 29e6a543f8SRobert Watson * modification, are permitted provided that the following conditions 30e6a543f8SRobert Watson * are met: 31e6a543f8SRobert Watson * 1. Redistributions of source code must retain the above copyright 32e6a543f8SRobert Watson * notice, this list of conditions and the following disclaimer. 33e6a543f8SRobert Watson * 2. Redistributions in binary form must reproduce the above copyright 34e6a543f8SRobert Watson * notice, this list of conditions and the following disclaimer in the 35e6a543f8SRobert Watson * documentation and/or other materials provided with the distribution. 36e6a543f8SRobert Watson * 37e6a543f8SRobert Watson * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 38e6a543f8SRobert Watson * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 39e6a543f8SRobert Watson * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 40e6a543f8SRobert Watson * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 41e6a543f8SRobert Watson * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 42e6a543f8SRobert Watson * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 43e6a543f8SRobert Watson * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 44e6a543f8SRobert Watson * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 45e6a543f8SRobert Watson * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 46e6a543f8SRobert Watson * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 47e6a543f8SRobert Watson * SUCH DAMAGE. 48e6a543f8SRobert Watson */ 493d903220SDoug Rabson 50677b542eSDavid E. O'Brien #include <sys/cdefs.h> 51677b542eSDavid E. O'Brien __FBSDID("$FreeBSD$"); 52677b542eSDavid E. O'Brien 5345f48220SJohn Baldwin #include "opt_compat.h" 54ab063af9SPeter Wemm #include "opt_sysvipc.h" 55ab063af9SPeter Wemm 563d903220SDoug Rabson #include <sys/param.h> 573d903220SDoug Rabson #include <sys/systm.h> 58725db531SBruce Evans #include <sys/sysproto.h> 593d903220SDoug Rabson #include <sys/kernel.h> 60acd3428bSRobert Watson #include <sys/priv.h> 613d903220SDoug Rabson #include <sys/proc.h> 62b6a4b4f9SMatthew Dillon #include <sys/lock.h> 63b6a4b4f9SMatthew Dillon #include <sys/mutex.h> 6477409fe1SPoul-Henning Kamp #include <sys/module.h> 653d903220SDoug Rabson #include <sys/msg.h> 6678525ce3SAlfred Perlstein #include <sys/syscall.h> 67f4b6eb04SMaxim Sobolev #include <sys/syscallsubr.h> 68725db531SBruce Evans #include <sys/sysent.h> 69ab063af9SPeter Wemm #include <sys/sysctl.h> 70ab063af9SPeter Wemm #include <sys/malloc.h> 71cb1f0db9SRobert Watson #include <sys/jail.h> 72ab063af9SPeter Wemm 73aed55708SRobert Watson #include <security/mac/mac_framework.h> 74aed55708SRobert Watson 75ab063af9SPeter Wemm static MALLOC_DEFINE(M_MSG, "msg", "SVID compatible message queues"); 763d903220SDoug Rabson 774d77a549SAlfred Perlstein static void msginit(void); 784d77a549SAlfred Perlstein static int msgunload(void); 794d77a549SAlfred Perlstein static int sysvmsg_modload(struct module *, int, void *); 802b14f991SJulian Elischer 81fd6d9be4SAlfred Perlstein #ifdef MSG_DEBUG 82fd6d9be4SAlfred Perlstein #define DPRINTF(a) printf a 83fd6d9be4SAlfred Perlstein #else 84f7490cfeSRoman Divacky #define DPRINTF(a) (void)0 85fd6d9be4SAlfred Perlstein #endif 863d903220SDoug Rabson 874d77a549SAlfred Perlstein static void msg_freehdr(struct msg *msghdr); 883d903220SDoug Rabson 89ab063af9SPeter Wemm #ifndef MSGSSZ 90ab063af9SPeter Wemm #define MSGSSZ 8 /* Each segment must be 2^N long */ 91ab063af9SPeter Wemm #endif 92ab063af9SPeter Wemm #ifndef MSGSEG 93ab063af9SPeter Wemm #define MSGSEG 2048 /* must be less than 32767 */ 94ab063af9SPeter Wemm #endif 95ab063af9SPeter Wemm #define MSGMAX (MSGSSZ*MSGSEG) 96ab063af9SPeter Wemm #ifndef MSGMNB 97ab063af9SPeter Wemm #define MSGMNB 2048 /* max # of bytes in a queue */ 98ab063af9SPeter Wemm #endif 99ab063af9SPeter Wemm #ifndef MSGMNI 100ab063af9SPeter Wemm #define MSGMNI 40 101ab063af9SPeter Wemm #endif 102ab063af9SPeter Wemm #ifndef MSGTQL 103ab063af9SPeter Wemm #define MSGTQL 40 104ab063af9SPeter Wemm #endif 105ab063af9SPeter Wemm 106ab063af9SPeter Wemm /* 107ab063af9SPeter Wemm * Based on the configuration parameters described in an SVR2 (yes, two) 108ab063af9SPeter Wemm * config(1m) man page. 109ab063af9SPeter Wemm * 110ab063af9SPeter Wemm * Each message is broken up and stored in segments that are msgssz bytes 111ab063af9SPeter Wemm * long. For efficiency reasons, this should be a power of two. Also, 112ab063af9SPeter Wemm * it doesn't make sense if it is less than 8 or greater than about 256. 113ab063af9SPeter Wemm * Consequently, msginit in kern/sysv_msg.c checks that msgssz is a power of 114ab063af9SPeter Wemm * two between 8 and 1024 inclusive (and panic's if it isn't). 115ab063af9SPeter Wemm */ 116ab063af9SPeter Wemm struct msginfo msginfo = { 117ab063af9SPeter Wemm MSGMAX, /* max chars in a message */ 118ab063af9SPeter Wemm MSGMNI, /* # of message queue identifiers */ 119ab063af9SPeter Wemm MSGMNB, /* max chars in a queue */ 120ab063af9SPeter Wemm MSGTQL, /* max messages in system */ 121ab063af9SPeter Wemm MSGSSZ, /* size of a message segment */ 122ab063af9SPeter Wemm /* (must be small power of 2 greater than 4) */ 123ab063af9SPeter Wemm MSGSEG /* number of message segments */ 124ab063af9SPeter Wemm }; 125ab063af9SPeter Wemm 126ab063af9SPeter Wemm /* 127ab063af9SPeter Wemm * macros to convert between msqid_ds's and msqid's. 128ab063af9SPeter Wemm * (specific to this implementation) 129ab063af9SPeter Wemm */ 130ab063af9SPeter Wemm #define MSQID(ix,ds) ((ix) & 0xffff | (((ds).msg_perm.seq << 16) & 0xffff0000)) 131ab063af9SPeter Wemm #define MSQID_IX(id) ((id) & 0xffff) 132ab063af9SPeter Wemm #define MSQID_SEQ(id) (((id) >> 16) & 0xffff) 133ab063af9SPeter Wemm 134ab063af9SPeter Wemm /* 135ab063af9SPeter Wemm * The rest of this file is specific to this particular implementation. 136ab063af9SPeter Wemm */ 137ab063af9SPeter Wemm 138ab063af9SPeter Wemm struct msgmap { 139ab063af9SPeter Wemm short next; /* next segment in buffer */ 140ab063af9SPeter Wemm /* -1 -> available */ 141ab063af9SPeter Wemm /* 0..(MSGSEG-1) -> index of next segment */ 142ab063af9SPeter Wemm }; 143ab063af9SPeter Wemm 144ab063af9SPeter Wemm #define MSG_LOCKED 01000 /* Is this msqid_ds locked? */ 145ab063af9SPeter Wemm 14687b6de2bSPoul-Henning Kamp static int nfree_msgmaps; /* # of free map entries */ 14787b6de2bSPoul-Henning Kamp static short free_msgmaps; /* head of linked list of free map entries */ 14887b6de2bSPoul-Henning Kamp static struct msg *free_msghdrs;/* list of free msg headers */ 149ab063af9SPeter Wemm static char *msgpool; /* MSGMAX byte long msg buffer pool */ 150ab063af9SPeter Wemm static struct msgmap *msgmaps; /* MSGSEG msgmap structures */ 151ab063af9SPeter Wemm static struct msg *msghdrs; /* MSGTQL msg headers */ 152921d05b9SRobert Watson static struct msqid_kernel *msqids; /* MSGMNI msqid_kernel struct's */ 1534b6ef3a1SAlfred Perlstein static struct mtx msq_mtx; /* global mutex for message queues. */ 1543d903220SDoug Rabson 155ab063af9SPeter Wemm static void 15678525ce3SAlfred Perlstein msginit() 1573d903220SDoug Rabson { 1583d903220SDoug Rabson register int i; 1593d903220SDoug Rabson 160896de692SMichael Reifenberger TUNABLE_INT_FETCH("kern.ipc.msgseg", &msginfo.msgseg); 161896de692SMichael Reifenberger TUNABLE_INT_FETCH("kern.ipc.msgssz", &msginfo.msgssz); 162896de692SMichael Reifenberger msginfo.msgmax = msginfo.msgseg * msginfo.msgssz; 163896de692SMichael Reifenberger TUNABLE_INT_FETCH("kern.ipc.msgmni", &msginfo.msgmni); 164b36aab85SRobert Watson TUNABLE_INT_FETCH("kern.ipc.msgmnb", &msginfo.msgmnb); 165b36aab85SRobert Watson TUNABLE_INT_FETCH("kern.ipc.msgtql", &msginfo.msgtql); 166896de692SMichael Reifenberger 167a163d034SWarner Losh msgpool = malloc(msginfo.msgmax, M_MSG, M_WAITOK); 168ab063af9SPeter Wemm if (msgpool == NULL) 169ab063af9SPeter Wemm panic("msgpool is NULL"); 170a163d034SWarner Losh msgmaps = malloc(sizeof(struct msgmap) * msginfo.msgseg, M_MSG, M_WAITOK); 171ab063af9SPeter Wemm if (msgmaps == NULL) 172ab063af9SPeter Wemm panic("msgmaps is NULL"); 173a163d034SWarner Losh msghdrs = malloc(sizeof(struct msg) * msginfo.msgtql, M_MSG, M_WAITOK); 174ab063af9SPeter Wemm if (msghdrs == NULL) 175ab063af9SPeter Wemm panic("msghdrs is NULL"); 176921d05b9SRobert Watson msqids = malloc(sizeof(struct msqid_kernel) * msginfo.msgmni, M_MSG, 177921d05b9SRobert Watson M_WAITOK); 178ab063af9SPeter Wemm if (msqids == NULL) 179ab063af9SPeter Wemm panic("msqids is NULL"); 180ab063af9SPeter Wemm 1813d903220SDoug Rabson /* 1823d903220SDoug Rabson * msginfo.msgssz should be a power of two for efficiency reasons. 1833d903220SDoug Rabson * It is also pretty silly if msginfo.msgssz is less than 8 1843d903220SDoug Rabson * or greater than about 256 so ... 1853d903220SDoug Rabson */ 1863d903220SDoug Rabson 1873d903220SDoug Rabson i = 8; 1883d903220SDoug Rabson while (i < 1024 && i != msginfo.msgssz) 1893d903220SDoug Rabson i <<= 1; 1903d903220SDoug Rabson if (i != msginfo.msgssz) { 191fd6d9be4SAlfred Perlstein DPRINTF(("msginfo.msgssz=%d (0x%x)\n", msginfo.msgssz, 192fd6d9be4SAlfred Perlstein msginfo.msgssz)); 1933d903220SDoug Rabson panic("msginfo.msgssz not a small power of 2"); 1943d903220SDoug Rabson } 1953d903220SDoug Rabson 1963d903220SDoug Rabson if (msginfo.msgseg > 32767) { 197fd6d9be4SAlfred Perlstein DPRINTF(("msginfo.msgseg=%d\n", msginfo.msgseg)); 1983d903220SDoug Rabson panic("msginfo.msgseg > 32767"); 1993d903220SDoug Rabson } 2003d903220SDoug Rabson 2013d903220SDoug Rabson if (msgmaps == NULL) 2023d903220SDoug Rabson panic("msgmaps is NULL"); 2033d903220SDoug Rabson 2043d903220SDoug Rabson for (i = 0; i < msginfo.msgseg; i++) { 2053d903220SDoug Rabson if (i > 0) 2063d903220SDoug Rabson msgmaps[i-1].next = i; 2073d903220SDoug Rabson msgmaps[i].next = -1; /* implies entry is available */ 2083d903220SDoug Rabson } 2093d903220SDoug Rabson free_msgmaps = 0; 2103d903220SDoug Rabson nfree_msgmaps = msginfo.msgseg; 2113d903220SDoug Rabson 2123d903220SDoug Rabson if (msghdrs == NULL) 2133d903220SDoug Rabson panic("msghdrs is NULL"); 2143d903220SDoug Rabson 2153d903220SDoug Rabson for (i = 0; i < msginfo.msgtql; i++) { 2163d903220SDoug Rabson msghdrs[i].msg_type = 0; 2173d903220SDoug Rabson if (i > 0) 2183d903220SDoug Rabson msghdrs[i-1].msg_next = &msghdrs[i]; 2193d903220SDoug Rabson msghdrs[i].msg_next = NULL; 220e6a543f8SRobert Watson #ifdef MAC 22130d239bcSRobert Watson mac_sysvmsg_init(&msghdrs[i]); 222e6a543f8SRobert Watson #endif 2233d903220SDoug Rabson } 2243d903220SDoug Rabson free_msghdrs = &msghdrs[0]; 2253d903220SDoug Rabson 2263d903220SDoug Rabson if (msqids == NULL) 2273d903220SDoug Rabson panic("msqids is NULL"); 2283d903220SDoug Rabson 2293d903220SDoug Rabson for (i = 0; i < msginfo.msgmni; i++) { 230921d05b9SRobert Watson msqids[i].u.msg_qbytes = 0; /* implies entry is available */ 231921d05b9SRobert Watson msqids[i].u.msg_perm.seq = 0; /* reset to a known value */ 232921d05b9SRobert Watson msqids[i].u.msg_perm.mode = 0; 233e6a543f8SRobert Watson #ifdef MAC 23430d239bcSRobert Watson mac_sysvmsq_init(&msqids[i]); 235e6a543f8SRobert Watson #endif 2363d903220SDoug Rabson } 2374b6ef3a1SAlfred Perlstein mtx_init(&msq_mtx, "msq", NULL, MTX_DEF); 2383d903220SDoug Rabson } 23978525ce3SAlfred Perlstein 24078525ce3SAlfred Perlstein static int 24178525ce3SAlfred Perlstein msgunload() 24278525ce3SAlfred Perlstein { 243921d05b9SRobert Watson struct msqid_kernel *msqkptr; 24478525ce3SAlfred Perlstein int msqid; 245e6a543f8SRobert Watson #ifdef MAC 246e6a543f8SRobert Watson int i; 247e6a543f8SRobert Watson #endif 24878525ce3SAlfred Perlstein 24978525ce3SAlfred Perlstein for (msqid = 0; msqid < msginfo.msgmni; msqid++) { 25078525ce3SAlfred Perlstein /* 25178525ce3SAlfred Perlstein * Look for an unallocated and unlocked msqid_ds. 25278525ce3SAlfred Perlstein * msqid_ds's can be locked by msgsnd or msgrcv while 25378525ce3SAlfred Perlstein * they are copying the message in/out. We can't 25478525ce3SAlfred Perlstein * re-use the entry until they release it. 25578525ce3SAlfred Perlstein */ 256921d05b9SRobert Watson msqkptr = &msqids[msqid]; 257921d05b9SRobert Watson if (msqkptr->u.msg_qbytes != 0 || 258921d05b9SRobert Watson (msqkptr->u.msg_perm.mode & MSG_LOCKED) != 0) 25978525ce3SAlfred Perlstein break; 26078525ce3SAlfred Perlstein } 26178525ce3SAlfred Perlstein if (msqid != msginfo.msgmni) 26278525ce3SAlfred Perlstein return (EBUSY); 26378525ce3SAlfred Perlstein 264e6a543f8SRobert Watson #ifdef MAC 265e6a543f8SRobert Watson for (i = 0; i < msginfo.msgtql; i++) 26630d239bcSRobert Watson mac_sysvmsg_destroy(&msghdrs[i]); 267e6a543f8SRobert Watson for (msqid = 0; msqid < msginfo.msgmni; msqid++) 26830d239bcSRobert Watson mac_sysvmsq_destroy(&msqids[msqid]); 269e6a543f8SRobert Watson #endif 27078525ce3SAlfred Perlstein free(msgpool, M_MSG); 27178525ce3SAlfred Perlstein free(msgmaps, M_MSG); 27278525ce3SAlfred Perlstein free(msghdrs, M_MSG); 27378525ce3SAlfred Perlstein free(msqids, M_MSG); 2744b6ef3a1SAlfred Perlstein mtx_destroy(&msq_mtx); 27578525ce3SAlfred Perlstein return (0); 27678525ce3SAlfred Perlstein } 27778525ce3SAlfred Perlstein 27878525ce3SAlfred Perlstein 27978525ce3SAlfred Perlstein static int 28078525ce3SAlfred Perlstein sysvmsg_modload(struct module *module, int cmd, void *arg) 28178525ce3SAlfred Perlstein { 28278525ce3SAlfred Perlstein int error = 0; 28378525ce3SAlfred Perlstein 28478525ce3SAlfred Perlstein switch (cmd) { 28578525ce3SAlfred Perlstein case MOD_LOAD: 28678525ce3SAlfred Perlstein msginit(); 28778525ce3SAlfred Perlstein break; 28878525ce3SAlfred Perlstein case MOD_UNLOAD: 28978525ce3SAlfred Perlstein error = msgunload(); 29078525ce3SAlfred Perlstein break; 29178525ce3SAlfred Perlstein case MOD_SHUTDOWN: 29278525ce3SAlfred Perlstein break; 29378525ce3SAlfred Perlstein default: 29478525ce3SAlfred Perlstein error = EINVAL; 29578525ce3SAlfred Perlstein break; 29678525ce3SAlfred Perlstein } 29778525ce3SAlfred Perlstein return (error); 29878525ce3SAlfred Perlstein } 29978525ce3SAlfred Perlstein 300faa784b7SDag-Erling Smørgrav static moduledata_t sysvmsg_mod = { 301faa784b7SDag-Erling Smørgrav "sysvmsg", 30278525ce3SAlfred Perlstein &sysvmsg_modload, 30378525ce3SAlfred Perlstein NULL 30478525ce3SAlfred Perlstein }; 30578525ce3SAlfred Perlstein 30621d56e9cSAlfred Perlstein SYSCALL_MODULE_HELPER(msgctl); 30721d56e9cSAlfred Perlstein SYSCALL_MODULE_HELPER(msgget); 30821d56e9cSAlfred Perlstein SYSCALL_MODULE_HELPER(msgsnd); 30921d56e9cSAlfred Perlstein SYSCALL_MODULE_HELPER(msgrcv); 31078525ce3SAlfred Perlstein 31171361470SJohn Baldwin DECLARE_MODULE(sysvmsg, sysvmsg_mod, SI_SUB_SYSV_MSG, SI_ORDER_FIRST); 312faa784b7SDag-Erling Smørgrav MODULE_VERSION(sysvmsg, 1); 3133d903220SDoug Rabson 3143d903220SDoug Rabson static void 3153d903220SDoug Rabson msg_freehdr(msghdr) 3163d903220SDoug Rabson struct msg *msghdr; 3173d903220SDoug Rabson { 3183d903220SDoug Rabson while (msghdr->msg_ts > 0) { 3193d903220SDoug Rabson short next; 3203d903220SDoug Rabson if (msghdr->msg_spot < 0 || msghdr->msg_spot >= msginfo.msgseg) 3213d903220SDoug Rabson panic("msghdr->msg_spot out of range"); 3223d903220SDoug Rabson next = msgmaps[msghdr->msg_spot].next; 3233d903220SDoug Rabson msgmaps[msghdr->msg_spot].next = free_msgmaps; 3243d903220SDoug Rabson free_msgmaps = msghdr->msg_spot; 3253d903220SDoug Rabson nfree_msgmaps++; 3263d903220SDoug Rabson msghdr->msg_spot = next; 3273d903220SDoug Rabson if (msghdr->msg_ts >= msginfo.msgssz) 3283d903220SDoug Rabson msghdr->msg_ts -= msginfo.msgssz; 3293d903220SDoug Rabson else 3303d903220SDoug Rabson msghdr->msg_ts = 0; 3313d903220SDoug Rabson } 3323d903220SDoug Rabson if (msghdr->msg_spot != -1) 3333d903220SDoug Rabson panic("msghdr->msg_spot != -1"); 3343d903220SDoug Rabson msghdr->msg_next = free_msghdrs; 3353d903220SDoug Rabson free_msghdrs = msghdr; 336e6a543f8SRobert Watson #ifdef MAC 33730d239bcSRobert Watson mac_sysvmsg_cleanup(msghdr); 338e6a543f8SRobert Watson #endif 3393d903220SDoug Rabson } 3403d903220SDoug Rabson 341b5d5c0c9SPeter Wemm #ifndef _SYS_SYSPROTO_H_ 3423d903220SDoug Rabson struct msgctl_args { 3433d903220SDoug Rabson int msqid; 3443d903220SDoug Rabson int cmd; 345b5d5c0c9SPeter Wemm struct msqid_ds *buf; 3463d903220SDoug Rabson }; 347b5d5c0c9SPeter Wemm #endif 348b5d5c0c9SPeter Wemm int 349b40ce416SJulian Elischer msgctl(td, uap) 350b40ce416SJulian Elischer struct thread *td; 3513d903220SDoug Rabson register struct msgctl_args *uap; 3523d903220SDoug Rabson { 3533d903220SDoug Rabson int msqid = uap->msqid; 3543d903220SDoug Rabson int cmd = uap->cmd; 3553d903220SDoug Rabson struct msqid_ds msqbuf; 356f4b6eb04SMaxim Sobolev int error; 357f4b6eb04SMaxim Sobolev 3584e4de5e4SJung-uk Kim DPRINTF(("call to msgctl(%d, %d, %p)\n", msqid, cmd, uap->buf)); 359f4b6eb04SMaxim Sobolev if (cmd == IPC_SET && 360f4b6eb04SMaxim Sobolev (error = copyin(uap->buf, &msqbuf, sizeof(msqbuf))) != 0) 361f4b6eb04SMaxim Sobolev return (error); 36276951d21SJohn Baldwin error = kern_msgctl(td, msqid, cmd, &msqbuf); 363f4b6eb04SMaxim Sobolev if (cmd == IPC_STAT && error == 0) 36476951d21SJohn Baldwin error = copyout(&msqbuf, uap->buf, sizeof(struct msqid_ds)); 365f4b6eb04SMaxim Sobolev return (error); 366f4b6eb04SMaxim Sobolev } 367f4b6eb04SMaxim Sobolev 368f4b6eb04SMaxim Sobolev int 36976951d21SJohn Baldwin kern_msgctl(td, msqid, cmd, msqbuf) 370f4b6eb04SMaxim Sobolev struct thread *td; 371f4b6eb04SMaxim Sobolev int msqid; 372f4b6eb04SMaxim Sobolev int cmd; 373f4b6eb04SMaxim Sobolev struct msqid_ds *msqbuf; 374f4b6eb04SMaxim Sobolev { 375f4b6eb04SMaxim Sobolev int rval, error, msqix; 376921d05b9SRobert Watson register struct msqid_kernel *msqkptr; 3773d903220SDoug Rabson 3780304c731SJamie Gritton if (!prison_allow(td->td_ucred, PR_ALLOW_SYSVIPC)) 379c6f55f33SJohn Baldwin return (ENOSYS); 380cb1f0db9SRobert Watson 381f4b6eb04SMaxim Sobolev msqix = IPCID_TO_IX(msqid); 3823d903220SDoug Rabson 383f4b6eb04SMaxim Sobolev if (msqix < 0 || msqix >= msginfo.msgmni) { 384f4b6eb04SMaxim Sobolev DPRINTF(("msqid (%d) out of range (0<=msqid<%d)\n", msqix, 385fd6d9be4SAlfred Perlstein msginfo.msgmni)); 3864b6ef3a1SAlfred Perlstein return (EINVAL); 3873d903220SDoug Rabson } 3883d903220SDoug Rabson 389f4b6eb04SMaxim Sobolev msqkptr = &msqids[msqix]; 3903d903220SDoug Rabson 3914b6ef3a1SAlfred Perlstein mtx_lock(&msq_mtx); 392921d05b9SRobert Watson if (msqkptr->u.msg_qbytes == 0) { 393fd6d9be4SAlfred Perlstein DPRINTF(("no such msqid\n")); 394b6a4b4f9SMatthew Dillon error = EINVAL; 395b6a4b4f9SMatthew Dillon goto done2; 3963d903220SDoug Rabson } 397f4b6eb04SMaxim Sobolev if (msqkptr->u.msg_perm.seq != IPCID_TO_SEQ(msqid)) { 398fd6d9be4SAlfred Perlstein DPRINTF(("wrong sequence number\n")); 399b6a4b4f9SMatthew Dillon error = EINVAL; 400b6a4b4f9SMatthew Dillon goto done2; 4013d903220SDoug Rabson } 402e6a543f8SRobert Watson #ifdef MAC 40330d239bcSRobert Watson error = mac_sysvmsq_check_msqctl(td->td_ucred, msqkptr, cmd); 404f50c4fd8SRobert Watson if (error != 0) 405e6a543f8SRobert Watson goto done2; 406e6a543f8SRobert Watson #endif 4073d903220SDoug Rabson 408b6a4b4f9SMatthew Dillon error = 0; 4093d903220SDoug Rabson rval = 0; 4103d903220SDoug Rabson 4113d903220SDoug Rabson switch (cmd) { 4123d903220SDoug Rabson 4133d903220SDoug Rabson case IPC_RMID: 4143d903220SDoug Rabson { 4153d903220SDoug Rabson struct msg *msghdr; 416921d05b9SRobert Watson if ((error = ipcperm(td, &msqkptr->u.msg_perm, IPC_M))) 417b6a4b4f9SMatthew Dillon goto done2; 418921d05b9SRobert Watson 419e6a543f8SRobert Watson #ifdef MAC 420e6a543f8SRobert Watson /* 421e6a543f8SRobert Watson * Check that the thread has MAC access permissions to 422e6a543f8SRobert Watson * individual msghdrs. Note: We need to do this in a 423e6a543f8SRobert Watson * separate loop because the actual loop alters the 424e6a543f8SRobert Watson * msq/msghdr info as it progresses, and there is no going 425e6a543f8SRobert Watson * back if half the way through we discover that the 426e6a543f8SRobert Watson * thread cannot free a certain msghdr. The msq will get 427e6a543f8SRobert Watson * into an inconsistent state. 428e6a543f8SRobert Watson */ 429e6a543f8SRobert Watson for (msghdr = msqkptr->u.msg_first; msghdr != NULL; 430e6a543f8SRobert Watson msghdr = msghdr->msg_next) { 43130d239bcSRobert Watson error = mac_sysvmsq_check_msgrmid(td->td_ucred, msghdr); 432f50c4fd8SRobert Watson if (error != 0) 433e6a543f8SRobert Watson goto done2; 434e6a543f8SRobert Watson } 435e6a543f8SRobert Watson #endif 436e6a543f8SRobert Watson 4373d903220SDoug Rabson /* Free the message headers */ 438921d05b9SRobert Watson msghdr = msqkptr->u.msg_first; 4393d903220SDoug Rabson while (msghdr != NULL) { 4403d903220SDoug Rabson struct msg *msghdr_tmp; 4413d903220SDoug Rabson 4423d903220SDoug Rabson /* Free the segments of each message */ 443921d05b9SRobert Watson msqkptr->u.msg_cbytes -= msghdr->msg_ts; 444921d05b9SRobert Watson msqkptr->u.msg_qnum--; 4453d903220SDoug Rabson msghdr_tmp = msghdr; 4463d903220SDoug Rabson msghdr = msghdr->msg_next; 4473d903220SDoug Rabson msg_freehdr(msghdr_tmp); 4483d903220SDoug Rabson } 4493d903220SDoug Rabson 450921d05b9SRobert Watson if (msqkptr->u.msg_cbytes != 0) 4513d903220SDoug Rabson panic("msg_cbytes is screwed up"); 452921d05b9SRobert Watson if (msqkptr->u.msg_qnum != 0) 4533d903220SDoug Rabson panic("msg_qnum is screwed up"); 4543d903220SDoug Rabson 455921d05b9SRobert Watson msqkptr->u.msg_qbytes = 0; /* Mark it as free */ 4563d903220SDoug Rabson 457e6a543f8SRobert Watson #ifdef MAC 45830d239bcSRobert Watson mac_sysvmsq_cleanup(msqkptr); 459e6a543f8SRobert Watson #endif 460e6a543f8SRobert Watson 461921d05b9SRobert Watson wakeup(msqkptr); 4623d903220SDoug Rabson } 4633d903220SDoug Rabson 4643d903220SDoug Rabson break; 4653d903220SDoug Rabson 4663d903220SDoug Rabson case IPC_SET: 467921d05b9SRobert Watson if ((error = ipcperm(td, &msqkptr->u.msg_perm, IPC_M))) 468b6a4b4f9SMatthew Dillon goto done2; 469f4b6eb04SMaxim Sobolev if (msqbuf->msg_qbytes > msqkptr->u.msg_qbytes) { 47032f9753cSRobert Watson error = priv_check(td, PRIV_IPC_MSGSIZE); 471b6a4b4f9SMatthew Dillon if (error) 472b6a4b4f9SMatthew Dillon goto done2; 47357c90d6fSPoul-Henning Kamp } 474f4b6eb04SMaxim Sobolev if (msqbuf->msg_qbytes > msginfo.msgmnb) { 475fd6d9be4SAlfred Perlstein DPRINTF(("can't increase msg_qbytes beyond %d" 476fd6d9be4SAlfred Perlstein "(truncating)\n", msginfo.msgmnb)); 477f4b6eb04SMaxim Sobolev msqbuf->msg_qbytes = msginfo.msgmnb; /* silently restrict qbytes to system limit */ 4783d903220SDoug Rabson } 479f4b6eb04SMaxim Sobolev if (msqbuf->msg_qbytes == 0) { 480fd6d9be4SAlfred Perlstein DPRINTF(("can't reduce msg_qbytes to 0\n")); 481b6a4b4f9SMatthew Dillon error = EINVAL; /* non-standard errno! */ 482b6a4b4f9SMatthew Dillon goto done2; 4833d903220SDoug Rabson } 484f4b6eb04SMaxim Sobolev msqkptr->u.msg_perm.uid = msqbuf->msg_perm.uid; /* change the owner */ 485f4b6eb04SMaxim Sobolev msqkptr->u.msg_perm.gid = msqbuf->msg_perm.gid; /* change the owner */ 486921d05b9SRobert Watson msqkptr->u.msg_perm.mode = (msqkptr->u.msg_perm.mode & ~0777) | 487f4b6eb04SMaxim Sobolev (msqbuf->msg_perm.mode & 0777); 488f4b6eb04SMaxim Sobolev msqkptr->u.msg_qbytes = msqbuf->msg_qbytes; 489921d05b9SRobert Watson msqkptr->u.msg_ctime = time_second; 4903d903220SDoug Rabson break; 4913d903220SDoug Rabson 4923d903220SDoug Rabson case IPC_STAT: 493921d05b9SRobert Watson if ((error = ipcperm(td, &msqkptr->u.msg_perm, IPC_R))) { 494fd6d9be4SAlfred Perlstein DPRINTF(("requester doesn't have read access\n")); 495b6a4b4f9SMatthew Dillon goto done2; 4963d903220SDoug Rabson } 49776951d21SJohn Baldwin *msqbuf = msqkptr->u; 4983d903220SDoug Rabson break; 4993d903220SDoug Rabson 5003d903220SDoug Rabson default: 501fd6d9be4SAlfred Perlstein DPRINTF(("invalid command %d\n", cmd)); 502b6a4b4f9SMatthew Dillon error = EINVAL; 503b6a4b4f9SMatthew Dillon goto done2; 5043d903220SDoug Rabson } 5053d903220SDoug Rabson 506b6a4b4f9SMatthew Dillon if (error == 0) 507b40ce416SJulian Elischer td->td_retval[0] = rval; 508b6a4b4f9SMatthew Dillon done2: 5094b6ef3a1SAlfred Perlstein mtx_unlock(&msq_mtx); 510b6a4b4f9SMatthew Dillon return (error); 5113d903220SDoug Rabson } 5123d903220SDoug Rabson 513b5d5c0c9SPeter Wemm #ifndef _SYS_SYSPROTO_H_ 5143d903220SDoug Rabson struct msgget_args { 5153d903220SDoug Rabson key_t key; 5163d903220SDoug Rabson int msgflg; 5173d903220SDoug Rabson }; 518b5d5c0c9SPeter Wemm #endif 519b5d5c0c9SPeter Wemm int 520b40ce416SJulian Elischer msgget(td, uap) 521b40ce416SJulian Elischer struct thread *td; 5223d903220SDoug Rabson register struct msgget_args *uap; 5233d903220SDoug Rabson { 524b6a4b4f9SMatthew Dillon int msqid, error = 0; 5253d903220SDoug Rabson int key = uap->key; 5263d903220SDoug Rabson int msgflg = uap->msgflg; 527c6f55f33SJohn Baldwin struct ucred *cred = td->td_ucred; 528921d05b9SRobert Watson register struct msqid_kernel *msqkptr = NULL; 5293d903220SDoug Rabson 530fd6d9be4SAlfred Perlstein DPRINTF(("msgget(0x%x, 0%o)\n", key, msgflg)); 5313d903220SDoug Rabson 5320304c731SJamie Gritton if (!prison_allow(td->td_ucred, PR_ALLOW_SYSVIPC)) 533c6f55f33SJohn Baldwin return (ENOSYS); 534cb1f0db9SRobert Watson 5354b6ef3a1SAlfred Perlstein mtx_lock(&msq_mtx); 5363d903220SDoug Rabson if (key != IPC_PRIVATE) { 5373d903220SDoug Rabson for (msqid = 0; msqid < msginfo.msgmni; msqid++) { 538921d05b9SRobert Watson msqkptr = &msqids[msqid]; 539921d05b9SRobert Watson if (msqkptr->u.msg_qbytes != 0 && 540921d05b9SRobert Watson msqkptr->u.msg_perm.key == key) 5413d903220SDoug Rabson break; 5423d903220SDoug Rabson } 5433d903220SDoug Rabson if (msqid < msginfo.msgmni) { 544fd6d9be4SAlfred Perlstein DPRINTF(("found public key\n")); 5453d903220SDoug Rabson if ((msgflg & IPC_CREAT) && (msgflg & IPC_EXCL)) { 546fd6d9be4SAlfred Perlstein DPRINTF(("not exclusive\n")); 547b6a4b4f9SMatthew Dillon error = EEXIST; 548b6a4b4f9SMatthew Dillon goto done2; 5493d903220SDoug Rabson } 550921d05b9SRobert Watson if ((error = ipcperm(td, &msqkptr->u.msg_perm, 551921d05b9SRobert Watson msgflg & 0700))) { 552fd6d9be4SAlfred Perlstein DPRINTF(("requester doesn't have 0%o access\n", 553fd6d9be4SAlfred Perlstein msgflg & 0700)); 554b6a4b4f9SMatthew Dillon goto done2; 5553d903220SDoug Rabson } 556e6a543f8SRobert Watson #ifdef MAC 55730d239bcSRobert Watson error = mac_sysvmsq_check_msqget(cred, msqkptr); 558f50c4fd8SRobert Watson if (error != 0) 559e6a543f8SRobert Watson goto done2; 560e6a543f8SRobert Watson #endif 5613d903220SDoug Rabson goto found; 5623d903220SDoug Rabson } 5633d903220SDoug Rabson } 5643d903220SDoug Rabson 565fd6d9be4SAlfred Perlstein DPRINTF(("need to allocate the msqid_ds\n")); 5663d903220SDoug Rabson if (key == IPC_PRIVATE || (msgflg & IPC_CREAT)) { 5673d903220SDoug Rabson for (msqid = 0; msqid < msginfo.msgmni; msqid++) { 5683d903220SDoug Rabson /* 5693d903220SDoug Rabson * Look for an unallocated and unlocked msqid_ds. 5703d903220SDoug Rabson * msqid_ds's can be locked by msgsnd or msgrcv while 5713d903220SDoug Rabson * they are copying the message in/out. We can't 5723d903220SDoug Rabson * re-use the entry until they release it. 5733d903220SDoug Rabson */ 574921d05b9SRobert Watson msqkptr = &msqids[msqid]; 575921d05b9SRobert Watson if (msqkptr->u.msg_qbytes == 0 && 576921d05b9SRobert Watson (msqkptr->u.msg_perm.mode & MSG_LOCKED) == 0) 5773d903220SDoug Rabson break; 5783d903220SDoug Rabson } 5793d903220SDoug Rabson if (msqid == msginfo.msgmni) { 580fd6d9be4SAlfred Perlstein DPRINTF(("no more msqid_ds's available\n")); 581b6a4b4f9SMatthew Dillon error = ENOSPC; 582b6a4b4f9SMatthew Dillon goto done2; 5833d903220SDoug Rabson } 584fd6d9be4SAlfred Perlstein DPRINTF(("msqid %d is available\n", msqid)); 585921d05b9SRobert Watson msqkptr->u.msg_perm.key = key; 586921d05b9SRobert Watson msqkptr->u.msg_perm.cuid = cred->cr_uid; 587921d05b9SRobert Watson msqkptr->u.msg_perm.uid = cred->cr_uid; 588921d05b9SRobert Watson msqkptr->u.msg_perm.cgid = cred->cr_gid; 589921d05b9SRobert Watson msqkptr->u.msg_perm.gid = cred->cr_gid; 590921d05b9SRobert Watson msqkptr->u.msg_perm.mode = (msgflg & 0777); 5913d903220SDoug Rabson /* Make sure that the returned msqid is unique */ 592921d05b9SRobert Watson msqkptr->u.msg_perm.seq = (msqkptr->u.msg_perm.seq + 1) & 0x7fff; 593921d05b9SRobert Watson msqkptr->u.msg_first = NULL; 594921d05b9SRobert Watson msqkptr->u.msg_last = NULL; 595921d05b9SRobert Watson msqkptr->u.msg_cbytes = 0; 596921d05b9SRobert Watson msqkptr->u.msg_qnum = 0; 597921d05b9SRobert Watson msqkptr->u.msg_qbytes = msginfo.msgmnb; 598921d05b9SRobert Watson msqkptr->u.msg_lspid = 0; 599921d05b9SRobert Watson msqkptr->u.msg_lrpid = 0; 600921d05b9SRobert Watson msqkptr->u.msg_stime = 0; 601921d05b9SRobert Watson msqkptr->u.msg_rtime = 0; 602921d05b9SRobert Watson msqkptr->u.msg_ctime = time_second; 603e6a543f8SRobert Watson #ifdef MAC 60430d239bcSRobert Watson mac_sysvmsq_create(cred, msqkptr); 605e6a543f8SRobert Watson #endif 6063d903220SDoug Rabson } else { 607fd6d9be4SAlfred Perlstein DPRINTF(("didn't find it and wasn't asked to create it\n")); 608b6a4b4f9SMatthew Dillon error = ENOENT; 609b6a4b4f9SMatthew Dillon goto done2; 6103d903220SDoug Rabson } 6113d903220SDoug Rabson 6123d903220SDoug Rabson found: 6133d903220SDoug Rabson /* Construct the unique msqid */ 614921d05b9SRobert Watson td->td_retval[0] = IXSEQ_TO_IPCID(msqid, msqkptr->u.msg_perm); 615b6a4b4f9SMatthew Dillon done2: 6164b6ef3a1SAlfred Perlstein mtx_unlock(&msq_mtx); 617b6a4b4f9SMatthew Dillon return (error); 6183d903220SDoug Rabson } 6193d903220SDoug Rabson 620b5d5c0c9SPeter Wemm #ifndef _SYS_SYSPROTO_H_ 6213d903220SDoug Rabson struct msgsnd_args { 6223d903220SDoug Rabson int msqid; 623b17c9cfaSAlfred Perlstein const void *msgp; 6243d903220SDoug Rabson size_t msgsz; 6253d903220SDoug Rabson int msgflg; 6263d903220SDoug Rabson }; 627b5d5c0c9SPeter Wemm #endif 628b5d5c0c9SPeter Wemm int 6294e4de5e4SJung-uk Kim kern_msgsnd(td, msqid, msgp, msgsz, msgflg, mtype) 630b40ce416SJulian Elischer struct thread *td; 6314e4de5e4SJung-uk Kim int msqid; 6324e4de5e4SJung-uk Kim const void *msgp; /* XXX msgp is actually mtext. */ 6334e4de5e4SJung-uk Kim size_t msgsz; 6344e4de5e4SJung-uk Kim int msgflg; 6354e4de5e4SJung-uk Kim long mtype; 6363d903220SDoug Rabson { 6374e4de5e4SJung-uk Kim int msqix, segs_needed, error = 0; 638921d05b9SRobert Watson register struct msqid_kernel *msqkptr; 6393d903220SDoug Rabson register struct msg *msghdr; 6403d903220SDoug Rabson short next; 6413d903220SDoug Rabson 6420304c731SJamie Gritton if (!prison_allow(td->td_ucred, PR_ALLOW_SYSVIPC)) 643c6f55f33SJohn Baldwin return (ENOSYS); 644cb1f0db9SRobert Watson 6454b6ef3a1SAlfred Perlstein mtx_lock(&msq_mtx); 6464e4de5e4SJung-uk Kim msqix = IPCID_TO_IX(msqid); 6473d903220SDoug Rabson 6484e4de5e4SJung-uk Kim if (msqix < 0 || msqix >= msginfo.msgmni) { 6494e4de5e4SJung-uk Kim DPRINTF(("msqid (%d) out of range (0<=msqid<%d)\n", msqix, 650fd6d9be4SAlfred Perlstein msginfo.msgmni)); 651b6a4b4f9SMatthew Dillon error = EINVAL; 652b6a4b4f9SMatthew Dillon goto done2; 6533d903220SDoug Rabson } 6543d903220SDoug Rabson 6554e4de5e4SJung-uk Kim msqkptr = &msqids[msqix]; 656921d05b9SRobert Watson if (msqkptr->u.msg_qbytes == 0) { 657fd6d9be4SAlfred Perlstein DPRINTF(("no such message queue id\n")); 658b6a4b4f9SMatthew Dillon error = EINVAL; 659b6a4b4f9SMatthew Dillon goto done2; 6603d903220SDoug Rabson } 6614e4de5e4SJung-uk Kim if (msqkptr->u.msg_perm.seq != IPCID_TO_SEQ(msqid)) { 662fd6d9be4SAlfred Perlstein DPRINTF(("wrong sequence number\n")); 663b6a4b4f9SMatthew Dillon error = EINVAL; 664b6a4b4f9SMatthew Dillon goto done2; 6653d903220SDoug Rabson } 6663d903220SDoug Rabson 667921d05b9SRobert Watson if ((error = ipcperm(td, &msqkptr->u.msg_perm, IPC_W))) { 668fd6d9be4SAlfred Perlstein DPRINTF(("requester doesn't have write access\n")); 669b6a4b4f9SMatthew Dillon goto done2; 6703d903220SDoug Rabson } 6713d903220SDoug Rabson 672e6a543f8SRobert Watson #ifdef MAC 67330d239bcSRobert Watson error = mac_sysvmsq_check_msqsnd(td->td_ucred, msqkptr); 674f50c4fd8SRobert Watson if (error != 0) 675e6a543f8SRobert Watson goto done2; 676e6a543f8SRobert Watson #endif 677e6a543f8SRobert Watson 6783d903220SDoug Rabson segs_needed = (msgsz + msginfo.msgssz - 1) / msginfo.msgssz; 6794e4de5e4SJung-uk Kim DPRINTF(("msgsz=%zu, msgssz=%d, segs_needed=%d\n", msgsz, 6804e4de5e4SJung-uk Kim msginfo.msgssz, segs_needed)); 6813d903220SDoug Rabson for (;;) { 6823d903220SDoug Rabson int need_more_resources = 0; 6833d903220SDoug Rabson 6843d903220SDoug Rabson /* 6853d903220SDoug Rabson * check msgsz 6863d903220SDoug Rabson * (inside this loop in case msg_qbytes changes while we sleep) 6873d903220SDoug Rabson */ 6883d903220SDoug Rabson 689921d05b9SRobert Watson if (msgsz > msqkptr->u.msg_qbytes) { 690921d05b9SRobert Watson DPRINTF(("msgsz > msqkptr->u.msg_qbytes\n")); 691b6a4b4f9SMatthew Dillon error = EINVAL; 692b6a4b4f9SMatthew Dillon goto done2; 6933d903220SDoug Rabson } 6943d903220SDoug Rabson 695921d05b9SRobert Watson if (msqkptr->u.msg_perm.mode & MSG_LOCKED) { 696fd6d9be4SAlfred Perlstein DPRINTF(("msqid is locked\n")); 6973d903220SDoug Rabson need_more_resources = 1; 6983d903220SDoug Rabson } 699921d05b9SRobert Watson if (msgsz + msqkptr->u.msg_cbytes > msqkptr->u.msg_qbytes) { 700fd6d9be4SAlfred Perlstein DPRINTF(("msgsz + msg_cbytes > msg_qbytes\n")); 7013d903220SDoug Rabson need_more_resources = 1; 7023d903220SDoug Rabson } 7033d903220SDoug Rabson if (segs_needed > nfree_msgmaps) { 704fd6d9be4SAlfred Perlstein DPRINTF(("segs_needed > nfree_msgmaps\n")); 7053d903220SDoug Rabson need_more_resources = 1; 7063d903220SDoug Rabson } 7073d903220SDoug Rabson if (free_msghdrs == NULL) { 708fd6d9be4SAlfred Perlstein DPRINTF(("no more msghdrs\n")); 7093d903220SDoug Rabson need_more_resources = 1; 7103d903220SDoug Rabson } 7113d903220SDoug Rabson 7123d903220SDoug Rabson if (need_more_resources) { 7133d903220SDoug Rabson int we_own_it; 7143d903220SDoug Rabson 7153d903220SDoug Rabson if ((msgflg & IPC_NOWAIT) != 0) { 716fd6d9be4SAlfred Perlstein DPRINTF(("need more resources but caller " 717fd6d9be4SAlfred Perlstein "doesn't want to wait\n")); 718b6a4b4f9SMatthew Dillon error = EAGAIN; 719b6a4b4f9SMatthew Dillon goto done2; 7203d903220SDoug Rabson } 7213d903220SDoug Rabson 722921d05b9SRobert Watson if ((msqkptr->u.msg_perm.mode & MSG_LOCKED) != 0) { 723fd6d9be4SAlfred Perlstein DPRINTF(("we don't own the msqid_ds\n")); 7243d903220SDoug Rabson we_own_it = 0; 7253d903220SDoug Rabson } else { 7263d903220SDoug Rabson /* Force later arrivals to wait for our 7273d903220SDoug Rabson request */ 728fd6d9be4SAlfred Perlstein DPRINTF(("we own the msqid_ds\n")); 729921d05b9SRobert Watson msqkptr->u.msg_perm.mode |= MSG_LOCKED; 7303d903220SDoug Rabson we_own_it = 1; 7313d903220SDoug Rabson } 732e2229143SJung-uk Kim DPRINTF(("msgsnd: goodnight\n")); 733921d05b9SRobert Watson error = msleep(msqkptr, &msq_mtx, (PZERO - 4) | PCATCH, 734e2229143SJung-uk Kim "msgsnd", hz); 735e2229143SJung-uk Kim DPRINTF(("msgsnd: good morning, error=%d\n", error)); 7363d903220SDoug Rabson if (we_own_it) 737921d05b9SRobert Watson msqkptr->u.msg_perm.mode &= ~MSG_LOCKED; 738e2229143SJung-uk Kim if (error == EWOULDBLOCK) { 739e2229143SJung-uk Kim DPRINTF(("msgsnd: timed out\n")); 740e2229143SJung-uk Kim continue; 741e2229143SJung-uk Kim } 742b6a4b4f9SMatthew Dillon if (error != 0) { 743fd6d9be4SAlfred Perlstein DPRINTF(("msgsnd: interrupted system call\n")); 744b6a4b4f9SMatthew Dillon error = EINTR; 745b6a4b4f9SMatthew Dillon goto done2; 7463d903220SDoug Rabson } 7473d903220SDoug Rabson 7483d903220SDoug Rabson /* 7493d903220SDoug Rabson * Make sure that the msq queue still exists 7503d903220SDoug Rabson */ 7513d903220SDoug Rabson 752921d05b9SRobert Watson if (msqkptr->u.msg_qbytes == 0) { 753fd6d9be4SAlfred Perlstein DPRINTF(("msqid deleted\n")); 754b6a4b4f9SMatthew Dillon error = EIDRM; 755b6a4b4f9SMatthew Dillon goto done2; 7563d903220SDoug Rabson } 7573d903220SDoug Rabson 7583d903220SDoug Rabson } else { 759fd6d9be4SAlfred Perlstein DPRINTF(("got all the resources that we need\n")); 7603d903220SDoug Rabson break; 7613d903220SDoug Rabson } 7623d903220SDoug Rabson } 7633d903220SDoug Rabson 7643d903220SDoug Rabson /* 7653d903220SDoug Rabson * We have the resources that we need. 7663d903220SDoug Rabson * Make sure! 7673d903220SDoug Rabson */ 7683d903220SDoug Rabson 769921d05b9SRobert Watson if (msqkptr->u.msg_perm.mode & MSG_LOCKED) 7703d903220SDoug Rabson panic("msg_perm.mode & MSG_LOCKED"); 7713d903220SDoug Rabson if (segs_needed > nfree_msgmaps) 7723d903220SDoug Rabson panic("segs_needed > nfree_msgmaps"); 773921d05b9SRobert Watson if (msgsz + msqkptr->u.msg_cbytes > msqkptr->u.msg_qbytes) 7743d903220SDoug Rabson panic("msgsz + msg_cbytes > msg_qbytes"); 7753d903220SDoug Rabson if (free_msghdrs == NULL) 7763d903220SDoug Rabson panic("no more msghdrs"); 7773d903220SDoug Rabson 7783d903220SDoug Rabson /* 7793d903220SDoug Rabson * Re-lock the msqid_ds in case we page-fault when copying in the 7803d903220SDoug Rabson * message 7813d903220SDoug Rabson */ 7823d903220SDoug Rabson 783921d05b9SRobert Watson if ((msqkptr->u.msg_perm.mode & MSG_LOCKED) != 0) 7843d903220SDoug Rabson panic("msqid_ds is already locked"); 785921d05b9SRobert Watson msqkptr->u.msg_perm.mode |= MSG_LOCKED; 7863d903220SDoug Rabson 7873d903220SDoug Rabson /* 7883d903220SDoug Rabson * Allocate a message header 7893d903220SDoug Rabson */ 7903d903220SDoug Rabson 7913d903220SDoug Rabson msghdr = free_msghdrs; 7923d903220SDoug Rabson free_msghdrs = msghdr->msg_next; 7933d903220SDoug Rabson msghdr->msg_spot = -1; 7943d903220SDoug Rabson msghdr->msg_ts = msgsz; 7954e4de5e4SJung-uk Kim msghdr->msg_type = mtype; 796e6a543f8SRobert Watson #ifdef MAC 797e6a543f8SRobert Watson /* 79830d239bcSRobert Watson * XXXMAC: Should the mac_sysvmsq_check_msgmsq check follow here 799e6a543f8SRobert Watson * immediately? Or, should it be checked just before the msg is 800e6a543f8SRobert Watson * enqueued in the msgq (as it is done now)? 801e6a543f8SRobert Watson */ 80230d239bcSRobert Watson mac_sysvmsg_create(td->td_ucred, msqkptr, msghdr); 803e6a543f8SRobert Watson #endif 8043d903220SDoug Rabson 8053d903220SDoug Rabson /* 8063d903220SDoug Rabson * Allocate space for the message 8073d903220SDoug Rabson */ 8083d903220SDoug Rabson 8093d903220SDoug Rabson while (segs_needed > 0) { 8103d903220SDoug Rabson if (nfree_msgmaps <= 0) 8113d903220SDoug Rabson panic("not enough msgmaps"); 8123d903220SDoug Rabson if (free_msgmaps == -1) 8133d903220SDoug Rabson panic("nil free_msgmaps"); 8143d903220SDoug Rabson next = free_msgmaps; 8153d903220SDoug Rabson if (next <= -1) 8163d903220SDoug Rabson panic("next too low #1"); 8173d903220SDoug Rabson if (next >= msginfo.msgseg) 8183d903220SDoug Rabson panic("next out of range #1"); 819fd6d9be4SAlfred Perlstein DPRINTF(("allocating segment %d to message\n", next)); 8203d903220SDoug Rabson free_msgmaps = msgmaps[next].next; 8213d903220SDoug Rabson nfree_msgmaps--; 8223d903220SDoug Rabson msgmaps[next].next = msghdr->msg_spot; 8233d903220SDoug Rabson msghdr->msg_spot = next; 8243d903220SDoug Rabson segs_needed--; 8253d903220SDoug Rabson } 8263d903220SDoug Rabson 8273d903220SDoug Rabson /* 8283d903220SDoug Rabson * Validate the message type 8293d903220SDoug Rabson */ 8303d903220SDoug Rabson 8313d903220SDoug Rabson if (msghdr->msg_type < 1) { 8323d903220SDoug Rabson msg_freehdr(msghdr); 833921d05b9SRobert Watson msqkptr->u.msg_perm.mode &= ~MSG_LOCKED; 834921d05b9SRobert Watson wakeup(msqkptr); 8354e4de5e4SJung-uk Kim DPRINTF(("mtype (%ld) < 1\n", msghdr->msg_type)); 836b6a4b4f9SMatthew Dillon error = EINVAL; 837b6a4b4f9SMatthew Dillon goto done2; 8383d903220SDoug Rabson } 8393d903220SDoug Rabson 8403d903220SDoug Rabson /* 8413d903220SDoug Rabson * Copy in the message body 8423d903220SDoug Rabson */ 8433d903220SDoug Rabson 8443d903220SDoug Rabson next = msghdr->msg_spot; 8453d903220SDoug Rabson while (msgsz > 0) { 8463d903220SDoug Rabson size_t tlen; 8473d903220SDoug Rabson if (msgsz > msginfo.msgssz) 8483d903220SDoug Rabson tlen = msginfo.msgssz; 8493d903220SDoug Rabson else 8503d903220SDoug Rabson tlen = msgsz; 8513d903220SDoug Rabson if (next <= -1) 8523d903220SDoug Rabson panic("next too low #2"); 8533d903220SDoug Rabson if (next >= msginfo.msgseg) 8543d903220SDoug Rabson panic("next out of range #2"); 8554b6ef3a1SAlfred Perlstein mtx_unlock(&msq_mtx); 8564e4de5e4SJung-uk Kim if ((error = copyin(msgp, &msgpool[next * msginfo.msgssz], 8573d903220SDoug Rabson tlen)) != 0) { 8584b6ef3a1SAlfred Perlstein mtx_lock(&msq_mtx); 859fd6d9be4SAlfred Perlstein DPRINTF(("error %d copying in message segment\n", 860fd6d9be4SAlfred Perlstein error)); 8613d903220SDoug Rabson msg_freehdr(msghdr); 862921d05b9SRobert Watson msqkptr->u.msg_perm.mode &= ~MSG_LOCKED; 863921d05b9SRobert Watson wakeup(msqkptr); 864b6a4b4f9SMatthew Dillon goto done2; 8653d903220SDoug Rabson } 8664b6ef3a1SAlfred Perlstein mtx_lock(&msq_mtx); 8673d903220SDoug Rabson msgsz -= tlen; 8684e4de5e4SJung-uk Kim msgp = (const char *)msgp + tlen; 8693d903220SDoug Rabson next = msgmaps[next].next; 8703d903220SDoug Rabson } 8713d903220SDoug Rabson if (next != -1) 8723d903220SDoug Rabson panic("didn't use all the msg segments"); 8733d903220SDoug Rabson 8743d903220SDoug Rabson /* 8753d903220SDoug Rabson * We've got the message. Unlock the msqid_ds. 8763d903220SDoug Rabson */ 8773d903220SDoug Rabson 878921d05b9SRobert Watson msqkptr->u.msg_perm.mode &= ~MSG_LOCKED; 8793d903220SDoug Rabson 8803d903220SDoug Rabson /* 8813d903220SDoug Rabson * Make sure that the msqid_ds is still allocated. 8823d903220SDoug Rabson */ 8833d903220SDoug Rabson 884921d05b9SRobert Watson if (msqkptr->u.msg_qbytes == 0) { 8853d903220SDoug Rabson msg_freehdr(msghdr); 886921d05b9SRobert Watson wakeup(msqkptr); 887b6a4b4f9SMatthew Dillon error = EIDRM; 888b6a4b4f9SMatthew Dillon goto done2; 8893d903220SDoug Rabson } 8903d903220SDoug Rabson 891e6a543f8SRobert Watson #ifdef MAC 892e6a543f8SRobert Watson /* 893e6a543f8SRobert Watson * Note: Since the task/thread allocates the msghdr and usually 894e6a543f8SRobert Watson * primes it with its own MAC label, for a majority of policies, it 895e6a543f8SRobert Watson * won't be necessary to check whether the msghdr has access 89630d239bcSRobert Watson * permissions to the msgq. The mac_sysvmsq_check_msqsnd check would 897e6a543f8SRobert Watson * suffice in that case. However, this hook may be required where 898e6a543f8SRobert Watson * individual policies derive a non-identical label for the msghdr 899e6a543f8SRobert Watson * from the current thread label and may want to check the msghdr 900e6a543f8SRobert Watson * enqueue permissions, along with read/write permissions to the 901e6a543f8SRobert Watson * msgq. 902e6a543f8SRobert Watson */ 90330d239bcSRobert Watson error = mac_sysvmsq_check_msgmsq(td->td_ucred, msghdr, msqkptr); 904e6a543f8SRobert Watson if (error != 0) { 905e6a543f8SRobert Watson msg_freehdr(msghdr); 906e6a543f8SRobert Watson wakeup(msqkptr); 907e6a543f8SRobert Watson goto done2; 908e6a543f8SRobert Watson } 909e6a543f8SRobert Watson #endif 910e6a543f8SRobert Watson 9113d903220SDoug Rabson /* 9123d903220SDoug Rabson * Put the message into the queue 9133d903220SDoug Rabson */ 914921d05b9SRobert Watson if (msqkptr->u.msg_first == NULL) { 915921d05b9SRobert Watson msqkptr->u.msg_first = msghdr; 916921d05b9SRobert Watson msqkptr->u.msg_last = msghdr; 9173d903220SDoug Rabson } else { 918921d05b9SRobert Watson msqkptr->u.msg_last->msg_next = msghdr; 919921d05b9SRobert Watson msqkptr->u.msg_last = msghdr; 9203d903220SDoug Rabson } 921921d05b9SRobert Watson msqkptr->u.msg_last->msg_next = NULL; 9223d903220SDoug Rabson 923921d05b9SRobert Watson msqkptr->u.msg_cbytes += msghdr->msg_ts; 924921d05b9SRobert Watson msqkptr->u.msg_qnum++; 925921d05b9SRobert Watson msqkptr->u.msg_lspid = td->td_proc->p_pid; 926921d05b9SRobert Watson msqkptr->u.msg_stime = time_second; 9273d903220SDoug Rabson 928921d05b9SRobert Watson wakeup(msqkptr); 929b40ce416SJulian Elischer td->td_retval[0] = 0; 930b6a4b4f9SMatthew Dillon done2: 9314b6ef3a1SAlfred Perlstein mtx_unlock(&msq_mtx); 932b6a4b4f9SMatthew Dillon return (error); 9333d903220SDoug Rabson } 9343d903220SDoug Rabson 9354e4de5e4SJung-uk Kim int 9364e4de5e4SJung-uk Kim msgsnd(td, uap) 9374e4de5e4SJung-uk Kim struct thread *td; 9384e4de5e4SJung-uk Kim register struct msgsnd_args *uap; 9394e4de5e4SJung-uk Kim { 9404e4de5e4SJung-uk Kim int error; 9414e4de5e4SJung-uk Kim long mtype; 9424e4de5e4SJung-uk Kim 9434e4de5e4SJung-uk Kim DPRINTF(("call to msgsnd(%d, %p, %zu, %d)\n", uap->msqid, uap->msgp, 9444e4de5e4SJung-uk Kim uap->msgsz, uap->msgflg)); 9454e4de5e4SJung-uk Kim 9464e4de5e4SJung-uk Kim if ((error = copyin(uap->msgp, &mtype, sizeof(mtype))) != 0) { 9474e4de5e4SJung-uk Kim DPRINTF(("error %d copying the message type\n", error)); 9484e4de5e4SJung-uk Kim return (error); 9494e4de5e4SJung-uk Kim } 9504e4de5e4SJung-uk Kim return (kern_msgsnd(td, uap->msqid, 9514e4de5e4SJung-uk Kim (const char *)uap->msgp + sizeof(mtype), 9524e4de5e4SJung-uk Kim uap->msgsz, uap->msgflg, mtype)); 9534e4de5e4SJung-uk Kim } 9544e4de5e4SJung-uk Kim 955b5d5c0c9SPeter Wemm #ifndef _SYS_SYSPROTO_H_ 9563d903220SDoug Rabson struct msgrcv_args { 9573d903220SDoug Rabson int msqid; 9583d903220SDoug Rabson void *msgp; 9593d903220SDoug Rabson size_t msgsz; 9603d903220SDoug Rabson long msgtyp; 9613d903220SDoug Rabson int msgflg; 9623d903220SDoug Rabson }; 963b5d5c0c9SPeter Wemm #endif 964b5d5c0c9SPeter Wemm int 9654e4de5e4SJung-uk Kim kern_msgrcv(td, msqid, msgp, msgsz, msgtyp, msgflg, mtype) 966b40ce416SJulian Elischer struct thread *td; 9674e4de5e4SJung-uk Kim int msqid; 9684e4de5e4SJung-uk Kim void *msgp; /* XXX msgp is actually mtext. */ 9694e4de5e4SJung-uk Kim size_t msgsz; 9704e4de5e4SJung-uk Kim long msgtyp; 9714e4de5e4SJung-uk Kim int msgflg; 9724e4de5e4SJung-uk Kim long *mtype; 9733d903220SDoug Rabson { 9743d903220SDoug Rabson size_t len; 975921d05b9SRobert Watson register struct msqid_kernel *msqkptr; 9763d903220SDoug Rabson register struct msg *msghdr; 9774e4de5e4SJung-uk Kim int msqix, error = 0; 9783d903220SDoug Rabson short next; 9793d903220SDoug Rabson 9800304c731SJamie Gritton if (!prison_allow(td->td_ucred, PR_ALLOW_SYSVIPC)) 981c6f55f33SJohn Baldwin return (ENOSYS); 982cb1f0db9SRobert Watson 9834e4de5e4SJung-uk Kim msqix = IPCID_TO_IX(msqid); 9843d903220SDoug Rabson 9854e4de5e4SJung-uk Kim if (msqix < 0 || msqix >= msginfo.msgmni) { 9864e4de5e4SJung-uk Kim DPRINTF(("msqid (%d) out of range (0<=msqid<%d)\n", msqix, 987fd6d9be4SAlfred Perlstein msginfo.msgmni)); 9884b6ef3a1SAlfred Perlstein return (EINVAL); 9893d903220SDoug Rabson } 9903d903220SDoug Rabson 9914e4de5e4SJung-uk Kim msqkptr = &msqids[msqix]; 9924b6ef3a1SAlfred Perlstein mtx_lock(&msq_mtx); 993921d05b9SRobert Watson if (msqkptr->u.msg_qbytes == 0) { 994fd6d9be4SAlfred Perlstein DPRINTF(("no such message queue id\n")); 995b6a4b4f9SMatthew Dillon error = EINVAL; 996b6a4b4f9SMatthew Dillon goto done2; 9973d903220SDoug Rabson } 9984e4de5e4SJung-uk Kim if (msqkptr->u.msg_perm.seq != IPCID_TO_SEQ(msqid)) { 999fd6d9be4SAlfred Perlstein DPRINTF(("wrong sequence number\n")); 1000b6a4b4f9SMatthew Dillon error = EINVAL; 1001b6a4b4f9SMatthew Dillon goto done2; 10023d903220SDoug Rabson } 10033d903220SDoug Rabson 1004921d05b9SRobert Watson if ((error = ipcperm(td, &msqkptr->u.msg_perm, IPC_R))) { 1005fd6d9be4SAlfred Perlstein DPRINTF(("requester doesn't have read access\n")); 1006b6a4b4f9SMatthew Dillon goto done2; 10073d903220SDoug Rabson } 10083d903220SDoug Rabson 1009e6a543f8SRobert Watson #ifdef MAC 101030d239bcSRobert Watson error = mac_sysvmsq_check_msqrcv(td->td_ucred, msqkptr); 1011f50c4fd8SRobert Watson if (error != 0) 1012e6a543f8SRobert Watson goto done2; 1013e6a543f8SRobert Watson #endif 1014e6a543f8SRobert Watson 10153d903220SDoug Rabson msghdr = NULL; 10163d903220SDoug Rabson while (msghdr == NULL) { 10173d903220SDoug Rabson if (msgtyp == 0) { 1018921d05b9SRobert Watson msghdr = msqkptr->u.msg_first; 10193d903220SDoug Rabson if (msghdr != NULL) { 10203d903220SDoug Rabson if (msgsz < msghdr->msg_ts && 10213d903220SDoug Rabson (msgflg & MSG_NOERROR) == 0) { 1022fd6d9be4SAlfred Perlstein DPRINTF(("first message on the queue " 10234e4de5e4SJung-uk Kim "is too big (want %zu, got %d)\n", 1024fd6d9be4SAlfred Perlstein msgsz, msghdr->msg_ts)); 1025b6a4b4f9SMatthew Dillon error = E2BIG; 1026b6a4b4f9SMatthew Dillon goto done2; 10273d903220SDoug Rabson } 1028e6a543f8SRobert Watson #ifdef MAC 102930d239bcSRobert Watson error = mac_sysvmsq_check_msgrcv(td->td_ucred, 1030e6a543f8SRobert Watson msghdr); 1031f50c4fd8SRobert Watson if (error != 0) 1032e6a543f8SRobert Watson goto done2; 1033e6a543f8SRobert Watson #endif 1034921d05b9SRobert Watson if (msqkptr->u.msg_first == msqkptr->u.msg_last) { 1035921d05b9SRobert Watson msqkptr->u.msg_first = NULL; 1036921d05b9SRobert Watson msqkptr->u.msg_last = NULL; 10373d903220SDoug Rabson } else { 1038921d05b9SRobert Watson msqkptr->u.msg_first = msghdr->msg_next; 1039921d05b9SRobert Watson if (msqkptr->u.msg_first == NULL) 10403d903220SDoug Rabson panic("msg_first/last screwed up #1"); 10413d903220SDoug Rabson } 10423d903220SDoug Rabson } 10433d903220SDoug Rabson } else { 10443d903220SDoug Rabson struct msg *previous; 10453d903220SDoug Rabson struct msg **prev; 10463d903220SDoug Rabson 10473d903220SDoug Rabson previous = NULL; 1048921d05b9SRobert Watson prev = &(msqkptr->u.msg_first); 10493d903220SDoug Rabson while ((msghdr = *prev) != NULL) { 10503d903220SDoug Rabson /* 10513d903220SDoug Rabson * Is this message's type an exact match or is 10523d903220SDoug Rabson * this message's type less than or equal to 10533d903220SDoug Rabson * the absolute value of a negative msgtyp? 10543d903220SDoug Rabson * Note that the second half of this test can 10553d903220SDoug Rabson * NEVER be true if msgtyp is positive since 10563d903220SDoug Rabson * msg_type is always positive! 10573d903220SDoug Rabson */ 10583d903220SDoug Rabson 10593d903220SDoug Rabson if (msgtyp == msghdr->msg_type || 10603d903220SDoug Rabson msghdr->msg_type <= -msgtyp) { 10614e4de5e4SJung-uk Kim DPRINTF(("found message type %ld, " 10624e4de5e4SJung-uk Kim "requested %ld\n", 1063fd6d9be4SAlfred Perlstein msghdr->msg_type, msgtyp)); 10643d903220SDoug Rabson if (msgsz < msghdr->msg_ts && 10653d903220SDoug Rabson (msgflg & MSG_NOERROR) == 0) { 1066fd6d9be4SAlfred Perlstein DPRINTF(("requested message " 1067fd6d9be4SAlfred Perlstein "on the queue is too big " 10684e4de5e4SJung-uk Kim "(want %zu, got %hu)\n", 1069fd6d9be4SAlfred Perlstein msgsz, msghdr->msg_ts)); 1070b6a4b4f9SMatthew Dillon error = E2BIG; 1071b6a4b4f9SMatthew Dillon goto done2; 10723d903220SDoug Rabson } 1073e6a543f8SRobert Watson #ifdef MAC 107430d239bcSRobert Watson error = mac_sysvmsq_check_msgrcv( 1075e6a543f8SRobert Watson td->td_ucred, msghdr); 1076f50c4fd8SRobert Watson if (error != 0) 1077e6a543f8SRobert Watson goto done2; 1078e6a543f8SRobert Watson #endif 10793d903220SDoug Rabson *prev = msghdr->msg_next; 1080921d05b9SRobert Watson if (msghdr == msqkptr->u.msg_last) { 10813d903220SDoug Rabson if (previous == NULL) { 10823d903220SDoug Rabson if (prev != 1083921d05b9SRobert Watson &msqkptr->u.msg_first) 10843d903220SDoug Rabson panic("msg_first/last screwed up #2"); 1085921d05b9SRobert Watson msqkptr->u.msg_first = 10863d903220SDoug Rabson NULL; 1087921d05b9SRobert Watson msqkptr->u.msg_last = 10883d903220SDoug Rabson NULL; 10893d903220SDoug Rabson } else { 10903d903220SDoug Rabson if (prev == 1091921d05b9SRobert Watson &msqkptr->u.msg_first) 10923d903220SDoug Rabson panic("msg_first/last screwed up #3"); 1093921d05b9SRobert Watson msqkptr->u.msg_last = 10943d903220SDoug Rabson previous; 10953d903220SDoug Rabson } 10963d903220SDoug Rabson } 10973d903220SDoug Rabson break; 10983d903220SDoug Rabson } 10993d903220SDoug Rabson previous = msghdr; 11003d903220SDoug Rabson prev = &(msghdr->msg_next); 11013d903220SDoug Rabson } 11023d903220SDoug Rabson } 11033d903220SDoug Rabson 11043d903220SDoug Rabson /* 11053d903220SDoug Rabson * We've either extracted the msghdr for the appropriate 11063d903220SDoug Rabson * message or there isn't one. 11073d903220SDoug Rabson * If there is one then bail out of this loop. 11083d903220SDoug Rabson */ 11093d903220SDoug Rabson 11103d903220SDoug Rabson if (msghdr != NULL) 11113d903220SDoug Rabson break; 11123d903220SDoug Rabson 11133d903220SDoug Rabson /* 11143d903220SDoug Rabson * Hmph! No message found. Does the user want to wait? 11153d903220SDoug Rabson */ 11163d903220SDoug Rabson 11173d903220SDoug Rabson if ((msgflg & IPC_NOWAIT) != 0) { 11184e4de5e4SJung-uk Kim DPRINTF(("no appropriate message found (msgtyp=%ld)\n", 1119fd6d9be4SAlfred Perlstein msgtyp)); 11203d903220SDoug Rabson /* The SVID says to return ENOMSG. */ 1121b6a4b4f9SMatthew Dillon error = ENOMSG; 1122b6a4b4f9SMatthew Dillon goto done2; 11233d903220SDoug Rabson } 11243d903220SDoug Rabson 11253d903220SDoug Rabson /* 11263d903220SDoug Rabson * Wait for something to happen 11273d903220SDoug Rabson */ 11283d903220SDoug Rabson 1129fd6d9be4SAlfred Perlstein DPRINTF(("msgrcv: goodnight\n")); 1130921d05b9SRobert Watson error = msleep(msqkptr, &msq_mtx, (PZERO - 4) | PCATCH, 1131e2229143SJung-uk Kim "msgrcv", 0); 1132fd6d9be4SAlfred Perlstein DPRINTF(("msgrcv: good morning (error=%d)\n", error)); 11333d903220SDoug Rabson 1134b6a4b4f9SMatthew Dillon if (error != 0) { 1135e2229143SJung-uk Kim DPRINTF(("msgrcv: interrupted system call\n")); 1136b6a4b4f9SMatthew Dillon error = EINTR; 1137b6a4b4f9SMatthew Dillon goto done2; 11383d903220SDoug Rabson } 11393d903220SDoug Rabson 11403d903220SDoug Rabson /* 11413d903220SDoug Rabson * Make sure that the msq queue still exists 11423d903220SDoug Rabson */ 11433d903220SDoug Rabson 1144921d05b9SRobert Watson if (msqkptr->u.msg_qbytes == 0 || 11454e4de5e4SJung-uk Kim msqkptr->u.msg_perm.seq != IPCID_TO_SEQ(msqid)) { 1146fd6d9be4SAlfred Perlstein DPRINTF(("msqid deleted\n")); 1147b6a4b4f9SMatthew Dillon error = EIDRM; 1148b6a4b4f9SMatthew Dillon goto done2; 11493d903220SDoug Rabson } 11503d903220SDoug Rabson } 11513d903220SDoug Rabson 11523d903220SDoug Rabson /* 11533d903220SDoug Rabson * Return the message to the user. 11543d903220SDoug Rabson * 11553d903220SDoug Rabson * First, do the bookkeeping (before we risk being interrupted). 11563d903220SDoug Rabson */ 11573d903220SDoug Rabson 1158921d05b9SRobert Watson msqkptr->u.msg_cbytes -= msghdr->msg_ts; 1159921d05b9SRobert Watson msqkptr->u.msg_qnum--; 1160921d05b9SRobert Watson msqkptr->u.msg_lrpid = td->td_proc->p_pid; 1161921d05b9SRobert Watson msqkptr->u.msg_rtime = time_second; 11623d903220SDoug Rabson 11633d903220SDoug Rabson /* 11643d903220SDoug Rabson * Make msgsz the actual amount that we'll be returning. 11653d903220SDoug Rabson * Note that this effectively truncates the message if it is too long 11663d903220SDoug Rabson * (since msgsz is never increased). 11673d903220SDoug Rabson */ 11683d903220SDoug Rabson 11694e4de5e4SJung-uk Kim DPRINTF(("found a message, msgsz=%zu, msg_ts=%hu\n", msgsz, 1170fd6d9be4SAlfred Perlstein msghdr->msg_ts)); 11713d903220SDoug Rabson if (msgsz > msghdr->msg_ts) 11723d903220SDoug Rabson msgsz = msghdr->msg_ts; 11734e4de5e4SJung-uk Kim *mtype = msghdr->msg_type; 11743d903220SDoug Rabson 11753d903220SDoug Rabson /* 11763d903220SDoug Rabson * Return the segments to the user 11773d903220SDoug Rabson */ 11783d903220SDoug Rabson 11793d903220SDoug Rabson next = msghdr->msg_spot; 11803d903220SDoug Rabson for (len = 0; len < msgsz; len += msginfo.msgssz) { 11813d903220SDoug Rabson size_t tlen; 11823d903220SDoug Rabson 1183565592bdSSADA Kenji if (msgsz - len > msginfo.msgssz) 11843d903220SDoug Rabson tlen = msginfo.msgssz; 11853d903220SDoug Rabson else 1186565592bdSSADA Kenji tlen = msgsz - len; 11873d903220SDoug Rabson if (next <= -1) 11883d903220SDoug Rabson panic("next too low #3"); 11893d903220SDoug Rabson if (next >= msginfo.msgseg) 11903d903220SDoug Rabson panic("next out of range #3"); 11914b6ef3a1SAlfred Perlstein mtx_unlock(&msq_mtx); 11924e4de5e4SJung-uk Kim error = copyout(&msgpool[next * msginfo.msgssz], msgp, tlen); 11934b6ef3a1SAlfred Perlstein mtx_lock(&msq_mtx); 1194b6a4b4f9SMatthew Dillon if (error != 0) { 1195fd6d9be4SAlfred Perlstein DPRINTF(("error (%d) copying out message segment\n", 1196fd6d9be4SAlfred Perlstein error)); 11973d903220SDoug Rabson msg_freehdr(msghdr); 1198921d05b9SRobert Watson wakeup(msqkptr); 1199b6a4b4f9SMatthew Dillon goto done2; 12003d903220SDoug Rabson } 12014e4de5e4SJung-uk Kim msgp = (char *)msgp + tlen; 12023d903220SDoug Rabson next = msgmaps[next].next; 12033d903220SDoug Rabson } 12043d903220SDoug Rabson 12053d903220SDoug Rabson /* 12063d903220SDoug Rabson * Done, return the actual number of bytes copied out. 12073d903220SDoug Rabson */ 12083d903220SDoug Rabson 12093d903220SDoug Rabson msg_freehdr(msghdr); 1210921d05b9SRobert Watson wakeup(msqkptr); 1211b40ce416SJulian Elischer td->td_retval[0] = msgsz; 1212b6a4b4f9SMatthew Dillon done2: 12134b6ef3a1SAlfred Perlstein mtx_unlock(&msq_mtx); 1214b6a4b4f9SMatthew Dillon return (error); 12153d903220SDoug Rabson } 1216a723c4e1SDima Dorfman 12174e4de5e4SJung-uk Kim int 12184e4de5e4SJung-uk Kim msgrcv(td, uap) 12194e4de5e4SJung-uk Kim struct thread *td; 12204e4de5e4SJung-uk Kim register struct msgrcv_args *uap; 12214e4de5e4SJung-uk Kim { 12224e4de5e4SJung-uk Kim int error; 12234e4de5e4SJung-uk Kim long mtype; 12244e4de5e4SJung-uk Kim 12254e4de5e4SJung-uk Kim DPRINTF(("call to msgrcv(%d, %p, %zu, %ld, %d)\n", uap->msqid, 12264e4de5e4SJung-uk Kim uap->msgp, uap->msgsz, uap->msgtyp, uap->msgflg)); 12274e4de5e4SJung-uk Kim 12284e4de5e4SJung-uk Kim if ((error = kern_msgrcv(td, uap->msqid, 12294e4de5e4SJung-uk Kim (char *)uap->msgp + sizeof(mtype), uap->msgsz, 12304e4de5e4SJung-uk Kim uap->msgtyp, uap->msgflg, &mtype)) != 0) 12314e4de5e4SJung-uk Kim return (error); 12324e4de5e4SJung-uk Kim if ((error = copyout(&mtype, uap->msgp, sizeof(mtype))) != 0) 12334e4de5e4SJung-uk Kim DPRINTF(("error %d copying the message type\n", error)); 12344e4de5e4SJung-uk Kim return (error); 12354e4de5e4SJung-uk Kim } 12364e4de5e4SJung-uk Kim 1237a723c4e1SDima Dorfman static int 1238a723c4e1SDima Dorfman sysctl_msqids(SYSCTL_HANDLER_ARGS) 1239a723c4e1SDima Dorfman { 1240a723c4e1SDima Dorfman 1241a723c4e1SDima Dorfman return (SYSCTL_OUT(req, msqids, 1242921d05b9SRobert Watson sizeof(struct msqid_kernel) * msginfo.msgmni)); 1243a723c4e1SDima Dorfman } 1244a723c4e1SDima Dorfman 124584f85aedSChristian S.J. Peron SYSCTL_INT(_kern_ipc, OID_AUTO, msgmax, CTLFLAG_RD, &msginfo.msgmax, 0, 124684f85aedSChristian S.J. Peron "Maximum message size"); 124784f85aedSChristian S.J. Peron SYSCTL_INT(_kern_ipc, OID_AUTO, msgmni, CTLFLAG_RDTUN, &msginfo.msgmni, 0, 124884f85aedSChristian S.J. Peron "Number of message queue identifiers"); 124984f85aedSChristian S.J. Peron SYSCTL_INT(_kern_ipc, OID_AUTO, msgmnb, CTLFLAG_RDTUN, &msginfo.msgmnb, 0, 125084f85aedSChristian S.J. Peron "Maximum number of bytes in a queue"); 125184f85aedSChristian S.J. Peron SYSCTL_INT(_kern_ipc, OID_AUTO, msgtql, CTLFLAG_RDTUN, &msginfo.msgtql, 0, 125284f85aedSChristian S.J. Peron "Maximum number of messages in the system"); 125384f85aedSChristian S.J. Peron SYSCTL_INT(_kern_ipc, OID_AUTO, msgssz, CTLFLAG_RDTUN, &msginfo.msgssz, 0, 125484f85aedSChristian S.J. Peron "Size of a message segment"); 125584f85aedSChristian S.J. Peron SYSCTL_INT(_kern_ipc, OID_AUTO, msgseg, CTLFLAG_RDTUN, &msginfo.msgseg, 0, 125684f85aedSChristian S.J. Peron "Number of message segments"); 1257a723c4e1SDima Dorfman SYSCTL_PROC(_kern_ipc, OID_AUTO, msqids, CTLFLAG_RD, 1258a723c4e1SDima Dorfman NULL, 0, sysctl_msqids, "", "Message queue IDs"); 125945f48220SJohn Baldwin 126045f48220SJohn Baldwin #if defined(COMPAT_FREEBSD4) || defined(COMPAT_FREEBSD5) || \ 126145f48220SJohn Baldwin defined(COMPAT_FREEBSD6) || defined(COMPAT_FREEBSD7) 126245f48220SJohn Baldwin SYSCALL_MODULE_HELPER(msgsys); 1263b648d480SJohn Baldwin SYSCALL_MODULE_HELPER(freebsd7_msgctl); 126445f48220SJohn Baldwin 126545f48220SJohn Baldwin /* XXX casting to (sy_call_t *) is bogus, as usual. */ 126645f48220SJohn Baldwin static sy_call_t *msgcalls[] = { 1267b648d480SJohn Baldwin (sy_call_t *)freebsd7_msgctl, (sy_call_t *)msgget, 126845f48220SJohn Baldwin (sy_call_t *)msgsnd, (sy_call_t *)msgrcv 126945f48220SJohn Baldwin }; 127045f48220SJohn Baldwin 127145f48220SJohn Baldwin /* 127245f48220SJohn Baldwin * Entry point for all MSG calls. 127345f48220SJohn Baldwin */ 127445f48220SJohn Baldwin int 127545f48220SJohn Baldwin msgsys(td, uap) 127645f48220SJohn Baldwin struct thread *td; 127745f48220SJohn Baldwin /* XXX actually varargs. */ 127845f48220SJohn Baldwin struct msgsys_args /* { 127945f48220SJohn Baldwin int which; 128045f48220SJohn Baldwin int a2; 128145f48220SJohn Baldwin int a3; 128245f48220SJohn Baldwin int a4; 128345f48220SJohn Baldwin int a5; 128445f48220SJohn Baldwin int a6; 128545f48220SJohn Baldwin } */ *uap; 128645f48220SJohn Baldwin { 128745f48220SJohn Baldwin int error; 128845f48220SJohn Baldwin 128945f48220SJohn Baldwin if (!prison_allow(td->td_ucred, PR_ALLOW_SYSVIPC)) 129045f48220SJohn Baldwin return (ENOSYS); 129145f48220SJohn Baldwin if (uap->which < 0 || 129245f48220SJohn Baldwin uap->which >= sizeof(msgcalls)/sizeof(msgcalls[0])) 129345f48220SJohn Baldwin return (EINVAL); 129445f48220SJohn Baldwin error = (*msgcalls[uap->which])(td, &uap->a2); 129545f48220SJohn Baldwin return (error); 129645f48220SJohn Baldwin } 1297b648d480SJohn Baldwin 1298b648d480SJohn Baldwin #define CP(src, dst, fld) do { (dst).fld = (src).fld; } while (0) 1299b648d480SJohn Baldwin 1300b648d480SJohn Baldwin #ifndef _SYS_SYSPROTO_H_ 1301b648d480SJohn Baldwin struct freebsd7_msgctl_args { 1302b648d480SJohn Baldwin int msqid; 1303b648d480SJohn Baldwin int cmd; 1304b648d480SJohn Baldwin struct msqid_ds_old *buf; 1305b648d480SJohn Baldwin }; 1306b648d480SJohn Baldwin #endif 1307b648d480SJohn Baldwin int 1308b648d480SJohn Baldwin freebsd7_msgctl(td, uap) 1309b648d480SJohn Baldwin struct thread *td; 1310b648d480SJohn Baldwin struct freebsd7_msgctl_args *uap; 1311b648d480SJohn Baldwin { 1312b648d480SJohn Baldwin struct msqid_ds_old msqold; 1313b648d480SJohn Baldwin struct msqid_ds msqbuf; 1314b648d480SJohn Baldwin int error; 1315b648d480SJohn Baldwin 1316b648d480SJohn Baldwin DPRINTF(("call to freebsd7_msgctl(%d, %d, %p)\n", uap->msqid, uap->cmd, 1317b648d480SJohn Baldwin uap->buf)); 1318b648d480SJohn Baldwin if (uap->cmd == IPC_SET) { 1319b648d480SJohn Baldwin error = copyin(uap->buf, &msqold, sizeof(msqold)); 1320b648d480SJohn Baldwin if (error) 1321b648d480SJohn Baldwin return (error); 1322b648d480SJohn Baldwin ipcperm_old2new(&msqold.msg_perm, &msqbuf.msg_perm); 1323b648d480SJohn Baldwin CP(msqold, msqbuf, msg_first); 1324b648d480SJohn Baldwin CP(msqold, msqbuf, msg_last); 1325b648d480SJohn Baldwin CP(msqold, msqbuf, msg_cbytes); 1326b648d480SJohn Baldwin CP(msqold, msqbuf, msg_qnum); 1327b648d480SJohn Baldwin CP(msqold, msqbuf, msg_qbytes); 1328b648d480SJohn Baldwin CP(msqold, msqbuf, msg_lspid); 1329b648d480SJohn Baldwin CP(msqold, msqbuf, msg_lrpid); 1330b648d480SJohn Baldwin CP(msqold, msqbuf, msg_stime); 1331b648d480SJohn Baldwin CP(msqold, msqbuf, msg_rtime); 1332b648d480SJohn Baldwin CP(msqold, msqbuf, msg_ctime); 1333b648d480SJohn Baldwin } 1334b648d480SJohn Baldwin error = kern_msgctl(td, uap->msqid, uap->cmd, &msqbuf); 1335b648d480SJohn Baldwin if (error) 1336b648d480SJohn Baldwin return (error); 1337b648d480SJohn Baldwin if (uap->cmd == IPC_STAT) { 1338b648d480SJohn Baldwin bzero(&msqold, sizeof(msqold)); 1339b648d480SJohn Baldwin ipcperm_new2old(&msqbuf.msg_perm, &msqold.msg_perm); 1340b648d480SJohn Baldwin CP(msqbuf, msqold, msg_first); 1341b648d480SJohn Baldwin CP(msqbuf, msqold, msg_last); 1342b648d480SJohn Baldwin CP(msqbuf, msqold, msg_cbytes); 1343b648d480SJohn Baldwin CP(msqbuf, msqold, msg_qnum); 1344b648d480SJohn Baldwin CP(msqbuf, msqold, msg_qbytes); 1345b648d480SJohn Baldwin CP(msqbuf, msqold, msg_lspid); 1346b648d480SJohn Baldwin CP(msqbuf, msqold, msg_lrpid); 1347b648d480SJohn Baldwin CP(msqbuf, msqold, msg_stime); 1348b648d480SJohn Baldwin CP(msqbuf, msqold, msg_rtime); 1349b648d480SJohn Baldwin CP(msqbuf, msqold, msg_ctime); 1350b648d480SJohn Baldwin error = copyout(&msqold, uap->buf, sizeof(struct msqid_ds_old)); 1351b648d480SJohn Baldwin } 1352b648d480SJohn Baldwin return (error); 1353b648d480SJohn Baldwin } 1354b648d480SJohn Baldwin 1355b648d480SJohn Baldwin #undef CP 1356b648d480SJohn Baldwin 135745f48220SJohn Baldwin #endif /* COMPAT_FREEBSD4 || COMPAT_FREEBSD5 || COMPAT_FREEBSD6 || 135845f48220SJohn Baldwin COMPAT_FREEBSD7 */ 1359