xref: /freebsd/sys/kern/uipc_sem.c (revision 2d69d0dcc2bb94d874dd0fa77d53b08112b9d530)
19454b2d8SWarner Losh /*-
2efaa6588SAlfred Perlstein  * Copyright (c) 2002 Alfred Perlstein <alfred@FreeBSD.org>
352648411SRobert Watson  * Copyright (c) 2003-2005 SPARTA, Inc.
4590f242cSRobert Watson  * Copyright (c) 2005 Robert N. M. Watson
5efaa6588SAlfred Perlstein  * All rights reserved.
6efaa6588SAlfred Perlstein  *
752648411SRobert Watson  * This software was developed for the FreeBSD Project in part by Network
852648411SRobert Watson  * Associates Laboratories, the Security Research Division of Network
952648411SRobert Watson  * Associates, Inc. under DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"),
1052648411SRobert Watson  * as part of the DARPA CHATS research program.
1152648411SRobert Watson  *
12efaa6588SAlfred Perlstein  * Redistribution and use in source and binary forms, with or without
13efaa6588SAlfred Perlstein  * modification, are permitted provided that the following conditions
14efaa6588SAlfred Perlstein  * are met:
15efaa6588SAlfred Perlstein  * 1. Redistributions of source code must retain the above copyright
16efaa6588SAlfred Perlstein  *    notice, this list of conditions and the following disclaimer.
17efaa6588SAlfred Perlstein  * 2. Redistributions in binary form must reproduce the above copyright
18efaa6588SAlfred Perlstein  *    notice, this list of conditions and the following disclaimer in the
19efaa6588SAlfred Perlstein  *    documentation and/or other materials provided with the distribution.
20efaa6588SAlfred Perlstein  *
21efaa6588SAlfred Perlstein  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
22efaa6588SAlfred Perlstein  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
23efaa6588SAlfred Perlstein  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
24efaa6588SAlfred Perlstein  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
25efaa6588SAlfred Perlstein  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26efaa6588SAlfred Perlstein  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
27efaa6588SAlfred Perlstein  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
28efaa6588SAlfred Perlstein  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
29efaa6588SAlfred Perlstein  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
30efaa6588SAlfred Perlstein  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
31efaa6588SAlfred Perlstein  * SUCH DAMAGE.
32efaa6588SAlfred Perlstein  */
33efaa6588SAlfred Perlstein 
34677b542eSDavid E. O'Brien #include <sys/cdefs.h>
35677b542eSDavid E. O'Brien __FBSDID("$FreeBSD$");
36677b542eSDavid E. O'Brien 
370e5d5bc2SKonstantin Belousov #include "opt_compat.h"
38efaa6588SAlfred Perlstein #include "opt_posix.h"
39efaa6588SAlfred Perlstein 
40efaa6588SAlfred Perlstein #include <sys/param.h>
414a144410SRobert Watson #include <sys/capsicum.h>
426bc1e9cdSJohn Baldwin #include <sys/condvar.h>
436bc1e9cdSJohn Baldwin #include <sys/fcntl.h>
446bc1e9cdSJohn Baldwin #include <sys/file.h>
456bc1e9cdSJohn Baldwin #include <sys/filedesc.h>
466bc1e9cdSJohn Baldwin #include <sys/fnv_hash.h>
47efaa6588SAlfred Perlstein #include <sys/kernel.h>
486aeb05d7STom Rhodes #include <sys/ksem.h>
496bc1e9cdSJohn Baldwin #include <sys/lock.h>
506bc1e9cdSJohn Baldwin #include <sys/malloc.h>
516bc1e9cdSJohn Baldwin #include <sys/module.h>
526bc1e9cdSJohn Baldwin #include <sys/mutex.h>
53acd3428bSRobert Watson #include <sys/priv.h>
54efaa6588SAlfred Perlstein #include <sys/proc.h>
556aeb05d7STom Rhodes #include <sys/posix4.h>
566aeb05d7STom Rhodes #include <sys/_semaphore.h>
576bc1e9cdSJohn Baldwin #include <sys/stat.h>
586bc1e9cdSJohn Baldwin #include <sys/syscall.h>
596bc1e9cdSJohn Baldwin #include <sys/syscallsubr.h>
606bc1e9cdSJohn Baldwin #include <sys/sysctl.h>
616bc1e9cdSJohn Baldwin #include <sys/sysent.h>
626bc1e9cdSJohn Baldwin #include <sys/sysproto.h>
636bc1e9cdSJohn Baldwin #include <sys/systm.h>
646bc1e9cdSJohn Baldwin #include <sys/sx.h>
656bc1e9cdSJohn Baldwin #include <sys/vnode.h>
66efaa6588SAlfred Perlstein 
67aed55708SRobert Watson #include <security/mac/mac_framework.h>
68aed55708SRobert Watson 
699a253c10SAlexander Leidinger FEATURE(p1003_1b_semaphores, "POSIX P1003.1B semaphores support");
706bc1e9cdSJohn Baldwin /*
716bc1e9cdSJohn Baldwin  * TODO
726bc1e9cdSJohn Baldwin  *
736bc1e9cdSJohn Baldwin  * - Resource limits?
746bc1e9cdSJohn Baldwin  * - Replace global sem_lock with mtx_pool locks?
756bc1e9cdSJohn Baldwin  * - Add a MAC check_create() hook for creating new named semaphores.
766bc1e9cdSJohn Baldwin  */
77efaa6588SAlfred Perlstein 
78efaa6588SAlfred Perlstein #ifndef SEM_MAX
79efaa6588SAlfred Perlstein #define	SEM_MAX	30
80efaa6588SAlfred Perlstein #endif
81efaa6588SAlfred Perlstein 
82c814aa3fSAlfred Perlstein #ifdef SEM_DEBUG
83c814aa3fSAlfred Perlstein #define	DP(x)	printf x
84c814aa3fSAlfred Perlstein #else
85c814aa3fSAlfred Perlstein #define	DP(x)
86c814aa3fSAlfred Perlstein #endif
87c814aa3fSAlfred Perlstein 
886bc1e9cdSJohn Baldwin struct ksem_mapping {
896bc1e9cdSJohn Baldwin 	char		*km_path;
906bc1e9cdSJohn Baldwin 	Fnv32_t		km_fnv;
916bc1e9cdSJohn Baldwin 	struct ksem	*km_ksem;
926bc1e9cdSJohn Baldwin 	LIST_ENTRY(ksem_mapping) km_link;
936bc1e9cdSJohn Baldwin };
946bc1e9cdSJohn Baldwin 
956bc1e9cdSJohn Baldwin static MALLOC_DEFINE(M_KSEM, "ksem", "semaphore file descriptor");
966bc1e9cdSJohn Baldwin static LIST_HEAD(, ksem_mapping) *ksem_dictionary;
976bc1e9cdSJohn Baldwin static struct sx ksem_dict_lock;
986bc1e9cdSJohn Baldwin static struct mtx ksem_count_lock;
996bc1e9cdSJohn Baldwin static struct mtx sem_lock;
1006bc1e9cdSJohn Baldwin static u_long ksem_hash;
1016bc1e9cdSJohn Baldwin static int ksem_dead;
1026bc1e9cdSJohn Baldwin 
1036bc1e9cdSJohn Baldwin #define	KSEM_HASH(fnv)	(&ksem_dictionary[(fnv) & ksem_hash])
1046bc1e9cdSJohn Baldwin 
1056bc1e9cdSJohn Baldwin static int nsems = 0;
1066bc1e9cdSJohn Baldwin SYSCTL_DECL(_p1003_1b);
1076bc1e9cdSJohn Baldwin SYSCTL_INT(_p1003_1b, OID_AUTO, nsems, CTLFLAG_RD, &nsems, 0,
1086bc1e9cdSJohn Baldwin     "Number of active kernel POSIX semaphores");
1096bc1e9cdSJohn Baldwin 
1106bc1e9cdSJohn Baldwin static int	kern_sem_wait(struct thread *td, semid_t id, int tryflag,
1116bc1e9cdSJohn Baldwin 		    struct timespec *abstime);
1126bc1e9cdSJohn Baldwin static int	ksem_access(struct ksem *ks, struct ucred *ucred);
1136bc1e9cdSJohn Baldwin static struct ksem *ksem_alloc(struct ucred *ucred, mode_t mode,
1146bc1e9cdSJohn Baldwin 		    unsigned int value);
1156bc1e9cdSJohn Baldwin static int	ksem_create(struct thread *td, const char *path,
1166bc1e9cdSJohn Baldwin 		    semid_t *semidp, mode_t mode, unsigned int value,
1170e5d5bc2SKonstantin Belousov 		    int flags, int compat32);
1186bc1e9cdSJohn Baldwin static void	ksem_drop(struct ksem *ks);
1197008be5bSPawel Jakub Dawidek static int	ksem_get(struct thread *td, semid_t id, cap_rights_t *rightsp,
120a9d2f8d8SRobert Watson     struct file **fpp);
1216bc1e9cdSJohn Baldwin static struct ksem *ksem_hold(struct ksem *ks);
1226bc1e9cdSJohn Baldwin static void	ksem_insert(char *path, Fnv32_t fnv, struct ksem *ks);
1236bc1e9cdSJohn Baldwin static struct ksem *ksem_lookup(char *path, Fnv32_t fnv);
1246bc1e9cdSJohn Baldwin static void	ksem_module_destroy(void);
1256bc1e9cdSJohn Baldwin static int	ksem_module_init(void);
1266bc1e9cdSJohn Baldwin static int	ksem_remove(char *path, Fnv32_t fnv, struct ucred *ucred);
1276bc1e9cdSJohn Baldwin static int	sem_modload(struct module *module, int cmd, void *arg);
1286bc1e9cdSJohn Baldwin 
1296bc1e9cdSJohn Baldwin static fo_stat_t	ksem_stat;
1306bc1e9cdSJohn Baldwin static fo_close_t	ksem_closef;
1319c00bb91SKonstantin Belousov static fo_chmod_t	ksem_chmod;
1329c00bb91SKonstantin Belousov static fo_chown_t	ksem_chown;
1336bc1e9cdSJohn Baldwin 
1346bc1e9cdSJohn Baldwin /* File descriptor operations. */
1356bc1e9cdSJohn Baldwin static struct fileops ksem_ops = {
136*2d69d0dcSJohn Baldwin 	.fo_read = invfo_rdwr,
137*2d69d0dcSJohn Baldwin 	.fo_write = invfo_rdwr,
138*2d69d0dcSJohn Baldwin 	.fo_truncate = invfo_truncate,
139*2d69d0dcSJohn Baldwin 	.fo_ioctl = invfo_ioctl,
140*2d69d0dcSJohn Baldwin 	.fo_poll = invfo_poll,
141*2d69d0dcSJohn Baldwin 	.fo_kqfilter = invfo_kqfilter,
1426bc1e9cdSJohn Baldwin 	.fo_stat = ksem_stat,
1436bc1e9cdSJohn Baldwin 	.fo_close = ksem_closef,
1449c00bb91SKonstantin Belousov 	.fo_chmod = ksem_chmod,
1459c00bb91SKonstantin Belousov 	.fo_chown = ksem_chown,
146ca04d21dSGleb Smirnoff 	.fo_sendfile = invfo_sendfile,
1476bc1e9cdSJohn Baldwin 	.fo_flags = DFLAG_PASSABLE
1486bc1e9cdSJohn Baldwin };
1496bc1e9cdSJohn Baldwin 
1506bc1e9cdSJohn Baldwin FEATURE(posix_sem, "POSIX semaphores");
1516bc1e9cdSJohn Baldwin 
1526bc1e9cdSJohn Baldwin static int
1536bc1e9cdSJohn Baldwin ksem_stat(struct file *fp, struct stat *sb, struct ucred *active_cred,
1546bc1e9cdSJohn Baldwin     struct thread *td)
1556bc1e9cdSJohn Baldwin {
1566bc1e9cdSJohn Baldwin 	struct ksem *ks;
1576bc1e9cdSJohn Baldwin #ifdef MAC
1586bc1e9cdSJohn Baldwin 	int error;
1596bc1e9cdSJohn Baldwin #endif
1606bc1e9cdSJohn Baldwin 
1616bc1e9cdSJohn Baldwin 	ks = fp->f_data;
1626bc1e9cdSJohn Baldwin 
1636bc1e9cdSJohn Baldwin #ifdef MAC
1646bc1e9cdSJohn Baldwin 	error = mac_posixsem_check_stat(active_cred, fp->f_cred, ks);
1656bc1e9cdSJohn Baldwin 	if (error)
1666bc1e9cdSJohn Baldwin 		return (error);
1676bc1e9cdSJohn Baldwin #endif
1686bc1e9cdSJohn Baldwin 
1696bc1e9cdSJohn Baldwin 	/*
1706bc1e9cdSJohn Baldwin 	 * Attempt to return sanish values for fstat() on a semaphore
1716bc1e9cdSJohn Baldwin 	 * file descriptor.
1726bc1e9cdSJohn Baldwin 	 */
1736bc1e9cdSJohn Baldwin 	bzero(sb, sizeof(*sb));
1746bc1e9cdSJohn Baldwin 
1759c00bb91SKonstantin Belousov 	mtx_lock(&sem_lock);
176510ea843SEd Schouten 	sb->st_atim = ks->ks_atime;
177510ea843SEd Schouten 	sb->st_ctim = ks->ks_ctime;
178510ea843SEd Schouten 	sb->st_mtim = ks->ks_mtime;
179510ea843SEd Schouten 	sb->st_birthtim = ks->ks_birthtime;
1806bc1e9cdSJohn Baldwin 	sb->st_uid = ks->ks_uid;
1816bc1e9cdSJohn Baldwin 	sb->st_gid = ks->ks_gid;
1829c00bb91SKonstantin Belousov 	sb->st_mode = S_IFREG | ks->ks_mode;		/* XXX */
1839c00bb91SKonstantin Belousov 	mtx_unlock(&sem_lock);
1846bc1e9cdSJohn Baldwin 
1856bc1e9cdSJohn Baldwin 	return (0);
1866bc1e9cdSJohn Baldwin }
1876bc1e9cdSJohn Baldwin 
1886bc1e9cdSJohn Baldwin static int
1899c00bb91SKonstantin Belousov ksem_chmod(struct file *fp, mode_t mode, struct ucred *active_cred,
1909c00bb91SKonstantin Belousov     struct thread *td)
1919c00bb91SKonstantin Belousov {
1929c00bb91SKonstantin Belousov 	struct ksem *ks;
1939c00bb91SKonstantin Belousov 	int error;
1949c00bb91SKonstantin Belousov 
1959c00bb91SKonstantin Belousov 	error = 0;
1969c00bb91SKonstantin Belousov 	ks = fp->f_data;
1979c00bb91SKonstantin Belousov 	mtx_lock(&sem_lock);
1989c00bb91SKonstantin Belousov #ifdef MAC
1999c00bb91SKonstantin Belousov 	error = mac_posixsem_check_setmode(active_cred, ks, mode);
2009c00bb91SKonstantin Belousov 	if (error != 0)
2019c00bb91SKonstantin Belousov 		goto out;
2029c00bb91SKonstantin Belousov #endif
2039c00bb91SKonstantin Belousov 	error = vaccess(VREG, ks->ks_mode, ks->ks_uid, ks->ks_gid, VADMIN,
2049c00bb91SKonstantin Belousov 	    active_cred, NULL);
2059c00bb91SKonstantin Belousov 	if (error != 0)
2069c00bb91SKonstantin Belousov 		goto out;
2079c00bb91SKonstantin Belousov 	ks->ks_mode = mode & ACCESSPERMS;
2089c00bb91SKonstantin Belousov out:
2099c00bb91SKonstantin Belousov 	mtx_unlock(&sem_lock);
2109c00bb91SKonstantin Belousov 	return (error);
2119c00bb91SKonstantin Belousov }
2129c00bb91SKonstantin Belousov 
2139c00bb91SKonstantin Belousov static int
2149c00bb91SKonstantin Belousov ksem_chown(struct file *fp, uid_t uid, gid_t gid, struct ucred *active_cred,
2159c00bb91SKonstantin Belousov     struct thread *td)
2169c00bb91SKonstantin Belousov {
2179c00bb91SKonstantin Belousov 	struct ksem *ks;
2189c00bb91SKonstantin Belousov 	int error;
2199c00bb91SKonstantin Belousov 
22068889ed6SKonstantin Belousov 	error = 0;
2219c00bb91SKonstantin Belousov 	ks = fp->f_data;
2229c00bb91SKonstantin Belousov 	mtx_lock(&sem_lock);
2239c00bb91SKonstantin Belousov #ifdef MAC
2249c00bb91SKonstantin Belousov 	error = mac_posixsem_check_setowner(active_cred, ks, uid, gid);
2259c00bb91SKonstantin Belousov 	if (error != 0)
2269c00bb91SKonstantin Belousov 		goto out;
2279c00bb91SKonstantin Belousov #endif
2289c00bb91SKonstantin Belousov 	if (uid == (uid_t)-1)
2299c00bb91SKonstantin Belousov 		uid = ks->ks_uid;
2309c00bb91SKonstantin Belousov 	if (gid == (gid_t)-1)
2319c00bb91SKonstantin Belousov                  gid = ks->ks_gid;
2329c00bb91SKonstantin Belousov 	if (((uid != ks->ks_uid && uid != active_cred->cr_uid) ||
2339c00bb91SKonstantin Belousov 	    (gid != ks->ks_gid && !groupmember(gid, active_cred))) &&
2349c00bb91SKonstantin Belousov 	    (error = priv_check_cred(active_cred, PRIV_VFS_CHOWN, 0)))
2359c00bb91SKonstantin Belousov 		goto out;
2369c00bb91SKonstantin Belousov 	ks->ks_uid = uid;
2379c00bb91SKonstantin Belousov 	ks->ks_gid = gid;
2389c00bb91SKonstantin Belousov out:
2399c00bb91SKonstantin Belousov 	mtx_unlock(&sem_lock);
2409c00bb91SKonstantin Belousov 	return (error);
2419c00bb91SKonstantin Belousov }
2429c00bb91SKonstantin Belousov 
2439c00bb91SKonstantin Belousov static int
2446bc1e9cdSJohn Baldwin ksem_closef(struct file *fp, struct thread *td)
2456bc1e9cdSJohn Baldwin {
2466bc1e9cdSJohn Baldwin 	struct ksem *ks;
2476bc1e9cdSJohn Baldwin 
2486bc1e9cdSJohn Baldwin 	ks = fp->f_data;
2496bc1e9cdSJohn Baldwin 	fp->f_data = NULL;
2506bc1e9cdSJohn Baldwin 	ksem_drop(ks);
2516bc1e9cdSJohn Baldwin 
2526bc1e9cdSJohn Baldwin 	return (0);
2536bc1e9cdSJohn Baldwin }
2546bc1e9cdSJohn Baldwin 
2556bc1e9cdSJohn Baldwin /*
2566bc1e9cdSJohn Baldwin  * ksem object management including creation and reference counting
2576bc1e9cdSJohn Baldwin  * routines.
2586bc1e9cdSJohn Baldwin  */
2596bc1e9cdSJohn Baldwin static struct ksem *
2606bc1e9cdSJohn Baldwin ksem_alloc(struct ucred *ucred, mode_t mode, unsigned int value)
2616bc1e9cdSJohn Baldwin {
2626bc1e9cdSJohn Baldwin 	struct ksem *ks;
2636bc1e9cdSJohn Baldwin 
2646bc1e9cdSJohn Baldwin 	mtx_lock(&ksem_count_lock);
2656bc1e9cdSJohn Baldwin 	if (nsems == p31b_getcfg(CTL_P1003_1B_SEM_NSEMS_MAX) || ksem_dead) {
2666bc1e9cdSJohn Baldwin 		mtx_unlock(&ksem_count_lock);
2676bc1e9cdSJohn Baldwin 		return (NULL);
2686bc1e9cdSJohn Baldwin 	}
2696bc1e9cdSJohn Baldwin 	nsems++;
2706bc1e9cdSJohn Baldwin 	mtx_unlock(&ksem_count_lock);
2716bc1e9cdSJohn Baldwin 	ks = malloc(sizeof(*ks), M_KSEM, M_WAITOK | M_ZERO);
2726bc1e9cdSJohn Baldwin 	ks->ks_uid = ucred->cr_uid;
2736bc1e9cdSJohn Baldwin 	ks->ks_gid = ucred->cr_gid;
2746bc1e9cdSJohn Baldwin 	ks->ks_mode = mode;
2756bc1e9cdSJohn Baldwin 	ks->ks_value = value;
2766bc1e9cdSJohn Baldwin 	cv_init(&ks->ks_cv, "ksem");
2776bc1e9cdSJohn Baldwin 	vfs_timestamp(&ks->ks_birthtime);
2786bc1e9cdSJohn Baldwin 	ks->ks_atime = ks->ks_mtime = ks->ks_ctime = ks->ks_birthtime;
2796bc1e9cdSJohn Baldwin 	refcount_init(&ks->ks_ref, 1);
2806bc1e9cdSJohn Baldwin #ifdef MAC
2816bc1e9cdSJohn Baldwin 	mac_posixsem_init(ks);
2826bc1e9cdSJohn Baldwin 	mac_posixsem_create(ucred, ks);
2836bc1e9cdSJohn Baldwin #endif
2846bc1e9cdSJohn Baldwin 
2856bc1e9cdSJohn Baldwin 	return (ks);
2866bc1e9cdSJohn Baldwin }
2876bc1e9cdSJohn Baldwin 
2886bc1e9cdSJohn Baldwin static struct ksem *
2896bc1e9cdSJohn Baldwin ksem_hold(struct ksem *ks)
2906bc1e9cdSJohn Baldwin {
2916bc1e9cdSJohn Baldwin 
2926bc1e9cdSJohn Baldwin 	refcount_acquire(&ks->ks_ref);
2936bc1e9cdSJohn Baldwin 	return (ks);
2946bc1e9cdSJohn Baldwin }
2956bc1e9cdSJohn Baldwin 
2966bc1e9cdSJohn Baldwin static void
2976bc1e9cdSJohn Baldwin ksem_drop(struct ksem *ks)
2986bc1e9cdSJohn Baldwin {
2996bc1e9cdSJohn Baldwin 
3006bc1e9cdSJohn Baldwin 	if (refcount_release(&ks->ks_ref)) {
3016bc1e9cdSJohn Baldwin #ifdef MAC
3026bc1e9cdSJohn Baldwin 		mac_posixsem_destroy(ks);
3036bc1e9cdSJohn Baldwin #endif
3046bc1e9cdSJohn Baldwin 		cv_destroy(&ks->ks_cv);
3056bc1e9cdSJohn Baldwin 		free(ks, M_KSEM);
3066bc1e9cdSJohn Baldwin 		mtx_lock(&ksem_count_lock);
3076bc1e9cdSJohn Baldwin 		nsems--;
3086bc1e9cdSJohn Baldwin 		mtx_unlock(&ksem_count_lock);
3096bc1e9cdSJohn Baldwin 	}
3106bc1e9cdSJohn Baldwin }
3116bc1e9cdSJohn Baldwin 
3126bc1e9cdSJohn Baldwin /*
3136bc1e9cdSJohn Baldwin  * Determine if the credentials have sufficient permissions for read
3146bc1e9cdSJohn Baldwin  * and write access.
3156bc1e9cdSJohn Baldwin  */
3166bc1e9cdSJohn Baldwin static int
3176bc1e9cdSJohn Baldwin ksem_access(struct ksem *ks, struct ucred *ucred)
3186bc1e9cdSJohn Baldwin {
319efaa6588SAlfred Perlstein 	int error;
320efaa6588SAlfred Perlstein 
3216bc1e9cdSJohn Baldwin 	error = vaccess(VREG, ks->ks_mode, ks->ks_uid, ks->ks_gid,
3226bc1e9cdSJohn Baldwin 	    VREAD | VWRITE, ucred, NULL);
3236bc1e9cdSJohn Baldwin 	if (error)
3246bc1e9cdSJohn Baldwin 		error = priv_check_cred(ucred, PRIV_SEM_WRITE, 0);
325efaa6588SAlfred Perlstein 	return (error);
326efaa6588SAlfred Perlstein }
327efaa6588SAlfred Perlstein 
3286bc1e9cdSJohn Baldwin /*
3296bc1e9cdSJohn Baldwin  * Dictionary management.  We maintain an in-kernel dictionary to map
3306bc1e9cdSJohn Baldwin  * paths to semaphore objects.  We use the FNV hash on the path to
3316bc1e9cdSJohn Baldwin  * store the mappings in a hash table.
3326bc1e9cdSJohn Baldwin  */
3336bc1e9cdSJohn Baldwin static struct ksem *
3346bc1e9cdSJohn Baldwin ksem_lookup(char *path, Fnv32_t fnv)
3356bc1e9cdSJohn Baldwin {
3366bc1e9cdSJohn Baldwin 	struct ksem_mapping *map;
3376bc1e9cdSJohn Baldwin 
3386bc1e9cdSJohn Baldwin 	LIST_FOREACH(map, KSEM_HASH(fnv), km_link) {
3396bc1e9cdSJohn Baldwin 		if (map->km_fnv != fnv)
3406bc1e9cdSJohn Baldwin 			continue;
3416bc1e9cdSJohn Baldwin 		if (strcmp(map->km_path, path) == 0)
3426bc1e9cdSJohn Baldwin 			return (map->km_ksem);
3436bc1e9cdSJohn Baldwin 	}
3446bc1e9cdSJohn Baldwin 
3456bc1e9cdSJohn Baldwin 	return (NULL);
3466bc1e9cdSJohn Baldwin }
3476bc1e9cdSJohn Baldwin 
3486bc1e9cdSJohn Baldwin static void
3496bc1e9cdSJohn Baldwin ksem_insert(char *path, Fnv32_t fnv, struct ksem *ks)
3506bc1e9cdSJohn Baldwin {
3516bc1e9cdSJohn Baldwin 	struct ksem_mapping *map;
3526bc1e9cdSJohn Baldwin 
3536bc1e9cdSJohn Baldwin 	map = malloc(sizeof(struct ksem_mapping), M_KSEM, M_WAITOK);
3546bc1e9cdSJohn Baldwin 	map->km_path = path;
3556bc1e9cdSJohn Baldwin 	map->km_fnv = fnv;
3566bc1e9cdSJohn Baldwin 	map->km_ksem = ksem_hold(ks);
357958aa575SJohn Baldwin 	ks->ks_path = path;
3586bc1e9cdSJohn Baldwin 	LIST_INSERT_HEAD(KSEM_HASH(fnv), map, km_link);
3596bc1e9cdSJohn Baldwin }
3606bc1e9cdSJohn Baldwin 
3616bc1e9cdSJohn Baldwin static int
3626bc1e9cdSJohn Baldwin ksem_remove(char *path, Fnv32_t fnv, struct ucred *ucred)
3636bc1e9cdSJohn Baldwin {
3646bc1e9cdSJohn Baldwin 	struct ksem_mapping *map;
3656bc1e9cdSJohn Baldwin 	int error;
3666bc1e9cdSJohn Baldwin 
3676bc1e9cdSJohn Baldwin 	LIST_FOREACH(map, KSEM_HASH(fnv), km_link) {
3686bc1e9cdSJohn Baldwin 		if (map->km_fnv != fnv)
3696bc1e9cdSJohn Baldwin 			continue;
3706bc1e9cdSJohn Baldwin 		if (strcmp(map->km_path, path) == 0) {
3716bc1e9cdSJohn Baldwin #ifdef MAC
3726bc1e9cdSJohn Baldwin 			error = mac_posixsem_check_unlink(ucred, map->km_ksem);
3736bc1e9cdSJohn Baldwin 			if (error)
3746bc1e9cdSJohn Baldwin 				return (error);
3756bc1e9cdSJohn Baldwin #endif
3766bc1e9cdSJohn Baldwin 			error = ksem_access(map->km_ksem, ucred);
3776bc1e9cdSJohn Baldwin 			if (error)
3786bc1e9cdSJohn Baldwin 				return (error);
379958aa575SJohn Baldwin 			map->km_ksem->ks_path = NULL;
3806bc1e9cdSJohn Baldwin 			LIST_REMOVE(map, km_link);
3816bc1e9cdSJohn Baldwin 			ksem_drop(map->km_ksem);
3826bc1e9cdSJohn Baldwin 			free(map->km_path, M_KSEM);
3836bc1e9cdSJohn Baldwin 			free(map, M_KSEM);
3846bc1e9cdSJohn Baldwin 			return (0);
3856bc1e9cdSJohn Baldwin 		}
3866bc1e9cdSJohn Baldwin 	}
3876bc1e9cdSJohn Baldwin 
3886bc1e9cdSJohn Baldwin 	return (ENOENT);
3896bc1e9cdSJohn Baldwin }
3906bc1e9cdSJohn Baldwin 
391958aa575SJohn Baldwin static void
392958aa575SJohn Baldwin ksem_info_impl(struct ksem *ks, char *path, size_t size, uint32_t *value)
393958aa575SJohn Baldwin {
394958aa575SJohn Baldwin 
395958aa575SJohn Baldwin 	if (ks->ks_path == NULL)
396958aa575SJohn Baldwin 		return;
397958aa575SJohn Baldwin 	sx_slock(&ksem_dict_lock);
398958aa575SJohn Baldwin 	if (ks->ks_path != NULL)
399958aa575SJohn Baldwin 		strlcpy(path, ks->ks_path, size);
400958aa575SJohn Baldwin 	if (value != NULL)
401958aa575SJohn Baldwin 		*value = ks->ks_value;
402958aa575SJohn Baldwin 	sx_sunlock(&ksem_dict_lock);
403958aa575SJohn Baldwin }
404958aa575SJohn Baldwin 
4050e5d5bc2SKonstantin Belousov static int
4060e5d5bc2SKonstantin Belousov ksem_create_copyout_semid(struct thread *td, semid_t *semidp, int fd,
4070e5d5bc2SKonstantin Belousov     int compat32)
4080e5d5bc2SKonstantin Belousov {
4090e5d5bc2SKonstantin Belousov 	semid_t semid;
4100e5d5bc2SKonstantin Belousov #ifdef COMPAT_FREEBSD32
4110e5d5bc2SKonstantin Belousov 	int32_t semid32;
4120e5d5bc2SKonstantin Belousov #endif
4130e5d5bc2SKonstantin Belousov 	void *ptr;
4140e5d5bc2SKonstantin Belousov 	size_t ptrs;
4150e5d5bc2SKonstantin Belousov 
4160e5d5bc2SKonstantin Belousov #ifdef COMPAT_FREEBSD32
4170e5d5bc2SKonstantin Belousov 	if (compat32) {
4180e5d5bc2SKonstantin Belousov 		semid32 = fd;
4190e5d5bc2SKonstantin Belousov 		ptr = &semid32;
4200e5d5bc2SKonstantin Belousov 		ptrs = sizeof(semid32);
4210e5d5bc2SKonstantin Belousov 	} else {
4220e5d5bc2SKonstantin Belousov #endif
4230e5d5bc2SKonstantin Belousov 		semid = fd;
4240e5d5bc2SKonstantin Belousov 		ptr = &semid;
4250e5d5bc2SKonstantin Belousov 		ptrs = sizeof(semid);
4260e5d5bc2SKonstantin Belousov 		compat32 = 0; /* silence gcc */
4270e5d5bc2SKonstantin Belousov #ifdef COMPAT_FREEBSD32
4280e5d5bc2SKonstantin Belousov 	}
4290e5d5bc2SKonstantin Belousov #endif
4300e5d5bc2SKonstantin Belousov 
4310e5d5bc2SKonstantin Belousov 	return (copyout(ptr, semidp, ptrs));
4320e5d5bc2SKonstantin Belousov }
4330e5d5bc2SKonstantin Belousov 
4346bc1e9cdSJohn Baldwin /* Other helper routines. */
4356bc1e9cdSJohn Baldwin static int
4366bc1e9cdSJohn Baldwin ksem_create(struct thread *td, const char *name, semid_t *semidp, mode_t mode,
4370e5d5bc2SKonstantin Belousov     unsigned int value, int flags, int compat32)
4386bc1e9cdSJohn Baldwin {
4396bc1e9cdSJohn Baldwin 	struct filedesc *fdp;
4406bc1e9cdSJohn Baldwin 	struct ksem *ks;
4416bc1e9cdSJohn Baldwin 	struct file *fp;
4426bc1e9cdSJohn Baldwin 	char *path;
4436bc1e9cdSJohn Baldwin 	Fnv32_t fnv;
4446bc1e9cdSJohn Baldwin 	int error, fd;
4456bc1e9cdSJohn Baldwin 
4466bc1e9cdSJohn Baldwin 	if (value > SEM_VALUE_MAX)
4476bc1e9cdSJohn Baldwin 		return (EINVAL);
4486bc1e9cdSJohn Baldwin 
4496bc1e9cdSJohn Baldwin 	fdp = td->td_proc->p_fd;
4506bc1e9cdSJohn Baldwin 	mode = (mode & ~fdp->fd_cmask) & ACCESSPERMS;
451b68cf25fSJilles Tjoelker 	error = falloc(td, &fp, &fd, O_CLOEXEC);
4526bc1e9cdSJohn Baldwin 	if (error) {
4536bc1e9cdSJohn Baldwin 		if (name == NULL)
4546bc1e9cdSJohn Baldwin 			error = ENOSPC;
4556bc1e9cdSJohn Baldwin 		return (error);
4566bc1e9cdSJohn Baldwin 	}
4576bc1e9cdSJohn Baldwin 
4586bc1e9cdSJohn Baldwin 	/*
4596bc1e9cdSJohn Baldwin 	 * Go ahead and copyout the file descriptor now.  This is a bit
4606bc1e9cdSJohn Baldwin 	 * premature, but it is a lot easier to handle errors as opposed
4616bc1e9cdSJohn Baldwin 	 * to later when we've possibly created a new semaphore, etc.
4626bc1e9cdSJohn Baldwin 	 */
4630e5d5bc2SKonstantin Belousov 	error = ksem_create_copyout_semid(td, semidp, fd, compat32);
4646bc1e9cdSJohn Baldwin 	if (error) {
4656bc1e9cdSJohn Baldwin 		fdclose(fdp, fp, fd, td);
4666bc1e9cdSJohn Baldwin 		fdrop(fp, td);
4676bc1e9cdSJohn Baldwin 		return (error);
4686bc1e9cdSJohn Baldwin 	}
4696bc1e9cdSJohn Baldwin 
4706bc1e9cdSJohn Baldwin 	if (name == NULL) {
4716bc1e9cdSJohn Baldwin 		/* Create an anonymous semaphore. */
4726bc1e9cdSJohn Baldwin 		ks = ksem_alloc(td->td_ucred, mode, value);
4736bc1e9cdSJohn Baldwin 		if (ks == NULL)
4746bc1e9cdSJohn Baldwin 			error = ENOSPC;
4756bc1e9cdSJohn Baldwin 		else
4766bc1e9cdSJohn Baldwin 			ks->ks_flags |= KS_ANONYMOUS;
4776bc1e9cdSJohn Baldwin 	} else {
4786bc1e9cdSJohn Baldwin 		path = malloc(MAXPATHLEN, M_KSEM, M_WAITOK);
4796bc1e9cdSJohn Baldwin 		error = copyinstr(name, path, MAXPATHLEN, NULL);
4806bc1e9cdSJohn Baldwin 
4816bc1e9cdSJohn Baldwin 		/* Require paths to start with a '/' character. */
4826bc1e9cdSJohn Baldwin 		if (error == 0 && path[0] != '/')
4836bc1e9cdSJohn Baldwin 			error = EINVAL;
4846bc1e9cdSJohn Baldwin 		if (error) {
4856bc1e9cdSJohn Baldwin 			fdclose(fdp, fp, fd, td);
4866bc1e9cdSJohn Baldwin 			fdrop(fp, td);
4876bc1e9cdSJohn Baldwin 			free(path, M_KSEM);
4886bc1e9cdSJohn Baldwin 			return (error);
4896bc1e9cdSJohn Baldwin 		}
4906bc1e9cdSJohn Baldwin 
4916bc1e9cdSJohn Baldwin 		fnv = fnv_32_str(path, FNV1_32_INIT);
4926bc1e9cdSJohn Baldwin 		sx_xlock(&ksem_dict_lock);
4936bc1e9cdSJohn Baldwin 		ks = ksem_lookup(path, fnv);
4946bc1e9cdSJohn Baldwin 		if (ks == NULL) {
4956bc1e9cdSJohn Baldwin 			/* Object does not exist, create it if requested. */
4966bc1e9cdSJohn Baldwin 			if (flags & O_CREAT) {
4976bc1e9cdSJohn Baldwin 				ks = ksem_alloc(td->td_ucred, mode, value);
4986bc1e9cdSJohn Baldwin 				if (ks == NULL)
4996bc1e9cdSJohn Baldwin 					error = ENFILE;
5006bc1e9cdSJohn Baldwin 				else {
5016bc1e9cdSJohn Baldwin 					ksem_insert(path, fnv, ks);
5026bc1e9cdSJohn Baldwin 					path = NULL;
5036bc1e9cdSJohn Baldwin 				}
5046bc1e9cdSJohn Baldwin 			} else
5056bc1e9cdSJohn Baldwin 				error = ENOENT;
5066bc1e9cdSJohn Baldwin 		} else {
5076bc1e9cdSJohn Baldwin 			/*
5086bc1e9cdSJohn Baldwin 			 * Object already exists, obtain a new
5096bc1e9cdSJohn Baldwin 			 * reference if requested and permitted.
5106bc1e9cdSJohn Baldwin 			 */
5116bc1e9cdSJohn Baldwin 			if ((flags & (O_CREAT | O_EXCL)) ==
5126bc1e9cdSJohn Baldwin 			    (O_CREAT | O_EXCL))
5136bc1e9cdSJohn Baldwin 				error = EEXIST;
5146bc1e9cdSJohn Baldwin 			else {
5156bc1e9cdSJohn Baldwin #ifdef MAC
5166bc1e9cdSJohn Baldwin 				error = mac_posixsem_check_open(td->td_ucred,
5176bc1e9cdSJohn Baldwin 				    ks);
5186bc1e9cdSJohn Baldwin 				if (error == 0)
5196bc1e9cdSJohn Baldwin #endif
5206bc1e9cdSJohn Baldwin 				error = ksem_access(ks, td->td_ucred);
5216bc1e9cdSJohn Baldwin 			}
5226bc1e9cdSJohn Baldwin 			if (error == 0)
5236bc1e9cdSJohn Baldwin 				ksem_hold(ks);
5246bc1e9cdSJohn Baldwin #ifdef INVARIANTS
5256bc1e9cdSJohn Baldwin 			else
5266bc1e9cdSJohn Baldwin 				ks = NULL;
5276bc1e9cdSJohn Baldwin #endif
5286bc1e9cdSJohn Baldwin 		}
5296bc1e9cdSJohn Baldwin 		sx_xunlock(&ksem_dict_lock);
5306bc1e9cdSJohn Baldwin 		if (path)
5316bc1e9cdSJohn Baldwin 			free(path, M_KSEM);
5326bc1e9cdSJohn Baldwin 	}
5336bc1e9cdSJohn Baldwin 
5346bc1e9cdSJohn Baldwin 	if (error) {
5356bc1e9cdSJohn Baldwin 		KASSERT(ks == NULL, ("ksem_create error with a ksem"));
5366bc1e9cdSJohn Baldwin 		fdclose(fdp, fp, fd, td);
5376bc1e9cdSJohn Baldwin 		fdrop(fp, td);
5386bc1e9cdSJohn Baldwin 		return (error);
5396bc1e9cdSJohn Baldwin 	}
5406bc1e9cdSJohn Baldwin 	KASSERT(ks != NULL, ("ksem_create w/o a ksem"));
5416bc1e9cdSJohn Baldwin 
5426bc1e9cdSJohn Baldwin 	finit(fp, FREAD | FWRITE, DTYPE_SEM, ks, &ksem_ops);
5436bc1e9cdSJohn Baldwin 
5446bc1e9cdSJohn Baldwin 	fdrop(fp, td);
5456bc1e9cdSJohn Baldwin 
5466bc1e9cdSJohn Baldwin 	return (0);
5476bc1e9cdSJohn Baldwin }
5486bc1e9cdSJohn Baldwin 
5496bc1e9cdSJohn Baldwin static int
5507008be5bSPawel Jakub Dawidek ksem_get(struct thread *td, semid_t id, cap_rights_t *rightsp,
5517008be5bSPawel Jakub Dawidek     struct file **fpp)
5526bc1e9cdSJohn Baldwin {
5536bc1e9cdSJohn Baldwin 	struct ksem *ks;
5546bc1e9cdSJohn Baldwin 	struct file *fp;
5556bc1e9cdSJohn Baldwin 	int error;
5566bc1e9cdSJohn Baldwin 
5577008be5bSPawel Jakub Dawidek 	error = fget(td, id, rightsp, &fp);
5586bc1e9cdSJohn Baldwin 	if (error)
5596bc1e9cdSJohn Baldwin 		return (EINVAL);
5606bc1e9cdSJohn Baldwin 	if (fp->f_type != DTYPE_SEM) {
5616bc1e9cdSJohn Baldwin 		fdrop(fp, td);
5626bc1e9cdSJohn Baldwin 		return (EINVAL);
5636bc1e9cdSJohn Baldwin 	}
5646bc1e9cdSJohn Baldwin 	ks = fp->f_data;
5656bc1e9cdSJohn Baldwin 	if (ks->ks_flags & KS_DEAD) {
5666bc1e9cdSJohn Baldwin 		fdrop(fp, td);
5676bc1e9cdSJohn Baldwin 		return (EINVAL);
5686bc1e9cdSJohn Baldwin 	}
5696bc1e9cdSJohn Baldwin 	*fpp = fp;
5706bc1e9cdSJohn Baldwin 	return (0);
5716bc1e9cdSJohn Baldwin }
5726bc1e9cdSJohn Baldwin 
5736bc1e9cdSJohn Baldwin /* System calls. */
574efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_
575efaa6588SAlfred Perlstein struct ksem_init_args {
576efaa6588SAlfred Perlstein 	unsigned int	value;
577efaa6588SAlfred Perlstein 	semid_t		*idp;
578efaa6588SAlfred Perlstein };
579efaa6588SAlfred Perlstein #endif
580efaa6588SAlfred Perlstein int
5818451d0ddSKip Macy sys_ksem_init(struct thread *td, struct ksem_init_args *uap)
582efaa6588SAlfred Perlstein {
583efaa6588SAlfred Perlstein 
5846bc1e9cdSJohn Baldwin 	return (ksem_create(td, NULL, uap->idp, S_IRWXU | S_IRWXG, uap->value,
5850e5d5bc2SKonstantin Belousov 	    0, 0));
586efaa6588SAlfred Perlstein }
587efaa6588SAlfred Perlstein 
588efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_
589efaa6588SAlfred Perlstein struct ksem_open_args {
590efaa6588SAlfred Perlstein 	char		*name;
591efaa6588SAlfred Perlstein 	int		oflag;
592efaa6588SAlfred Perlstein 	mode_t		mode;
593efaa6588SAlfred Perlstein 	unsigned int	value;
594efaa6588SAlfred Perlstein 	semid_t		*idp;
595efaa6588SAlfred Perlstein };
596efaa6588SAlfred Perlstein #endif
597efaa6588SAlfred Perlstein int
5988451d0ddSKip Macy sys_ksem_open(struct thread *td, struct ksem_open_args *uap)
599efaa6588SAlfred Perlstein {
600efaa6588SAlfred Perlstein 
601b2966a5aSBruce M Simpson 	DP((">>> ksem_open start, pid=%d\n", (int)td->td_proc->p_pid));
602b2966a5aSBruce M Simpson 
6036bc1e9cdSJohn Baldwin 	if ((uap->oflag & ~(O_CREAT | O_EXCL)) != 0)
604b3890a1cSAlfred Perlstein 		return (EINVAL);
6056bc1e9cdSJohn Baldwin 	return (ksem_create(td, uap->name, uap->idp, uap->mode, uap->value,
6060e5d5bc2SKonstantin Belousov 	    uap->oflag, 0));
607efaa6588SAlfred Perlstein }
608efaa6588SAlfred Perlstein 
609efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_
610efaa6588SAlfred Perlstein struct ksem_unlink_args {
611efaa6588SAlfred Perlstein 	char		*name;
612efaa6588SAlfred Perlstein };
613efaa6588SAlfred Perlstein #endif
614efaa6588SAlfred Perlstein int
6158451d0ddSKip Macy sys_ksem_unlink(struct thread *td, struct ksem_unlink_args *uap)
616efaa6588SAlfred Perlstein {
6176bc1e9cdSJohn Baldwin 	char *path;
6186bc1e9cdSJohn Baldwin 	Fnv32_t fnv;
619efaa6588SAlfred Perlstein 	int error;
620efaa6588SAlfred Perlstein 
6216bc1e9cdSJohn Baldwin 	path = malloc(MAXPATHLEN, M_TEMP, M_WAITOK);
6226bc1e9cdSJohn Baldwin 	error = copyinstr(uap->name, path, MAXPATHLEN, NULL);
62352648411SRobert Watson 	if (error) {
6246bc1e9cdSJohn Baldwin 		free(path, M_TEMP);
62552648411SRobert Watson 		return (error);
62652648411SRobert Watson 	}
6276bc1e9cdSJohn Baldwin 
6286bc1e9cdSJohn Baldwin 	fnv = fnv_32_str(path, FNV1_32_INIT);
6296bc1e9cdSJohn Baldwin 	sx_xlock(&ksem_dict_lock);
6306bc1e9cdSJohn Baldwin 	error = ksem_remove(path, fnv, td->td_ucred);
6316bc1e9cdSJohn Baldwin 	sx_xunlock(&ksem_dict_lock);
6326bc1e9cdSJohn Baldwin 	free(path, M_TEMP);
6336bc1e9cdSJohn Baldwin 
634efaa6588SAlfred Perlstein 	return (error);
635efaa6588SAlfred Perlstein }
636efaa6588SAlfred Perlstein 
637efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_
638efaa6588SAlfred Perlstein struct ksem_close_args {
639efaa6588SAlfred Perlstein 	semid_t		id;
640efaa6588SAlfred Perlstein };
641efaa6588SAlfred Perlstein #endif
642efaa6588SAlfred Perlstein int
6438451d0ddSKip Macy sys_ksem_close(struct thread *td, struct ksem_close_args *uap)
644efaa6588SAlfred Perlstein {
645efaa6588SAlfred Perlstein 	struct ksem *ks;
6466bc1e9cdSJohn Baldwin 	struct file *fp;
647efaa6588SAlfred Perlstein 	int error;
648efaa6588SAlfred Perlstein 
649a9d2f8d8SRobert Watson 	/* No capability rights required to close a semaphore. */
650a9d2f8d8SRobert Watson 	error = ksem_get(td, uap->id, 0, &fp);
6516bc1e9cdSJohn Baldwin 	if (error)
6526bc1e9cdSJohn Baldwin 		return (error);
6536bc1e9cdSJohn Baldwin 	ks = fp->f_data;
6546bc1e9cdSJohn Baldwin 	if (ks->ks_flags & KS_ANONYMOUS) {
6556bc1e9cdSJohn Baldwin 		fdrop(fp, td);
6566bc1e9cdSJohn Baldwin 		return (EINVAL);
6576bc1e9cdSJohn Baldwin 	}
6586bc1e9cdSJohn Baldwin 	error = kern_close(td, uap->id);
6596bc1e9cdSJohn Baldwin 	fdrop(fp, td);
660b3890a1cSAlfred Perlstein 	return (error);
661efaa6588SAlfred Perlstein }
662efaa6588SAlfred Perlstein 
663efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_
664efaa6588SAlfred Perlstein struct ksem_post_args {
665efaa6588SAlfred Perlstein 	semid_t	id;
666efaa6588SAlfred Perlstein };
667efaa6588SAlfred Perlstein #endif
668efaa6588SAlfred Perlstein int
6698451d0ddSKip Macy sys_ksem_post(struct thread *td, struct ksem_post_args *uap)
670efaa6588SAlfred Perlstein {
6717008be5bSPawel Jakub Dawidek 	cap_rights_t rights;
6726bc1e9cdSJohn Baldwin 	struct file *fp;
673efaa6588SAlfred Perlstein 	struct ksem *ks;
674efaa6588SAlfred Perlstein 	int error;
675efaa6588SAlfred Perlstein 
6767008be5bSPawel Jakub Dawidek 	error = ksem_get(td, uap->id,
6777008be5bSPawel Jakub Dawidek 	    cap_rights_init(&rights, CAP_SEM_POST), &fp);
6786bc1e9cdSJohn Baldwin 	if (error)
6796bc1e9cdSJohn Baldwin 		return (error);
6806bc1e9cdSJohn Baldwin 	ks = fp->f_data;
6816bc1e9cdSJohn Baldwin 
682efaa6588SAlfred Perlstein 	mtx_lock(&sem_lock);
68352648411SRobert Watson #ifdef MAC
6846bc1e9cdSJohn Baldwin 	error = mac_posixsem_check_post(td->td_ucred, fp->f_cred, ks);
68552648411SRobert Watson 	if (error)
68652648411SRobert Watson 		goto err;
68752648411SRobert Watson #endif
688efaa6588SAlfred Perlstein 	if (ks->ks_value == SEM_VALUE_MAX) {
689efaa6588SAlfred Perlstein 		error = EOVERFLOW;
690efaa6588SAlfred Perlstein 		goto err;
691efaa6588SAlfred Perlstein 	}
692efaa6588SAlfred Perlstein 	++ks->ks_value;
693efaa6588SAlfred Perlstein 	if (ks->ks_waiters > 0)
694efaa6588SAlfred Perlstein 		cv_signal(&ks->ks_cv);
695efaa6588SAlfred Perlstein 	error = 0;
6966bc1e9cdSJohn Baldwin 	vfs_timestamp(&ks->ks_ctime);
697efaa6588SAlfred Perlstein err:
698efaa6588SAlfred Perlstein 	mtx_unlock(&sem_lock);
6996bc1e9cdSJohn Baldwin 	fdrop(fp, td);
700efaa6588SAlfred Perlstein 	return (error);
701efaa6588SAlfred Perlstein }
702efaa6588SAlfred Perlstein 
703efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_
704efaa6588SAlfred Perlstein struct ksem_wait_args {
705efaa6588SAlfred Perlstein 	semid_t		id;
706efaa6588SAlfred Perlstein };
707efaa6588SAlfred Perlstein #endif
708efaa6588SAlfred Perlstein int
7098451d0ddSKip Macy sys_ksem_wait(struct thread *td, struct ksem_wait_args *uap)
710efaa6588SAlfred Perlstein {
711efaa6588SAlfred Perlstein 
712aae94fbbSDaniel Eischen 	return (kern_sem_wait(td, uap->id, 0, NULL));
713aae94fbbSDaniel Eischen }
714aae94fbbSDaniel Eischen 
715aae94fbbSDaniel Eischen #ifndef _SYS_SYSPROTO_H_
716aae94fbbSDaniel Eischen struct ksem_timedwait_args {
717aae94fbbSDaniel Eischen 	semid_t		id;
718d60e86c8SStefan Farfeleder 	const struct timespec *abstime;
719aae94fbbSDaniel Eischen };
720aae94fbbSDaniel Eischen #endif
721aae94fbbSDaniel Eischen int
7228451d0ddSKip Macy sys_ksem_timedwait(struct thread *td, struct ksem_timedwait_args *uap)
723aae94fbbSDaniel Eischen {
724aae94fbbSDaniel Eischen 	struct timespec abstime;
725aae94fbbSDaniel Eischen 	struct timespec *ts;
726aae94fbbSDaniel Eischen 	int error;
727aae94fbbSDaniel Eischen 
7288e230e30SRobert Watson 	/*
7298e230e30SRobert Watson 	 * We allow a null timespec (wait forever).
7308e230e30SRobert Watson 	 */
731aae94fbbSDaniel Eischen 	if (uap->abstime == NULL)
732aae94fbbSDaniel Eischen 		ts = NULL;
733aae94fbbSDaniel Eischen 	else {
734aae94fbbSDaniel Eischen 		error = copyin(uap->abstime, &abstime, sizeof(abstime));
735aae94fbbSDaniel Eischen 		if (error != 0)
736aae94fbbSDaniel Eischen 			return (error);
737aae94fbbSDaniel Eischen 		if (abstime.tv_nsec >= 1000000000 || abstime.tv_nsec < 0)
738aae94fbbSDaniel Eischen 			return (EINVAL);
739aae94fbbSDaniel Eischen 		ts = &abstime;
740aae94fbbSDaniel Eischen 	}
741aae94fbbSDaniel Eischen 	return (kern_sem_wait(td, uap->id, 0, ts));
742efaa6588SAlfred Perlstein }
743efaa6588SAlfred Perlstein 
744efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_
745efaa6588SAlfred Perlstein struct ksem_trywait_args {
746efaa6588SAlfred Perlstein 	semid_t		id;
747efaa6588SAlfred Perlstein };
748efaa6588SAlfred Perlstein #endif
749efaa6588SAlfred Perlstein int
7508451d0ddSKip Macy sys_ksem_trywait(struct thread *td, struct ksem_trywait_args *uap)
751efaa6588SAlfred Perlstein {
752efaa6588SAlfred Perlstein 
753aae94fbbSDaniel Eischen 	return (kern_sem_wait(td, uap->id, 1, NULL));
754efaa6588SAlfred Perlstein }
755efaa6588SAlfred Perlstein 
756c3053131SPoul-Henning Kamp static int
757c1250af6SRobert Watson kern_sem_wait(struct thread *td, semid_t id, int tryflag,
758c1250af6SRobert Watson     struct timespec *abstime)
759efaa6588SAlfred Perlstein {
760aae94fbbSDaniel Eischen 	struct timespec ts1, ts2;
761aae94fbbSDaniel Eischen 	struct timeval tv;
7627008be5bSPawel Jakub Dawidek 	cap_rights_t rights;
7636bc1e9cdSJohn Baldwin 	struct file *fp;
764efaa6588SAlfred Perlstein 	struct ksem *ks;
765efaa6588SAlfred Perlstein 	int error;
766efaa6588SAlfred Perlstein 
767b2966a5aSBruce M Simpson 	DP((">>> kern_sem_wait entered! pid=%d\n", (int)td->td_proc->p_pid));
7687008be5bSPawel Jakub Dawidek 	error = ksem_get(td, id, cap_rights_init(&rights, CAP_SEM_WAIT), &fp);
7696bc1e9cdSJohn Baldwin 	if (error)
7706bc1e9cdSJohn Baldwin 		return (error);
7716bc1e9cdSJohn Baldwin 	ks = fp->f_data;
772efaa6588SAlfred Perlstein 	mtx_lock(&sem_lock);
773b2966a5aSBruce M Simpson 	DP((">>> kern_sem_wait critical section entered! pid=%d\n",
774b2966a5aSBruce M Simpson 	    (int)td->td_proc->p_pid));
77552648411SRobert Watson #ifdef MAC
7766bc1e9cdSJohn Baldwin 	error = mac_posixsem_check_wait(td->td_ucred, fp->f_cred, ks);
77752648411SRobert Watson 	if (error) {
77852648411SRobert Watson 		DP(("kern_sem_wait mac failed\n"));
77952648411SRobert Watson 		goto err;
78052648411SRobert Watson 	}
78152648411SRobert Watson #endif
782c814aa3fSAlfred Perlstein 	DP(("kern_sem_wait value = %d, tryflag %d\n", ks->ks_value, tryflag));
7836bc1e9cdSJohn Baldwin 	vfs_timestamp(&ks->ks_atime);
78477d8bf9cSBruce M Simpson 	while (ks->ks_value == 0) {
785efaa6588SAlfred Perlstein 		ks->ks_waiters++;
786aae94fbbSDaniel Eischen 		if (tryflag != 0)
787aae94fbbSDaniel Eischen 			error = EAGAIN;
788aae94fbbSDaniel Eischen 		else if (abstime == NULL)
789aae94fbbSDaniel Eischen 			error = cv_wait_sig(&ks->ks_cv, &sem_lock);
790aae94fbbSDaniel Eischen 		else {
791aae94fbbSDaniel Eischen 			for (;;) {
792aae94fbbSDaniel Eischen 				ts1 = *abstime;
793aae94fbbSDaniel Eischen 				getnanotime(&ts2);
794aae94fbbSDaniel Eischen 				timespecsub(&ts1, &ts2);
795aae94fbbSDaniel Eischen 				TIMESPEC_TO_TIMEVAL(&tv, &ts1);
796aae94fbbSDaniel Eischen 				if (tv.tv_sec < 0) {
797aae94fbbSDaniel Eischen 					error = ETIMEDOUT;
798aae94fbbSDaniel Eischen 					break;
799aae94fbbSDaniel Eischen 				}
800aae94fbbSDaniel Eischen 				error = cv_timedwait_sig(&ks->ks_cv,
801aae94fbbSDaniel Eischen 				    &sem_lock, tvtohz(&tv));
802aae94fbbSDaniel Eischen 				if (error != EWOULDBLOCK)
803aae94fbbSDaniel Eischen 					break;
804aae94fbbSDaniel Eischen 			}
805aae94fbbSDaniel Eischen 		}
806efaa6588SAlfred Perlstein 		ks->ks_waiters--;
807efaa6588SAlfred Perlstein 		if (error)
808efaa6588SAlfred Perlstein 			goto err;
809efaa6588SAlfred Perlstein 	}
810efaa6588SAlfred Perlstein 	ks->ks_value--;
811b2966a5aSBruce M Simpson 	DP(("kern_sem_wait value post-decrement = %d\n", ks->ks_value));
812efaa6588SAlfred Perlstein 	error = 0;
813efaa6588SAlfred Perlstein err:
814efaa6588SAlfred Perlstein 	mtx_unlock(&sem_lock);
8156bc1e9cdSJohn Baldwin 	fdrop(fp, td);
816b2966a5aSBruce M Simpson 	DP(("<<< kern_sem_wait leaving, pid=%d, error = %d\n",
817b2966a5aSBruce M Simpson 	    (int)td->td_proc->p_pid, error));
818efaa6588SAlfred Perlstein 	return (error);
819efaa6588SAlfred Perlstein }
820efaa6588SAlfred Perlstein 
821efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_
822efaa6588SAlfred Perlstein struct ksem_getvalue_args {
823efaa6588SAlfred Perlstein 	semid_t		id;
824efaa6588SAlfred Perlstein 	int		*val;
825efaa6588SAlfred Perlstein };
826efaa6588SAlfred Perlstein #endif
827efaa6588SAlfred Perlstein int
8288451d0ddSKip Macy sys_ksem_getvalue(struct thread *td, struct ksem_getvalue_args *uap)
829efaa6588SAlfred Perlstein {
8307008be5bSPawel Jakub Dawidek 	cap_rights_t rights;
8316bc1e9cdSJohn Baldwin 	struct file *fp;
832efaa6588SAlfred Perlstein 	struct ksem *ks;
833efaa6588SAlfred Perlstein 	int error, val;
834efaa6588SAlfred Perlstein 
8357008be5bSPawel Jakub Dawidek 	error = ksem_get(td, uap->id,
8367008be5bSPawel Jakub Dawidek 	    cap_rights_init(&rights, CAP_SEM_GETVALUE), &fp);
8376bc1e9cdSJohn Baldwin 	if (error)
8386bc1e9cdSJohn Baldwin 		return (error);
8396bc1e9cdSJohn Baldwin 	ks = fp->f_data;
8406bc1e9cdSJohn Baldwin 
841efaa6588SAlfred Perlstein 	mtx_lock(&sem_lock);
84252648411SRobert Watson #ifdef MAC
8436bc1e9cdSJohn Baldwin 	error = mac_posixsem_check_getvalue(td->td_ucred, fp->f_cred, ks);
84452648411SRobert Watson 	if (error) {
84552648411SRobert Watson 		mtx_unlock(&sem_lock);
8466bc1e9cdSJohn Baldwin 		fdrop(fp, td);
84752648411SRobert Watson 		return (error);
84852648411SRobert Watson 	}
84952648411SRobert Watson #endif
850efaa6588SAlfred Perlstein 	val = ks->ks_value;
8516bc1e9cdSJohn Baldwin 	vfs_timestamp(&ks->ks_atime);
852efaa6588SAlfred Perlstein 	mtx_unlock(&sem_lock);
8536bc1e9cdSJohn Baldwin 	fdrop(fp, td);
854efaa6588SAlfred Perlstein 	error = copyout(&val, uap->val, sizeof(val));
855efaa6588SAlfred Perlstein 	return (error);
856efaa6588SAlfred Perlstein }
857efaa6588SAlfred Perlstein 
858efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_
859efaa6588SAlfred Perlstein struct ksem_destroy_args {
860efaa6588SAlfred Perlstein 	semid_t		id;
861efaa6588SAlfred Perlstein };
862efaa6588SAlfred Perlstein #endif
863efaa6588SAlfred Perlstein int
8648451d0ddSKip Macy sys_ksem_destroy(struct thread *td, struct ksem_destroy_args *uap)
865efaa6588SAlfred Perlstein {
8666bc1e9cdSJohn Baldwin 	struct file *fp;
867efaa6588SAlfred Perlstein 	struct ksem *ks;
868efaa6588SAlfred Perlstein 	int error;
869efaa6588SAlfred Perlstein 
870a9d2f8d8SRobert Watson 	/* No capability rights required to close a semaphore. */
871a9d2f8d8SRobert Watson 	error = ksem_get(td, uap->id, 0, &fp);
8726bc1e9cdSJohn Baldwin 	if (error)
8736bc1e9cdSJohn Baldwin 		return (error);
8746bc1e9cdSJohn Baldwin 	ks = fp->f_data;
8756bc1e9cdSJohn Baldwin 	if (!(ks->ks_flags & KS_ANONYMOUS)) {
8766bc1e9cdSJohn Baldwin 		fdrop(fp, td);
8776bc1e9cdSJohn Baldwin 		return (EINVAL);
878efaa6588SAlfred Perlstein 	}
8796bc1e9cdSJohn Baldwin 	mtx_lock(&sem_lock);
880efaa6588SAlfred Perlstein 	if (ks->ks_waiters != 0) {
8816bc1e9cdSJohn Baldwin 		mtx_unlock(&sem_lock);
882efaa6588SAlfred Perlstein 		error = EBUSY;
883efaa6588SAlfred Perlstein 		goto err;
884efaa6588SAlfred Perlstein 	}
8856bc1e9cdSJohn Baldwin 	ks->ks_flags |= KS_DEAD;
886efaa6588SAlfred Perlstein 	mtx_unlock(&sem_lock);
8876bc1e9cdSJohn Baldwin 
8886bc1e9cdSJohn Baldwin 	error = kern_close(td, uap->id);
8896bc1e9cdSJohn Baldwin err:
8906bc1e9cdSJohn Baldwin 	fdrop(fp, td);
891efaa6588SAlfred Perlstein 	return (error);
892efaa6588SAlfred Perlstein }
893efaa6588SAlfred Perlstein 
8940e5d5bc2SKonstantin Belousov static struct syscall_helper_data ksem_syscalls[] = {
8950e5d5bc2SKonstantin Belousov 	SYSCALL_INIT_HELPER(ksem_init),
8960e5d5bc2SKonstantin Belousov 	SYSCALL_INIT_HELPER(ksem_open),
8970e5d5bc2SKonstantin Belousov 	SYSCALL_INIT_HELPER(ksem_unlink),
8980e5d5bc2SKonstantin Belousov 	SYSCALL_INIT_HELPER(ksem_close),
8990e5d5bc2SKonstantin Belousov 	SYSCALL_INIT_HELPER(ksem_post),
9000e5d5bc2SKonstantin Belousov 	SYSCALL_INIT_HELPER(ksem_wait),
9010e5d5bc2SKonstantin Belousov 	SYSCALL_INIT_HELPER(ksem_timedwait),
9020e5d5bc2SKonstantin Belousov 	SYSCALL_INIT_HELPER(ksem_trywait),
9030e5d5bc2SKonstantin Belousov 	SYSCALL_INIT_HELPER(ksem_getvalue),
9040e5d5bc2SKonstantin Belousov 	SYSCALL_INIT_HELPER(ksem_destroy),
9050e5d5bc2SKonstantin Belousov 	SYSCALL_INIT_LAST
9060e5d5bc2SKonstantin Belousov };
9076bc1e9cdSJohn Baldwin 
9080e5d5bc2SKonstantin Belousov #ifdef COMPAT_FREEBSD32
9090e5d5bc2SKonstantin Belousov #include <compat/freebsd32/freebsd32.h>
9100e5d5bc2SKonstantin Belousov #include <compat/freebsd32/freebsd32_proto.h>
9110e5d5bc2SKonstantin Belousov #include <compat/freebsd32/freebsd32_signal.h>
9120e5d5bc2SKonstantin Belousov #include <compat/freebsd32/freebsd32_syscall.h>
9130e5d5bc2SKonstantin Belousov #include <compat/freebsd32/freebsd32_util.h>
9146bc1e9cdSJohn Baldwin 
9150e5d5bc2SKonstantin Belousov int
9160e5d5bc2SKonstantin Belousov freebsd32_ksem_init(struct thread *td, struct freebsd32_ksem_init_args *uap)
9170e5d5bc2SKonstantin Belousov {
9186bc1e9cdSJohn Baldwin 
9190e5d5bc2SKonstantin Belousov 	return (ksem_create(td, NULL, uap->idp, S_IRWXU | S_IRWXG, uap->value,
9200e5d5bc2SKonstantin Belousov 	    0, 1));
9210e5d5bc2SKonstantin Belousov }
9220e5d5bc2SKonstantin Belousov 
9230e5d5bc2SKonstantin Belousov int
9240e5d5bc2SKonstantin Belousov freebsd32_ksem_open(struct thread *td, struct freebsd32_ksem_open_args *uap)
9250e5d5bc2SKonstantin Belousov {
9260e5d5bc2SKonstantin Belousov 
9270e5d5bc2SKonstantin Belousov 	if ((uap->oflag & ~(O_CREAT | O_EXCL)) != 0)
9280e5d5bc2SKonstantin Belousov 		return (EINVAL);
9290e5d5bc2SKonstantin Belousov 	return (ksem_create(td, uap->name, uap->idp, uap->mode, uap->value,
9300e5d5bc2SKonstantin Belousov 	    uap->oflag, 1));
9310e5d5bc2SKonstantin Belousov }
9320e5d5bc2SKonstantin Belousov 
9330e5d5bc2SKonstantin Belousov int
9340e5d5bc2SKonstantin Belousov freebsd32_ksem_timedwait(struct thread *td,
9350e5d5bc2SKonstantin Belousov     struct freebsd32_ksem_timedwait_args *uap)
9360e5d5bc2SKonstantin Belousov {
9370e5d5bc2SKonstantin Belousov 	struct timespec32 abstime32;
9380e5d5bc2SKonstantin Belousov 	struct timespec *ts, abstime;
9390e5d5bc2SKonstantin Belousov 	int error;
9400e5d5bc2SKonstantin Belousov 
9410e5d5bc2SKonstantin Belousov 	/*
9420e5d5bc2SKonstantin Belousov 	 * We allow a null timespec (wait forever).
9430e5d5bc2SKonstantin Belousov 	 */
9440e5d5bc2SKonstantin Belousov 	if (uap->abstime == NULL)
9450e5d5bc2SKonstantin Belousov 		ts = NULL;
9460e5d5bc2SKonstantin Belousov 	else {
9470e5d5bc2SKonstantin Belousov 		error = copyin(uap->abstime, &abstime32, sizeof(abstime32));
9480e5d5bc2SKonstantin Belousov 		if (error != 0)
9490e5d5bc2SKonstantin Belousov 			return (error);
9500e5d5bc2SKonstantin Belousov 		CP(abstime32, abstime, tv_sec);
9510e5d5bc2SKonstantin Belousov 		CP(abstime32, abstime, tv_nsec);
9520e5d5bc2SKonstantin Belousov 		if (abstime.tv_nsec >= 1000000000 || abstime.tv_nsec < 0)
9530e5d5bc2SKonstantin Belousov 			return (EINVAL);
9540e5d5bc2SKonstantin Belousov 		ts = &abstime;
9550e5d5bc2SKonstantin Belousov 	}
9560e5d5bc2SKonstantin Belousov 	return (kern_sem_wait(td, uap->id, 0, ts));
9570e5d5bc2SKonstantin Belousov }
9580e5d5bc2SKonstantin Belousov 
9590e5d5bc2SKonstantin Belousov static struct syscall_helper_data ksem32_syscalls[] = {
9600e5d5bc2SKonstantin Belousov 	SYSCALL32_INIT_HELPER(freebsd32_ksem_init),
9610e5d5bc2SKonstantin Belousov 	SYSCALL32_INIT_HELPER(freebsd32_ksem_open),
9628451d0ddSKip Macy 	SYSCALL32_INIT_HELPER_COMPAT(ksem_unlink),
9638451d0ddSKip Macy 	SYSCALL32_INIT_HELPER_COMPAT(ksem_close),
9648451d0ddSKip Macy 	SYSCALL32_INIT_HELPER_COMPAT(ksem_post),
9658451d0ddSKip Macy 	SYSCALL32_INIT_HELPER_COMPAT(ksem_wait),
9660e5d5bc2SKonstantin Belousov 	SYSCALL32_INIT_HELPER(freebsd32_ksem_timedwait),
9678451d0ddSKip Macy 	SYSCALL32_INIT_HELPER_COMPAT(ksem_trywait),
9688451d0ddSKip Macy 	SYSCALL32_INIT_HELPER_COMPAT(ksem_getvalue),
9698451d0ddSKip Macy 	SYSCALL32_INIT_HELPER_COMPAT(ksem_destroy),
9700e5d5bc2SKonstantin Belousov 	SYSCALL_INIT_LAST
9710e5d5bc2SKonstantin Belousov };
9720e5d5bc2SKonstantin Belousov #endif
9736bc1e9cdSJohn Baldwin 
974590f242cSRobert Watson static int
9756bc1e9cdSJohn Baldwin ksem_module_init(void)
976590f242cSRobert Watson {
9776bc1e9cdSJohn Baldwin 	int error;
978590f242cSRobert Watson 
9796bc1e9cdSJohn Baldwin 	mtx_init(&sem_lock, "sem", NULL, MTX_DEF);
9806bc1e9cdSJohn Baldwin 	mtx_init(&ksem_count_lock, "ksem count", NULL, MTX_DEF);
9816bc1e9cdSJohn Baldwin 	sx_init(&ksem_dict_lock, "ksem dictionary");
9826bc1e9cdSJohn Baldwin 	ksem_dictionary = hashinit(1024, M_KSEM, &ksem_hash);
9832e7758a8SJohn Baldwin 	p31b_setcfg(CTL_P1003_1B_SEMAPHORES, 200112L);
9846bc1e9cdSJohn Baldwin 	p31b_setcfg(CTL_P1003_1B_SEM_NSEMS_MAX, SEM_MAX);
9856bc1e9cdSJohn Baldwin 	p31b_setcfg(CTL_P1003_1B_SEM_VALUE_MAX, SEM_VALUE_MAX);
986958aa575SJohn Baldwin 	ksem_info = ksem_info_impl;
987590f242cSRobert Watson 
9880e5d5bc2SKonstantin Belousov 	error = syscall_helper_register(ksem_syscalls);
9890e5d5bc2SKonstantin Belousov 	if (error)
9900e5d5bc2SKonstantin Belousov 		return (error);
9910e5d5bc2SKonstantin Belousov #ifdef COMPAT_FREEBSD32
9920e5d5bc2SKonstantin Belousov 	error = syscall32_helper_register(ksem32_syscalls);
9930e5d5bc2SKonstantin Belousov 	if (error)
9940e5d5bc2SKonstantin Belousov 		return (error);
9950e5d5bc2SKonstantin Belousov #endif
9966bc1e9cdSJohn Baldwin 	return (0);
997590f242cSRobert Watson }
998590f242cSRobert Watson 
999c3053131SPoul-Henning Kamp static void
10006bc1e9cdSJohn Baldwin ksem_module_destroy(void)
1001993182e5SAlexander Leidinger {
1002993182e5SAlexander Leidinger 
10030e5d5bc2SKonstantin Belousov #ifdef COMPAT_FREEBSD32
10040e5d5bc2SKonstantin Belousov 	syscall32_helper_unregister(ksem32_syscalls);
10050e5d5bc2SKonstantin Belousov #endif
10060e5d5bc2SKonstantin Belousov 	syscall_helper_unregister(ksem_syscalls);
1007efaa6588SAlfred Perlstein 
1008958aa575SJohn Baldwin 	ksem_info = NULL;
10092e7758a8SJohn Baldwin 	p31b_setcfg(CTL_P1003_1B_SEMAPHORES, 0);
10106bc1e9cdSJohn Baldwin 	hashdestroy(ksem_dictionary, M_KSEM, ksem_hash);
10116bc1e9cdSJohn Baldwin 	sx_destroy(&ksem_dict_lock);
10126bc1e9cdSJohn Baldwin 	mtx_destroy(&ksem_count_lock);
10136bc1e9cdSJohn Baldwin 	mtx_destroy(&sem_lock);
101432863754SKonstantin Belousov 	p31b_unsetcfg(CTL_P1003_1B_SEM_VALUE_MAX);
101532863754SKonstantin Belousov 	p31b_unsetcfg(CTL_P1003_1B_SEM_NSEMS_MAX);
1016efaa6588SAlfred Perlstein }
1017efaa6588SAlfred Perlstein 
1018efaa6588SAlfred Perlstein static int
1019efaa6588SAlfred Perlstein sem_modload(struct module *module, int cmd, void *arg)
1020efaa6588SAlfred Perlstein {
1021efaa6588SAlfred Perlstein         int error = 0;
1022efaa6588SAlfred Perlstein 
1023efaa6588SAlfred Perlstein         switch (cmd) {
1024efaa6588SAlfred Perlstein         case MOD_LOAD:
10256bc1e9cdSJohn Baldwin 		error = ksem_module_init();
10266bc1e9cdSJohn Baldwin 		if (error)
10276bc1e9cdSJohn Baldwin 			ksem_module_destroy();
1028efaa6588SAlfred Perlstein                 break;
10298e230e30SRobert Watson 
1030efaa6588SAlfred Perlstein         case MOD_UNLOAD:
10316bc1e9cdSJohn Baldwin 		mtx_lock(&ksem_count_lock);
1032efaa6588SAlfred Perlstein 		if (nsems != 0) {
1033efaa6588SAlfred Perlstein 			error = EOPNOTSUPP;
10346bc1e9cdSJohn Baldwin 			mtx_unlock(&ksem_count_lock);
1035efaa6588SAlfred Perlstein 			break;
1036efaa6588SAlfred Perlstein 		}
10376bc1e9cdSJohn Baldwin 		ksem_dead = 1;
10386bc1e9cdSJohn Baldwin 		mtx_unlock(&ksem_count_lock);
10396bc1e9cdSJohn Baldwin 		ksem_module_destroy();
1040efaa6588SAlfred Perlstein                 break;
10418e230e30SRobert Watson 
1042efaa6588SAlfred Perlstein         case MOD_SHUTDOWN:
1043efaa6588SAlfred Perlstein                 break;
1044efaa6588SAlfred Perlstein         default:
1045efaa6588SAlfred Perlstein                 error = EINVAL;
1046efaa6588SAlfred Perlstein                 break;
1047efaa6588SAlfred Perlstein         }
1048efaa6588SAlfred Perlstein         return (error);
1049efaa6588SAlfred Perlstein }
1050efaa6588SAlfred Perlstein 
1051efaa6588SAlfred Perlstein static moduledata_t sem_mod = {
1052efaa6588SAlfred Perlstein         "sem",
1053efaa6588SAlfred Perlstein         &sem_modload,
1054efaa6588SAlfred Perlstein         NULL
1055efaa6588SAlfred Perlstein };
1056efaa6588SAlfred Perlstein 
1057efaa6588SAlfred Perlstein DECLARE_MODULE(sem, sem_mod, SI_SUB_SYSV_SEM, SI_ORDER_FIRST);
1058efaa6588SAlfred Perlstein MODULE_VERSION(sem, 1);
1059