xref: /freebsd/sys/kern/uipc_shm.c (revision 6bbee8e28ac29f267af2a8e2a7d8bc33a93c7158)
18e38aeffSJohn Baldwin /*-
28e38aeffSJohn Baldwin  * Copyright (c) 2006 Robert N. M. Watson
38e38aeffSJohn Baldwin  * All rights reserved.
48e38aeffSJohn Baldwin  *
58e38aeffSJohn Baldwin  * Redistribution and use in source and binary forms, with or without
68e38aeffSJohn Baldwin  * modification, are permitted provided that the following conditions
78e38aeffSJohn Baldwin  * are met:
88e38aeffSJohn Baldwin  * 1. Redistributions of source code must retain the above copyright
98e38aeffSJohn Baldwin  *    notice, this list of conditions and the following disclaimer.
108e38aeffSJohn Baldwin  * 2. Redistributions in binary form must reproduce the above copyright
118e38aeffSJohn Baldwin  *    notice, this list of conditions and the following disclaimer in the
128e38aeffSJohn Baldwin  *    documentation and/or other materials provided with the distribution.
138e38aeffSJohn Baldwin  *
148e38aeffSJohn Baldwin  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
158e38aeffSJohn Baldwin  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
168e38aeffSJohn Baldwin  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
178e38aeffSJohn Baldwin  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
188e38aeffSJohn Baldwin  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
198e38aeffSJohn Baldwin  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
208e38aeffSJohn Baldwin  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
218e38aeffSJohn Baldwin  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
228e38aeffSJohn Baldwin  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
238e38aeffSJohn Baldwin  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
248e38aeffSJohn Baldwin  * SUCH DAMAGE.
258e38aeffSJohn Baldwin  */
268e38aeffSJohn Baldwin 
278e38aeffSJohn Baldwin /*
288e38aeffSJohn Baldwin  * Support for shared swap-backed anonymous memory objects via
298e38aeffSJohn Baldwin  * shm_open(2) and shm_unlink(2).  While most of the implementation is
308e38aeffSJohn Baldwin  * here, vm_mmap.c contains mapping logic changes.
318e38aeffSJohn Baldwin  *
328e38aeffSJohn Baldwin  * TODO:
338e38aeffSJohn Baldwin  *
348e38aeffSJohn Baldwin  * (2) Need to export data to a userland tool via a sysctl.  Should ipcs(1)
358e38aeffSJohn Baldwin  *     and ipcrm(1) be expanded or should new tools to manage both POSIX
368e38aeffSJohn Baldwin  *     kernel semaphores and POSIX shared memory be written?
378e38aeffSJohn Baldwin  *
388e38aeffSJohn Baldwin  * (3) Add support for this file type to fstat(1).
398e38aeffSJohn Baldwin  *
408e38aeffSJohn Baldwin  * (4) Resource limits?  Does this need its own resource limits or are the
418e38aeffSJohn Baldwin  *     existing limits in mmap(2) sufficient?
428e38aeffSJohn Baldwin  *
438e38aeffSJohn Baldwin  * (5) Partial page truncation.  vnode_pager_setsize() will zero any parts
448e38aeffSJohn Baldwin  *     of a partially mapped page as a result of ftruncate(2)/truncate(2).
458e38aeffSJohn Baldwin  *     We can do the same (with the same pmap evil), but do we need to
468e38aeffSJohn Baldwin  *     worry about the bits on disk if the page is swapped out or will the
478e38aeffSJohn Baldwin  *     swapper zero the parts of a page that are invalid if the page is
488e38aeffSJohn Baldwin  *     swapped back in for us?
496bc1e9cdSJohn Baldwin  *
506bc1e9cdSJohn Baldwin  * (6) Add MAC support in mac_biba(4) and mac_mls(4).
516bc1e9cdSJohn Baldwin  *
526bc1e9cdSJohn Baldwin  * (7) Add a MAC check_create() hook for creating new named objects.
538e38aeffSJohn Baldwin  */
548e38aeffSJohn Baldwin 
558e38aeffSJohn Baldwin #include <sys/cdefs.h>
568e38aeffSJohn Baldwin __FBSDID("$FreeBSD$");
578e38aeffSJohn Baldwin 
588e38aeffSJohn Baldwin #include <sys/param.h>
598e38aeffSJohn Baldwin #include <sys/fcntl.h>
608e38aeffSJohn Baldwin #include <sys/file.h>
618e38aeffSJohn Baldwin #include <sys/filedesc.h>
628e38aeffSJohn Baldwin #include <sys/fnv_hash.h>
638e38aeffSJohn Baldwin #include <sys/kernel.h>
648e38aeffSJohn Baldwin #include <sys/lock.h>
658e38aeffSJohn Baldwin #include <sys/malloc.h>
668e38aeffSJohn Baldwin #include <sys/mman.h>
678e38aeffSJohn Baldwin #include <sys/mutex.h>
688e38aeffSJohn Baldwin #include <sys/proc.h>
698e38aeffSJohn Baldwin #include <sys/refcount.h>
708e38aeffSJohn Baldwin #include <sys/resourcevar.h>
718e38aeffSJohn Baldwin #include <sys/stat.h>
728e38aeffSJohn Baldwin #include <sys/sysctl.h>
738e38aeffSJohn Baldwin #include <sys/sysproto.h>
748e38aeffSJohn Baldwin #include <sys/systm.h>
758e38aeffSJohn Baldwin #include <sys/sx.h>
768e38aeffSJohn Baldwin #include <sys/time.h>
778e38aeffSJohn Baldwin #include <sys/vnode.h>
788e38aeffSJohn Baldwin 
798e38aeffSJohn Baldwin #include <security/mac/mac_framework.h>
808e38aeffSJohn Baldwin 
818e38aeffSJohn Baldwin #include <vm/vm.h>
828e38aeffSJohn Baldwin #include <vm/vm_param.h>
838e38aeffSJohn Baldwin #include <vm/pmap.h>
848e38aeffSJohn Baldwin #include <vm/vm_map.h>
858e38aeffSJohn Baldwin #include <vm/vm_object.h>
868e38aeffSJohn Baldwin #include <vm/vm_page.h>
878e38aeffSJohn Baldwin #include <vm/vm_pager.h>
888e38aeffSJohn Baldwin #include <vm/swap_pager.h>
898e38aeffSJohn Baldwin 
908e38aeffSJohn Baldwin struct shm_mapping {
918e38aeffSJohn Baldwin 	char		*sm_path;
928e38aeffSJohn Baldwin 	Fnv32_t		sm_fnv;
938e38aeffSJohn Baldwin 	struct shmfd	*sm_shmfd;
948e38aeffSJohn Baldwin 	LIST_ENTRY(shm_mapping) sm_link;
958e38aeffSJohn Baldwin };
968e38aeffSJohn Baldwin 
978e38aeffSJohn Baldwin static MALLOC_DEFINE(M_SHMFD, "shmfd", "shared memory file descriptor");
988e38aeffSJohn Baldwin static LIST_HEAD(, shm_mapping) *shm_dictionary;
998e38aeffSJohn Baldwin static struct sx shm_dict_lock;
1008e38aeffSJohn Baldwin static struct mtx shm_timestamp_lock;
1018e38aeffSJohn Baldwin static u_long shm_hash;
1028e38aeffSJohn Baldwin 
1038e38aeffSJohn Baldwin #define	SHM_HASH(fnv)	(&shm_dictionary[(fnv) & shm_hash])
1048e38aeffSJohn Baldwin 
1058e38aeffSJohn Baldwin static int	shm_access(struct shmfd *shmfd, struct ucred *ucred, int flags);
1068e38aeffSJohn Baldwin static struct shmfd *shm_alloc(struct ucred *ucred, mode_t mode);
1078e38aeffSJohn Baldwin static void	shm_dict_init(void *arg);
1088e38aeffSJohn Baldwin static void	shm_drop(struct shmfd *shmfd);
1098e38aeffSJohn Baldwin static struct shmfd *shm_hold(struct shmfd *shmfd);
1108e38aeffSJohn Baldwin static void	shm_insert(char *path, Fnv32_t fnv, struct shmfd *shmfd);
1118e38aeffSJohn Baldwin static struct shmfd *shm_lookup(char *path, Fnv32_t fnv);
1128e38aeffSJohn Baldwin static int	shm_remove(char *path, Fnv32_t fnv, struct ucred *ucred);
1133364c323SKonstantin Belousov static int	shm_dotruncate(struct shmfd *shmfd, off_t length);
1148e38aeffSJohn Baldwin 
1158e38aeffSJohn Baldwin static fo_rdwr_t	shm_read;
1168e38aeffSJohn Baldwin static fo_rdwr_t	shm_write;
1178e38aeffSJohn Baldwin static fo_truncate_t	shm_truncate;
1188e38aeffSJohn Baldwin static fo_ioctl_t	shm_ioctl;
1198e38aeffSJohn Baldwin static fo_poll_t	shm_poll;
1208e38aeffSJohn Baldwin static fo_kqfilter_t	shm_kqfilter;
1218e38aeffSJohn Baldwin static fo_stat_t	shm_stat;
1228e38aeffSJohn Baldwin static fo_close_t	shm_close;
1238e38aeffSJohn Baldwin 
1248e38aeffSJohn Baldwin /* File descriptor operations. */
1258e38aeffSJohn Baldwin static struct fileops shm_ops = {
1268e38aeffSJohn Baldwin 	.fo_read = shm_read,
1278e38aeffSJohn Baldwin 	.fo_write = shm_write,
1288e38aeffSJohn Baldwin 	.fo_truncate = shm_truncate,
1298e38aeffSJohn Baldwin 	.fo_ioctl = shm_ioctl,
1308e38aeffSJohn Baldwin 	.fo_poll = shm_poll,
1318e38aeffSJohn Baldwin 	.fo_kqfilter = shm_kqfilter,
1328e38aeffSJohn Baldwin 	.fo_stat = shm_stat,
1338e38aeffSJohn Baldwin 	.fo_close = shm_close,
1348e38aeffSJohn Baldwin 	.fo_flags = DFLAG_PASSABLE
1358e38aeffSJohn Baldwin };
1368e38aeffSJohn Baldwin 
1378e38aeffSJohn Baldwin FEATURE(posix_shm, "POSIX shared memory");
1388e38aeffSJohn Baldwin 
1398e38aeffSJohn Baldwin static int
1408e38aeffSJohn Baldwin shm_read(struct file *fp, struct uio *uio, struct ucred *active_cred,
1418e38aeffSJohn Baldwin     int flags, struct thread *td)
1428e38aeffSJohn Baldwin {
1438e38aeffSJohn Baldwin 
1448e38aeffSJohn Baldwin 	return (EOPNOTSUPP);
1458e38aeffSJohn Baldwin }
1468e38aeffSJohn Baldwin 
1478e38aeffSJohn Baldwin static int
1488e38aeffSJohn Baldwin shm_write(struct file *fp, struct uio *uio, struct ucred *active_cred,
1498e38aeffSJohn Baldwin     int flags, struct thread *td)
1508e38aeffSJohn Baldwin {
1518e38aeffSJohn Baldwin 
1528e38aeffSJohn Baldwin 	return (EOPNOTSUPP);
1538e38aeffSJohn Baldwin }
1548e38aeffSJohn Baldwin 
1558e38aeffSJohn Baldwin static int
1568e38aeffSJohn Baldwin shm_truncate(struct file *fp, off_t length, struct ucred *active_cred,
1578e38aeffSJohn Baldwin     struct thread *td)
1588e38aeffSJohn Baldwin {
1598e38aeffSJohn Baldwin 	struct shmfd *shmfd;
1608e38aeffSJohn Baldwin #ifdef MAC
1618e38aeffSJohn Baldwin 	int error;
1628e38aeffSJohn Baldwin #endif
1638e38aeffSJohn Baldwin 
1648e38aeffSJohn Baldwin 	shmfd = fp->f_data;
1658e38aeffSJohn Baldwin #ifdef MAC
1668e38aeffSJohn Baldwin 	error = mac_posixshm_check_truncate(active_cred, fp->f_cred, shmfd);
1678e38aeffSJohn Baldwin 	if (error)
1688e38aeffSJohn Baldwin 		return (error);
1698e38aeffSJohn Baldwin #endif
1703364c323SKonstantin Belousov 	return (shm_dotruncate(shmfd, length));
1718e38aeffSJohn Baldwin }
1728e38aeffSJohn Baldwin 
1738e38aeffSJohn Baldwin static int
1748e38aeffSJohn Baldwin shm_ioctl(struct file *fp, u_long com, void *data,
1758e38aeffSJohn Baldwin     struct ucred *active_cred, struct thread *td)
1768e38aeffSJohn Baldwin {
1778e38aeffSJohn Baldwin 
1788e38aeffSJohn Baldwin 	return (EOPNOTSUPP);
1798e38aeffSJohn Baldwin }
1808e38aeffSJohn Baldwin 
1818e38aeffSJohn Baldwin static int
1828e38aeffSJohn Baldwin shm_poll(struct file *fp, int events, struct ucred *active_cred,
1838e38aeffSJohn Baldwin     struct thread *td)
1848e38aeffSJohn Baldwin {
1858e38aeffSJohn Baldwin 
1868e38aeffSJohn Baldwin 	return (EOPNOTSUPP);
1878e38aeffSJohn Baldwin }
1888e38aeffSJohn Baldwin 
1898e38aeffSJohn Baldwin static int
1908e38aeffSJohn Baldwin shm_kqfilter(struct file *fp, struct knote *kn)
1918e38aeffSJohn Baldwin {
1928e38aeffSJohn Baldwin 
1938e38aeffSJohn Baldwin 	return (EOPNOTSUPP);
1948e38aeffSJohn Baldwin }
1958e38aeffSJohn Baldwin 
1968e38aeffSJohn Baldwin static int
1978e38aeffSJohn Baldwin shm_stat(struct file *fp, struct stat *sb, struct ucred *active_cred,
1988e38aeffSJohn Baldwin     struct thread *td)
1998e38aeffSJohn Baldwin {
2008e38aeffSJohn Baldwin 	struct shmfd *shmfd;
2018e38aeffSJohn Baldwin #ifdef MAC
2028e38aeffSJohn Baldwin 	int error;
2038e38aeffSJohn Baldwin #endif
2048e38aeffSJohn Baldwin 
2058e38aeffSJohn Baldwin 	shmfd = fp->f_data;
2068e38aeffSJohn Baldwin 
2078e38aeffSJohn Baldwin #ifdef MAC
2088e38aeffSJohn Baldwin 	error = mac_posixshm_check_stat(active_cred, fp->f_cred, shmfd);
2098e38aeffSJohn Baldwin 	if (error)
2108e38aeffSJohn Baldwin 		return (error);
2118e38aeffSJohn Baldwin #endif
2128e38aeffSJohn Baldwin 
2138e38aeffSJohn Baldwin 	/*
2148e38aeffSJohn Baldwin 	 * Attempt to return sanish values for fstat() on a memory file
2158e38aeffSJohn Baldwin 	 * descriptor.
2168e38aeffSJohn Baldwin 	 */
2178e38aeffSJohn Baldwin 	bzero(sb, sizeof(*sb));
2188e38aeffSJohn Baldwin 	sb->st_mode = S_IFREG | shmfd->shm_mode;		/* XXX */
2198e38aeffSJohn Baldwin 	sb->st_blksize = PAGE_SIZE;
2208e38aeffSJohn Baldwin 	sb->st_size = shmfd->shm_size;
2218e38aeffSJohn Baldwin 	sb->st_blocks = (sb->st_size + sb->st_blksize - 1) / sb->st_blksize;
222510ea843SEd Schouten 	sb->st_atim = shmfd->shm_atime;
223510ea843SEd Schouten 	sb->st_ctim = shmfd->shm_ctime;
224510ea843SEd Schouten 	sb->st_mtim = shmfd->shm_mtime;
225510ea843SEd Schouten 	sb->st_birthtim = shmfd->shm_birthtime;
2268e38aeffSJohn Baldwin 	sb->st_uid = shmfd->shm_uid;
2278e38aeffSJohn Baldwin 	sb->st_gid = shmfd->shm_gid;
2288e38aeffSJohn Baldwin 
2298e38aeffSJohn Baldwin 	return (0);
2308e38aeffSJohn Baldwin }
2318e38aeffSJohn Baldwin 
2328e38aeffSJohn Baldwin static int
2338e38aeffSJohn Baldwin shm_close(struct file *fp, struct thread *td)
2348e38aeffSJohn Baldwin {
2358e38aeffSJohn Baldwin 	struct shmfd *shmfd;
2368e38aeffSJohn Baldwin 
2378e38aeffSJohn Baldwin 	shmfd = fp->f_data;
2388e38aeffSJohn Baldwin 	fp->f_data = NULL;
2398e38aeffSJohn Baldwin 	shm_drop(shmfd);
2408e38aeffSJohn Baldwin 
2418e38aeffSJohn Baldwin 	return (0);
2428e38aeffSJohn Baldwin }
2438e38aeffSJohn Baldwin 
2443364c323SKonstantin Belousov static int
2458e38aeffSJohn Baldwin shm_dotruncate(struct shmfd *shmfd, off_t length)
2468e38aeffSJohn Baldwin {
2478e38aeffSJohn Baldwin 	vm_object_t object;
2488e38aeffSJohn Baldwin 	vm_page_t m;
2498e38aeffSJohn Baldwin 	vm_pindex_t nobjsize;
2503364c323SKonstantin Belousov 	vm_ooffset_t delta;
2518e38aeffSJohn Baldwin 
2528e38aeffSJohn Baldwin 	object = shmfd->shm_object;
2538e38aeffSJohn Baldwin 	VM_OBJECT_LOCK(object);
2548e38aeffSJohn Baldwin 	if (length == shmfd->shm_size) {
2558e38aeffSJohn Baldwin 		VM_OBJECT_UNLOCK(object);
2563364c323SKonstantin Belousov 		return (0);
2578e38aeffSJohn Baldwin 	}
2588e38aeffSJohn Baldwin 	nobjsize = OFF_TO_IDX(length + PAGE_MASK);
2598e38aeffSJohn Baldwin 
2608e38aeffSJohn Baldwin 	/* Are we shrinking?  If so, trim the end. */
2618e38aeffSJohn Baldwin 	if (length < shmfd->shm_size) {
2623364c323SKonstantin Belousov 		delta = ptoa(object->size - nobjsize);
2633364c323SKonstantin Belousov 
2648e38aeffSJohn Baldwin 		/* Toss in memory pages. */
2658e38aeffSJohn Baldwin 		if (nobjsize < object->size)
2668e38aeffSJohn Baldwin 			vm_object_page_remove(object, nobjsize, object->size,
267*6bbee8e2SAlan Cox 			    0);
2688e38aeffSJohn Baldwin 
2698e38aeffSJohn Baldwin 		/* Toss pages from swap. */
2708e38aeffSJohn Baldwin 		if (object->type == OBJT_SWAP)
2713364c323SKonstantin Belousov 			swap_pager_freespace(object, nobjsize, delta);
2723364c323SKonstantin Belousov 
2733364c323SKonstantin Belousov 		/* Free the swap accounted for shm */
274ef694c1aSEdward Tomasz Napierala 		swap_release_by_cred(delta, object->cred);
2753364c323SKonstantin Belousov 		object->charge -= delta;
2768e38aeffSJohn Baldwin 
2778e38aeffSJohn Baldwin 		/*
2788e38aeffSJohn Baldwin 		 * If the last page is partially mapped, then zero out
2798e38aeffSJohn Baldwin 		 * the garbage at the end of the page.  See comments
2803c33df62SAlan Cox 		 * in vnode_pager_setsize() for more details.
2818e38aeffSJohn Baldwin 		 *
2828e38aeffSJohn Baldwin 		 * XXXJHB: This handles in memory pages, but what about
2838e38aeffSJohn Baldwin 		 * a page swapped out to disk?
2848e38aeffSJohn Baldwin 		 */
2858e38aeffSJohn Baldwin 		if ((length & PAGE_MASK) &&
2868e38aeffSJohn Baldwin 		    (m = vm_page_lookup(object, OFF_TO_IDX(length))) != NULL &&
2878e38aeffSJohn Baldwin 		    m->valid != 0) {
2888e38aeffSJohn Baldwin 			int base = (int)length & PAGE_MASK;
2898e38aeffSJohn Baldwin 			int size = PAGE_SIZE - base;
2908e38aeffSJohn Baldwin 
2918e38aeffSJohn Baldwin 			pmap_zero_page_area(m, base, size);
2923c33df62SAlan Cox 
2933c33df62SAlan Cox 			/*
2943c33df62SAlan Cox 			 * Update the valid bits to reflect the blocks that
2953c33df62SAlan Cox 			 * have been zeroed.  Some of these valid bits may
2963c33df62SAlan Cox 			 * have already been set.
2973c33df62SAlan Cox 			 */
2983c33df62SAlan Cox 			vm_page_set_valid(m, base, size);
2993c33df62SAlan Cox 
3003c33df62SAlan Cox 			/*
3013c33df62SAlan Cox 			 * Round "base" to the next block boundary so that the
3023c33df62SAlan Cox 			 * dirty bit for a partially zeroed block is not
3033c33df62SAlan Cox 			 * cleared.
3043c33df62SAlan Cox 			 */
3053c33df62SAlan Cox 			base = roundup2(base, DEV_BSIZE);
3063c33df62SAlan Cox 
3073c33df62SAlan Cox 			vm_page_clear_dirty(m, base, PAGE_SIZE - base);
308fb73a5abSAlan Cox 		} else if ((length & PAGE_MASK) &&
309fb73a5abSAlan Cox 		    __predict_false(object->cache != NULL)) {
310fb73a5abSAlan Cox 			vm_page_cache_free(object, OFF_TO_IDX(length),
311fb73a5abSAlan Cox 			    nobjsize);
3128e38aeffSJohn Baldwin 		}
3133364c323SKonstantin Belousov 	} else {
3143364c323SKonstantin Belousov 
3153364c323SKonstantin Belousov 		/* Attempt to reserve the swap */
3163364c323SKonstantin Belousov 		delta = ptoa(nobjsize - object->size);
317ef694c1aSEdward Tomasz Napierala 		if (!swap_reserve_by_cred(delta, object->cred)) {
3183364c323SKonstantin Belousov 			VM_OBJECT_UNLOCK(object);
3193364c323SKonstantin Belousov 			return (ENOMEM);
3203364c323SKonstantin Belousov 		}
3213364c323SKonstantin Belousov 		object->charge += delta;
3228e38aeffSJohn Baldwin 	}
3238e38aeffSJohn Baldwin 	shmfd->shm_size = length;
3248e38aeffSJohn Baldwin 	mtx_lock(&shm_timestamp_lock);
3258e38aeffSJohn Baldwin 	vfs_timestamp(&shmfd->shm_ctime);
3268e38aeffSJohn Baldwin 	shmfd->shm_mtime = shmfd->shm_ctime;
3278e38aeffSJohn Baldwin 	mtx_unlock(&shm_timestamp_lock);
3288e38aeffSJohn Baldwin 	object->size = nobjsize;
3298e38aeffSJohn Baldwin 	VM_OBJECT_UNLOCK(object);
3303364c323SKonstantin Belousov 	return (0);
3318e38aeffSJohn Baldwin }
3328e38aeffSJohn Baldwin 
3338e38aeffSJohn Baldwin /*
3348e38aeffSJohn Baldwin  * shmfd object management including creation and reference counting
3358e38aeffSJohn Baldwin  * routines.
3368e38aeffSJohn Baldwin  */
3378e38aeffSJohn Baldwin static struct shmfd *
3388e38aeffSJohn Baldwin shm_alloc(struct ucred *ucred, mode_t mode)
3398e38aeffSJohn Baldwin {
3408e38aeffSJohn Baldwin 	struct shmfd *shmfd;
3418e38aeffSJohn Baldwin 
3428e38aeffSJohn Baldwin 	shmfd = malloc(sizeof(*shmfd), M_SHMFD, M_WAITOK | M_ZERO);
3438e38aeffSJohn Baldwin 	shmfd->shm_size = 0;
3448e38aeffSJohn Baldwin 	shmfd->shm_uid = ucred->cr_uid;
3458e38aeffSJohn Baldwin 	shmfd->shm_gid = ucred->cr_gid;
3468e38aeffSJohn Baldwin 	shmfd->shm_mode = mode;
3478e38aeffSJohn Baldwin 	shmfd->shm_object = vm_pager_allocate(OBJT_DEFAULT, NULL,
3483364c323SKonstantin Belousov 	    shmfd->shm_size, VM_PROT_DEFAULT, 0, ucred);
3498e38aeffSJohn Baldwin 	KASSERT(shmfd->shm_object != NULL, ("shm_create: vm_pager_allocate"));
350e384d8a8SAlan Cox 	VM_OBJECT_LOCK(shmfd->shm_object);
351e384d8a8SAlan Cox 	vm_object_clear_flag(shmfd->shm_object, OBJ_ONEMAPPING);
352e384d8a8SAlan Cox 	vm_object_set_flag(shmfd->shm_object, OBJ_NOSPLIT);
353e384d8a8SAlan Cox 	VM_OBJECT_UNLOCK(shmfd->shm_object);
3548e38aeffSJohn Baldwin 	vfs_timestamp(&shmfd->shm_birthtime);
3558e38aeffSJohn Baldwin 	shmfd->shm_atime = shmfd->shm_mtime = shmfd->shm_ctime =
3568e38aeffSJohn Baldwin 	    shmfd->shm_birthtime;
3578e38aeffSJohn Baldwin 	refcount_init(&shmfd->shm_refs, 1);
3588e38aeffSJohn Baldwin #ifdef MAC
3598e38aeffSJohn Baldwin 	mac_posixshm_init(shmfd);
3608e38aeffSJohn Baldwin 	mac_posixshm_create(ucred, shmfd);
3618e38aeffSJohn Baldwin #endif
3628e38aeffSJohn Baldwin 
3638e38aeffSJohn Baldwin 	return (shmfd);
3648e38aeffSJohn Baldwin }
3658e38aeffSJohn Baldwin 
3668e38aeffSJohn Baldwin static struct shmfd *
3678e38aeffSJohn Baldwin shm_hold(struct shmfd *shmfd)
3688e38aeffSJohn Baldwin {
3698e38aeffSJohn Baldwin 
3708e38aeffSJohn Baldwin 	refcount_acquire(&shmfd->shm_refs);
3718e38aeffSJohn Baldwin 	return (shmfd);
3728e38aeffSJohn Baldwin }
3738e38aeffSJohn Baldwin 
3748e38aeffSJohn Baldwin static void
3758e38aeffSJohn Baldwin shm_drop(struct shmfd *shmfd)
3768e38aeffSJohn Baldwin {
3778e38aeffSJohn Baldwin 
3788e38aeffSJohn Baldwin 	if (refcount_release(&shmfd->shm_refs)) {
3798e38aeffSJohn Baldwin #ifdef MAC
3808e38aeffSJohn Baldwin 		mac_posixshm_destroy(shmfd);
3818e38aeffSJohn Baldwin #endif
3828e38aeffSJohn Baldwin 		vm_object_deallocate(shmfd->shm_object);
3838e38aeffSJohn Baldwin 		free(shmfd, M_SHMFD);
3848e38aeffSJohn Baldwin 	}
3858e38aeffSJohn Baldwin }
3868e38aeffSJohn Baldwin 
3878e38aeffSJohn Baldwin /*
3888e38aeffSJohn Baldwin  * Determine if the credentials have sufficient permissions for a
3898e38aeffSJohn Baldwin  * specified combination of FREAD and FWRITE.
3908e38aeffSJohn Baldwin  */
3918e38aeffSJohn Baldwin static int
3928e38aeffSJohn Baldwin shm_access(struct shmfd *shmfd, struct ucred *ucred, int flags)
3938e38aeffSJohn Baldwin {
39415bc6b2bSEdward Tomasz Napierala 	accmode_t accmode;
3958e38aeffSJohn Baldwin 
39615bc6b2bSEdward Tomasz Napierala 	accmode = 0;
3978e38aeffSJohn Baldwin 	if (flags & FREAD)
39815bc6b2bSEdward Tomasz Napierala 		accmode |= VREAD;
3998e38aeffSJohn Baldwin 	if (flags & FWRITE)
40015bc6b2bSEdward Tomasz Napierala 		accmode |= VWRITE;
4018e38aeffSJohn Baldwin 	return (vaccess(VREG, shmfd->shm_mode, shmfd->shm_uid, shmfd->shm_gid,
40215bc6b2bSEdward Tomasz Napierala 	    accmode, ucred, NULL));
4038e38aeffSJohn Baldwin }
4048e38aeffSJohn Baldwin 
4058e38aeffSJohn Baldwin /*
4068e38aeffSJohn Baldwin  * Dictionary management.  We maintain an in-kernel dictionary to map
4078e38aeffSJohn Baldwin  * paths to shmfd objects.  We use the FNV hash on the path to store
4088e38aeffSJohn Baldwin  * the mappings in a hash table.
4098e38aeffSJohn Baldwin  */
4108e38aeffSJohn Baldwin static void
4118e38aeffSJohn Baldwin shm_dict_init(void *arg)
4128e38aeffSJohn Baldwin {
4138e38aeffSJohn Baldwin 
4148e38aeffSJohn Baldwin 	mtx_init(&shm_timestamp_lock, "shm timestamps", NULL, MTX_DEF);
4158e38aeffSJohn Baldwin 	sx_init(&shm_dict_lock, "shm dictionary");
4168e38aeffSJohn Baldwin 	shm_dictionary = hashinit(1024, M_SHMFD, &shm_hash);
4178e38aeffSJohn Baldwin }
4188e38aeffSJohn Baldwin SYSINIT(shm_dict_init, SI_SUB_SYSV_SHM, SI_ORDER_ANY, shm_dict_init, NULL);
4198e38aeffSJohn Baldwin 
4208e38aeffSJohn Baldwin static struct shmfd *
4218e38aeffSJohn Baldwin shm_lookup(char *path, Fnv32_t fnv)
4228e38aeffSJohn Baldwin {
4238e38aeffSJohn Baldwin 	struct shm_mapping *map;
4248e38aeffSJohn Baldwin 
4258e38aeffSJohn Baldwin 	LIST_FOREACH(map, SHM_HASH(fnv), sm_link) {
4268e38aeffSJohn Baldwin 		if (map->sm_fnv != fnv)
4278e38aeffSJohn Baldwin 			continue;
4288e38aeffSJohn Baldwin 		if (strcmp(map->sm_path, path) == 0)
4298e38aeffSJohn Baldwin 			return (map->sm_shmfd);
4308e38aeffSJohn Baldwin 	}
4318e38aeffSJohn Baldwin 
4328e38aeffSJohn Baldwin 	return (NULL);
4338e38aeffSJohn Baldwin }
4348e38aeffSJohn Baldwin 
4358e38aeffSJohn Baldwin static void
4368e38aeffSJohn Baldwin shm_insert(char *path, Fnv32_t fnv, struct shmfd *shmfd)
4378e38aeffSJohn Baldwin {
4388e38aeffSJohn Baldwin 	struct shm_mapping *map;
4398e38aeffSJohn Baldwin 
4408e38aeffSJohn Baldwin 	map = malloc(sizeof(struct shm_mapping), M_SHMFD, M_WAITOK);
4418e38aeffSJohn Baldwin 	map->sm_path = path;
4428e38aeffSJohn Baldwin 	map->sm_fnv = fnv;
4438e38aeffSJohn Baldwin 	map->sm_shmfd = shm_hold(shmfd);
4448e38aeffSJohn Baldwin 	LIST_INSERT_HEAD(SHM_HASH(fnv), map, sm_link);
4458e38aeffSJohn Baldwin }
4468e38aeffSJohn Baldwin 
4478e38aeffSJohn Baldwin static int
4488e38aeffSJohn Baldwin shm_remove(char *path, Fnv32_t fnv, struct ucred *ucred)
4498e38aeffSJohn Baldwin {
4508e38aeffSJohn Baldwin 	struct shm_mapping *map;
4518e38aeffSJohn Baldwin 	int error;
4528e38aeffSJohn Baldwin 
4538e38aeffSJohn Baldwin 	LIST_FOREACH(map, SHM_HASH(fnv), sm_link) {
4548e38aeffSJohn Baldwin 		if (map->sm_fnv != fnv)
4558e38aeffSJohn Baldwin 			continue;
4568e38aeffSJohn Baldwin 		if (strcmp(map->sm_path, path) == 0) {
4578e38aeffSJohn Baldwin #ifdef MAC
4588e38aeffSJohn Baldwin 			error = mac_posixshm_check_unlink(ucred, map->sm_shmfd);
4598e38aeffSJohn Baldwin 			if (error)
4608e38aeffSJohn Baldwin 				return (error);
4618e38aeffSJohn Baldwin #endif
4628e38aeffSJohn Baldwin 			error = shm_access(map->sm_shmfd, ucred,
4638e38aeffSJohn Baldwin 			    FREAD | FWRITE);
4648e38aeffSJohn Baldwin 			if (error)
4658e38aeffSJohn Baldwin 				return (error);
4668e38aeffSJohn Baldwin 			LIST_REMOVE(map, sm_link);
4678e38aeffSJohn Baldwin 			shm_drop(map->sm_shmfd);
4688e38aeffSJohn Baldwin 			free(map->sm_path, M_SHMFD);
4698e38aeffSJohn Baldwin 			free(map, M_SHMFD);
4708e38aeffSJohn Baldwin 			return (0);
4718e38aeffSJohn Baldwin 		}
4728e38aeffSJohn Baldwin 	}
4738e38aeffSJohn Baldwin 
4748e38aeffSJohn Baldwin 	return (ENOENT);
4758e38aeffSJohn Baldwin }
4768e38aeffSJohn Baldwin 
4778e38aeffSJohn Baldwin /* System calls. */
4788e38aeffSJohn Baldwin int
4798e38aeffSJohn Baldwin shm_open(struct thread *td, struct shm_open_args *uap)
4808e38aeffSJohn Baldwin {
4818e38aeffSJohn Baldwin 	struct filedesc *fdp;
4828e38aeffSJohn Baldwin 	struct shmfd *shmfd;
4838e38aeffSJohn Baldwin 	struct file *fp;
4848e38aeffSJohn Baldwin 	char *path;
4858e38aeffSJohn Baldwin 	Fnv32_t fnv;
4868e38aeffSJohn Baldwin 	mode_t cmode;
4878e38aeffSJohn Baldwin 	int fd, error;
4888e38aeffSJohn Baldwin 
4898e38aeffSJohn Baldwin 	if ((uap->flags & O_ACCMODE) != O_RDONLY &&
4908e38aeffSJohn Baldwin 	    (uap->flags & O_ACCMODE) != O_RDWR)
4918e38aeffSJohn Baldwin 		return (EINVAL);
4928e38aeffSJohn Baldwin 
4938e38aeffSJohn Baldwin 	if ((uap->flags & ~(O_ACCMODE | O_CREAT | O_EXCL | O_TRUNC)) != 0)
4948e38aeffSJohn Baldwin 		return (EINVAL);
4958e38aeffSJohn Baldwin 
4968e38aeffSJohn Baldwin 	fdp = td->td_proc->p_fd;
4978e38aeffSJohn Baldwin 	cmode = (uap->mode & ~fdp->fd_cmask) & ACCESSPERMS;
4988e38aeffSJohn Baldwin 
4991fe80828SKonstantin Belousov 	error = falloc(td, &fp, &fd, 0);
5008e38aeffSJohn Baldwin 	if (error)
5018e38aeffSJohn Baldwin 		return (error);
5028e38aeffSJohn Baldwin 
5038e38aeffSJohn Baldwin 	/* A SHM_ANON path pointer creates an anonymous object. */
5048e38aeffSJohn Baldwin 	if (uap->path == SHM_ANON) {
5058e38aeffSJohn Baldwin 		/* A read-only anonymous object is pointless. */
5068e38aeffSJohn Baldwin 		if ((uap->flags & O_ACCMODE) == O_RDONLY) {
5078e38aeffSJohn Baldwin 			fdclose(fdp, fp, fd, td);
5088e38aeffSJohn Baldwin 			fdrop(fp, td);
5098e38aeffSJohn Baldwin 			return (EINVAL);
5108e38aeffSJohn Baldwin 		}
5118e38aeffSJohn Baldwin 		shmfd = shm_alloc(td->td_ucred, cmode);
5128e38aeffSJohn Baldwin 	} else {
5138e38aeffSJohn Baldwin 		path = malloc(MAXPATHLEN, M_SHMFD, M_WAITOK);
5148e38aeffSJohn Baldwin 		error = copyinstr(uap->path, path, MAXPATHLEN, NULL);
5158e38aeffSJohn Baldwin 
5168e38aeffSJohn Baldwin 		/* Require paths to start with a '/' character. */
5178e38aeffSJohn Baldwin 		if (error == 0 && path[0] != '/')
5188e38aeffSJohn Baldwin 			error = EINVAL;
5198e38aeffSJohn Baldwin 		if (error) {
5208e38aeffSJohn Baldwin 			fdclose(fdp, fp, fd, td);
5218e38aeffSJohn Baldwin 			fdrop(fp, td);
5228e38aeffSJohn Baldwin 			free(path, M_SHMFD);
5238e38aeffSJohn Baldwin 			return (error);
5248e38aeffSJohn Baldwin 		}
5258e38aeffSJohn Baldwin 
5268e38aeffSJohn Baldwin 		fnv = fnv_32_str(path, FNV1_32_INIT);
5278e38aeffSJohn Baldwin 		sx_xlock(&shm_dict_lock);
5288e38aeffSJohn Baldwin 		shmfd = shm_lookup(path, fnv);
5298e38aeffSJohn Baldwin 		if (shmfd == NULL) {
5308e38aeffSJohn Baldwin 			/* Object does not yet exist, create it if requested. */
5318e38aeffSJohn Baldwin 			if (uap->flags & O_CREAT) {
5328e38aeffSJohn Baldwin 				shmfd = shm_alloc(td->td_ucred, cmode);
5338e38aeffSJohn Baldwin 				shm_insert(path, fnv, shmfd);
5348e38aeffSJohn Baldwin 			} else {
5358e38aeffSJohn Baldwin 				free(path, M_SHMFD);
5368e38aeffSJohn Baldwin 				error = ENOENT;
5378e38aeffSJohn Baldwin 			}
5388e38aeffSJohn Baldwin 		} else {
5398e38aeffSJohn Baldwin 			/*
5408e38aeffSJohn Baldwin 			 * Object already exists, obtain a new
5418e38aeffSJohn Baldwin 			 * reference if requested and permitted.
5428e38aeffSJohn Baldwin 			 */
5438e38aeffSJohn Baldwin 			free(path, M_SHMFD);
5448e38aeffSJohn Baldwin 			if ((uap->flags & (O_CREAT | O_EXCL)) ==
5458e38aeffSJohn Baldwin 			    (O_CREAT | O_EXCL))
5468e38aeffSJohn Baldwin 				error = EEXIST;
5478e38aeffSJohn Baldwin 			else {
5488e38aeffSJohn Baldwin #ifdef MAC
5498e38aeffSJohn Baldwin 				error = mac_posixshm_check_open(td->td_ucred,
5508e38aeffSJohn Baldwin 				    shmfd);
5518e38aeffSJohn Baldwin 				if (error == 0)
5528e38aeffSJohn Baldwin #endif
5538e38aeffSJohn Baldwin 				error = shm_access(shmfd, td->td_ucred,
5548e38aeffSJohn Baldwin 				    FFLAGS(uap->flags & O_ACCMODE));
5558e38aeffSJohn Baldwin 			}
5568e38aeffSJohn Baldwin 
5578e38aeffSJohn Baldwin 			/*
5588e38aeffSJohn Baldwin 			 * Truncate the file back to zero length if
5598e38aeffSJohn Baldwin 			 * O_TRUNC was specified and the object was
5608e38aeffSJohn Baldwin 			 * opened with read/write.
5618e38aeffSJohn Baldwin 			 */
5628e38aeffSJohn Baldwin 			if (error == 0 &&
5638e38aeffSJohn Baldwin 			    (uap->flags & (O_ACCMODE | O_TRUNC)) ==
5648e38aeffSJohn Baldwin 			    (O_RDWR | O_TRUNC)) {
5658e38aeffSJohn Baldwin #ifdef MAC
5668e38aeffSJohn Baldwin 				error = mac_posixshm_check_truncate(
5678e38aeffSJohn Baldwin 					td->td_ucred, fp->f_cred, shmfd);
5688e38aeffSJohn Baldwin 				if (error == 0)
5698e38aeffSJohn Baldwin #endif
5708e38aeffSJohn Baldwin 					shm_dotruncate(shmfd, 0);
5718e38aeffSJohn Baldwin 			}
5728e38aeffSJohn Baldwin 			if (error == 0)
5738e38aeffSJohn Baldwin 				shm_hold(shmfd);
5748e38aeffSJohn Baldwin 		}
5758e38aeffSJohn Baldwin 		sx_xunlock(&shm_dict_lock);
5768e38aeffSJohn Baldwin 
5778e38aeffSJohn Baldwin 		if (error) {
5788e38aeffSJohn Baldwin 			fdclose(fdp, fp, fd, td);
5798e38aeffSJohn Baldwin 			fdrop(fp, td);
5808e38aeffSJohn Baldwin 			return (error);
5818e38aeffSJohn Baldwin 		}
5828e38aeffSJohn Baldwin 	}
5838e38aeffSJohn Baldwin 
5848e38aeffSJohn Baldwin 	finit(fp, FFLAGS(uap->flags & O_ACCMODE), DTYPE_SHM, shmfd, &shm_ops);
5858e38aeffSJohn Baldwin 
5868e38aeffSJohn Baldwin 	FILEDESC_XLOCK(fdp);
5878e38aeffSJohn Baldwin 	if (fdp->fd_ofiles[fd] == fp)
5888e38aeffSJohn Baldwin 		fdp->fd_ofileflags[fd] |= UF_EXCLOSE;
5898e38aeffSJohn Baldwin 	FILEDESC_XUNLOCK(fdp);
5908e38aeffSJohn Baldwin 	td->td_retval[0] = fd;
5918e38aeffSJohn Baldwin 	fdrop(fp, td);
5928e38aeffSJohn Baldwin 
5938e38aeffSJohn Baldwin 	return (0);
5948e38aeffSJohn Baldwin }
5958e38aeffSJohn Baldwin 
5968e38aeffSJohn Baldwin int
5978e38aeffSJohn Baldwin shm_unlink(struct thread *td, struct shm_unlink_args *uap)
5988e38aeffSJohn Baldwin {
5998e38aeffSJohn Baldwin 	char *path;
6008e38aeffSJohn Baldwin 	Fnv32_t fnv;
6018e38aeffSJohn Baldwin 	int error;
6028e38aeffSJohn Baldwin 
6038e38aeffSJohn Baldwin 	path = malloc(MAXPATHLEN, M_TEMP, M_WAITOK);
6048e38aeffSJohn Baldwin 	error = copyinstr(uap->path, path, MAXPATHLEN, NULL);
6058e38aeffSJohn Baldwin 	if (error) {
6068e38aeffSJohn Baldwin 		free(path, M_TEMP);
6078e38aeffSJohn Baldwin 		return (error);
6088e38aeffSJohn Baldwin 	}
6098e38aeffSJohn Baldwin 
6108e38aeffSJohn Baldwin 	fnv = fnv_32_str(path, FNV1_32_INIT);
6118e38aeffSJohn Baldwin 	sx_xlock(&shm_dict_lock);
6128e38aeffSJohn Baldwin 	error = shm_remove(path, fnv, td->td_ucred);
6138e38aeffSJohn Baldwin 	sx_xunlock(&shm_dict_lock);
6148e38aeffSJohn Baldwin 	free(path, M_TEMP);
6158e38aeffSJohn Baldwin 
6168e38aeffSJohn Baldwin 	return (error);
6178e38aeffSJohn Baldwin }
6188e38aeffSJohn Baldwin 
6198e38aeffSJohn Baldwin /*
6208e38aeffSJohn Baldwin  * mmap() helper to validate mmap() requests against shm object state
6218e38aeffSJohn Baldwin  * and give mmap() the vm_object to use for the mapping.
6228e38aeffSJohn Baldwin  */
6238e38aeffSJohn Baldwin int
6248e38aeffSJohn Baldwin shm_mmap(struct shmfd *shmfd, vm_size_t objsize, vm_ooffset_t foff,
6258e38aeffSJohn Baldwin     vm_object_t *obj)
6268e38aeffSJohn Baldwin {
6278e38aeffSJohn Baldwin 
6288e38aeffSJohn Baldwin 	/*
6298e38aeffSJohn Baldwin 	 * XXXRW: This validation is probably insufficient, and subject to
6308e38aeffSJohn Baldwin 	 * sign errors.  It should be fixed.
6318e38aeffSJohn Baldwin 	 */
6326ee7dd87SAlexander Kabaev 	if (foff >= shmfd->shm_size ||
6336ee7dd87SAlexander Kabaev 	    foff + objsize > round_page(shmfd->shm_size))
6348e38aeffSJohn Baldwin 		return (EINVAL);
6358e38aeffSJohn Baldwin 
6368e38aeffSJohn Baldwin 	mtx_lock(&shm_timestamp_lock);
6378e38aeffSJohn Baldwin 	vfs_timestamp(&shmfd->shm_atime);
6388e38aeffSJohn Baldwin 	mtx_unlock(&shm_timestamp_lock);
6398e38aeffSJohn Baldwin 	vm_object_reference(shmfd->shm_object);
6408e38aeffSJohn Baldwin 	*obj = shmfd->shm_object;
6418e38aeffSJohn Baldwin 	return (0);
6428e38aeffSJohn Baldwin }
643