4 * Copyright 2004 Develer S.r.l. (http://www.develer.com/)
5 * Copyright 1999, 2000, 2001 Bernardo Innocenti <bernie@develer.com>
6 * This file is part of DevLib - See devlib/README for information.
9 * \brief IPC signals implementation.
11 * Signals are a low-level IPC primitive. A process receives a signal
12 * when some external event has happened. Like interrupt requests,
13 * signals do not carry any additional information. If processing a
14 * specific event requires additional data, the process must obtain it
15 * through some other mechanism.
17 * Despite the name, one shouldn't confuse these signals with POSIX
18 * signals. POSIX signals are usually executed synchronously, like
19 * software interrupts.
21 * In this implementation, each process has a limited set of signal
22 * bits (usually 32) and can wait for multiple signals at the same
23 * time using sig_wait(). Signals can also be polled using sig_check(),
24 * but a process spinning on its signals usually defeats their purpose
25 * of providing a multitasking-friendly infrastructure for event-driven
28 * Signals are like flags: they are either active or inactive. After an
29 * external event has delivered a particular signal, it remains raised until
30 * the process acknowledges it using either sig_wait() or sig_check().
31 * Counting signals is not a reliable way to count how many times a
32 * particular event has occurred, because the same signal may be
33 * delivered twice before the process can notice.
35 * Any execution context, including an interrupt handler, can deliver
36 * a signal to a process using sig_signal(). Multiple distinct signals
37 * may be delivered at once with a single invocation of sig_signal(),
38 * although this is rarely useful.
40 * There's no hardcoded mapping of specific events to signal bits.
41 * The meaning of a particular signal bit is defined by an agreement
42 * between the delivering entity and the receiving process.
43 * For instance, a terminal driver may be written to deliver
44 * a signal bit called SIG_INT when it reads the CTRL-C sequence
45 * from the keyboard, and a process may react to it by quitting.
47 * The SIG_SINGLE bit is reserved for a special purpose (this is
48 * more a suggestion than a constraint). When a process wants
49 * wait for a single event on the fly, it needs not allocate a
50 * free signal from its pool. Instead, SIG_SINGLE can be used
52 * The "event" module is a higher-level interface that can optionally
53 * deliver signals to processes. Messages provide even higher-level
54 * IPC services built on signals. Semaphore arbitration is also
55 * implemented using signals.
57 * Signals are very low overhead. Using them exclusively to wait
58 * for multiple asynchronous events results in very simple dispatch
59 * logic with low processor and resource usage.
64 * \author Bernardo Innocenti <bernie@develer.com>
69 * Revision 1.6 2004/08/14 19:37:57 rasky
70 * Merge da SC: macros.h, pool.h, BIT_CHANGE, nome dei processi, etc.
72 * Revision 1.5 2004/08/04 21:50:33 bernie
73 * Add extensive documentation.
75 * Revision 1.4 2004/07/30 14:30:27 rasky
76 * Resa la sig_signal interrupt safe (con il nuovo scheduler IRQ-safe)
77 * Rimossa event_doIntr (ora inutile) e semplificata la logica delle macro con funzioni inline
79 * Revision 1.3 2004/07/30 14:24:16 rasky
80 * Task switching con salvataggio perfetto stato di interrupt (SR)
81 * Kernel monitor per dump informazioni su stack dei processi
83 * Revision 1.2 2004/06/03 11:27:09 bernie
84 * Add dual-license information.
86 * Revision 1.1 2004/05/23 17:27:00 bernie
87 * Import kern/ subdirectory.
95 #include <drv/kdebug.h>
98 #if CONFIG_KERN_SIGNALS
101 * Check if any of the signals in \a sigs has occurred and clear them.
102 * Return the signals that have occurred.
104 sigset_t sig_check(sigset_t sigs)
109 DISABLE_IRQSAVE(flags);
110 result = CurrentProcess->sig_recv & sigs;
111 CurrentProcess->sig_recv &= ~sigs;
112 ENABLE_IRQRESTORE(flags);
118 * Sleep until any of the signals in \a sigs occurs.
119 * Return the signal(s) that have awaked the process.
121 sigset_t sig_wait(sigset_t sigs)
126 DISABLE_IRQSAVE(flags);
128 /* Loop until we get at least one of the signals */
129 while (!(result = CurrentProcess->sig_recv & sigs))
131 /* go to sleep and proc_schedule() another process */
132 CurrentProcess->sig_wait = sigs;
135 /* When we come back here, a signal must be arrived */
136 ASSERT(!CurrentProcess->sig_wait);
137 ASSERT(CurrentProcess->sig_recv);
140 /* Signals found: clear them and return */
141 CurrentProcess->sig_recv &= ~sigs;
142 ENABLE_IRQRESTORE(flags);
148 * Send the signals \a sigs to the process \a proc.
149 * The process will be awaken if it was waiting for any of them.
151 * \note This call is interrupt safe.
153 void sig_signal(Process *proc, sigset_t sigs)
156 DISABLE_IRQSAVE(flags);
158 /* Set the signals */
159 proc->sig_recv |= sigs;
161 /* Check if process needs to be awaken */
162 if (proc->sig_recv & proc->sig_wait)
164 /* Wake up process and enqueue in ready list */
169 ENABLE_IRQRESTORE(flags);
172 #endif /* CONFIG_KERN_SIGNALS */