1139804Simp/*-
2103571Salfred * Copyright (c) 2002 Alfred Perlstein <alfred@FreeBSD.org>
3145855Srwatson * Copyright (c) 2003-2005 SPARTA, Inc.
4142498Srwatson * Copyright (c) 2005 Robert N. M. Watson
5103571Salfred * All rights reserved.
6103571Salfred *
7145855Srwatson * This software was developed for the FreeBSD Project in part by Network
8145855Srwatson * Associates Laboratories, the Security Research Division of Network
9145855Srwatson * Associates, Inc. under DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"),
10145855Srwatson * as part of the DARPA CHATS research program.
11145855Srwatson *
12103571Salfred * Redistribution and use in source and binary forms, with or without
13103571Salfred * modification, are permitted provided that the following conditions
14103571Salfred * are met:
15103571Salfred * 1. Redistributions of source code must retain the above copyright
16103571Salfred *    notice, this list of conditions and the following disclaimer.
17103571Salfred * 2. Redistributions in binary form must reproduce the above copyright
18103571Salfred *    notice, this list of conditions and the following disclaimer in the
19103571Salfred *    documentation and/or other materials provided with the distribution.
20103571Salfred *
21103571Salfred * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
22103571Salfred * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
23103571Salfred * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
24103571Salfred * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
25103571Salfred * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26103571Salfred * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
27103571Salfred * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
28103571Salfred * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
29103571Salfred * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
30103571Salfred * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
31103571Salfred * SUCH DAMAGE.
32103571Salfred */
33103571Salfred
34116182Sobrien#include <sys/cdefs.h>
35116182Sobrien__FBSDID("$FreeBSD: releng/11.0/sys/kern/uipc_sem.c 297976 2016-04-14 17:07:26Z jamie $");
36116182Sobrien
37205324Skib#include "opt_compat.h"
38103571Salfred#include "opt_posix.h"
39103571Salfred
40103571Salfred#include <sys/param.h>
41263233Srwatson#include <sys/capsicum.h>
42180059Sjhb#include <sys/condvar.h>
43180059Sjhb#include <sys/fcntl.h>
44180059Sjhb#include <sys/file.h>
45180059Sjhb#include <sys/filedesc.h>
46180059Sjhb#include <sys/fnv_hash.h>
47297935Sjamie#include <sys/jail.h>
48103571Salfred#include <sys/kernel.h>
49164184Strhodes#include <sys/ksem.h>
50180059Sjhb#include <sys/lock.h>
51180059Sjhb#include <sys/malloc.h>
52180059Sjhb#include <sys/module.h>
53180059Sjhb#include <sys/mutex.h>
54164033Srwatson#include <sys/priv.h>
55103571Salfred#include <sys/proc.h>
56164184Strhodes#include <sys/posix4.h>
57180059Sjhb#include <sys/_semaphore.h>
58180059Sjhb#include <sys/stat.h>
59103571Salfred#include <sys/syscall.h>
60180059Sjhb#include <sys/syscallsubr.h>
61180059Sjhb#include <sys/sysctl.h>
62103571Salfred#include <sys/sysent.h>
63180059Sjhb#include <sys/sysproto.h>
64180059Sjhb#include <sys/systm.h>
65180059Sjhb#include <sys/sx.h>
66271976Sjhb#include <sys/user.h>
67180059Sjhb#include <sys/vnode.h>
68103571Salfred
69163606Srwatson#include <security/mac/mac_framework.h>
70163606Srwatson
71219030SnetchildFEATURE(p1003_1b_semaphores, "POSIX P1003.1B semaphores support");
72180059Sjhb/*
73180059Sjhb * TODO
74180059Sjhb *
75180059Sjhb * - Resource limits?
76180059Sjhb * - Replace global sem_lock with mtx_pool locks?
77180059Sjhb * - Add a MAC check_create() hook for creating new named semaphores.
78180059Sjhb */
79103571Salfred
80103571Salfred#ifndef SEM_MAX
81179054Srwatson#define	SEM_MAX	30
82103571Salfred#endif
83103571Salfred
84180059Sjhb#ifdef SEM_DEBUG
85180059Sjhb#define	DP(x)	printf x
86180059Sjhb#else
87180059Sjhb#define	DP(x)
88180059Sjhb#endif
89103571Salfred
90180059Sjhbstruct ksem_mapping {
91180059Sjhb	char		*km_path;
92180059Sjhb	Fnv32_t		km_fnv;
93180059Sjhb	struct ksem	*km_ksem;
94180059Sjhb	LIST_ENTRY(ksem_mapping) km_link;
95180059Sjhb};
96103571Salfred
97180059Sjhbstatic MALLOC_DEFINE(M_KSEM, "ksem", "semaphore file descriptor");
98180059Sjhbstatic LIST_HEAD(, ksem_mapping) *ksem_dictionary;
99180059Sjhbstatic struct sx ksem_dict_lock;
100180059Sjhbstatic struct mtx ksem_count_lock;
101180059Sjhbstatic struct mtx sem_lock;
102180059Sjhbstatic u_long ksem_hash;
103180059Sjhbstatic int ksem_dead;
104179054Srwatson
105180059Sjhb#define	KSEM_HASH(fnv)	(&ksem_dictionary[(fnv) & ksem_hash])
106103571Salfred
107103571Salfredstatic int nsems = 0;
108103571SalfredSYSCTL_DECL(_p1003_1b);
109180059SjhbSYSCTL_INT(_p1003_1b, OID_AUTO, nsems, CTLFLAG_RD, &nsems, 0,
110180059Sjhb    "Number of active kernel POSIX semaphores");
111103571Salfred
112180059Sjhbstatic int	kern_sem_wait(struct thread *td, semid_t id, int tryflag,
113180059Sjhb		    struct timespec *abstime);
114180059Sjhbstatic int	ksem_access(struct ksem *ks, struct ucred *ucred);
115180059Sjhbstatic struct ksem *ksem_alloc(struct ucred *ucred, mode_t mode,
116180059Sjhb		    unsigned int value);
117180059Sjhbstatic int	ksem_create(struct thread *td, const char *path,
118180059Sjhb		    semid_t *semidp, mode_t mode, unsigned int value,
119205324Skib		    int flags, int compat32);
120180059Sjhbstatic void	ksem_drop(struct ksem *ks);
121255219Spjdstatic int	ksem_get(struct thread *td, semid_t id, cap_rights_t *rightsp,
122224778Srwatson    struct file **fpp);
123180059Sjhbstatic struct ksem *ksem_hold(struct ksem *ks);
124180059Sjhbstatic void	ksem_insert(char *path, Fnv32_t fnv, struct ksem *ks);
125180059Sjhbstatic struct ksem *ksem_lookup(char *path, Fnv32_t fnv);
126180059Sjhbstatic void	ksem_module_destroy(void);
127180059Sjhbstatic int	ksem_module_init(void);
128180059Sjhbstatic int	ksem_remove(char *path, Fnv32_t fnv, struct ucred *ucred);
129180059Sjhbstatic int	sem_modload(struct module *module, int cmd, void *arg);
130112564Sjhb
131180059Sjhbstatic fo_stat_t	ksem_stat;
132180059Sjhbstatic fo_close_t	ksem_closef;
133224914Skibstatic fo_chmod_t	ksem_chmod;
134224914Skibstatic fo_chown_t	ksem_chown;
135271976Sjhbstatic fo_fill_kinfo_t	ksem_fill_kinfo;
136104596Salfred
137180059Sjhb/* File descriptor operations. */
138180059Sjhbstatic struct fileops ksem_ops = {
139271489Sjhb	.fo_read = invfo_rdwr,
140271489Sjhb	.fo_write = invfo_rdwr,
141271489Sjhb	.fo_truncate = invfo_truncate,
142271489Sjhb	.fo_ioctl = invfo_ioctl,
143271489Sjhb	.fo_poll = invfo_poll,
144271489Sjhb	.fo_kqfilter = invfo_kqfilter,
145180059Sjhb	.fo_stat = ksem_stat,
146180059Sjhb	.fo_close = ksem_closef,
147224914Skib	.fo_chmod = ksem_chmod,
148224914Skib	.fo_chown = ksem_chown,
149254356Sglebius	.fo_sendfile = invfo_sendfile,
150271976Sjhb	.fo_fill_kinfo = ksem_fill_kinfo,
151180059Sjhb	.fo_flags = DFLAG_PASSABLE
152180059Sjhb};
153180059Sjhb
154180059SjhbFEATURE(posix_sem, "POSIX semaphores");
155180059Sjhb
156180059Sjhbstatic int
157180059Sjhbksem_stat(struct file *fp, struct stat *sb, struct ucred *active_cred,
158180059Sjhb    struct thread *td)
159180059Sjhb{
160180059Sjhb	struct ksem *ks;
161180059Sjhb#ifdef MAC
162103571Salfred	int error;
163180059Sjhb#endif
164103571Salfred
165180059Sjhb	ks = fp->f_data;
166179054Srwatson
167145855Srwatson#ifdef MAC
168180059Sjhb	error = mac_posixsem_check_stat(active_cred, fp->f_cred, ks);
169180059Sjhb	if (error)
170180059Sjhb		return (error);
171145855Srwatson#endif
172180059Sjhb
173180059Sjhb	/*
174180059Sjhb	 * Attempt to return sanish values for fstat() on a semaphore
175180059Sjhb	 * file descriptor.
176180059Sjhb	 */
177180059Sjhb	bzero(sb, sizeof(*sb));
178180059Sjhb
179224914Skib	mtx_lock(&sem_lock);
180205792Sed	sb->st_atim = ks->ks_atime;
181205792Sed	sb->st_ctim = ks->ks_ctime;
182205792Sed	sb->st_mtim = ks->ks_mtime;
183224914Skib	sb->st_birthtim = ks->ks_birthtime;
184180059Sjhb	sb->st_uid = ks->ks_uid;
185180059Sjhb	sb->st_gid = ks->ks_gid;
186224914Skib	sb->st_mode = S_IFREG | ks->ks_mode;		/* XXX */
187224914Skib	mtx_unlock(&sem_lock);
188180059Sjhb
189180059Sjhb	return (0);
190103571Salfred}
191103571Salfred
192180059Sjhbstatic int
193224914Skibksem_chmod(struct file *fp, mode_t mode, struct ucred *active_cred,
194224914Skib    struct thread *td)
195224914Skib{
196224914Skib	struct ksem *ks;
197224914Skib	int error;
198224914Skib
199224914Skib	error = 0;
200224914Skib	ks = fp->f_data;
201224914Skib	mtx_lock(&sem_lock);
202224914Skib#ifdef MAC
203224914Skib	error = mac_posixsem_check_setmode(active_cred, ks, mode);
204224914Skib	if (error != 0)
205224914Skib		goto out;
206224914Skib#endif
207224914Skib	error = vaccess(VREG, ks->ks_mode, ks->ks_uid, ks->ks_gid, VADMIN,
208224914Skib	    active_cred, NULL);
209224914Skib	if (error != 0)
210224914Skib		goto out;
211224914Skib	ks->ks_mode = mode & ACCESSPERMS;
212224914Skibout:
213224914Skib	mtx_unlock(&sem_lock);
214224914Skib	return (error);
215224914Skib}
216224914Skib
217224914Skibstatic int
218224914Skibksem_chown(struct file *fp, uid_t uid, gid_t gid, struct ucred *active_cred,
219224914Skib    struct thread *td)
220224914Skib{
221224914Skib	struct ksem *ks;
222224914Skib	int error;
223224914Skib
224224935Skib	error = 0;
225224914Skib	ks = fp->f_data;
226224914Skib	mtx_lock(&sem_lock);
227224914Skib#ifdef MAC
228224914Skib	error = mac_posixsem_check_setowner(active_cred, ks, uid, gid);
229224914Skib	if (error != 0)
230224914Skib		goto out;
231224914Skib#endif
232224914Skib	if (uid == (uid_t)-1)
233224914Skib		uid = ks->ks_uid;
234224914Skib	if (gid == (gid_t)-1)
235224914Skib                 gid = ks->ks_gid;
236224914Skib	if (((uid != ks->ks_uid && uid != active_cred->cr_uid) ||
237224914Skib	    (gid != ks->ks_gid && !groupmember(gid, active_cred))) &&
238224914Skib	    (error = priv_check_cred(active_cred, PRIV_VFS_CHOWN, 0)))
239224914Skib		goto out;
240224914Skib	ks->ks_uid = uid;
241224914Skib	ks->ks_gid = gid;
242224914Skibout:
243224914Skib	mtx_unlock(&sem_lock);
244224914Skib	return (error);
245224914Skib}
246224914Skib
247224914Skibstatic int
248180059Sjhbksem_closef(struct file *fp, struct thread *td)
249103571Salfred{
250180059Sjhb	struct ksem *ks;
251103571Salfred
252180059Sjhb	ks = fp->f_data;
253180059Sjhb	fp->f_data = NULL;
254180059Sjhb	ksem_drop(ks);
255180059Sjhb
256180059Sjhb	return (0);
257103571Salfred}
258103571Salfred
259271976Sjhbstatic int
260271976Sjhbksem_fill_kinfo(struct file *fp, struct kinfo_file *kif, struct filedesc *fdp)
261271976Sjhb{
262297935Sjamie	const char *path, *pr_path;
263271976Sjhb	struct ksem *ks;
264297935Sjamie	size_t pr_pathlen;
265271976Sjhb
266271976Sjhb	kif->kf_type = KF_TYPE_SEM;
267271976Sjhb	ks = fp->f_data;
268271976Sjhb	mtx_lock(&sem_lock);
269271976Sjhb	kif->kf_un.kf_sem.kf_sem_value = ks->ks_value;
270271976Sjhb	kif->kf_un.kf_sem.kf_sem_mode = S_IFREG | ks->ks_mode;	/* XXX */
271271976Sjhb	mtx_unlock(&sem_lock);
272271976Sjhb	if (ks->ks_path != NULL) {
273271976Sjhb		sx_slock(&ksem_dict_lock);
274297976Sjamie		if (ks->ks_path != NULL) {
275297935Sjamie			path = ks->ks_path;
276297935Sjamie			pr_path = curthread->td_ucred->cr_prison->pr_path;
277297976Sjamie			if (strcmp(pr_path, "/") != 0) {
278297976Sjamie				/* Return the jail-rooted pathname. */
279297935Sjamie				pr_pathlen = strlen(pr_path);
280297935Sjamie				if (strncmp(path, pr_path, pr_pathlen) == 0 &&
281297935Sjamie				    path[pr_pathlen] == '/')
282297935Sjamie					path += pr_pathlen;
283297935Sjamie			}
284297935Sjamie			strlcpy(kif->kf_path, path, sizeof(kif->kf_path));
285297935Sjamie		}
286271976Sjhb		sx_sunlock(&ksem_dict_lock);
287271976Sjhb	}
288271976Sjhb	return (0);
289271976Sjhb}
290271976Sjhb
291180059Sjhb/*
292180059Sjhb * ksem object management including creation and reference counting
293180059Sjhb * routines.
294180059Sjhb */
295180059Sjhbstatic struct ksem *
296180059Sjhbksem_alloc(struct ucred *ucred, mode_t mode, unsigned int value)
297103571Salfred{
298103571Salfred	struct ksem *ks;
299103571Salfred
300180059Sjhb	mtx_lock(&ksem_count_lock);
301180059Sjhb	if (nsems == p31b_getcfg(CTL_P1003_1B_SEM_NSEMS_MAX) || ksem_dead) {
302180059Sjhb		mtx_unlock(&ksem_count_lock);
303180059Sjhb		return (NULL);
304103571Salfred	}
305180059Sjhb	nsems++;
306180059Sjhb	mtx_unlock(&ksem_count_lock);
307180059Sjhb	ks = malloc(sizeof(*ks), M_KSEM, M_WAITOK | M_ZERO);
308180059Sjhb	ks->ks_uid = ucred->cr_uid;
309180059Sjhb	ks->ks_gid = ucred->cr_gid;
310180059Sjhb	ks->ks_mode = mode;
311180059Sjhb	ks->ks_value = value;
312180059Sjhb	cv_init(&ks->ks_cv, "ksem");
313180059Sjhb	vfs_timestamp(&ks->ks_birthtime);
314180059Sjhb	ks->ks_atime = ks->ks_mtime = ks->ks_ctime = ks->ks_birthtime;
315180059Sjhb	refcount_init(&ks->ks_ref, 1);
316180059Sjhb#ifdef MAC
317180059Sjhb	mac_posixsem_init(ks);
318180059Sjhb	mac_posixsem_create(ucred, ks);
319180059Sjhb#endif
320180059Sjhb
321180059Sjhb	return (ks);
322103571Salfred}
323103571Salfred
324180059Sjhbstatic struct ksem *
325180059Sjhbksem_hold(struct ksem *ks)
326180059Sjhb{
327180059Sjhb
328180059Sjhb	refcount_acquire(&ks->ks_ref);
329180059Sjhb	return (ks);
330180059Sjhb}
331180059Sjhb
332180059Sjhbstatic void
333180059Sjhbksem_drop(struct ksem *ks)
334180059Sjhb{
335180059Sjhb
336180059Sjhb	if (refcount_release(&ks->ks_ref)) {
337180059Sjhb#ifdef MAC
338180059Sjhb		mac_posixsem_destroy(ks);
339103571Salfred#endif
340180059Sjhb		cv_destroy(&ks->ks_cv);
341180059Sjhb		free(ks, M_KSEM);
342180059Sjhb		mtx_lock(&ksem_count_lock);
343180059Sjhb		nsems--;
344180059Sjhb		mtx_unlock(&ksem_count_lock);
345180059Sjhb	}
346180059Sjhb}
347180059Sjhb
348180059Sjhb/*
349180059Sjhb * Determine if the credentials have sufficient permissions for read
350180059Sjhb * and write access.
351180059Sjhb */
352180059Sjhbstatic int
353180059Sjhbksem_access(struct ksem *ks, struct ucred *ucred)
354103571Salfred{
355103571Salfred	int error;
356103571Salfred
357180059Sjhb	error = vaccess(VREG, ks->ks_mode, ks->ks_uid, ks->ks_gid,
358180059Sjhb	    VREAD | VWRITE, ucred, NULL);
359103571Salfred	if (error)
360180059Sjhb		error = priv_check_cred(ucred, PRIV_SEM_WRITE, 0);
361103571Salfred	return (error);
362103571Salfred}
363103571Salfred
364180059Sjhb/*
365180059Sjhb * Dictionary management.  We maintain an in-kernel dictionary to map
366180059Sjhb * paths to semaphore objects.  We use the FNV hash on the path to
367180059Sjhb * store the mappings in a hash table.
368180059Sjhb */
369180059Sjhbstatic struct ksem *
370180059Sjhbksem_lookup(char *path, Fnv32_t fnv)
371103571Salfred{
372180059Sjhb	struct ksem_mapping *map;
373103571Salfred
374180059Sjhb	LIST_FOREACH(map, KSEM_HASH(fnv), km_link) {
375180059Sjhb		if (map->km_fnv != fnv)
376180059Sjhb			continue;
377180059Sjhb		if (strcmp(map->km_path, path) == 0)
378180059Sjhb			return (map->km_ksem);
379103571Salfred	}
380179054Srwatson
381180059Sjhb	return (NULL);
382180059Sjhb}
383179054Srwatson
384180059Sjhbstatic void
385180059Sjhbksem_insert(char *path, Fnv32_t fnv, struct ksem *ks)
386180059Sjhb{
387180059Sjhb	struct ksem_mapping *map;
388179054Srwatson
389180059Sjhb	map = malloc(sizeof(struct ksem_mapping), M_KSEM, M_WAITOK);
390180059Sjhb	map->km_path = path;
391180059Sjhb	map->km_fnv = fnv;
392180059Sjhb	map->km_ksem = ksem_hold(ks);
393250223Sjhb	ks->ks_path = path;
394180059Sjhb	LIST_INSERT_HEAD(KSEM_HASH(fnv), map, km_link);
395180059Sjhb}
396180059Sjhb
397180059Sjhbstatic int
398180059Sjhbksem_remove(char *path, Fnv32_t fnv, struct ucred *ucred)
399180059Sjhb{
400180059Sjhb	struct ksem_mapping *map;
401180059Sjhb	int error;
402180059Sjhb
403180059Sjhb	LIST_FOREACH(map, KSEM_HASH(fnv), km_link) {
404180059Sjhb		if (map->km_fnv != fnv)
405180059Sjhb			continue;
406180059Sjhb		if (strcmp(map->km_path, path) == 0) {
407145855Srwatson#ifdef MAC
408180059Sjhb			error = mac_posixsem_check_unlink(ucred, map->km_ksem);
409180059Sjhb			if (error)
410180059Sjhb				return (error);
411145855Srwatson#endif
412180059Sjhb			error = ksem_access(map->km_ksem, ucred);
413180059Sjhb			if (error)
414103571Salfred				return (error);
415250223Sjhb			map->km_ksem->ks_path = NULL;
416180059Sjhb			LIST_REMOVE(map, km_link);
417180059Sjhb			ksem_drop(map->km_ksem);
418180059Sjhb			free(map->km_path, M_KSEM);
419180059Sjhb			free(map, M_KSEM);
420180059Sjhb			return (0);
421103571Salfred		}
422103571Salfred	}
423180059Sjhb
424180059Sjhb	return (ENOENT);
425103571Salfred}
426103571Salfred
427205324Skibstatic int
428205324Skibksem_create_copyout_semid(struct thread *td, semid_t *semidp, int fd,
429205324Skib    int compat32)
430205324Skib{
431205324Skib	semid_t semid;
432205324Skib#ifdef COMPAT_FREEBSD32
433205324Skib	int32_t semid32;
434205324Skib#endif
435205324Skib	void *ptr;
436205324Skib	size_t ptrs;
437205324Skib
438205324Skib#ifdef COMPAT_FREEBSD32
439205324Skib	if (compat32) {
440205324Skib		semid32 = fd;
441205324Skib		ptr = &semid32;
442205324Skib		ptrs = sizeof(semid32);
443205324Skib	} else {
444205324Skib#endif
445205324Skib		semid = fd;
446205324Skib		ptr = &semid;
447205324Skib		ptrs = sizeof(semid);
448205324Skib		compat32 = 0; /* silence gcc */
449205324Skib#ifdef COMPAT_FREEBSD32
450205324Skib	}
451205324Skib#endif
452205324Skib
453205324Skib	return (copyout(ptr, semidp, ptrs));
454205324Skib}
455205324Skib
456180059Sjhb/* Other helper routines. */
457105227Sphkstatic int
458180059Sjhbksem_create(struct thread *td, const char *name, semid_t *semidp, mode_t mode,
459205324Skib    unsigned int value, int flags, int compat32)
460103571Salfred{
461180059Sjhb	struct filedesc *fdp;
462180059Sjhb	struct ksem *ks;
463180059Sjhb	struct file *fp;
464180059Sjhb	char *path;
465297935Sjamie	const char *pr_path;
466297935Sjamie	size_t pr_pathlen;
467180059Sjhb	Fnv32_t fnv;
468180059Sjhb	int error, fd;
469103571Salfred
470180059Sjhb	if (value > SEM_VALUE_MAX)
471180059Sjhb		return (EINVAL);
472180059Sjhb
473180059Sjhb	fdp = td->td_proc->p_fd;
474180059Sjhb	mode = (mode & ~fdp->fd_cmask) & ACCESSPERMS;
475249233Sjilles	error = falloc(td, &fp, &fd, O_CLOEXEC);
476180059Sjhb	if (error) {
477180059Sjhb		if (name == NULL)
478180059Sjhb			error = ENOSPC;
479180059Sjhb		return (error);
480180059Sjhb	}
481180059Sjhb
482164033Srwatson	/*
483180059Sjhb	 * Go ahead and copyout the file descriptor now.  This is a bit
484180059Sjhb	 * premature, but it is a lot easier to handle errors as opposed
485180059Sjhb	 * to later when we've possibly created a new semaphore, etc.
486164033Srwatson	 */
487205324Skib	error = ksem_create_copyout_semid(td, semidp, fd, compat32);
488180059Sjhb	if (error) {
489281436Smjg		fdclose(td, fp, fd);
490180059Sjhb		fdrop(fp, td);
491180059Sjhb		return (error);
492180059Sjhb	}
493103571Salfred
494180059Sjhb	if (name == NULL) {
495180059Sjhb		/* Create an anonymous semaphore. */
496180059Sjhb		ks = ksem_alloc(td->td_ucred, mode, value);
497180059Sjhb		if (ks == NULL)
498180059Sjhb			error = ENOSPC;
499180059Sjhb		else
500180059Sjhb			ks->ks_flags |= KS_ANONYMOUS;
501180059Sjhb	} else {
502180059Sjhb		path = malloc(MAXPATHLEN, M_KSEM, M_WAITOK);
503297935Sjamie		pr_path = td->td_ucred->cr_prison->pr_path;
504297976Sjamie
505297976Sjamie		/* Construct a full pathname for jailed callers. */
506297935Sjamie		pr_pathlen = strcmp(pr_path, "/") == 0 ? 0
507297935Sjamie		    : strlcpy(path, pr_path, MAXPATHLEN);
508297935Sjamie		error = copyinstr(name, path + pr_pathlen,
509297935Sjamie		    MAXPATHLEN - pr_pathlen, NULL);
510103571Salfred
511180059Sjhb		/* Require paths to start with a '/' character. */
512297935Sjamie		if (error == 0 && path[pr_pathlen] != '/')
513180059Sjhb			error = EINVAL;
514180059Sjhb		if (error) {
515281436Smjg			fdclose(td, fp, fd);
516180059Sjhb			fdrop(fp, td);
517180059Sjhb			free(path, M_KSEM);
518180059Sjhb			return (error);
519180059Sjhb		}
520180059Sjhb
521180059Sjhb		fnv = fnv_32_str(path, FNV1_32_INIT);
522180059Sjhb		sx_xlock(&ksem_dict_lock);
523180059Sjhb		ks = ksem_lookup(path, fnv);
524180059Sjhb		if (ks == NULL) {
525180059Sjhb			/* Object does not exist, create it if requested. */
526180059Sjhb			if (flags & O_CREAT) {
527180059Sjhb				ks = ksem_alloc(td->td_ucred, mode, value);
528180059Sjhb				if (ks == NULL)
529180059Sjhb					error = ENFILE;
530180059Sjhb				else {
531180059Sjhb					ksem_insert(path, fnv, ks);
532180059Sjhb					path = NULL;
533180059Sjhb				}
534180059Sjhb			} else
535180059Sjhb				error = ENOENT;
536180059Sjhb		} else {
537180059Sjhb			/*
538180059Sjhb			 * Object already exists, obtain a new
539180059Sjhb			 * reference if requested and permitted.
540180059Sjhb			 */
541180059Sjhb			if ((flags & (O_CREAT | O_EXCL)) ==
542180059Sjhb			    (O_CREAT | O_EXCL))
543180059Sjhb				error = EEXIST;
544180059Sjhb			else {
545175148Srwatson#ifdef MAC
546180059Sjhb				error = mac_posixsem_check_open(td->td_ucred,
547180059Sjhb				    ks);
548180059Sjhb				if (error == 0)
549175148Srwatson#endif
550180059Sjhb				error = ksem_access(ks, td->td_ucred);
551180059Sjhb			}
552180059Sjhb			if (error == 0)
553180059Sjhb				ksem_hold(ks);
554180059Sjhb#ifdef INVARIANTS
555180059Sjhb			else
556180059Sjhb				ks = NULL;
557180059Sjhb#endif
558180059Sjhb		}
559180059Sjhb		sx_xunlock(&ksem_dict_lock);
560180059Sjhb		if (path)
561180059Sjhb			free(path, M_KSEM);
562180059Sjhb	}
563103571Salfred
564180059Sjhb	if (error) {
565180059Sjhb		KASSERT(ks == NULL, ("ksem_create error with a ksem"));
566281436Smjg		fdclose(td, fp, fd);
567180059Sjhb		fdrop(fp, td);
568180059Sjhb		return (error);
569180059Sjhb	}
570180059Sjhb	KASSERT(ks != NULL, ("ksem_create w/o a ksem"));
571103571Salfred
572180059Sjhb	finit(fp, FREAD | FWRITE, DTYPE_SEM, ks, &ksem_ops);
573180059Sjhb
574180059Sjhb	fdrop(fp, td);
575180059Sjhb
576180059Sjhb	return (0);
577103571Salfred}
578103571Salfred
579105227Sphkstatic int
580255219Spjdksem_get(struct thread *td, semid_t id, cap_rights_t *rightsp,
581255219Spjd    struct file **fpp)
582103571Salfred{
583180059Sjhb	struct ksem *ks;
584180059Sjhb	struct file *fp;
585180059Sjhb	int error;
586180059Sjhb
587255219Spjd	error = fget(td, id, rightsp, &fp);
588180059Sjhb	if (error)
589180059Sjhb		return (EINVAL);
590180059Sjhb	if (fp->f_type != DTYPE_SEM) {
591180059Sjhb		fdrop(fp, td);
592180059Sjhb		return (EINVAL);
593180059Sjhb	}
594180059Sjhb	ks = fp->f_data;
595180059Sjhb	if (ks->ks_flags & KS_DEAD) {
596180059Sjhb		fdrop(fp, td);
597180059Sjhb		return (EINVAL);
598180059Sjhb	}
599180059Sjhb	*fpp = fp;
600180059Sjhb	return (0);
601103571Salfred}
602103571Salfred
603180059Sjhb/* System calls. */
604180059Sjhb#ifndef _SYS_SYSPROTO_H_
605180059Sjhbstruct ksem_init_args {
606180059Sjhb	unsigned int	value;
607180059Sjhb	semid_t		*idp;
608180059Sjhb};
609180059Sjhb#endif
610180059Sjhbint
611225617Skmacysys_ksem_init(struct thread *td, struct ksem_init_args *uap)
612103571Salfred{
613103571Salfred
614180059Sjhb	return (ksem_create(td, NULL, uap->idp, S_IRWXU | S_IRWXG, uap->value,
615205324Skib	    0, 0));
616103571Salfred}
617103571Salfred
618180059Sjhb#ifndef _SYS_SYSPROTO_H_
619180059Sjhbstruct ksem_open_args {
620180059Sjhb	char		*name;
621180059Sjhb	int		oflag;
622180059Sjhb	mode_t		mode;
623180059Sjhb	unsigned int	value;
624180059Sjhb	semid_t		*idp;
625180059Sjhb};
626180059Sjhb#endif
627180059Sjhbint
628225617Skmacysys_ksem_open(struct thread *td, struct ksem_open_args *uap)
629103571Salfred{
630103571Salfred
631189735Sbms	DP((">>> ksem_open start, pid=%d\n", (int)td->td_proc->p_pid));
632189735Sbms
633180059Sjhb	if ((uap->oflag & ~(O_CREAT | O_EXCL)) != 0)
634180059Sjhb		return (EINVAL);
635180059Sjhb	return (ksem_create(td, uap->name, uap->idp, uap->mode, uap->value,
636205324Skib	    uap->oflag, 0));
637103571Salfred}
638103571Salfred
639103571Salfred#ifndef _SYS_SYSPROTO_H_
640103571Salfredstruct ksem_unlink_args {
641180059Sjhb	char		*name;
642103571Salfred};
643103571Salfred#endif
644103571Salfredint
645225617Skmacysys_ksem_unlink(struct thread *td, struct ksem_unlink_args *uap)
646103571Salfred{
647180059Sjhb	char *path;
648297935Sjamie	const char *pr_path;
649297935Sjamie	size_t pr_pathlen;
650180059Sjhb	Fnv32_t fnv;
651103571Salfred	int error;
652103571Salfred
653180059Sjhb	path = malloc(MAXPATHLEN, M_TEMP, M_WAITOK);
654297935Sjamie	pr_path = td->td_ucred->cr_prison->pr_path;
655297935Sjamie	pr_pathlen = strcmp(pr_path, "/") == 0 ? 0
656297935Sjamie	    : strlcpy(path, pr_path, MAXPATHLEN);
657297935Sjamie	error = copyinstr(uap->name, path + pr_pathlen, MAXPATHLEN - pr_pathlen,
658297935Sjamie	    NULL);
659180059Sjhb	if (error) {
660180059Sjhb		free(path, M_TEMP);
661180059Sjhb		return (error);
662180059Sjhb	}
663103571Salfred
664180059Sjhb	fnv = fnv_32_str(path, FNV1_32_INIT);
665180059Sjhb	sx_xlock(&ksem_dict_lock);
666180059Sjhb	error = ksem_remove(path, fnv, td->td_ucred);
667180059Sjhb	sx_xunlock(&ksem_dict_lock);
668180059Sjhb	free(path, M_TEMP);
669103571Salfred
670103571Salfred	return (error);
671103571Salfred}
672103571Salfred
673103571Salfred#ifndef _SYS_SYSPROTO_H_
674103571Salfredstruct ksem_close_args {
675180059Sjhb	semid_t		id;
676103571Salfred};
677103571Salfred#endif
678103571Salfredint
679225617Skmacysys_ksem_close(struct thread *td, struct ksem_close_args *uap)
680103571Salfred{
681285829Spluknet	cap_rights_t rights;
682103571Salfred	struct ksem *ks;
683180059Sjhb	struct file *fp;
684103571Salfred	int error;
685103571Salfred
686224778Srwatson	/* No capability rights required to close a semaphore. */
687285829Spluknet	error = ksem_get(td, uap->id, cap_rights_init(&rights), &fp);
688180059Sjhb	if (error)
689180059Sjhb		return (error);
690180059Sjhb	ks = fp->f_data;
691180059Sjhb	if (ks->ks_flags & KS_ANONYMOUS) {
692180059Sjhb		fdrop(fp, td);
693180059Sjhb		return (EINVAL);
694180059Sjhb	}
695180059Sjhb	error = kern_close(td, uap->id);
696180059Sjhb	fdrop(fp, td);
697109084Salfred	return (error);
698103571Salfred}
699103571Salfred
700103571Salfred#ifndef _SYS_SYSPROTO_H_
701103571Salfredstruct ksem_post_args {
702180059Sjhb	semid_t	id;
703103571Salfred};
704103571Salfred#endif
705103571Salfredint
706225617Skmacysys_ksem_post(struct thread *td, struct ksem_post_args *uap)
707103571Salfred{
708255219Spjd	cap_rights_t rights;
709180059Sjhb	struct file *fp;
710103571Salfred	struct ksem *ks;
711103571Salfred	int error;
712103571Salfred
713255219Spjd	error = ksem_get(td, uap->id,
714255219Spjd	    cap_rights_init(&rights, CAP_SEM_POST), &fp);
715180059Sjhb	if (error)
716180059Sjhb		return (error);
717180059Sjhb	ks = fp->f_data;
718180059Sjhb
719103571Salfred	mtx_lock(&sem_lock);
720145855Srwatson#ifdef MAC
721180059Sjhb	error = mac_posixsem_check_post(td->td_ucred, fp->f_cred, ks);
722145855Srwatson	if (error)
723145855Srwatson		goto err;
724145855Srwatson#endif
725103571Salfred	if (ks->ks_value == SEM_VALUE_MAX) {
726103571Salfred		error = EOVERFLOW;
727103571Salfred		goto err;
728103571Salfred	}
729103571Salfred	++ks->ks_value;
730103571Salfred	if (ks->ks_waiters > 0)
731103571Salfred		cv_signal(&ks->ks_cv);
732103571Salfred	error = 0;
733180059Sjhb	vfs_timestamp(&ks->ks_ctime);
734103571Salfrederr:
735103571Salfred	mtx_unlock(&sem_lock);
736180059Sjhb	fdrop(fp, td);
737103571Salfred	return (error);
738103571Salfred}
739103571Salfred
740103571Salfred#ifndef _SYS_SYSPROTO_H_
741103571Salfredstruct ksem_wait_args {
742180059Sjhb	semid_t		id;
743103571Salfred};
744103571Salfred#endif
745103571Salfredint
746225617Skmacysys_ksem_wait(struct thread *td, struct ksem_wait_args *uap)
747103571Salfred{
748103571Salfred
749125368Sdeischen	return (kern_sem_wait(td, uap->id, 0, NULL));
750103571Salfred}
751103571Salfred
752103571Salfred#ifndef _SYS_SYSPROTO_H_
753125368Sdeischenstruct ksem_timedwait_args {
754180059Sjhb	semid_t		id;
755151445Sstefanf	const struct timespec *abstime;
756125368Sdeischen};
757125368Sdeischen#endif
758125368Sdeischenint
759225617Skmacysys_ksem_timedwait(struct thread *td, struct ksem_timedwait_args *uap)
760125368Sdeischen{
761125368Sdeischen	struct timespec abstime;
762125368Sdeischen	struct timespec *ts;
763125368Sdeischen	int error;
764125368Sdeischen
765179054Srwatson	/*
766179054Srwatson	 * We allow a null timespec (wait forever).
767179054Srwatson	 */
768125368Sdeischen	if (uap->abstime == NULL)
769125368Sdeischen		ts = NULL;
770125368Sdeischen	else {
771125368Sdeischen		error = copyin(uap->abstime, &abstime, sizeof(abstime));
772125368Sdeischen		if (error != 0)
773125368Sdeischen			return (error);
774125368Sdeischen		if (abstime.tv_nsec >= 1000000000 || abstime.tv_nsec < 0)
775125368Sdeischen			return (EINVAL);
776125368Sdeischen		ts = &abstime;
777125368Sdeischen	}
778125368Sdeischen	return (kern_sem_wait(td, uap->id, 0, ts));
779125368Sdeischen}
780125368Sdeischen
781125368Sdeischen#ifndef _SYS_SYSPROTO_H_
782103571Salfredstruct ksem_trywait_args {
783180059Sjhb	semid_t		id;
784103571Salfred};
785103571Salfred#endif
786103571Salfredint
787225617Skmacysys_ksem_trywait(struct thread *td, struct ksem_trywait_args *uap)
788103571Salfred{
789103571Salfred
790125368Sdeischen	return (kern_sem_wait(td, uap->id, 1, NULL));
791103571Salfred}
792103571Salfred
793105227Sphkstatic int
794154659Srwatsonkern_sem_wait(struct thread *td, semid_t id, int tryflag,
795154659Srwatson    struct timespec *abstime)
796103571Salfred{
797125368Sdeischen	struct timespec ts1, ts2;
798125368Sdeischen	struct timeval tv;
799255219Spjd	cap_rights_t rights;
800180059Sjhb	struct file *fp;
801103571Salfred	struct ksem *ks;
802103571Salfred	int error;
803103571Salfred
804189735Sbms	DP((">>> kern_sem_wait entered! pid=%d\n", (int)td->td_proc->p_pid));
805255219Spjd	error = ksem_get(td, id, cap_rights_init(&rights, CAP_SEM_WAIT), &fp);
806180059Sjhb	if (error)
807180059Sjhb		return (error);
808180059Sjhb	ks = fp->f_data;
809103571Salfred	mtx_lock(&sem_lock);
810189735Sbms	DP((">>> kern_sem_wait critical section entered! pid=%d\n",
811189735Sbms	    (int)td->td_proc->p_pid));
812145855Srwatson#ifdef MAC
813180059Sjhb	error = mac_posixsem_check_wait(td->td_ucred, fp->f_cred, ks);
814145855Srwatson	if (error) {
815145855Srwatson		DP(("kern_sem_wait mac failed\n"));
816145855Srwatson		goto err;
817145855Srwatson	}
818145855Srwatson#endif
819104596Salfred	DP(("kern_sem_wait value = %d, tryflag %d\n", ks->ks_value, tryflag));
820180059Sjhb	vfs_timestamp(&ks->ks_atime);
821189736Sbms	while (ks->ks_value == 0) {
822103571Salfred		ks->ks_waiters++;
823125368Sdeischen		if (tryflag != 0)
824125368Sdeischen			error = EAGAIN;
825125368Sdeischen		else if (abstime == NULL)
826125368Sdeischen			error = cv_wait_sig(&ks->ks_cv, &sem_lock);
827125368Sdeischen		else {
828125368Sdeischen			for (;;) {
829125368Sdeischen				ts1 = *abstime;
830125368Sdeischen				getnanotime(&ts2);
831125368Sdeischen				timespecsub(&ts1, &ts2);
832125368Sdeischen				TIMESPEC_TO_TIMEVAL(&tv, &ts1);
833125368Sdeischen				if (tv.tv_sec < 0) {
834125368Sdeischen					error = ETIMEDOUT;
835125368Sdeischen					break;
836125368Sdeischen				}
837125368Sdeischen				error = cv_timedwait_sig(&ks->ks_cv,
838125368Sdeischen				    &sem_lock, tvtohz(&tv));
839125368Sdeischen				if (error != EWOULDBLOCK)
840125368Sdeischen					break;
841125368Sdeischen			}
842125368Sdeischen		}
843103571Salfred		ks->ks_waiters--;
844103571Salfred		if (error)
845103571Salfred			goto err;
846103571Salfred	}
847103571Salfred	ks->ks_value--;
848189735Sbms	DP(("kern_sem_wait value post-decrement = %d\n", ks->ks_value));
849103571Salfred	error = 0;
850103571Salfrederr:
851103571Salfred	mtx_unlock(&sem_lock);
852180059Sjhb	fdrop(fp, td);
853189735Sbms	DP(("<<< kern_sem_wait leaving, pid=%d, error = %d\n",
854189735Sbms	    (int)td->td_proc->p_pid, error));
855103571Salfred	return (error);
856103571Salfred}
857103571Salfred
858103571Salfred#ifndef _SYS_SYSPROTO_H_
859103571Salfredstruct ksem_getvalue_args {
860180059Sjhb	semid_t		id;
861180059Sjhb	int		*val;
862103571Salfred};
863103571Salfred#endif
864103571Salfredint
865225617Skmacysys_ksem_getvalue(struct thread *td, struct ksem_getvalue_args *uap)
866103571Salfred{
867255219Spjd	cap_rights_t rights;
868180059Sjhb	struct file *fp;
869103571Salfred	struct ksem *ks;
870103571Salfred	int error, val;
871103571Salfred
872255219Spjd	error = ksem_get(td, uap->id,
873255219Spjd	    cap_rights_init(&rights, CAP_SEM_GETVALUE), &fp);
874180059Sjhb	if (error)
875180059Sjhb		return (error);
876180059Sjhb	ks = fp->f_data;
877180059Sjhb
878103571Salfred	mtx_lock(&sem_lock);
879145855Srwatson#ifdef MAC
880180059Sjhb	error = mac_posixsem_check_getvalue(td->td_ucred, fp->f_cred, ks);
881145855Srwatson	if (error) {
882145855Srwatson		mtx_unlock(&sem_lock);
883180059Sjhb		fdrop(fp, td);
884145855Srwatson		return (error);
885145855Srwatson	}
886145855Srwatson#endif
887103571Salfred	val = ks->ks_value;
888180059Sjhb	vfs_timestamp(&ks->ks_atime);
889103571Salfred	mtx_unlock(&sem_lock);
890180059Sjhb	fdrop(fp, td);
891103571Salfred	error = copyout(&val, uap->val, sizeof(val));
892103571Salfred	return (error);
893103571Salfred}
894103571Salfred
895103571Salfred#ifndef _SYS_SYSPROTO_H_
896103571Salfredstruct ksem_destroy_args {
897180059Sjhb	semid_t		id;
898103571Salfred};
899103571Salfred#endif
900103571Salfredint
901225617Skmacysys_ksem_destroy(struct thread *td, struct ksem_destroy_args *uap)
902103571Salfred{
903285829Spluknet	cap_rights_t rights;
904180059Sjhb	struct file *fp;
905103571Salfred	struct ksem *ks;
906103571Salfred	int error;
907103571Salfred
908224778Srwatson	/* No capability rights required to close a semaphore. */
909285829Spluknet	error = ksem_get(td, uap->id, cap_rights_init(&rights), &fp);
910180059Sjhb	if (error)
911180059Sjhb		return (error);
912180059Sjhb	ks = fp->f_data;
913180059Sjhb	if (!(ks->ks_flags & KS_ANONYMOUS)) {
914180059Sjhb		fdrop(fp, td);
915180059Sjhb		return (EINVAL);
916180059Sjhb	}
917103571Salfred	mtx_lock(&sem_lock);
918103571Salfred	if (ks->ks_waiters != 0) {
919180059Sjhb		mtx_unlock(&sem_lock);
920103571Salfred		error = EBUSY;
921103571Salfred		goto err;
922103571Salfred	}
923180059Sjhb	ks->ks_flags |= KS_DEAD;
924180059Sjhb	mtx_unlock(&sem_lock);
925180059Sjhb
926180059Sjhb	error = kern_close(td, uap->id);
927103571Salfrederr:
928180059Sjhb	fdrop(fp, td);
929103571Salfred	return (error);
930103571Salfred}
931103571Salfred
932205324Skibstatic struct syscall_helper_data ksem_syscalls[] = {
933205324Skib	SYSCALL_INIT_HELPER(ksem_init),
934205324Skib	SYSCALL_INIT_HELPER(ksem_open),
935205324Skib	SYSCALL_INIT_HELPER(ksem_unlink),
936205324Skib	SYSCALL_INIT_HELPER(ksem_close),
937205324Skib	SYSCALL_INIT_HELPER(ksem_post),
938205324Skib	SYSCALL_INIT_HELPER(ksem_wait),
939205324Skib	SYSCALL_INIT_HELPER(ksem_timedwait),
940205324Skib	SYSCALL_INIT_HELPER(ksem_trywait),
941205324Skib	SYSCALL_INIT_HELPER(ksem_getvalue),
942205324Skib	SYSCALL_INIT_HELPER(ksem_destroy),
943205324Skib	SYSCALL_INIT_LAST
944205324Skib};
945142498Srwatson
946205324Skib#ifdef COMPAT_FREEBSD32
947205324Skib#include <compat/freebsd32/freebsd32.h>
948205324Skib#include <compat/freebsd32/freebsd32_proto.h>
949205324Skib#include <compat/freebsd32/freebsd32_signal.h>
950205324Skib#include <compat/freebsd32/freebsd32_syscall.h>
951205324Skib#include <compat/freebsd32/freebsd32_util.h>
952142498Srwatson
953205324Skibint
954205324Skibfreebsd32_ksem_init(struct thread *td, struct freebsd32_ksem_init_args *uap)
955205324Skib{
956142498Srwatson
957205324Skib	return (ksem_create(td, NULL, uap->idp, S_IRWXU | S_IRWXG, uap->value,
958205324Skib	    0, 1));
959205324Skib}
960180059Sjhb
961205324Skibint
962205324Skibfreebsd32_ksem_open(struct thread *td, struct freebsd32_ksem_open_args *uap)
963205324Skib{
964205324Skib
965205324Skib	if ((uap->oflag & ~(O_CREAT | O_EXCL)) != 0)
966205324Skib		return (EINVAL);
967205324Skib	return (ksem_create(td, uap->name, uap->idp, uap->mode, uap->value,
968205324Skib	    uap->oflag, 1));
969205324Skib}
970205324Skib
971205324Skibint
972205324Skibfreebsd32_ksem_timedwait(struct thread *td,
973205324Skib    struct freebsd32_ksem_timedwait_args *uap)
974205324Skib{
975205324Skib	struct timespec32 abstime32;
976205324Skib	struct timespec *ts, abstime;
977205324Skib	int error;
978205324Skib
979205324Skib	/*
980205324Skib	 * We allow a null timespec (wait forever).
981205324Skib	 */
982205324Skib	if (uap->abstime == NULL)
983205324Skib		ts = NULL;
984205324Skib	else {
985205324Skib		error = copyin(uap->abstime, &abstime32, sizeof(abstime32));
986205324Skib		if (error != 0)
987205324Skib			return (error);
988205324Skib		CP(abstime32, abstime, tv_sec);
989205324Skib		CP(abstime32, abstime, tv_nsec);
990205324Skib		if (abstime.tv_nsec >= 1000000000 || abstime.tv_nsec < 0)
991205324Skib			return (EINVAL);
992205324Skib		ts = &abstime;
993205324Skib	}
994205324Skib	return (kern_sem_wait(td, uap->id, 0, ts));
995205324Skib}
996205324Skib
997205324Skibstatic struct syscall_helper_data ksem32_syscalls[] = {
998205324Skib	SYSCALL32_INIT_HELPER(freebsd32_ksem_init),
999205324Skib	SYSCALL32_INIT_HELPER(freebsd32_ksem_open),
1000225617Skmacy	SYSCALL32_INIT_HELPER_COMPAT(ksem_unlink),
1001225617Skmacy	SYSCALL32_INIT_HELPER_COMPAT(ksem_close),
1002225617Skmacy	SYSCALL32_INIT_HELPER_COMPAT(ksem_post),
1003225617Skmacy	SYSCALL32_INIT_HELPER_COMPAT(ksem_wait),
1004205324Skib	SYSCALL32_INIT_HELPER(freebsd32_ksem_timedwait),
1005225617Skmacy	SYSCALL32_INIT_HELPER_COMPAT(ksem_trywait),
1006225617Skmacy	SYSCALL32_INIT_HELPER_COMPAT(ksem_getvalue),
1007225617Skmacy	SYSCALL32_INIT_HELPER_COMPAT(ksem_destroy),
1008205324Skib	SYSCALL_INIT_LAST
1009205324Skib};
1010205324Skib#endif
1011205324Skib
1012180059Sjhbstatic int
1013180059Sjhbksem_module_init(void)
1014142498Srwatson{
1015180059Sjhb	int error;
1016142498Srwatson
1017180059Sjhb	mtx_init(&sem_lock, "sem", NULL, MTX_DEF);
1018180059Sjhb	mtx_init(&ksem_count_lock, "ksem count", NULL, MTX_DEF);
1019180059Sjhb	sx_init(&ksem_dict_lock, "ksem dictionary");
1020180059Sjhb	ksem_dictionary = hashinit(1024, M_KSEM, &ksem_hash);
1021215541Sjhb	p31b_setcfg(CTL_P1003_1B_SEMAPHORES, 200112L);
1022180059Sjhb	p31b_setcfg(CTL_P1003_1B_SEM_NSEMS_MAX, SEM_MAX);
1023180059Sjhb	p31b_setcfg(CTL_P1003_1B_SEM_VALUE_MAX, SEM_VALUE_MAX);
1024179054Srwatson
1025273707Smjg	error = syscall_helper_register(ksem_syscalls, SY_THR_STATIC_KLD);
1026205324Skib	if (error)
1027205324Skib		return (error);
1028205324Skib#ifdef COMPAT_FREEBSD32
1029273707Smjg	error = syscall32_helper_register(ksem32_syscalls, SY_THR_STATIC_KLD);
1030205324Skib	if (error)
1031205324Skib		return (error);
1032205324Skib#endif
1033180059Sjhb	return (0);
1034142498Srwatson}
1035142498Srwatson
1036142498Srwatsonstatic void
1037180059Sjhbksem_module_destroy(void)
1038103571Salfred{
1039161302Snetchild
1040205324Skib#ifdef COMPAT_FREEBSD32
1041205324Skib	syscall32_helper_unregister(ksem32_syscalls);
1042205324Skib#endif
1043205324Skib	syscall_helper_unregister(ksem_syscalls);
1044103571Salfred
1045215541Sjhb	p31b_setcfg(CTL_P1003_1B_SEMAPHORES, 0);
1046180059Sjhb	hashdestroy(ksem_dictionary, M_KSEM, ksem_hash);
1047180059Sjhb	sx_destroy(&ksem_dict_lock);
1048180059Sjhb	mtx_destroy(&ksem_count_lock);
1049180059Sjhb	mtx_destroy(&sem_lock);
1050208731Skib	p31b_unsetcfg(CTL_P1003_1B_SEM_VALUE_MAX);
1051208731Skib	p31b_unsetcfg(CTL_P1003_1B_SEM_NSEMS_MAX);
1052103571Salfred}
1053103571Salfred
1054103571Salfredstatic int
1055103571Salfredsem_modload(struct module *module, int cmd, void *arg)
1056103571Salfred{
1057103571Salfred        int error = 0;
1058103571Salfred
1059103571Salfred        switch (cmd) {
1060103571Salfred        case MOD_LOAD:
1061180059Sjhb		error = ksem_module_init();
1062180059Sjhb		if (error)
1063180059Sjhb			ksem_module_destroy();
1064103571Salfred                break;
1065179054Srwatson
1066103571Salfred        case MOD_UNLOAD:
1067180059Sjhb		mtx_lock(&ksem_count_lock);
1068103571Salfred		if (nsems != 0) {
1069103571Salfred			error = EOPNOTSUPP;
1070180059Sjhb			mtx_unlock(&ksem_count_lock);
1071103571Salfred			break;
1072103571Salfred		}
1073180059Sjhb		ksem_dead = 1;
1074180059Sjhb		mtx_unlock(&ksem_count_lock);
1075180059Sjhb		ksem_module_destroy();
1076103571Salfred                break;
1077179054Srwatson
1078103571Salfred        case MOD_SHUTDOWN:
1079103571Salfred                break;
1080103571Salfred        default:
1081103571Salfred                error = EINVAL;
1082103571Salfred                break;
1083103571Salfred        }
1084103571Salfred        return (error);
1085103571Salfred}
1086103571Salfred
1087103571Salfredstatic moduledata_t sem_mod = {
1088103571Salfred        "sem",
1089103571Salfred        &sem_modload,
1090103571Salfred        NULL
1091103571Salfred};
1092103571Salfred
1093103571SalfredDECLARE_MODULE(sem, sem_mod, SI_SUB_SYSV_SEM, SI_ORDER_FIRST);
1094103571SalfredMODULE_VERSION(sem, 1);
1095