xref: /freebsd/sys/kern/sysv_shm.c (revision a51f711975abf798647741b5df2989f4c9f78ca1)
1a51f7119SJohn Dyson /*	$Id: sysv_shm.c,v 1.21 1996/05/05 13:53:48 joerg Exp $ */
23d903220SDoug Rabson /*	$NetBSD: sysv_shm.c,v 1.23 1994/07/04 23:25:12 glass Exp $	*/
33d903220SDoug Rabson 
43d903220SDoug Rabson /*
53d903220SDoug Rabson  * Copyright (c) 1994 Adam Glass and Charles Hannum.  All rights reserved.
63d903220SDoug Rabson  *
73d903220SDoug Rabson  * Redistribution and use in source and binary forms, with or without
83d903220SDoug Rabson  * modification, are permitted provided that the following conditions
93d903220SDoug Rabson  * are met:
103d903220SDoug Rabson  * 1. Redistributions of source code must retain the above copyright
113d903220SDoug Rabson  *    notice, this list of conditions and the following disclaimer.
123d903220SDoug Rabson  * 2. Redistributions in binary form must reproduce the above copyright
133d903220SDoug Rabson  *    notice, this list of conditions and the following disclaimer in the
143d903220SDoug Rabson  *    documentation and/or other materials provided with the distribution.
153d903220SDoug Rabson  * 3. All advertising materials mentioning features or use of this software
163d903220SDoug Rabson  *    must display the following acknowledgement:
173d903220SDoug Rabson  *	This product includes software developed by Adam Glass and Charles
183d903220SDoug Rabson  *	Hannum.
193d903220SDoug Rabson  * 4. The names of the authors may not be used to endorse or promote products
203d903220SDoug Rabson  *    derived from this software without specific prior written permission.
213d903220SDoug Rabson  *
223d903220SDoug Rabson  * THIS SOFTWARE IS PROVIDED BY THE AUTHORS ``AS IS'' AND ANY EXPRESS OR
233d903220SDoug Rabson  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
243d903220SDoug Rabson  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
253d903220SDoug Rabson  * IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY DIRECT, INDIRECT,
263d903220SDoug Rabson  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
273d903220SDoug Rabson  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
283d903220SDoug Rabson  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
293d903220SDoug Rabson  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
303d903220SDoug Rabson  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
313d903220SDoug Rabson  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
323d903220SDoug Rabson  */
333d903220SDoug Rabson 
34511b67b7SGarrett Wollman #include "opt_sysvipc.h"
35511b67b7SGarrett Wollman 
363d903220SDoug Rabson #include <sys/param.h>
37725db531SBruce Evans #include <sys/systm.h>
38725db531SBruce Evans #include <sys/sysproto.h>
393d903220SDoug Rabson #include <sys/kernel.h>
403d903220SDoug Rabson #include <sys/shm.h>
413d903220SDoug Rabson #include <sys/proc.h>
423d903220SDoug Rabson #include <sys/malloc.h>
433d903220SDoug Rabson #include <sys/mman.h>
443d903220SDoug Rabson #include <sys/stat.h>
45725db531SBruce Evans #include <sys/sysent.h>
463d903220SDoug Rabson 
473d903220SDoug Rabson #include <vm/vm.h>
48efeaf95aSDavid Greenman #include <vm/vm_param.h>
49efeaf95aSDavid Greenman #include <vm/vm_prot.h>
50efeaf95aSDavid Greenman #include <vm/lock.h>
51efeaf95aSDavid Greenman #include <vm/pmap.h>
52a51f7119SJohn Dyson #include <vm/vm_object.h>
533d903220SDoug Rabson #include <vm/vm_map.h>
543d903220SDoug Rabson #include <vm/vm_kern.h>
55efeaf95aSDavid Greenman #include <vm/vm_extern.h>
563d903220SDoug Rabson 
57b5d5c0c9SPeter Wemm #ifndef _SYS_SYSPROTO_H_
58725db531SBruce Evans struct shmat_args;
59725db531SBruce Evans extern int shmat __P((struct proc *p, struct shmat_args *uap, int *retval));
60725db531SBruce Evans struct shmctl_args;
61725db531SBruce Evans extern int shmctl __P((struct proc *p, struct shmctl_args *uap, int *retval));
62725db531SBruce Evans struct shmdt_args;
63725db531SBruce Evans extern int shmdt __P((struct proc *p, struct shmdt_args *uap, int *retval));
64725db531SBruce Evans struct shmget_args;
65725db531SBruce Evans extern int shmget __P((struct proc *p, struct shmget_args *uap, int *retval));
66b5d5c0c9SPeter Wemm #endif
67725db531SBruce Evans 
684590fd3aSDavid Greenman static void shminit __P((void *));
692b14f991SJulian Elischer SYSINIT(sysv_shm, SI_SUB_SYSV_SHM, SI_ORDER_FIRST, shminit, NULL)
702b14f991SJulian Elischer 
71725db531SBruce Evans struct oshmctl_args;
7287b6de2bSPoul-Henning Kamp static int oshmctl __P((struct proc *p, struct oshmctl_args *uap, int *retval));
73725db531SBruce Evans static int shmget_allocate_segment __P((struct proc *p, struct shmget_args *uap, int mode, int *retval));
74725db531SBruce Evans static int shmget_existing __P((struct proc *p, struct shmget_args *uap, int mode, int segnum, int *retval));
75725db531SBruce Evans 
76725db531SBruce Evans /* XXX casting to (sy_call_t *) is bogus, as usual. */
77725db531SBruce Evans sy_call_t *shmcalls[] = {
78725db531SBruce Evans 	(sy_call_t *)shmat, (sy_call_t *)oshmctl,
79725db531SBruce Evans 	(sy_call_t *)shmdt, (sy_call_t *)shmget,
80725db531SBruce Evans 	(sy_call_t *)shmctl
81725db531SBruce Evans };
823d903220SDoug Rabson 
833d903220SDoug Rabson #define	SHMSEG_FREE     	0x0200
843d903220SDoug Rabson #define	SHMSEG_REMOVED  	0x0400
853d903220SDoug Rabson #define	SHMSEG_ALLOCATED	0x0800
863d903220SDoug Rabson #define	SHMSEG_WANTED		0x1000
873d903220SDoug Rabson 
8887b6de2bSPoul-Henning Kamp static int shm_last_free, shm_nused, shm_committed;
8928f8db14SBruce Evans struct shmid_ds	*shmsegs;
903d903220SDoug Rabson 
913d903220SDoug Rabson struct shm_handle {
92a51f7119SJohn Dyson 	/* vm_offset_t kva; */
93a51f7119SJohn Dyson 	vm_object_t shm_object;
943d903220SDoug Rabson };
953d903220SDoug Rabson 
963d903220SDoug Rabson struct shmmap_state {
973d903220SDoug Rabson 	vm_offset_t va;
983d903220SDoug Rabson 	int shmid;
993d903220SDoug Rabson };
1003d903220SDoug Rabson 
1013d903220SDoug Rabson static void shm_deallocate_segment __P((struct shmid_ds *));
1023d903220SDoug Rabson static int shm_find_segment_by_key __P((key_t));
1033d903220SDoug Rabson static struct shmid_ds *shm_find_segment_by_shmid __P((int));
1043d903220SDoug Rabson static int shm_delete_mapping __P((struct proc *, struct shmmap_state *));
1053d903220SDoug Rabson 
1063d903220SDoug Rabson static int
1073d903220SDoug Rabson shm_find_segment_by_key(key)
1083d903220SDoug Rabson 	key_t key;
1093d903220SDoug Rabson {
1103d903220SDoug Rabson 	int i;
1113d903220SDoug Rabson 
1123d903220SDoug Rabson 	for (i = 0; i < shminfo.shmmni; i++)
1133d903220SDoug Rabson 		if ((shmsegs[i].shm_perm.mode & SHMSEG_ALLOCATED) &&
1143d903220SDoug Rabson 		    shmsegs[i].shm_perm.key == key)
1153d903220SDoug Rabson 			return i;
1163d903220SDoug Rabson 	return -1;
1173d903220SDoug Rabson }
1183d903220SDoug Rabson 
1193d903220SDoug Rabson static struct shmid_ds *
1203d903220SDoug Rabson shm_find_segment_by_shmid(shmid)
1213d903220SDoug Rabson 	int shmid;
1223d903220SDoug Rabson {
1233d903220SDoug Rabson 	int segnum;
1243d903220SDoug Rabson 	struct shmid_ds *shmseg;
1253d903220SDoug Rabson 
1263d903220SDoug Rabson 	segnum = IPCID_TO_IX(shmid);
1273d903220SDoug Rabson 	if (segnum < 0 || segnum >= shminfo.shmmni)
1283d903220SDoug Rabson 		return NULL;
1293d903220SDoug Rabson 	shmseg = &shmsegs[segnum];
1303d903220SDoug Rabson 	if ((shmseg->shm_perm.mode & (SHMSEG_ALLOCATED | SHMSEG_REMOVED))
1313d903220SDoug Rabson 	    != SHMSEG_ALLOCATED ||
1323d903220SDoug Rabson 	    shmseg->shm_perm.seq != IPCID_TO_SEQ(shmid))
1333d903220SDoug Rabson 		return NULL;
1343d903220SDoug Rabson 	return shmseg;
1353d903220SDoug Rabson }
1363d903220SDoug Rabson 
1373d903220SDoug Rabson static void
1383d903220SDoug Rabson shm_deallocate_segment(shmseg)
1393d903220SDoug Rabson 	struct shmid_ds *shmseg;
1403d903220SDoug Rabson {
1413d903220SDoug Rabson 	struct shm_handle *shm_handle;
1423d903220SDoug Rabson 	size_t size;
1433d903220SDoug Rabson 
1443d903220SDoug Rabson 	shm_handle = shmseg->shm_internal;
145a51f7119SJohn Dyson 	vm_object_deallocate(shm_handle->shm_object);
1463d903220SDoug Rabson 	free((caddr_t)shm_handle, M_SHM);
1473d903220SDoug Rabson 	shmseg->shm_internal = NULL;
148a51f7119SJohn Dyson 	size = round_page(shmseg->shm_segsz);
1493d903220SDoug Rabson 	shm_committed -= btoc(size);
1503d903220SDoug Rabson 	shm_nused--;
1513d903220SDoug Rabson 	shmseg->shm_perm.mode = SHMSEG_FREE;
1523d903220SDoug Rabson }
1533d903220SDoug Rabson 
1543d903220SDoug Rabson static int
1553d903220SDoug Rabson shm_delete_mapping(p, shmmap_s)
1563d903220SDoug Rabson 	struct proc *p;
1573d903220SDoug Rabson 	struct shmmap_state *shmmap_s;
1583d903220SDoug Rabson {
1593d903220SDoug Rabson 	struct shmid_ds *shmseg;
1603d903220SDoug Rabson 	int segnum, result;
1613d903220SDoug Rabson 	size_t size;
1623d903220SDoug Rabson 
1633d903220SDoug Rabson 	segnum = IPCID_TO_IX(shmmap_s->shmid);
1643d903220SDoug Rabson 	shmseg = &shmsegs[segnum];
165aa8de40aSPoul-Henning Kamp 	size = round_page(shmseg->shm_segsz);
16668940ac1SDavid Greenman 	result = vm_map_remove(&p->p_vmspace->vm_map, shmmap_s->va, shmmap_s->va + size);
1673d903220SDoug Rabson 	if (result != KERN_SUCCESS)
1683d903220SDoug Rabson 		return EINVAL;
1693d903220SDoug Rabson 	shmmap_s->shmid = -1;
1703d903220SDoug Rabson 	shmseg->shm_dtime = time.tv_sec;
1713d903220SDoug Rabson 	if ((--shmseg->shm_nattch <= 0) &&
1723d903220SDoug Rabson 	    (shmseg->shm_perm.mode & SHMSEG_REMOVED)) {
1733d903220SDoug Rabson 		shm_deallocate_segment(shmseg);
1743d903220SDoug Rabson 		shm_last_free = segnum;
1753d903220SDoug Rabson 	}
1763d903220SDoug Rabson 	return 0;
1773d903220SDoug Rabson }
1783d903220SDoug Rabson 
179b5d5c0c9SPeter Wemm #ifndef _SYS_SYSPROTO_H_
1803d903220SDoug Rabson struct shmdt_args {
1813d903220SDoug Rabson 	void *shmaddr;
1823d903220SDoug Rabson };
183b5d5c0c9SPeter Wemm #endif
184b5d5c0c9SPeter Wemm 
1853d903220SDoug Rabson int
1863d903220SDoug Rabson shmdt(p, uap, retval)
1873d903220SDoug Rabson 	struct proc *p;
1883d903220SDoug Rabson 	struct shmdt_args *uap;
1893d903220SDoug Rabson 	int *retval;
1903d903220SDoug Rabson {
1913d903220SDoug Rabson 	struct shmmap_state *shmmap_s;
1923d903220SDoug Rabson 	int i;
1933d903220SDoug Rabson 
1943d903220SDoug Rabson 	shmmap_s = (struct shmmap_state *)p->p_vmspace->vm_shm;
195f205c887SJordan K. Hubbard  	if (shmmap_s == NULL)
196f205c887SJordan K. Hubbard  	    return EINVAL;
1973d903220SDoug Rabson 	for (i = 0; i < shminfo.shmseg; i++, shmmap_s++)
1983d903220SDoug Rabson 		if (shmmap_s->shmid != -1 &&
1993d903220SDoug Rabson 		    shmmap_s->va == (vm_offset_t)uap->shmaddr)
2003d903220SDoug Rabson 			break;
2013d903220SDoug Rabson 	if (i == shminfo.shmseg)
2023d903220SDoug Rabson 		return EINVAL;
2033d903220SDoug Rabson 	return shm_delete_mapping(p, shmmap_s);
2043d903220SDoug Rabson }
2053d903220SDoug Rabson 
206b5d5c0c9SPeter Wemm #ifndef _SYS_SYSPROTO_H_
2073d903220SDoug Rabson struct shmat_args {
2083d903220SDoug Rabson 	int shmid;
2093d903220SDoug Rabson 	void *shmaddr;
2103d903220SDoug Rabson 	int shmflg;
2113d903220SDoug Rabson };
212b5d5c0c9SPeter Wemm #endif
213b5d5c0c9SPeter Wemm 
2143d903220SDoug Rabson int
2153d903220SDoug Rabson shmat(p, uap, retval)
2163d903220SDoug Rabson 	struct proc *p;
2173d903220SDoug Rabson 	struct shmat_args *uap;
2183d903220SDoug Rabson 	int *retval;
2193d903220SDoug Rabson {
2203d903220SDoug Rabson 	int error, i, flags;
2213d903220SDoug Rabson 	struct ucred *cred = p->p_ucred;
2223d903220SDoug Rabson 	struct shmid_ds *shmseg;
2233d903220SDoug Rabson 	struct shmmap_state *shmmap_s = NULL;
224a51f7119SJohn Dyson 	struct shm_handle *shm_handle;
2253d903220SDoug Rabson 	vm_offset_t attach_va;
2263d903220SDoug Rabson 	vm_prot_t prot;
2273d903220SDoug Rabson 	vm_size_t size;
228a51f7119SJohn Dyson 	int rv;
2293d903220SDoug Rabson 
2303d903220SDoug Rabson 	shmmap_s = (struct shmmap_state *)p->p_vmspace->vm_shm;
2313d903220SDoug Rabson 	if (shmmap_s == NULL) {
2323d903220SDoug Rabson 		size = shminfo.shmseg * sizeof(struct shmmap_state);
2333d903220SDoug Rabson 		shmmap_s = malloc(size, M_SHM, M_WAITOK);
2343d903220SDoug Rabson 		for (i = 0; i < shminfo.shmseg; i++)
2353d903220SDoug Rabson 			shmmap_s[i].shmid = -1;
2363d903220SDoug Rabson 		p->p_vmspace->vm_shm = (caddr_t)shmmap_s;
2373d903220SDoug Rabson 	}
2383d903220SDoug Rabson 	shmseg = shm_find_segment_by_shmid(uap->shmid);
2393d903220SDoug Rabson 	if (shmseg == NULL)
2403d903220SDoug Rabson 		return EINVAL;
241797f2d22SPoul-Henning Kamp 	error = ipcperm(cred, &shmseg->shm_perm,
242797f2d22SPoul-Henning Kamp 	    (uap->shmflg & SHM_RDONLY) ? IPC_R : IPC_R|IPC_W);
243797f2d22SPoul-Henning Kamp 	if (error)
2443d903220SDoug Rabson 		return error;
2453d903220SDoug Rabson 	for (i = 0; i < shminfo.shmseg; i++) {
2463d903220SDoug Rabson 		if (shmmap_s->shmid == -1)
2473d903220SDoug Rabson 			break;
2483d903220SDoug Rabson 		shmmap_s++;
2493d903220SDoug Rabson 	}
2503d903220SDoug Rabson 	if (i >= shminfo.shmseg)
2513d903220SDoug Rabson 		return EMFILE;
252aa8de40aSPoul-Henning Kamp 	size = round_page(shmseg->shm_segsz);
2533d903220SDoug Rabson 	prot = VM_PROT_READ;
2543d903220SDoug Rabson 	if ((uap->shmflg & SHM_RDONLY) == 0)
2553d903220SDoug Rabson 		prot |= VM_PROT_WRITE;
2563d903220SDoug Rabson 	flags = MAP_ANON | MAP_SHARED;
2573d903220SDoug Rabson 	if (uap->shmaddr) {
2583d903220SDoug Rabson 		flags |= MAP_FIXED;
2593d903220SDoug Rabson 		if (uap->shmflg & SHM_RND)
2603d903220SDoug Rabson 			attach_va = (vm_offset_t)uap->shmaddr & ~(SHMLBA-1);
2613d903220SDoug Rabson 		else if (((vm_offset_t)uap->shmaddr & (SHMLBA-1)) == 0)
2623d903220SDoug Rabson 			attach_va = (vm_offset_t)uap->shmaddr;
2633d903220SDoug Rabson 		else
2643d903220SDoug Rabson 			return EINVAL;
2653d903220SDoug Rabson 	} else {
266a51f7119SJohn Dyson 		/* This is just a hint to vm_map_find() about where to put it. */
267e7a301c6SJulian Elischer 		attach_va = round_page(p->p_vmspace->vm_taddr + MAXTSIZ + MAXDSIZ);
2683d903220SDoug Rabson 	}
269a51f7119SJohn Dyson 
270a51f7119SJohn Dyson 	shm_handle = shmseg->shm_internal;
271a51f7119SJohn Dyson 	vm_object_reference(shm_handle->shm_object);
272a51f7119SJohn Dyson 	rv = vm_map_find(&p->p_vmspace->vm_map, shm_handle->shm_object,
273a51f7119SJohn Dyson 		0, &attach_va, size, (flags & MAP_FIXED)?0:1, prot, prot, 0);
274a51f7119SJohn Dyson 	if (rv != KERN_SUCCESS) {
275a51f7119SJohn Dyson 		return ENOMEM;
276a51f7119SJohn Dyson 	}
2773d903220SDoug Rabson 	shmmap_s->va = attach_va;
2783d903220SDoug Rabson 	shmmap_s->shmid = uap->shmid;
2793d903220SDoug Rabson 	shmseg->shm_lpid = p->p_pid;
2803d903220SDoug Rabson 	shmseg->shm_atime = time.tv_sec;
2813d903220SDoug Rabson 	shmseg->shm_nattch++;
2823d903220SDoug Rabson 	*retval = attach_va;
2833d903220SDoug Rabson 	return 0;
2843d903220SDoug Rabson }
2853d903220SDoug Rabson 
2868bec0921SDoug Rabson struct oshmid_ds {
2878bec0921SDoug Rabson 	struct	ipc_perm shm_perm;	/* operation perms */
2888bec0921SDoug Rabson 	int	shm_segsz;		/* size of segment (bytes) */
2898bec0921SDoug Rabson 	ushort	shm_cpid;		/* pid, creator */
2908bec0921SDoug Rabson 	ushort	shm_lpid;		/* pid, last operation */
2918bec0921SDoug Rabson 	short	shm_nattch;		/* no. of current attaches */
2928bec0921SDoug Rabson 	time_t	shm_atime;		/* last attach time */
2938bec0921SDoug Rabson 	time_t	shm_dtime;		/* last detach time */
2948bec0921SDoug Rabson 	time_t	shm_ctime;		/* last change time */
2958bec0921SDoug Rabson 	void	*shm_handle;		/* internal handle for shm segment */
2968bec0921SDoug Rabson };
2978bec0921SDoug Rabson 
2988bec0921SDoug Rabson struct oshmctl_args {
2998bec0921SDoug Rabson 	int shmid;
3008bec0921SDoug Rabson 	int cmd;
3018bec0921SDoug Rabson 	struct oshmid_ds *ubuf;
3028bec0921SDoug Rabson };
3038bec0921SDoug Rabson 
30487b6de2bSPoul-Henning Kamp static int
3058bec0921SDoug Rabson oshmctl(p, uap, retval)
3068bec0921SDoug Rabson 	struct proc *p;
3078bec0921SDoug Rabson 	struct oshmctl_args *uap;
3088bec0921SDoug Rabson 	int *retval;
3098bec0921SDoug Rabson {
3108bec0921SDoug Rabson #ifdef COMPAT_43
311797f2d22SPoul-Henning Kamp 	int error;
3128bec0921SDoug Rabson 	struct ucred *cred = p->p_ucred;
3138bec0921SDoug Rabson 	struct shmid_ds *shmseg;
3148bec0921SDoug Rabson 	struct oshmid_ds outbuf;
3158bec0921SDoug Rabson 
3168bec0921SDoug Rabson 	shmseg = shm_find_segment_by_shmid(uap->shmid);
3178bec0921SDoug Rabson 	if (shmseg == NULL)
3188bec0921SDoug Rabson 		return EINVAL;
3198bec0921SDoug Rabson 	switch (uap->cmd) {
3208bec0921SDoug Rabson 	case IPC_STAT:
321797f2d22SPoul-Henning Kamp 		error = ipcperm(cred, &shmseg->shm_perm, IPC_R);
322797f2d22SPoul-Henning Kamp 		if (error)
3238bec0921SDoug Rabson 			return error;
3248bec0921SDoug Rabson 		outbuf.shm_perm = shmseg->shm_perm;
3258bec0921SDoug Rabson 		outbuf.shm_segsz = shmseg->shm_segsz;
3268bec0921SDoug Rabson 		outbuf.shm_cpid = shmseg->shm_cpid;
3278bec0921SDoug Rabson 		outbuf.shm_lpid = shmseg->shm_lpid;
3288bec0921SDoug Rabson 		outbuf.shm_nattch = shmseg->shm_nattch;
3298bec0921SDoug Rabson 		outbuf.shm_atime = shmseg->shm_atime;
3308bec0921SDoug Rabson 		outbuf.shm_dtime = shmseg->shm_dtime;
3318bec0921SDoug Rabson 		outbuf.shm_ctime = shmseg->shm_ctime;
3328bec0921SDoug Rabson 		outbuf.shm_handle = shmseg->shm_internal;
333797f2d22SPoul-Henning Kamp 		error = copyout((caddr_t)&outbuf, uap->ubuf, sizeof(outbuf));
334797f2d22SPoul-Henning Kamp 		if (error)
3358bec0921SDoug Rabson 			return error;
3368bec0921SDoug Rabson 		break;
3378bec0921SDoug Rabson 	default:
338725db531SBruce Evans 		/* XXX casting to (sy_call_t *) is bogus, as usual. */
339725db531SBruce Evans 		return ((sy_call_t *)shmctl)(p, uap, retval);
3408bec0921SDoug Rabson 	}
3418bec0921SDoug Rabson 	return 0;
3428bec0921SDoug Rabson #else
3438bec0921SDoug Rabson 	return EINVAL;
3448bec0921SDoug Rabson #endif
3458bec0921SDoug Rabson }
3468bec0921SDoug Rabson 
347b5d5c0c9SPeter Wemm #ifndef _SYS_SYSPROTO_H_
3483d903220SDoug Rabson struct shmctl_args {
3493d903220SDoug Rabson 	int shmid;
3503d903220SDoug Rabson 	int cmd;
351b5d5c0c9SPeter Wemm 	struct shmid_ds *buf;
3523d903220SDoug Rabson };
353b5d5c0c9SPeter Wemm #endif
354b5d5c0c9SPeter Wemm 
3553d903220SDoug Rabson int
3563d903220SDoug Rabson shmctl(p, uap, retval)
3573d903220SDoug Rabson 	struct proc *p;
3583d903220SDoug Rabson 	struct shmctl_args *uap;
3593d903220SDoug Rabson 	int *retval;
3603d903220SDoug Rabson {
361797f2d22SPoul-Henning Kamp 	int error;
3623d903220SDoug Rabson 	struct ucred *cred = p->p_ucred;
3633d903220SDoug Rabson 	struct shmid_ds inbuf;
3643d903220SDoug Rabson 	struct shmid_ds *shmseg;
3653d903220SDoug Rabson 
3663d903220SDoug Rabson 	shmseg = shm_find_segment_by_shmid(uap->shmid);
3673d903220SDoug Rabson 	if (shmseg == NULL)
3683d903220SDoug Rabson 		return EINVAL;
3693d903220SDoug Rabson 	switch (uap->cmd) {
3703d903220SDoug Rabson 	case IPC_STAT:
371797f2d22SPoul-Henning Kamp 		error = ipcperm(cred, &shmseg->shm_perm, IPC_R);
372797f2d22SPoul-Henning Kamp 		if (error)
3733d903220SDoug Rabson 			return error;
374b5d5c0c9SPeter Wemm 		error = copyout((caddr_t)shmseg, uap->buf, sizeof(inbuf));
375797f2d22SPoul-Henning Kamp 		if (error)
3763d903220SDoug Rabson 			return error;
3773d903220SDoug Rabson 		break;
3783d903220SDoug Rabson 	case IPC_SET:
379797f2d22SPoul-Henning Kamp 		error = ipcperm(cred, &shmseg->shm_perm, IPC_M);
380797f2d22SPoul-Henning Kamp 		if (error)
3813d903220SDoug Rabson 			return error;
382b5d5c0c9SPeter Wemm 		error = copyin(uap->buf, (caddr_t)&inbuf, sizeof(inbuf));
383797f2d22SPoul-Henning Kamp 		if (error)
3843d903220SDoug Rabson 			return error;
3853d903220SDoug Rabson 		shmseg->shm_perm.uid = inbuf.shm_perm.uid;
3863d903220SDoug Rabson 		shmseg->shm_perm.gid = inbuf.shm_perm.gid;
3873d903220SDoug Rabson 		shmseg->shm_perm.mode =
3883d903220SDoug Rabson 		    (shmseg->shm_perm.mode & ~ACCESSPERMS) |
3893d903220SDoug Rabson 		    (inbuf.shm_perm.mode & ACCESSPERMS);
3903d903220SDoug Rabson 		shmseg->shm_ctime = time.tv_sec;
3913d903220SDoug Rabson 		break;
3923d903220SDoug Rabson 	case IPC_RMID:
393797f2d22SPoul-Henning Kamp 		error = ipcperm(cred, &shmseg->shm_perm, IPC_M);
394797f2d22SPoul-Henning Kamp 		if (error)
3953d903220SDoug Rabson 			return error;
3963d903220SDoug Rabson 		shmseg->shm_perm.key = IPC_PRIVATE;
3973d903220SDoug Rabson 		shmseg->shm_perm.mode |= SHMSEG_REMOVED;
3983d903220SDoug Rabson 		if (shmseg->shm_nattch <= 0) {
3993d903220SDoug Rabson 			shm_deallocate_segment(shmseg);
4003d903220SDoug Rabson 			shm_last_free = IPCID_TO_IX(uap->shmid);
4013d903220SDoug Rabson 		}
4023d903220SDoug Rabson 		break;
4033d903220SDoug Rabson #if 0
4043d903220SDoug Rabson 	case SHM_LOCK:
4053d903220SDoug Rabson 	case SHM_UNLOCK:
4063d903220SDoug Rabson #endif
4073d903220SDoug Rabson 	default:
4083d903220SDoug Rabson 		return EINVAL;
4093d903220SDoug Rabson 	}
4103d903220SDoug Rabson 	return 0;
4113d903220SDoug Rabson }
4123d903220SDoug Rabson 
413b5d5c0c9SPeter Wemm #ifndef _SYS_SYSPROTO_H_
4143d903220SDoug Rabson struct shmget_args {
4153d903220SDoug Rabson 	key_t key;
4163d903220SDoug Rabson 	size_t size;
4173d903220SDoug Rabson 	int shmflg;
4183d903220SDoug Rabson };
419b5d5c0c9SPeter Wemm #endif
420b5d5c0c9SPeter Wemm 
4213d903220SDoug Rabson static int
4223d903220SDoug Rabson shmget_existing(p, uap, mode, segnum, retval)
4233d903220SDoug Rabson 	struct proc *p;
4243d903220SDoug Rabson 	struct shmget_args *uap;
4253d903220SDoug Rabson 	int mode;
4263d903220SDoug Rabson 	int segnum;
4273d903220SDoug Rabson 	int *retval;
4283d903220SDoug Rabson {
4293d903220SDoug Rabson 	struct shmid_ds *shmseg;
4303d903220SDoug Rabson 	struct ucred *cred = p->p_ucred;
4313d903220SDoug Rabson 	int error;
4323d903220SDoug Rabson 
4333d903220SDoug Rabson 	shmseg = &shmsegs[segnum];
4343d903220SDoug Rabson 	if (shmseg->shm_perm.mode & SHMSEG_REMOVED) {
4353d903220SDoug Rabson 		/*
4363d903220SDoug Rabson 		 * This segment is in the process of being allocated.  Wait
4373d903220SDoug Rabson 		 * until it's done, and look the key up again (in case the
4383d903220SDoug Rabson 		 * allocation failed or it was freed).
4393d903220SDoug Rabson 		 */
4403d903220SDoug Rabson 		shmseg->shm_perm.mode |= SHMSEG_WANTED;
441797f2d22SPoul-Henning Kamp 		error = tsleep((caddr_t)shmseg, PLOCK | PCATCH, "shmget", 0);
442797f2d22SPoul-Henning Kamp 		if (error)
4433d903220SDoug Rabson 			return error;
4443d903220SDoug Rabson 		return EAGAIN;
4453d903220SDoug Rabson 	}
446797f2d22SPoul-Henning Kamp 	error = ipcperm(cred, &shmseg->shm_perm, mode);
447797f2d22SPoul-Henning Kamp 	if (error)
4483d903220SDoug Rabson 		return error;
4493d903220SDoug Rabson 	if (uap->size && uap->size > shmseg->shm_segsz)
4503d903220SDoug Rabson 		return EINVAL;
4510209e040SJoerg Wunsch        if ((uap->shmflg & (IPC_CREAT | IPC_EXCL)) == (IPC_CREAT | IPC_EXCL))
4523d903220SDoug Rabson 		return EEXIST;
4533d903220SDoug Rabson 	*retval = IXSEQ_TO_IPCID(segnum, shmseg->shm_perm);
4543d903220SDoug Rabson 	return 0;
4553d903220SDoug Rabson }
4563d903220SDoug Rabson 
4573d903220SDoug Rabson static int
4583d903220SDoug Rabson shmget_allocate_segment(p, uap, mode, retval)
4593d903220SDoug Rabson 	struct proc *p;
4603d903220SDoug Rabson 	struct shmget_args *uap;
4613d903220SDoug Rabson 	int mode;
4623d903220SDoug Rabson 	int *retval;
4633d903220SDoug Rabson {
464a51f7119SJohn Dyson 	int i, segnum, shmid, size;
4653d903220SDoug Rabson 	struct ucred *cred = p->p_ucred;
4663d903220SDoug Rabson 	struct shmid_ds *shmseg;
4673d903220SDoug Rabson 	struct shm_handle *shm_handle;
4683d903220SDoug Rabson 
4693d903220SDoug Rabson 	if (uap->size < shminfo.shmmin || uap->size > shminfo.shmmax)
4703d903220SDoug Rabson 		return EINVAL;
4713d903220SDoug Rabson 	if (shm_nused >= shminfo.shmmni) /* any shmids left? */
4723d903220SDoug Rabson 		return ENOSPC;
4739e609ddeSJoerg Wunsch 	size = round_page(uap->size);
4743d903220SDoug Rabson 	if (shm_committed + btoc(size) > shminfo.shmall)
4753d903220SDoug Rabson 		return ENOMEM;
4763d903220SDoug Rabson 	if (shm_last_free < 0) {
4773d903220SDoug Rabson 		for (i = 0; i < shminfo.shmmni; i++)
4783d903220SDoug Rabson 			if (shmsegs[i].shm_perm.mode & SHMSEG_FREE)
4793d903220SDoug Rabson 				break;
4803d903220SDoug Rabson 		if (i == shminfo.shmmni)
4813d903220SDoug Rabson 			panic("shmseg free count inconsistent");
4823d903220SDoug Rabson 		segnum = i;
4833d903220SDoug Rabson 	} else  {
4843d903220SDoug Rabson 		segnum = shm_last_free;
4853d903220SDoug Rabson 		shm_last_free = -1;
4863d903220SDoug Rabson 	}
4873d903220SDoug Rabson 	shmseg = &shmsegs[segnum];
4883d903220SDoug Rabson 	/*
4893d903220SDoug Rabson 	 * In case we sleep in malloc(), mark the segment present but deleted
4903d903220SDoug Rabson 	 * so that noone else tries to create the same key.
4913d903220SDoug Rabson 	 */
4923d903220SDoug Rabson 	shmseg->shm_perm.mode = SHMSEG_ALLOCATED | SHMSEG_REMOVED;
4933d903220SDoug Rabson 	shmseg->shm_perm.key = uap->key;
4943d903220SDoug Rabson 	shmseg->shm_perm.seq = (shmseg->shm_perm.seq + 1) & 0x7fff;
4953d903220SDoug Rabson 	shm_handle = (struct shm_handle *)
4963d903220SDoug Rabson 	    malloc(sizeof(struct shm_handle), M_SHM, M_WAITOK);
4973d903220SDoug Rabson 	shmid = IXSEQ_TO_IPCID(segnum, shmseg->shm_perm);
498a51f7119SJohn Dyson 
499a51f7119SJohn Dyson 	shm_handle->shm_object =
500a51f7119SJohn Dyson 		vm_object_allocate(OBJT_DEFAULT, round_page(size)/PAGE_SIZE);
5013d903220SDoug Rabson 	shmseg->shm_internal = shm_handle;
5023d903220SDoug Rabson 	shmseg->shm_perm.cuid = shmseg->shm_perm.uid = cred->cr_uid;
5033d903220SDoug Rabson 	shmseg->shm_perm.cgid = shmseg->shm_perm.gid = cred->cr_gid;
5043d903220SDoug Rabson 	shmseg->shm_perm.mode = (shmseg->shm_perm.mode & SHMSEG_WANTED) |
5053d903220SDoug Rabson 	    (mode & ACCESSPERMS) | SHMSEG_ALLOCATED;
5063d903220SDoug Rabson 	shmseg->shm_segsz = uap->size;
5073d903220SDoug Rabson 	shmseg->shm_cpid = p->p_pid;
5083d903220SDoug Rabson 	shmseg->shm_lpid = shmseg->shm_nattch = 0;
5093d903220SDoug Rabson 	shmseg->shm_atime = shmseg->shm_dtime = 0;
5103d903220SDoug Rabson 	shmseg->shm_ctime = time.tv_sec;
5113d903220SDoug Rabson 	shm_committed += btoc(size);
5123d903220SDoug Rabson 	shm_nused++;
5133d903220SDoug Rabson 	if (shmseg->shm_perm.mode & SHMSEG_WANTED) {
5143d903220SDoug Rabson 		/*
5153d903220SDoug Rabson 		 * Somebody else wanted this key while we were asleep.  Wake
5163d903220SDoug Rabson 		 * them up now.
5173d903220SDoug Rabson 		 */
5183d903220SDoug Rabson 		shmseg->shm_perm.mode &= ~SHMSEG_WANTED;
5193d903220SDoug Rabson 		wakeup((caddr_t)shmseg);
5203d903220SDoug Rabson 	}
5213d903220SDoug Rabson 	*retval = shmid;
5223d903220SDoug Rabson 	return 0;
5233d903220SDoug Rabson }
5243d903220SDoug Rabson 
5253d903220SDoug Rabson int
5263d903220SDoug Rabson shmget(p, uap, retval)
5273d903220SDoug Rabson 	struct proc *p;
5283d903220SDoug Rabson 	struct shmget_args *uap;
5293d903220SDoug Rabson 	int *retval;
5303d903220SDoug Rabson {
5313d903220SDoug Rabson 	int segnum, mode, error;
5323d903220SDoug Rabson 
5333d903220SDoug Rabson 	mode = uap->shmflg & ACCESSPERMS;
5343d903220SDoug Rabson 	if (uap->key != IPC_PRIVATE) {
5353d903220SDoug Rabson 	again:
5363d903220SDoug Rabson 		segnum = shm_find_segment_by_key(uap->key);
5373d903220SDoug Rabson 		if (segnum >= 0) {
5383d903220SDoug Rabson 			error = shmget_existing(p, uap, mode, segnum, retval);
5393d903220SDoug Rabson 			if (error == EAGAIN)
5403d903220SDoug Rabson 				goto again;
5413d903220SDoug Rabson 			return error;
5423d903220SDoug Rabson 		}
5433d903220SDoug Rabson 		if ((uap->shmflg & IPC_CREAT) == 0)
5443d903220SDoug Rabson 			return ENOENT;
5453d903220SDoug Rabson 	}
5463d903220SDoug Rabson 	return shmget_allocate_segment(p, uap, mode, retval);
5473d903220SDoug Rabson }
5483d903220SDoug Rabson 
5493d903220SDoug Rabson int
5503d903220SDoug Rabson shmsys(p, uap, retval)
5513d903220SDoug Rabson 	struct proc *p;
552725db531SBruce Evans 	/* XXX actually varargs. */
553725db531SBruce Evans 	struct shmsys_args /* {
554725db531SBruce Evans 		u_int	which;
555725db531SBruce Evans 		int	a2;
556725db531SBruce Evans 		int	a3;
557725db531SBruce Evans 		int	a4;
558725db531SBruce Evans 	} */ *uap;
5593d903220SDoug Rabson 	int *retval;
5603d903220SDoug Rabson {
5613d903220SDoug Rabson 
5623d903220SDoug Rabson 	if (uap->which >= sizeof(shmcalls)/sizeof(shmcalls[0]))
5633d903220SDoug Rabson 		return EINVAL;
564725db531SBruce Evans 	return ((*shmcalls[uap->which])(p, &uap->a2, retval));
5653d903220SDoug Rabson }
5663d903220SDoug Rabson 
5673d903220SDoug Rabson void
568dabee6feSPeter Wemm shmfork(p1, p2)
5693d903220SDoug Rabson 	struct proc *p1, *p2;
5703d903220SDoug Rabson {
5713d903220SDoug Rabson 	struct shmmap_state *shmmap_s;
5723d903220SDoug Rabson 	size_t size;
5733d903220SDoug Rabson 	int i;
5743d903220SDoug Rabson 
5753d903220SDoug Rabson 	size = shminfo.shmseg * sizeof(struct shmmap_state);
5763d903220SDoug Rabson 	shmmap_s = malloc(size, M_SHM, M_WAITOK);
5773d903220SDoug Rabson 	bcopy((caddr_t)p1->p_vmspace->vm_shm, (caddr_t)shmmap_s, size);
5783d903220SDoug Rabson 	p2->p_vmspace->vm_shm = (caddr_t)shmmap_s;
5793d903220SDoug Rabson 	for (i = 0; i < shminfo.shmseg; i++, shmmap_s++)
5803d903220SDoug Rabson 		if (shmmap_s->shmid != -1)
5813d903220SDoug Rabson 			shmsegs[IPCID_TO_IX(shmmap_s->shmid)].shm_nattch++;
5823d903220SDoug Rabson }
5833d903220SDoug Rabson 
5843d903220SDoug Rabson void
5853d903220SDoug Rabson shmexit(p)
5863d903220SDoug Rabson 	struct proc *p;
5873d903220SDoug Rabson {
5883d903220SDoug Rabson 	struct shmmap_state *shmmap_s;
5893d903220SDoug Rabson 	int i;
5903d903220SDoug Rabson 
5913d903220SDoug Rabson 	shmmap_s = (struct shmmap_state *)p->p_vmspace->vm_shm;
5923d903220SDoug Rabson 	for (i = 0; i < shminfo.shmseg; i++, shmmap_s++)
5933d903220SDoug Rabson 		if (shmmap_s->shmid != -1)
5943d903220SDoug Rabson 			shm_delete_mapping(p, shmmap_s);
5953d903220SDoug Rabson 	free((caddr_t)p->p_vmspace->vm_shm, M_SHM);
5963d903220SDoug Rabson 	p->p_vmspace->vm_shm = NULL;
5973d903220SDoug Rabson }
5983d903220SDoug Rabson 
5993d903220SDoug Rabson void
600725db531SBruce Evans shminit(dummy)
601725db531SBruce Evans 	void *dummy;
6023d903220SDoug Rabson {
6033d903220SDoug Rabson 	int i;
6043d903220SDoug Rabson 	for (i = 0; i < shminfo.shmmni; i++) {
6053d903220SDoug Rabson 		shmsegs[i].shm_perm.mode = SHMSEG_FREE;
6063d903220SDoug Rabson 		shmsegs[i].shm_perm.seq = 0;
6073d903220SDoug Rabson 	}
6083d903220SDoug Rabson 	shm_last_free = 0;
6093d903220SDoug Rabson 	shm_nused = 0;
6103d903220SDoug Rabson 	shm_committed = 0;
6113d903220SDoug Rabson }
612