xref: /freebsd/sys/kern/uipc_shm.c (revision 34d3e89f33eee51a46dfde5eaaaf1103ee1308ff)
18e38aeffSJohn Baldwin /*-
215bcf785SRobert Watson  * Copyright (c) 2006, 2011, 2016-2017 Robert N. M. Watson
38e38aeffSJohn Baldwin  * All rights reserved.
48e38aeffSJohn Baldwin  *
515bcf785SRobert Watson  * Portions of this software were developed by BAE Systems, the University of
615bcf785SRobert Watson  * Cambridge Computer Laboratory, and Memorial University under DARPA/AFRL
715bcf785SRobert Watson  * contract FA8650-15-C-7558 ("CADETS"), as part of the DARPA Transparent
815bcf785SRobert Watson  * Computing (TC) research program.
915bcf785SRobert Watson  *
108e38aeffSJohn Baldwin  * Redistribution and use in source and binary forms, with or without
118e38aeffSJohn Baldwin  * modification, are permitted provided that the following conditions
128e38aeffSJohn Baldwin  * are met:
138e38aeffSJohn Baldwin  * 1. Redistributions of source code must retain the above copyright
148e38aeffSJohn Baldwin  *    notice, this list of conditions and the following disclaimer.
158e38aeffSJohn Baldwin  * 2. Redistributions in binary form must reproduce the above copyright
168e38aeffSJohn Baldwin  *    notice, this list of conditions and the following disclaimer in the
178e38aeffSJohn Baldwin  *    documentation and/or other materials provided with the distribution.
188e38aeffSJohn Baldwin  *
198e38aeffSJohn Baldwin  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
208e38aeffSJohn Baldwin  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
218e38aeffSJohn Baldwin  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
228e38aeffSJohn Baldwin  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
238e38aeffSJohn Baldwin  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
248e38aeffSJohn Baldwin  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
258e38aeffSJohn Baldwin  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
268e38aeffSJohn Baldwin  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
278e38aeffSJohn Baldwin  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
288e38aeffSJohn Baldwin  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
298e38aeffSJohn Baldwin  * SUCH DAMAGE.
308e38aeffSJohn Baldwin  */
318e38aeffSJohn Baldwin 
328e38aeffSJohn Baldwin /*
338e38aeffSJohn Baldwin  * Support for shared swap-backed anonymous memory objects via
348e38aeffSJohn Baldwin  * shm_open(2) and shm_unlink(2).  While most of the implementation is
358e38aeffSJohn Baldwin  * here, vm_mmap.c contains mapping logic changes.
368e38aeffSJohn Baldwin  *
378e38aeffSJohn Baldwin  * TODO:
388e38aeffSJohn Baldwin  *
399b6dd12eSRobert Watson  * (1) Need to export data to a userland tool via a sysctl.  Should ipcs(1)
408e38aeffSJohn Baldwin  *     and ipcrm(1) be expanded or should new tools to manage both POSIX
418e38aeffSJohn Baldwin  *     kernel semaphores and POSIX shared memory be written?
428e38aeffSJohn Baldwin  *
439b6dd12eSRobert Watson  * (2) Add support for this file type to fstat(1).
448e38aeffSJohn Baldwin  *
459b6dd12eSRobert Watson  * (3) Resource limits?  Does this need its own resource limits or are the
468e38aeffSJohn Baldwin  *     existing limits in mmap(2) sufficient?
478e38aeffSJohn Baldwin  */
488e38aeffSJohn Baldwin 
498e38aeffSJohn Baldwin #include <sys/cdefs.h>
508e38aeffSJohn Baldwin __FBSDID("$FreeBSD$");
518e38aeffSJohn Baldwin 
5212bc222eSJonathan Anderson #include "opt_capsicum.h"
53551a7895SRui Paulo #include "opt_ktrace.h"
5412bc222eSJonathan Anderson 
558e38aeffSJohn Baldwin #include <sys/param.h>
564a144410SRobert Watson #include <sys/capsicum.h>
57610a2b3cSJohn Baldwin #include <sys/conf.h>
588e38aeffSJohn Baldwin #include <sys/fcntl.h>
598e38aeffSJohn Baldwin #include <sys/file.h>
608e38aeffSJohn Baldwin #include <sys/filedesc.h>
618e38aeffSJohn Baldwin #include <sys/fnv_hash.h>
628e38aeffSJohn Baldwin #include <sys/kernel.h>
63551a7895SRui Paulo #include <sys/uio.h>
64551a7895SRui Paulo #include <sys/signal.h>
65cc7b259aSJamie Gritton #include <sys/jail.h>
66551a7895SRui Paulo #include <sys/ktrace.h>
678e38aeffSJohn Baldwin #include <sys/lock.h>
688e38aeffSJohn Baldwin #include <sys/malloc.h>
698e38aeffSJohn Baldwin #include <sys/mman.h>
708e38aeffSJohn Baldwin #include <sys/mutex.h>
719c00bb91SKonstantin Belousov #include <sys/priv.h>
728e38aeffSJohn Baldwin #include <sys/proc.h>
738e38aeffSJohn Baldwin #include <sys/refcount.h>
748e38aeffSJohn Baldwin #include <sys/resourcevar.h>
7589f6b863SAttilio Rao #include <sys/rwlock.h>
768e38aeffSJohn Baldwin #include <sys/stat.h>
777ee1b208SEd Schouten #include <sys/syscallsubr.h>
788e38aeffSJohn Baldwin #include <sys/sysctl.h>
798e38aeffSJohn Baldwin #include <sys/sysproto.h>
808e38aeffSJohn Baldwin #include <sys/systm.h>
818e38aeffSJohn Baldwin #include <sys/sx.h>
828e38aeffSJohn Baldwin #include <sys/time.h>
838e38aeffSJohn Baldwin #include <sys/vnode.h>
84940cb0e2SKonstantin Belousov #include <sys/unistd.h>
859696feebSJohn Baldwin #include <sys/user.h>
868e38aeffSJohn Baldwin 
8715bcf785SRobert Watson #include <security/audit/audit.h>
888e38aeffSJohn Baldwin #include <security/mac/mac_framework.h>
898e38aeffSJohn Baldwin 
908e38aeffSJohn Baldwin #include <vm/vm.h>
918e38aeffSJohn Baldwin #include <vm/vm_param.h>
928e38aeffSJohn Baldwin #include <vm/pmap.h>
93338e7cf2SJohn Baldwin #include <vm/vm_extern.h>
948e38aeffSJohn Baldwin #include <vm/vm_map.h>
95fb680e16SJohn Baldwin #include <vm/vm_kern.h>
968e38aeffSJohn Baldwin #include <vm/vm_object.h>
978e38aeffSJohn Baldwin #include <vm/vm_page.h>
982971897dSAlan Cox #include <vm/vm_pageout.h>
998e38aeffSJohn Baldwin #include <vm/vm_pager.h>
1008e38aeffSJohn Baldwin #include <vm/swap_pager.h>
1018e38aeffSJohn Baldwin 
1028e38aeffSJohn Baldwin struct shm_mapping {
1038e38aeffSJohn Baldwin 	char		*sm_path;
1048e38aeffSJohn Baldwin 	Fnv32_t		sm_fnv;
1058e38aeffSJohn Baldwin 	struct shmfd	*sm_shmfd;
1068e38aeffSJohn Baldwin 	LIST_ENTRY(shm_mapping) sm_link;
1078e38aeffSJohn Baldwin };
1088e38aeffSJohn Baldwin 
1098e38aeffSJohn Baldwin static MALLOC_DEFINE(M_SHMFD, "shmfd", "shared memory file descriptor");
1108e38aeffSJohn Baldwin static LIST_HEAD(, shm_mapping) *shm_dictionary;
1118e38aeffSJohn Baldwin static struct sx shm_dict_lock;
1128e38aeffSJohn Baldwin static struct mtx shm_timestamp_lock;
1138e38aeffSJohn Baldwin static u_long shm_hash;
114610a2b3cSJohn Baldwin static struct unrhdr *shm_ino_unr;
115610a2b3cSJohn Baldwin static dev_t shm_dev_ino;
1168e38aeffSJohn Baldwin 
1178e38aeffSJohn Baldwin #define	SHM_HASH(fnv)	(&shm_dictionary[(fnv) & shm_hash])
1188e38aeffSJohn Baldwin 
1195be725d7SAndreas Tobler static void	shm_init(void *arg);
1208e38aeffSJohn Baldwin static void	shm_insert(char *path, Fnv32_t fnv, struct shmfd *shmfd);
1218e38aeffSJohn Baldwin static struct shmfd *shm_lookup(char *path, Fnv32_t fnv);
1228e38aeffSJohn Baldwin static int	shm_remove(char *path, Fnv32_t fnv, struct ucred *ucred);
1238e38aeffSJohn Baldwin 
1248e38aeffSJohn Baldwin static fo_rdwr_t	shm_read;
1258e38aeffSJohn Baldwin static fo_rdwr_t	shm_write;
1268e38aeffSJohn Baldwin static fo_truncate_t	shm_truncate;
1278e38aeffSJohn Baldwin static fo_stat_t	shm_stat;
1288e38aeffSJohn Baldwin static fo_close_t	shm_close;
1299c00bb91SKonstantin Belousov static fo_chmod_t	shm_chmod;
1309c00bb91SKonstantin Belousov static fo_chown_t	shm_chown;
131940cb0e2SKonstantin Belousov static fo_seek_t	shm_seek;
1329696feebSJohn Baldwin static fo_fill_kinfo_t	shm_fill_kinfo;
1337077c426SJohn Baldwin static fo_mmap_t	shm_mmap;
1348e38aeffSJohn Baldwin 
1358e38aeffSJohn Baldwin /* File descriptor operations. */
1361bdbd705SKonstantin Belousov struct fileops shm_ops = {
1378e38aeffSJohn Baldwin 	.fo_read = shm_read,
1388e38aeffSJohn Baldwin 	.fo_write = shm_write,
1398e38aeffSJohn Baldwin 	.fo_truncate = shm_truncate,
1402d69d0dcSJohn Baldwin 	.fo_ioctl = invfo_ioctl,
1412d69d0dcSJohn Baldwin 	.fo_poll = invfo_poll,
1422d69d0dcSJohn Baldwin 	.fo_kqfilter = invfo_kqfilter,
1438e38aeffSJohn Baldwin 	.fo_stat = shm_stat,
1448e38aeffSJohn Baldwin 	.fo_close = shm_close,
1459c00bb91SKonstantin Belousov 	.fo_chmod = shm_chmod,
1469c00bb91SKonstantin Belousov 	.fo_chown = shm_chown,
147227aaa86SKonstantin Belousov 	.fo_sendfile = vn_sendfile,
148940cb0e2SKonstantin Belousov 	.fo_seek = shm_seek,
1499696feebSJohn Baldwin 	.fo_fill_kinfo = shm_fill_kinfo,
1507077c426SJohn Baldwin 	.fo_mmap = shm_mmap,
151940cb0e2SKonstantin Belousov 	.fo_flags = DFLAG_PASSABLE | DFLAG_SEEKABLE
1528e38aeffSJohn Baldwin };
1538e38aeffSJohn Baldwin 
1548e38aeffSJohn Baldwin FEATURE(posix_shm, "POSIX shared memory");
1558e38aeffSJohn Baldwin 
1568e38aeffSJohn Baldwin static int
15741cf41fdSKonstantin Belousov uiomove_object_page(vm_object_t obj, size_t len, struct uio *uio)
15841cf41fdSKonstantin Belousov {
15941cf41fdSKonstantin Belousov 	vm_page_t m;
16041cf41fdSKonstantin Belousov 	vm_pindex_t idx;
16141cf41fdSKonstantin Belousov 	size_t tlen;
16241cf41fdSKonstantin Belousov 	int error, offset, rv;
16341cf41fdSKonstantin Belousov 
16441cf41fdSKonstantin Belousov 	idx = OFF_TO_IDX(uio->uio_offset);
16541cf41fdSKonstantin Belousov 	offset = uio->uio_offset & PAGE_MASK;
16641cf41fdSKonstantin Belousov 	tlen = MIN(PAGE_SIZE - offset, len);
16741cf41fdSKonstantin Belousov 
16841cf41fdSKonstantin Belousov 	VM_OBJECT_WLOCK(obj);
16941cf41fdSKonstantin Belousov 
17041cf41fdSKonstantin Belousov 	/*
1716311d7aaSWill Andrews 	 * Read I/O without either a corresponding resident page or swap
1726311d7aaSWill Andrews 	 * page: use zero_region.  This is intended to avoid instantiating
1736311d7aaSWill Andrews 	 * pages on read from a sparse region.
1746311d7aaSWill Andrews 	 */
1756311d7aaSWill Andrews 	if (uio->uio_rw == UIO_READ && vm_page_lookup(obj, idx) == NULL &&
1766311d7aaSWill Andrews 	    !vm_pager_has_page(obj, idx, NULL, NULL)) {
1776311d7aaSWill Andrews 		VM_OBJECT_WUNLOCK(obj);
178b9062c93SKonstantin Belousov 		return (uiomove(__DECONST(void *, zero_region), tlen, uio));
1796311d7aaSWill Andrews 	}
1806311d7aaSWill Andrews 
1816311d7aaSWill Andrews 	/*
18241cf41fdSKonstantin Belousov 	 * Parallel reads of the page content from disk are prevented
18341cf41fdSKonstantin Belousov 	 * by exclusive busy.
18441cf41fdSKonstantin Belousov 	 *
18541cf41fdSKonstantin Belousov 	 * Although the tmpfs vnode lock is held here, it is
18641cf41fdSKonstantin Belousov 	 * nonetheless safe to sleep waiting for a free page.  The
18741cf41fdSKonstantin Belousov 	 * pageout daemon does not need to acquire the tmpfs vnode
18841cf41fdSKonstantin Belousov 	 * lock to page out tobj's pages because tobj is a OBJT_SWAP
18941cf41fdSKonstantin Belousov 	 * type object.
19041cf41fdSKonstantin Belousov 	 */
191ce3ee09bSAlan Cox 	m = vm_page_grab(obj, idx, VM_ALLOC_NORMAL | VM_ALLOC_NOBUSY);
19241cf41fdSKonstantin Belousov 	if (m->valid != VM_PAGE_BITS_ALL) {
193ce3ee09bSAlan Cox 		vm_page_xbusy(m);
19441cf41fdSKonstantin Belousov 		if (vm_pager_has_page(obj, idx, NULL, NULL)) {
195b0cd2017SGleb Smirnoff 			rv = vm_pager_get_pages(obj, &m, 1, NULL, NULL);
19641cf41fdSKonstantin Belousov 			if (rv != VM_PAGER_OK) {
19741cf41fdSKonstantin Belousov 				printf(
19841cf41fdSKonstantin Belousov 	    "uiomove_object: vm_obj %p idx %jd valid %x pager error %d\n",
19941cf41fdSKonstantin Belousov 				    obj, idx, m->valid, rv);
20041cf41fdSKonstantin Belousov 				vm_page_lock(m);
20141cf41fdSKonstantin Belousov 				vm_page_free(m);
20241cf41fdSKonstantin Belousov 				vm_page_unlock(m);
20341cf41fdSKonstantin Belousov 				VM_OBJECT_WUNLOCK(obj);
20441cf41fdSKonstantin Belousov 				return (EIO);
20541cf41fdSKonstantin Belousov 			}
20641cf41fdSKonstantin Belousov 		} else
20741cf41fdSKonstantin Belousov 			vm_page_zero_invalid(m, TRUE);
20841cf41fdSKonstantin Belousov 		vm_page_xunbusy(m);
209ce3ee09bSAlan Cox 	}
21041cf41fdSKonstantin Belousov 	vm_page_lock(m);
21141cf41fdSKonstantin Belousov 	vm_page_hold(m);
21270978c93SKonstantin Belousov 	if (m->queue == PQ_NONE) {
21370978c93SKonstantin Belousov 		vm_page_deactivate(m);
21470978c93SKonstantin Belousov 	} else {
21570978c93SKonstantin Belousov 		/* Requeue to maintain LRU ordering. */
21670978c93SKonstantin Belousov 		vm_page_requeue(m);
21770978c93SKonstantin Belousov 	}
21841cf41fdSKonstantin Belousov 	vm_page_unlock(m);
21941cf41fdSKonstantin Belousov 	VM_OBJECT_WUNLOCK(obj);
22041cf41fdSKonstantin Belousov 	error = uiomove_fromphys(&m, offset, tlen, uio);
22141cf41fdSKonstantin Belousov 	if (uio->uio_rw == UIO_WRITE && error == 0) {
22241cf41fdSKonstantin Belousov 		VM_OBJECT_WLOCK(obj);
22341cf41fdSKonstantin Belousov 		vm_page_dirty(m);
2245d9b4508SKonstantin Belousov 		vm_pager_page_unswapped(m);
22541cf41fdSKonstantin Belousov 		VM_OBJECT_WUNLOCK(obj);
22641cf41fdSKonstantin Belousov 	}
22741cf41fdSKonstantin Belousov 	vm_page_lock(m);
22841cf41fdSKonstantin Belousov 	vm_page_unhold(m);
22941cf41fdSKonstantin Belousov 	vm_page_unlock(m);
23041cf41fdSKonstantin Belousov 
23141cf41fdSKonstantin Belousov 	return (error);
23241cf41fdSKonstantin Belousov }
23341cf41fdSKonstantin Belousov 
23441cf41fdSKonstantin Belousov int
23541cf41fdSKonstantin Belousov uiomove_object(vm_object_t obj, off_t obj_size, struct uio *uio)
23641cf41fdSKonstantin Belousov {
23741cf41fdSKonstantin Belousov 	ssize_t resid;
23841cf41fdSKonstantin Belousov 	size_t len;
23941cf41fdSKonstantin Belousov 	int error;
24041cf41fdSKonstantin Belousov 
24141cf41fdSKonstantin Belousov 	error = 0;
24241cf41fdSKonstantin Belousov 	while ((resid = uio->uio_resid) > 0) {
24341cf41fdSKonstantin Belousov 		if (obj_size <= uio->uio_offset)
24441cf41fdSKonstantin Belousov 			break;
24541cf41fdSKonstantin Belousov 		len = MIN(obj_size - uio->uio_offset, resid);
24641cf41fdSKonstantin Belousov 		if (len == 0)
24741cf41fdSKonstantin Belousov 			break;
24841cf41fdSKonstantin Belousov 		error = uiomove_object_page(obj, len, uio);
24941cf41fdSKonstantin Belousov 		if (error != 0 || resid == uio->uio_resid)
25041cf41fdSKonstantin Belousov 			break;
25141cf41fdSKonstantin Belousov 	}
25241cf41fdSKonstantin Belousov 	return (error);
25341cf41fdSKonstantin Belousov }
25441cf41fdSKonstantin Belousov 
25541cf41fdSKonstantin Belousov static int
256940cb0e2SKonstantin Belousov shm_seek(struct file *fp, off_t offset, int whence, struct thread *td)
257940cb0e2SKonstantin Belousov {
258940cb0e2SKonstantin Belousov 	struct shmfd *shmfd;
259940cb0e2SKonstantin Belousov 	off_t foffset;
260940cb0e2SKonstantin Belousov 	int error;
261940cb0e2SKonstantin Belousov 
262940cb0e2SKonstantin Belousov 	shmfd = fp->f_data;
263940cb0e2SKonstantin Belousov 	foffset = foffset_lock(fp, 0);
264940cb0e2SKonstantin Belousov 	error = 0;
265940cb0e2SKonstantin Belousov 	switch (whence) {
266940cb0e2SKonstantin Belousov 	case L_INCR:
267940cb0e2SKonstantin Belousov 		if (foffset < 0 ||
268940cb0e2SKonstantin Belousov 		    (offset > 0 && foffset > OFF_MAX - offset)) {
269940cb0e2SKonstantin Belousov 			error = EOVERFLOW;
270940cb0e2SKonstantin Belousov 			break;
271940cb0e2SKonstantin Belousov 		}
272940cb0e2SKonstantin Belousov 		offset += foffset;
273940cb0e2SKonstantin Belousov 		break;
274940cb0e2SKonstantin Belousov 	case L_XTND:
275940cb0e2SKonstantin Belousov 		if (offset > 0 && shmfd->shm_size > OFF_MAX - offset) {
276940cb0e2SKonstantin Belousov 			error = EOVERFLOW;
277940cb0e2SKonstantin Belousov 			break;
278940cb0e2SKonstantin Belousov 		}
279940cb0e2SKonstantin Belousov 		offset += shmfd->shm_size;
280940cb0e2SKonstantin Belousov 		break;
281940cb0e2SKonstantin Belousov 	case L_SET:
282940cb0e2SKonstantin Belousov 		break;
283940cb0e2SKonstantin Belousov 	default:
284940cb0e2SKonstantin Belousov 		error = EINVAL;
285940cb0e2SKonstantin Belousov 	}
286940cb0e2SKonstantin Belousov 	if (error == 0) {
287940cb0e2SKonstantin Belousov 		if (offset < 0 || offset > shmfd->shm_size)
288940cb0e2SKonstantin Belousov 			error = EINVAL;
289940cb0e2SKonstantin Belousov 		else
2906f2b769cSJohn-Mark Gurney 			td->td_uretoff.tdu_off = offset;
291940cb0e2SKonstantin Belousov 	}
292940cb0e2SKonstantin Belousov 	foffset_unlock(fp, offset, error != 0 ? FOF_NOUPDATE : 0);
293940cb0e2SKonstantin Belousov 	return (error);
294940cb0e2SKonstantin Belousov }
295940cb0e2SKonstantin Belousov 
296940cb0e2SKonstantin Belousov static int
2978e38aeffSJohn Baldwin shm_read(struct file *fp, struct uio *uio, struct ucred *active_cred,
2988e38aeffSJohn Baldwin     int flags, struct thread *td)
2998e38aeffSJohn Baldwin {
300940cb0e2SKonstantin Belousov 	struct shmfd *shmfd;
301940cb0e2SKonstantin Belousov 	void *rl_cookie;
302940cb0e2SKonstantin Belousov 	int error;
3038e38aeffSJohn Baldwin 
304940cb0e2SKonstantin Belousov 	shmfd = fp->f_data;
305940cb0e2SKonstantin Belousov #ifdef MAC
306940cb0e2SKonstantin Belousov 	error = mac_posixshm_check_read(active_cred, fp->f_cred, shmfd);
307940cb0e2SKonstantin Belousov 	if (error)
308940cb0e2SKonstantin Belousov 		return (error);
309940cb0e2SKonstantin Belousov #endif
3106ea906eeSJilles Tjoelker 	foffset_lock_uio(fp, uio, flags);
3116ea906eeSJilles Tjoelker 	rl_cookie = rangelock_rlock(&shmfd->shm_rl, uio->uio_offset,
3126ea906eeSJilles Tjoelker 	    uio->uio_offset + uio->uio_resid, &shmfd->shm_mtx);
313940cb0e2SKonstantin Belousov 	error = uiomove_object(shmfd->shm_object, shmfd->shm_size, uio);
314940cb0e2SKonstantin Belousov 	rangelock_unlock(&shmfd->shm_rl, rl_cookie, &shmfd->shm_mtx);
315940cb0e2SKonstantin Belousov 	foffset_unlock_uio(fp, uio, flags);
316940cb0e2SKonstantin Belousov 	return (error);
3178e38aeffSJohn Baldwin }
3188e38aeffSJohn Baldwin 
3198e38aeffSJohn Baldwin static int
3208e38aeffSJohn Baldwin shm_write(struct file *fp, struct uio *uio, struct ucred *active_cred,
3218e38aeffSJohn Baldwin     int flags, struct thread *td)
3228e38aeffSJohn Baldwin {
323940cb0e2SKonstantin Belousov 	struct shmfd *shmfd;
324940cb0e2SKonstantin Belousov 	void *rl_cookie;
325940cb0e2SKonstantin Belousov 	int error;
3268e38aeffSJohn Baldwin 
327940cb0e2SKonstantin Belousov 	shmfd = fp->f_data;
328940cb0e2SKonstantin Belousov #ifdef MAC
329940cb0e2SKonstantin Belousov 	error = mac_posixshm_check_write(active_cred, fp->f_cred, shmfd);
330940cb0e2SKonstantin Belousov 	if (error)
331940cb0e2SKonstantin Belousov 		return (error);
332940cb0e2SKonstantin Belousov #endif
333940cb0e2SKonstantin Belousov 	foffset_lock_uio(fp, uio, flags);
334940cb0e2SKonstantin Belousov 	if ((flags & FOF_OFFSET) == 0) {
335940cb0e2SKonstantin Belousov 		rl_cookie = rangelock_wlock(&shmfd->shm_rl, 0, OFF_MAX,
336940cb0e2SKonstantin Belousov 		    &shmfd->shm_mtx);
337940cb0e2SKonstantin Belousov 	} else {
338940cb0e2SKonstantin Belousov 		rl_cookie = rangelock_wlock(&shmfd->shm_rl, uio->uio_offset,
339940cb0e2SKonstantin Belousov 		    uio->uio_offset + uio->uio_resid, &shmfd->shm_mtx);
340940cb0e2SKonstantin Belousov 	}
341940cb0e2SKonstantin Belousov 
342940cb0e2SKonstantin Belousov 	error = uiomove_object(shmfd->shm_object, shmfd->shm_size, uio);
343940cb0e2SKonstantin Belousov 	rangelock_unlock(&shmfd->shm_rl, rl_cookie, &shmfd->shm_mtx);
344940cb0e2SKonstantin Belousov 	foffset_unlock_uio(fp, uio, flags);
345940cb0e2SKonstantin Belousov 	return (error);
3468e38aeffSJohn Baldwin }
3478e38aeffSJohn Baldwin 
3488e38aeffSJohn Baldwin static int
3498e38aeffSJohn Baldwin shm_truncate(struct file *fp, off_t length, struct ucred *active_cred,
3508e38aeffSJohn Baldwin     struct thread *td)
3518e38aeffSJohn Baldwin {
3528e38aeffSJohn Baldwin 	struct shmfd *shmfd;
3538e38aeffSJohn Baldwin #ifdef MAC
3548e38aeffSJohn Baldwin 	int error;
3558e38aeffSJohn Baldwin #endif
3568e38aeffSJohn Baldwin 
3578e38aeffSJohn Baldwin 	shmfd = fp->f_data;
3588e38aeffSJohn Baldwin #ifdef MAC
3598e38aeffSJohn Baldwin 	error = mac_posixshm_check_truncate(active_cred, fp->f_cred, shmfd);
3608e38aeffSJohn Baldwin 	if (error)
3618e38aeffSJohn Baldwin 		return (error);
3628e38aeffSJohn Baldwin #endif
3633364c323SKonstantin Belousov 	return (shm_dotruncate(shmfd, length));
3648e38aeffSJohn Baldwin }
3658e38aeffSJohn Baldwin 
3668e38aeffSJohn Baldwin static int
3678e38aeffSJohn Baldwin shm_stat(struct file *fp, struct stat *sb, struct ucred *active_cred,
3688e38aeffSJohn Baldwin     struct thread *td)
3698e38aeffSJohn Baldwin {
3708e38aeffSJohn Baldwin 	struct shmfd *shmfd;
3718e38aeffSJohn Baldwin #ifdef MAC
3728e38aeffSJohn Baldwin 	int error;
3738e38aeffSJohn Baldwin #endif
3748e38aeffSJohn Baldwin 
3758e38aeffSJohn Baldwin 	shmfd = fp->f_data;
3768e38aeffSJohn Baldwin 
3778e38aeffSJohn Baldwin #ifdef MAC
3788e38aeffSJohn Baldwin 	error = mac_posixshm_check_stat(active_cred, fp->f_cred, shmfd);
3798e38aeffSJohn Baldwin 	if (error)
3808e38aeffSJohn Baldwin 		return (error);
3818e38aeffSJohn Baldwin #endif
3828e38aeffSJohn Baldwin 
3838e38aeffSJohn Baldwin 	/*
3848e38aeffSJohn Baldwin 	 * Attempt to return sanish values for fstat() on a memory file
3858e38aeffSJohn Baldwin 	 * descriptor.
3868e38aeffSJohn Baldwin 	 */
3878e38aeffSJohn Baldwin 	bzero(sb, sizeof(*sb));
3888e38aeffSJohn Baldwin 	sb->st_blksize = PAGE_SIZE;
3898e38aeffSJohn Baldwin 	sb->st_size = shmfd->shm_size;
39055e0987aSPedro F. Giffuni 	sb->st_blocks = howmany(sb->st_size, sb->st_blksize);
3919c00bb91SKonstantin Belousov 	mtx_lock(&shm_timestamp_lock);
392510ea843SEd Schouten 	sb->st_atim = shmfd->shm_atime;
393510ea843SEd Schouten 	sb->st_ctim = shmfd->shm_ctime;
394510ea843SEd Schouten 	sb->st_mtim = shmfd->shm_mtime;
395510ea843SEd Schouten 	sb->st_birthtim = shmfd->shm_birthtime;
3969c00bb91SKonstantin Belousov 	sb->st_mode = S_IFREG | shmfd->shm_mode;		/* XXX */
3978e38aeffSJohn Baldwin 	sb->st_uid = shmfd->shm_uid;
3988e38aeffSJohn Baldwin 	sb->st_gid = shmfd->shm_gid;
3999c00bb91SKonstantin Belousov 	mtx_unlock(&shm_timestamp_lock);
400610a2b3cSJohn Baldwin 	sb->st_dev = shm_dev_ino;
401610a2b3cSJohn Baldwin 	sb->st_ino = shmfd->shm_ino;
4028e38aeffSJohn Baldwin 
4038e38aeffSJohn Baldwin 	return (0);
4048e38aeffSJohn Baldwin }
4058e38aeffSJohn Baldwin 
4068e38aeffSJohn Baldwin static int
4078e38aeffSJohn Baldwin shm_close(struct file *fp, struct thread *td)
4088e38aeffSJohn Baldwin {
4098e38aeffSJohn Baldwin 	struct shmfd *shmfd;
4108e38aeffSJohn Baldwin 
4118e38aeffSJohn Baldwin 	shmfd = fp->f_data;
4128e38aeffSJohn Baldwin 	fp->f_data = NULL;
4138e38aeffSJohn Baldwin 	shm_drop(shmfd);
4148e38aeffSJohn Baldwin 
4158e38aeffSJohn Baldwin 	return (0);
4168e38aeffSJohn Baldwin }
4178e38aeffSJohn Baldwin 
4181bdbd705SKonstantin Belousov int
4198e38aeffSJohn Baldwin shm_dotruncate(struct shmfd *shmfd, off_t length)
4208e38aeffSJohn Baldwin {
4218e38aeffSJohn Baldwin 	vm_object_t object;
422093c7f39SGleb Smirnoff 	vm_page_t m;
4232971897dSAlan Cox 	vm_pindex_t idx, nobjsize;
4243364c323SKonstantin Belousov 	vm_ooffset_t delta;
4252971897dSAlan Cox 	int base, rv;
4268e38aeffSJohn Baldwin 
4272a016de1SAlan Cox 	KASSERT(length >= 0, ("shm_dotruncate: length < 0"));
4288e38aeffSJohn Baldwin 	object = shmfd->shm_object;
42989f6b863SAttilio Rao 	VM_OBJECT_WLOCK(object);
4308e38aeffSJohn Baldwin 	if (length == shmfd->shm_size) {
43189f6b863SAttilio Rao 		VM_OBJECT_WUNLOCK(object);
4323364c323SKonstantin Belousov 		return (0);
4338e38aeffSJohn Baldwin 	}
4348e38aeffSJohn Baldwin 	nobjsize = OFF_TO_IDX(length + PAGE_MASK);
4358e38aeffSJohn Baldwin 
4368e38aeffSJohn Baldwin 	/* Are we shrinking?  If so, trim the end. */
4378e38aeffSJohn Baldwin 	if (length < shmfd->shm_size) {
438fb680e16SJohn Baldwin 		/*
439fb680e16SJohn Baldwin 		 * Disallow any requests to shrink the size if this
440fb680e16SJohn Baldwin 		 * object is mapped into the kernel.
441fb680e16SJohn Baldwin 		 */
442fb680e16SJohn Baldwin 		if (shmfd->shm_kmappings > 0) {
44389f6b863SAttilio Rao 			VM_OBJECT_WUNLOCK(object);
444fb680e16SJohn Baldwin 			return (EBUSY);
445fb680e16SJohn Baldwin 		}
4462971897dSAlan Cox 
4472971897dSAlan Cox 		/*
4482971897dSAlan Cox 		 * Zero the truncated part of the last page.
4492971897dSAlan Cox 		 */
4502971897dSAlan Cox 		base = length & PAGE_MASK;
4512971897dSAlan Cox 		if (base != 0) {
4522971897dSAlan Cox 			idx = OFF_TO_IDX(length);
4532971897dSAlan Cox retry:
4542971897dSAlan Cox 			m = vm_page_lookup(object, idx);
4552971897dSAlan Cox 			if (m != NULL) {
456c7aebda8SAttilio Rao 				if (vm_page_sleep_if_busy(m, "shmtrc"))
4572971897dSAlan Cox 					goto retry;
4582971897dSAlan Cox 			} else if (vm_pager_has_page(object, idx, NULL, NULL)) {
4592971897dSAlan Cox 				m = vm_page_alloc(object, idx, VM_ALLOC_NORMAL);
4602971897dSAlan Cox 				if (m == NULL) {
46189f6b863SAttilio Rao 					VM_OBJECT_WUNLOCK(object);
4622971897dSAlan Cox 					VM_WAIT;
46389f6b863SAttilio Rao 					VM_OBJECT_WLOCK(object);
4642971897dSAlan Cox 					goto retry;
4657667839aSAlan Cox 				}
4667667839aSAlan Cox 				rv = vm_pager_get_pages(object, &m, 1, NULL,
4677667839aSAlan Cox 				    NULL);
4682971897dSAlan Cox 				vm_page_lock(m);
4692971897dSAlan Cox 				if (rv == VM_PAGER_OK) {
4702d612d2dSAlan Cox 					/*
4712d612d2dSAlan Cox 					 * Since the page was not resident,
4722d612d2dSAlan Cox 					 * and therefore not recently
4732d612d2dSAlan Cox 					 * accessed, immediately enqueue it
4742d612d2dSAlan Cox 					 * for asynchronous laundering.  The
4752d612d2dSAlan Cox 					 * current operation is not regarded
4762d612d2dSAlan Cox 					 * as an access.
4772d612d2dSAlan Cox 					 */
4782d612d2dSAlan Cox 					vm_page_launder(m);
4792971897dSAlan Cox 					vm_page_unlock(m);
480c7aebda8SAttilio Rao 					vm_page_xunbusy(m);
4812971897dSAlan Cox 				} else {
4822971897dSAlan Cox 					vm_page_free(m);
4832971897dSAlan Cox 					vm_page_unlock(m);
48489f6b863SAttilio Rao 					VM_OBJECT_WUNLOCK(object);
4852971897dSAlan Cox 					return (EIO);
4862971897dSAlan Cox 				}
4872971897dSAlan Cox 			}
4882971897dSAlan Cox 			if (m != NULL) {
4892971897dSAlan Cox 				pmap_zero_page_area(m, base, PAGE_SIZE - base);
4902971897dSAlan Cox 				KASSERT(m->valid == VM_PAGE_BITS_ALL,
4912971897dSAlan Cox 				    ("shm_dotruncate: page %p is invalid", m));
4922971897dSAlan Cox 				vm_page_dirty(m);
4932971897dSAlan Cox 				vm_pager_page_unswapped(m);
4942971897dSAlan Cox 			}
4952971897dSAlan Cox 		}
4962a016de1SAlan Cox 		delta = IDX_TO_OFF(object->size - nobjsize);
4973364c323SKonstantin Belousov 
4988e38aeffSJohn Baldwin 		/* Toss in memory pages. */
4998e38aeffSJohn Baldwin 		if (nobjsize < object->size)
5008e38aeffSJohn Baldwin 			vm_object_page_remove(object, nobjsize, object->size,
5016bbee8e2SAlan Cox 			    0);
5028e38aeffSJohn Baldwin 
5038e38aeffSJohn Baldwin 		/* Toss pages from swap. */
5048e38aeffSJohn Baldwin 		if (object->type == OBJT_SWAP)
5053364c323SKonstantin Belousov 			swap_pager_freespace(object, nobjsize, delta);
5063364c323SKonstantin Belousov 
5073364c323SKonstantin Belousov 		/* Free the swap accounted for shm */
508ef694c1aSEdward Tomasz Napierala 		swap_release_by_cred(delta, object->cred);
5093364c323SKonstantin Belousov 		object->charge -= delta;
5103364c323SKonstantin Belousov 	} else {
5112a016de1SAlan Cox 		/* Try to reserve additional swap space. */
5122a016de1SAlan Cox 		delta = IDX_TO_OFF(nobjsize - object->size);
513ef694c1aSEdward Tomasz Napierala 		if (!swap_reserve_by_cred(delta, object->cred)) {
51489f6b863SAttilio Rao 			VM_OBJECT_WUNLOCK(object);
5153364c323SKonstantin Belousov 			return (ENOMEM);
5163364c323SKonstantin Belousov 		}
5173364c323SKonstantin Belousov 		object->charge += delta;
5188e38aeffSJohn Baldwin 	}
5198e38aeffSJohn Baldwin 	shmfd->shm_size = length;
5208e38aeffSJohn Baldwin 	mtx_lock(&shm_timestamp_lock);
5218e38aeffSJohn Baldwin 	vfs_timestamp(&shmfd->shm_ctime);
5228e38aeffSJohn Baldwin 	shmfd->shm_mtime = shmfd->shm_ctime;
5238e38aeffSJohn Baldwin 	mtx_unlock(&shm_timestamp_lock);
5248e38aeffSJohn Baldwin 	object->size = nobjsize;
52589f6b863SAttilio Rao 	VM_OBJECT_WUNLOCK(object);
5263364c323SKonstantin Belousov 	return (0);
5278e38aeffSJohn Baldwin }
5288e38aeffSJohn Baldwin 
5298e38aeffSJohn Baldwin /*
5308e38aeffSJohn Baldwin  * shmfd object management including creation and reference counting
5318e38aeffSJohn Baldwin  * routines.
5328e38aeffSJohn Baldwin  */
5331bdbd705SKonstantin Belousov struct shmfd *
5348e38aeffSJohn Baldwin shm_alloc(struct ucred *ucred, mode_t mode)
5358e38aeffSJohn Baldwin {
5368e38aeffSJohn Baldwin 	struct shmfd *shmfd;
537610a2b3cSJohn Baldwin 	int ino;
5388e38aeffSJohn Baldwin 
5398e38aeffSJohn Baldwin 	shmfd = malloc(sizeof(*shmfd), M_SHMFD, M_WAITOK | M_ZERO);
5408e38aeffSJohn Baldwin 	shmfd->shm_size = 0;
5418e38aeffSJohn Baldwin 	shmfd->shm_uid = ucred->cr_uid;
5428e38aeffSJohn Baldwin 	shmfd->shm_gid = ucred->cr_gid;
5438e38aeffSJohn Baldwin 	shmfd->shm_mode = mode;
5448e38aeffSJohn Baldwin 	shmfd->shm_object = vm_pager_allocate(OBJT_DEFAULT, NULL,
5453364c323SKonstantin Belousov 	    shmfd->shm_size, VM_PROT_DEFAULT, 0, ucred);
5468e38aeffSJohn Baldwin 	KASSERT(shmfd->shm_object != NULL, ("shm_create: vm_pager_allocate"));
547f4c6aea3SAlan Cox 	shmfd->shm_object->pg_color = 0;
54889f6b863SAttilio Rao 	VM_OBJECT_WLOCK(shmfd->shm_object);
549e384d8a8SAlan Cox 	vm_object_clear_flag(shmfd->shm_object, OBJ_ONEMAPPING);
550f4c6aea3SAlan Cox 	vm_object_set_flag(shmfd->shm_object, OBJ_COLORED | OBJ_NOSPLIT);
55189f6b863SAttilio Rao 	VM_OBJECT_WUNLOCK(shmfd->shm_object);
5528e38aeffSJohn Baldwin 	vfs_timestamp(&shmfd->shm_birthtime);
5538e38aeffSJohn Baldwin 	shmfd->shm_atime = shmfd->shm_mtime = shmfd->shm_ctime =
5548e38aeffSJohn Baldwin 	    shmfd->shm_birthtime;
555610a2b3cSJohn Baldwin 	ino = alloc_unr(shm_ino_unr);
556610a2b3cSJohn Baldwin 	if (ino == -1)
557610a2b3cSJohn Baldwin 		shmfd->shm_ino = 0;
558610a2b3cSJohn Baldwin 	else
559610a2b3cSJohn Baldwin 		shmfd->shm_ino = ino;
5608e38aeffSJohn Baldwin 	refcount_init(&shmfd->shm_refs, 1);
561940cb0e2SKonstantin Belousov 	mtx_init(&shmfd->shm_mtx, "shmrl", NULL, MTX_DEF);
562940cb0e2SKonstantin Belousov 	rangelock_init(&shmfd->shm_rl);
5638e38aeffSJohn Baldwin #ifdef MAC
5648e38aeffSJohn Baldwin 	mac_posixshm_init(shmfd);
5658e38aeffSJohn Baldwin 	mac_posixshm_create(ucred, shmfd);
5668e38aeffSJohn Baldwin #endif
5678e38aeffSJohn Baldwin 
5688e38aeffSJohn Baldwin 	return (shmfd);
5698e38aeffSJohn Baldwin }
5708e38aeffSJohn Baldwin 
5711bdbd705SKonstantin Belousov struct shmfd *
5728e38aeffSJohn Baldwin shm_hold(struct shmfd *shmfd)
5738e38aeffSJohn Baldwin {
5748e38aeffSJohn Baldwin 
5758e38aeffSJohn Baldwin 	refcount_acquire(&shmfd->shm_refs);
5768e38aeffSJohn Baldwin 	return (shmfd);
5778e38aeffSJohn Baldwin }
5788e38aeffSJohn Baldwin 
5791bdbd705SKonstantin Belousov void
5808e38aeffSJohn Baldwin shm_drop(struct shmfd *shmfd)
5818e38aeffSJohn Baldwin {
5828e38aeffSJohn Baldwin 
5838e38aeffSJohn Baldwin 	if (refcount_release(&shmfd->shm_refs)) {
5848e38aeffSJohn Baldwin #ifdef MAC
5858e38aeffSJohn Baldwin 		mac_posixshm_destroy(shmfd);
5868e38aeffSJohn Baldwin #endif
587940cb0e2SKonstantin Belousov 		rangelock_destroy(&shmfd->shm_rl);
588940cb0e2SKonstantin Belousov 		mtx_destroy(&shmfd->shm_mtx);
5898e38aeffSJohn Baldwin 		vm_object_deallocate(shmfd->shm_object);
590610a2b3cSJohn Baldwin 		if (shmfd->shm_ino != 0)
591610a2b3cSJohn Baldwin 			free_unr(shm_ino_unr, shmfd->shm_ino);
5928e38aeffSJohn Baldwin 		free(shmfd, M_SHMFD);
5938e38aeffSJohn Baldwin 	}
5948e38aeffSJohn Baldwin }
5958e38aeffSJohn Baldwin 
5968e38aeffSJohn Baldwin /*
5978e38aeffSJohn Baldwin  * Determine if the credentials have sufficient permissions for a
5988e38aeffSJohn Baldwin  * specified combination of FREAD and FWRITE.
5998e38aeffSJohn Baldwin  */
6001bdbd705SKonstantin Belousov int
6018e38aeffSJohn Baldwin shm_access(struct shmfd *shmfd, struct ucred *ucred, int flags)
6028e38aeffSJohn Baldwin {
60315bc6b2bSEdward Tomasz Napierala 	accmode_t accmode;
6049c00bb91SKonstantin Belousov 	int error;
6058e38aeffSJohn Baldwin 
60615bc6b2bSEdward Tomasz Napierala 	accmode = 0;
6078e38aeffSJohn Baldwin 	if (flags & FREAD)
60815bc6b2bSEdward Tomasz Napierala 		accmode |= VREAD;
6098e38aeffSJohn Baldwin 	if (flags & FWRITE)
61015bc6b2bSEdward Tomasz Napierala 		accmode |= VWRITE;
6119c00bb91SKonstantin Belousov 	mtx_lock(&shm_timestamp_lock);
6129c00bb91SKonstantin Belousov 	error = vaccess(VREG, shmfd->shm_mode, shmfd->shm_uid, shmfd->shm_gid,
6139c00bb91SKonstantin Belousov 	    accmode, ucred, NULL);
6149c00bb91SKonstantin Belousov 	mtx_unlock(&shm_timestamp_lock);
6159c00bb91SKonstantin Belousov 	return (error);
6168e38aeffSJohn Baldwin }
6178e38aeffSJohn Baldwin 
6188e38aeffSJohn Baldwin /*
6198e38aeffSJohn Baldwin  * Dictionary management.  We maintain an in-kernel dictionary to map
6208e38aeffSJohn Baldwin  * paths to shmfd objects.  We use the FNV hash on the path to store
6218e38aeffSJohn Baldwin  * the mappings in a hash table.
6228e38aeffSJohn Baldwin  */
6238e38aeffSJohn Baldwin static void
624610a2b3cSJohn Baldwin shm_init(void *arg)
6258e38aeffSJohn Baldwin {
6268e38aeffSJohn Baldwin 
6278e38aeffSJohn Baldwin 	mtx_init(&shm_timestamp_lock, "shm timestamps", NULL, MTX_DEF);
6288e38aeffSJohn Baldwin 	sx_init(&shm_dict_lock, "shm dictionary");
6298e38aeffSJohn Baldwin 	shm_dictionary = hashinit(1024, M_SHMFD, &shm_hash);
630610a2b3cSJohn Baldwin 	shm_ino_unr = new_unrhdr(1, INT32_MAX, NULL);
631610a2b3cSJohn Baldwin 	KASSERT(shm_ino_unr != NULL, ("shm fake inodes not initialized"));
632610a2b3cSJohn Baldwin 	shm_dev_ino = devfs_alloc_cdp_inode();
633610a2b3cSJohn Baldwin 	KASSERT(shm_dev_ino > 0, ("shm dev inode not initialized"));
6348e38aeffSJohn Baldwin }
635610a2b3cSJohn Baldwin SYSINIT(shm_init, SI_SUB_SYSV_SHM, SI_ORDER_ANY, shm_init, NULL);
6368e38aeffSJohn Baldwin 
6378e38aeffSJohn Baldwin static struct shmfd *
6388e38aeffSJohn Baldwin shm_lookup(char *path, Fnv32_t fnv)
6398e38aeffSJohn Baldwin {
6408e38aeffSJohn Baldwin 	struct shm_mapping *map;
6418e38aeffSJohn Baldwin 
6428e38aeffSJohn Baldwin 	LIST_FOREACH(map, SHM_HASH(fnv), sm_link) {
6438e38aeffSJohn Baldwin 		if (map->sm_fnv != fnv)
6448e38aeffSJohn Baldwin 			continue;
6458e38aeffSJohn Baldwin 		if (strcmp(map->sm_path, path) == 0)
6468e38aeffSJohn Baldwin 			return (map->sm_shmfd);
6478e38aeffSJohn Baldwin 	}
6488e38aeffSJohn Baldwin 
6498e38aeffSJohn Baldwin 	return (NULL);
6508e38aeffSJohn Baldwin }
6518e38aeffSJohn Baldwin 
6528e38aeffSJohn Baldwin static void
6538e38aeffSJohn Baldwin shm_insert(char *path, Fnv32_t fnv, struct shmfd *shmfd)
6548e38aeffSJohn Baldwin {
6558e38aeffSJohn Baldwin 	struct shm_mapping *map;
6568e38aeffSJohn Baldwin 
6578e38aeffSJohn Baldwin 	map = malloc(sizeof(struct shm_mapping), M_SHMFD, M_WAITOK);
6588e38aeffSJohn Baldwin 	map->sm_path = path;
6598e38aeffSJohn Baldwin 	map->sm_fnv = fnv;
6608e38aeffSJohn Baldwin 	map->sm_shmfd = shm_hold(shmfd);
661e506e182SJohn Baldwin 	shmfd->shm_path = path;
6628e38aeffSJohn Baldwin 	LIST_INSERT_HEAD(SHM_HASH(fnv), map, sm_link);
6638e38aeffSJohn Baldwin }
6648e38aeffSJohn Baldwin 
6658e38aeffSJohn Baldwin static int
6668e38aeffSJohn Baldwin shm_remove(char *path, Fnv32_t fnv, struct ucred *ucred)
6678e38aeffSJohn Baldwin {
6688e38aeffSJohn Baldwin 	struct shm_mapping *map;
6698e38aeffSJohn Baldwin 	int error;
6708e38aeffSJohn Baldwin 
6718e38aeffSJohn Baldwin 	LIST_FOREACH(map, SHM_HASH(fnv), sm_link) {
6728e38aeffSJohn Baldwin 		if (map->sm_fnv != fnv)
6738e38aeffSJohn Baldwin 			continue;
6748e38aeffSJohn Baldwin 		if (strcmp(map->sm_path, path) == 0) {
6758e38aeffSJohn Baldwin #ifdef MAC
6768e38aeffSJohn Baldwin 			error = mac_posixshm_check_unlink(ucred, map->sm_shmfd);
6778e38aeffSJohn Baldwin 			if (error)
6788e38aeffSJohn Baldwin 				return (error);
6798e38aeffSJohn Baldwin #endif
6808e38aeffSJohn Baldwin 			error = shm_access(map->sm_shmfd, ucred,
6818e38aeffSJohn Baldwin 			    FREAD | FWRITE);
6828e38aeffSJohn Baldwin 			if (error)
6838e38aeffSJohn Baldwin 				return (error);
684e506e182SJohn Baldwin 			map->sm_shmfd->shm_path = NULL;
6858e38aeffSJohn Baldwin 			LIST_REMOVE(map, sm_link);
6868e38aeffSJohn Baldwin 			shm_drop(map->sm_shmfd);
6878e38aeffSJohn Baldwin 			free(map->sm_path, M_SHMFD);
6888e38aeffSJohn Baldwin 			free(map, M_SHMFD);
6898e38aeffSJohn Baldwin 			return (0);
6908e38aeffSJohn Baldwin 		}
6918e38aeffSJohn Baldwin 	}
6928e38aeffSJohn Baldwin 
6938e38aeffSJohn Baldwin 	return (ENOENT);
6948e38aeffSJohn Baldwin }
6958e38aeffSJohn Baldwin 
6968e38aeffSJohn Baldwin int
6977ee1b208SEd Schouten kern_shm_open(struct thread *td, const char *userpath, int flags, mode_t mode,
6987ee1b208SEd Schouten     struct filecaps *fcaps)
6998e38aeffSJohn Baldwin {
7008e38aeffSJohn Baldwin 	struct filedesc *fdp;
7018e38aeffSJohn Baldwin 	struct shmfd *shmfd;
7028e38aeffSJohn Baldwin 	struct file *fp;
7038e38aeffSJohn Baldwin 	char *path;
704cc7b259aSJamie Gritton 	const char *pr_path;
705cc7b259aSJamie Gritton 	size_t pr_pathlen;
7068e38aeffSJohn Baldwin 	Fnv32_t fnv;
7078e38aeffSJohn Baldwin 	mode_t cmode;
7088e38aeffSJohn Baldwin 	int fd, error;
7098e38aeffSJohn Baldwin 
71012bc222eSJonathan Anderson #ifdef CAPABILITY_MODE
71112bc222eSJonathan Anderson 	/*
71212bc222eSJonathan Anderson 	 * shm_open(2) is only allowed for anonymous objects.
71312bc222eSJonathan Anderson 	 */
7147ee1b208SEd Schouten 	if (IN_CAPABILITY_MODE(td) && (userpath != SHM_ANON))
71512bc222eSJonathan Anderson 		return (ECAPMODE);
71612bc222eSJonathan Anderson #endif
71712bc222eSJonathan Anderson 
71815bcf785SRobert Watson 	AUDIT_ARG_FFLAGS(flags);
71915bcf785SRobert Watson 	AUDIT_ARG_MODE(mode);
72015bcf785SRobert Watson 
7217ee1b208SEd Schouten 	if ((flags & O_ACCMODE) != O_RDONLY && (flags & O_ACCMODE) != O_RDWR)
7228e38aeffSJohn Baldwin 		return (EINVAL);
7238e38aeffSJohn Baldwin 
7247ee1b208SEd Schouten 	if ((flags & ~(O_ACCMODE | O_CREAT | O_EXCL | O_TRUNC | O_CLOEXEC)) != 0)
7258e38aeffSJohn Baldwin 		return (EINVAL);
7268e38aeffSJohn Baldwin 
7278e38aeffSJohn Baldwin 	fdp = td->td_proc->p_fd;
7287ee1b208SEd Schouten 	cmode = (mode & ~fdp->fd_cmask) & ACCESSPERMS;
7298e38aeffSJohn Baldwin 
7307ee1b208SEd Schouten 	error = falloc_caps(td, &fp, &fd, O_CLOEXEC, fcaps);
7318e38aeffSJohn Baldwin 	if (error)
7328e38aeffSJohn Baldwin 		return (error);
7338e38aeffSJohn Baldwin 
7348e38aeffSJohn Baldwin 	/* A SHM_ANON path pointer creates an anonymous object. */
7357ee1b208SEd Schouten 	if (userpath == SHM_ANON) {
7368e38aeffSJohn Baldwin 		/* A read-only anonymous object is pointless. */
7377ee1b208SEd Schouten 		if ((flags & O_ACCMODE) == O_RDONLY) {
73890f54cbfSMateusz Guzik 			fdclose(td, fp, fd);
7398e38aeffSJohn Baldwin 			fdrop(fp, td);
7408e38aeffSJohn Baldwin 			return (EINVAL);
7418e38aeffSJohn Baldwin 		}
7428e38aeffSJohn Baldwin 		shmfd = shm_alloc(td->td_ucred, cmode);
7438e38aeffSJohn Baldwin 	} else {
7448e38aeffSJohn Baldwin 		path = malloc(MAXPATHLEN, M_SHMFD, M_WAITOK);
745cc7b259aSJamie Gritton 		pr_path = td->td_ucred->cr_prison->pr_path;
74644c16975SJamie Gritton 
74744c16975SJamie Gritton 		/* Construct a full pathname for jailed callers. */
748cc7b259aSJamie Gritton 		pr_pathlen = strcmp(pr_path, "/") == 0 ? 0
749cc7b259aSJamie Gritton 		    : strlcpy(path, pr_path, MAXPATHLEN);
750cc7b259aSJamie Gritton 		error = copyinstr(userpath, path + pr_pathlen,
751cc7b259aSJamie Gritton 		    MAXPATHLEN - pr_pathlen, NULL);
752551a7895SRui Paulo #ifdef KTRACE
753551a7895SRui Paulo 		if (error == 0 && KTRPOINT(curthread, KTR_NAMEI))
754551a7895SRui Paulo 			ktrnamei(path);
755551a7895SRui Paulo #endif
7568e38aeffSJohn Baldwin 		/* Require paths to start with a '/' character. */
757cc7b259aSJamie Gritton 		if (error == 0 && path[pr_pathlen] != '/')
7588e38aeffSJohn Baldwin 			error = EINVAL;
7598e38aeffSJohn Baldwin 		if (error) {
76090f54cbfSMateusz Guzik 			fdclose(td, fp, fd);
7618e38aeffSJohn Baldwin 			fdrop(fp, td);
7628e38aeffSJohn Baldwin 			free(path, M_SHMFD);
7638e38aeffSJohn Baldwin 			return (error);
7648e38aeffSJohn Baldwin 		}
7658e38aeffSJohn Baldwin 
76615bcf785SRobert Watson 		AUDIT_ARG_UPATH1_CANON(path);
7678e38aeffSJohn Baldwin 		fnv = fnv_32_str(path, FNV1_32_INIT);
7688e38aeffSJohn Baldwin 		sx_xlock(&shm_dict_lock);
7698e38aeffSJohn Baldwin 		shmfd = shm_lookup(path, fnv);
7708e38aeffSJohn Baldwin 		if (shmfd == NULL) {
7718e38aeffSJohn Baldwin 			/* Object does not yet exist, create it if requested. */
7727ee1b208SEd Schouten 			if (flags & O_CREAT) {
7739b6dd12eSRobert Watson #ifdef MAC
7749b6dd12eSRobert Watson 				error = mac_posixshm_check_create(td->td_ucred,
7759b6dd12eSRobert Watson 				    path);
7769b6dd12eSRobert Watson 				if (error == 0) {
7779b6dd12eSRobert Watson #endif
7788e38aeffSJohn Baldwin 					shmfd = shm_alloc(td->td_ucred, cmode);
7798e38aeffSJohn Baldwin 					shm_insert(path, fnv, shmfd);
7809b6dd12eSRobert Watson #ifdef MAC
7819b6dd12eSRobert Watson 				}
7829b6dd12eSRobert Watson #endif
7838e38aeffSJohn Baldwin 			} else {
7848e38aeffSJohn Baldwin 				free(path, M_SHMFD);
7858e38aeffSJohn Baldwin 				error = ENOENT;
7868e38aeffSJohn Baldwin 			}
7878e38aeffSJohn Baldwin 		} else {
7888e38aeffSJohn Baldwin 			/*
7898e38aeffSJohn Baldwin 			 * Object already exists, obtain a new
7908e38aeffSJohn Baldwin 			 * reference if requested and permitted.
7918e38aeffSJohn Baldwin 			 */
7928e38aeffSJohn Baldwin 			free(path, M_SHMFD);
7937ee1b208SEd Schouten 			if ((flags & (O_CREAT | O_EXCL)) == (O_CREAT | O_EXCL))
7948e38aeffSJohn Baldwin 				error = EEXIST;
7958e38aeffSJohn Baldwin 			else {
7968e38aeffSJohn Baldwin #ifdef MAC
7978e38aeffSJohn Baldwin 				error = mac_posixshm_check_open(td->td_ucred,
7987ee1b208SEd Schouten 				    shmfd, FFLAGS(flags & O_ACCMODE));
7998e38aeffSJohn Baldwin 				if (error == 0)
8008e38aeffSJohn Baldwin #endif
8018e38aeffSJohn Baldwin 				error = shm_access(shmfd, td->td_ucred,
8027ee1b208SEd Schouten 				    FFLAGS(flags & O_ACCMODE));
8038e38aeffSJohn Baldwin 			}
8048e38aeffSJohn Baldwin 
8058e38aeffSJohn Baldwin 			/*
8068e38aeffSJohn Baldwin 			 * Truncate the file back to zero length if
8078e38aeffSJohn Baldwin 			 * O_TRUNC was specified and the object was
8088e38aeffSJohn Baldwin 			 * opened with read/write.
8098e38aeffSJohn Baldwin 			 */
8108e38aeffSJohn Baldwin 			if (error == 0 &&
8117ee1b208SEd Schouten 			    (flags & (O_ACCMODE | O_TRUNC)) ==
8128e38aeffSJohn Baldwin 			    (O_RDWR | O_TRUNC)) {
8138e38aeffSJohn Baldwin #ifdef MAC
8148e38aeffSJohn Baldwin 				error = mac_posixshm_check_truncate(
8158e38aeffSJohn Baldwin 					td->td_ucred, fp->f_cred, shmfd);
8168e38aeffSJohn Baldwin 				if (error == 0)
8178e38aeffSJohn Baldwin #endif
8188e38aeffSJohn Baldwin 					shm_dotruncate(shmfd, 0);
8198e38aeffSJohn Baldwin 			}
8208e38aeffSJohn Baldwin 			if (error == 0)
8218e38aeffSJohn Baldwin 				shm_hold(shmfd);
8228e38aeffSJohn Baldwin 		}
8238e38aeffSJohn Baldwin 		sx_xunlock(&shm_dict_lock);
8248e38aeffSJohn Baldwin 
8258e38aeffSJohn Baldwin 		if (error) {
82690f54cbfSMateusz Guzik 			fdclose(td, fp, fd);
8278e38aeffSJohn Baldwin 			fdrop(fp, td);
8288e38aeffSJohn Baldwin 			return (error);
8298e38aeffSJohn Baldwin 		}
8308e38aeffSJohn Baldwin 	}
8318e38aeffSJohn Baldwin 
8327ee1b208SEd Schouten 	finit(fp, FFLAGS(flags & O_ACCMODE), DTYPE_SHM, shmfd, &shm_ops);
8338e38aeffSJohn Baldwin 
8348e38aeffSJohn Baldwin 	td->td_retval[0] = fd;
8358e38aeffSJohn Baldwin 	fdrop(fp, td);
8368e38aeffSJohn Baldwin 
8378e38aeffSJohn Baldwin 	return (0);
8388e38aeffSJohn Baldwin }
8398e38aeffSJohn Baldwin 
8407ee1b208SEd Schouten /* System calls. */
8417ee1b208SEd Schouten int
8427ee1b208SEd Schouten sys_shm_open(struct thread *td, struct shm_open_args *uap)
8437ee1b208SEd Schouten {
8447ee1b208SEd Schouten 
8457ee1b208SEd Schouten 	return (kern_shm_open(td, uap->path, uap->flags, uap->mode, NULL));
8467ee1b208SEd Schouten }
8477ee1b208SEd Schouten 
8488e38aeffSJohn Baldwin int
8498451d0ddSKip Macy sys_shm_unlink(struct thread *td, struct shm_unlink_args *uap)
8508e38aeffSJohn Baldwin {
8518e38aeffSJohn Baldwin 	char *path;
852cc7b259aSJamie Gritton 	const char *pr_path;
853cc7b259aSJamie Gritton 	size_t pr_pathlen;
8548e38aeffSJohn Baldwin 	Fnv32_t fnv;
8558e38aeffSJohn Baldwin 	int error;
8568e38aeffSJohn Baldwin 
8578e38aeffSJohn Baldwin 	path = malloc(MAXPATHLEN, M_TEMP, M_WAITOK);
858cc7b259aSJamie Gritton 	pr_path = td->td_ucred->cr_prison->pr_path;
859cc7b259aSJamie Gritton 	pr_pathlen = strcmp(pr_path, "/") == 0 ? 0
860cc7b259aSJamie Gritton 	    : strlcpy(path, pr_path, MAXPATHLEN);
861cc7b259aSJamie Gritton 	error = copyinstr(uap->path, path + pr_pathlen, MAXPATHLEN - pr_pathlen,
862cc7b259aSJamie Gritton 	    NULL);
8638e38aeffSJohn Baldwin 	if (error) {
8648e38aeffSJohn Baldwin 		free(path, M_TEMP);
8658e38aeffSJohn Baldwin 		return (error);
8668e38aeffSJohn Baldwin 	}
867551a7895SRui Paulo #ifdef KTRACE
868551a7895SRui Paulo 	if (KTRPOINT(curthread, KTR_NAMEI))
869551a7895SRui Paulo 		ktrnamei(path);
870551a7895SRui Paulo #endif
87115bcf785SRobert Watson 	AUDIT_ARG_UPATH1_CANON(path);
8728e38aeffSJohn Baldwin 	fnv = fnv_32_str(path, FNV1_32_INIT);
8738e38aeffSJohn Baldwin 	sx_xlock(&shm_dict_lock);
8748e38aeffSJohn Baldwin 	error = shm_remove(path, fnv, td->td_ucred);
8758e38aeffSJohn Baldwin 	sx_xunlock(&shm_dict_lock);
8768e38aeffSJohn Baldwin 	free(path, M_TEMP);
8778e38aeffSJohn Baldwin 
8788e38aeffSJohn Baldwin 	return (error);
8798e38aeffSJohn Baldwin }
8808e38aeffSJohn Baldwin 
8818e38aeffSJohn Baldwin int
8827077c426SJohn Baldwin shm_mmap(struct file *fp, vm_map_t map, vm_offset_t *addr, vm_size_t objsize,
8837077c426SJohn Baldwin     vm_prot_t prot, vm_prot_t cap_maxprot, int flags,
8847077c426SJohn Baldwin     vm_ooffset_t foff, struct thread *td)
8858e38aeffSJohn Baldwin {
8867077c426SJohn Baldwin 	struct shmfd *shmfd;
8877077c426SJohn Baldwin 	vm_prot_t maxprot;
8887077c426SJohn Baldwin 	int error;
8897077c426SJohn Baldwin 
8907077c426SJohn Baldwin 	shmfd = fp->f_data;
8917077c426SJohn Baldwin 	maxprot = VM_PROT_NONE;
8927077c426SJohn Baldwin 
8937077c426SJohn Baldwin 	/* FREAD should always be set. */
8947077c426SJohn Baldwin 	if ((fp->f_flag & FREAD) != 0)
8957077c426SJohn Baldwin 		maxprot |= VM_PROT_EXECUTE | VM_PROT_READ;
8967077c426SJohn Baldwin 	if ((fp->f_flag & FWRITE) != 0)
8977077c426SJohn Baldwin 		maxprot |= VM_PROT_WRITE;
8987077c426SJohn Baldwin 
8997077c426SJohn Baldwin 	/* Don't permit shared writable mappings on read-only descriptors. */
9007077c426SJohn Baldwin 	if ((flags & MAP_SHARED) != 0 &&
9017077c426SJohn Baldwin 	    (maxprot & VM_PROT_WRITE) == 0 &&
9027077c426SJohn Baldwin 	    (prot & VM_PROT_WRITE) != 0)
9037077c426SJohn Baldwin 		return (EACCES);
9047077c426SJohn Baldwin 	maxprot &= cap_maxprot;
9057077c426SJohn Baldwin 
906987ff181SKonstantin Belousov 	/* See comment in vn_mmap(). */
907987ff181SKonstantin Belousov 	if (
908987ff181SKonstantin Belousov #ifdef _LP64
909987ff181SKonstantin Belousov 	    objsize > OFF_MAX ||
910987ff181SKonstantin Belousov #endif
911987ff181SKonstantin Belousov 	    foff < 0 || foff > OFF_MAX - objsize)
912987ff181SKonstantin Belousov 		return (EINVAL);
913987ff181SKonstantin Belousov 
9147077c426SJohn Baldwin #ifdef MAC
9157077c426SJohn Baldwin 	error = mac_posixshm_check_mmap(td->td_ucred, shmfd, prot, flags);
9167077c426SJohn Baldwin 	if (error != 0)
9177077c426SJohn Baldwin 		return (error);
9187077c426SJohn Baldwin #endif
9198e38aeffSJohn Baldwin 
9208e38aeffSJohn Baldwin 	mtx_lock(&shm_timestamp_lock);
9218e38aeffSJohn Baldwin 	vfs_timestamp(&shmfd->shm_atime);
9228e38aeffSJohn Baldwin 	mtx_unlock(&shm_timestamp_lock);
9238e38aeffSJohn Baldwin 	vm_object_reference(shmfd->shm_object);
9247077c426SJohn Baldwin 
9257077c426SJohn Baldwin 	error = vm_mmap_object(map, addr, objsize, prot, maxprot, flags,
9267077c426SJohn Baldwin 	    shmfd->shm_object, foff, FALSE, td);
9277077c426SJohn Baldwin 	if (error != 0)
9287077c426SJohn Baldwin 		vm_object_deallocate(shmfd->shm_object);
929*34d3e89fSKonstantin Belousov 	return (error);
9308e38aeffSJohn Baldwin }
9319c00bb91SKonstantin Belousov 
9329c00bb91SKonstantin Belousov static int
9339c00bb91SKonstantin Belousov shm_chmod(struct file *fp, mode_t mode, struct ucred *active_cred,
9349c00bb91SKonstantin Belousov     struct thread *td)
9359c00bb91SKonstantin Belousov {
9369c00bb91SKonstantin Belousov 	struct shmfd *shmfd;
9379c00bb91SKonstantin Belousov 	int error;
9389c00bb91SKonstantin Belousov 
9399c00bb91SKonstantin Belousov 	error = 0;
9409c00bb91SKonstantin Belousov 	shmfd = fp->f_data;
9419c00bb91SKonstantin Belousov 	mtx_lock(&shm_timestamp_lock);
9429c00bb91SKonstantin Belousov 	/*
9439c00bb91SKonstantin Belousov 	 * SUSv4 says that x bits of permission need not be affected.
9449c00bb91SKonstantin Belousov 	 * Be consistent with our shm_open there.
9459c00bb91SKonstantin Belousov 	 */
9469c00bb91SKonstantin Belousov #ifdef MAC
9479c00bb91SKonstantin Belousov 	error = mac_posixshm_check_setmode(active_cred, shmfd, mode);
9489c00bb91SKonstantin Belousov 	if (error != 0)
9499c00bb91SKonstantin Belousov 		goto out;
9509c00bb91SKonstantin Belousov #endif
9519c00bb91SKonstantin Belousov 	error = vaccess(VREG, shmfd->shm_mode, shmfd->shm_uid,
9529c00bb91SKonstantin Belousov 	    shmfd->shm_gid, VADMIN, active_cred, NULL);
9539c00bb91SKonstantin Belousov 	if (error != 0)
9549c00bb91SKonstantin Belousov 		goto out;
9559c00bb91SKonstantin Belousov 	shmfd->shm_mode = mode & ACCESSPERMS;
9569c00bb91SKonstantin Belousov out:
9579c00bb91SKonstantin Belousov 	mtx_unlock(&shm_timestamp_lock);
9589c00bb91SKonstantin Belousov 	return (error);
9599c00bb91SKonstantin Belousov }
9609c00bb91SKonstantin Belousov 
9619c00bb91SKonstantin Belousov static int
9629c00bb91SKonstantin Belousov shm_chown(struct file *fp, uid_t uid, gid_t gid, struct ucred *active_cred,
9639c00bb91SKonstantin Belousov     struct thread *td)
9649c00bb91SKonstantin Belousov {
9659c00bb91SKonstantin Belousov 	struct shmfd *shmfd;
9669c00bb91SKonstantin Belousov 	int error;
9679c00bb91SKonstantin Belousov 
96868889ed6SKonstantin Belousov 	error = 0;
9699c00bb91SKonstantin Belousov 	shmfd = fp->f_data;
9709c00bb91SKonstantin Belousov 	mtx_lock(&shm_timestamp_lock);
9719c00bb91SKonstantin Belousov #ifdef MAC
9729c00bb91SKonstantin Belousov 	error = mac_posixshm_check_setowner(active_cred, shmfd, uid, gid);
9739c00bb91SKonstantin Belousov 	if (error != 0)
9749c00bb91SKonstantin Belousov 		goto out;
9759c00bb91SKonstantin Belousov #endif
9769c00bb91SKonstantin Belousov 	if (uid == (uid_t)-1)
9779c00bb91SKonstantin Belousov 		uid = shmfd->shm_uid;
9789c00bb91SKonstantin Belousov 	if (gid == (gid_t)-1)
9799c00bb91SKonstantin Belousov                  gid = shmfd->shm_gid;
9809c00bb91SKonstantin Belousov 	if (((uid != shmfd->shm_uid && uid != active_cred->cr_uid) ||
9819c00bb91SKonstantin Belousov 	    (gid != shmfd->shm_gid && !groupmember(gid, active_cred))) &&
9829c00bb91SKonstantin Belousov 	    (error = priv_check_cred(active_cred, PRIV_VFS_CHOWN, 0)))
9839c00bb91SKonstantin Belousov 		goto out;
9849c00bb91SKonstantin Belousov 	shmfd->shm_uid = uid;
9859c00bb91SKonstantin Belousov 	shmfd->shm_gid = gid;
9869c00bb91SKonstantin Belousov out:
9879c00bb91SKonstantin Belousov 	mtx_unlock(&shm_timestamp_lock);
9889c00bb91SKonstantin Belousov 	return (error);
9899c00bb91SKonstantin Belousov }
990fb680e16SJohn Baldwin 
991fb680e16SJohn Baldwin /*
992fb680e16SJohn Baldwin  * Helper routines to allow the backing object of a shared memory file
993fb680e16SJohn Baldwin  * descriptor to be mapped in the kernel.
994fb680e16SJohn Baldwin  */
995fb680e16SJohn Baldwin int
996fb680e16SJohn Baldwin shm_map(struct file *fp, size_t size, off_t offset, void **memp)
997fb680e16SJohn Baldwin {
998fb680e16SJohn Baldwin 	struct shmfd *shmfd;
999fb680e16SJohn Baldwin 	vm_offset_t kva, ofs;
1000fb680e16SJohn Baldwin 	vm_object_t obj;
1001fb680e16SJohn Baldwin 	int rv;
1002fb680e16SJohn Baldwin 
1003fb680e16SJohn Baldwin 	if (fp->f_type != DTYPE_SHM)
1004fb680e16SJohn Baldwin 		return (EINVAL);
1005fb680e16SJohn Baldwin 	shmfd = fp->f_data;
1006fb680e16SJohn Baldwin 	obj = shmfd->shm_object;
100789f6b863SAttilio Rao 	VM_OBJECT_WLOCK(obj);
1008fb680e16SJohn Baldwin 	/*
1009fb680e16SJohn Baldwin 	 * XXXRW: This validation is probably insufficient, and subject to
1010fb680e16SJohn Baldwin 	 * sign errors.  It should be fixed.
1011fb680e16SJohn Baldwin 	 */
1012fb680e16SJohn Baldwin 	if (offset >= shmfd->shm_size ||
1013fb680e16SJohn Baldwin 	    offset + size > round_page(shmfd->shm_size)) {
101489f6b863SAttilio Rao 		VM_OBJECT_WUNLOCK(obj);
1015fb680e16SJohn Baldwin 		return (EINVAL);
1016fb680e16SJohn Baldwin 	}
1017fb680e16SJohn Baldwin 
1018fb680e16SJohn Baldwin 	shmfd->shm_kmappings++;
1019fb680e16SJohn Baldwin 	vm_object_reference_locked(obj);
102089f6b863SAttilio Rao 	VM_OBJECT_WUNLOCK(obj);
1021fb680e16SJohn Baldwin 
1022fb680e16SJohn Baldwin 	/* Map the object into the kernel_map and wire it. */
1023fb680e16SJohn Baldwin 	kva = vm_map_min(kernel_map);
1024fb680e16SJohn Baldwin 	ofs = offset & PAGE_MASK;
1025fb680e16SJohn Baldwin 	offset = trunc_page(offset);
1026fb680e16SJohn Baldwin 	size = round_page(size + ofs);
1027edb572a3SJohn Baldwin 	rv = vm_map_find(kernel_map, obj, offset, &kva, size, 0,
10285e3a17c0SJohn Baldwin 	    VMFS_OPTIMAL_SPACE, VM_PROT_READ | VM_PROT_WRITE,
1029fb680e16SJohn Baldwin 	    VM_PROT_READ | VM_PROT_WRITE, 0);
1030fb680e16SJohn Baldwin 	if (rv == KERN_SUCCESS) {
1031fb680e16SJohn Baldwin 		rv = vm_map_wire(kernel_map, kva, kva + size,
1032fb680e16SJohn Baldwin 		    VM_MAP_WIRE_SYSTEM | VM_MAP_WIRE_NOHOLES);
1033fb680e16SJohn Baldwin 		if (rv == KERN_SUCCESS) {
1034fb680e16SJohn Baldwin 			*memp = (void *)(kva + ofs);
1035fb680e16SJohn Baldwin 			return (0);
1036fb680e16SJohn Baldwin 		}
1037fb680e16SJohn Baldwin 		vm_map_remove(kernel_map, kva, kva + size);
1038fb680e16SJohn Baldwin 	} else
1039fb680e16SJohn Baldwin 		vm_object_deallocate(obj);
1040fb680e16SJohn Baldwin 
1041fb680e16SJohn Baldwin 	/* On failure, drop our mapping reference. */
104289f6b863SAttilio Rao 	VM_OBJECT_WLOCK(obj);
1043fb680e16SJohn Baldwin 	shmfd->shm_kmappings--;
104489f6b863SAttilio Rao 	VM_OBJECT_WUNLOCK(obj);
1045fb680e16SJohn Baldwin 
1046338e7cf2SJohn Baldwin 	return (vm_mmap_to_errno(rv));
1047fb680e16SJohn Baldwin }
1048fb680e16SJohn Baldwin 
1049fb680e16SJohn Baldwin /*
1050fb680e16SJohn Baldwin  * We require the caller to unmap the entire entry.  This allows us to
1051fb680e16SJohn Baldwin  * safely decrement shm_kmappings when a mapping is removed.
1052fb680e16SJohn Baldwin  */
1053fb680e16SJohn Baldwin int
1054fb680e16SJohn Baldwin shm_unmap(struct file *fp, void *mem, size_t size)
1055fb680e16SJohn Baldwin {
1056fb680e16SJohn Baldwin 	struct shmfd *shmfd;
1057fb680e16SJohn Baldwin 	vm_map_entry_t entry;
1058fb680e16SJohn Baldwin 	vm_offset_t kva, ofs;
1059fb680e16SJohn Baldwin 	vm_object_t obj;
1060fb680e16SJohn Baldwin 	vm_pindex_t pindex;
1061fb680e16SJohn Baldwin 	vm_prot_t prot;
1062fb680e16SJohn Baldwin 	boolean_t wired;
1063fb680e16SJohn Baldwin 	vm_map_t map;
1064fb680e16SJohn Baldwin 	int rv;
1065fb680e16SJohn Baldwin 
1066fb680e16SJohn Baldwin 	if (fp->f_type != DTYPE_SHM)
1067fb680e16SJohn Baldwin 		return (EINVAL);
1068fb680e16SJohn Baldwin 	shmfd = fp->f_data;
1069fb680e16SJohn Baldwin 	kva = (vm_offset_t)mem;
1070fb680e16SJohn Baldwin 	ofs = kva & PAGE_MASK;
1071fb680e16SJohn Baldwin 	kva = trunc_page(kva);
1072fb680e16SJohn Baldwin 	size = round_page(size + ofs);
1073fb680e16SJohn Baldwin 	map = kernel_map;
1074fb680e16SJohn Baldwin 	rv = vm_map_lookup(&map, kva, VM_PROT_READ | VM_PROT_WRITE, &entry,
1075fb680e16SJohn Baldwin 	    &obj, &pindex, &prot, &wired);
1076fb680e16SJohn Baldwin 	if (rv != KERN_SUCCESS)
1077fb680e16SJohn Baldwin 		return (EINVAL);
1078fb680e16SJohn Baldwin 	if (entry->start != kva || entry->end != kva + size) {
1079fb680e16SJohn Baldwin 		vm_map_lookup_done(map, entry);
1080fb680e16SJohn Baldwin 		return (EINVAL);
1081fb680e16SJohn Baldwin 	}
1082fb680e16SJohn Baldwin 	vm_map_lookup_done(map, entry);
1083fb680e16SJohn Baldwin 	if (obj != shmfd->shm_object)
1084fb680e16SJohn Baldwin 		return (EINVAL);
1085fb680e16SJohn Baldwin 	vm_map_remove(map, kva, kva + size);
108689f6b863SAttilio Rao 	VM_OBJECT_WLOCK(obj);
1087fb680e16SJohn Baldwin 	KASSERT(shmfd->shm_kmappings > 0, ("shm_unmap: object not mapped"));
1088fb680e16SJohn Baldwin 	shmfd->shm_kmappings--;
108989f6b863SAttilio Rao 	VM_OBJECT_WUNLOCK(obj);
1090fb680e16SJohn Baldwin 	return (0);
1091fb680e16SJohn Baldwin }
1092e506e182SJohn Baldwin 
10939696feebSJohn Baldwin static int
10949696feebSJohn Baldwin shm_fill_kinfo(struct file *fp, struct kinfo_file *kif, struct filedesc *fdp)
1095e506e182SJohn Baldwin {
1096cc7b259aSJamie Gritton 	const char *path, *pr_path;
10979696feebSJohn Baldwin 	struct shmfd *shmfd;
1098cc7b259aSJamie Gritton 	size_t pr_pathlen;
1099e506e182SJohn Baldwin 
11009696feebSJohn Baldwin 	kif->kf_type = KF_TYPE_SHM;
11019696feebSJohn Baldwin 	shmfd = fp->f_data;
11029696feebSJohn Baldwin 
11039696feebSJohn Baldwin 	mtx_lock(&shm_timestamp_lock);
11049696feebSJohn Baldwin 	kif->kf_un.kf_file.kf_file_mode = S_IFREG | shmfd->shm_mode;	/* XXX */
11059696feebSJohn Baldwin 	mtx_unlock(&shm_timestamp_lock);
11069696feebSJohn Baldwin 	kif->kf_un.kf_file.kf_file_size = shmfd->shm_size;
11079696feebSJohn Baldwin 	if (shmfd->shm_path != NULL) {
1108e506e182SJohn Baldwin 		sx_slock(&shm_dict_lock);
110944c16975SJamie Gritton 		if (shmfd->shm_path != NULL) {
1110cc7b259aSJamie Gritton 			path = shmfd->shm_path;
1111cc7b259aSJamie Gritton 			pr_path = curthread->td_ucred->cr_prison->pr_path;
111244c16975SJamie Gritton 			if (strcmp(pr_path, "/") != 0) {
111344c16975SJamie Gritton 				/* Return the jail-rooted pathname. */
1114cc7b259aSJamie Gritton 				pr_pathlen = strlen(pr_path);
1115cc7b259aSJamie Gritton 				if (strncmp(path, pr_path, pr_pathlen) == 0 &&
1116cc7b259aSJamie Gritton 				    path[pr_pathlen] == '/')
1117cc7b259aSJamie Gritton 					path += pr_pathlen;
1118cc7b259aSJamie Gritton 			}
1119cc7b259aSJamie Gritton 			strlcpy(kif->kf_path, path, sizeof(kif->kf_path));
1120cc7b259aSJamie Gritton 		}
1121e506e182SJohn Baldwin 		sx_sunlock(&shm_dict_lock);
1122e506e182SJohn Baldwin 	}
11239696feebSJohn Baldwin 	return (0);
11249696feebSJohn Baldwin }
1125