xref: /freebsd/sys/kern/uipc_shm.c (revision 3364c323e6ad143e0e95e2d1c7c3c3b880515860)
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;
2228e38aeffSJohn Baldwin 	sb->st_atimespec = shmfd->shm_atime;
2238e38aeffSJohn Baldwin 	sb->st_ctimespec = shmfd->shm_ctime;
2248e38aeffSJohn Baldwin 	sb->st_mtimespec = shmfd->shm_mtime;
2258e38aeffSJohn Baldwin 	sb->st_birthtimespec = 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,
2678e38aeffSJohn Baldwin 			    FALSE);
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 */
2743364c323SKonstantin Belousov 		swap_release_by_uid(delta, object->uip);
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 
3078e38aeffSJohn Baldwin 			vm_page_lock_queues();
3083c33df62SAlan Cox 			vm_page_clear_dirty(m, base, PAGE_SIZE - base);
3098e38aeffSJohn Baldwin 			vm_page_unlock_queues();
310fb73a5abSAlan Cox 		} else if ((length & PAGE_MASK) &&
311fb73a5abSAlan Cox 		    __predict_false(object->cache != NULL)) {
312fb73a5abSAlan Cox 			vm_page_cache_free(object, OFF_TO_IDX(length),
313fb73a5abSAlan Cox 			    nobjsize);
3148e38aeffSJohn Baldwin 		}
3153364c323SKonstantin Belousov 	} else {
3163364c323SKonstantin Belousov 
3173364c323SKonstantin Belousov 		/* Attempt to reserve the swap */
3183364c323SKonstantin Belousov 		delta = ptoa(nobjsize - object->size);
3193364c323SKonstantin Belousov 		if (!swap_reserve_by_uid(delta, object->uip)) {
3203364c323SKonstantin Belousov 			VM_OBJECT_UNLOCK(object);
3213364c323SKonstantin Belousov 			return (ENOMEM);
3223364c323SKonstantin Belousov 		}
3233364c323SKonstantin Belousov 		object->charge += delta;
3248e38aeffSJohn Baldwin 	}
3258e38aeffSJohn Baldwin 	shmfd->shm_size = length;
3268e38aeffSJohn Baldwin 	mtx_lock(&shm_timestamp_lock);
3278e38aeffSJohn Baldwin 	vfs_timestamp(&shmfd->shm_ctime);
3288e38aeffSJohn Baldwin 	shmfd->shm_mtime = shmfd->shm_ctime;
3298e38aeffSJohn Baldwin 	mtx_unlock(&shm_timestamp_lock);
3308e38aeffSJohn Baldwin 	object->size = nobjsize;
3318e38aeffSJohn Baldwin 	VM_OBJECT_UNLOCK(object);
3323364c323SKonstantin Belousov 	return (0);
3338e38aeffSJohn Baldwin }
3348e38aeffSJohn Baldwin 
3358e38aeffSJohn Baldwin /*
3368e38aeffSJohn Baldwin  * shmfd object management including creation and reference counting
3378e38aeffSJohn Baldwin  * routines.
3388e38aeffSJohn Baldwin  */
3398e38aeffSJohn Baldwin static struct shmfd *
3408e38aeffSJohn Baldwin shm_alloc(struct ucred *ucred, mode_t mode)
3418e38aeffSJohn Baldwin {
3428e38aeffSJohn Baldwin 	struct shmfd *shmfd;
3438e38aeffSJohn Baldwin 
3448e38aeffSJohn Baldwin 	shmfd = malloc(sizeof(*shmfd), M_SHMFD, M_WAITOK | M_ZERO);
3458e38aeffSJohn Baldwin 	shmfd->shm_size = 0;
3468e38aeffSJohn Baldwin 	shmfd->shm_uid = ucred->cr_uid;
3478e38aeffSJohn Baldwin 	shmfd->shm_gid = ucred->cr_gid;
3488e38aeffSJohn Baldwin 	shmfd->shm_mode = mode;
3498e38aeffSJohn Baldwin 	shmfd->shm_object = vm_pager_allocate(OBJT_DEFAULT, NULL,
3503364c323SKonstantin Belousov 	    shmfd->shm_size, VM_PROT_DEFAULT, 0, ucred);
3518e38aeffSJohn Baldwin 	KASSERT(shmfd->shm_object != NULL, ("shm_create: vm_pager_allocate"));
352e384d8a8SAlan Cox 	VM_OBJECT_LOCK(shmfd->shm_object);
353e384d8a8SAlan Cox 	vm_object_clear_flag(shmfd->shm_object, OBJ_ONEMAPPING);
354e384d8a8SAlan Cox 	vm_object_set_flag(shmfd->shm_object, OBJ_NOSPLIT);
355e384d8a8SAlan Cox 	VM_OBJECT_UNLOCK(shmfd->shm_object);
3568e38aeffSJohn Baldwin 	vfs_timestamp(&shmfd->shm_birthtime);
3578e38aeffSJohn Baldwin 	shmfd->shm_atime = shmfd->shm_mtime = shmfd->shm_ctime =
3588e38aeffSJohn Baldwin 	    shmfd->shm_birthtime;
3598e38aeffSJohn Baldwin 	refcount_init(&shmfd->shm_refs, 1);
3608e38aeffSJohn Baldwin #ifdef MAC
3618e38aeffSJohn Baldwin 	mac_posixshm_init(shmfd);
3628e38aeffSJohn Baldwin 	mac_posixshm_create(ucred, shmfd);
3638e38aeffSJohn Baldwin #endif
3648e38aeffSJohn Baldwin 
3658e38aeffSJohn Baldwin 	return (shmfd);
3668e38aeffSJohn Baldwin }
3678e38aeffSJohn Baldwin 
3688e38aeffSJohn Baldwin static struct shmfd *
3698e38aeffSJohn Baldwin shm_hold(struct shmfd *shmfd)
3708e38aeffSJohn Baldwin {
3718e38aeffSJohn Baldwin 
3728e38aeffSJohn Baldwin 	refcount_acquire(&shmfd->shm_refs);
3738e38aeffSJohn Baldwin 	return (shmfd);
3748e38aeffSJohn Baldwin }
3758e38aeffSJohn Baldwin 
3768e38aeffSJohn Baldwin static void
3778e38aeffSJohn Baldwin shm_drop(struct shmfd *shmfd)
3788e38aeffSJohn Baldwin {
3798e38aeffSJohn Baldwin 
3808e38aeffSJohn Baldwin 	if (refcount_release(&shmfd->shm_refs)) {
3818e38aeffSJohn Baldwin #ifdef MAC
3828e38aeffSJohn Baldwin 		mac_posixshm_destroy(shmfd);
3838e38aeffSJohn Baldwin #endif
3848e38aeffSJohn Baldwin 		vm_object_deallocate(shmfd->shm_object);
3858e38aeffSJohn Baldwin 		free(shmfd, M_SHMFD);
3868e38aeffSJohn Baldwin 	}
3878e38aeffSJohn Baldwin }
3888e38aeffSJohn Baldwin 
3898e38aeffSJohn Baldwin /*
3908e38aeffSJohn Baldwin  * Determine if the credentials have sufficient permissions for a
3918e38aeffSJohn Baldwin  * specified combination of FREAD and FWRITE.
3928e38aeffSJohn Baldwin  */
3938e38aeffSJohn Baldwin static int
3948e38aeffSJohn Baldwin shm_access(struct shmfd *shmfd, struct ucred *ucred, int flags)
3958e38aeffSJohn Baldwin {
39615bc6b2bSEdward Tomasz Napierala 	accmode_t accmode;
3978e38aeffSJohn Baldwin 
39815bc6b2bSEdward Tomasz Napierala 	accmode = 0;
3998e38aeffSJohn Baldwin 	if (flags & FREAD)
40015bc6b2bSEdward Tomasz Napierala 		accmode |= VREAD;
4018e38aeffSJohn Baldwin 	if (flags & FWRITE)
40215bc6b2bSEdward Tomasz Napierala 		accmode |= VWRITE;
4038e38aeffSJohn Baldwin 	return (vaccess(VREG, shmfd->shm_mode, shmfd->shm_uid, shmfd->shm_gid,
40415bc6b2bSEdward Tomasz Napierala 	    accmode, ucred, NULL));
4058e38aeffSJohn Baldwin }
4068e38aeffSJohn Baldwin 
4078e38aeffSJohn Baldwin /*
4088e38aeffSJohn Baldwin  * Dictionary management.  We maintain an in-kernel dictionary to map
4098e38aeffSJohn Baldwin  * paths to shmfd objects.  We use the FNV hash on the path to store
4108e38aeffSJohn Baldwin  * the mappings in a hash table.
4118e38aeffSJohn Baldwin  */
4128e38aeffSJohn Baldwin static void
4138e38aeffSJohn Baldwin shm_dict_init(void *arg)
4148e38aeffSJohn Baldwin {
4158e38aeffSJohn Baldwin 
4168e38aeffSJohn Baldwin 	mtx_init(&shm_timestamp_lock, "shm timestamps", NULL, MTX_DEF);
4178e38aeffSJohn Baldwin 	sx_init(&shm_dict_lock, "shm dictionary");
4188e38aeffSJohn Baldwin 	shm_dictionary = hashinit(1024, M_SHMFD, &shm_hash);
4198e38aeffSJohn Baldwin }
4208e38aeffSJohn Baldwin SYSINIT(shm_dict_init, SI_SUB_SYSV_SHM, SI_ORDER_ANY, shm_dict_init, NULL);
4218e38aeffSJohn Baldwin 
4228e38aeffSJohn Baldwin static struct shmfd *
4238e38aeffSJohn Baldwin shm_lookup(char *path, Fnv32_t fnv)
4248e38aeffSJohn Baldwin {
4258e38aeffSJohn Baldwin 	struct shm_mapping *map;
4268e38aeffSJohn Baldwin 
4278e38aeffSJohn Baldwin 	LIST_FOREACH(map, SHM_HASH(fnv), sm_link) {
4288e38aeffSJohn Baldwin 		if (map->sm_fnv != fnv)
4298e38aeffSJohn Baldwin 			continue;
4308e38aeffSJohn Baldwin 		if (strcmp(map->sm_path, path) == 0)
4318e38aeffSJohn Baldwin 			return (map->sm_shmfd);
4328e38aeffSJohn Baldwin 	}
4338e38aeffSJohn Baldwin 
4348e38aeffSJohn Baldwin 	return (NULL);
4358e38aeffSJohn Baldwin }
4368e38aeffSJohn Baldwin 
4378e38aeffSJohn Baldwin static void
4388e38aeffSJohn Baldwin shm_insert(char *path, Fnv32_t fnv, struct shmfd *shmfd)
4398e38aeffSJohn Baldwin {
4408e38aeffSJohn Baldwin 	struct shm_mapping *map;
4418e38aeffSJohn Baldwin 
4428e38aeffSJohn Baldwin 	map = malloc(sizeof(struct shm_mapping), M_SHMFD, M_WAITOK);
4438e38aeffSJohn Baldwin 	map->sm_path = path;
4448e38aeffSJohn Baldwin 	map->sm_fnv = fnv;
4458e38aeffSJohn Baldwin 	map->sm_shmfd = shm_hold(shmfd);
4468e38aeffSJohn Baldwin 	LIST_INSERT_HEAD(SHM_HASH(fnv), map, sm_link);
4478e38aeffSJohn Baldwin }
4488e38aeffSJohn Baldwin 
4498e38aeffSJohn Baldwin static int
4508e38aeffSJohn Baldwin shm_remove(char *path, Fnv32_t fnv, struct ucred *ucred)
4518e38aeffSJohn Baldwin {
4528e38aeffSJohn Baldwin 	struct shm_mapping *map;
4538e38aeffSJohn Baldwin 	int error;
4548e38aeffSJohn Baldwin 
4558e38aeffSJohn Baldwin 	LIST_FOREACH(map, SHM_HASH(fnv), sm_link) {
4568e38aeffSJohn Baldwin 		if (map->sm_fnv != fnv)
4578e38aeffSJohn Baldwin 			continue;
4588e38aeffSJohn Baldwin 		if (strcmp(map->sm_path, path) == 0) {
4598e38aeffSJohn Baldwin #ifdef MAC
4608e38aeffSJohn Baldwin 			error = mac_posixshm_check_unlink(ucred, map->sm_shmfd);
4618e38aeffSJohn Baldwin 			if (error)
4628e38aeffSJohn Baldwin 				return (error);
4638e38aeffSJohn Baldwin #endif
4648e38aeffSJohn Baldwin 			error = shm_access(map->sm_shmfd, ucred,
4658e38aeffSJohn Baldwin 			    FREAD | FWRITE);
4668e38aeffSJohn Baldwin 			if (error)
4678e38aeffSJohn Baldwin 				return (error);
4688e38aeffSJohn Baldwin 			LIST_REMOVE(map, sm_link);
4698e38aeffSJohn Baldwin 			shm_drop(map->sm_shmfd);
4708e38aeffSJohn Baldwin 			free(map->sm_path, M_SHMFD);
4718e38aeffSJohn Baldwin 			free(map, M_SHMFD);
4728e38aeffSJohn Baldwin 			return (0);
4738e38aeffSJohn Baldwin 		}
4748e38aeffSJohn Baldwin 	}
4758e38aeffSJohn Baldwin 
4768e38aeffSJohn Baldwin 	return (ENOENT);
4778e38aeffSJohn Baldwin }
4788e38aeffSJohn Baldwin 
4798e38aeffSJohn Baldwin /* System calls. */
4808e38aeffSJohn Baldwin int
4818e38aeffSJohn Baldwin shm_open(struct thread *td, struct shm_open_args *uap)
4828e38aeffSJohn Baldwin {
4838e38aeffSJohn Baldwin 	struct filedesc *fdp;
4848e38aeffSJohn Baldwin 	struct shmfd *shmfd;
4858e38aeffSJohn Baldwin 	struct file *fp;
4868e38aeffSJohn Baldwin 	char *path;
4878e38aeffSJohn Baldwin 	Fnv32_t fnv;
4888e38aeffSJohn Baldwin 	mode_t cmode;
4898e38aeffSJohn Baldwin 	int fd, error;
4908e38aeffSJohn Baldwin 
4918e38aeffSJohn Baldwin 	if ((uap->flags & O_ACCMODE) != O_RDONLY &&
4928e38aeffSJohn Baldwin 	    (uap->flags & O_ACCMODE) != O_RDWR)
4938e38aeffSJohn Baldwin 		return (EINVAL);
4948e38aeffSJohn Baldwin 
4958e38aeffSJohn Baldwin 	if ((uap->flags & ~(O_ACCMODE | O_CREAT | O_EXCL | O_TRUNC)) != 0)
4968e38aeffSJohn Baldwin 		return (EINVAL);
4978e38aeffSJohn Baldwin 
4988e38aeffSJohn Baldwin 	fdp = td->td_proc->p_fd;
4998e38aeffSJohn Baldwin 	cmode = (uap->mode & ~fdp->fd_cmask) & ACCESSPERMS;
5008e38aeffSJohn Baldwin 
5018e38aeffSJohn Baldwin 	error = falloc(td, &fp, &fd);
5028e38aeffSJohn Baldwin 	if (error)
5038e38aeffSJohn Baldwin 		return (error);
5048e38aeffSJohn Baldwin 
5058e38aeffSJohn Baldwin 	/* A SHM_ANON path pointer creates an anonymous object. */
5068e38aeffSJohn Baldwin 	if (uap->path == SHM_ANON) {
5078e38aeffSJohn Baldwin 		/* A read-only anonymous object is pointless. */
5088e38aeffSJohn Baldwin 		if ((uap->flags & O_ACCMODE) == O_RDONLY) {
5098e38aeffSJohn Baldwin 			fdclose(fdp, fp, fd, td);
5108e38aeffSJohn Baldwin 			fdrop(fp, td);
5118e38aeffSJohn Baldwin 			return (EINVAL);
5128e38aeffSJohn Baldwin 		}
5138e38aeffSJohn Baldwin 		shmfd = shm_alloc(td->td_ucred, cmode);
5148e38aeffSJohn Baldwin 	} else {
5158e38aeffSJohn Baldwin 		path = malloc(MAXPATHLEN, M_SHMFD, M_WAITOK);
5168e38aeffSJohn Baldwin 		error = copyinstr(uap->path, path, MAXPATHLEN, NULL);
5178e38aeffSJohn Baldwin 
5188e38aeffSJohn Baldwin 		/* Require paths to start with a '/' character. */
5198e38aeffSJohn Baldwin 		if (error == 0 && path[0] != '/')
5208e38aeffSJohn Baldwin 			error = EINVAL;
5218e38aeffSJohn Baldwin 		if (error) {
5228e38aeffSJohn Baldwin 			fdclose(fdp, fp, fd, td);
5238e38aeffSJohn Baldwin 			fdrop(fp, td);
5248e38aeffSJohn Baldwin 			free(path, M_SHMFD);
5258e38aeffSJohn Baldwin 			return (error);
5268e38aeffSJohn Baldwin 		}
5278e38aeffSJohn Baldwin 
5288e38aeffSJohn Baldwin 		fnv = fnv_32_str(path, FNV1_32_INIT);
5298e38aeffSJohn Baldwin 		sx_xlock(&shm_dict_lock);
5308e38aeffSJohn Baldwin 		shmfd = shm_lookup(path, fnv);
5318e38aeffSJohn Baldwin 		if (shmfd == NULL) {
5328e38aeffSJohn Baldwin 			/* Object does not yet exist, create it if requested. */
5338e38aeffSJohn Baldwin 			if (uap->flags & O_CREAT) {
5348e38aeffSJohn Baldwin 				shmfd = shm_alloc(td->td_ucred, cmode);
5358e38aeffSJohn Baldwin 				shm_insert(path, fnv, shmfd);
5368e38aeffSJohn Baldwin 			} else {
5378e38aeffSJohn Baldwin 				free(path, M_SHMFD);
5388e38aeffSJohn Baldwin 				error = ENOENT;
5398e38aeffSJohn Baldwin 			}
5408e38aeffSJohn Baldwin 		} else {
5418e38aeffSJohn Baldwin 			/*
5428e38aeffSJohn Baldwin 			 * Object already exists, obtain a new
5438e38aeffSJohn Baldwin 			 * reference if requested and permitted.
5448e38aeffSJohn Baldwin 			 */
5458e38aeffSJohn Baldwin 			free(path, M_SHMFD);
5468e38aeffSJohn Baldwin 			if ((uap->flags & (O_CREAT | O_EXCL)) ==
5478e38aeffSJohn Baldwin 			    (O_CREAT | O_EXCL))
5488e38aeffSJohn Baldwin 				error = EEXIST;
5498e38aeffSJohn Baldwin 			else {
5508e38aeffSJohn Baldwin #ifdef MAC
5518e38aeffSJohn Baldwin 				error = mac_posixshm_check_open(td->td_ucred,
5528e38aeffSJohn Baldwin 				    shmfd);
5538e38aeffSJohn Baldwin 				if (error == 0)
5548e38aeffSJohn Baldwin #endif
5558e38aeffSJohn Baldwin 				error = shm_access(shmfd, td->td_ucred,
5568e38aeffSJohn Baldwin 				    FFLAGS(uap->flags & O_ACCMODE));
5578e38aeffSJohn Baldwin 			}
5588e38aeffSJohn Baldwin 
5598e38aeffSJohn Baldwin 			/*
5608e38aeffSJohn Baldwin 			 * Truncate the file back to zero length if
5618e38aeffSJohn Baldwin 			 * O_TRUNC was specified and the object was
5628e38aeffSJohn Baldwin 			 * opened with read/write.
5638e38aeffSJohn Baldwin 			 */
5648e38aeffSJohn Baldwin 			if (error == 0 &&
5658e38aeffSJohn Baldwin 			    (uap->flags & (O_ACCMODE | O_TRUNC)) ==
5668e38aeffSJohn Baldwin 			    (O_RDWR | O_TRUNC)) {
5678e38aeffSJohn Baldwin #ifdef MAC
5688e38aeffSJohn Baldwin 				error = mac_posixshm_check_truncate(
5698e38aeffSJohn Baldwin 					td->td_ucred, fp->f_cred, shmfd);
5708e38aeffSJohn Baldwin 				if (error == 0)
5718e38aeffSJohn Baldwin #endif
5728e38aeffSJohn Baldwin 					shm_dotruncate(shmfd, 0);
5738e38aeffSJohn Baldwin 			}
5748e38aeffSJohn Baldwin 			if (error == 0)
5758e38aeffSJohn Baldwin 				shm_hold(shmfd);
5768e38aeffSJohn Baldwin 		}
5778e38aeffSJohn Baldwin 		sx_xunlock(&shm_dict_lock);
5788e38aeffSJohn Baldwin 
5798e38aeffSJohn Baldwin 		if (error) {
5808e38aeffSJohn Baldwin 			fdclose(fdp, fp, fd, td);
5818e38aeffSJohn Baldwin 			fdrop(fp, td);
5828e38aeffSJohn Baldwin 			return (error);
5838e38aeffSJohn Baldwin 		}
5848e38aeffSJohn Baldwin 	}
5858e38aeffSJohn Baldwin 
5868e38aeffSJohn Baldwin 	finit(fp, FFLAGS(uap->flags & O_ACCMODE), DTYPE_SHM, shmfd, &shm_ops);
5878e38aeffSJohn Baldwin 
5888e38aeffSJohn Baldwin 	FILEDESC_XLOCK(fdp);
5898e38aeffSJohn Baldwin 	if (fdp->fd_ofiles[fd] == fp)
5908e38aeffSJohn Baldwin 		fdp->fd_ofileflags[fd] |= UF_EXCLOSE;
5918e38aeffSJohn Baldwin 	FILEDESC_XUNLOCK(fdp);
5928e38aeffSJohn Baldwin 	td->td_retval[0] = fd;
5938e38aeffSJohn Baldwin 	fdrop(fp, td);
5948e38aeffSJohn Baldwin 
5958e38aeffSJohn Baldwin 	return (0);
5968e38aeffSJohn Baldwin }
5978e38aeffSJohn Baldwin 
5988e38aeffSJohn Baldwin int
5998e38aeffSJohn Baldwin shm_unlink(struct thread *td, struct shm_unlink_args *uap)
6008e38aeffSJohn Baldwin {
6018e38aeffSJohn Baldwin 	char *path;
6028e38aeffSJohn Baldwin 	Fnv32_t fnv;
6038e38aeffSJohn Baldwin 	int error;
6048e38aeffSJohn Baldwin 
6058e38aeffSJohn Baldwin 	path = malloc(MAXPATHLEN, M_TEMP, M_WAITOK);
6068e38aeffSJohn Baldwin 	error = copyinstr(uap->path, path, MAXPATHLEN, NULL);
6078e38aeffSJohn Baldwin 	if (error) {
6088e38aeffSJohn Baldwin 		free(path, M_TEMP);
6098e38aeffSJohn Baldwin 		return (error);
6108e38aeffSJohn Baldwin 	}
6118e38aeffSJohn Baldwin 
6128e38aeffSJohn Baldwin 	fnv = fnv_32_str(path, FNV1_32_INIT);
6138e38aeffSJohn Baldwin 	sx_xlock(&shm_dict_lock);
6148e38aeffSJohn Baldwin 	error = shm_remove(path, fnv, td->td_ucred);
6158e38aeffSJohn Baldwin 	sx_xunlock(&shm_dict_lock);
6168e38aeffSJohn Baldwin 	free(path, M_TEMP);
6178e38aeffSJohn Baldwin 
6188e38aeffSJohn Baldwin 	return (error);
6198e38aeffSJohn Baldwin }
6208e38aeffSJohn Baldwin 
6218e38aeffSJohn Baldwin /*
6228e38aeffSJohn Baldwin  * mmap() helper to validate mmap() requests against shm object state
6238e38aeffSJohn Baldwin  * and give mmap() the vm_object to use for the mapping.
6248e38aeffSJohn Baldwin  */
6258e38aeffSJohn Baldwin int
6268e38aeffSJohn Baldwin shm_mmap(struct shmfd *shmfd, vm_size_t objsize, vm_ooffset_t foff,
6278e38aeffSJohn Baldwin     vm_object_t *obj)
6288e38aeffSJohn Baldwin {
6298e38aeffSJohn Baldwin 
6308e38aeffSJohn Baldwin 	/*
6318e38aeffSJohn Baldwin 	 * XXXRW: This validation is probably insufficient, and subject to
6328e38aeffSJohn Baldwin 	 * sign errors.  It should be fixed.
6338e38aeffSJohn Baldwin 	 */
6346ee7dd87SAlexander Kabaev 	if (foff >= shmfd->shm_size ||
6356ee7dd87SAlexander Kabaev 	    foff + objsize > round_page(shmfd->shm_size))
6368e38aeffSJohn Baldwin 		return (EINVAL);
6378e38aeffSJohn Baldwin 
6388e38aeffSJohn Baldwin 	mtx_lock(&shm_timestamp_lock);
6398e38aeffSJohn Baldwin 	vfs_timestamp(&shmfd->shm_atime);
6408e38aeffSJohn Baldwin 	mtx_unlock(&shm_timestamp_lock);
6418e38aeffSJohn Baldwin 	vm_object_reference(shmfd->shm_object);
6428e38aeffSJohn Baldwin 	*obj = shmfd->shm_object;
6438e38aeffSJohn Baldwin 	return (0);
6448e38aeffSJohn Baldwin }
645