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> 416bc1e9cdSJohn Baldwin #include <sys/condvar.h> 426bc1e9cdSJohn Baldwin #include <sys/fcntl.h> 436bc1e9cdSJohn Baldwin #include <sys/file.h> 446bc1e9cdSJohn Baldwin #include <sys/filedesc.h> 456bc1e9cdSJohn Baldwin #include <sys/fnv_hash.h> 46efaa6588SAlfred Perlstein #include <sys/kernel.h> 476aeb05d7STom Rhodes #include <sys/ksem.h> 486bc1e9cdSJohn Baldwin #include <sys/lock.h> 496bc1e9cdSJohn Baldwin #include <sys/malloc.h> 506bc1e9cdSJohn Baldwin #include <sys/module.h> 516bc1e9cdSJohn Baldwin #include <sys/mutex.h> 52acd3428bSRobert Watson #include <sys/priv.h> 53efaa6588SAlfred Perlstein #include <sys/proc.h> 546aeb05d7STom Rhodes #include <sys/posix4.h> 556aeb05d7STom Rhodes #include <sys/_semaphore.h> 566bc1e9cdSJohn Baldwin #include <sys/stat.h> 576bc1e9cdSJohn Baldwin #include <sys/syscall.h> 586bc1e9cdSJohn Baldwin #include <sys/syscallsubr.h> 596bc1e9cdSJohn Baldwin #include <sys/sysctl.h> 606bc1e9cdSJohn Baldwin #include <sys/sysent.h> 616bc1e9cdSJohn Baldwin #include <sys/sysproto.h> 626bc1e9cdSJohn Baldwin #include <sys/systm.h> 636bc1e9cdSJohn Baldwin #include <sys/sx.h> 646bc1e9cdSJohn Baldwin #include <sys/vnode.h> 65efaa6588SAlfred Perlstein 66aed55708SRobert Watson #include <security/mac/mac_framework.h> 67aed55708SRobert Watson 686bc1e9cdSJohn Baldwin /* 696bc1e9cdSJohn Baldwin * TODO 706bc1e9cdSJohn Baldwin * 716bc1e9cdSJohn Baldwin * - Resource limits? 726bc1e9cdSJohn Baldwin * - Update fstat(1) 736bc1e9cdSJohn Baldwin * - Replace global sem_lock with mtx_pool locks? 746bc1e9cdSJohn Baldwin * - Add a MAC check_create() hook for creating new named semaphores. 756bc1e9cdSJohn Baldwin */ 76efaa6588SAlfred Perlstein 77efaa6588SAlfred Perlstein #ifndef SEM_MAX 78efaa6588SAlfred Perlstein #define SEM_MAX 30 79efaa6588SAlfred Perlstein #endif 80efaa6588SAlfred Perlstein 81c814aa3fSAlfred Perlstein #ifdef SEM_DEBUG 82c814aa3fSAlfred Perlstein #define DP(x) printf x 83c814aa3fSAlfred Perlstein #else 84c814aa3fSAlfred Perlstein #define DP(x) 85c814aa3fSAlfred Perlstein #endif 86c814aa3fSAlfred Perlstein 876bc1e9cdSJohn Baldwin struct ksem_mapping { 886bc1e9cdSJohn Baldwin char *km_path; 896bc1e9cdSJohn Baldwin Fnv32_t km_fnv; 906bc1e9cdSJohn Baldwin struct ksem *km_ksem; 916bc1e9cdSJohn Baldwin LIST_ENTRY(ksem_mapping) km_link; 926bc1e9cdSJohn Baldwin }; 936bc1e9cdSJohn Baldwin 946bc1e9cdSJohn Baldwin static MALLOC_DEFINE(M_KSEM, "ksem", "semaphore file descriptor"); 956bc1e9cdSJohn Baldwin static LIST_HEAD(, ksem_mapping) *ksem_dictionary; 966bc1e9cdSJohn Baldwin static struct sx ksem_dict_lock; 976bc1e9cdSJohn Baldwin static struct mtx ksem_count_lock; 986bc1e9cdSJohn Baldwin static struct mtx sem_lock; 996bc1e9cdSJohn Baldwin static u_long ksem_hash; 1006bc1e9cdSJohn Baldwin static int ksem_dead; 1016bc1e9cdSJohn Baldwin 1026bc1e9cdSJohn Baldwin #define KSEM_HASH(fnv) (&ksem_dictionary[(fnv) & ksem_hash]) 1036bc1e9cdSJohn Baldwin 1046bc1e9cdSJohn Baldwin static int nsems = 0; 1056bc1e9cdSJohn Baldwin SYSCTL_DECL(_p1003_1b); 1066bc1e9cdSJohn Baldwin SYSCTL_INT(_p1003_1b, OID_AUTO, nsems, CTLFLAG_RD, &nsems, 0, 1076bc1e9cdSJohn Baldwin "Number of active kernel POSIX semaphores"); 1086bc1e9cdSJohn Baldwin 1096bc1e9cdSJohn Baldwin static int kern_sem_wait(struct thread *td, semid_t id, int tryflag, 1106bc1e9cdSJohn Baldwin struct timespec *abstime); 1116bc1e9cdSJohn Baldwin static int ksem_access(struct ksem *ks, struct ucred *ucred); 1126bc1e9cdSJohn Baldwin static struct ksem *ksem_alloc(struct ucred *ucred, mode_t mode, 1136bc1e9cdSJohn Baldwin unsigned int value); 1146bc1e9cdSJohn Baldwin static int ksem_create(struct thread *td, const char *path, 1156bc1e9cdSJohn Baldwin semid_t *semidp, mode_t mode, unsigned int value, 1160e5d5bc2SKonstantin Belousov int flags, int compat32); 1176bc1e9cdSJohn Baldwin static void ksem_drop(struct ksem *ks); 1186bc1e9cdSJohn Baldwin static int ksem_get(struct thread *td, semid_t id, struct file **fpp); 1196bc1e9cdSJohn Baldwin static struct ksem *ksem_hold(struct ksem *ks); 1206bc1e9cdSJohn Baldwin static void ksem_insert(char *path, Fnv32_t fnv, struct ksem *ks); 1216bc1e9cdSJohn Baldwin static struct ksem *ksem_lookup(char *path, Fnv32_t fnv); 1226bc1e9cdSJohn Baldwin static void ksem_module_destroy(void); 1236bc1e9cdSJohn Baldwin static int ksem_module_init(void); 1246bc1e9cdSJohn Baldwin static int ksem_remove(char *path, Fnv32_t fnv, struct ucred *ucred); 1256bc1e9cdSJohn Baldwin static int sem_modload(struct module *module, int cmd, void *arg); 1266bc1e9cdSJohn Baldwin 1276bc1e9cdSJohn Baldwin static fo_rdwr_t ksem_read; 1286bc1e9cdSJohn Baldwin static fo_rdwr_t ksem_write; 1296bc1e9cdSJohn Baldwin static fo_truncate_t ksem_truncate; 1306bc1e9cdSJohn Baldwin static fo_ioctl_t ksem_ioctl; 1316bc1e9cdSJohn Baldwin static fo_poll_t ksem_poll; 1326bc1e9cdSJohn Baldwin static fo_kqfilter_t ksem_kqfilter; 1336bc1e9cdSJohn Baldwin static fo_stat_t ksem_stat; 1346bc1e9cdSJohn Baldwin static fo_close_t ksem_closef; 1356bc1e9cdSJohn Baldwin 1366bc1e9cdSJohn Baldwin /* File descriptor operations. */ 1376bc1e9cdSJohn Baldwin static struct fileops ksem_ops = { 1386bc1e9cdSJohn Baldwin .fo_read = ksem_read, 1396bc1e9cdSJohn Baldwin .fo_write = ksem_write, 1406bc1e9cdSJohn Baldwin .fo_truncate = ksem_truncate, 1416bc1e9cdSJohn Baldwin .fo_ioctl = ksem_ioctl, 1426bc1e9cdSJohn Baldwin .fo_poll = ksem_poll, 1436bc1e9cdSJohn Baldwin .fo_kqfilter = ksem_kqfilter, 1446bc1e9cdSJohn Baldwin .fo_stat = ksem_stat, 1456bc1e9cdSJohn Baldwin .fo_close = ksem_closef, 1466bc1e9cdSJohn Baldwin .fo_flags = DFLAG_PASSABLE 1476bc1e9cdSJohn Baldwin }; 1486bc1e9cdSJohn Baldwin 1496bc1e9cdSJohn Baldwin FEATURE(posix_sem, "POSIX semaphores"); 1506bc1e9cdSJohn Baldwin 1516bc1e9cdSJohn Baldwin static int 1526bc1e9cdSJohn Baldwin ksem_read(struct file *fp, struct uio *uio, struct ucred *active_cred, 1536bc1e9cdSJohn Baldwin int flags, struct thread *td) 154efaa6588SAlfred Perlstein { 155efaa6588SAlfred Perlstein 1566bc1e9cdSJohn Baldwin return (EOPNOTSUPP); 157efaa6588SAlfred Perlstein } 158efaa6588SAlfred Perlstein 159c3053131SPoul-Henning Kamp static int 1606bc1e9cdSJohn Baldwin ksem_write(struct file *fp, struct uio *uio, struct ucred *active_cred, 1616bc1e9cdSJohn Baldwin int flags, struct thread *td) 162efaa6588SAlfred Perlstein { 1636bc1e9cdSJohn Baldwin 1646bc1e9cdSJohn Baldwin return (EOPNOTSUPP); 1656bc1e9cdSJohn Baldwin } 1666bc1e9cdSJohn Baldwin 1676bc1e9cdSJohn Baldwin static int 1686bc1e9cdSJohn Baldwin ksem_truncate(struct file *fp, off_t length, struct ucred *active_cred, 1696bc1e9cdSJohn Baldwin struct thread *td) 1706bc1e9cdSJohn Baldwin { 1716bc1e9cdSJohn Baldwin 1726bc1e9cdSJohn Baldwin return (EINVAL); 1736bc1e9cdSJohn Baldwin } 1746bc1e9cdSJohn Baldwin 1756bc1e9cdSJohn Baldwin static int 1766bc1e9cdSJohn Baldwin ksem_ioctl(struct file *fp, u_long com, void *data, 1776bc1e9cdSJohn Baldwin struct ucred *active_cred, struct thread *td) 1786bc1e9cdSJohn Baldwin { 1796bc1e9cdSJohn Baldwin 1806bc1e9cdSJohn Baldwin return (EOPNOTSUPP); 1816bc1e9cdSJohn Baldwin } 1826bc1e9cdSJohn Baldwin 1836bc1e9cdSJohn Baldwin static int 1846bc1e9cdSJohn Baldwin ksem_poll(struct file *fp, int events, struct ucred *active_cred, 1856bc1e9cdSJohn Baldwin struct thread *td) 1866bc1e9cdSJohn Baldwin { 1876bc1e9cdSJohn Baldwin 1886bc1e9cdSJohn Baldwin return (EOPNOTSUPP); 1896bc1e9cdSJohn Baldwin } 1906bc1e9cdSJohn Baldwin 1916bc1e9cdSJohn Baldwin static int 1926bc1e9cdSJohn Baldwin ksem_kqfilter(struct file *fp, struct knote *kn) 1936bc1e9cdSJohn Baldwin { 1946bc1e9cdSJohn Baldwin 1956bc1e9cdSJohn Baldwin return (EOPNOTSUPP); 1966bc1e9cdSJohn Baldwin } 1976bc1e9cdSJohn Baldwin 1986bc1e9cdSJohn Baldwin static int 1996bc1e9cdSJohn Baldwin ksem_stat(struct file *fp, struct stat *sb, struct ucred *active_cred, 2006bc1e9cdSJohn Baldwin struct thread *td) 2016bc1e9cdSJohn Baldwin { 2026bc1e9cdSJohn Baldwin struct ksem *ks; 2036bc1e9cdSJohn Baldwin #ifdef MAC 2046bc1e9cdSJohn Baldwin int error; 2056bc1e9cdSJohn Baldwin #endif 2066bc1e9cdSJohn Baldwin 2076bc1e9cdSJohn Baldwin ks = fp->f_data; 2086bc1e9cdSJohn Baldwin 2096bc1e9cdSJohn Baldwin #ifdef MAC 2106bc1e9cdSJohn Baldwin error = mac_posixsem_check_stat(active_cred, fp->f_cred, ks); 2116bc1e9cdSJohn Baldwin if (error) 2126bc1e9cdSJohn Baldwin return (error); 2136bc1e9cdSJohn Baldwin #endif 2146bc1e9cdSJohn Baldwin 2156bc1e9cdSJohn Baldwin /* 2166bc1e9cdSJohn Baldwin * Attempt to return sanish values for fstat() on a semaphore 2176bc1e9cdSJohn Baldwin * file descriptor. 2186bc1e9cdSJohn Baldwin */ 2196bc1e9cdSJohn Baldwin bzero(sb, sizeof(*sb)); 2206bc1e9cdSJohn Baldwin sb->st_mode = S_IFREG | ks->ks_mode; /* XXX */ 2216bc1e9cdSJohn Baldwin 222510ea843SEd Schouten sb->st_atim = ks->ks_atime; 223510ea843SEd Schouten sb->st_ctim = ks->ks_ctime; 224510ea843SEd Schouten sb->st_mtim = ks->ks_mtime; 225510ea843SEd Schouten sb->st_birthtim = ks->ks_birthtime; 2266bc1e9cdSJohn Baldwin sb->st_uid = ks->ks_uid; 2276bc1e9cdSJohn Baldwin sb->st_gid = ks->ks_gid; 2286bc1e9cdSJohn Baldwin 2296bc1e9cdSJohn Baldwin return (0); 2306bc1e9cdSJohn Baldwin } 2316bc1e9cdSJohn Baldwin 2326bc1e9cdSJohn Baldwin static int 2336bc1e9cdSJohn Baldwin ksem_closef(struct file *fp, struct thread *td) 2346bc1e9cdSJohn Baldwin { 2356bc1e9cdSJohn Baldwin struct ksem *ks; 2366bc1e9cdSJohn Baldwin 2376bc1e9cdSJohn Baldwin ks = fp->f_data; 2386bc1e9cdSJohn Baldwin fp->f_data = NULL; 2396bc1e9cdSJohn Baldwin ksem_drop(ks); 2406bc1e9cdSJohn Baldwin 2416bc1e9cdSJohn Baldwin return (0); 2426bc1e9cdSJohn Baldwin } 2436bc1e9cdSJohn Baldwin 2446bc1e9cdSJohn Baldwin /* 2456bc1e9cdSJohn Baldwin * ksem object management including creation and reference counting 2466bc1e9cdSJohn Baldwin * routines. 2476bc1e9cdSJohn Baldwin */ 2486bc1e9cdSJohn Baldwin static struct ksem * 2496bc1e9cdSJohn Baldwin ksem_alloc(struct ucred *ucred, mode_t mode, unsigned int value) 2506bc1e9cdSJohn Baldwin { 2516bc1e9cdSJohn Baldwin struct ksem *ks; 2526bc1e9cdSJohn Baldwin 2536bc1e9cdSJohn Baldwin mtx_lock(&ksem_count_lock); 2546bc1e9cdSJohn Baldwin if (nsems == p31b_getcfg(CTL_P1003_1B_SEM_NSEMS_MAX) || ksem_dead) { 2556bc1e9cdSJohn Baldwin mtx_unlock(&ksem_count_lock); 2566bc1e9cdSJohn Baldwin return (NULL); 2576bc1e9cdSJohn Baldwin } 2586bc1e9cdSJohn Baldwin nsems++; 2596bc1e9cdSJohn Baldwin mtx_unlock(&ksem_count_lock); 2606bc1e9cdSJohn Baldwin ks = malloc(sizeof(*ks), M_KSEM, M_WAITOK | M_ZERO); 2616bc1e9cdSJohn Baldwin ks->ks_uid = ucred->cr_uid; 2626bc1e9cdSJohn Baldwin ks->ks_gid = ucred->cr_gid; 2636bc1e9cdSJohn Baldwin ks->ks_mode = mode; 2646bc1e9cdSJohn Baldwin ks->ks_value = value; 2656bc1e9cdSJohn Baldwin cv_init(&ks->ks_cv, "ksem"); 2666bc1e9cdSJohn Baldwin vfs_timestamp(&ks->ks_birthtime); 2676bc1e9cdSJohn Baldwin ks->ks_atime = ks->ks_mtime = ks->ks_ctime = ks->ks_birthtime; 2686bc1e9cdSJohn Baldwin refcount_init(&ks->ks_ref, 1); 2696bc1e9cdSJohn Baldwin #ifdef MAC 2706bc1e9cdSJohn Baldwin mac_posixsem_init(ks); 2716bc1e9cdSJohn Baldwin mac_posixsem_create(ucred, ks); 2726bc1e9cdSJohn Baldwin #endif 2736bc1e9cdSJohn Baldwin 2746bc1e9cdSJohn Baldwin return (ks); 2756bc1e9cdSJohn Baldwin } 2766bc1e9cdSJohn Baldwin 2776bc1e9cdSJohn Baldwin static struct ksem * 2786bc1e9cdSJohn Baldwin ksem_hold(struct ksem *ks) 2796bc1e9cdSJohn Baldwin { 2806bc1e9cdSJohn Baldwin 2816bc1e9cdSJohn Baldwin refcount_acquire(&ks->ks_ref); 2826bc1e9cdSJohn Baldwin return (ks); 2836bc1e9cdSJohn Baldwin } 2846bc1e9cdSJohn Baldwin 2856bc1e9cdSJohn Baldwin static void 2866bc1e9cdSJohn Baldwin ksem_drop(struct ksem *ks) 2876bc1e9cdSJohn Baldwin { 2886bc1e9cdSJohn Baldwin 2896bc1e9cdSJohn Baldwin if (refcount_release(&ks->ks_ref)) { 2906bc1e9cdSJohn Baldwin #ifdef MAC 2916bc1e9cdSJohn Baldwin mac_posixsem_destroy(ks); 2926bc1e9cdSJohn Baldwin #endif 2936bc1e9cdSJohn Baldwin cv_destroy(&ks->ks_cv); 2946bc1e9cdSJohn Baldwin free(ks, M_KSEM); 2956bc1e9cdSJohn Baldwin mtx_lock(&ksem_count_lock); 2966bc1e9cdSJohn Baldwin nsems--; 2976bc1e9cdSJohn Baldwin mtx_unlock(&ksem_count_lock); 2986bc1e9cdSJohn Baldwin } 2996bc1e9cdSJohn Baldwin } 3006bc1e9cdSJohn Baldwin 3016bc1e9cdSJohn Baldwin /* 3026bc1e9cdSJohn Baldwin * Determine if the credentials have sufficient permissions for read 3036bc1e9cdSJohn Baldwin * and write access. 3046bc1e9cdSJohn Baldwin */ 3056bc1e9cdSJohn Baldwin static int 3066bc1e9cdSJohn Baldwin ksem_access(struct ksem *ks, struct ucred *ucred) 3076bc1e9cdSJohn Baldwin { 308efaa6588SAlfred Perlstein int error; 309efaa6588SAlfred Perlstein 3106bc1e9cdSJohn Baldwin error = vaccess(VREG, ks->ks_mode, ks->ks_uid, ks->ks_gid, 3116bc1e9cdSJohn Baldwin VREAD | VWRITE, ucred, NULL); 3126bc1e9cdSJohn Baldwin if (error) 3136bc1e9cdSJohn Baldwin error = priv_check_cred(ucred, PRIV_SEM_WRITE, 0); 314efaa6588SAlfred Perlstein return (error); 315efaa6588SAlfred Perlstein } 316efaa6588SAlfred Perlstein 3176bc1e9cdSJohn Baldwin /* 3186bc1e9cdSJohn Baldwin * Dictionary management. We maintain an in-kernel dictionary to map 3196bc1e9cdSJohn Baldwin * paths to semaphore objects. We use the FNV hash on the path to 3206bc1e9cdSJohn Baldwin * store the mappings in a hash table. 3216bc1e9cdSJohn Baldwin */ 3226bc1e9cdSJohn Baldwin static struct ksem * 3236bc1e9cdSJohn Baldwin ksem_lookup(char *path, Fnv32_t fnv) 3246bc1e9cdSJohn Baldwin { 3256bc1e9cdSJohn Baldwin struct ksem_mapping *map; 3266bc1e9cdSJohn Baldwin 3276bc1e9cdSJohn Baldwin LIST_FOREACH(map, KSEM_HASH(fnv), km_link) { 3286bc1e9cdSJohn Baldwin if (map->km_fnv != fnv) 3296bc1e9cdSJohn Baldwin continue; 3306bc1e9cdSJohn Baldwin if (strcmp(map->km_path, path) == 0) 3316bc1e9cdSJohn Baldwin return (map->km_ksem); 3326bc1e9cdSJohn Baldwin } 3336bc1e9cdSJohn Baldwin 3346bc1e9cdSJohn Baldwin return (NULL); 3356bc1e9cdSJohn Baldwin } 3366bc1e9cdSJohn Baldwin 3376bc1e9cdSJohn Baldwin static void 3386bc1e9cdSJohn Baldwin ksem_insert(char *path, Fnv32_t fnv, struct ksem *ks) 3396bc1e9cdSJohn Baldwin { 3406bc1e9cdSJohn Baldwin struct ksem_mapping *map; 3416bc1e9cdSJohn Baldwin 3426bc1e9cdSJohn Baldwin map = malloc(sizeof(struct ksem_mapping), M_KSEM, M_WAITOK); 3436bc1e9cdSJohn Baldwin map->km_path = path; 3446bc1e9cdSJohn Baldwin map->km_fnv = fnv; 3456bc1e9cdSJohn Baldwin map->km_ksem = ksem_hold(ks); 3466bc1e9cdSJohn Baldwin LIST_INSERT_HEAD(KSEM_HASH(fnv), map, km_link); 3476bc1e9cdSJohn Baldwin } 3486bc1e9cdSJohn Baldwin 3496bc1e9cdSJohn Baldwin static int 3506bc1e9cdSJohn Baldwin ksem_remove(char *path, Fnv32_t fnv, struct ucred *ucred) 3516bc1e9cdSJohn Baldwin { 3526bc1e9cdSJohn Baldwin struct ksem_mapping *map; 3536bc1e9cdSJohn Baldwin int error; 3546bc1e9cdSJohn Baldwin 3556bc1e9cdSJohn Baldwin LIST_FOREACH(map, KSEM_HASH(fnv), km_link) { 3566bc1e9cdSJohn Baldwin if (map->km_fnv != fnv) 3576bc1e9cdSJohn Baldwin continue; 3586bc1e9cdSJohn Baldwin if (strcmp(map->km_path, path) == 0) { 3596bc1e9cdSJohn Baldwin #ifdef MAC 3606bc1e9cdSJohn Baldwin error = mac_posixsem_check_unlink(ucred, map->km_ksem); 3616bc1e9cdSJohn Baldwin if (error) 3626bc1e9cdSJohn Baldwin return (error); 3636bc1e9cdSJohn Baldwin #endif 3646bc1e9cdSJohn Baldwin error = ksem_access(map->km_ksem, ucred); 3656bc1e9cdSJohn Baldwin if (error) 3666bc1e9cdSJohn Baldwin return (error); 3676bc1e9cdSJohn Baldwin LIST_REMOVE(map, km_link); 3686bc1e9cdSJohn Baldwin ksem_drop(map->km_ksem); 3696bc1e9cdSJohn Baldwin free(map->km_path, M_KSEM); 3706bc1e9cdSJohn Baldwin free(map, M_KSEM); 3716bc1e9cdSJohn Baldwin return (0); 3726bc1e9cdSJohn Baldwin } 3736bc1e9cdSJohn Baldwin } 3746bc1e9cdSJohn Baldwin 3756bc1e9cdSJohn Baldwin return (ENOENT); 3766bc1e9cdSJohn Baldwin } 3776bc1e9cdSJohn Baldwin 3780e5d5bc2SKonstantin Belousov static int 3790e5d5bc2SKonstantin Belousov ksem_create_copyout_semid(struct thread *td, semid_t *semidp, int fd, 3800e5d5bc2SKonstantin Belousov int compat32) 3810e5d5bc2SKonstantin Belousov { 3820e5d5bc2SKonstantin Belousov semid_t semid; 3830e5d5bc2SKonstantin Belousov #ifdef COMPAT_FREEBSD32 3840e5d5bc2SKonstantin Belousov int32_t semid32; 3850e5d5bc2SKonstantin Belousov #endif 3860e5d5bc2SKonstantin Belousov void *ptr; 3870e5d5bc2SKonstantin Belousov size_t ptrs; 3880e5d5bc2SKonstantin Belousov 3890e5d5bc2SKonstantin Belousov #ifdef COMPAT_FREEBSD32 3900e5d5bc2SKonstantin Belousov if (compat32) { 3910e5d5bc2SKonstantin Belousov semid32 = fd; 3920e5d5bc2SKonstantin Belousov ptr = &semid32; 3930e5d5bc2SKonstantin Belousov ptrs = sizeof(semid32); 3940e5d5bc2SKonstantin Belousov } else { 3950e5d5bc2SKonstantin Belousov #endif 3960e5d5bc2SKonstantin Belousov semid = fd; 3970e5d5bc2SKonstantin Belousov ptr = &semid; 3980e5d5bc2SKonstantin Belousov ptrs = sizeof(semid); 3990e5d5bc2SKonstantin Belousov compat32 = 0; /* silence gcc */ 4000e5d5bc2SKonstantin Belousov #ifdef COMPAT_FREEBSD32 4010e5d5bc2SKonstantin Belousov } 4020e5d5bc2SKonstantin Belousov #endif 4030e5d5bc2SKonstantin Belousov 4040e5d5bc2SKonstantin Belousov return (copyout(ptr, semidp, ptrs)); 4050e5d5bc2SKonstantin Belousov } 4060e5d5bc2SKonstantin Belousov 4076bc1e9cdSJohn Baldwin /* Other helper routines. */ 4086bc1e9cdSJohn Baldwin static int 4096bc1e9cdSJohn Baldwin ksem_create(struct thread *td, const char *name, semid_t *semidp, mode_t mode, 4100e5d5bc2SKonstantin Belousov unsigned int value, int flags, int compat32) 4116bc1e9cdSJohn Baldwin { 4126bc1e9cdSJohn Baldwin struct filedesc *fdp; 4136bc1e9cdSJohn Baldwin struct ksem *ks; 4146bc1e9cdSJohn Baldwin struct file *fp; 4156bc1e9cdSJohn Baldwin char *path; 4166bc1e9cdSJohn Baldwin Fnv32_t fnv; 4176bc1e9cdSJohn Baldwin int error, fd; 4186bc1e9cdSJohn Baldwin 4196bc1e9cdSJohn Baldwin if (value > SEM_VALUE_MAX) 4206bc1e9cdSJohn Baldwin return (EINVAL); 4216bc1e9cdSJohn Baldwin 4226bc1e9cdSJohn Baldwin fdp = td->td_proc->p_fd; 4236bc1e9cdSJohn Baldwin mode = (mode & ~fdp->fd_cmask) & ACCESSPERMS; 4246bc1e9cdSJohn Baldwin error = falloc(td, &fp, &fd); 4256bc1e9cdSJohn Baldwin if (error) { 4266bc1e9cdSJohn Baldwin if (name == NULL) 4276bc1e9cdSJohn Baldwin error = ENOSPC; 4286bc1e9cdSJohn Baldwin return (error); 4296bc1e9cdSJohn Baldwin } 4306bc1e9cdSJohn Baldwin 4316bc1e9cdSJohn Baldwin /* 4326bc1e9cdSJohn Baldwin * Go ahead and copyout the file descriptor now. This is a bit 4336bc1e9cdSJohn Baldwin * premature, but it is a lot easier to handle errors as opposed 4346bc1e9cdSJohn Baldwin * to later when we've possibly created a new semaphore, etc. 4356bc1e9cdSJohn Baldwin */ 4360e5d5bc2SKonstantin Belousov error = ksem_create_copyout_semid(td, semidp, fd, compat32); 4376bc1e9cdSJohn Baldwin if (error) { 4386bc1e9cdSJohn Baldwin fdclose(fdp, fp, fd, td); 4396bc1e9cdSJohn Baldwin fdrop(fp, td); 4406bc1e9cdSJohn Baldwin return (error); 4416bc1e9cdSJohn Baldwin } 4426bc1e9cdSJohn Baldwin 4436bc1e9cdSJohn Baldwin if (name == NULL) { 4446bc1e9cdSJohn Baldwin /* Create an anonymous semaphore. */ 4456bc1e9cdSJohn Baldwin ks = ksem_alloc(td->td_ucred, mode, value); 4466bc1e9cdSJohn Baldwin if (ks == NULL) 4476bc1e9cdSJohn Baldwin error = ENOSPC; 4486bc1e9cdSJohn Baldwin else 4496bc1e9cdSJohn Baldwin ks->ks_flags |= KS_ANONYMOUS; 4506bc1e9cdSJohn Baldwin } else { 4516bc1e9cdSJohn Baldwin path = malloc(MAXPATHLEN, M_KSEM, M_WAITOK); 4526bc1e9cdSJohn Baldwin error = copyinstr(name, path, MAXPATHLEN, NULL); 4536bc1e9cdSJohn Baldwin 4546bc1e9cdSJohn Baldwin /* Require paths to start with a '/' character. */ 4556bc1e9cdSJohn Baldwin if (error == 0 && path[0] != '/') 4566bc1e9cdSJohn Baldwin error = EINVAL; 4576bc1e9cdSJohn Baldwin if (error) { 4586bc1e9cdSJohn Baldwin fdclose(fdp, fp, fd, td); 4596bc1e9cdSJohn Baldwin fdrop(fp, td); 4606bc1e9cdSJohn Baldwin free(path, M_KSEM); 4616bc1e9cdSJohn Baldwin return (error); 4626bc1e9cdSJohn Baldwin } 4636bc1e9cdSJohn Baldwin 4646bc1e9cdSJohn Baldwin fnv = fnv_32_str(path, FNV1_32_INIT); 4656bc1e9cdSJohn Baldwin sx_xlock(&ksem_dict_lock); 4666bc1e9cdSJohn Baldwin ks = ksem_lookup(path, fnv); 4676bc1e9cdSJohn Baldwin if (ks == NULL) { 4686bc1e9cdSJohn Baldwin /* Object does not exist, create it if requested. */ 4696bc1e9cdSJohn Baldwin if (flags & O_CREAT) { 4706bc1e9cdSJohn Baldwin ks = ksem_alloc(td->td_ucred, mode, value); 4716bc1e9cdSJohn Baldwin if (ks == NULL) 4726bc1e9cdSJohn Baldwin error = ENFILE; 4736bc1e9cdSJohn Baldwin else { 4746bc1e9cdSJohn Baldwin ksem_insert(path, fnv, ks); 4756bc1e9cdSJohn Baldwin path = NULL; 4766bc1e9cdSJohn Baldwin } 4776bc1e9cdSJohn Baldwin } else 4786bc1e9cdSJohn Baldwin error = ENOENT; 4796bc1e9cdSJohn Baldwin } else { 4806bc1e9cdSJohn Baldwin /* 4816bc1e9cdSJohn Baldwin * Object already exists, obtain a new 4826bc1e9cdSJohn Baldwin * reference if requested and permitted. 4836bc1e9cdSJohn Baldwin */ 4846bc1e9cdSJohn Baldwin if ((flags & (O_CREAT | O_EXCL)) == 4856bc1e9cdSJohn Baldwin (O_CREAT | O_EXCL)) 4866bc1e9cdSJohn Baldwin error = EEXIST; 4876bc1e9cdSJohn Baldwin else { 4886bc1e9cdSJohn Baldwin #ifdef MAC 4896bc1e9cdSJohn Baldwin error = mac_posixsem_check_open(td->td_ucred, 4906bc1e9cdSJohn Baldwin ks); 4916bc1e9cdSJohn Baldwin if (error == 0) 4926bc1e9cdSJohn Baldwin #endif 4936bc1e9cdSJohn Baldwin error = ksem_access(ks, td->td_ucred); 4946bc1e9cdSJohn Baldwin } 4956bc1e9cdSJohn Baldwin if (error == 0) 4966bc1e9cdSJohn Baldwin ksem_hold(ks); 4976bc1e9cdSJohn Baldwin #ifdef INVARIANTS 4986bc1e9cdSJohn Baldwin else 4996bc1e9cdSJohn Baldwin ks = NULL; 5006bc1e9cdSJohn Baldwin #endif 5016bc1e9cdSJohn Baldwin } 5026bc1e9cdSJohn Baldwin sx_xunlock(&ksem_dict_lock); 5036bc1e9cdSJohn Baldwin if (path) 5046bc1e9cdSJohn Baldwin free(path, M_KSEM); 5056bc1e9cdSJohn Baldwin } 5066bc1e9cdSJohn Baldwin 5076bc1e9cdSJohn Baldwin if (error) { 5086bc1e9cdSJohn Baldwin KASSERT(ks == NULL, ("ksem_create error with a ksem")); 5096bc1e9cdSJohn Baldwin fdclose(fdp, fp, fd, td); 5106bc1e9cdSJohn Baldwin fdrop(fp, td); 5116bc1e9cdSJohn Baldwin return (error); 5126bc1e9cdSJohn Baldwin } 5136bc1e9cdSJohn Baldwin KASSERT(ks != NULL, ("ksem_create w/o a ksem")); 5146bc1e9cdSJohn Baldwin 5156bc1e9cdSJohn Baldwin finit(fp, FREAD | FWRITE, DTYPE_SEM, ks, &ksem_ops); 5166bc1e9cdSJohn Baldwin 5176bc1e9cdSJohn Baldwin FILEDESC_XLOCK(fdp); 5186bc1e9cdSJohn Baldwin if (fdp->fd_ofiles[fd] == fp) 5196bc1e9cdSJohn Baldwin fdp->fd_ofileflags[fd] |= UF_EXCLOSE; 5206bc1e9cdSJohn Baldwin FILEDESC_XUNLOCK(fdp); 5216bc1e9cdSJohn Baldwin fdrop(fp, td); 5226bc1e9cdSJohn Baldwin 5236bc1e9cdSJohn Baldwin return (0); 5246bc1e9cdSJohn Baldwin } 5256bc1e9cdSJohn Baldwin 5266bc1e9cdSJohn Baldwin static int 5276bc1e9cdSJohn Baldwin ksem_get(struct thread *td, semid_t id, struct file **fpp) 5286bc1e9cdSJohn Baldwin { 5296bc1e9cdSJohn Baldwin struct ksem *ks; 5306bc1e9cdSJohn Baldwin struct file *fp; 5316bc1e9cdSJohn Baldwin int error; 5326bc1e9cdSJohn Baldwin 5336bc1e9cdSJohn Baldwin error = fget(td, id, &fp); 5346bc1e9cdSJohn Baldwin if (error) 5356bc1e9cdSJohn Baldwin return (EINVAL); 5366bc1e9cdSJohn Baldwin if (fp->f_type != DTYPE_SEM) { 5376bc1e9cdSJohn Baldwin fdrop(fp, td); 5386bc1e9cdSJohn Baldwin return (EINVAL); 5396bc1e9cdSJohn Baldwin } 5406bc1e9cdSJohn Baldwin ks = fp->f_data; 5416bc1e9cdSJohn Baldwin if (ks->ks_flags & KS_DEAD) { 5426bc1e9cdSJohn Baldwin fdrop(fp, td); 5436bc1e9cdSJohn Baldwin return (EINVAL); 5446bc1e9cdSJohn Baldwin } 5456bc1e9cdSJohn Baldwin *fpp = fp; 5466bc1e9cdSJohn Baldwin return (0); 5476bc1e9cdSJohn Baldwin } 5486bc1e9cdSJohn Baldwin 5496bc1e9cdSJohn Baldwin /* System calls. */ 550efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_ 551efaa6588SAlfred Perlstein struct ksem_init_args { 552efaa6588SAlfred Perlstein unsigned int value; 553efaa6588SAlfred Perlstein semid_t *idp; 554efaa6588SAlfred Perlstein }; 555efaa6588SAlfred Perlstein #endif 556efaa6588SAlfred Perlstein int 557c1250af6SRobert Watson ksem_init(struct thread *td, struct ksem_init_args *uap) 558efaa6588SAlfred Perlstein { 559efaa6588SAlfred Perlstein 5606bc1e9cdSJohn Baldwin return (ksem_create(td, NULL, uap->idp, S_IRWXU | S_IRWXG, uap->value, 5610e5d5bc2SKonstantin Belousov 0, 0)); 562efaa6588SAlfred Perlstein } 563efaa6588SAlfred Perlstein 564efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_ 565efaa6588SAlfred Perlstein struct ksem_open_args { 566efaa6588SAlfred Perlstein char *name; 567efaa6588SAlfred Perlstein int oflag; 568efaa6588SAlfred Perlstein mode_t mode; 569efaa6588SAlfred Perlstein unsigned int value; 570efaa6588SAlfred Perlstein semid_t *idp; 571efaa6588SAlfred Perlstein }; 572efaa6588SAlfred Perlstein #endif 573efaa6588SAlfred Perlstein int 574c1250af6SRobert Watson ksem_open(struct thread *td, struct ksem_open_args *uap) 575efaa6588SAlfred Perlstein { 576efaa6588SAlfred Perlstein 577b2966a5aSBruce M Simpson DP((">>> ksem_open start, pid=%d\n", (int)td->td_proc->p_pid)); 578b2966a5aSBruce M Simpson 5796bc1e9cdSJohn Baldwin if ((uap->oflag & ~(O_CREAT | O_EXCL)) != 0) 580b3890a1cSAlfred Perlstein return (EINVAL); 5816bc1e9cdSJohn Baldwin return (ksem_create(td, uap->name, uap->idp, uap->mode, uap->value, 5820e5d5bc2SKonstantin Belousov uap->oflag, 0)); 583efaa6588SAlfred Perlstein } 584efaa6588SAlfred Perlstein 585efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_ 586efaa6588SAlfred Perlstein struct ksem_unlink_args { 587efaa6588SAlfred Perlstein char *name; 588efaa6588SAlfred Perlstein }; 589efaa6588SAlfred Perlstein #endif 590efaa6588SAlfred Perlstein int 591c1250af6SRobert Watson ksem_unlink(struct thread *td, struct ksem_unlink_args *uap) 592efaa6588SAlfred Perlstein { 5936bc1e9cdSJohn Baldwin char *path; 5946bc1e9cdSJohn Baldwin Fnv32_t fnv; 595efaa6588SAlfred Perlstein int error; 596efaa6588SAlfred Perlstein 5976bc1e9cdSJohn Baldwin path = malloc(MAXPATHLEN, M_TEMP, M_WAITOK); 5986bc1e9cdSJohn Baldwin error = copyinstr(uap->name, path, MAXPATHLEN, NULL); 59952648411SRobert Watson if (error) { 6006bc1e9cdSJohn Baldwin free(path, M_TEMP); 60152648411SRobert Watson return (error); 60252648411SRobert Watson } 6036bc1e9cdSJohn Baldwin 6046bc1e9cdSJohn Baldwin fnv = fnv_32_str(path, FNV1_32_INIT); 6056bc1e9cdSJohn Baldwin sx_xlock(&ksem_dict_lock); 6066bc1e9cdSJohn Baldwin error = ksem_remove(path, fnv, td->td_ucred); 6076bc1e9cdSJohn Baldwin sx_xunlock(&ksem_dict_lock); 6086bc1e9cdSJohn Baldwin free(path, M_TEMP); 6096bc1e9cdSJohn Baldwin 610efaa6588SAlfred Perlstein return (error); 611efaa6588SAlfred Perlstein } 612efaa6588SAlfred Perlstein 613efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_ 614efaa6588SAlfred Perlstein struct ksem_close_args { 615efaa6588SAlfred Perlstein semid_t id; 616efaa6588SAlfred Perlstein }; 617efaa6588SAlfred Perlstein #endif 618efaa6588SAlfred Perlstein int 619efaa6588SAlfred Perlstein ksem_close(struct thread *td, struct ksem_close_args *uap) 620efaa6588SAlfred Perlstein { 621efaa6588SAlfred Perlstein struct ksem *ks; 6226bc1e9cdSJohn Baldwin struct file *fp; 623efaa6588SAlfred Perlstein int error; 624efaa6588SAlfred Perlstein 6256bc1e9cdSJohn Baldwin error = ksem_get(td, uap->id, &fp); 6266bc1e9cdSJohn Baldwin if (error) 6276bc1e9cdSJohn Baldwin return (error); 6286bc1e9cdSJohn Baldwin ks = fp->f_data; 6296bc1e9cdSJohn Baldwin if (ks->ks_flags & KS_ANONYMOUS) { 6306bc1e9cdSJohn Baldwin fdrop(fp, td); 6316bc1e9cdSJohn Baldwin return (EINVAL); 6326bc1e9cdSJohn Baldwin } 6336bc1e9cdSJohn Baldwin error = kern_close(td, uap->id); 6346bc1e9cdSJohn Baldwin fdrop(fp, td); 635b3890a1cSAlfred Perlstein return (error); 636efaa6588SAlfred Perlstein } 637efaa6588SAlfred Perlstein 638efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_ 639efaa6588SAlfred Perlstein struct ksem_post_args { 640efaa6588SAlfred Perlstein semid_t id; 641efaa6588SAlfred Perlstein }; 642efaa6588SAlfred Perlstein #endif 643efaa6588SAlfred Perlstein int 644c1250af6SRobert Watson ksem_post(struct thread *td, struct ksem_post_args *uap) 645efaa6588SAlfred Perlstein { 6466bc1e9cdSJohn Baldwin struct file *fp; 647efaa6588SAlfred Perlstein struct ksem *ks; 648efaa6588SAlfred Perlstein int error; 649efaa6588SAlfred Perlstein 6506bc1e9cdSJohn Baldwin error = ksem_get(td, uap->id, &fp); 6516bc1e9cdSJohn Baldwin if (error) 6526bc1e9cdSJohn Baldwin return (error); 6536bc1e9cdSJohn Baldwin ks = fp->f_data; 6546bc1e9cdSJohn Baldwin 655efaa6588SAlfred Perlstein mtx_lock(&sem_lock); 65652648411SRobert Watson #ifdef MAC 6576bc1e9cdSJohn Baldwin error = mac_posixsem_check_post(td->td_ucred, fp->f_cred, ks); 65852648411SRobert Watson if (error) 65952648411SRobert Watson goto err; 66052648411SRobert Watson #endif 661efaa6588SAlfred Perlstein if (ks->ks_value == SEM_VALUE_MAX) { 662efaa6588SAlfred Perlstein error = EOVERFLOW; 663efaa6588SAlfred Perlstein goto err; 664efaa6588SAlfred Perlstein } 665efaa6588SAlfred Perlstein ++ks->ks_value; 666efaa6588SAlfred Perlstein if (ks->ks_waiters > 0) 667efaa6588SAlfred Perlstein cv_signal(&ks->ks_cv); 668efaa6588SAlfred Perlstein error = 0; 6696bc1e9cdSJohn Baldwin vfs_timestamp(&ks->ks_ctime); 670efaa6588SAlfred Perlstein err: 671efaa6588SAlfred Perlstein mtx_unlock(&sem_lock); 6726bc1e9cdSJohn Baldwin fdrop(fp, td); 673efaa6588SAlfred Perlstein return (error); 674efaa6588SAlfred Perlstein } 675efaa6588SAlfred Perlstein 676efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_ 677efaa6588SAlfred Perlstein struct ksem_wait_args { 678efaa6588SAlfred Perlstein semid_t id; 679efaa6588SAlfred Perlstein }; 680efaa6588SAlfred Perlstein #endif 681efaa6588SAlfred Perlstein int 682c1250af6SRobert Watson ksem_wait(struct thread *td, struct ksem_wait_args *uap) 683efaa6588SAlfred Perlstein { 684efaa6588SAlfred Perlstein 685aae94fbbSDaniel Eischen return (kern_sem_wait(td, uap->id, 0, NULL)); 686aae94fbbSDaniel Eischen } 687aae94fbbSDaniel Eischen 688aae94fbbSDaniel Eischen #ifndef _SYS_SYSPROTO_H_ 689aae94fbbSDaniel Eischen struct ksem_timedwait_args { 690aae94fbbSDaniel Eischen semid_t id; 691d60e86c8SStefan Farfeleder const struct timespec *abstime; 692aae94fbbSDaniel Eischen }; 693aae94fbbSDaniel Eischen #endif 694aae94fbbSDaniel Eischen int 695c1250af6SRobert Watson ksem_timedwait(struct thread *td, struct ksem_timedwait_args *uap) 696aae94fbbSDaniel Eischen { 697aae94fbbSDaniel Eischen struct timespec abstime; 698aae94fbbSDaniel Eischen struct timespec *ts; 699aae94fbbSDaniel Eischen int error; 700aae94fbbSDaniel Eischen 7018e230e30SRobert Watson /* 7028e230e30SRobert Watson * We allow a null timespec (wait forever). 7038e230e30SRobert Watson */ 704aae94fbbSDaniel Eischen if (uap->abstime == NULL) 705aae94fbbSDaniel Eischen ts = NULL; 706aae94fbbSDaniel Eischen else { 707aae94fbbSDaniel Eischen error = copyin(uap->abstime, &abstime, sizeof(abstime)); 708aae94fbbSDaniel Eischen if (error != 0) 709aae94fbbSDaniel Eischen return (error); 710aae94fbbSDaniel Eischen if (abstime.tv_nsec >= 1000000000 || abstime.tv_nsec < 0) 711aae94fbbSDaniel Eischen return (EINVAL); 712aae94fbbSDaniel Eischen ts = &abstime; 713aae94fbbSDaniel Eischen } 714aae94fbbSDaniel Eischen return (kern_sem_wait(td, uap->id, 0, ts)); 715efaa6588SAlfred Perlstein } 716efaa6588SAlfred Perlstein 717efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_ 718efaa6588SAlfred Perlstein struct ksem_trywait_args { 719efaa6588SAlfred Perlstein semid_t id; 720efaa6588SAlfred Perlstein }; 721efaa6588SAlfred Perlstein #endif 722efaa6588SAlfred Perlstein int 723c1250af6SRobert Watson ksem_trywait(struct thread *td, struct ksem_trywait_args *uap) 724efaa6588SAlfred Perlstein { 725efaa6588SAlfred Perlstein 726aae94fbbSDaniel Eischen return (kern_sem_wait(td, uap->id, 1, NULL)); 727efaa6588SAlfred Perlstein } 728efaa6588SAlfred Perlstein 729c3053131SPoul-Henning Kamp static int 730c1250af6SRobert Watson kern_sem_wait(struct thread *td, semid_t id, int tryflag, 731c1250af6SRobert Watson struct timespec *abstime) 732efaa6588SAlfred Perlstein { 733aae94fbbSDaniel Eischen struct timespec ts1, ts2; 734aae94fbbSDaniel Eischen struct timeval tv; 7356bc1e9cdSJohn Baldwin struct file *fp; 736efaa6588SAlfred Perlstein struct ksem *ks; 737efaa6588SAlfred Perlstein int error; 738efaa6588SAlfred Perlstein 739b2966a5aSBruce M Simpson DP((">>> kern_sem_wait entered! pid=%d\n", (int)td->td_proc->p_pid)); 7406bc1e9cdSJohn Baldwin error = ksem_get(td, id, &fp); 7416bc1e9cdSJohn Baldwin if (error) 7426bc1e9cdSJohn Baldwin return (error); 7436bc1e9cdSJohn Baldwin ks = fp->f_data; 744efaa6588SAlfred Perlstein mtx_lock(&sem_lock); 745b2966a5aSBruce M Simpson DP((">>> kern_sem_wait critical section entered! pid=%d\n", 746b2966a5aSBruce M Simpson (int)td->td_proc->p_pid)); 74752648411SRobert Watson #ifdef MAC 7486bc1e9cdSJohn Baldwin error = mac_posixsem_check_wait(td->td_ucred, fp->f_cred, ks); 74952648411SRobert Watson if (error) { 75052648411SRobert Watson DP(("kern_sem_wait mac failed\n")); 75152648411SRobert Watson goto err; 75252648411SRobert Watson } 75352648411SRobert Watson #endif 754c814aa3fSAlfred Perlstein DP(("kern_sem_wait value = %d, tryflag %d\n", ks->ks_value, tryflag)); 7556bc1e9cdSJohn Baldwin vfs_timestamp(&ks->ks_atime); 75677d8bf9cSBruce M Simpson while (ks->ks_value == 0) { 757efaa6588SAlfred Perlstein ks->ks_waiters++; 758aae94fbbSDaniel Eischen if (tryflag != 0) 759aae94fbbSDaniel Eischen error = EAGAIN; 760aae94fbbSDaniel Eischen else if (abstime == NULL) 761aae94fbbSDaniel Eischen error = cv_wait_sig(&ks->ks_cv, &sem_lock); 762aae94fbbSDaniel Eischen else { 763aae94fbbSDaniel Eischen for (;;) { 764aae94fbbSDaniel Eischen ts1 = *abstime; 765aae94fbbSDaniel Eischen getnanotime(&ts2); 766aae94fbbSDaniel Eischen timespecsub(&ts1, &ts2); 767aae94fbbSDaniel Eischen TIMESPEC_TO_TIMEVAL(&tv, &ts1); 768aae94fbbSDaniel Eischen if (tv.tv_sec < 0) { 769aae94fbbSDaniel Eischen error = ETIMEDOUT; 770aae94fbbSDaniel Eischen break; 771aae94fbbSDaniel Eischen } 772aae94fbbSDaniel Eischen error = cv_timedwait_sig(&ks->ks_cv, 773aae94fbbSDaniel Eischen &sem_lock, tvtohz(&tv)); 774aae94fbbSDaniel Eischen if (error != EWOULDBLOCK) 775aae94fbbSDaniel Eischen break; 776aae94fbbSDaniel Eischen } 777aae94fbbSDaniel Eischen } 778efaa6588SAlfred Perlstein ks->ks_waiters--; 779efaa6588SAlfred Perlstein if (error) 780efaa6588SAlfred Perlstein goto err; 781efaa6588SAlfred Perlstein } 782efaa6588SAlfred Perlstein ks->ks_value--; 783b2966a5aSBruce M Simpson DP(("kern_sem_wait value post-decrement = %d\n", ks->ks_value)); 784efaa6588SAlfred Perlstein error = 0; 785efaa6588SAlfred Perlstein err: 786efaa6588SAlfred Perlstein mtx_unlock(&sem_lock); 7876bc1e9cdSJohn Baldwin fdrop(fp, td); 788b2966a5aSBruce M Simpson DP(("<<< kern_sem_wait leaving, pid=%d, error = %d\n", 789b2966a5aSBruce M Simpson (int)td->td_proc->p_pid, error)); 790efaa6588SAlfred Perlstein return (error); 791efaa6588SAlfred Perlstein } 792efaa6588SAlfred Perlstein 793efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_ 794efaa6588SAlfred Perlstein struct ksem_getvalue_args { 795efaa6588SAlfred Perlstein semid_t id; 796efaa6588SAlfred Perlstein int *val; 797efaa6588SAlfred Perlstein }; 798efaa6588SAlfred Perlstein #endif 799efaa6588SAlfred Perlstein int 800c1250af6SRobert Watson ksem_getvalue(struct thread *td, struct ksem_getvalue_args *uap) 801efaa6588SAlfred Perlstein { 8026bc1e9cdSJohn Baldwin struct file *fp; 803efaa6588SAlfred Perlstein struct ksem *ks; 804efaa6588SAlfred Perlstein int error, val; 805efaa6588SAlfred Perlstein 8066bc1e9cdSJohn Baldwin error = ksem_get(td, uap->id, &fp); 8076bc1e9cdSJohn Baldwin if (error) 8086bc1e9cdSJohn Baldwin return (error); 8096bc1e9cdSJohn Baldwin ks = fp->f_data; 8106bc1e9cdSJohn Baldwin 811efaa6588SAlfred Perlstein mtx_lock(&sem_lock); 81252648411SRobert Watson #ifdef MAC 8136bc1e9cdSJohn Baldwin error = mac_posixsem_check_getvalue(td->td_ucred, fp->f_cred, ks); 81452648411SRobert Watson if (error) { 81552648411SRobert Watson mtx_unlock(&sem_lock); 8166bc1e9cdSJohn Baldwin fdrop(fp, td); 81752648411SRobert Watson return (error); 81852648411SRobert Watson } 81952648411SRobert Watson #endif 820efaa6588SAlfred Perlstein val = ks->ks_value; 8216bc1e9cdSJohn Baldwin vfs_timestamp(&ks->ks_atime); 822efaa6588SAlfred Perlstein mtx_unlock(&sem_lock); 8236bc1e9cdSJohn Baldwin fdrop(fp, td); 824efaa6588SAlfred Perlstein error = copyout(&val, uap->val, sizeof(val)); 825efaa6588SAlfred Perlstein return (error); 826efaa6588SAlfred Perlstein } 827efaa6588SAlfred Perlstein 828efaa6588SAlfred Perlstein #ifndef _SYS_SYSPROTO_H_ 829efaa6588SAlfred Perlstein struct ksem_destroy_args { 830efaa6588SAlfred Perlstein semid_t id; 831efaa6588SAlfred Perlstein }; 832efaa6588SAlfred Perlstein #endif 833efaa6588SAlfred Perlstein int 834c1250af6SRobert Watson ksem_destroy(struct thread *td, struct ksem_destroy_args *uap) 835efaa6588SAlfred Perlstein { 8366bc1e9cdSJohn Baldwin struct file *fp; 837efaa6588SAlfred Perlstein struct ksem *ks; 838efaa6588SAlfred Perlstein int error; 839efaa6588SAlfred Perlstein 8406bc1e9cdSJohn Baldwin error = ksem_get(td, uap->id, &fp); 8416bc1e9cdSJohn Baldwin if (error) 8426bc1e9cdSJohn Baldwin return (error); 8436bc1e9cdSJohn Baldwin ks = fp->f_data; 8446bc1e9cdSJohn Baldwin if (!(ks->ks_flags & KS_ANONYMOUS)) { 8456bc1e9cdSJohn Baldwin fdrop(fp, td); 8466bc1e9cdSJohn Baldwin return (EINVAL); 847efaa6588SAlfred Perlstein } 8486bc1e9cdSJohn Baldwin mtx_lock(&sem_lock); 849efaa6588SAlfred Perlstein if (ks->ks_waiters != 0) { 8506bc1e9cdSJohn Baldwin mtx_unlock(&sem_lock); 851efaa6588SAlfred Perlstein error = EBUSY; 852efaa6588SAlfred Perlstein goto err; 853efaa6588SAlfred Perlstein } 8546bc1e9cdSJohn Baldwin ks->ks_flags |= KS_DEAD; 855efaa6588SAlfred Perlstein mtx_unlock(&sem_lock); 8566bc1e9cdSJohn Baldwin 8576bc1e9cdSJohn Baldwin error = kern_close(td, uap->id); 8586bc1e9cdSJohn Baldwin err: 8596bc1e9cdSJohn Baldwin fdrop(fp, td); 860efaa6588SAlfred Perlstein return (error); 861efaa6588SAlfred Perlstein } 862efaa6588SAlfred Perlstein 8630e5d5bc2SKonstantin Belousov static struct syscall_helper_data ksem_syscalls[] = { 8640e5d5bc2SKonstantin Belousov SYSCALL_INIT_HELPER(ksem_init), 8650e5d5bc2SKonstantin Belousov SYSCALL_INIT_HELPER(ksem_open), 8660e5d5bc2SKonstantin Belousov SYSCALL_INIT_HELPER(ksem_unlink), 8670e5d5bc2SKonstantin Belousov SYSCALL_INIT_HELPER(ksem_close), 8680e5d5bc2SKonstantin Belousov SYSCALL_INIT_HELPER(ksem_post), 8690e5d5bc2SKonstantin Belousov SYSCALL_INIT_HELPER(ksem_wait), 8700e5d5bc2SKonstantin Belousov SYSCALL_INIT_HELPER(ksem_timedwait), 8710e5d5bc2SKonstantin Belousov SYSCALL_INIT_HELPER(ksem_trywait), 8720e5d5bc2SKonstantin Belousov SYSCALL_INIT_HELPER(ksem_getvalue), 8730e5d5bc2SKonstantin Belousov SYSCALL_INIT_HELPER(ksem_destroy), 8740e5d5bc2SKonstantin Belousov SYSCALL_INIT_LAST 8750e5d5bc2SKonstantin Belousov }; 8766bc1e9cdSJohn Baldwin 8770e5d5bc2SKonstantin Belousov #ifdef COMPAT_FREEBSD32 8780e5d5bc2SKonstantin Belousov #include <compat/freebsd32/freebsd32.h> 8790e5d5bc2SKonstantin Belousov #include <compat/freebsd32/freebsd32_proto.h> 8800e5d5bc2SKonstantin Belousov #include <compat/freebsd32/freebsd32_signal.h> 8810e5d5bc2SKonstantin Belousov #include <compat/freebsd32/freebsd32_syscall.h> 8820e5d5bc2SKonstantin Belousov #include <compat/freebsd32/freebsd32_util.h> 8836bc1e9cdSJohn Baldwin 8840e5d5bc2SKonstantin Belousov int 8850e5d5bc2SKonstantin Belousov freebsd32_ksem_init(struct thread *td, struct freebsd32_ksem_init_args *uap) 8860e5d5bc2SKonstantin Belousov { 8876bc1e9cdSJohn Baldwin 8880e5d5bc2SKonstantin Belousov return (ksem_create(td, NULL, uap->idp, S_IRWXU | S_IRWXG, uap->value, 8890e5d5bc2SKonstantin Belousov 0, 1)); 8900e5d5bc2SKonstantin Belousov } 8910e5d5bc2SKonstantin Belousov 8920e5d5bc2SKonstantin Belousov int 8930e5d5bc2SKonstantin Belousov freebsd32_ksem_open(struct thread *td, struct freebsd32_ksem_open_args *uap) 8940e5d5bc2SKonstantin Belousov { 8950e5d5bc2SKonstantin Belousov 8960e5d5bc2SKonstantin Belousov if ((uap->oflag & ~(O_CREAT | O_EXCL)) != 0) 8970e5d5bc2SKonstantin Belousov return (EINVAL); 8980e5d5bc2SKonstantin Belousov return (ksem_create(td, uap->name, uap->idp, uap->mode, uap->value, 8990e5d5bc2SKonstantin Belousov uap->oflag, 1)); 9000e5d5bc2SKonstantin Belousov } 9010e5d5bc2SKonstantin Belousov 9020e5d5bc2SKonstantin Belousov int 9030e5d5bc2SKonstantin Belousov freebsd32_ksem_timedwait(struct thread *td, 9040e5d5bc2SKonstantin Belousov struct freebsd32_ksem_timedwait_args *uap) 9050e5d5bc2SKonstantin Belousov { 9060e5d5bc2SKonstantin Belousov struct timespec32 abstime32; 9070e5d5bc2SKonstantin Belousov struct timespec *ts, abstime; 9080e5d5bc2SKonstantin Belousov int error; 9090e5d5bc2SKonstantin Belousov 9100e5d5bc2SKonstantin Belousov /* 9110e5d5bc2SKonstantin Belousov * We allow a null timespec (wait forever). 9120e5d5bc2SKonstantin Belousov */ 9130e5d5bc2SKonstantin Belousov if (uap->abstime == NULL) 9140e5d5bc2SKonstantin Belousov ts = NULL; 9150e5d5bc2SKonstantin Belousov else { 9160e5d5bc2SKonstantin Belousov error = copyin(uap->abstime, &abstime32, sizeof(abstime32)); 9170e5d5bc2SKonstantin Belousov if (error != 0) 9180e5d5bc2SKonstantin Belousov return (error); 9190e5d5bc2SKonstantin Belousov CP(abstime32, abstime, tv_sec); 9200e5d5bc2SKonstantin Belousov CP(abstime32, abstime, tv_nsec); 9210e5d5bc2SKonstantin Belousov if (abstime.tv_nsec >= 1000000000 || abstime.tv_nsec < 0) 9220e5d5bc2SKonstantin Belousov return (EINVAL); 9230e5d5bc2SKonstantin Belousov ts = &abstime; 9240e5d5bc2SKonstantin Belousov } 9250e5d5bc2SKonstantin Belousov return (kern_sem_wait(td, uap->id, 0, ts)); 9260e5d5bc2SKonstantin Belousov } 9270e5d5bc2SKonstantin Belousov 9280e5d5bc2SKonstantin Belousov static struct syscall_helper_data ksem32_syscalls[] = { 9290e5d5bc2SKonstantin Belousov SYSCALL32_INIT_HELPER(freebsd32_ksem_init), 9300e5d5bc2SKonstantin Belousov SYSCALL32_INIT_HELPER(freebsd32_ksem_open), 9310e5d5bc2SKonstantin Belousov SYSCALL32_INIT_HELPER(ksem_unlink), 9320e5d5bc2SKonstantin Belousov SYSCALL32_INIT_HELPER(ksem_close), 9330e5d5bc2SKonstantin Belousov SYSCALL32_INIT_HELPER(ksem_post), 9340e5d5bc2SKonstantin Belousov SYSCALL32_INIT_HELPER(ksem_wait), 9350e5d5bc2SKonstantin Belousov SYSCALL32_INIT_HELPER(freebsd32_ksem_timedwait), 9360e5d5bc2SKonstantin Belousov SYSCALL32_INIT_HELPER(ksem_trywait), 9370e5d5bc2SKonstantin Belousov SYSCALL32_INIT_HELPER(ksem_getvalue), 9380e5d5bc2SKonstantin Belousov SYSCALL32_INIT_HELPER(ksem_destroy), 9390e5d5bc2SKonstantin Belousov SYSCALL_INIT_LAST 9400e5d5bc2SKonstantin Belousov }; 9410e5d5bc2SKonstantin Belousov #endif 9426bc1e9cdSJohn Baldwin 943590f242cSRobert Watson static int 9446bc1e9cdSJohn Baldwin ksem_module_init(void) 945590f242cSRobert Watson { 9466bc1e9cdSJohn Baldwin int error; 947590f242cSRobert Watson 9486bc1e9cdSJohn Baldwin mtx_init(&sem_lock, "sem", NULL, MTX_DEF); 9496bc1e9cdSJohn Baldwin mtx_init(&ksem_count_lock, "ksem count", NULL, MTX_DEF); 9506bc1e9cdSJohn Baldwin sx_init(&ksem_dict_lock, "ksem dictionary"); 9516bc1e9cdSJohn Baldwin ksem_dictionary = hashinit(1024, M_KSEM, &ksem_hash); 9526bc1e9cdSJohn Baldwin p31b_setcfg(CTL_P1003_1B_SEM_NSEMS_MAX, SEM_MAX); 9536bc1e9cdSJohn Baldwin p31b_setcfg(CTL_P1003_1B_SEM_VALUE_MAX, SEM_VALUE_MAX); 954590f242cSRobert Watson 9550e5d5bc2SKonstantin Belousov error = syscall_helper_register(ksem_syscalls); 9560e5d5bc2SKonstantin Belousov if (error) 9570e5d5bc2SKonstantin Belousov return (error); 9580e5d5bc2SKonstantin Belousov #ifdef COMPAT_FREEBSD32 9590e5d5bc2SKonstantin Belousov error = syscall32_helper_register(ksem32_syscalls); 9600e5d5bc2SKonstantin Belousov if (error) 9610e5d5bc2SKonstantin Belousov return (error); 9620e5d5bc2SKonstantin Belousov #endif 9636bc1e9cdSJohn Baldwin return (0); 964590f242cSRobert Watson } 965590f242cSRobert Watson 966c3053131SPoul-Henning Kamp static void 9676bc1e9cdSJohn Baldwin ksem_module_destroy(void) 968993182e5SAlexander Leidinger { 969993182e5SAlexander Leidinger 9700e5d5bc2SKonstantin Belousov #ifdef COMPAT_FREEBSD32 9710e5d5bc2SKonstantin Belousov syscall32_helper_unregister(ksem32_syscalls); 9720e5d5bc2SKonstantin Belousov #endif 9730e5d5bc2SKonstantin Belousov syscall_helper_unregister(ksem_syscalls); 974efaa6588SAlfred Perlstein 9756bc1e9cdSJohn Baldwin hashdestroy(ksem_dictionary, M_KSEM, ksem_hash); 9766bc1e9cdSJohn Baldwin sx_destroy(&ksem_dict_lock); 9776bc1e9cdSJohn Baldwin mtx_destroy(&ksem_count_lock); 9786bc1e9cdSJohn Baldwin mtx_destroy(&sem_lock); 979efaa6588SAlfred Perlstein } 980efaa6588SAlfred Perlstein 981efaa6588SAlfred Perlstein static int 982efaa6588SAlfred Perlstein sem_modload(struct module *module, int cmd, void *arg) 983efaa6588SAlfred Perlstein { 984efaa6588SAlfred Perlstein int error = 0; 985efaa6588SAlfred Perlstein 986efaa6588SAlfred Perlstein switch (cmd) { 987efaa6588SAlfred Perlstein case MOD_LOAD: 9886bc1e9cdSJohn Baldwin error = ksem_module_init(); 9896bc1e9cdSJohn Baldwin if (error) 9906bc1e9cdSJohn Baldwin ksem_module_destroy(); 991efaa6588SAlfred Perlstein break; 9928e230e30SRobert Watson 993efaa6588SAlfred Perlstein case MOD_UNLOAD: 9946bc1e9cdSJohn Baldwin mtx_lock(&ksem_count_lock); 995efaa6588SAlfred Perlstein if (nsems != 0) { 996efaa6588SAlfred Perlstein error = EOPNOTSUPP; 9976bc1e9cdSJohn Baldwin mtx_unlock(&ksem_count_lock); 998efaa6588SAlfred Perlstein break; 999efaa6588SAlfred Perlstein } 10006bc1e9cdSJohn Baldwin ksem_dead = 1; 10016bc1e9cdSJohn Baldwin mtx_unlock(&ksem_count_lock); 10026bc1e9cdSJohn Baldwin ksem_module_destroy(); 1003efaa6588SAlfred Perlstein break; 10048e230e30SRobert Watson 1005efaa6588SAlfred Perlstein case MOD_SHUTDOWN: 1006efaa6588SAlfred Perlstein break; 1007efaa6588SAlfred Perlstein default: 1008efaa6588SAlfred Perlstein error = EINVAL; 1009efaa6588SAlfred Perlstein break; 1010efaa6588SAlfred Perlstein } 1011efaa6588SAlfred Perlstein return (error); 1012efaa6588SAlfred Perlstein } 1013efaa6588SAlfred Perlstein 1014efaa6588SAlfred Perlstein static moduledata_t sem_mod = { 1015efaa6588SAlfred Perlstein "sem", 1016efaa6588SAlfred Perlstein &sem_modload, 1017efaa6588SAlfred Perlstein NULL 1018efaa6588SAlfred Perlstein }; 1019efaa6588SAlfred Perlstein 1020efaa6588SAlfred Perlstein DECLARE_MODULE(sem, sem_mod, SI_SUB_SYSV_SEM, SI_ORDER_FIRST); 1021efaa6588SAlfred Perlstein MODULE_VERSION(sem, 1); 1022