xref: /freebsd/sys/kern/sysv_msg.c (revision b648d4806b3ec5be814332e96d565cb0be71d50d)
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