xref: /freebsd/sys/kern/uipc_shm.c (revision a80817786433b8c78023e5086809bd673e704fd1)
18e38aeffSJohn Baldwin /*-
28a36da99SPedro F. Giffuni  * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
38a36da99SPedro F. Giffuni  *
415bcf785SRobert Watson  * Copyright (c) 2006, 2011, 2016-2017 Robert N. M. Watson
58e38aeffSJohn Baldwin  * All rights reserved.
68e38aeffSJohn Baldwin  *
715bcf785SRobert Watson  * Portions of this software were developed by BAE Systems, the University of
815bcf785SRobert Watson  * Cambridge Computer Laboratory, and Memorial University under DARPA/AFRL
915bcf785SRobert Watson  * contract FA8650-15-C-7558 ("CADETS"), as part of the DARPA Transparent
1015bcf785SRobert Watson  * Computing (TC) research program.
1115bcf785SRobert Watson  *
128e38aeffSJohn Baldwin  * Redistribution and use in source and binary forms, with or without
138e38aeffSJohn Baldwin  * modification, are permitted provided that the following conditions
148e38aeffSJohn Baldwin  * are met:
158e38aeffSJohn Baldwin  * 1. Redistributions of source code must retain the above copyright
168e38aeffSJohn Baldwin  *    notice, this list of conditions and the following disclaimer.
178e38aeffSJohn Baldwin  * 2. Redistributions in binary form must reproduce the above copyright
188e38aeffSJohn Baldwin  *    notice, this list of conditions and the following disclaimer in the
198e38aeffSJohn Baldwin  *    documentation and/or other materials provided with the distribution.
208e38aeffSJohn Baldwin  *
218e38aeffSJohn Baldwin  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
228e38aeffSJohn Baldwin  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
238e38aeffSJohn Baldwin  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
248e38aeffSJohn Baldwin  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
258e38aeffSJohn Baldwin  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
268e38aeffSJohn Baldwin  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
278e38aeffSJohn Baldwin  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
288e38aeffSJohn Baldwin  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
298e38aeffSJohn Baldwin  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
308e38aeffSJohn Baldwin  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
318e38aeffSJohn Baldwin  * SUCH DAMAGE.
328e38aeffSJohn Baldwin  */
338e38aeffSJohn Baldwin 
348e38aeffSJohn Baldwin /*
358e38aeffSJohn Baldwin  * Support for shared swap-backed anonymous memory objects via
369afb12baSDavid Bright  * shm_open(2), shm_rename(2), and shm_unlink(2).
379afb12baSDavid Bright  * While most of the implementation is here, vm_mmap.c contains
389afb12baSDavid Bright  * mapping logic changes.
398e38aeffSJohn Baldwin  *
405c066cd2SKonstantin Belousov  * posixshmcontrol(1) allows users to inspect the state of the memory
415c066cd2SKonstantin Belousov  * objects.  Per-uid swap resource limit controls total amount of
425c066cd2SKonstantin Belousov  * memory that user can consume for anonymous objects, including
435c066cd2SKonstantin Belousov  * shared.
448e38aeffSJohn Baldwin  */
458e38aeffSJohn Baldwin 
468e38aeffSJohn Baldwin #include <sys/cdefs.h>
478e38aeffSJohn Baldwin __FBSDID("$FreeBSD$");
488e38aeffSJohn Baldwin 
4912bc222eSJonathan Anderson #include "opt_capsicum.h"
50551a7895SRui Paulo #include "opt_ktrace.h"
5112bc222eSJonathan Anderson 
528e38aeffSJohn Baldwin #include <sys/param.h>
534a144410SRobert Watson #include <sys/capsicum.h>
54610a2b3cSJohn Baldwin #include <sys/conf.h>
558e38aeffSJohn Baldwin #include <sys/fcntl.h>
568e38aeffSJohn Baldwin #include <sys/file.h>
578e38aeffSJohn Baldwin #include <sys/filedesc.h>
582b64ab22SMark Johnston #include <sys/filio.h>
598e38aeffSJohn Baldwin #include <sys/fnv_hash.h>
608e38aeffSJohn Baldwin #include <sys/kernel.h>
6191898857SMark Johnston #include <sys/limits.h>
62551a7895SRui Paulo #include <sys/uio.h>
63551a7895SRui Paulo #include <sys/signal.h>
64cc7b259aSJamie Gritton #include <sys/jail.h>
65551a7895SRui Paulo #include <sys/ktrace.h>
668e38aeffSJohn Baldwin #include <sys/lock.h>
678e38aeffSJohn Baldwin #include <sys/malloc.h>
688e38aeffSJohn Baldwin #include <sys/mman.h>
698e38aeffSJohn Baldwin #include <sys/mutex.h>
709c00bb91SKonstantin Belousov #include <sys/priv.h>
718e38aeffSJohn Baldwin #include <sys/proc.h>
728e38aeffSJohn Baldwin #include <sys/refcount.h>
738e38aeffSJohn Baldwin #include <sys/resourcevar.h>
7489f6b863SAttilio Rao #include <sys/rwlock.h>
7556d0e33eSKonstantin Belousov #include <sys/sbuf.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;
1147883ce1fSMateusz Guzik static struct unrhdr64 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);
123af755d3eSKyle Evans static int	shm_dotruncate_locked(struct shmfd *shmfd, off_t length,
124af755d3eSKyle Evans     void *rl_cookie);
1252d5603feSDavid Bright static int	shm_copyin_path(struct thread *td, const char *userpath_in,
1262d5603feSDavid Bright     char **path_out);
1278e38aeffSJohn Baldwin 
1288e38aeffSJohn Baldwin static fo_rdwr_t	shm_read;
1298e38aeffSJohn Baldwin static fo_rdwr_t	shm_write;
1308e38aeffSJohn Baldwin static fo_truncate_t	shm_truncate;
1312b64ab22SMark Johnston static fo_ioctl_t	shm_ioctl;
1328e38aeffSJohn Baldwin static fo_stat_t	shm_stat;
1338e38aeffSJohn Baldwin static fo_close_t	shm_close;
1349c00bb91SKonstantin Belousov static fo_chmod_t	shm_chmod;
1359c00bb91SKonstantin Belousov static fo_chown_t	shm_chown;
136940cb0e2SKonstantin Belousov static fo_seek_t	shm_seek;
1379696feebSJohn Baldwin static fo_fill_kinfo_t	shm_fill_kinfo;
1387077c426SJohn Baldwin static fo_mmap_t	shm_mmap;
139af755d3eSKyle Evans static fo_get_seals_t	shm_get_seals;
140af755d3eSKyle Evans static fo_add_seals_t	shm_add_seals;
1418e38aeffSJohn Baldwin 
1428e38aeffSJohn Baldwin /* File descriptor operations. */
1431bdbd705SKonstantin Belousov struct fileops shm_ops = {
1448e38aeffSJohn Baldwin 	.fo_read = shm_read,
1458e38aeffSJohn Baldwin 	.fo_write = shm_write,
1468e38aeffSJohn Baldwin 	.fo_truncate = shm_truncate,
1472b64ab22SMark Johnston 	.fo_ioctl = shm_ioctl,
1482d69d0dcSJohn Baldwin 	.fo_poll = invfo_poll,
1492d69d0dcSJohn Baldwin 	.fo_kqfilter = invfo_kqfilter,
1508e38aeffSJohn Baldwin 	.fo_stat = shm_stat,
1518e38aeffSJohn Baldwin 	.fo_close = shm_close,
1529c00bb91SKonstantin Belousov 	.fo_chmod = shm_chmod,
1539c00bb91SKonstantin Belousov 	.fo_chown = shm_chown,
154227aaa86SKonstantin Belousov 	.fo_sendfile = vn_sendfile,
155940cb0e2SKonstantin Belousov 	.fo_seek = shm_seek,
1569696feebSJohn Baldwin 	.fo_fill_kinfo = shm_fill_kinfo,
1577077c426SJohn Baldwin 	.fo_mmap = shm_mmap,
158af755d3eSKyle Evans 	.fo_get_seals = shm_get_seals,
159af755d3eSKyle Evans 	.fo_add_seals = shm_add_seals,
160940cb0e2SKonstantin Belousov 	.fo_flags = DFLAG_PASSABLE | DFLAG_SEEKABLE
1618e38aeffSJohn Baldwin };
1628e38aeffSJohn Baldwin 
1638e38aeffSJohn Baldwin FEATURE(posix_shm, "POSIX shared memory");
1648e38aeffSJohn Baldwin 
1658e38aeffSJohn Baldwin static int
16641cf41fdSKonstantin Belousov uiomove_object_page(vm_object_t obj, size_t len, struct uio *uio)
16741cf41fdSKonstantin Belousov {
16841cf41fdSKonstantin Belousov 	vm_page_t m;
16941cf41fdSKonstantin Belousov 	vm_pindex_t idx;
17041cf41fdSKonstantin Belousov 	size_t tlen;
17141cf41fdSKonstantin Belousov 	int error, offset, rv;
17241cf41fdSKonstantin Belousov 
17341cf41fdSKonstantin Belousov 	idx = OFF_TO_IDX(uio->uio_offset);
17441cf41fdSKonstantin Belousov 	offset = uio->uio_offset & PAGE_MASK;
17541cf41fdSKonstantin Belousov 	tlen = MIN(PAGE_SIZE - offset, len);
17641cf41fdSKonstantin Belousov 
17741cf41fdSKonstantin Belousov 	VM_OBJECT_WLOCK(obj);
17841cf41fdSKonstantin Belousov 
17941cf41fdSKonstantin Belousov 	/*
1806311d7aaSWill Andrews 	 * Read I/O without either a corresponding resident page or swap
1816311d7aaSWill Andrews 	 * page: use zero_region.  This is intended to avoid instantiating
1826311d7aaSWill Andrews 	 * pages on read from a sparse region.
1836311d7aaSWill Andrews 	 */
1846311d7aaSWill Andrews 	if (uio->uio_rw == UIO_READ && vm_page_lookup(obj, idx) == NULL &&
1856311d7aaSWill Andrews 	    !vm_pager_has_page(obj, idx, NULL, NULL)) {
1866311d7aaSWill Andrews 		VM_OBJECT_WUNLOCK(obj);
187b9062c93SKonstantin Belousov 		return (uiomove(__DECONST(void *, zero_region), tlen, uio));
1886311d7aaSWill Andrews 	}
1896311d7aaSWill Andrews 
1906311d7aaSWill Andrews 	/*
19141cf41fdSKonstantin Belousov 	 * Parallel reads of the page content from disk are prevented
19241cf41fdSKonstantin Belousov 	 * by exclusive busy.
19341cf41fdSKonstantin Belousov 	 *
19441cf41fdSKonstantin Belousov 	 * Although the tmpfs vnode lock is held here, it is
19541cf41fdSKonstantin Belousov 	 * nonetheless safe to sleep waiting for a free page.  The
19641cf41fdSKonstantin Belousov 	 * pageout daemon does not need to acquire the tmpfs vnode
19741cf41fdSKonstantin Belousov 	 * lock to page out tobj's pages because tobj is a OBJT_SWAP
19841cf41fdSKonstantin Belousov 	 * type object.
19941cf41fdSKonstantin Belousov 	 */
200c7575748SJeff Roberson 	rv = vm_page_grab_valid(&m, obj, idx,
201*a8081778SJeff Roberson 	    VM_ALLOC_NORMAL | VM_ALLOC_SBUSY | VM_ALLOC_IGN_SBUSY);
20241cf41fdSKonstantin Belousov 	if (rv != VM_PAGER_OK) {
20341cf41fdSKonstantin Belousov 		VM_OBJECT_WUNLOCK(obj);
204c7575748SJeff Roberson 		printf("uiomove_object: vm_obj %p idx %jd pager error %d\n",
205c7575748SJeff Roberson 		    obj, idx, rv);
20641cf41fdSKonstantin Belousov 		return (EIO);
20741cf41fdSKonstantin Belousov 	}
20841cf41fdSKonstantin Belousov 	VM_OBJECT_WUNLOCK(obj);
20941cf41fdSKonstantin Belousov 	error = uiomove_fromphys(&m, offset, tlen, uio);
210*a8081778SJeff Roberson 	if (uio->uio_rw == UIO_WRITE && error == 0)
211*a8081778SJeff Roberson 		vm_page_set_dirty(m);
212*a8081778SJeff Roberson 	vm_page_aflag_set(m, PGA_REFERENCED);
213*a8081778SJeff Roberson 	vm_page_sunbusy(m);
21441cf41fdSKonstantin Belousov 
21541cf41fdSKonstantin Belousov 	return (error);
21641cf41fdSKonstantin Belousov }
21741cf41fdSKonstantin Belousov 
21841cf41fdSKonstantin Belousov int
21941cf41fdSKonstantin Belousov uiomove_object(vm_object_t obj, off_t obj_size, struct uio *uio)
22041cf41fdSKonstantin Belousov {
22141cf41fdSKonstantin Belousov 	ssize_t resid;
22241cf41fdSKonstantin Belousov 	size_t len;
22341cf41fdSKonstantin Belousov 	int error;
22441cf41fdSKonstantin Belousov 
22541cf41fdSKonstantin Belousov 	error = 0;
22641cf41fdSKonstantin Belousov 	while ((resid = uio->uio_resid) > 0) {
22741cf41fdSKonstantin Belousov 		if (obj_size <= uio->uio_offset)
22841cf41fdSKonstantin Belousov 			break;
22941cf41fdSKonstantin Belousov 		len = MIN(obj_size - uio->uio_offset, resid);
23041cf41fdSKonstantin Belousov 		if (len == 0)
23141cf41fdSKonstantin Belousov 			break;
23241cf41fdSKonstantin Belousov 		error = uiomove_object_page(obj, len, uio);
23341cf41fdSKonstantin Belousov 		if (error != 0 || resid == uio->uio_resid)
23441cf41fdSKonstantin Belousov 			break;
23541cf41fdSKonstantin Belousov 	}
23641cf41fdSKonstantin Belousov 	return (error);
23741cf41fdSKonstantin Belousov }
23841cf41fdSKonstantin Belousov 
23941cf41fdSKonstantin Belousov static int
240940cb0e2SKonstantin Belousov shm_seek(struct file *fp, off_t offset, int whence, struct thread *td)
241940cb0e2SKonstantin Belousov {
242940cb0e2SKonstantin Belousov 	struct shmfd *shmfd;
243940cb0e2SKonstantin Belousov 	off_t foffset;
244940cb0e2SKonstantin Belousov 	int error;
245940cb0e2SKonstantin Belousov 
246940cb0e2SKonstantin Belousov 	shmfd = fp->f_data;
247940cb0e2SKonstantin Belousov 	foffset = foffset_lock(fp, 0);
248940cb0e2SKonstantin Belousov 	error = 0;
249940cb0e2SKonstantin Belousov 	switch (whence) {
250940cb0e2SKonstantin Belousov 	case L_INCR:
251940cb0e2SKonstantin Belousov 		if (foffset < 0 ||
252940cb0e2SKonstantin Belousov 		    (offset > 0 && foffset > OFF_MAX - offset)) {
253940cb0e2SKonstantin Belousov 			error = EOVERFLOW;
254940cb0e2SKonstantin Belousov 			break;
255940cb0e2SKonstantin Belousov 		}
256940cb0e2SKonstantin Belousov 		offset += foffset;
257940cb0e2SKonstantin Belousov 		break;
258940cb0e2SKonstantin Belousov 	case L_XTND:
259940cb0e2SKonstantin Belousov 		if (offset > 0 && shmfd->shm_size > OFF_MAX - offset) {
260940cb0e2SKonstantin Belousov 			error = EOVERFLOW;
261940cb0e2SKonstantin Belousov 			break;
262940cb0e2SKonstantin Belousov 		}
263940cb0e2SKonstantin Belousov 		offset += shmfd->shm_size;
264940cb0e2SKonstantin Belousov 		break;
265940cb0e2SKonstantin Belousov 	case L_SET:
266940cb0e2SKonstantin Belousov 		break;
267940cb0e2SKonstantin Belousov 	default:
268940cb0e2SKonstantin Belousov 		error = EINVAL;
269940cb0e2SKonstantin Belousov 	}
270940cb0e2SKonstantin Belousov 	if (error == 0) {
271940cb0e2SKonstantin Belousov 		if (offset < 0 || offset > shmfd->shm_size)
272940cb0e2SKonstantin Belousov 			error = EINVAL;
273940cb0e2SKonstantin Belousov 		else
2746f2b769cSJohn-Mark Gurney 			td->td_uretoff.tdu_off = offset;
275940cb0e2SKonstantin Belousov 	}
276940cb0e2SKonstantin Belousov 	foffset_unlock(fp, offset, error != 0 ? FOF_NOUPDATE : 0);
277940cb0e2SKonstantin Belousov 	return (error);
278940cb0e2SKonstantin Belousov }
279940cb0e2SKonstantin Belousov 
280940cb0e2SKonstantin Belousov static int
2818e38aeffSJohn Baldwin shm_read(struct file *fp, struct uio *uio, struct ucred *active_cred,
2828e38aeffSJohn Baldwin     int flags, struct thread *td)
2838e38aeffSJohn Baldwin {
284940cb0e2SKonstantin Belousov 	struct shmfd *shmfd;
285940cb0e2SKonstantin Belousov 	void *rl_cookie;
286940cb0e2SKonstantin Belousov 	int error;
2878e38aeffSJohn Baldwin 
288940cb0e2SKonstantin Belousov 	shmfd = fp->f_data;
289940cb0e2SKonstantin Belousov #ifdef MAC
290940cb0e2SKonstantin Belousov 	error = mac_posixshm_check_read(active_cred, fp->f_cred, shmfd);
291940cb0e2SKonstantin Belousov 	if (error)
292940cb0e2SKonstantin Belousov 		return (error);
293940cb0e2SKonstantin Belousov #endif
2946ea906eeSJilles Tjoelker 	foffset_lock_uio(fp, uio, flags);
2956ea906eeSJilles Tjoelker 	rl_cookie = rangelock_rlock(&shmfd->shm_rl, uio->uio_offset,
2966ea906eeSJilles Tjoelker 	    uio->uio_offset + uio->uio_resid, &shmfd->shm_mtx);
297940cb0e2SKonstantin Belousov 	error = uiomove_object(shmfd->shm_object, shmfd->shm_size, uio);
298940cb0e2SKonstantin Belousov 	rangelock_unlock(&shmfd->shm_rl, rl_cookie, &shmfd->shm_mtx);
299940cb0e2SKonstantin Belousov 	foffset_unlock_uio(fp, uio, flags);
300940cb0e2SKonstantin Belousov 	return (error);
3018e38aeffSJohn Baldwin }
3028e38aeffSJohn Baldwin 
3038e38aeffSJohn Baldwin static int
3048e38aeffSJohn Baldwin shm_write(struct file *fp, struct uio *uio, struct ucred *active_cred,
3058e38aeffSJohn Baldwin     int flags, struct thread *td)
3068e38aeffSJohn Baldwin {
307940cb0e2SKonstantin Belousov 	struct shmfd *shmfd;
308940cb0e2SKonstantin Belousov 	void *rl_cookie;
309940cb0e2SKonstantin Belousov 	int error;
3108e38aeffSJohn Baldwin 
311940cb0e2SKonstantin Belousov 	shmfd = fp->f_data;
312940cb0e2SKonstantin Belousov #ifdef MAC
313940cb0e2SKonstantin Belousov 	error = mac_posixshm_check_write(active_cred, fp->f_cred, shmfd);
314940cb0e2SKonstantin Belousov 	if (error)
315940cb0e2SKonstantin Belousov 		return (error);
316940cb0e2SKonstantin Belousov #endif
317940cb0e2SKonstantin Belousov 	foffset_lock_uio(fp, uio, flags);
318940cb0e2SKonstantin Belousov 	if ((flags & FOF_OFFSET) == 0) {
319940cb0e2SKonstantin Belousov 		rl_cookie = rangelock_wlock(&shmfd->shm_rl, 0, OFF_MAX,
320940cb0e2SKonstantin Belousov 		    &shmfd->shm_mtx);
321940cb0e2SKonstantin Belousov 	} else {
322940cb0e2SKonstantin Belousov 		rl_cookie = rangelock_wlock(&shmfd->shm_rl, uio->uio_offset,
323940cb0e2SKonstantin Belousov 		    uio->uio_offset + uio->uio_resid, &shmfd->shm_mtx);
324940cb0e2SKonstantin Belousov 	}
325af755d3eSKyle Evans 	if ((shmfd->shm_seals & F_SEAL_WRITE) != 0)
326af755d3eSKyle Evans 		error = EPERM;
327af755d3eSKyle Evans 	else
328940cb0e2SKonstantin Belousov 		error = uiomove_object(shmfd->shm_object, shmfd->shm_size, uio);
329940cb0e2SKonstantin Belousov 	rangelock_unlock(&shmfd->shm_rl, rl_cookie, &shmfd->shm_mtx);
330940cb0e2SKonstantin Belousov 	foffset_unlock_uio(fp, uio, flags);
331940cb0e2SKonstantin Belousov 	return (error);
3328e38aeffSJohn Baldwin }
3338e38aeffSJohn Baldwin 
3348e38aeffSJohn Baldwin static int
3358e38aeffSJohn Baldwin shm_truncate(struct file *fp, off_t length, struct ucred *active_cred,
3368e38aeffSJohn Baldwin     struct thread *td)
3378e38aeffSJohn Baldwin {
3388e38aeffSJohn Baldwin 	struct shmfd *shmfd;
3398e38aeffSJohn Baldwin #ifdef MAC
3408e38aeffSJohn Baldwin 	int error;
3418e38aeffSJohn Baldwin #endif
3428e38aeffSJohn Baldwin 
3438e38aeffSJohn Baldwin 	shmfd = fp->f_data;
3448e38aeffSJohn Baldwin #ifdef MAC
3458e38aeffSJohn Baldwin 	error = mac_posixshm_check_truncate(active_cred, fp->f_cred, shmfd);
3468e38aeffSJohn Baldwin 	if (error)
3478e38aeffSJohn Baldwin 		return (error);
3488e38aeffSJohn Baldwin #endif
3493364c323SKonstantin Belousov 	return (shm_dotruncate(shmfd, length));
3508e38aeffSJohn Baldwin }
3518e38aeffSJohn Baldwin 
3522b64ab22SMark Johnston int
3532b64ab22SMark Johnston shm_ioctl(struct file *fp, u_long com, void *data, struct ucred *active_cred,
3542b64ab22SMark Johnston     struct thread *td)
3552b64ab22SMark Johnston {
3562b64ab22SMark Johnston 
3572b64ab22SMark Johnston 	switch (com) {
3582b64ab22SMark Johnston 	case FIONBIO:
3592b64ab22SMark Johnston 	case FIOASYNC:
3602b64ab22SMark Johnston 		/*
3612b64ab22SMark Johnston 		 * Allow fcntl(fd, F_SETFL, O_NONBLOCK) to work,
3622b64ab22SMark Johnston 		 * just like it would on an unlinked regular file
3632b64ab22SMark Johnston 		 */
3642b64ab22SMark Johnston 		return (0);
3652b64ab22SMark Johnston 	default:
3662b64ab22SMark Johnston 		return (ENOTTY);
3672b64ab22SMark Johnston 	}
3682b64ab22SMark Johnston }
3692b64ab22SMark Johnston 
3708e38aeffSJohn Baldwin static int
3718e38aeffSJohn Baldwin shm_stat(struct file *fp, struct stat *sb, struct ucred *active_cred,
3728e38aeffSJohn Baldwin     struct thread *td)
3738e38aeffSJohn Baldwin {
3748e38aeffSJohn Baldwin 	struct shmfd *shmfd;
3758e38aeffSJohn Baldwin #ifdef MAC
3768e38aeffSJohn Baldwin 	int error;
3778e38aeffSJohn Baldwin #endif
3788e38aeffSJohn Baldwin 
3798e38aeffSJohn Baldwin 	shmfd = fp->f_data;
3808e38aeffSJohn Baldwin 
3818e38aeffSJohn Baldwin #ifdef MAC
3828e38aeffSJohn Baldwin 	error = mac_posixshm_check_stat(active_cred, fp->f_cred, shmfd);
3838e38aeffSJohn Baldwin 	if (error)
3848e38aeffSJohn Baldwin 		return (error);
3858e38aeffSJohn Baldwin #endif
3868e38aeffSJohn Baldwin 
3878e38aeffSJohn Baldwin 	/*
3888e38aeffSJohn Baldwin 	 * Attempt to return sanish values for fstat() on a memory file
3898e38aeffSJohn Baldwin 	 * descriptor.
3908e38aeffSJohn Baldwin 	 */
3918e38aeffSJohn Baldwin 	bzero(sb, sizeof(*sb));
3928e38aeffSJohn Baldwin 	sb->st_blksize = PAGE_SIZE;
3938e38aeffSJohn Baldwin 	sb->st_size = shmfd->shm_size;
39455e0987aSPedro F. Giffuni 	sb->st_blocks = howmany(sb->st_size, sb->st_blksize);
3959c00bb91SKonstantin Belousov 	mtx_lock(&shm_timestamp_lock);
396510ea843SEd Schouten 	sb->st_atim = shmfd->shm_atime;
397510ea843SEd Schouten 	sb->st_ctim = shmfd->shm_ctime;
398510ea843SEd Schouten 	sb->st_mtim = shmfd->shm_mtime;
399510ea843SEd Schouten 	sb->st_birthtim = shmfd->shm_birthtime;
4009c00bb91SKonstantin Belousov 	sb->st_mode = S_IFREG | shmfd->shm_mode;		/* XXX */
4018e38aeffSJohn Baldwin 	sb->st_uid = shmfd->shm_uid;
4028e38aeffSJohn Baldwin 	sb->st_gid = shmfd->shm_gid;
4039c00bb91SKonstantin Belousov 	mtx_unlock(&shm_timestamp_lock);
404610a2b3cSJohn Baldwin 	sb->st_dev = shm_dev_ino;
405610a2b3cSJohn Baldwin 	sb->st_ino = shmfd->shm_ino;
406e4b77548SKonstantin Belousov 	sb->st_nlink = shmfd->shm_object->ref_count;
4078e38aeffSJohn Baldwin 
4088e38aeffSJohn Baldwin 	return (0);
4098e38aeffSJohn Baldwin }
4108e38aeffSJohn Baldwin 
4118e38aeffSJohn Baldwin static int
4128e38aeffSJohn Baldwin shm_close(struct file *fp, struct thread *td)
4138e38aeffSJohn Baldwin {
4148e38aeffSJohn Baldwin 	struct shmfd *shmfd;
4158e38aeffSJohn Baldwin 
4168e38aeffSJohn Baldwin 	shmfd = fp->f_data;
4178e38aeffSJohn Baldwin 	fp->f_data = NULL;
4188e38aeffSJohn Baldwin 	shm_drop(shmfd);
4198e38aeffSJohn Baldwin 
4208e38aeffSJohn Baldwin 	return (0);
4218e38aeffSJohn Baldwin }
4228e38aeffSJohn Baldwin 
423af755d3eSKyle Evans static int
4242d5603feSDavid Bright shm_copyin_path(struct thread *td, const char *userpath_in, char **path_out) {
4252d5603feSDavid Bright 	int error;
4262d5603feSDavid Bright 	char *path;
4272d5603feSDavid Bright 	const char *pr_path;
4282d5603feSDavid Bright 	size_t pr_pathlen;
4292d5603feSDavid Bright 
4302d5603feSDavid Bright 	path = malloc(MAXPATHLEN, M_SHMFD, M_WAITOK);
4312d5603feSDavid Bright 	pr_path = td->td_ucred->cr_prison->pr_path;
4322d5603feSDavid Bright 
4332d5603feSDavid Bright 	/* Construct a full pathname for jailed callers. */
4342d5603feSDavid Bright 	pr_pathlen = strcmp(pr_path, "/") ==
4352d5603feSDavid Bright 	    0 ? 0 : strlcpy(path, pr_path, MAXPATHLEN);
4362d5603feSDavid Bright 	error = copyinstr(userpath_in, path + pr_pathlen,
4372d5603feSDavid Bright 	    MAXPATHLEN - pr_pathlen, NULL);
4382d5603feSDavid Bright 	if (error != 0)
4392d5603feSDavid Bright 		goto out;
4402d5603feSDavid Bright 
4412d5603feSDavid Bright #ifdef KTRACE
4422d5603feSDavid Bright 	if (KTRPOINT(curthread, KTR_NAMEI))
4432d5603feSDavid Bright 		ktrnamei(path);
4442d5603feSDavid Bright #endif
4452d5603feSDavid Bright 
4462d5603feSDavid Bright 	/* Require paths to start with a '/' character. */
4472d5603feSDavid Bright 	if (path[pr_pathlen] != '/') {
4482d5603feSDavid Bright 		error = EINVAL;
4492d5603feSDavid Bright 		goto out;
4502d5603feSDavid Bright 	}
4512d5603feSDavid Bright 
4522d5603feSDavid Bright 	*path_out = path;
4532d5603feSDavid Bright 
4542d5603feSDavid Bright out:
4552d5603feSDavid Bright 	if (error != 0)
4562d5603feSDavid Bright 		free(path, M_SHMFD);
4572d5603feSDavid Bright 
4582d5603feSDavid Bright 	return (error);
4592d5603feSDavid Bright }
4602d5603feSDavid Bright 
4612d5603feSDavid Bright static int
462af755d3eSKyle Evans shm_dotruncate_locked(struct shmfd *shmfd, off_t length, void *rl_cookie)
4638e38aeffSJohn Baldwin {
4648e38aeffSJohn Baldwin 	vm_object_t object;
465093c7f39SGleb Smirnoff 	vm_page_t m;
4662971897dSAlan Cox 	vm_pindex_t idx, nobjsize;
4673364c323SKonstantin Belousov 	vm_ooffset_t delta;
4682971897dSAlan Cox 	int base, rv;
4698e38aeffSJohn Baldwin 
4702a016de1SAlan Cox 	KASSERT(length >= 0, ("shm_dotruncate: length < 0"));
4718e38aeffSJohn Baldwin 	object = shmfd->shm_object;
472af755d3eSKyle Evans 	VM_OBJECT_ASSERT_WLOCKED(object);
473af755d3eSKyle Evans 	rangelock_cookie_assert(rl_cookie, RA_WLOCKED);
474af755d3eSKyle Evans 	if (length == shmfd->shm_size)
4753364c323SKonstantin Belousov 		return (0);
4768e38aeffSJohn Baldwin 	nobjsize = OFF_TO_IDX(length + PAGE_MASK);
4778e38aeffSJohn Baldwin 
4788e38aeffSJohn Baldwin 	/* Are we shrinking?  If so, trim the end. */
4798e38aeffSJohn Baldwin 	if (length < shmfd->shm_size) {
480af755d3eSKyle Evans 		if ((shmfd->shm_seals & F_SEAL_SHRINK) != 0)
481af755d3eSKyle Evans 			return (EPERM);
482af755d3eSKyle Evans 
483fb680e16SJohn Baldwin 		/*
484fb680e16SJohn Baldwin 		 * Disallow any requests to shrink the size if this
485fb680e16SJohn Baldwin 		 * object is mapped into the kernel.
486fb680e16SJohn Baldwin 		 */
487af755d3eSKyle Evans 		if (shmfd->shm_kmappings > 0)
488fb680e16SJohn Baldwin 			return (EBUSY);
4892971897dSAlan Cox 
4902971897dSAlan Cox 		/*
4912971897dSAlan Cox 		 * Zero the truncated part of the last page.
4922971897dSAlan Cox 		 */
4932971897dSAlan Cox 		base = length & PAGE_MASK;
4942971897dSAlan Cox 		if (base != 0) {
4952971897dSAlan Cox 			idx = OFF_TO_IDX(length);
4962971897dSAlan Cox retry:
49763e97555SJeff Roberson 			m = vm_page_grab(object, idx, VM_ALLOC_NOCREAT);
4982971897dSAlan Cox 			if (m != NULL) {
4990012f373SJeff Roberson 				MPASS(vm_page_all_valid(m));
5002971897dSAlan Cox 			} else if (vm_pager_has_page(object, idx, NULL, NULL)) {
5018d6fbbb8SJeff Roberson 				m = vm_page_alloc(object, idx,
5028d6fbbb8SJeff Roberson 				    VM_ALLOC_NORMAL | VM_ALLOC_WAITFAIL);
5038d6fbbb8SJeff Roberson 				if (m == NULL)
5042971897dSAlan Cox 					goto retry;
5057667839aSAlan Cox 				rv = vm_pager_get_pages(object, &m, 1, NULL,
5067667839aSAlan Cox 				    NULL);
5072971897dSAlan Cox 				if (rv == VM_PAGER_OK) {
5082d612d2dSAlan Cox 					/*
5092d612d2dSAlan Cox 					 * Since the page was not resident,
5102d612d2dSAlan Cox 					 * and therefore not recently
5112d612d2dSAlan Cox 					 * accessed, immediately enqueue it
5122d612d2dSAlan Cox 					 * for asynchronous laundering.  The
5132d612d2dSAlan Cox 					 * current operation is not regarded
5142d612d2dSAlan Cox 					 * as an access.
5152d612d2dSAlan Cox 					 */
5162d612d2dSAlan Cox 					vm_page_launder(m);
5172971897dSAlan Cox 				} else {
5182971897dSAlan Cox 					vm_page_free(m);
51989f6b863SAttilio Rao 					VM_OBJECT_WUNLOCK(object);
5202971897dSAlan Cox 					return (EIO);
5212971897dSAlan Cox 				}
5222971897dSAlan Cox 			}
5232971897dSAlan Cox 			if (m != NULL) {
5242971897dSAlan Cox 				pmap_zero_page_area(m, base, PAGE_SIZE - base);
5250012f373SJeff Roberson 				KASSERT(vm_page_all_valid(m),
5262971897dSAlan Cox 				    ("shm_dotruncate: page %p is invalid", m));
527*a8081778SJeff Roberson 				vm_page_set_dirty(m);
52863e97555SJeff Roberson 				vm_page_xunbusy(m);
5292971897dSAlan Cox 			}
5302971897dSAlan Cox 		}
5312a016de1SAlan Cox 		delta = IDX_TO_OFF(object->size - nobjsize);
5323364c323SKonstantin Belousov 
5338e38aeffSJohn Baldwin 		/* Toss in memory pages. */
5348e38aeffSJohn Baldwin 		if (nobjsize < object->size)
5358e38aeffSJohn Baldwin 			vm_object_page_remove(object, nobjsize, object->size,
5366bbee8e2SAlan Cox 			    0);
5378e38aeffSJohn Baldwin 
5388e38aeffSJohn Baldwin 		/* Toss pages from swap. */
5398e38aeffSJohn Baldwin 		if (object->type == OBJT_SWAP)
5403364c323SKonstantin Belousov 			swap_pager_freespace(object, nobjsize, delta);
5413364c323SKonstantin Belousov 
5423364c323SKonstantin Belousov 		/* Free the swap accounted for shm */
543ef694c1aSEdward Tomasz Napierala 		swap_release_by_cred(delta, object->cred);
5443364c323SKonstantin Belousov 		object->charge -= delta;
5453364c323SKonstantin Belousov 	} else {
546af755d3eSKyle Evans 		if ((shmfd->shm_seals & F_SEAL_GROW) != 0)
547af755d3eSKyle Evans 			return (EPERM);
548af755d3eSKyle Evans 
5492a016de1SAlan Cox 		/* Try to reserve additional swap space. */
5502a016de1SAlan Cox 		delta = IDX_TO_OFF(nobjsize - object->size);
551af755d3eSKyle Evans 		if (!swap_reserve_by_cred(delta, object->cred))
5523364c323SKonstantin Belousov 			return (ENOMEM);
5533364c323SKonstantin Belousov 		object->charge += delta;
5548e38aeffSJohn Baldwin 	}
5558e38aeffSJohn Baldwin 	shmfd->shm_size = length;
5568e38aeffSJohn Baldwin 	mtx_lock(&shm_timestamp_lock);
5578e38aeffSJohn Baldwin 	vfs_timestamp(&shmfd->shm_ctime);
5588e38aeffSJohn Baldwin 	shmfd->shm_mtime = shmfd->shm_ctime;
5598e38aeffSJohn Baldwin 	mtx_unlock(&shm_timestamp_lock);
5608e38aeffSJohn Baldwin 	object->size = nobjsize;
5613364c323SKonstantin Belousov 	return (0);
5628e38aeffSJohn Baldwin }
5638e38aeffSJohn Baldwin 
564af755d3eSKyle Evans int
565af755d3eSKyle Evans shm_dotruncate(struct shmfd *shmfd, off_t length)
566af755d3eSKyle Evans {
567af755d3eSKyle Evans 	void *rl_cookie;
568af755d3eSKyle Evans 	int error;
569af755d3eSKyle Evans 
570af755d3eSKyle Evans 	rl_cookie = rangelock_wlock(&shmfd->shm_rl, 0, OFF_MAX,
571af755d3eSKyle Evans 	    &shmfd->shm_mtx);
572af755d3eSKyle Evans 	VM_OBJECT_WLOCK(shmfd->shm_object);
573af755d3eSKyle Evans 	error = shm_dotruncate_locked(shmfd, length, rl_cookie);
574af755d3eSKyle Evans 	VM_OBJECT_WUNLOCK(shmfd->shm_object);
575af755d3eSKyle Evans 	rangelock_unlock(&shmfd->shm_rl, rl_cookie, &shmfd->shm_mtx);
576af755d3eSKyle Evans 	return (error);
577af755d3eSKyle Evans }
578af755d3eSKyle Evans 
5798e38aeffSJohn Baldwin /*
5808e38aeffSJohn Baldwin  * shmfd object management including creation and reference counting
5818e38aeffSJohn Baldwin  * routines.
5828e38aeffSJohn Baldwin  */
5831bdbd705SKonstantin Belousov struct shmfd *
5848e38aeffSJohn Baldwin shm_alloc(struct ucred *ucred, mode_t mode)
5858e38aeffSJohn Baldwin {
5868e38aeffSJohn Baldwin 	struct shmfd *shmfd;
5878e38aeffSJohn Baldwin 
5888e38aeffSJohn Baldwin 	shmfd = malloc(sizeof(*shmfd), M_SHMFD, M_WAITOK | M_ZERO);
5898e38aeffSJohn Baldwin 	shmfd->shm_size = 0;
5908e38aeffSJohn Baldwin 	shmfd->shm_uid = ucred->cr_uid;
5918e38aeffSJohn Baldwin 	shmfd->shm_gid = ucred->cr_gid;
5928e38aeffSJohn Baldwin 	shmfd->shm_mode = mode;
59332287ea7SKyle Evans 	shmfd->shm_object = vm_pager_allocate(OBJT_SWAP, NULL,
5943364c323SKonstantin Belousov 	    shmfd->shm_size, VM_PROT_DEFAULT, 0, ucred);
5958e38aeffSJohn Baldwin 	KASSERT(shmfd->shm_object != NULL, ("shm_create: vm_pager_allocate"));
5968e38aeffSJohn Baldwin 	vfs_timestamp(&shmfd->shm_birthtime);
5978e38aeffSJohn Baldwin 	shmfd->shm_atime = shmfd->shm_mtime = shmfd->shm_ctime =
5988e38aeffSJohn Baldwin 	    shmfd->shm_birthtime;
5997883ce1fSMateusz Guzik 	shmfd->shm_ino = alloc_unr64(&shm_ino_unr);
6008e38aeffSJohn Baldwin 	refcount_init(&shmfd->shm_refs, 1);
601940cb0e2SKonstantin Belousov 	mtx_init(&shmfd->shm_mtx, "shmrl", NULL, MTX_DEF);
602940cb0e2SKonstantin Belousov 	rangelock_init(&shmfd->shm_rl);
6038e38aeffSJohn Baldwin #ifdef MAC
6048e38aeffSJohn Baldwin 	mac_posixshm_init(shmfd);
6058e38aeffSJohn Baldwin 	mac_posixshm_create(ucred, shmfd);
6068e38aeffSJohn Baldwin #endif
6078e38aeffSJohn Baldwin 
6088e38aeffSJohn Baldwin 	return (shmfd);
6098e38aeffSJohn Baldwin }
6108e38aeffSJohn Baldwin 
6111bdbd705SKonstantin Belousov struct shmfd *
6128e38aeffSJohn Baldwin shm_hold(struct shmfd *shmfd)
6138e38aeffSJohn Baldwin {
6148e38aeffSJohn Baldwin 
6158e38aeffSJohn Baldwin 	refcount_acquire(&shmfd->shm_refs);
6168e38aeffSJohn Baldwin 	return (shmfd);
6178e38aeffSJohn Baldwin }
6188e38aeffSJohn Baldwin 
6191bdbd705SKonstantin Belousov void
6208e38aeffSJohn Baldwin shm_drop(struct shmfd *shmfd)
6218e38aeffSJohn Baldwin {
6228e38aeffSJohn Baldwin 
6238e38aeffSJohn Baldwin 	if (refcount_release(&shmfd->shm_refs)) {
6248e38aeffSJohn Baldwin #ifdef MAC
6258e38aeffSJohn Baldwin 		mac_posixshm_destroy(shmfd);
6268e38aeffSJohn Baldwin #endif
627940cb0e2SKonstantin Belousov 		rangelock_destroy(&shmfd->shm_rl);
628940cb0e2SKonstantin Belousov 		mtx_destroy(&shmfd->shm_mtx);
6298e38aeffSJohn Baldwin 		vm_object_deallocate(shmfd->shm_object);
6308e38aeffSJohn Baldwin 		free(shmfd, M_SHMFD);
6318e38aeffSJohn Baldwin 	}
6328e38aeffSJohn Baldwin }
6338e38aeffSJohn Baldwin 
6348e38aeffSJohn Baldwin /*
6358e38aeffSJohn Baldwin  * Determine if the credentials have sufficient permissions for a
6368e38aeffSJohn Baldwin  * specified combination of FREAD and FWRITE.
6378e38aeffSJohn Baldwin  */
6381bdbd705SKonstantin Belousov int
6398e38aeffSJohn Baldwin shm_access(struct shmfd *shmfd, struct ucred *ucred, int flags)
6408e38aeffSJohn Baldwin {
64115bc6b2bSEdward Tomasz Napierala 	accmode_t accmode;
6429c00bb91SKonstantin Belousov 	int error;
6438e38aeffSJohn Baldwin 
64415bc6b2bSEdward Tomasz Napierala 	accmode = 0;
6458e38aeffSJohn Baldwin 	if (flags & FREAD)
64615bc6b2bSEdward Tomasz Napierala 		accmode |= VREAD;
6478e38aeffSJohn Baldwin 	if (flags & FWRITE)
64815bc6b2bSEdward Tomasz Napierala 		accmode |= VWRITE;
6499c00bb91SKonstantin Belousov 	mtx_lock(&shm_timestamp_lock);
6509c00bb91SKonstantin Belousov 	error = vaccess(VREG, shmfd->shm_mode, shmfd->shm_uid, shmfd->shm_gid,
6519c00bb91SKonstantin Belousov 	    accmode, ucred, NULL);
6529c00bb91SKonstantin Belousov 	mtx_unlock(&shm_timestamp_lock);
6539c00bb91SKonstantin Belousov 	return (error);
6548e38aeffSJohn Baldwin }
6558e38aeffSJohn Baldwin 
6568e38aeffSJohn Baldwin /*
6578e38aeffSJohn Baldwin  * Dictionary management.  We maintain an in-kernel dictionary to map
6588e38aeffSJohn Baldwin  * paths to shmfd objects.  We use the FNV hash on the path to store
6598e38aeffSJohn Baldwin  * the mappings in a hash table.
6608e38aeffSJohn Baldwin  */
6618e38aeffSJohn Baldwin static void
662610a2b3cSJohn Baldwin shm_init(void *arg)
6638e38aeffSJohn Baldwin {
6648e38aeffSJohn Baldwin 
6658e38aeffSJohn Baldwin 	mtx_init(&shm_timestamp_lock, "shm timestamps", NULL, MTX_DEF);
6668e38aeffSJohn Baldwin 	sx_init(&shm_dict_lock, "shm dictionary");
6678e38aeffSJohn Baldwin 	shm_dictionary = hashinit(1024, M_SHMFD, &shm_hash);
6687883ce1fSMateusz Guzik 	new_unrhdr64(&shm_ino_unr, 1);
669610a2b3cSJohn Baldwin 	shm_dev_ino = devfs_alloc_cdp_inode();
670610a2b3cSJohn Baldwin 	KASSERT(shm_dev_ino > 0, ("shm dev inode not initialized"));
6718e38aeffSJohn Baldwin }
672610a2b3cSJohn Baldwin SYSINIT(shm_init, SI_SUB_SYSV_SHM, SI_ORDER_ANY, shm_init, NULL);
6738e38aeffSJohn Baldwin 
6748e38aeffSJohn Baldwin static struct shmfd *
6758e38aeffSJohn Baldwin shm_lookup(char *path, Fnv32_t fnv)
6768e38aeffSJohn Baldwin {
6778e38aeffSJohn Baldwin 	struct shm_mapping *map;
6788e38aeffSJohn Baldwin 
6798e38aeffSJohn Baldwin 	LIST_FOREACH(map, SHM_HASH(fnv), sm_link) {
6808e38aeffSJohn Baldwin 		if (map->sm_fnv != fnv)
6818e38aeffSJohn Baldwin 			continue;
6828e38aeffSJohn Baldwin 		if (strcmp(map->sm_path, path) == 0)
6838e38aeffSJohn Baldwin 			return (map->sm_shmfd);
6848e38aeffSJohn Baldwin 	}
6858e38aeffSJohn Baldwin 
6868e38aeffSJohn Baldwin 	return (NULL);
6878e38aeffSJohn Baldwin }
6888e38aeffSJohn Baldwin 
6898e38aeffSJohn Baldwin static void
6908e38aeffSJohn Baldwin shm_insert(char *path, Fnv32_t fnv, struct shmfd *shmfd)
6918e38aeffSJohn Baldwin {
6928e38aeffSJohn Baldwin 	struct shm_mapping *map;
6938e38aeffSJohn Baldwin 
6948e38aeffSJohn Baldwin 	map = malloc(sizeof(struct shm_mapping), M_SHMFD, M_WAITOK);
6958e38aeffSJohn Baldwin 	map->sm_path = path;
6968e38aeffSJohn Baldwin 	map->sm_fnv = fnv;
6978e38aeffSJohn Baldwin 	map->sm_shmfd = shm_hold(shmfd);
698e506e182SJohn Baldwin 	shmfd->shm_path = path;
6998e38aeffSJohn Baldwin 	LIST_INSERT_HEAD(SHM_HASH(fnv), map, sm_link);
7008e38aeffSJohn Baldwin }
7018e38aeffSJohn Baldwin 
7028e38aeffSJohn Baldwin static int
7038e38aeffSJohn Baldwin shm_remove(char *path, Fnv32_t fnv, struct ucred *ucred)
7048e38aeffSJohn Baldwin {
7058e38aeffSJohn Baldwin 	struct shm_mapping *map;
7068e38aeffSJohn Baldwin 	int error;
7078e38aeffSJohn Baldwin 
7088e38aeffSJohn Baldwin 	LIST_FOREACH(map, SHM_HASH(fnv), sm_link) {
7098e38aeffSJohn Baldwin 		if (map->sm_fnv != fnv)
7108e38aeffSJohn Baldwin 			continue;
7118e38aeffSJohn Baldwin 		if (strcmp(map->sm_path, path) == 0) {
7128e38aeffSJohn Baldwin #ifdef MAC
7138e38aeffSJohn Baldwin 			error = mac_posixshm_check_unlink(ucred, map->sm_shmfd);
7148e38aeffSJohn Baldwin 			if (error)
7158e38aeffSJohn Baldwin 				return (error);
7168e38aeffSJohn Baldwin #endif
7178e38aeffSJohn Baldwin 			error = shm_access(map->sm_shmfd, ucred,
7188e38aeffSJohn Baldwin 			    FREAD | FWRITE);
7198e38aeffSJohn Baldwin 			if (error)
7208e38aeffSJohn Baldwin 				return (error);
721e506e182SJohn Baldwin 			map->sm_shmfd->shm_path = NULL;
7228e38aeffSJohn Baldwin 			LIST_REMOVE(map, sm_link);
7238e38aeffSJohn Baldwin 			shm_drop(map->sm_shmfd);
7248e38aeffSJohn Baldwin 			free(map->sm_path, M_SHMFD);
7258e38aeffSJohn Baldwin 			free(map, M_SHMFD);
7268e38aeffSJohn Baldwin 			return (0);
7278e38aeffSJohn Baldwin 		}
7288e38aeffSJohn Baldwin 	}
7298e38aeffSJohn Baldwin 
7308e38aeffSJohn Baldwin 	return (ENOENT);
7318e38aeffSJohn Baldwin }
7328e38aeffSJohn Baldwin 
7338e38aeffSJohn Baldwin int
7347ee1b208SEd Schouten kern_shm_open(struct thread *td, const char *userpath, int flags, mode_t mode,
7350cd95859SKyle Evans     struct filecaps *fcaps, int initial_seals)
7368e38aeffSJohn Baldwin {
7378e38aeffSJohn Baldwin 	struct filedesc *fdp;
7388e38aeffSJohn Baldwin 	struct shmfd *shmfd;
7398e38aeffSJohn Baldwin 	struct file *fp;
7408e38aeffSJohn Baldwin 	char *path;
7410cd95859SKyle Evans 	void *rl_cookie;
7428e38aeffSJohn Baldwin 	Fnv32_t fnv;
7438e38aeffSJohn Baldwin 	mode_t cmode;
7448e38aeffSJohn Baldwin 	int fd, error;
7458e38aeffSJohn Baldwin 
74612bc222eSJonathan Anderson #ifdef CAPABILITY_MODE
74712bc222eSJonathan Anderson 	/*
74812bc222eSJonathan Anderson 	 * shm_open(2) is only allowed for anonymous objects.
74912bc222eSJonathan Anderson 	 */
7507ee1b208SEd Schouten 	if (IN_CAPABILITY_MODE(td) && (userpath != SHM_ANON))
75112bc222eSJonathan Anderson 		return (ECAPMODE);
75212bc222eSJonathan Anderson #endif
75312bc222eSJonathan Anderson 
75415bcf785SRobert Watson 	AUDIT_ARG_FFLAGS(flags);
75515bcf785SRobert Watson 	AUDIT_ARG_MODE(mode);
75615bcf785SRobert Watson 
7577ee1b208SEd Schouten 	if ((flags & O_ACCMODE) != O_RDONLY && (flags & O_ACCMODE) != O_RDWR)
7588e38aeffSJohn Baldwin 		return (EINVAL);
7598e38aeffSJohn Baldwin 
7607ee1b208SEd Schouten 	if ((flags & ~(O_ACCMODE | O_CREAT | O_EXCL | O_TRUNC | O_CLOEXEC)) != 0)
7618e38aeffSJohn Baldwin 		return (EINVAL);
7628e38aeffSJohn Baldwin 
7630cd95859SKyle Evans 	/*
7640cd95859SKyle Evans 	 * Currently only F_SEAL_SEAL may be set when creating or opening shmfd.
7650cd95859SKyle Evans 	 * If the decision is made later to allow additional seals, care must be
7660cd95859SKyle Evans 	 * taken below to ensure that the seals are properly set if the shmfd
7670cd95859SKyle Evans 	 * already existed -- this currently assumes that only F_SEAL_SEAL can
7680cd95859SKyle Evans 	 * be set and doesn't take further precautions to ensure the validity of
7690cd95859SKyle Evans 	 * the seals being added with respect to current mappings.
7700cd95859SKyle Evans 	 */
7710cd95859SKyle Evans 	if ((initial_seals & ~F_SEAL_SEAL) != 0)
7720cd95859SKyle Evans 		return (EINVAL);
7730cd95859SKyle Evans 
7748e38aeffSJohn Baldwin 	fdp = td->td_proc->p_fd;
7757ee1b208SEd Schouten 	cmode = (mode & ~fdp->fd_cmask) & ACCESSPERMS;
7768e38aeffSJohn Baldwin 
777b5a7ac99SKyle Evans 	/*
778b5a7ac99SKyle Evans 	 * shm_open(2) created shm should always have O_CLOEXEC set, as mandated
779b5a7ac99SKyle Evans 	 * by POSIX.  We allow it to be unset here so that an in-kernel
780b5a7ac99SKyle Evans 	 * interface may be written as a thin layer around shm, optionally not
781b5a7ac99SKyle Evans 	 * setting CLOEXEC.  For shm_open(2), O_CLOEXEC is set unconditionally
782b5a7ac99SKyle Evans 	 * in sys_shm_open() to keep this implementation compliant.
783b5a7ac99SKyle Evans 	 */
784b5a7ac99SKyle Evans 	error = falloc_caps(td, &fp, &fd, flags & O_CLOEXEC, fcaps);
7858e38aeffSJohn Baldwin 	if (error)
7868e38aeffSJohn Baldwin 		return (error);
7878e38aeffSJohn Baldwin 
7888e38aeffSJohn Baldwin 	/* A SHM_ANON path pointer creates an anonymous object. */
7897ee1b208SEd Schouten 	if (userpath == SHM_ANON) {
7908e38aeffSJohn Baldwin 		/* A read-only anonymous object is pointless. */
7917ee1b208SEd Schouten 		if ((flags & O_ACCMODE) == O_RDONLY) {
79290f54cbfSMateusz Guzik 			fdclose(td, fp, fd);
7938e38aeffSJohn Baldwin 			fdrop(fp, td);
7948e38aeffSJohn Baldwin 			return (EINVAL);
7958e38aeffSJohn Baldwin 		}
7968e38aeffSJohn Baldwin 		shmfd = shm_alloc(td->td_ucred, cmode);
7970cd95859SKyle Evans 		shmfd->shm_seals = initial_seals;
7988e38aeffSJohn Baldwin 	} else {
7992d5603feSDavid Bright 		error = shm_copyin_path(td, userpath, &path);
8002d5603feSDavid Bright 		if (error != 0) {
80190f54cbfSMateusz Guzik 			fdclose(td, fp, fd);
8028e38aeffSJohn Baldwin 			fdrop(fp, td);
8038e38aeffSJohn Baldwin 			return (error);
8048e38aeffSJohn Baldwin 		}
8058e38aeffSJohn Baldwin 
80615bcf785SRobert Watson 		AUDIT_ARG_UPATH1_CANON(path);
8078e38aeffSJohn Baldwin 		fnv = fnv_32_str(path, FNV1_32_INIT);
8088e38aeffSJohn Baldwin 		sx_xlock(&shm_dict_lock);
8098e38aeffSJohn Baldwin 		shmfd = shm_lookup(path, fnv);
8108e38aeffSJohn Baldwin 		if (shmfd == NULL) {
8118e38aeffSJohn Baldwin 			/* Object does not yet exist, create it if requested. */
8127ee1b208SEd Schouten 			if (flags & O_CREAT) {
8139b6dd12eSRobert Watson #ifdef MAC
8149b6dd12eSRobert Watson 				error = mac_posixshm_check_create(td->td_ucred,
8159b6dd12eSRobert Watson 				    path);
8169b6dd12eSRobert Watson 				if (error == 0) {
8179b6dd12eSRobert Watson #endif
8188e38aeffSJohn Baldwin 					shmfd = shm_alloc(td->td_ucred, cmode);
8190cd95859SKyle Evans 					shmfd->shm_seals = initial_seals;
8208e38aeffSJohn Baldwin 					shm_insert(path, fnv, shmfd);
8219b6dd12eSRobert Watson #ifdef MAC
8229b6dd12eSRobert Watson 				}
8239b6dd12eSRobert Watson #endif
8248e38aeffSJohn Baldwin 			} else {
8258e38aeffSJohn Baldwin 				free(path, M_SHMFD);
8268e38aeffSJohn Baldwin 				error = ENOENT;
8278e38aeffSJohn Baldwin 			}
8288e38aeffSJohn Baldwin 		} else {
8290cd95859SKyle Evans 			rl_cookie = rangelock_wlock(&shmfd->shm_rl, 0, OFF_MAX,
8300cd95859SKyle Evans 			    &shmfd->shm_mtx);
8310cd95859SKyle Evans 
8320cd95859SKyle Evans 			/*
8330cd95859SKyle Evans 			 * kern_shm_open() likely shouldn't ever error out on
8340cd95859SKyle Evans 			 * trying to set a seal that already exists, unlike
8350cd95859SKyle Evans 			 * F_ADD_SEALS.  This would break terribly as
8360cd95859SKyle Evans 			 * shm_open(2) actually sets F_SEAL_SEAL to maintain
8370cd95859SKyle Evans 			 * historical behavior where the underlying file could
8380cd95859SKyle Evans 			 * not be sealed.
8390cd95859SKyle Evans 			 */
8400cd95859SKyle Evans 			initial_seals &= ~shmfd->shm_seals;
8410cd95859SKyle Evans 
8428e38aeffSJohn Baldwin 			/*
8438e38aeffSJohn Baldwin 			 * Object already exists, obtain a new
8448e38aeffSJohn Baldwin 			 * reference if requested and permitted.
8458e38aeffSJohn Baldwin 			 */
8468e38aeffSJohn Baldwin 			free(path, M_SHMFD);
8470cd95859SKyle Evans 
8480cd95859SKyle Evans 			/*
8490cd95859SKyle Evans 			 * initial_seals can't set additional seals if we've
8500cd95859SKyle Evans 			 * already been set F_SEAL_SEAL.  If F_SEAL_SEAL is set,
8510cd95859SKyle Evans 			 * then we've already removed that one from
8520cd95859SKyle Evans 			 * initial_seals.  This is currently redundant as we
8530cd95859SKyle Evans 			 * only allow setting F_SEAL_SEAL at creation time, but
8540cd95859SKyle Evans 			 * it's cheap to check and decreases the effort required
8550cd95859SKyle Evans 			 * to allow additional seals.
8560cd95859SKyle Evans 			 */
8570cd95859SKyle Evans 			if ((shmfd->shm_seals & F_SEAL_SEAL) != 0 &&
8580cd95859SKyle Evans 			    initial_seals != 0)
8590cd95859SKyle Evans 				error = EPERM;
8600cd95859SKyle Evans 			else if ((flags & (O_CREAT | O_EXCL)) ==
8610cd95859SKyle Evans 			    (O_CREAT | O_EXCL))
8628e38aeffSJohn Baldwin 				error = EEXIST;
8638e38aeffSJohn Baldwin 			else {
8648e38aeffSJohn Baldwin #ifdef MAC
8658e38aeffSJohn Baldwin 				error = mac_posixshm_check_open(td->td_ucred,
8667ee1b208SEd Schouten 				    shmfd, FFLAGS(flags & O_ACCMODE));
8678e38aeffSJohn Baldwin 				if (error == 0)
8688e38aeffSJohn Baldwin #endif
8698e38aeffSJohn Baldwin 				error = shm_access(shmfd, td->td_ucred,
8707ee1b208SEd Schouten 				    FFLAGS(flags & O_ACCMODE));
8718e38aeffSJohn Baldwin 			}
8728e38aeffSJohn Baldwin 
8738e38aeffSJohn Baldwin 			/*
8748e38aeffSJohn Baldwin 			 * Truncate the file back to zero length if
8758e38aeffSJohn Baldwin 			 * O_TRUNC was specified and the object was
8768e38aeffSJohn Baldwin 			 * opened with read/write.
8778e38aeffSJohn Baldwin 			 */
8788e38aeffSJohn Baldwin 			if (error == 0 &&
8797ee1b208SEd Schouten 			    (flags & (O_ACCMODE | O_TRUNC)) ==
8808e38aeffSJohn Baldwin 			    (O_RDWR | O_TRUNC)) {
8810cd95859SKyle Evans 				VM_OBJECT_WLOCK(shmfd->shm_object);
8828e38aeffSJohn Baldwin #ifdef MAC
8838e38aeffSJohn Baldwin 				error = mac_posixshm_check_truncate(
8848e38aeffSJohn Baldwin 					td->td_ucred, fp->f_cred, shmfd);
8858e38aeffSJohn Baldwin 				if (error == 0)
8868e38aeffSJohn Baldwin #endif
8870cd95859SKyle Evans 					error = shm_dotruncate_locked(shmfd, 0,
8880cd95859SKyle Evans 					    rl_cookie);
8890cd95859SKyle Evans 				VM_OBJECT_WUNLOCK(shmfd->shm_object);
8908e38aeffSJohn Baldwin 			}
8910cd95859SKyle Evans 			if (error == 0) {
8920cd95859SKyle Evans 				/*
8930cd95859SKyle Evans 				 * Currently we only allow F_SEAL_SEAL to be
8940cd95859SKyle Evans 				 * set initially.  As noted above, this would
8950cd95859SKyle Evans 				 * need to be reworked should that change.
8960cd95859SKyle Evans 				 */
8970cd95859SKyle Evans 				shmfd->shm_seals |= initial_seals;
8988e38aeffSJohn Baldwin 				shm_hold(shmfd);
8998e38aeffSJohn Baldwin 			}
9000cd95859SKyle Evans 			rangelock_unlock(&shmfd->shm_rl, rl_cookie,
9010cd95859SKyle Evans 			    &shmfd->shm_mtx);
9020cd95859SKyle Evans 		}
9038e38aeffSJohn Baldwin 		sx_xunlock(&shm_dict_lock);
9048e38aeffSJohn Baldwin 
9058e38aeffSJohn Baldwin 		if (error) {
90690f54cbfSMateusz Guzik 			fdclose(td, fp, fd);
9078e38aeffSJohn Baldwin 			fdrop(fp, td);
9088e38aeffSJohn Baldwin 			return (error);
9098e38aeffSJohn Baldwin 		}
9108e38aeffSJohn Baldwin 	}
9118e38aeffSJohn Baldwin 
9127ee1b208SEd Schouten 	finit(fp, FFLAGS(flags & O_ACCMODE), DTYPE_SHM, shmfd, &shm_ops);
9138e38aeffSJohn Baldwin 
9148e38aeffSJohn Baldwin 	td->td_retval[0] = fd;
9158e38aeffSJohn Baldwin 	fdrop(fp, td);
9168e38aeffSJohn Baldwin 
9178e38aeffSJohn Baldwin 	return (0);
9188e38aeffSJohn Baldwin }
9198e38aeffSJohn Baldwin 
9207ee1b208SEd Schouten /* System calls. */
921a9ac5e14SKyle Evans #ifdef COMPAT_FREEBSD12
9227ee1b208SEd Schouten int
923a9ac5e14SKyle Evans freebsd12_shm_open(struct thread *td, struct freebsd12_shm_open_args *uap)
9247ee1b208SEd Schouten {
9257ee1b208SEd Schouten 
926b5a7ac99SKyle Evans 	return (kern_shm_open(td, uap->path, uap->flags | O_CLOEXEC, uap->mode,
9270cd95859SKyle Evans 	    NULL, F_SEAL_SEAL));
9287ee1b208SEd Schouten }
929a9ac5e14SKyle Evans #endif
9307ee1b208SEd Schouten 
9318e38aeffSJohn Baldwin int
9328451d0ddSKip Macy sys_shm_unlink(struct thread *td, struct shm_unlink_args *uap)
9338e38aeffSJohn Baldwin {
9348e38aeffSJohn Baldwin 	char *path;
9358e38aeffSJohn Baldwin 	Fnv32_t fnv;
9368e38aeffSJohn Baldwin 	int error;
9378e38aeffSJohn Baldwin 
9382d5603feSDavid Bright 	error = shm_copyin_path(td, uap->path, &path);
9392d5603feSDavid Bright 	if (error != 0)
9408e38aeffSJohn Baldwin 		return (error);
9412d5603feSDavid Bright 
94215bcf785SRobert Watson 	AUDIT_ARG_UPATH1_CANON(path);
9438e38aeffSJohn Baldwin 	fnv = fnv_32_str(path, FNV1_32_INIT);
9448e38aeffSJohn Baldwin 	sx_xlock(&shm_dict_lock);
9458e38aeffSJohn Baldwin 	error = shm_remove(path, fnv, td->td_ucred);
9468e38aeffSJohn Baldwin 	sx_xunlock(&shm_dict_lock);
9478e38aeffSJohn Baldwin 	free(path, M_TEMP);
9488e38aeffSJohn Baldwin 
9498e38aeffSJohn Baldwin 	return (error);
9508e38aeffSJohn Baldwin }
9518e38aeffSJohn Baldwin 
9528e38aeffSJohn Baldwin int
9539afb12baSDavid Bright sys_shm_rename(struct thread *td, struct shm_rename_args *uap)
9549afb12baSDavid Bright {
9559afb12baSDavid Bright 	char *path_from = NULL, *path_to = NULL;
9569afb12baSDavid Bright 	Fnv32_t fnv_from, fnv_to;
9579afb12baSDavid Bright 	struct shmfd *fd_from;
9589afb12baSDavid Bright 	struct shmfd *fd_to;
9599afb12baSDavid Bright 	int error;
9609afb12baSDavid Bright 	int flags;
9619afb12baSDavid Bright 
9629afb12baSDavid Bright 	flags = uap->flags;
9632d5603feSDavid Bright 	AUDIT_ARG_FFLAGS(flags);
9649afb12baSDavid Bright 
9659afb12baSDavid Bright 	/*
9669afb12baSDavid Bright 	 * Make sure the user passed only valid flags.
9679afb12baSDavid Bright 	 * If you add a new flag, please add a new term here.
9689afb12baSDavid Bright 	 */
9699afb12baSDavid Bright 	if ((flags & ~(
9709afb12baSDavid Bright 	    SHM_RENAME_NOREPLACE |
9719afb12baSDavid Bright 	    SHM_RENAME_EXCHANGE
9729afb12baSDavid Bright 	    )) != 0) {
9739afb12baSDavid Bright 		error = EINVAL;
9749afb12baSDavid Bright 		goto out;
9759afb12baSDavid Bright 	}
9769afb12baSDavid Bright 
9779afb12baSDavid Bright 	/*
9789afb12baSDavid Bright 	 * EXCHANGE and NOREPLACE don't quite make sense together. Let's
9799afb12baSDavid Bright 	 * force the user to choose one or the other.
9809afb12baSDavid Bright 	 */
9819afb12baSDavid Bright 	if ((flags & SHM_RENAME_NOREPLACE) != 0 &&
9829afb12baSDavid Bright 	    (flags & SHM_RENAME_EXCHANGE) != 0) {
9839afb12baSDavid Bright 		error = EINVAL;
9849afb12baSDavid Bright 		goto out;
9859afb12baSDavid Bright 	}
9869afb12baSDavid Bright 
9872d5603feSDavid Bright 	/* Renaming to or from anonymous makes no sense */
9882d5603feSDavid Bright 	if (uap->path_from == SHM_ANON || uap->path_to == SHM_ANON) {
9892d5603feSDavid Bright 		error = EINVAL;
9902d5603feSDavid Bright 		goto out;
9912d5603feSDavid Bright 	}
9922d5603feSDavid Bright 
9932d5603feSDavid Bright 	error = shm_copyin_path(td, uap->path_from, &path_from);
9942d5603feSDavid Bright 	if (error != 0)
9959afb12baSDavid Bright 		goto out;
9969afb12baSDavid Bright 
9972d5603feSDavid Bright 	error = shm_copyin_path(td, uap->path_to, &path_to);
9982d5603feSDavid Bright 	if (error != 0)
9999afb12baSDavid Bright 		goto out;
10009afb12baSDavid Bright 
10012d5603feSDavid Bright 	AUDIT_ARG_UPATH1_CANON(path_from);
10022d5603feSDavid Bright 	AUDIT_ARG_UPATH2_CANON(path_to);
10032d5603feSDavid Bright 
10049afb12baSDavid Bright 	/* Rename with from/to equal is a no-op */
10052d5603feSDavid Bright 	if (strcmp(path_from, path_to) == 0)
10069afb12baSDavid Bright 		goto out;
10079afb12baSDavid Bright 
10089afb12baSDavid Bright 	fnv_from = fnv_32_str(path_from, FNV1_32_INIT);
10099afb12baSDavid Bright 	fnv_to = fnv_32_str(path_to, FNV1_32_INIT);
10109afb12baSDavid Bright 
10119afb12baSDavid Bright 	sx_xlock(&shm_dict_lock);
10129afb12baSDavid Bright 
10139afb12baSDavid Bright 	fd_from = shm_lookup(path_from, fnv_from);
10149afb12baSDavid Bright 	if (fd_from == NULL) {
10159afb12baSDavid Bright 		error = ENOENT;
10162d5603feSDavid Bright 		goto out_locked;
10179afb12baSDavid Bright 	}
10189afb12baSDavid Bright 
10199afb12baSDavid Bright 	fd_to = shm_lookup(path_to, fnv_to);
10209afb12baSDavid Bright 	if ((flags & SHM_RENAME_NOREPLACE) != 0 && fd_to != NULL) {
10219afb12baSDavid Bright 		error = EEXIST;
10222d5603feSDavid Bright 		goto out_locked;
10239afb12baSDavid Bright 	}
10249afb12baSDavid Bright 
10259afb12baSDavid Bright 	/*
10269afb12baSDavid Bright 	 * Unconditionally prevents shm_remove from invalidating the 'from'
10279afb12baSDavid Bright 	 * shm's state.
10289afb12baSDavid Bright 	 */
10299afb12baSDavid Bright 	shm_hold(fd_from);
10309afb12baSDavid Bright 	error = shm_remove(path_from, fnv_from, td->td_ucred);
10319afb12baSDavid Bright 
10329afb12baSDavid Bright 	/*
10339afb12baSDavid Bright 	 * One of my assumptions failed if ENOENT (e.g. locking didn't
10349afb12baSDavid Bright 	 * protect us)
10359afb12baSDavid Bright 	 */
10369afb12baSDavid Bright 	KASSERT(error != ENOENT, ("Our shm disappeared during shm_rename: %s",
10379afb12baSDavid Bright 	    path_from));
10382d5603feSDavid Bright 	if (error != 0) {
10399afb12baSDavid Bright 		shm_drop(fd_from);
10402d5603feSDavid Bright 		goto out_locked;
10419afb12baSDavid Bright 	}
10429afb12baSDavid Bright 
10439afb12baSDavid Bright 	/*
10449afb12baSDavid Bright 	 * If we are exchanging, we need to ensure the shm_remove below
10459afb12baSDavid Bright 	 * doesn't invalidate the dest shm's state.
10469afb12baSDavid Bright 	 */
10479afb12baSDavid Bright 	if ((flags & SHM_RENAME_EXCHANGE) != 0 && fd_to != NULL)
10489afb12baSDavid Bright 		shm_hold(fd_to);
10499afb12baSDavid Bright 
10509afb12baSDavid Bright 	/*
10519afb12baSDavid Bright 	 * NOTE: if path_to is not already in the hash, c'est la vie;
10529afb12baSDavid Bright 	 * it simply means we have nothing already at path_to to unlink.
10539afb12baSDavid Bright 	 * That is the ENOENT case.
10549afb12baSDavid Bright 	 *
10559afb12baSDavid Bright 	 * If we somehow don't have access to unlink this guy, but
10569afb12baSDavid Bright 	 * did for the shm at path_from, then relink the shm to path_from
10579afb12baSDavid Bright 	 * and abort with EACCES.
10589afb12baSDavid Bright 	 *
10599afb12baSDavid Bright 	 * All other errors: that is weird; let's relink and abort the
10609afb12baSDavid Bright 	 * operation.
10619afb12baSDavid Bright 	 */
10629afb12baSDavid Bright 	error = shm_remove(path_to, fnv_to, td->td_ucred);
10632d5603feSDavid Bright 	if (error != 0 && error != ENOENT) {
10649afb12baSDavid Bright 		shm_insert(path_from, fnv_from, fd_from);
10659afb12baSDavid Bright 		shm_drop(fd_from);
10669afb12baSDavid Bright 		/* Don't free path_from now, since the hash references it */
10679afb12baSDavid Bright 		path_from = NULL;
10682d5603feSDavid Bright 		goto out_locked;
10699afb12baSDavid Bright 	}
10709afb12baSDavid Bright 
10712d5603feSDavid Bright 	error = 0;
10722d5603feSDavid Bright 
10739afb12baSDavid Bright 	shm_insert(path_to, fnv_to, fd_from);
10749afb12baSDavid Bright 
10759afb12baSDavid Bright 	/* Don't free path_to now, since the hash references it */
10769afb12baSDavid Bright 	path_to = NULL;
10779afb12baSDavid Bright 
10789afb12baSDavid Bright 	/* We kept a ref when we removed, and incremented again in insert */
10799afb12baSDavid Bright 	shm_drop(fd_from);
10809afb12baSDavid Bright 	KASSERT(fd_from->shm_refs > 0, ("Expected >0 refs; got: %d\n",
10819afb12baSDavid Bright 	    fd_from->shm_refs));
10829afb12baSDavid Bright 
10839afb12baSDavid Bright 	if ((flags & SHM_RENAME_EXCHANGE) != 0 && fd_to != NULL) {
10849afb12baSDavid Bright 		shm_insert(path_from, fnv_from, fd_to);
10859afb12baSDavid Bright 		path_from = NULL;
10869afb12baSDavid Bright 		shm_drop(fd_to);
10879afb12baSDavid Bright 		KASSERT(fd_to->shm_refs > 0, ("Expected >0 refs; got: %d\n",
10889afb12baSDavid Bright 		    fd_to->shm_refs));
10899afb12baSDavid Bright 	}
10909afb12baSDavid Bright 
10912d5603feSDavid Bright out_locked:
10929afb12baSDavid Bright 	sx_xunlock(&shm_dict_lock);
10939afb12baSDavid Bright 
10949afb12baSDavid Bright out:
10959afb12baSDavid Bright 	free(path_from, M_SHMFD);
10969afb12baSDavid Bright 	free(path_to, M_SHMFD);
10979afb12baSDavid Bright 	return (error);
10989afb12baSDavid Bright }
10999afb12baSDavid Bright 
11009afb12baSDavid Bright int
11017077c426SJohn Baldwin shm_mmap(struct file *fp, vm_map_t map, vm_offset_t *addr, vm_size_t objsize,
11027077c426SJohn Baldwin     vm_prot_t prot, vm_prot_t cap_maxprot, int flags,
11037077c426SJohn Baldwin     vm_ooffset_t foff, struct thread *td)
11048e38aeffSJohn Baldwin {
11057077c426SJohn Baldwin 	struct shmfd *shmfd;
11067077c426SJohn Baldwin 	vm_prot_t maxprot;
11077077c426SJohn Baldwin 	int error;
1108dca52ab4SKyle Evans 	bool writecnt;
1109af755d3eSKyle Evans 	void *rl_cookie;
11107077c426SJohn Baldwin 
11117077c426SJohn Baldwin 	shmfd = fp->f_data;
11127077c426SJohn Baldwin 	maxprot = VM_PROT_NONE;
11137077c426SJohn Baldwin 
1114af755d3eSKyle Evans 	rl_cookie = rangelock_rlock(&shmfd->shm_rl, 0, objsize,
1115af755d3eSKyle Evans 	    &shmfd->shm_mtx);
11167077c426SJohn Baldwin 	/* FREAD should always be set. */
11177077c426SJohn Baldwin 	if ((fp->f_flag & FREAD) != 0)
11187077c426SJohn Baldwin 		maxprot |= VM_PROT_EXECUTE | VM_PROT_READ;
11197077c426SJohn Baldwin 	if ((fp->f_flag & FWRITE) != 0)
11207077c426SJohn Baldwin 		maxprot |= VM_PROT_WRITE;
11217077c426SJohn Baldwin 
1122dca52ab4SKyle Evans 	writecnt = (flags & MAP_SHARED) != 0 && (prot & VM_PROT_WRITE) != 0;
1123dca52ab4SKyle Evans 
1124af755d3eSKyle Evans 	if (writecnt && (shmfd->shm_seals & F_SEAL_WRITE) != 0) {
1125af755d3eSKyle Evans 		error = EPERM;
1126af755d3eSKyle Evans 		goto out;
1127af755d3eSKyle Evans 	}
1128af755d3eSKyle Evans 
11297077c426SJohn Baldwin 	/* Don't permit shared writable mappings on read-only descriptors. */
1130af755d3eSKyle Evans 	if (writecnt && (maxprot & VM_PROT_WRITE) == 0) {
1131af755d3eSKyle Evans 		error = EACCES;
1132af755d3eSKyle Evans 		goto out;
1133af755d3eSKyle Evans 	}
11347077c426SJohn Baldwin 	maxprot &= cap_maxprot;
11357077c426SJohn Baldwin 
1136987ff181SKonstantin Belousov 	/* See comment in vn_mmap(). */
1137987ff181SKonstantin Belousov 	if (
1138987ff181SKonstantin Belousov #ifdef _LP64
1139987ff181SKonstantin Belousov 	    objsize > OFF_MAX ||
1140987ff181SKonstantin Belousov #endif
1141af755d3eSKyle Evans 	    foff < 0 || foff > OFF_MAX - objsize) {
1142af755d3eSKyle Evans 		error = EINVAL;
1143af755d3eSKyle Evans 		goto out;
1144af755d3eSKyle Evans 	}
1145987ff181SKonstantin Belousov 
11467077c426SJohn Baldwin #ifdef MAC
11477077c426SJohn Baldwin 	error = mac_posixshm_check_mmap(td->td_ucred, shmfd, prot, flags);
11487077c426SJohn Baldwin 	if (error != 0)
1149af755d3eSKyle Evans 		goto out;
11507077c426SJohn Baldwin #endif
11518e38aeffSJohn Baldwin 
11528e38aeffSJohn Baldwin 	mtx_lock(&shm_timestamp_lock);
11538e38aeffSJohn Baldwin 	vfs_timestamp(&shmfd->shm_atime);
11548e38aeffSJohn Baldwin 	mtx_unlock(&shm_timestamp_lock);
11558e38aeffSJohn Baldwin 	vm_object_reference(shmfd->shm_object);
11567077c426SJohn Baldwin 
1157dca52ab4SKyle Evans 	if (writecnt)
1158dca52ab4SKyle Evans 		vm_pager_update_writecount(shmfd->shm_object, 0, objsize);
11597077c426SJohn Baldwin 	error = vm_mmap_object(map, addr, objsize, prot, maxprot, flags,
1160dca52ab4SKyle Evans 	    shmfd->shm_object, foff, writecnt, td);
1161dca52ab4SKyle Evans 	if (error != 0) {
1162dca52ab4SKyle Evans 		if (writecnt)
1163dca52ab4SKyle Evans 			vm_pager_release_writecount(shmfd->shm_object, 0,
1164dca52ab4SKyle Evans 			    objsize);
11657077c426SJohn Baldwin 		vm_object_deallocate(shmfd->shm_object);
1166dca52ab4SKyle Evans 	}
1167af755d3eSKyle Evans out:
1168af755d3eSKyle Evans 	rangelock_unlock(&shmfd->shm_rl, rl_cookie, &shmfd->shm_mtx);
116934d3e89fSKonstantin Belousov 	return (error);
11708e38aeffSJohn Baldwin }
11719c00bb91SKonstantin Belousov 
11729c00bb91SKonstantin Belousov static int
11739c00bb91SKonstantin Belousov shm_chmod(struct file *fp, mode_t mode, struct ucred *active_cred,
11749c00bb91SKonstantin Belousov     struct thread *td)
11759c00bb91SKonstantin Belousov {
11769c00bb91SKonstantin Belousov 	struct shmfd *shmfd;
11779c00bb91SKonstantin Belousov 	int error;
11789c00bb91SKonstantin Belousov 
11799c00bb91SKonstantin Belousov 	error = 0;
11809c00bb91SKonstantin Belousov 	shmfd = fp->f_data;
11819c00bb91SKonstantin Belousov 	mtx_lock(&shm_timestamp_lock);
11829c00bb91SKonstantin Belousov 	/*
11839c00bb91SKonstantin Belousov 	 * SUSv4 says that x bits of permission need not be affected.
11849c00bb91SKonstantin Belousov 	 * Be consistent with our shm_open there.
11859c00bb91SKonstantin Belousov 	 */
11869c00bb91SKonstantin Belousov #ifdef MAC
11879c00bb91SKonstantin Belousov 	error = mac_posixshm_check_setmode(active_cred, shmfd, mode);
11889c00bb91SKonstantin Belousov 	if (error != 0)
11899c00bb91SKonstantin Belousov 		goto out;
11909c00bb91SKonstantin Belousov #endif
11919c00bb91SKonstantin Belousov 	error = vaccess(VREG, shmfd->shm_mode, shmfd->shm_uid,
11929c00bb91SKonstantin Belousov 	    shmfd->shm_gid, VADMIN, active_cred, NULL);
11939c00bb91SKonstantin Belousov 	if (error != 0)
11949c00bb91SKonstantin Belousov 		goto out;
11959c00bb91SKonstantin Belousov 	shmfd->shm_mode = mode & ACCESSPERMS;
11969c00bb91SKonstantin Belousov out:
11979c00bb91SKonstantin Belousov 	mtx_unlock(&shm_timestamp_lock);
11989c00bb91SKonstantin Belousov 	return (error);
11999c00bb91SKonstantin Belousov }
12009c00bb91SKonstantin Belousov 
12019c00bb91SKonstantin Belousov static int
12029c00bb91SKonstantin Belousov shm_chown(struct file *fp, uid_t uid, gid_t gid, struct ucred *active_cred,
12039c00bb91SKonstantin Belousov     struct thread *td)
12049c00bb91SKonstantin Belousov {
12059c00bb91SKonstantin Belousov 	struct shmfd *shmfd;
12069c00bb91SKonstantin Belousov 	int error;
12079c00bb91SKonstantin Belousov 
120868889ed6SKonstantin Belousov 	error = 0;
12099c00bb91SKonstantin Belousov 	shmfd = fp->f_data;
12109c00bb91SKonstantin Belousov 	mtx_lock(&shm_timestamp_lock);
12119c00bb91SKonstantin Belousov #ifdef MAC
12129c00bb91SKonstantin Belousov 	error = mac_posixshm_check_setowner(active_cred, shmfd, uid, gid);
12139c00bb91SKonstantin Belousov 	if (error != 0)
12149c00bb91SKonstantin Belousov 		goto out;
12159c00bb91SKonstantin Belousov #endif
12169c00bb91SKonstantin Belousov 	if (uid == (uid_t)-1)
12179c00bb91SKonstantin Belousov 		uid = shmfd->shm_uid;
12189c00bb91SKonstantin Belousov 	if (gid == (gid_t)-1)
12199c00bb91SKonstantin Belousov                  gid = shmfd->shm_gid;
12209c00bb91SKonstantin Belousov 	if (((uid != shmfd->shm_uid && uid != active_cred->cr_uid) ||
12219c00bb91SKonstantin Belousov 	    (gid != shmfd->shm_gid && !groupmember(gid, active_cred))) &&
1222cc426dd3SMateusz Guzik 	    (error = priv_check_cred(active_cred, PRIV_VFS_CHOWN)))
12239c00bb91SKonstantin Belousov 		goto out;
12249c00bb91SKonstantin Belousov 	shmfd->shm_uid = uid;
12259c00bb91SKonstantin Belousov 	shmfd->shm_gid = gid;
12269c00bb91SKonstantin Belousov out:
12279c00bb91SKonstantin Belousov 	mtx_unlock(&shm_timestamp_lock);
12289c00bb91SKonstantin Belousov 	return (error);
12299c00bb91SKonstantin Belousov }
1230fb680e16SJohn Baldwin 
1231fb680e16SJohn Baldwin /*
1232fb680e16SJohn Baldwin  * Helper routines to allow the backing object of a shared memory file
1233fb680e16SJohn Baldwin  * descriptor to be mapped in the kernel.
1234fb680e16SJohn Baldwin  */
1235fb680e16SJohn Baldwin int
1236fb680e16SJohn Baldwin shm_map(struct file *fp, size_t size, off_t offset, void **memp)
1237fb680e16SJohn Baldwin {
1238fb680e16SJohn Baldwin 	struct shmfd *shmfd;
1239fb680e16SJohn Baldwin 	vm_offset_t kva, ofs;
1240fb680e16SJohn Baldwin 	vm_object_t obj;
1241fb680e16SJohn Baldwin 	int rv;
1242fb680e16SJohn Baldwin 
1243fb680e16SJohn Baldwin 	if (fp->f_type != DTYPE_SHM)
1244fb680e16SJohn Baldwin 		return (EINVAL);
1245fb680e16SJohn Baldwin 	shmfd = fp->f_data;
1246fb680e16SJohn Baldwin 	obj = shmfd->shm_object;
124789f6b863SAttilio Rao 	VM_OBJECT_WLOCK(obj);
1248fb680e16SJohn Baldwin 	/*
1249fb680e16SJohn Baldwin 	 * XXXRW: This validation is probably insufficient, and subject to
1250fb680e16SJohn Baldwin 	 * sign errors.  It should be fixed.
1251fb680e16SJohn Baldwin 	 */
1252fb680e16SJohn Baldwin 	if (offset >= shmfd->shm_size ||
1253fb680e16SJohn Baldwin 	    offset + size > round_page(shmfd->shm_size)) {
125489f6b863SAttilio Rao 		VM_OBJECT_WUNLOCK(obj);
1255fb680e16SJohn Baldwin 		return (EINVAL);
1256fb680e16SJohn Baldwin 	}
1257fb680e16SJohn Baldwin 
1258fb680e16SJohn Baldwin 	shmfd->shm_kmappings++;
1259fb680e16SJohn Baldwin 	vm_object_reference_locked(obj);
126089f6b863SAttilio Rao 	VM_OBJECT_WUNLOCK(obj);
1261fb680e16SJohn Baldwin 
1262fb680e16SJohn Baldwin 	/* Map the object into the kernel_map and wire it. */
1263fb680e16SJohn Baldwin 	kva = vm_map_min(kernel_map);
1264fb680e16SJohn Baldwin 	ofs = offset & PAGE_MASK;
1265fb680e16SJohn Baldwin 	offset = trunc_page(offset);
1266fb680e16SJohn Baldwin 	size = round_page(size + ofs);
1267edb572a3SJohn Baldwin 	rv = vm_map_find(kernel_map, obj, offset, &kva, size, 0,
12685e3a17c0SJohn Baldwin 	    VMFS_OPTIMAL_SPACE, VM_PROT_READ | VM_PROT_WRITE,
1269fb680e16SJohn Baldwin 	    VM_PROT_READ | VM_PROT_WRITE, 0);
1270fb680e16SJohn Baldwin 	if (rv == KERN_SUCCESS) {
1271fb680e16SJohn Baldwin 		rv = vm_map_wire(kernel_map, kva, kva + size,
1272fb680e16SJohn Baldwin 		    VM_MAP_WIRE_SYSTEM | VM_MAP_WIRE_NOHOLES);
1273fb680e16SJohn Baldwin 		if (rv == KERN_SUCCESS) {
1274fb680e16SJohn Baldwin 			*memp = (void *)(kva + ofs);
1275fb680e16SJohn Baldwin 			return (0);
1276fb680e16SJohn Baldwin 		}
1277fb680e16SJohn Baldwin 		vm_map_remove(kernel_map, kva, kva + size);
1278fb680e16SJohn Baldwin 	} else
1279fb680e16SJohn Baldwin 		vm_object_deallocate(obj);
1280fb680e16SJohn Baldwin 
1281fb680e16SJohn Baldwin 	/* On failure, drop our mapping reference. */
128289f6b863SAttilio Rao 	VM_OBJECT_WLOCK(obj);
1283fb680e16SJohn Baldwin 	shmfd->shm_kmappings--;
128489f6b863SAttilio Rao 	VM_OBJECT_WUNLOCK(obj);
1285fb680e16SJohn Baldwin 
1286338e7cf2SJohn Baldwin 	return (vm_mmap_to_errno(rv));
1287fb680e16SJohn Baldwin }
1288fb680e16SJohn Baldwin 
1289fb680e16SJohn Baldwin /*
1290fb680e16SJohn Baldwin  * We require the caller to unmap the entire entry.  This allows us to
1291fb680e16SJohn Baldwin  * safely decrement shm_kmappings when a mapping is removed.
1292fb680e16SJohn Baldwin  */
1293fb680e16SJohn Baldwin int
1294fb680e16SJohn Baldwin shm_unmap(struct file *fp, void *mem, size_t size)
1295fb680e16SJohn Baldwin {
1296fb680e16SJohn Baldwin 	struct shmfd *shmfd;
1297fb680e16SJohn Baldwin 	vm_map_entry_t entry;
1298fb680e16SJohn Baldwin 	vm_offset_t kva, ofs;
1299fb680e16SJohn Baldwin 	vm_object_t obj;
1300fb680e16SJohn Baldwin 	vm_pindex_t pindex;
1301fb680e16SJohn Baldwin 	vm_prot_t prot;
1302fb680e16SJohn Baldwin 	boolean_t wired;
1303fb680e16SJohn Baldwin 	vm_map_t map;
1304fb680e16SJohn Baldwin 	int rv;
1305fb680e16SJohn Baldwin 
1306fb680e16SJohn Baldwin 	if (fp->f_type != DTYPE_SHM)
1307fb680e16SJohn Baldwin 		return (EINVAL);
1308fb680e16SJohn Baldwin 	shmfd = fp->f_data;
1309fb680e16SJohn Baldwin 	kva = (vm_offset_t)mem;
1310fb680e16SJohn Baldwin 	ofs = kva & PAGE_MASK;
1311fb680e16SJohn Baldwin 	kva = trunc_page(kva);
1312fb680e16SJohn Baldwin 	size = round_page(size + ofs);
1313fb680e16SJohn Baldwin 	map = kernel_map;
1314fb680e16SJohn Baldwin 	rv = vm_map_lookup(&map, kva, VM_PROT_READ | VM_PROT_WRITE, &entry,
1315fb680e16SJohn Baldwin 	    &obj, &pindex, &prot, &wired);
1316fb680e16SJohn Baldwin 	if (rv != KERN_SUCCESS)
1317fb680e16SJohn Baldwin 		return (EINVAL);
1318fb680e16SJohn Baldwin 	if (entry->start != kva || entry->end != kva + size) {
1319fb680e16SJohn Baldwin 		vm_map_lookup_done(map, entry);
1320fb680e16SJohn Baldwin 		return (EINVAL);
1321fb680e16SJohn Baldwin 	}
1322fb680e16SJohn Baldwin 	vm_map_lookup_done(map, entry);
1323fb680e16SJohn Baldwin 	if (obj != shmfd->shm_object)
1324fb680e16SJohn Baldwin 		return (EINVAL);
1325fb680e16SJohn Baldwin 	vm_map_remove(map, kva, kva + size);
132689f6b863SAttilio Rao 	VM_OBJECT_WLOCK(obj);
1327fb680e16SJohn Baldwin 	KASSERT(shmfd->shm_kmappings > 0, ("shm_unmap: object not mapped"));
1328fb680e16SJohn Baldwin 	shmfd->shm_kmappings--;
132989f6b863SAttilio Rao 	VM_OBJECT_WUNLOCK(obj);
1330fb680e16SJohn Baldwin 	return (0);
1331fb680e16SJohn Baldwin }
1332e506e182SJohn Baldwin 
13339696feebSJohn Baldwin static int
133456d0e33eSKonstantin Belousov shm_fill_kinfo_locked(struct shmfd *shmfd, struct kinfo_file *kif, bool list)
1335e506e182SJohn Baldwin {
1336cc7b259aSJamie Gritton 	const char *path, *pr_path;
1337cc7b259aSJamie Gritton 	size_t pr_pathlen;
133856d0e33eSKonstantin Belousov 	bool visible;
1339e506e182SJohn Baldwin 
134056d0e33eSKonstantin Belousov 	sx_assert(&shm_dict_lock, SA_LOCKED);
13419696feebSJohn Baldwin 	kif->kf_type = KF_TYPE_SHM;
134256d0e33eSKonstantin Belousov 	kif->kf_un.kf_file.kf_file_mode = S_IFREG | shmfd->shm_mode;
13439696feebSJohn Baldwin 	kif->kf_un.kf_file.kf_file_size = shmfd->shm_size;
13449696feebSJohn Baldwin 	if (shmfd->shm_path != NULL) {
134544c16975SJamie Gritton 		if (shmfd->shm_path != NULL) {
1346cc7b259aSJamie Gritton 			path = shmfd->shm_path;
1347cc7b259aSJamie Gritton 			pr_path = curthread->td_ucred->cr_prison->pr_path;
134844c16975SJamie Gritton 			if (strcmp(pr_path, "/") != 0) {
134944c16975SJamie Gritton 				/* Return the jail-rooted pathname. */
1350cc7b259aSJamie Gritton 				pr_pathlen = strlen(pr_path);
135156d0e33eSKonstantin Belousov 				visible = strncmp(path, pr_path, pr_pathlen)
135256d0e33eSKonstantin Belousov 				    == 0 && path[pr_pathlen] == '/';
135356d0e33eSKonstantin Belousov 				if (list && !visible)
135456d0e33eSKonstantin Belousov 					return (EPERM);
135556d0e33eSKonstantin Belousov 				if (visible)
1356cc7b259aSJamie Gritton 					path += pr_pathlen;
1357cc7b259aSJamie Gritton 			}
1358cc7b259aSJamie Gritton 			strlcpy(kif->kf_path, path, sizeof(kif->kf_path));
1359cc7b259aSJamie Gritton 		}
1360e506e182SJohn Baldwin 	}
13619696feebSJohn Baldwin 	return (0);
13629696feebSJohn Baldwin }
136356d0e33eSKonstantin Belousov 
136456d0e33eSKonstantin Belousov static int
136556d0e33eSKonstantin Belousov shm_fill_kinfo(struct file *fp, struct kinfo_file *kif,
136656d0e33eSKonstantin Belousov     struct filedesc *fdp __unused)
136756d0e33eSKonstantin Belousov {
136856d0e33eSKonstantin Belousov 	int res;
136956d0e33eSKonstantin Belousov 
137056d0e33eSKonstantin Belousov 	sx_slock(&shm_dict_lock);
137156d0e33eSKonstantin Belousov 	res = shm_fill_kinfo_locked(fp->f_data, kif, false);
137256d0e33eSKonstantin Belousov 	sx_sunlock(&shm_dict_lock);
137356d0e33eSKonstantin Belousov 	return (res);
137456d0e33eSKonstantin Belousov }
137556d0e33eSKonstantin Belousov 
137656d0e33eSKonstantin Belousov static int
1377af755d3eSKyle Evans shm_add_seals(struct file *fp, int seals)
1378af755d3eSKyle Evans {
1379af755d3eSKyle Evans 	struct shmfd *shmfd;
1380af755d3eSKyle Evans 	void *rl_cookie;
1381af755d3eSKyle Evans 	vm_ooffset_t writemappings;
1382af755d3eSKyle Evans 	int error, nseals;
1383af755d3eSKyle Evans 
1384af755d3eSKyle Evans 	error = 0;
1385af755d3eSKyle Evans 	shmfd = fp->f_data;
1386af755d3eSKyle Evans 	rl_cookie = rangelock_wlock(&shmfd->shm_rl, 0, OFF_MAX,
1387af755d3eSKyle Evans 	    &shmfd->shm_mtx);
1388af755d3eSKyle Evans 
1389af755d3eSKyle Evans 	/* Even already-set seals should result in EPERM. */
1390af755d3eSKyle Evans 	if ((shmfd->shm_seals & F_SEAL_SEAL) != 0) {
1391af755d3eSKyle Evans 		error = EPERM;
1392af755d3eSKyle Evans 		goto out;
1393af755d3eSKyle Evans 	}
1394af755d3eSKyle Evans 	nseals = seals & ~shmfd->shm_seals;
1395af755d3eSKyle Evans 	if ((nseals & F_SEAL_WRITE) != 0) {
1396af755d3eSKyle Evans 		/*
1397af755d3eSKyle Evans 		 * The rangelock above prevents writable mappings from being
1398af755d3eSKyle Evans 		 * added after we've started applying seals.  The RLOCK here
1399af755d3eSKyle Evans 		 * is to avoid torn reads on ILP32 arches as unmapping/reducing
1400af755d3eSKyle Evans 		 * writemappings will be done without a rangelock.
1401af755d3eSKyle Evans 		 */
1402af755d3eSKyle Evans 		VM_OBJECT_RLOCK(shmfd->shm_object);
1403af755d3eSKyle Evans 		writemappings = shmfd->shm_object->un_pager.swp.writemappings;
1404af755d3eSKyle Evans 		VM_OBJECT_RUNLOCK(shmfd->shm_object);
1405af755d3eSKyle Evans 		/* kmappings are also writable */
1406af755d3eSKyle Evans 		if (writemappings > 0) {
1407af755d3eSKyle Evans 			error = EBUSY;
1408af755d3eSKyle Evans 			goto out;
1409af755d3eSKyle Evans 		}
1410af755d3eSKyle Evans 	}
1411af755d3eSKyle Evans 	shmfd->shm_seals |= nseals;
1412af755d3eSKyle Evans out:
1413af755d3eSKyle Evans 	rangelock_unlock(&shmfd->shm_rl, rl_cookie, &shmfd->shm_mtx);
1414af755d3eSKyle Evans 	return (error);
1415af755d3eSKyle Evans }
1416af755d3eSKyle Evans 
1417af755d3eSKyle Evans static int
1418af755d3eSKyle Evans shm_get_seals(struct file *fp, int *seals)
1419af755d3eSKyle Evans {
1420af755d3eSKyle Evans 	struct shmfd *shmfd;
1421af755d3eSKyle Evans 
1422af755d3eSKyle Evans 	shmfd = fp->f_data;
1423af755d3eSKyle Evans 	*seals = shmfd->shm_seals;
1424af755d3eSKyle Evans 	return (0);
1425af755d3eSKyle Evans }
1426af755d3eSKyle Evans 
1427af755d3eSKyle Evans static int
142856d0e33eSKonstantin Belousov sysctl_posix_shm_list(SYSCTL_HANDLER_ARGS)
142956d0e33eSKonstantin Belousov {
143056d0e33eSKonstantin Belousov 	struct shm_mapping *shmm;
143156d0e33eSKonstantin Belousov 	struct sbuf sb;
143256d0e33eSKonstantin Belousov 	struct kinfo_file kif;
143356d0e33eSKonstantin Belousov 	u_long i;
143456d0e33eSKonstantin Belousov 	ssize_t curlen;
143556d0e33eSKonstantin Belousov 	int error, error2;
143656d0e33eSKonstantin Belousov 
143756d0e33eSKonstantin Belousov 	sbuf_new_for_sysctl(&sb, NULL, sizeof(struct kinfo_file) * 5, req);
143856d0e33eSKonstantin Belousov 	sbuf_clear_flags(&sb, SBUF_INCLUDENUL);
143956d0e33eSKonstantin Belousov 	curlen = 0;
144056d0e33eSKonstantin Belousov 	error = 0;
144156d0e33eSKonstantin Belousov 	sx_slock(&shm_dict_lock);
144256d0e33eSKonstantin Belousov 	for (i = 0; i < shm_hash + 1; i++) {
144356d0e33eSKonstantin Belousov 		LIST_FOREACH(shmm, &shm_dictionary[i], sm_link) {
144456d0e33eSKonstantin Belousov 			error = shm_fill_kinfo_locked(shmm->sm_shmfd,
144556d0e33eSKonstantin Belousov 			    &kif, true);
144656d0e33eSKonstantin Belousov 			if (error == EPERM)
144756d0e33eSKonstantin Belousov 				continue;
144856d0e33eSKonstantin Belousov 			if (error != 0)
144956d0e33eSKonstantin Belousov 				break;
145056d0e33eSKonstantin Belousov 			pack_kinfo(&kif);
145156d0e33eSKonstantin Belousov 			if (req->oldptr != NULL &&
145256d0e33eSKonstantin Belousov 			    kif.kf_structsize + curlen > req->oldlen)
145356d0e33eSKonstantin Belousov 				break;
145456d0e33eSKonstantin Belousov 			error = sbuf_bcat(&sb, &kif, kif.kf_structsize) == 0 ?
145556d0e33eSKonstantin Belousov 			    0 : ENOMEM;
145656d0e33eSKonstantin Belousov 			if (error != 0)
145756d0e33eSKonstantin Belousov 				break;
145856d0e33eSKonstantin Belousov 			curlen += kif.kf_structsize;
145956d0e33eSKonstantin Belousov 		}
146056d0e33eSKonstantin Belousov 	}
146156d0e33eSKonstantin Belousov 	sx_sunlock(&shm_dict_lock);
146256d0e33eSKonstantin Belousov 	error2 = sbuf_finish(&sb);
146356d0e33eSKonstantin Belousov 	sbuf_delete(&sb);
146456d0e33eSKonstantin Belousov 	return (error != 0 ? error : error2);
146556d0e33eSKonstantin Belousov }
146656d0e33eSKonstantin Belousov 
146756d0e33eSKonstantin Belousov SYSCTL_PROC(_kern_ipc, OID_AUTO, posix_shm_list,
146856d0e33eSKonstantin Belousov     CTLFLAG_RD | CTLFLAG_MPSAFE | CTLTYPE_OPAQUE,
146956d0e33eSKonstantin Belousov     NULL, 0, sysctl_posix_shm_list, "",
147056d0e33eSKonstantin Belousov     "POSIX SHM list");
147120f70576SKyle Evans 
147220f70576SKyle Evans int
147320f70576SKyle Evans kern_shm_open2(struct thread *td, const char *path, int flags, mode_t mode,
147420f70576SKyle Evans     int shmflags, const char *name __unused)
147520f70576SKyle Evans {
147620f70576SKyle Evans 	int initial_seals;
147720f70576SKyle Evans 
147820f70576SKyle Evans 	if ((shmflags & ~SHM_ALLOW_SEALING) != 0)
147920f70576SKyle Evans 		return (EINVAL);
148020f70576SKyle Evans 
148120f70576SKyle Evans 	initial_seals = F_SEAL_SEAL;
148220f70576SKyle Evans 	if ((shmflags & SHM_ALLOW_SEALING) != 0)
148320f70576SKyle Evans 		initial_seals &= ~F_SEAL_SEAL;
14845a391b57SKyle Evans 	return (kern_shm_open(td, path, flags, mode, NULL, initial_seals));
148520f70576SKyle Evans }
148620f70576SKyle Evans 
148720f70576SKyle Evans /*
148820f70576SKyle Evans  * This version of the shm_open() interface leaves CLOEXEC behavior up to the
148920f70576SKyle Evans  * caller, and libc will enforce it for the traditional shm_open() call.  This
149020f70576SKyle Evans  * allows other consumers, like memfd_create(), to opt-in for CLOEXEC.  This
149120f70576SKyle Evans  * interface also includes a 'name' argument that is currently unused, but could
149220f70576SKyle Evans  * potentially be exported later via some interface for debugging purposes.
149320f70576SKyle Evans  * From the kernel's perspective, it is optional.  Individual consumers like
149420f70576SKyle Evans  * memfd_create() may require it in order to be compatible with other systems
149520f70576SKyle Evans  * implementing the same function.
149620f70576SKyle Evans  */
149720f70576SKyle Evans int
149820f70576SKyle Evans sys_shm_open2(struct thread *td, struct shm_open2_args *uap)
149920f70576SKyle Evans {
150020f70576SKyle Evans 
150120f70576SKyle Evans 	return (kern_shm_open2(td, uap->path, uap->flags, uap->mode,
150220f70576SKyle Evans 	    uap->shmflags, uap->name));
150320f70576SKyle Evans }
1504