Home | History | Annotate | Line # | Download | only in kern
sysv_msg.c revision 1.5
      1 /*
      2  * Implementation of SVID messages
      3  *
      4  * Author:  Daniel Boulet
      5  *
      6  * Copyright 1993 Daniel Boulet and RTMX Inc.
      7  *
      8  * This system call was implemented by Daniel Boulet under contract from RTMX.
      9  *
     10  * Redistribution and use in source forms, with and without modification,
     11  * are permitted provided that this entire comment appears intact.
     12  *
     13  * Redistribution in binary form may occur without any restrictions.
     14  * Obviously, it would be nice if you gave credit where credit is due
     15  * but requiring it would be too onerous.
     16  *
     17  * This software is provided ``AS IS'' without any warranties of any kind.
     18  *
     19  *	$Id: sysv_msg.c,v 1.5 1994/02/15 13:35:53 mycroft Exp $
     20  */
     21 
     22 #include <sys/param.h>
     23 #include <sys/systm.h>
     24 #include <sys/kernel.h>
     25 #include <sys/proc.h>
     26 #include <sys/msg.h>
     27 #include <sys/malloc.h>
     28 
     29 #define MSG_DEBUG
     30 #undef MSG_DEBUG_OK
     31 
     32 static int	msgctl(), msgget(), msgsnd(), msgrcv();
     33 
     34 int	(*msgcalls[])() = { msgctl, msgget, msgsnd, msgrcv };
     35 
     36 int nfree_msgmaps;		/* # of free map entries */
     37 short free_msgmaps;		/* head of linked list of free map entries */
     38 struct msg *free_msghdrs;	/* list of free msg headers */
     39 
     40 int
     41 msginit()
     42 {
     43 	register int i;
     44 	vm_offset_t whocares1, whocares2;
     45 
     46 	/*
     47 	 * msginfo.msgssz should be a power of two for efficiency reasons.
     48 	 * It is also pretty silly if msginfo.msgssz is less than 8
     49 	 * or greater than about 256 so ...
     50 	 */
     51 
     52 	i = 8;
     53 	while (i < 1024 && i != msginfo.msgssz)
     54 		i <<= 1;
     55     	if (i != msginfo.msgssz) {
     56 		printf("msginfo.msgssz=%d (0x%x)\n", msginfo.msgssz,
     57 		    msginfo.msgssz);
     58 		panic("msginfo.msgssz not a small power of 2");
     59 	}
     60 
     61 	if (msginfo.msgseg > 32767) {
     62 		printf("msginfo.msgseg=%d\n", msginfo.msgseg);
     63 		panic("msginfo.msgseg > 32767");
     64 	}
     65 
     66 	if (msgmaps == NULL)
     67 		panic("msgmaps is NULL");
     68 
     69 	for (i = 0; i < msginfo.msgseg; i++) {
     70 		if (i > 0)
     71 			msgmaps[i-1].next = i;
     72 		msgmaps[i].next = -1;	/* implies entry is available */
     73 	}
     74 	free_msgmaps = 0;
     75 	nfree_msgmaps = msginfo.msgseg;
     76 
     77 	if (msghdrs == NULL)
     78 		panic("msghdrs is NULL");
     79 
     80 	for (i = 0; i < msginfo.msgtql; i++) {
     81 		msghdrs[i].msg_type = 0;
     82 		if (i > 0)
     83 			msghdrs[i-1].msg_next = &msghdrs[i];
     84 		msghdrs[i].msg_next = NULL;
     85     	}
     86 	free_msghdrs = &msghdrs[0];
     87 
     88 	if (msqids == NULL)
     89 		panic("msqids is NULL");
     90 
     91 	for (i = 0; i < msginfo.msgmni; i++) {
     92 		msqids[i].msg_qbytes = 0;	/* implies entry is available */
     93 		msqids[i].msg_perm.seq = 0;	/* reset to a known value */
     94 	}
     95 }
     96 
     97 /*
     98  * Entry point for all MSG calls
     99  */
    100 
    101 struct msgsys_args {
    102 	u_int	which;
    103 };
    104 
    105 int
    106 msgsys(p, uap, retval)
    107 	struct caller *p;
    108 	struct msgsys_args *uap;
    109 	int *retval;
    110 {
    111 
    112 	if (uap->which >= sizeof(msgcalls)/sizeof(msgcalls[0]))
    113 		return (EINVAL);
    114 	return ((*msgcalls[uap->which])(p, &uap[1], retval));
    115 }
    116 
    117 static void
    118 msg_freehdr(msghdr)
    119 	struct msg *msghdr;
    120 {
    121 	while (msghdr->msg_ts > 0) {
    122 		short next;
    123 		if (msghdr->msg_spot < 0 || msghdr->msg_spot >= msginfo.msgseg)
    124 			panic("msghdr->msg_spot out of range");
    125 		next = msgmaps[msghdr->msg_spot].next;
    126 		msgmaps[msghdr->msg_spot].next = free_msgmaps;
    127 		free_msgmaps = msghdr->msg_spot;
    128 		nfree_msgmaps++;
    129 		msghdr->msg_spot = next;
    130 		if (msghdr->msg_ts >= msginfo.msgssz)
    131 			msghdr->msg_ts -= msginfo.msgssz;
    132 		else
    133 			msghdr->msg_ts = 0;
    134 	}
    135 	if (msghdr->msg_spot != -1)
    136 		panic("msghdr->msg_spot != -1");
    137 	msghdr->msg_next = free_msghdrs;
    138 	free_msghdrs = msghdr;
    139 }
    140 
    141 struct msgctl_args {
    142 	int	msqid;
    143 	int	cmd;
    144 	struct	msqid_ds *user_msqptr;
    145 };
    146 
    147 int
    148 msgctl(p, uap, retval)
    149 	struct proc *p;
    150 	register struct msgctl_args *uap;
    151 	int *retval;
    152 {
    153 	int msqid = uap->msqid;
    154 	int cmd = uap->cmd;
    155 	struct msqid_ds *user_msqptr = uap->user_msqptr;
    156 	struct ucred *cred = p->p_ucred;
    157 	int i, rval, eval;
    158 	struct msqid_ds msqbuf;
    159 	register struct msqid_ds *msqptr;
    160 
    161 #ifdef MSG_DEBUG_OK
    162 	printf("call to msgctl(%d, %d, 0x%x)\n", msqid, cmd, user_msqptr);
    163 #endif
    164 
    165 	msqid = IPCID_TO_IX(msqid);
    166 
    167 	if (msqid < 0 || msqid >= msginfo.msgmni) {
    168 #ifdef MSG_DEBUG_OK
    169 		printf("msqid (%d) out of range (0<=msqid<%d)\n", msqid,
    170 		    msginfo.msgmni);
    171 #endif
    172 		return(EINVAL);
    173 	}
    174 
    175 	msqptr = &msqids[msqid];
    176 
    177 	if (msqptr->msg_qbytes == 0) {
    178 #ifdef MSG_DEBUG_OK
    179 		printf("no such msqid\n");
    180 #endif
    181 		return(EINVAL);
    182 	}
    183 	if (msqptr->msg_perm.seq != IPCID_TO_SEQ(uap->msqid)) {
    184 #ifdef MSG_DEBUG_OK
    185 		printf("wrong sequence number\n");
    186 #endif
    187 		return(EINVAL);
    188 	}
    189 
    190 	eval = 0;
    191 	rval = 0;
    192 
    193 	switch (cmd) {
    194 
    195 	case IPC_RMID:
    196 	{
    197 		struct msg *msghdr;
    198 
    199 		if (cred->cr_uid != 0 &&
    200 		    msqptr->msg_perm.cuid != cred->cr_uid &&
    201 		    msqptr->msg_perm.uid != cred->cr_uid)
    202 			return(EPERM);
    203 
    204 		/* Free the message headers */
    205 		msghdr = msqptr->msg_first;
    206 		while (msghdr != NULL) {
    207 			struct msg *msghdr_tmp;
    208 
    209 			/* Free the segments of each message */
    210 			msqptr->msg_cbytes -= msghdr->msg_ts;
    211 			msqptr->msg_qnum--;
    212 			msghdr_tmp = msghdr;
    213 			msghdr = msghdr->msg_next;
    214 			msg_freehdr(msghdr_tmp);
    215 		}
    216 
    217 		if (msqptr->msg_cbytes != 0)
    218 			panic("msg_cbytes is screwed up");
    219 		if (msqptr->msg_qnum != 0)
    220 			panic("msg_qnum is screwed up");
    221 
    222 		msqptr->msg_qbytes = 0;	/* Mark it as free */
    223 
    224 		wakeup((caddr_t)msqptr);
    225 	}
    226 
    227 		break;
    228 
    229 	case IPC_SET:
    230 		if (cred->cr_uid != 0 &&
    231 		    msqptr->msg_perm.cuid != cred->cr_uid &&
    232 		    msqptr->msg_perm.uid != cred->cr_uid)
    233 			return(EPERM);
    234 		if ((eval = copyin(user_msqptr, &msqbuf, sizeof(msqbuf))) != 0)
    235 			return(eval);
    236 		if (msqbuf.msg_qbytes > msqptr->msg_qbytes && cred->cr_uid != 0)
    237 			return(EPERM);
    238 		if (msqbuf.msg_qbytes > msginfo.msgmnb) {
    239 #ifdef MSG_DEBUG_OK
    240 			printf("can't increase msg_qbytes beyond %d (truncating)\n",
    241 			    msginfo.msgmnb);
    242 #endif
    243 			msqbuf.msg_qbytes = msginfo.msgmnb;	/* silently restrict qbytes to system limit */
    244 		}
    245 		if (msqbuf.msg_qbytes == 0) {
    246 #ifdef MSG_DEBUG_OK
    247 			printf("can't reduce msg_qbytes to 0\n");
    248 #endif
    249 			return(EINVAL);		/* non-standard errno! */
    250 		}
    251 		msqptr->msg_perm.uid = msqbuf.msg_perm.uid;	/* change the owner */
    252 		msqptr->msg_perm.gid = msqbuf.msg_perm.gid;	/* change the owner */
    253 		msqptr->msg_perm.mode = (msqptr->msg_perm.mode & ~0777) |
    254 		    (msqbuf.msg_perm.mode & 0777);
    255 		msqptr->msg_qbytes = msqbuf.msg_qbytes;
    256 		msqptr->msg_ctime = time.tv_sec;
    257 		break;
    258 
    259 	case IPC_STAT:
    260 		if ((eval = ipcaccess(&msqptr->msg_perm, IPC_R, cred))) {
    261 #ifdef MSG_DEBUG_OK
    262 			printf("requester doesn't have read access\n");
    263 #endif
    264 			return(eval);
    265 		}
    266 		eval = copyout((caddr_t)msqptr, user_msqptr,
    267 		    sizeof(struct msqid_ds));
    268 		break;
    269 
    270 	default:
    271 #ifdef MSG_DEBUG_OK
    272 		printf("invalid command %d\n", cmd);
    273 #endif
    274 		return(EINVAL);
    275 	}
    276 
    277 	if (eval == 0)
    278 		*retval = rval;
    279 	return(eval);
    280 }
    281 
    282 struct msgget_args {
    283 	key_t	key;
    284 	int	msgflg;
    285 };
    286 
    287 int
    288 msgget(p, uap, retval)
    289 	struct proc *p;
    290 	register struct msgget_args *uap;
    291 	int *retval;
    292 {
    293 	int msqid, eval;
    294 	int key = uap->key;
    295 	int msgflg = uap->msgflg;
    296 	struct ucred *cred = p->p_ucred;
    297 	register struct msqid_ds *msqptr;
    298 
    299 #ifdef MSG_DEBUG_OK
    300 	printf("msgget(0x%x, 0%o)\n", key, msgflg);
    301 #endif
    302 
    303 	if (key != IPC_PRIVATE) {
    304 		for (msqid = 0; msqid < msginfo.msgmni; msqid++) {
    305 			msqptr = &msqids[msqid];
    306 			if (msqptr->msg_qbytes != 0 &&
    307 			    msqptr->msg_perm.key == key)
    308 				break;
    309 		}
    310 		if (msqid < msginfo.msgmni) {
    311 #ifdef MSG_DEBUG_OK
    312 			printf("found public key\n");
    313 #endif
    314 			if ((msgflg & IPC_CREAT) && (msgflg & IPC_EXCL)) {
    315 #ifdef MSG_DEBUG_OK
    316 				printf("not exclusive\n");
    317 #endif
    318 				return(EEXIST);
    319 			}
    320 			if ((eval = ipcaccess(&msqptr->msg_perm, msgflg & 0700,
    321 			    cred))) {
    322 #ifdef MSG_DEBUG_OK
    323 				printf("requester doesn't have 0%o access\n",
    324 				    msgflg & 0700);
    325 #endif
    326 				return(eval);
    327 			}
    328 			goto found;
    329 		}
    330 	}
    331 
    332 #ifdef MSG_DEBUG_OK
    333 	printf("need to allocate the msqid_ds\n");
    334 #endif
    335 	if (key == IPC_PRIVATE || (msgflg & IPC_CREAT)) {
    336 		for (msqid = 0; msqid < msginfo.msgmni; msqid++) {
    337 			/*
    338 			 * Look for an unallocated and unlocked msqid_ds.
    339 			 * msqid_ds's can be locked by msgsnd or msgrcv while
    340 			 * they are copying the message in/out.  We can't
    341 			 * re-use the entry until they release it.
    342 			 */
    343 			msqptr = &msqids[msqid];
    344 			if (msqptr->msg_qbytes == 0 &&
    345 			    (msqptr->msg_perm.mode & MSG_LOCKED) == 0)
    346 				break;
    347 		}
    348 		if (msqid == msginfo.msgmni) {
    349 #ifdef MSG_DEBUG_OK
    350 			printf("no more msqid_ds's available\n");
    351 #endif
    352 			return(ENOSPC);
    353 		}
    354 #ifdef MSG_DEBUG_OK
    355 		printf("msqid %d is available\n", msqid);
    356 #endif
    357 		msqptr->msg_perm.key = key;
    358 		msqptr->msg_perm.cuid = cred->cr_uid;
    359 		msqptr->msg_perm.uid = cred->cr_uid;
    360 		msqptr->msg_perm.cgid = cred->cr_gid;
    361 		msqptr->msg_perm.gid = cred->cr_gid;
    362 		msqptr->msg_perm.mode = (msgflg & 0777);
    363 		/* Make sure that the returned msqid is unique */
    364 		msqptr->msg_perm.seq++;
    365 		msqptr->msg_first = NULL;
    366 		msqptr->msg_last = NULL;
    367 		msqptr->msg_cbytes = 0;
    368 		msqptr->msg_qnum = 0;
    369 		msqptr->msg_qbytes = msginfo.msgmnb;
    370 		msqptr->msg_lspid = 0;
    371 		msqptr->msg_lrpid = 0;
    372 		msqptr->msg_stime = 0;
    373 		msqptr->msg_rtime = 0;
    374 		msqptr->msg_ctime = time.tv_sec;
    375 	} else {
    376 #ifdef MSG_DEBUG_OK
    377 		printf("didn't find it and wasn't asked to create it\n");
    378 #endif
    379 		return(ENOENT);
    380 	}
    381 
    382 found:
    383 	/* Construct the unique msqid */
    384 	*retval = IXSEQ_TO_IPCID(msqid, msqptr->msg_perm);
    385 	return(0);
    386 }
    387 
    388 struct msgsnd_args {
    389 	int	msqid;
    390 	void	*user_msgp;
    391 	size_t	msgsz;
    392 	int	msgflg;
    393 };
    394 
    395 int
    396 msgsnd(p, uap, retval)
    397 	struct proc *p;
    398 	register struct msgsnd_args *uap;
    399 	int *retval;
    400 {
    401 	int msqid = uap->msqid;
    402 	void *user_msgp = uap->user_msgp;
    403 	size_t msgsz = uap->msgsz;
    404 	int msgflg = uap->msgflg;
    405 	int segs_needed, eval;
    406 	struct ucred *cred = p->p_ucred;
    407 	register struct msqid_ds *msqptr;
    408 	register struct msg *msghdr;
    409 	short next;
    410 
    411 #ifdef MSG_DEBUG_OK
    412 	printf("call to msgsnd(%d, 0x%x, %d, %d)\n", msqid, user_msgp, msgsz,
    413 	    msgflg);
    414 #endif
    415 
    416 	msqid = IPCID_TO_IX(msqid);
    417 
    418 	if (msqid < 0 || msqid >= msginfo.msgmni) {
    419 #ifdef MSG_DEBUG_OK
    420 		printf("msqid (%d) out of range (0<=msqid<%d)\n", msqid,
    421 		    msginfo.msgmni);
    422 #endif
    423 		return(EINVAL);
    424 	}
    425 
    426 	msqptr = &msqids[msqid];
    427 	if (msqptr->msg_qbytes == 0) {
    428 #ifdef MSG_DEBUG_OK
    429 		printf("no such message queue id\n");
    430 #endif
    431 		return(EINVAL);
    432 	}
    433 	if (msqptr->msg_perm.seq != IPCID_TO_SEQ(uap->msqid)) {
    434 #ifdef MSG_DEBUG_OK
    435 		printf("wrong sequence number\n");
    436 #endif
    437 		return(EINVAL);
    438 	}
    439 
    440 	if ((eval = ipcaccess(&msqptr->msg_perm, IPC_W, cred))) {
    441 #ifdef MSG_DEBUG_OK
    442 		printf("requester doesn't have write access\n");
    443 #endif
    444 		return(eval);
    445 	}
    446 
    447 	segs_needed = (msgsz + msginfo.msgssz - 1) / msginfo.msgssz;
    448 #ifdef MSG_DEBUG_OK
    449 	printf("msgsz=%d, msgssz=%d, segs_needed=%d\n", msgsz, msginfo.msgssz,
    450 	    segs_needed);
    451 #endif
    452 	for (;;) {
    453 		int need_more_resources = 0;
    454 
    455 		/*
    456 		 * check msgsz
    457 		 * (inside this loop in case msg_qbytes changes while we sleep)
    458 		 */
    459 
    460 		if (msgsz < 0 || msgsz > msqptr->msg_qbytes) {
    461 #ifdef MSG_DEBUG_OK
    462 			printf("msgsz > msqptr->msg_qbytes\n");
    463 #endif
    464 			return(EINVAL);
    465 		}
    466 
    467 		if (msqptr->msg_perm.mode & MSG_LOCKED) {
    468 #ifdef MSG_DEBUG_OK
    469 			printf("msqid is locked\n");
    470 #endif
    471 			need_more_resources = 1;
    472 		}
    473 		if (msgsz + msqptr->msg_cbytes > msqptr->msg_qbytes) {
    474 #ifdef MSG_DEBUG_OK
    475 			printf("msgsz + msg_cbytes > msg_qbytes\n");
    476 #endif
    477 			need_more_resources = 1;
    478 		}
    479 		if (segs_needed > nfree_msgmaps) {
    480 #ifdef MSG_DEBUG_OK
    481 			printf("segs_needed > nfree_msgmaps\n");
    482 #endif
    483 			need_more_resources = 1;
    484 		}
    485 		if (free_msghdrs == NULL) {
    486 #ifdef MSG_DEBUG_OK
    487 			printf("no more msghdrs\n");
    488 #endif
    489 			need_more_resources = 1;
    490 		}
    491 
    492 		if (need_more_resources) {
    493 			int we_own_it;
    494 
    495 			if ((msgflg & IPC_NOWAIT) != 0) {
    496 #ifdef MSG_DEBUG_OK
    497 				printf("need more resources but caller doesn't want to wait\n");
    498 #endif
    499 				return(EAGAIN);
    500 			}
    501 
    502 			if ((msqptr->msg_perm.mode & MSG_LOCKED) != 0) {
    503 #ifdef MSG_DEBUG_OK
    504 				printf("we don't own the msqid_ds\n");
    505 #endif
    506 				we_own_it = 0;
    507 			} else {
    508 				/* Force later arrivals to wait for our
    509 				   request */
    510 #ifdef MSG_DEBUG_OK
    511 				printf("we own the msqid_ds\n");
    512 #endif
    513 				msqptr->msg_perm.mode |= MSG_LOCKED;
    514 				we_own_it = 1;
    515 			}
    516 #ifdef MSG_DEBUG_OK
    517 			printf("goodnight\n");
    518 #endif
    519 			eval = tsleep((caddr_t)msqptr, (PZERO - 4) | PCATCH,
    520 			    "msgwait", 0);
    521 #ifdef MSG_DEBUG_OK
    522 			printf("good morning, eval=%d\n", eval);
    523 #endif
    524 			if (we_own_it)
    525 				msqptr->msg_perm.mode &= ~MSG_LOCKED;
    526 			if (eval != 0) {
    527 #ifdef MSG_DEBUG_OK
    528 				printf("msgsnd:  interrupted system call\n");
    529 #endif
    530 				return(EINTR);
    531 			}
    532 
    533 			/*
    534 			 * Make sure that the msq queue still exists
    535 			 */
    536 
    537 			if (msqptr->msg_qbytes == 0) {
    538 #ifdef MSG_DEBUG_OK
    539 				printf("msqid deleted\n");
    540 #endif
    541 				/* The SVID says to return EIDRM. */
    542 #ifdef EIDRM
    543 				return(EIDRM);
    544 #else
    545 				/* Unfortunately, BSD doesn't define that code
    546 				   yet! */
    547 				return(EINVAL);
    548 #endif
    549 			}
    550 
    551 		} else {
    552 #ifdef MSG_DEBUG_OK
    553 			printf("got all the resources that we need\n");
    554 #endif
    555 			break;
    556 		}
    557 	}
    558 
    559 	/*
    560 	 * We have the resources that we need.
    561 	 * Make sure!
    562 	 */
    563 
    564 	if (msqptr->msg_perm.mode & MSG_LOCKED)
    565 		panic("msg_perm.mode & MSG_LOCKED");
    566 	if (segs_needed > nfree_msgmaps)
    567 		panic("segs_needed > nfree_msgmaps");
    568 	if (msgsz + msqptr->msg_cbytes > msqptr->msg_qbytes)
    569 		panic("msgsz + msg_cbytes > msg_qbytes");
    570 	if (free_msghdrs == NULL)
    571 		panic("no more msghdrs");
    572 
    573 	/*
    574 	 * Re-lock the msqid_ds in case we page-fault when copying in the
    575 	 * message
    576 	 */
    577 
    578 	if ((msqptr->msg_perm.mode & MSG_LOCKED) != 0)
    579 		panic("msqid_ds is already locked");
    580 	msqptr->msg_perm.mode |= MSG_LOCKED;
    581 
    582 	/*
    583 	 * Allocate a message header
    584 	 */
    585 
    586 	msghdr = free_msghdrs;
    587 	free_msghdrs = msghdr->msg_next;
    588 	msghdr->msg_spot = -1;
    589 	msghdr->msg_ts = msgsz;
    590 
    591 	/*
    592 	 * Allocate space for the message
    593 	 */
    594 
    595 	while (segs_needed > 0) {
    596 		if (nfree_msgmaps <= 0)
    597 			panic("not enough msgmaps");
    598 		if (free_msgmaps == -1)
    599 			panic("nil free_msgmaps");
    600 		next = free_msgmaps;
    601 		if (next <= -1)
    602 			panic("next too low #1");
    603 		if (next >= msginfo.msgseg)
    604 			panic("next out of range #1");
    605 #ifdef MSG_DEBUG_OK
    606 		printf("allocating segment %d to message\n", next);
    607 #endif
    608 		free_msgmaps = msgmaps[next].next;
    609 		nfree_msgmaps--;
    610 		msgmaps[next].next = msghdr->msg_spot;
    611 		msghdr->msg_spot = next;
    612 		segs_needed--;
    613 	}
    614 
    615 	/*
    616 	 * Copy in the message type
    617 	 */
    618 
    619 	if ((eval = copyin(user_msgp, &msghdr->msg_type,
    620 	    sizeof(msghdr->msg_type))) != 0) {
    621 #ifdef MSG_DEBUG_OK
    622 		printf("error %d copying the message type\n", eval);
    623 #endif
    624 		msg_freehdr(msghdr);
    625 		msqptr->msg_perm.mode &= ~MSG_LOCKED;
    626 		wakeup((caddr_t)msqptr);
    627 		return(eval);
    628 	}
    629 	user_msgp += sizeof(msghdr->msg_type);
    630 
    631 	/*
    632 	 * Validate the message type
    633 	 */
    634 
    635 	if (msghdr->msg_type < 1) {
    636 		msg_freehdr(msghdr);
    637 		msqptr->msg_perm.mode &= ~MSG_LOCKED;
    638 		wakeup((caddr_t)msqptr);
    639 #ifdef MSG_DEBUG_OK
    640 		printf("mtype (%d) < 1\n", msghdr->msg_type);
    641 #endif
    642 		return(EINVAL);
    643 	}
    644 
    645 	/*
    646 	 * Copy in the message body
    647 	 */
    648 
    649 	next = msghdr->msg_spot;
    650 	while (msgsz > 0) {
    651 		size_t tlen;
    652 		if (msgsz > msginfo.msgssz)
    653 			tlen = msginfo.msgssz;
    654 		else
    655 			tlen = msgsz;
    656 		if (next <= -1)
    657 			panic("next too low #2");
    658 		if (next >= msginfo.msgseg)
    659 			panic("next out of range #2");
    660 		if ((eval = copyin(user_msgp, &msgpool[next * msginfo.msgssz],
    661 		    tlen)) != 0) {
    662 #ifdef MSG_DEBUG_OK
    663 			printf("error %d copying in message segment\n", eval);
    664 #endif
    665 			msg_freehdr(msghdr);
    666 			msqptr->msg_perm.mode &= ~MSG_LOCKED;
    667 			wakeup((caddr_t)msqptr);
    668 			return(eval);
    669 		}
    670 		msgsz -= tlen;
    671 		user_msgp += tlen;
    672 		next = msgmaps[next].next;
    673 	}
    674 	if (next != -1)
    675 		panic("didn't use all the msg segments");
    676 
    677 	/*
    678 	 * We've got the message.  Unlock the msqid_ds.
    679 	 */
    680 
    681 	msqptr->msg_perm.mode &= ~MSG_LOCKED;
    682 
    683 	/*
    684 	 * Make sure that the msqid_ds is still allocated.
    685 	 */
    686 
    687 	if (msqptr->msg_qbytes == 0) {
    688 		msg_freehdr(msghdr);
    689 		wakeup((caddr_t)msqptr);
    690 		/* The SVID says to return EIDRM. */
    691 #ifdef EIDRM
    692 		return(EIDRM);
    693 #else
    694 		/* Unfortunately, BSD doesn't define that code yet! */
    695 		return(EINVAL);
    696 #endif
    697 	}
    698 
    699 	/*
    700 	 * Put the message into the queue
    701 	 */
    702 
    703 	if (msqptr->msg_first == NULL) {
    704 		msqptr->msg_first = msghdr;
    705 		msqptr->msg_last = msghdr;
    706 	} else {
    707 		msqptr->msg_last->msg_next = msghdr;
    708 		msqptr->msg_last = msghdr;
    709 	}
    710 	msqptr->msg_last->msg_next = NULL;
    711 
    712 	msqptr->msg_cbytes += msghdr->msg_ts;
    713 	msqptr->msg_qnum++;
    714 	msqptr->msg_lspid = p->p_pid;
    715 	msqptr->msg_stime = time.tv_sec;
    716 
    717 	wakeup((caddr_t)msqptr);
    718 	*retval = 0;
    719 	return(0);
    720 }
    721 
    722 struct msgrcv_args {
    723 	int	msqid;
    724 	void	*msgp;
    725 	size_t	msgsz;
    726 	long	msgtyp;
    727 	int	msgflg;
    728 };
    729 
    730 int
    731 msgrcv(p, uap, retval)
    732 	struct proc *p;
    733 	register struct msgrcv_args *uap;
    734 	int *retval;
    735 {
    736 	int msqid = uap->msqid;
    737 	void *user_msgp = uap->msgp;
    738 	size_t msgsz = uap->msgsz;
    739 	long msgtyp = uap->msgtyp;
    740 	int msgflg = uap->msgflg;
    741 	size_t len;
    742 	struct ucred *cred = p->p_ucred;
    743 	register struct msqid_ds *msqptr;
    744 	register struct msg *msghdr;
    745 	int eval;
    746 	short next;
    747 
    748 #ifdef MSG_DEBUG_OK
    749 	printf("call to msgrcv(%d, 0x%x, %d, %ld, %d)\n", msqid, user_msgp,
    750 	    msgsz, msgtyp, msgflg);
    751 #endif
    752 
    753 	msqid = IPCID_TO_IX(msqid);
    754 
    755 	if (msqid < 0 || msqid >= msginfo.msgmni) {
    756 #ifdef MSG_DEBUG_OK
    757 		printf("msqid (%d) out of range (0<=msqid<%d)\n", msqid,
    758 		    msginfo.msgmni);
    759 #endif
    760 		return(EINVAL);
    761 	}
    762 
    763 	msqptr = &msqids[msqid];
    764 	if (msqptr->msg_qbytes == 0) {
    765 #ifdef MSG_DEBUG_OK
    766 		printf("no such message queue id\n");
    767 #endif
    768 		return(EINVAL);
    769 	}
    770 	if (msqptr->msg_perm.seq != IPCID_TO_SEQ(uap->msqid)) {
    771 #ifdef MSG_DEBUG_OK
    772 		printf("wrong sequence number\n");
    773 #endif
    774 		return(EINVAL);
    775 	}
    776 
    777 	if ((eval = ipcaccess(&msqptr->msg_perm, IPC_R, cred))) {
    778 #ifdef MSG_DEBUG_OK
    779 		printf("requester doesn't have read access\n");
    780 #endif
    781 		return(eval);
    782 	}
    783 
    784 	if (msgsz < 0) {
    785 #ifdef MSG_DEBUG_OK
    786 		printf("msgsz < 0\n");
    787 #endif
    788 		return(EINVAL);
    789 	}
    790 
    791 	msghdr = NULL;
    792 	while (msghdr == NULL) {
    793 		if (msgtyp == 0) {
    794 			msghdr = msqptr->msg_first;
    795 			if (msghdr != NULL) {
    796 				if (msgsz < msghdr->msg_ts &&
    797 				    (msgflg & MSG_NOERROR) == 0) {
    798 #ifdef MSG_DEBUG_OK
    799 					printf("first message on the queue is too big (want %d, got %d)\n",
    800 					    msgsz, msghdr->msg_ts);
    801 #endif
    802 					return(E2BIG);
    803 				}
    804 				if (msqptr->msg_first == msqptr->msg_last) {
    805 					msqptr->msg_first = NULL;
    806 					msqptr->msg_last = NULL;
    807 				} else {
    808 					msqptr->msg_first = msghdr->msg_next;
    809 					if (msqptr->msg_first == NULL)
    810 						panic("msg_first/last screwed up #1");
    811 				}
    812 			}
    813 		} else {
    814 			struct msg *previous;
    815 			struct msg **prev;
    816 
    817 			previous = NULL;
    818 			prev = &(msqptr->msg_first);
    819 			while ((msghdr = *prev) != NULL) {
    820 				/*
    821 				 * Is this message's type an exact match or is
    822 				 * this message's type less than or equal to
    823 				 * the absolute value of a negative msgtyp?
    824 				 * Note that the second half of this test can
    825 				 * NEVER be true if msgtyp is positive since
    826 				 * msg_type is always positive!
    827 				 */
    828 
    829 				if (msgtyp == msghdr->msg_type ||
    830 				    msghdr->msg_type <= -msgtyp) {
    831 #ifdef MSG_DEBUG_OK
    832 					printf("found message type %d, requested %d\n",
    833 					    msghdr->msg_type, msgtyp);
    834 #endif
    835 					if (msgsz < msghdr->msg_ts &&
    836 					    (msgflg & MSG_NOERROR) == 0) {
    837 #ifdef MSG_DEBUG_OK
    838 						printf("requested message on the queue is too big (want %d, got %d)\n",
    839 						    msgsz, msghdr->msg_ts);
    840 #endif
    841 						return(E2BIG);
    842 					}
    843 					*prev = msghdr->msg_next;
    844 					if (msghdr == msqptr->msg_last) {
    845 						if (previous == NULL) {
    846 							if (prev !=
    847 							    &msqptr->msg_first)
    848 								panic("msg_first/last screwed up #2");
    849 							msqptr->msg_first =
    850 							    NULL;
    851 							msqptr->msg_last =
    852 							    NULL;
    853 						} else {
    854 							if (prev ==
    855 							    &msqptr->msg_first)
    856 								panic("msg_first/last screwed up #3");
    857 							msqptr->msg_last =
    858 							    previous;
    859 						}
    860 					}
    861 					break;
    862 				}
    863 				previous = msghdr;
    864 				prev = &(msghdr->msg_next);
    865 			}
    866 		}
    867 
    868 		/*
    869 		 * We've either extracted the msghdr for the appropriate
    870 		 * message or there isn't one.
    871 		 * If there is one then bail out of this loop.
    872 		 */
    873 
    874 		if (msghdr != NULL)
    875 			break;
    876 
    877 		/*
    878 		 * Hmph!  No message found.  Does the user want to wait?
    879 		 */
    880 
    881 		if ((msgflg & IPC_NOWAIT) != 0) {
    882 #ifdef MSG_DEBUG_OK
    883 			printf("no appropriate message found (msgtyp=%d)\n",
    884 			    msgtyp);
    885 #endif
    886 			/* The SVID says to return ENOMSG. */
    887 #ifdef ENOMSG
    888 			return(ENOMSG);
    889 #else
    890 			/* Unfortunately, BSD doesn't define that code yet! */
    891 			return(EAGAIN);
    892 #endif
    893 		}
    894 
    895 		/*
    896 		 * Wait for something to happen
    897 		 */
    898 
    899 #ifdef MSG_DEBUG_OK
    900 		printf("msgrcv:  goodnight\n");
    901 #endif
    902 		eval = tsleep((caddr_t)msqptr, (PZERO - 4) | PCATCH, "msgwait",
    903 		    0);
    904 #ifdef MSG_DEBUG_OK
    905 		printf("msgrcv:  good morning (eval=%d)\n", eval);
    906 #endif
    907 
    908 		if (eval != 0) {
    909 #ifdef MSG_DEBUG_OK
    910 			printf("msgsnd:  interrupted system call\n");
    911 #endif
    912 			return(EINTR);
    913 		}
    914 
    915 		/*
    916 		 * Make sure that the msq queue still exists
    917 		 */
    918 
    919 		if (msqptr->msg_qbytes == 0 ||
    920 		    msqptr->msg_perm.seq != IPCID_TO_SEQ(uap->msqid)) {
    921 #ifdef MSG_DEBUG_OK
    922 			printf("msqid deleted\n");
    923 #endif
    924 			/* The SVID says to return EIDRM. */
    925 #ifdef EIDRM
    926 			return(EIDRM);
    927 #else
    928 			/* Unfortunately, BSD doesn't define that code yet! */
    929 			return(EINVAL);
    930 #endif
    931 		}
    932 	}
    933 
    934 	/*
    935 	 * Return the message to the user.
    936 	 *
    937 	 * First, do the bookkeeping (before we risk being interrupted).
    938 	 */
    939 
    940 	msqptr->msg_cbytes -= msghdr->msg_ts;
    941 	msqptr->msg_qnum--;
    942 	msqptr->msg_lrpid = p->p_pid;
    943 	msqptr->msg_rtime = time.tv_sec;
    944 
    945 	/*
    946 	 * Make msgsz the actual amount that we'll be returning.
    947 	 * Note that this effectively truncates the message if it is too long
    948 	 * (since msgsz is never increased).
    949 	 */
    950 
    951 #ifdef MSG_DEBUG_OK
    952 	printf("found a message, msgsz=%d, msg_ts=%d\n", msgsz,
    953 	    msghdr->msg_ts);
    954 #endif
    955 	if (msgsz > msghdr->msg_ts)
    956 		msgsz = msghdr->msg_ts;
    957 
    958 	/*
    959 	 * Return the type to the user.
    960 	 */
    961 
    962 	eval = copyout((caddr_t)&(msghdr->msg_type), user_msgp,
    963 	    sizeof(msghdr->msg_type));
    964 	if (eval != 0) {
    965 #ifdef MSG_DEBUG_OK
    966 		printf("error (%d) copying out message type\n", eval);
    967 #endif
    968 		msg_freehdr(msghdr);
    969 		wakeup((caddr_t)msqptr);
    970 		return(eval);
    971 	}
    972 	user_msgp += sizeof(msghdr->msg_type);
    973 
    974 	/*
    975 	 * Return the segments to the user
    976 	 */
    977 
    978 	next = msghdr->msg_spot;
    979 	for (len = 0; len < msgsz; len += msginfo.msgssz) {
    980 		size_t tlen;
    981 
    982 		if (msgsz > msginfo.msgssz)
    983 			tlen = msginfo.msgssz;
    984 		else
    985 			tlen = msgsz;
    986 		if (next <= -1)
    987 			panic("next too low #3");
    988 		if (next >= msginfo.msgseg)
    989 			panic("next out of range #3");
    990 		eval = copyout((caddr_t)&msgpool[next * msginfo.msgssz],
    991 		    user_msgp, tlen);
    992 		if (eval != 0) {
    993 #ifdef MSG_DEBUG_OK
    994 			printf("error (%d) copying out message segment\n",
    995 			    eval);
    996 #endif
    997 			msg_freehdr(msghdr);
    998 			wakeup((caddr_t)msqptr);
    999 			return(eval);
   1000 		}
   1001 		user_msgp += tlen;
   1002 		next = msgmaps[next].next;
   1003 	}
   1004 
   1005 	/*
   1006 	 * Done, return the actual number of bytes copied out.
   1007 	 */
   1008 
   1009 	msg_freehdr(msghdr);
   1010 	wakeup((caddr_t)msqptr);
   1011 	*retval = msgsz;
   1012 	return(0);
   1013 }
   1014