Home | History | Annotate | Line # | Download | only in rumpkern
signals.c revision 1.10
      1  1.10      tron /*	$NetBSD: signals.c,v 1.10 2011/05/28 16:07:43 tron Exp $	*/
      2   1.1     pooka 
      3   1.7     pooka /*-
      4   1.7     pooka  * Copyright (c) 2010, 2011 Antti Kantee.  All Rights Reserved.
      5   1.1     pooka  *
      6   1.1     pooka  * Redistribution and use in source and binary forms, with or without
      7   1.1     pooka  * modification, are permitted provided that the following conditions
      8   1.1     pooka  * are met:
      9   1.1     pooka  * 1. Redistributions of source code must retain the above copyright
     10   1.1     pooka  *    notice, this list of conditions and the following disclaimer.
     11   1.1     pooka  * 2. Redistributions in binary form must reproduce the above copyright
     12   1.1     pooka  *    notice, this list of conditions and the following disclaimer in the
     13   1.1     pooka  *    documentation and/or other materials provided with the distribution.
     14   1.1     pooka  *
     15   1.1     pooka  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS
     16   1.1     pooka  * OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     17   1.1     pooka  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     18   1.1     pooka  * DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
     19   1.1     pooka  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     20   1.1     pooka  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
     21   1.1     pooka  * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     22   1.1     pooka  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     23   1.1     pooka  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     24   1.1     pooka  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     25   1.1     pooka  * SUCH DAMAGE.
     26   1.1     pooka  */
     27   1.1     pooka 
     28   1.1     pooka #include <sys/cdefs.h>
     29  1.10      tron __KERNEL_RCSID(0, "$NetBSD: signals.c,v 1.10 2011/05/28 16:07:43 tron Exp $");
     30   1.1     pooka 
     31   1.1     pooka #include <sys/param.h>
     32   1.1     pooka #include <sys/atomic.h>
     33   1.1     pooka #include <sys/event.h>
     34   1.1     pooka #include <sys/proc.h>
     35   1.1     pooka #include <sys/signal.h>
     36   1.1     pooka 
     37   1.1     pooka #include <rump/rump.h>
     38   1.1     pooka #include <rump/rumpuser.h>
     39   1.1     pooka 
     40   1.7     pooka #include "rump_private.h"
     41   1.1     pooka #include "rumpkern_if_priv.h"
     42   1.1     pooka 
     43   1.5     pooka const struct filterops sig_filtops = {
     44   1.5     pooka 	.f_attach = (void *)eopnotsupp,
     45   1.5     pooka };
     46   1.5     pooka 
     47   1.2     pooka sigset_t sigcantmask;
     48   1.1     pooka 
     49   1.7     pooka static void
     50   1.7     pooka pgrp_apply(struct pgrp *pgrp, int signo, void (*apply)(struct proc *p, int))
     51   1.7     pooka {
     52   1.7     pooka 	struct proc *p;
     53   1.7     pooka 
     54   1.7     pooka 	KASSERT(mutex_owned(proc_lock));
     55   1.7     pooka 
     56   1.7     pooka 	LIST_FOREACH(p, &pgrp->pg_members, p_pglist) {
     57   1.7     pooka 		mutex_enter(p->p_lock);
     58   1.7     pooka 		apply(p, signo);
     59   1.7     pooka 		mutex_exit(p->p_lock);
     60   1.7     pooka 	}
     61   1.7     pooka }
     62   1.7     pooka 
     63   1.1     pooka /* RUMP_SIGMODEL_PANIC */
     64   1.1     pooka 
     65   1.1     pooka static void
     66   1.7     pooka rumpsig_panic(struct proc *p, int signo)
     67   1.1     pooka {
     68   1.1     pooka 
     69   1.1     pooka 	switch (signo) {
     70   1.1     pooka 	case SIGSYS:
     71   1.6     pooka 	case SIGPIPE:
     72   1.1     pooka 		break;
     73   1.1     pooka 	default:
     74   1.1     pooka 		panic("unhandled signal %d", signo);
     75   1.1     pooka 	}
     76   1.1     pooka }
     77   1.1     pooka 
     78   1.1     pooka /* RUMP_SIGMODEL_IGNORE */
     79   1.1     pooka 
     80   1.1     pooka static void
     81   1.7     pooka rumpsig_ignore(struct proc *p, int signo)
     82   1.1     pooka {
     83   1.1     pooka 
     84   1.1     pooka 	return;
     85   1.1     pooka }
     86   1.1     pooka 
     87   1.1     pooka /* RUMP_SIGMODEL_HOST */
     88   1.1     pooka 
     89   1.1     pooka static void
     90   1.7     pooka rumpsig_host(struct proc *p, int signo)
     91   1.1     pooka {
     92   1.1     pooka 	int error;
     93   1.1     pooka 
     94   1.7     pooka 	rumpuser_kill(p->p_pid, signo, &error);
     95   1.1     pooka }
     96   1.1     pooka 
     97   1.1     pooka /* RUMP_SIGMODEL_RAISE */
     98   1.1     pooka 
     99   1.1     pooka static void
    100   1.7     pooka rumpsig_raise(struct proc *p, int signo)
    101   1.1     pooka {
    102   1.7     pooka 	int error = 0;
    103   1.1     pooka 
    104   1.7     pooka 	if (RUMP_LOCALPROC_P(p)) {
    105   1.7     pooka 		rumpuser_kill(RUMPUSER_PID_SELF, signo, &error);
    106   1.7     pooka 	} else {
    107   1.7     pooka 		rumpuser_sp_raise(p->p_vmspace->vm_map.pmap, signo);
    108   1.7     pooka 	}
    109   1.1     pooka }
    110   1.1     pooka 
    111   1.4     pooka static void
    112   1.7     pooka rumpsig_record(struct proc *p, int signo)
    113   1.4     pooka {
    114   1.4     pooka 
    115   1.7     pooka 	if (!sigismember(&p->p_sigctx.ps_sigignore, signo)) {
    116   1.7     pooka 		sigaddset(&p->p_sigpend.sp_set, signo);
    117   1.4     pooka 	}
    118   1.4     pooka }
    119   1.4     pooka 
    120   1.7     pooka typedef void (*rumpsig_fn)(struct proc *, int);
    121   1.1     pooka 
    122   1.8     pooka static rumpsig_fn rumpsig = rumpsig_raise;
    123   1.1     pooka 
    124   1.1     pooka /*
    125   1.1     pooka  * Set signal delivery model.  It would be nice if we could
    126   1.1     pooka  * take a functional argument.  But then we'd need some
    127   1.1     pooka  * OS independent way to represent a signal number and also
    128   1.1     pooka  * a method for easy processing (parsing is boring).
    129   1.1     pooka  *
    130   1.1     pooka  * Plus, upcalls from the rump kernel into process space except
    131   1.1     pooka  * via rumpuser is a somewhat gray area now.
    132   1.1     pooka  */
    133   1.1     pooka void
    134   1.1     pooka rump_boot_setsigmodel(enum rump_sigmodel model)
    135   1.1     pooka {
    136   1.1     pooka 
    137   1.1     pooka 	switch (model) {
    138   1.1     pooka 	case RUMP_SIGMODEL_PANIC:
    139   1.4     pooka 		rumpsig = rumpsig_panic;
    140   1.1     pooka 		break;
    141   1.1     pooka 	case RUMP_SIGMODEL_IGNORE:
    142   1.4     pooka 		rumpsig = rumpsig_ignore;
    143   1.1     pooka 		break;
    144   1.1     pooka 	case RUMP_SIGMODEL_HOST:
    145   1.4     pooka 		rumpsig = rumpsig_host;
    146   1.1     pooka 		break;
    147   1.1     pooka 	case RUMP_SIGMODEL_RAISE:
    148   1.4     pooka 		rumpsig = rumpsig_raise;
    149   1.4     pooka 		break;
    150   1.4     pooka 	case RUMP_SIGMODEL_RECORD:
    151   1.4     pooka 		rumpsig = rumpsig_record;
    152   1.1     pooka 		break;
    153   1.1     pooka 	}
    154   1.1     pooka }
    155   1.1     pooka 
    156   1.1     pooka void
    157   1.1     pooka psignal(struct proc *p, int sig)
    158   1.1     pooka {
    159   1.1     pooka 
    160   1.7     pooka 	rumpsig(p, sig);
    161   1.1     pooka }
    162   1.1     pooka 
    163   1.1     pooka void
    164   1.1     pooka pgsignal(struct pgrp *pgrp, int sig, int checktty)
    165   1.1     pooka {
    166   1.1     pooka 
    167   1.7     pooka 	pgrp_apply(pgrp, sig, rumpsig);
    168   1.1     pooka }
    169   1.1     pooka 
    170   1.1     pooka void
    171   1.1     pooka kpsignal(struct proc *p, ksiginfo_t *ksi, void *data)
    172   1.1     pooka {
    173   1.1     pooka 
    174   1.7     pooka 	rumpsig(p, ksi->ksi_signo);
    175   1.1     pooka }
    176   1.1     pooka 
    177   1.1     pooka void
    178   1.1     pooka kpgsignal(struct pgrp *pgrp, ksiginfo_t *ksi, void *data, int checkctty)
    179   1.1     pooka {
    180   1.1     pooka 
    181   1.7     pooka 	pgrp_apply(pgrp, ksi->ksi_signo, rumpsig);
    182   1.1     pooka }
    183   1.1     pooka 
    184   1.1     pooka int
    185   1.1     pooka sigispending(struct lwp *l, int signo)
    186   1.1     pooka {
    187   1.4     pooka 	struct proc *p = l->l_proc;
    188   1.4     pooka 	sigset_t tset;
    189   1.4     pooka 
    190   1.4     pooka 	tset = p->p_sigpend.sp_set;
    191   1.1     pooka 
    192   1.4     pooka 	if (signo == 0) {
    193   1.4     pooka 		if (firstsig(&tset) != 0)
    194   1.4     pooka 			return EINTR;
    195   1.4     pooka 	} else if (sigismember(&tset, signo))
    196   1.4     pooka 		return EINTR;
    197   1.1     pooka 	return 0;
    198   1.1     pooka }
    199   1.1     pooka 
    200   1.1     pooka void
    201   1.1     pooka sigpending1(struct lwp *l, sigset_t *ss)
    202   1.1     pooka {
    203   1.4     pooka 	struct proc *p = l->l_proc;
    204   1.1     pooka 
    205   1.4     pooka 	mutex_enter(p->p_lock);
    206   1.4     pooka 	*ss = l->l_proc->p_sigpend.sp_set;
    207   1.4     pooka 	mutex_exit(p->p_lock);
    208   1.1     pooka }
    209   1.1     pooka 
    210   1.1     pooka int
    211   1.1     pooka sigismasked(struct lwp *l, int sig)
    212   1.1     pooka {
    213   1.1     pooka 
    214   1.4     pooka 	return sigismember(&l->l_proc->p_sigctx.ps_sigignore, sig);
    215   1.4     pooka }
    216   1.4     pooka 
    217   1.4     pooka void
    218   1.4     pooka sigclear(sigpend_t *sp, const sigset_t *mask, ksiginfoq_t *kq)
    219   1.4     pooka {
    220   1.4     pooka 
    221   1.4     pooka 	if (mask == NULL)
    222   1.4     pooka 		sigemptyset(&sp->sp_set);
    223   1.4     pooka 	else
    224   1.4     pooka 		sigminusset(mask, &sp->sp_set);
    225   1.1     pooka }
    226   1.1     pooka 
    227   1.1     pooka void
    228   1.1     pooka sigclearall(struct proc *p, const sigset_t *mask, ksiginfoq_t *kq)
    229   1.1     pooka {
    230   1.1     pooka 
    231   1.4     pooka 	/* don't assert proc lock, hence callable from user context */
    232   1.4     pooka 	sigclear(&p->p_sigpend, mask, kq);
    233   1.1     pooka }
    234   1.1     pooka 
    235   1.1     pooka void
    236   1.1     pooka ksiginfo_queue_drain0(ksiginfoq_t *kq)
    237   1.1     pooka {
    238   1.1     pooka 
    239   1.1     pooka 	if (!(CIRCLEQ_EMPTY(kq)))
    240   1.1     pooka 		panic("how did that get there?");
    241   1.1     pooka }
    242   1.3     pooka 
    243   1.4     pooka int
    244   1.4     pooka sigprocmask1(struct lwp *l, int how, const sigset_t *nss, sigset_t *oss)
    245   1.4     pooka {
    246   1.4     pooka 	sigset_t *mask = &l->l_proc->p_sigctx.ps_sigignore;
    247   1.4     pooka 
    248   1.4     pooka 	KASSERT(mutex_owned(l->l_proc->p_lock));
    249   1.4     pooka 
    250   1.4     pooka 	if (oss)
    251   1.4     pooka 		*oss = *mask;
    252   1.4     pooka 
    253   1.4     pooka 	if (nss) {
    254   1.4     pooka 		switch (how) {
    255   1.4     pooka 		case SIG_BLOCK:
    256   1.4     pooka 			sigplusset(nss, mask);
    257   1.4     pooka 			break;
    258   1.4     pooka 		case SIG_UNBLOCK:
    259   1.4     pooka 			sigminusset(nss, mask);
    260   1.4     pooka 			break;
    261   1.4     pooka 		case SIG_SETMASK:
    262   1.4     pooka 			*mask = *nss;
    263   1.4     pooka 			break;
    264   1.4     pooka 		default:
    265   1.4     pooka 			return EINVAL;
    266   1.4     pooka 		}
    267   1.4     pooka 	}
    268   1.4     pooka 
    269   1.4     pooka 	return 0;
    270   1.4     pooka }
    271   1.4     pooka 
    272   1.3     pooka void
    273   1.3     pooka siginit(struct proc *p)
    274   1.3     pooka {
    275   1.3     pooka 
    276   1.4     pooka 	sigemptyset(&p->p_sigctx.ps_sigignore);
    277   1.4     pooka 	sigemptyset(&p->p_sigpend.sp_set);
    278   1.3     pooka }
    279   1.9  christos 
    280   1.9  christos void
    281   1.9  christos sigsuspendsetup(struct lwp *l, const sigset_t *ss)
    282   1.9  christos {
    283  1.10      tron 	/* XXX: Partial copy of kernel code, remove and use the kernel code. */
    284   1.9  christos 	struct proc *p = l->l_proc;
    285   1.9  christos 
    286   1.9  christos 	mutex_enter(p->p_lock);
    287   1.9  christos 	l->l_sigrestore = 1;
    288   1.9  christos 	l->l_sigoldmask = l->l_sigmask;
    289   1.9  christos 	l->l_sigmask = *ss;
    290   1.9  christos 	sigminusset(&sigcantmask, &l->l_sigmask);
    291   1.9  christos 	mutex_exit(p->p_lock);
    292   1.9  christos }
    293  1.10      tron 
    294  1.10      tron void
    295  1.10      tron sigsuspendteardown(struct lwp *l)
    296  1.10      tron {
    297  1.10      tron 	/* XXX: Copy of kernel code, remove and use the kernel code. */
    298  1.10      tron 	struct proc *p = l->l_proc;
    299  1.10      tron 
    300  1.10      tron 	mutex_enter(p->p_lock);
    301  1.10      tron 	if (l->l_sigrestore) {
    302  1.10      tron 		l->l_sigrestore = 0;
    303  1.10      tron 		l->l_sigmask = l->l_sigoldmask;
    304  1.10      tron 	}
    305  1.10      tron 	mutex_exit(p->p_lock);
    306  1.10      tron }
    307