4 * This file is part of BeRTOS.
6 * Bertos is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with this program; if not, write to the Free Software
18 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
20 * As a special exception, you may use this file as part of a free software
21 * library without restriction. Specifically, if other files instantiate
22 * templates or use macros or inline functions from this file, or you compile
23 * this file and link it with other files to produce an executable, this
24 * file does not by itself cause the resulting executable to be covered by
25 * the GNU General Public License. This exception does not however
26 * invalidate any other reasons why the executable file might be covered by
27 * the GNU General Public License.
29 * Copyright 2004 Develer S.r.l. (http://www.develer.com/)
30 * Copyright 1999, 2000, 2001 Bernardo Innocenti <bernie@develer.com>
34 * \brief IPC signals implementation.
36 * Signals are a low-level IPC primitive. A process receives a signal
37 * when some external event has happened. Like interrupt requests,
38 * signals do not carry any additional information. If processing a
39 * specific event requires additional data, the process must obtain it
40 * through some other mechanism.
42 * Despite the name, one shouldn't confuse these signals with POSIX
43 * signals. POSIX signals are usually executed synchronously, like
44 * software interrupts.
46 * In this implementation, each process has a limited set of signal
47 * bits (usually 32) and can wait for multiple signals at the same
48 * time using sig_wait(). Signals can also be polled using sig_check(),
49 * but a process spinning on its signals usually defeats their purpose
50 * of providing a multitasking-friendly infrastructure for event-driven
53 * Signals are like flags: they are either active or inactive. After an
54 * external event has delivered a particular signal, it remains raised until
55 * the process acknowledges it using either sig_wait() or sig_check().
56 * Counting signals is not a reliable way to count how many times a
57 * particular event has occurred, because the same signal may be
58 * delivered twice before the process can notice.
60 * Any execution context, including an interrupt handler, can deliver
61 * a signal to a process using sig_signal(). Multiple distinct signals
62 * may be delivered at once with a single invocation of sig_signal(),
63 * although this is rarely useful.
65 * There's no hardcoded mapping of specific events to signal bits.
66 * The meaning of a particular signal bit is defined by an agreement
67 * between the delivering entity and the receiving process.
68 * For instance, a terminal driver may be written to deliver
69 * a signal bit called SIG_INT when it reads the CTRL-C sequence
70 * from the keyboard, and a process may react to it by quitting.
72 * The SIG_SINGLE bit is reserved for a special purpose (this is
73 * more a suggestion than a constraint). When a process wants
74 * wait for a single event on the fly, it needs not allocate a
75 * free signal from its pool. Instead, SIG_SINGLE can be used
77 * The "event" module is a higher-level interface that can optionally
78 * deliver signals to processes. Messages provide even higher-level
79 * IPC services built on signals. Semaphore arbitration is also
80 * implemented using signals.
82 * Signals are very low overhead. Using them exclusively to wait
83 * for multiple asynchronous events results in very simple dispatch
84 * logic with low processor and resource usage.
89 * \author Bernardo Innocenti <bernie@develer.com>
94 #include <cfg/debug.h>
95 #include <drv/timer.h>
96 #include <kern/proc.h>
97 #include <kern/proc_p.h>
100 #if CONFIG_KERN_SIGNALS
103 * Check if any of the signals in \a sigs has occurred and clear them.
104 * \return the signals that have occurred.
106 sigmask_t sig_check(sigmask_t sigs)
111 IRQ_SAVE_DISABLE(flags);
112 result = CurrentProcess->sig_recv & sigs;
113 CurrentProcess->sig_recv &= ~sigs;
121 * Sleep until any of the signals in \a sigs occurs.
122 * \return the signal(s) that have awoken the process.
124 sigmask_t sig_wait(sigmask_t sigs)
129 IRQ_SAVE_DISABLE(flags);
131 /* Loop until we get at least one of the signals */
132 while (!(result = CurrentProcess->sig_recv & sigs))
134 /* go to sleep and proc_schedule() another process */
135 CurrentProcess->sig_wait = sigs;
138 /* When we come back here, a signal must be arrived */
139 ASSERT(!CurrentProcess->sig_wait);
140 ASSERT(CurrentProcess->sig_recv);
143 /* Signals found: clear them and return */
144 CurrentProcess->sig_recv &= ~sigs;
151 * Sleep until any of the signals in \a sigs or \a timeout ticks elapse.
152 * If the timeout elapse a SIG_TIMEOUT is added to the received signal(s).
153 * \return the signal(s) that have awoken the process.
154 * \note Caller must check return value to check which signal awoke the process.
156 sigmask_t sig_waitTimeout(sigmask_t sigs, ticks_t timeout)
162 ASSERT(!sig_check(SIG_TIMEOUT));
163 ASSERT(!(sigs & SIG_TIMEOUT));
164 /* IRQ are needed to run timer */
165 ASSERT(IRQ_ENABLED());
167 timer_set_event_signal(&t, proc_current(), SIG_TIMEOUT);
168 timer_setDelay(&t, timeout);
170 res = sig_wait(SIG_TIMEOUT | sigs);
172 IRQ_SAVE_DISABLE(flags);
173 /* Remove timer if sigs occur before timer signal */
174 if (!(res & SIG_TIMEOUT) && !sig_check(SIG_TIMEOUT))
182 * Send the signals \a sigs to the process \a proc.
183 * The process will be awoken if it was waiting for any of them.
185 * \note This call is interrupt safe.
187 void sig_signal(Process *proc, sigmask_t sigs)
190 IRQ_SAVE_DISABLE(flags);
192 /* Set the signals */
193 proc->sig_recv |= sigs;
195 /* Check if process needs to be awoken */
196 if (proc->sig_recv & proc->sig_wait)
198 /* Wake up process and enqueue in ready list */
206 #endif /* CONFIG_KERN_SIGNALS */