2002-09-18 22:47:42 +00:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2002 Alfred Perlstein <alfred@FreeBSD.org>
|
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions
|
|
|
|
* are met:
|
|
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer.
|
|
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
|
|
* documentation and/or other materials provided with the distribution.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
|
|
|
|
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
|
|
|
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
|
|
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
|
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
|
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
|
|
* SUCH DAMAGE.
|
|
|
|
*
|
|
|
|
* $FreeBSD$
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "opt_posix.h"
|
|
|
|
|
|
|
|
#include <sys/param.h>
|
|
|
|
#include <sys/systm.h>
|
|
|
|
#include <sys/sysproto.h>
|
2003-03-24 21:15:35 +00:00
|
|
|
#include <sys/eventhandler.h>
|
2002-09-18 22:47:42 +00:00
|
|
|
#include <sys/kernel.h>
|
|
|
|
#include <sys/proc.h>
|
|
|
|
#include <sys/lock.h>
|
|
|
|
#include <sys/mutex.h>
|
|
|
|
#include <sys/condvar.h>
|
|
|
|
#include <sys/sem.h>
|
|
|
|
#include <sys/uio.h>
|
|
|
|
#include <sys/syscall.h>
|
|
|
|
#include <sys/stat.h>
|
|
|
|
#include <sys/sysent.h>
|
|
|
|
#include <sys/sysctl.h>
|
|
|
|
#include <sys/malloc.h>
|
|
|
|
#include <sys/jail.h>
|
|
|
|
#include <sys/fcntl.h>
|
|
|
|
|
|
|
|
#include <posix4/posix4.h>
|
|
|
|
#include <posix4/semaphore.h>
|
|
|
|
#include <posix4/_semaphore.h>
|
|
|
|
|
|
|
|
static struct ksem *sem_lookup_byname(const char *name);
|
|
|
|
static int sem_create(struct thread *td, const char *name,
|
|
|
|
struct ksem **ksret, mode_t mode, unsigned int value);
|
|
|
|
static void sem_free(struct ksem *ksnew);
|
2003-03-20 21:12:31 +00:00
|
|
|
static int sem_perm(struct thread *td, struct ksem *ks);
|
2002-09-18 22:47:42 +00:00
|
|
|
static void sem_enter(struct proc *p, struct ksem *ks);
|
|
|
|
static int sem_leave(struct proc *p, struct ksem *ks);
|
2003-03-24 21:15:35 +00:00
|
|
|
static void sem_exithook(void *arg, struct proc *p);
|
2003-03-20 21:12:31 +00:00
|
|
|
static int sem_hasopen(struct thread *td, struct ksem *ks);
|
2002-09-18 22:47:42 +00:00
|
|
|
|
|
|
|
static int kern_sem_close(struct thread *td, semid_t id);
|
|
|
|
static int kern_sem_post(struct thread *td, semid_t id);
|
|
|
|
static int kern_sem_wait(struct thread *td, semid_t id, int tryflag);
|
|
|
|
static int kern_sem_init(struct thread *td, int dir, unsigned int value,
|
|
|
|
semid_t *idp);
|
|
|
|
static int kern_sem_open(struct thread *td, int dir, const char *name,
|
|
|
|
int oflag, mode_t mode, unsigned int value, semid_t *idp);
|
|
|
|
static int kern_sem_unlink(struct thread *td, const char *name);
|
|
|
|
|
|
|
|
#ifndef SEM_MAX
|
|
|
|
#define SEM_MAX 30
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#define SEM_MAX_NAMELEN 14
|
|
|
|
|
|
|
|
#define SEM_TO_ID(x) ((intptr_t)(x))
|
|
|
|
#define ID_TO_SEM(x) id_to_sem(x)
|
|
|
|
|
|
|
|
struct kuser {
|
|
|
|
pid_t ku_pid;
|
|
|
|
LIST_ENTRY(kuser) ku_next;
|
|
|
|
};
|
|
|
|
|
|
|
|
struct ksem {
|
|
|
|
LIST_ENTRY(ksem) ks_entry; /* global list entry */
|
|
|
|
int ks_onlist; /* boolean if on a list (ks_entry) */
|
|
|
|
char *ks_name; /* if named, this is the name */
|
|
|
|
int ks_ref; /* number of references */
|
|
|
|
mode_t ks_mode; /* protection bits */
|
|
|
|
uid_t ks_uid; /* creator uid */
|
|
|
|
gid_t ks_gid; /* creator gid */
|
|
|
|
unsigned int ks_value; /* current value */
|
|
|
|
struct cv ks_cv; /* waiters sleep here */
|
|
|
|
int ks_waiters; /* number of waiters */
|
|
|
|
LIST_HEAD(, kuser) ks_users; /* pids using this sem */
|
|
|
|
};
|
|
|
|
|
|
|
|
/*
|
|
|
|
* available semaphores go here, this includes sem_init and any semaphores
|
|
|
|
* created via sem_open that have not yet been unlinked.
|
|
|
|
*/
|
|
|
|
LIST_HEAD(, ksem) ksem_head = LIST_HEAD_INITIALIZER(&ksem_head);
|
|
|
|
/*
|
|
|
|
* semaphores still in use but have been sem_unlink()'d go here.
|
|
|
|
*/
|
|
|
|
LIST_HEAD(, ksem) ksem_deadhead = LIST_HEAD_INITIALIZER(&ksem_deadhead);
|
|
|
|
|
|
|
|
static struct mtx sem_lock;
|
|
|
|
static MALLOC_DEFINE(M_SEM, "sems", "semaphore data");
|
|
|
|
|
|
|
|
static int nsems = 0;
|
|
|
|
SYSCTL_DECL(_p1003_1b);
|
|
|
|
SYSCTL_INT(_p1003_1b, OID_AUTO, nsems, CTLFLAG_RD, &nsems, 0, "");
|
|
|
|
|
2003-03-24 21:15:35 +00:00
|
|
|
static eventhandler_tag sem_exit_tag, sem_exec_tag;
|
|
|
|
|
2002-10-07 04:13:21 +00:00
|
|
|
#ifdef SEM_DEBUG
|
|
|
|
#define DP(x) printf x
|
|
|
|
#else
|
|
|
|
#define DP(x)
|
|
|
|
#endif
|
|
|
|
|
2002-09-18 22:47:42 +00:00
|
|
|
static __inline
|
|
|
|
void
|
|
|
|
sem_ref(struct ksem *ks)
|
|
|
|
{
|
|
|
|
|
|
|
|
ks->ks_ref++;
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("sem_ref: ks = %p, ref = %d\n", ks, ks->ks_ref));
|
2002-09-18 22:47:42 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
static __inline
|
|
|
|
void
|
|
|
|
sem_rel(struct ksem *ks)
|
|
|
|
{
|
|
|
|
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("sem_rel: ks = %p, ref = %d\n", ks, ks->ks_ref - 1));
|
2002-09-18 22:47:42 +00:00
|
|
|
if (--ks->ks_ref == 0)
|
|
|
|
sem_free(ks);
|
|
|
|
}
|
|
|
|
|
|
|
|
static __inline struct ksem *id_to_sem(semid_t id);
|
|
|
|
|
|
|
|
static __inline
|
|
|
|
struct ksem *
|
|
|
|
id_to_sem(id)
|
|
|
|
semid_t id;
|
|
|
|
{
|
|
|
|
struct ksem *ks;
|
|
|
|
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("id_to_sem: id = %0x,%p\n", id, (struct ksem *)id));
|
2002-09-18 22:47:42 +00:00
|
|
|
LIST_FOREACH(ks, &ksem_head, ks_entry) {
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("id_to_sem: ks = %p\n", ks));
|
2002-09-18 22:47:42 +00:00
|
|
|
if (ks == (struct ksem *)id)
|
|
|
|
return (ks);
|
|
|
|
}
|
|
|
|
return (NULL);
|
|
|
|
}
|
|
|
|
|
2002-10-16 10:42:13 +00:00
|
|
|
static struct ksem *
|
2002-09-18 22:47:42 +00:00
|
|
|
sem_lookup_byname(name)
|
|
|
|
const char *name;
|
|
|
|
{
|
|
|
|
struct ksem *ks;
|
|
|
|
|
|
|
|
LIST_FOREACH(ks, &ksem_head, ks_entry)
|
|
|
|
if (ks->ks_name != NULL && strcmp(ks->ks_name, name) == 0)
|
|
|
|
return (ks);
|
|
|
|
return (NULL);
|
|
|
|
}
|
|
|
|
|
2002-10-16 10:42:13 +00:00
|
|
|
static int
|
2002-09-18 22:47:42 +00:00
|
|
|
sem_create(td, name, ksret, mode, value)
|
|
|
|
struct thread *td;
|
|
|
|
const char *name;
|
|
|
|
struct ksem **ksret;
|
|
|
|
mode_t mode;
|
|
|
|
unsigned int value;
|
|
|
|
{
|
|
|
|
struct ksem *ret;
|
|
|
|
struct proc *p;
|
|
|
|
struct ucred *uc;
|
|
|
|
size_t len;
|
|
|
|
int error;
|
|
|
|
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("sem_create\n"));
|
2002-09-18 22:47:42 +00:00
|
|
|
p = td->td_proc;
|
2003-03-20 21:12:31 +00:00
|
|
|
uc = td->td_ucred;
|
2002-09-18 22:47:42 +00:00
|
|
|
if (value > SEM_VALUE_MAX)
|
|
|
|
return (EINVAL);
|
2003-02-19 05:47:46 +00:00
|
|
|
ret = malloc(sizeof(*ret), M_SEM, M_WAITOK | M_ZERO);
|
2002-09-18 22:47:42 +00:00
|
|
|
if (name != NULL) {
|
|
|
|
len = strlen(name);
|
|
|
|
if (len > SEM_MAX_NAMELEN) {
|
|
|
|
free(ret, M_SEM);
|
|
|
|
return (ENAMETOOLONG);
|
|
|
|
}
|
|
|
|
/* name must start with a '/' but not contain one. */
|
|
|
|
if (*name != '/' || len < 2 || index(name + 1, '/') != NULL) {
|
|
|
|
free(ret, M_SEM);
|
|
|
|
return (EINVAL);
|
|
|
|
}
|
2003-02-19 05:47:46 +00:00
|
|
|
ret->ks_name = malloc(len + 1, M_SEM, M_WAITOK);
|
2002-09-18 22:47:42 +00:00
|
|
|
strcpy(ret->ks_name, name);
|
|
|
|
} else {
|
|
|
|
ret->ks_name = NULL;
|
|
|
|
}
|
|
|
|
ret->ks_mode = mode;
|
|
|
|
ret->ks_value = value;
|
|
|
|
ret->ks_ref = 1;
|
|
|
|
ret->ks_waiters = 0;
|
|
|
|
ret->ks_uid = uc->cr_uid;
|
|
|
|
ret->ks_gid = uc->cr_gid;
|
|
|
|
ret->ks_onlist = 0;
|
|
|
|
cv_init(&ret->ks_cv, "sem");
|
|
|
|
LIST_INIT(&ret->ks_users);
|
|
|
|
if (name != NULL)
|
|
|
|
sem_enter(td->td_proc, ret);
|
|
|
|
*ksret = ret;
|
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
if (nsems >= p31b_getcfg(CTL_P1003_1B_SEM_NSEMS_MAX)) {
|
|
|
|
sem_leave(td->td_proc, ret);
|
|
|
|
sem_free(ret);
|
|
|
|
error = ENFILE;
|
|
|
|
} else {
|
|
|
|
nsems++;
|
|
|
|
error = 0;
|
|
|
|
}
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifndef _SYS_SYSPROTO_H_
|
|
|
|
struct ksem_init_args {
|
|
|
|
unsigned int value;
|
|
|
|
semid_t *idp;
|
|
|
|
};
|
|
|
|
int ksem_init(struct thread *td, struct ksem_init_args *uap);
|
|
|
|
#endif
|
|
|
|
int
|
|
|
|
ksem_init(td, uap)
|
|
|
|
struct thread *td;
|
|
|
|
struct ksem_init_args *uap;
|
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
|
|
|
error = kern_sem_init(td, UIO_USERSPACE, uap->value, uap->idp);
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int
|
|
|
|
kern_sem_init(td, dir, value, idp)
|
|
|
|
struct thread *td;
|
|
|
|
int dir;
|
|
|
|
unsigned int value;
|
|
|
|
semid_t *idp;
|
|
|
|
{
|
|
|
|
struct ksem *ks;
|
|
|
|
semid_t id;
|
|
|
|
int error;
|
|
|
|
|
|
|
|
error = sem_create(td, NULL, &ks, S_IRWXU | S_IRWXG, value);
|
|
|
|
if (error)
|
|
|
|
return (error);
|
|
|
|
id = SEM_TO_ID(ks);
|
|
|
|
if (dir == UIO_USERSPACE) {
|
|
|
|
error = copyout(&id, idp, sizeof(id));
|
|
|
|
if (error) {
|
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
sem_rel(ks);
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
*idp = id;
|
|
|
|
}
|
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
LIST_INSERT_HEAD(&ksem_head, ks, ks_entry);
|
|
|
|
ks->ks_onlist = 1;
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifndef _SYS_SYSPROTO_H_
|
|
|
|
struct ksem_open_args {
|
|
|
|
char *name;
|
|
|
|
int oflag;
|
|
|
|
mode_t mode;
|
|
|
|
unsigned int value;
|
|
|
|
semid_t *idp;
|
|
|
|
};
|
|
|
|
int ksem_open(struct thread *td, struct ksem_open_args *uap);
|
|
|
|
#endif
|
|
|
|
int
|
|
|
|
ksem_open(td, uap)
|
|
|
|
struct thread *td;
|
|
|
|
struct ksem_open_args *uap;
|
|
|
|
{
|
|
|
|
char name[SEM_MAX_NAMELEN + 1];
|
|
|
|
size_t done;
|
|
|
|
int error;
|
|
|
|
|
|
|
|
error = copyinstr(uap->name, name, SEM_MAX_NAMELEN + 1, &done);
|
|
|
|
if (error)
|
|
|
|
return (error);
|
2002-10-07 04:13:21 +00:00
|
|
|
DP((">>> sem_open start\n"));
|
2002-09-18 22:47:42 +00:00
|
|
|
error = kern_sem_open(td, UIO_USERSPACE,
|
|
|
|
name, uap->oflag, uap->mode, uap->value, uap->idp);
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("<<< sem_open end\n"));
|
2002-09-18 22:47:42 +00:00
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int
|
|
|
|
kern_sem_open(td, dir, name, oflag, mode, value, idp)
|
|
|
|
struct thread *td;
|
|
|
|
int dir;
|
|
|
|
const char *name;
|
|
|
|
int oflag;
|
|
|
|
mode_t mode;
|
|
|
|
unsigned int value;
|
|
|
|
semid_t *idp;
|
|
|
|
{
|
|
|
|
struct ksem *ksnew, *ks;
|
|
|
|
int error;
|
|
|
|
semid_t id;
|
|
|
|
|
|
|
|
ksnew = NULL;
|
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
ks = sem_lookup_byname(name);
|
|
|
|
/*
|
|
|
|
* If we found it but O_EXCL is set, error.
|
|
|
|
*/
|
|
|
|
if (ks != NULL && (oflag & O_EXCL) != 0) {
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
return (EEXIST);
|
|
|
|
}
|
|
|
|
/*
|
|
|
|
* If we didn't find it...
|
|
|
|
*/
|
|
|
|
if (ks == NULL) {
|
|
|
|
/*
|
|
|
|
* didn't ask for creation? error.
|
|
|
|
*/
|
|
|
|
if ((oflag & O_CREAT) == 0) {
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
return (ENOENT);
|
|
|
|
}
|
|
|
|
/*
|
|
|
|
* We may block during creation, so drop the lock.
|
|
|
|
*/
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
error = sem_create(td, name, &ksnew, mode, value);
|
|
|
|
if (error != 0)
|
|
|
|
return (error);
|
|
|
|
id = SEM_TO_ID(ksnew);
|
|
|
|
if (dir == UIO_USERSPACE) {
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("about to copyout! %d to %p\n", id, idp));
|
2002-09-18 22:47:42 +00:00
|
|
|
error = copyout(&id, idp, sizeof(id));
|
|
|
|
if (error) {
|
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
sem_leave(td->td_proc, ksnew);
|
|
|
|
sem_rel(ksnew);
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
} else {
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("about to set! %d to %p\n", id, idp));
|
2002-09-18 22:47:42 +00:00
|
|
|
*idp = id;
|
|
|
|
}
|
|
|
|
/*
|
|
|
|
* We need to make sure we haven't lost a race while
|
|
|
|
* allocating during creation.
|
|
|
|
*/
|
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
ks = sem_lookup_byname(name);
|
|
|
|
if (ks != NULL) {
|
|
|
|
/* we lost... */
|
|
|
|
sem_leave(td->td_proc, ksnew);
|
|
|
|
sem_rel(ksnew);
|
|
|
|
/* we lost and we can't loose... */
|
|
|
|
if ((oflag & O_EXCL) != 0) {
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
return (EEXIST);
|
|
|
|
}
|
|
|
|
} else {
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("sem_create: about to add to list...\n"));
|
2002-09-18 22:47:42 +00:00
|
|
|
LIST_INSERT_HEAD(&ksem_head, ksnew, ks_entry);
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("sem_create: setting list bit...\n"));
|
2002-09-18 22:47:42 +00:00
|
|
|
ksnew->ks_onlist = 1;
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("sem_create: done, about to unlock...\n"));
|
2002-09-18 22:47:42 +00:00
|
|
|
}
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
} else {
|
|
|
|
/*
|
|
|
|
* if we aren't the creator, then enforce permissions.
|
|
|
|
*/
|
2003-03-20 21:12:31 +00:00
|
|
|
error = sem_perm(td, ks);
|
2002-09-18 22:47:42 +00:00
|
|
|
if (!error)
|
|
|
|
sem_ref(ks);
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
if (error)
|
|
|
|
return (error);
|
|
|
|
id = SEM_TO_ID(ks);
|
|
|
|
if (dir == UIO_USERSPACE) {
|
|
|
|
error = copyout(&id, idp, sizeof(id));
|
|
|
|
if (error) {
|
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
sem_rel(ks);
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
*idp = id;
|
|
|
|
}
|
|
|
|
sem_enter(td->td_proc, ks);
|
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
sem_rel(ks);
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
}
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
2002-10-16 10:42:13 +00:00
|
|
|
static int
|
2003-03-20 21:12:31 +00:00
|
|
|
sem_perm(td, ks)
|
|
|
|
struct thread *td;
|
2002-09-18 22:47:42 +00:00
|
|
|
struct ksem *ks;
|
|
|
|
{
|
|
|
|
struct ucred *uc;
|
|
|
|
|
2003-03-20 21:12:31 +00:00
|
|
|
uc = td->td_ucred;
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("sem_perm: uc(%d,%d) ks(%d,%d,%o)\n",
|
2002-09-18 22:47:42 +00:00
|
|
|
uc->cr_uid, uc->cr_gid,
|
2002-10-07 04:13:21 +00:00
|
|
|
ks->ks_uid, ks->ks_gid, ks->ks_mode));
|
2002-09-18 22:47:42 +00:00
|
|
|
if ((uc->cr_uid == ks->ks_uid && (ks->ks_mode & S_IWUSR) != 0) ||
|
|
|
|
(uc->cr_gid == ks->ks_gid && (ks->ks_mode & S_IWGRP) != 0) ||
|
2003-03-20 21:12:31 +00:00
|
|
|
(ks->ks_mode & S_IWOTH) != 0 || suser(td) == 0)
|
2002-09-18 22:47:42 +00:00
|
|
|
return (0);
|
|
|
|
return (EPERM);
|
|
|
|
}
|
|
|
|
|
2002-10-16 10:42:13 +00:00
|
|
|
static void
|
2002-09-18 22:47:42 +00:00
|
|
|
sem_free(struct ksem *ks)
|
|
|
|
{
|
|
|
|
|
|
|
|
nsems--;
|
|
|
|
if (ks->ks_onlist)
|
|
|
|
LIST_REMOVE(ks, ks_entry);
|
|
|
|
if (ks->ks_name != NULL)
|
|
|
|
free(ks->ks_name, M_SEM);
|
|
|
|
cv_destroy(&ks->ks_cv);
|
|
|
|
free(ks, M_SEM);
|
|
|
|
}
|
|
|
|
|
|
|
|
static __inline struct kuser *sem_getuser(struct proc *p, struct ksem *ks);
|
|
|
|
|
|
|
|
static __inline struct kuser *
|
|
|
|
sem_getuser(p, ks)
|
|
|
|
struct proc *p;
|
|
|
|
struct ksem *ks;
|
|
|
|
{
|
|
|
|
struct kuser *k;
|
|
|
|
|
|
|
|
LIST_FOREACH(k, &ks->ks_users, ku_next)
|
|
|
|
if (k->ku_pid == p->p_pid)
|
|
|
|
return (k);
|
|
|
|
return (NULL);
|
|
|
|
}
|
|
|
|
|
2002-10-16 10:42:13 +00:00
|
|
|
static int
|
2003-03-20 21:12:31 +00:00
|
|
|
sem_hasopen(td, ks)
|
|
|
|
struct thread *td;
|
2002-09-18 22:47:42 +00:00
|
|
|
struct ksem *ks;
|
|
|
|
{
|
|
|
|
|
2003-03-20 21:12:31 +00:00
|
|
|
return ((ks->ks_name == NULL && sem_perm(td, ks))
|
|
|
|
|| sem_getuser(td->td_proc, ks) != NULL);
|
2002-09-18 22:47:42 +00:00
|
|
|
}
|
|
|
|
|
2002-10-16 10:42:13 +00:00
|
|
|
static int
|
2002-09-18 22:47:42 +00:00
|
|
|
sem_leave(p, ks)
|
|
|
|
struct proc *p;
|
|
|
|
struct ksem *ks;
|
|
|
|
{
|
|
|
|
struct kuser *k;
|
|
|
|
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("sem_leave: ks = %p\n", ks));
|
2002-09-18 22:47:42 +00:00
|
|
|
k = sem_getuser(p, ks);
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("sem_leave: ks = %p, k = %p\n", ks, k));
|
2002-09-18 22:47:42 +00:00
|
|
|
if (k != NULL) {
|
|
|
|
LIST_REMOVE(k, ku_next);
|
|
|
|
sem_rel(ks);
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("sem_leave: about to free k\n"));
|
2002-09-18 22:47:42 +00:00
|
|
|
free(k, M_SEM);
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("sem_leave: returning\n"));
|
2002-09-18 22:47:42 +00:00
|
|
|
return (0);
|
|
|
|
}
|
2003-01-10 23:13:16 +00:00
|
|
|
return (EINVAL);
|
2002-09-18 22:47:42 +00:00
|
|
|
}
|
|
|
|
|
2002-10-16 10:42:13 +00:00
|
|
|
static void
|
2002-09-18 22:47:42 +00:00
|
|
|
sem_enter(p, ks)
|
|
|
|
struct proc *p;
|
|
|
|
struct ksem *ks;
|
|
|
|
{
|
|
|
|
struct kuser *ku, *k;
|
|
|
|
|
2003-02-19 05:47:46 +00:00
|
|
|
ku = malloc(sizeof(*ku), M_SEM, M_WAITOK);
|
2002-09-18 22:47:42 +00:00
|
|
|
ku->ku_pid = p->p_pid;
|
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
k = sem_getuser(p, ks);
|
|
|
|
if (k != NULL) {
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
free(ku, M_TEMP);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
LIST_INSERT_HEAD(&ks->ks_users, ku, ku_next);
|
|
|
|
sem_ref(ks);
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifndef _SYS_SYSPROTO_H_
|
|
|
|
struct ksem_unlink_args {
|
|
|
|
char *name;
|
|
|
|
};
|
|
|
|
int ksem_unlink(struct thread *td, struct ksem_unlink_args *uap);
|
|
|
|
#endif
|
|
|
|
|
|
|
|
int
|
|
|
|
ksem_unlink(td, uap)
|
|
|
|
struct thread *td;
|
|
|
|
struct ksem_unlink_args *uap;
|
|
|
|
{
|
|
|
|
char name[SEM_MAX_NAMELEN + 1];
|
|
|
|
size_t done;
|
|
|
|
int error;
|
|
|
|
|
|
|
|
error = copyinstr(uap->name, name, SEM_MAX_NAMELEN + 1, &done);
|
|
|
|
return (error ? error :
|
|
|
|
kern_sem_unlink(td, name));
|
|
|
|
}
|
|
|
|
|
|
|
|
static int
|
|
|
|
kern_sem_unlink(td, name)
|
|
|
|
struct thread *td;
|
|
|
|
const char *name;
|
|
|
|
{
|
|
|
|
struct ksem *ks;
|
|
|
|
int error;
|
|
|
|
|
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
ks = sem_lookup_byname(name);
|
|
|
|
if (ks == NULL)
|
|
|
|
error = ENOENT;
|
|
|
|
else
|
2003-03-20 21:12:31 +00:00
|
|
|
error = sem_perm(td, ks);
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("sem_unlink: '%s' ks = %p, error = %d\n", name, ks, error));
|
2002-09-18 22:47:42 +00:00
|
|
|
if (error == 0) {
|
|
|
|
LIST_REMOVE(ks, ks_entry);
|
|
|
|
LIST_INSERT_HEAD(&ksem_deadhead, ks, ks_entry);
|
|
|
|
sem_rel(ks);
|
|
|
|
}
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifndef _SYS_SYSPROTO_H_
|
|
|
|
struct ksem_close_args {
|
|
|
|
semid_t id;
|
|
|
|
};
|
|
|
|
int ksem_close(struct thread *td, struct ksem_close_args *uap);
|
|
|
|
#endif
|
|
|
|
|
|
|
|
int
|
|
|
|
ksem_close(struct thread *td, struct ksem_close_args *uap)
|
|
|
|
{
|
|
|
|
|
|
|
|
return (kern_sem_close(td, uap->id));
|
|
|
|
}
|
|
|
|
|
2002-10-16 10:42:13 +00:00
|
|
|
static int
|
2002-09-18 22:47:42 +00:00
|
|
|
kern_sem_close(td, id)
|
|
|
|
struct thread *td;
|
|
|
|
semid_t id;
|
|
|
|
{
|
|
|
|
struct ksem *ks;
|
|
|
|
int error;
|
|
|
|
|
|
|
|
error = EINVAL;
|
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
ks = ID_TO_SEM(id);
|
|
|
|
/* this is not a valid operation for unnamed sems */
|
|
|
|
if (ks != NULL && ks->ks_name != NULL)
|
2003-01-10 23:13:16 +00:00
|
|
|
error = sem_leave(td->td_proc, ks);
|
2002-09-18 22:47:42 +00:00
|
|
|
mtx_unlock(&sem_lock);
|
2003-01-10 23:13:16 +00:00
|
|
|
return (error);
|
2002-09-18 22:47:42 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#ifndef _SYS_SYSPROTO_H_
|
|
|
|
struct ksem_post_args {
|
|
|
|
semid_t id;
|
|
|
|
};
|
|
|
|
int ksem_post(struct thread *td, struct ksem_post_args *uap);
|
|
|
|
#endif
|
|
|
|
int
|
|
|
|
ksem_post(td, uap)
|
|
|
|
struct thread *td;
|
|
|
|
struct ksem_post_args *uap;
|
|
|
|
{
|
|
|
|
|
|
|
|
return (kern_sem_post(td, uap->id));
|
|
|
|
}
|
|
|
|
|
2002-10-16 10:42:13 +00:00
|
|
|
static int
|
2002-09-18 22:47:42 +00:00
|
|
|
kern_sem_post(td, id)
|
|
|
|
struct thread *td;
|
|
|
|
semid_t id;
|
|
|
|
{
|
|
|
|
struct ksem *ks;
|
|
|
|
int error;
|
|
|
|
|
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
ks = ID_TO_SEM(id);
|
2003-03-20 21:12:31 +00:00
|
|
|
if (ks == NULL || !sem_hasopen(td, ks)) {
|
2002-09-18 22:47:42 +00:00
|
|
|
error = EINVAL;
|
|
|
|
goto err;
|
|
|
|
}
|
|
|
|
if (ks->ks_value == SEM_VALUE_MAX) {
|
|
|
|
error = EOVERFLOW;
|
|
|
|
goto err;
|
|
|
|
}
|
|
|
|
++ks->ks_value;
|
|
|
|
if (ks->ks_waiters > 0)
|
|
|
|
cv_signal(&ks->ks_cv);
|
|
|
|
error = 0;
|
|
|
|
err:
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifndef _SYS_SYSPROTO_H_
|
|
|
|
struct ksem_wait_args {
|
|
|
|
semid_t id;
|
|
|
|
};
|
|
|
|
int ksem_wait(struct thread *td, struct ksem_wait_args *uap);
|
|
|
|
#endif
|
|
|
|
|
|
|
|
int
|
|
|
|
ksem_wait(td, uap)
|
|
|
|
struct thread *td;
|
|
|
|
struct ksem_wait_args *uap;
|
|
|
|
{
|
|
|
|
|
|
|
|
return (kern_sem_wait(td, uap->id, 0));
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifndef _SYS_SYSPROTO_H_
|
|
|
|
struct ksem_trywait_args {
|
|
|
|
semid_t id;
|
|
|
|
};
|
|
|
|
int ksem_trywait(struct thread *td, struct ksem_trywait_args *uap);
|
|
|
|
#endif
|
|
|
|
int
|
|
|
|
ksem_trywait(td, uap)
|
|
|
|
struct thread *td;
|
|
|
|
struct ksem_trywait_args *uap;
|
|
|
|
{
|
|
|
|
|
|
|
|
return (kern_sem_wait(td, uap->id, 1));
|
|
|
|
}
|
|
|
|
|
2002-10-16 10:42:13 +00:00
|
|
|
static int
|
2002-09-18 22:47:42 +00:00
|
|
|
kern_sem_wait(td, id, tryflag)
|
|
|
|
struct thread *td;
|
|
|
|
semid_t id;
|
|
|
|
int tryflag;
|
|
|
|
{
|
|
|
|
struct ksem *ks;
|
|
|
|
int error;
|
|
|
|
|
2002-10-07 04:13:21 +00:00
|
|
|
DP((">>> kern_sem_wait entered!\n"));
|
2002-09-18 22:47:42 +00:00
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
ks = ID_TO_SEM(id);
|
|
|
|
if (ks == NULL) {
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("kern_sem_wait ks == NULL\n"));
|
2002-09-18 22:47:42 +00:00
|
|
|
error = EINVAL;
|
|
|
|
goto err;
|
|
|
|
}
|
|
|
|
sem_ref(ks);
|
2003-03-20 21:12:31 +00:00
|
|
|
if (!sem_hasopen(td, ks)) {
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("kern_sem_wait hasopen failed\n"));
|
2002-09-18 22:47:42 +00:00
|
|
|
error = EINVAL;
|
|
|
|
goto err;
|
|
|
|
}
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("kern_sem_wait value = %d, tryflag %d\n", ks->ks_value, tryflag));
|
2002-09-18 22:47:42 +00:00
|
|
|
if (ks->ks_value == 0) {
|
|
|
|
ks->ks_waiters++;
|
|
|
|
error = tryflag ? EAGAIN : cv_wait_sig(&ks->ks_cv, &sem_lock);
|
|
|
|
ks->ks_waiters--;
|
|
|
|
if (error)
|
|
|
|
goto err;
|
|
|
|
}
|
|
|
|
ks->ks_value--;
|
|
|
|
error = 0;
|
|
|
|
err:
|
|
|
|
if (ks != NULL)
|
|
|
|
sem_rel(ks);
|
|
|
|
mtx_unlock(&sem_lock);
|
2002-10-07 04:13:21 +00:00
|
|
|
DP(("<<< kern_sem_wait leaving, error = %d\n", error));
|
2002-09-18 22:47:42 +00:00
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifndef _SYS_SYSPROTO_H_
|
|
|
|
struct ksem_getvalue_args {
|
|
|
|
semid_t id;
|
|
|
|
int *val;
|
|
|
|
};
|
|
|
|
int ksem_getvalue(struct thread *td, struct ksem_getvalue_args *uap);
|
|
|
|
#endif
|
|
|
|
int
|
|
|
|
ksem_getvalue(td, uap)
|
|
|
|
struct thread *td;
|
|
|
|
struct ksem_getvalue_args *uap;
|
|
|
|
{
|
|
|
|
struct ksem *ks;
|
|
|
|
int error, val;
|
|
|
|
|
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
ks = ID_TO_SEM(uap->id);
|
2003-03-20 21:12:31 +00:00
|
|
|
if (ks == NULL || !sem_hasopen(td, ks)) {
|
2002-09-18 22:47:42 +00:00
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
return (EINVAL);
|
|
|
|
}
|
|
|
|
val = ks->ks_value;
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
error = copyout(&val, uap->val, sizeof(val));
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifndef _SYS_SYSPROTO_H_
|
|
|
|
struct ksem_destroy_args {
|
|
|
|
semid_t id;
|
|
|
|
};
|
|
|
|
int ksem_destroy(struct thread *td, struct ksem_destroy_args *uap);
|
|
|
|
#endif
|
|
|
|
int
|
|
|
|
ksem_destroy(td, uap)
|
|
|
|
struct thread *td;
|
|
|
|
struct ksem_destroy_args *uap;
|
|
|
|
{
|
|
|
|
struct ksem *ks;
|
|
|
|
int error;
|
|
|
|
|
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
ks = ID_TO_SEM(uap->id);
|
2003-03-20 21:12:31 +00:00
|
|
|
if (ks == NULL || !sem_hasopen(td, ks) ||
|
2002-09-18 22:47:42 +00:00
|
|
|
ks->ks_name != NULL) {
|
|
|
|
error = EINVAL;
|
|
|
|
goto err;
|
|
|
|
}
|
|
|
|
if (ks->ks_waiters != 0) {
|
|
|
|
error = EBUSY;
|
|
|
|
goto err;
|
|
|
|
}
|
|
|
|
sem_rel(ks);
|
|
|
|
error = 0;
|
|
|
|
err:
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
2002-10-16 10:42:13 +00:00
|
|
|
static void
|
2003-03-24 21:15:35 +00:00
|
|
|
sem_exithook(arg, p)
|
|
|
|
void *arg;
|
2002-09-18 22:47:42 +00:00
|
|
|
struct proc *p;
|
|
|
|
{
|
|
|
|
struct ksem *ks, *ksnext;
|
|
|
|
|
|
|
|
mtx_lock(&sem_lock);
|
|
|
|
ks = LIST_FIRST(&ksem_head);
|
|
|
|
while (ks != NULL) {
|
|
|
|
ksnext = LIST_NEXT(ks, ks_entry);
|
|
|
|
sem_leave(p, ks);
|
|
|
|
ks = ksnext;
|
|
|
|
}
|
|
|
|
ks = LIST_FIRST(&ksem_deadhead);
|
|
|
|
while (ks != NULL) {
|
|
|
|
ksnext = LIST_NEXT(ks, ks_entry);
|
|
|
|
sem_leave(p, ks);
|
|
|
|
ks = ksnext;
|
|
|
|
}
|
|
|
|
mtx_unlock(&sem_lock);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int
|
|
|
|
sem_modload(struct module *module, int cmd, void *arg)
|
|
|
|
{
|
|
|
|
int error = 0;
|
|
|
|
|
|
|
|
switch (cmd) {
|
|
|
|
case MOD_LOAD:
|
|
|
|
mtx_init(&sem_lock, "sem", "semaphore", MTX_DEF);
|
|
|
|
p31b_setcfg(CTL_P1003_1B_SEM_NSEMS_MAX, SEM_MAX);
|
|
|
|
p31b_setcfg(CTL_P1003_1B_SEM_VALUE_MAX, SEM_VALUE_MAX);
|
2003-03-24 21:15:35 +00:00
|
|
|
sem_exit_tag = EVENTHANDLER_REGISTER(process_exit, sem_exithook,
|
|
|
|
NULL, EVENTHANDLER_PRI_ANY);
|
|
|
|
sem_exec_tag = EVENTHANDLER_REGISTER(process_exec, sem_exithook,
|
|
|
|
NULL, EVENTHANDLER_PRI_ANY);
|
2002-09-18 22:47:42 +00:00
|
|
|
break;
|
|
|
|
case MOD_UNLOAD:
|
|
|
|
if (nsems != 0) {
|
|
|
|
error = EOPNOTSUPP;
|
|
|
|
break;
|
|
|
|
}
|
2003-03-24 21:15:35 +00:00
|
|
|
EVENTHANDLER_DEREGISTER(process_exit, sem_exit_tag);
|
|
|
|
EVENTHANDLER_DEREGISTER(process_exec, sem_exec_tag);
|
2002-09-18 22:47:42 +00:00
|
|
|
mtx_destroy(&sem_lock);
|
|
|
|
break;
|
|
|
|
case MOD_SHUTDOWN:
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
error = EINVAL;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
static moduledata_t sem_mod = {
|
|
|
|
"sem",
|
|
|
|
&sem_modload,
|
|
|
|
NULL
|
|
|
|
};
|
|
|
|
|
|
|
|
SYSCALL_MODULE_HELPER(ksem_init);
|
|
|
|
SYSCALL_MODULE_HELPER(ksem_open);
|
|
|
|
SYSCALL_MODULE_HELPER(ksem_unlink);
|
|
|
|
SYSCALL_MODULE_HELPER(ksem_close);
|
|
|
|
SYSCALL_MODULE_HELPER(ksem_post);
|
|
|
|
SYSCALL_MODULE_HELPER(ksem_wait);
|
|
|
|
SYSCALL_MODULE_HELPER(ksem_trywait);
|
|
|
|
SYSCALL_MODULE_HELPER(ksem_getvalue);
|
|
|
|
SYSCALL_MODULE_HELPER(ksem_destroy);
|
|
|
|
|
|
|
|
DECLARE_MODULE(sem, sem_mod, SI_SUB_SYSV_SEM, SI_ORDER_FIRST);
|
|
|
|
MODULE_VERSION(sem, 1);
|