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,2001 Bernie Innocenti <bernie@codewiz.org>
35 * This module implements a common system for executing
36 * a user defined action calling a hook function.
39 * \author Bernie Innocenti <bernie@codewiz.org>
41 * \brief Simple inter-process messaging system
43 * Handle queues of messages associated an action.
45 * A message port is an abstraction used to exchange information
46 * asynchronously between processes or other entities such as
47 * interrupts and call-back functions.
49 * This form of IPC is higher-level than bare signals and
50 * semaphores, because it sets a policy for exchanging
51 * structured data with well-defined synchronization and
52 * ownership semantics.
54 * Before using it, a message port must be initialized by
55 * calling msg_initPort(), which associates the port with
56 * an Event object, which can be setup to signal a process
57 * or invoke a call-back hook.
59 * A process or interrupt routine can deliver messages to any
60 * message port by calling msg_put(). By sending a message,
61 * the sender temporarly or permanently transfers ownership
62 * of its associated data to the receiver.
64 * Queuing a message to a port automatically triggers the
65 * associated Event to notify the receiver. When the
66 * receiver wakes up, it usually invokes msg_get() to pick
67 * the next message from the port.
70 * When you put a message into a port, such message becomes
71 * unavailable until you retrieve it using msg_get(), eg.
72 * you must not delete it or put it into another port.
74 * Message ports can hold any number of pending messages,
75 * and receivers usually process them in FIFO order.
76 * Other scheduling policies are possible, but not implemented
79 * After the receiver has done processing a message, it replies
80 * it back to the sender with msg_reply(), which transfer
81 * ownership back to the original sender. Replies are delivered
82 * to a reply port, which is nothing more than another MsgPort
83 * structure designated by the sender.
85 * Returning messages to senders is not mandatory, but it provides
86 * a convenient way to provide some kind of result and simplify
87 * the resource allocation scheme at the same time.
89 * When using signals to receive messages in a process, you
90 * call sig_wait() in an event-loop to wake up when messages
91 * are delivered to any of your ports. When your process
92 * wakes up with the port signal active, multiple messages
93 * may already have queued up at the message port, and the
94 * process must process them all before returning to sleep.
95 * Signals don't keep a nesting count.
97 * A simple message loop works like this:
100 * // Our message port.
101 * static MsgPort test_port;
103 * // A test message with two parameters and a result.
113 * PROC_DEFINE_STACK(sender_stack, KERN_MINSTACKSIZE);
115 * // A process that sends two messages and waits for replies.
116 * static void sender_proc(void)
118 * MsgPort test_reply_port;
123 * msg_initPort(&test_reply_port,
124 * event_createSignal(proc_current(), SIG_SINGLE);
126 * // Fill-in first message and send it out.
129 * msg1.msg.replyPort = &test_reply_port;
130 * msg_put(&test_port, &msg1.msg);
132 * // Fill-in second message and send it out too.
135 * msg2.msg.replyPort = &test_reply_port;
136 * msg_put(&test_port, &msg2.msg);
138 * // Wait for a reply...
139 * sig_wait(SIG_SINGLE);
141 reply = containerof(msg_get(&test_reply_port), TestMsg, msg);
142 * ASSERT(reply != NULL);
143 * ASSERT(reply->result == 5);
145 * // Get reply to second message.
146 * while (!(reply = containerof(msg_get(&test_reply_port), TestMsg, msg)))
148 * // Not yet, be patient and wait some more.
149 * sig_wait(SIG_SINGLE);
152 * ASSERT(reply->result == 9);
156 * // Receive messages and do something boring with them.
157 * static void receiver_proc(void)
159 * msg_initPort(&test_port,
160 * event_createSignal(proc_current(), SIG_EXAMPLE);
162 * proc_new(sender_proc, NULL,sizeof(sender_stack), sender_stack);
166 * sigmask_t sigs = sig_wait(SIG_EXAMPLE | more_signals);
168 * if (sigs & SIG_EXAMPLE)
171 * while((emsg = containerof(msg_get(&test_port), TestMsg, msg)))
173 * // Do something with the message
174 * emsg->result = emsg->x + emsg->y;
175 * msg_reply(emsg->msg);
182 * $WIZ$ module_name = "msg"
183 * $WIZ$ module_depends = "event", "signal", "kernel"
190 #include <mware/event.h>
191 #include <struct/list.h>
192 #include <kern/proc.h>
194 typedef struct MsgPort
196 List queue; /**< Messages queued at this port. */
197 Event event; /**< Event to trigger when a message arrives. */
203 Node link; /**< Link into message port queue. */
204 MsgPort *replyPort; /**< Port to which the msg is to be replied. */
205 /* User data may follow */
210 * Lock a message port.
212 * This is required before reading or manipulating
213 * any field of the MsgPort structure.
215 * \note Ports may be locked multiple times and each
216 * call to msg_lockPort() must be paired with
217 * a corresponding call to msg_unlockPort().
219 * \todo Add a configurable policy for locking against
220 * interrupts and locking with semaphorse.
222 * \see msg_unlockPort()
224 INLINE void msg_lockPort(UNUSED_ARG(MsgPort *, port))
230 * Unlock a message port.
232 * \see msg_lockPort()
234 INLINE void msg_unlockPort(UNUSED_ARG(MsgPort *, port))
240 /** Initialize a message port */
241 INLINE void msg_initPort(MsgPort *port, Event event)
243 LIST_INIT(&port->queue);
247 /** Queue \a msg into \a port, triggering the associated event */
248 INLINE void msg_put(MsgPort *port, Msg *msg)
251 ADDTAIL(&port->queue, &msg->link);
252 msg_unlockPort(port);
254 event_do(&port->event);
258 * Get the first message from the queue of \a port.
260 * \return Pointer to the message or NULL if the port was empty.
262 INLINE Msg *msg_get(MsgPort *port)
267 msg = (Msg *)list_remHead(&port->queue);
268 msg_unlockPort(port);
273 /** Peek the first message in the queue of \a port, or NULL if the port is empty. */
274 INLINE Msg *msg_peek(MsgPort *port)
279 msg = (Msg *)port->queue.head.succ;
280 if (LIST_EMPTY(&port->queue))
282 msg_unlockPort(port);
287 /** Send back (reply) \a msg to its sender. */
288 INLINE void msg_reply(Msg *msg)
290 msg_put(msg->replyPort, msg);
293 int msg_testRun(void);
294 int msg_testSetup(void);
295 int msg_testTearDown(void);
297 #endif /* KERN_MSG_H */