source: mainline/kernel/generic/src/ipc/event.c

Last change on this file was 111b9b9, checked in by Jiří Zárevúcky <zarevucky.jiri@…>, 2 years ago

Reimplement waitq using thread_wait/wakeup

This adds a few functions to the thread API which can be
summarized as "stop running until woken up by others".
The ordering and context-switching concerns are thus yeeted
to this abstraction and waitq only deals with maintaining
the queues. Overall, this makes the control flow in waitq
much easier to navigate.

  • Property mode set to 100644
File size: 9.9 KB
RevLine 
[05641a9e]1/*
2 * Copyright (c) 2009 Jakub Jermar
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 *
9 * - Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * - Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 * - The name of the author may not be used to endorse or promote products
15 * derived from this software without specific prior written permission.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
[174156fd]29/** @addtogroup kernel_generic
[05641a9e]30 * @{
31 */
32/**
33 * @file
[13a638d]34 * @brief Kernel event notifications.
[05641a9e]35 */
36
[63e27ef]37#include <assert.h>
[13a638d]38#include <ipc/event.h>
[05641a9e]39#include <mm/slab.h>
[d99c1d2]40#include <typedefs.h>
[05641a9e]41#include <synch/spinlock.h>
42#include <console/console.h>
[5d0500c]43#include <proc/task.h>
[05641a9e]44#include <errno.h>
45#include <arch.h>
46
[e49b57b2]47/** The events array. */
[13a638d]48static event_t events[EVENT_END];
[05641a9e]49
[5d0500c]50static void event_initialize(event_t *event)
51{
52 spinlock_initialize(&event->lock, "event.lock");
53 event->answerbox = NULL;
54 event->counter = 0;
55 event->imethod = 0;
56 event->masked = false;
57 event->unmask_callback = NULL;
58}
59
[8820544]60static event_t *evno2event(int evno, task_t *task)
[5d0500c]61{
[63e27ef]62 assert(evno < EVENT_TASK_END);
[a35b458]63
[5d0500c]64 event_t *event;
[a35b458]65
[5d0500c]66 if (evno < EVENT_END)
67 event = &events[(event_type_t) evno];
68 else
[8820544]69 event = &task->events[(event_task_type_t) evno - EVENT_END];
[a35b458]70
[5d0500c]71 return event;
72}
73
[f9061b4]74/** Initialize kernel events.
75 *
76 */
[05641a9e]77void event_init(void)
78{
[5d0500c]79 for (unsigned int i = 0; i < EVENT_END; i++)
80 event_initialize(evno2event(i, NULL));
[05641a9e]81}
82
[0fe52ef]83void event_task_init(task_t *task)
[5d0500c]84{
85 for (unsigned int i = EVENT_END; i < EVENT_TASK_END; i++)
[0fe52ef]86 event_initialize(evno2event(i, task));
[5d0500c]87}
88
[f9061b4]89/** Unsubscribe kernel events associated with an answerbox
90 *
91 * @param answerbox Answerbox to be unsubscribed.
92 *
93 */
94void event_cleanup_answerbox(answerbox_t *answerbox)
95{
96 for (unsigned int i = 0; i < EVENT_END; i++) {
97 spinlock_lock(&events[i].lock);
[a35b458]98
[f9061b4]99 if (events[i].answerbox == answerbox) {
100 events[i].answerbox = NULL;
101 events[i].counter = 0;
102 events[i].imethod = 0;
103 events[i].masked = false;
104 }
[a35b458]105
[f9061b4]106 spinlock_unlock(&events[i].lock);
107 }
108}
109
[5d0500c]110static void _event_set_unmask_callback(event_t *event, event_callback_t callback)
111{
112 spinlock_lock(&event->lock);
113 event->unmask_callback = callback;
114 spinlock_unlock(&event->lock);
115}
116
[0496c17]117/** Define a callback function for the event unmask event.
118 *
[97d42d5]119 * @param evno Event type.
120 * @param callback Callback function to be called when
121 * the event is unmasked.
[0496c17]122 *
123 */
[97d42d5]124void event_set_unmask_callback(event_type_t evno, event_callback_t callback)
[0496c17]125{
[63e27ef]126 assert(evno < EVENT_END);
[a35b458]127
[5d0500c]128 _event_set_unmask_callback(evno2event(evno, NULL), callback);
129}
130
[0fe52ef]131void event_task_set_unmask_callback(task_t *task, event_task_type_t evno,
[5d0500c]132 event_callback_t callback)
133{
[63e27ef]134 assert(evno >= (int) EVENT_END);
135 assert(evno < EVENT_TASK_END);
[a35b458]136
[0fe52ef]137 _event_set_unmask_callback(evno2event(evno, task), callback);
[5d0500c]138}
139
[b7fd2a0]140static errno_t event_enqueue(event_t *event, bool mask, sysarg_t a1, sysarg_t a2,
[5d0500c]141 sysarg_t a3, sysarg_t a4, sysarg_t a5)
142{
[b7fd2a0]143 errno_t res;
[5d0500c]144
145 spinlock_lock(&event->lock);
[a35b458]146
[5d0500c]147 if (event->answerbox != NULL) {
148 if (!event->masked) {
[90efa3b]149 call_t *call = ipc_call_alloc();
[a35b458]150
[5d0500c]151 if (call) {
152 call->flags |= IPC_CALL_NOTIF;
153 call->priv = ++event->counter;
[a35b458]154
[fafb8e5]155 ipc_set_imethod(&call->data, event->imethod);
156 ipc_set_arg1(&call->data, a1);
157 ipc_set_arg2(&call->data, a2);
158 ipc_set_arg3(&call->data, a3);
159 ipc_set_arg4(&call->data, a4);
160 ipc_set_arg5(&call->data, a5);
[a35b458]161
[e2ab36f1]162 call->data.task_id = TASK ? TASK->taskid : 0;
[a35b458]163
[cfaa35a]164 irq_spinlock_lock(&event->answerbox->irq_lock,
165 true);
166 list_append(&call->ab_link,
167 &event->answerbox->irq_notifs);
168 irq_spinlock_unlock(&event->answerbox->irq_lock,
169 true);
[a35b458]170
[111b9b9]171 waitq_wake_one(&event->answerbox->wq);
[a35b458]172
[5d0500c]173 if (mask)
174 event->masked = true;
[a35b458]175
[5d0500c]176 res = EOK;
177 } else
178 res = ENOMEM;
179 } else
180 res = EBUSY;
181 } else
182 res = ENOENT;
[a35b458]183
[5d0500c]184 spinlock_unlock(&event->lock);
185 return res;
[0496c17]186}
187
[f9061b4]188/** Send kernel notification event
189 *
190 * @param evno Event type.
191 * @param mask Mask further notifications after a successful
192 * sending.
193 * @param a1 First argument.
194 * @param a2 Second argument.
195 * @param a3 Third argument.
196 * @param a4 Fourth argument.
197 * @param a5 Fifth argument.
198 *
199 * @return EOK if notification was successfully sent.
200 * @return ENOMEM if the notification IPC message failed to allocate.
201 * @return EBUSY if the notifications of the given type are
202 * currently masked.
203 * @return ENOENT if the notifications of the given type are
204 * currently not subscribed.
205 *
206 */
[b7fd2a0]207errno_t event_notify(event_type_t evno, bool mask, sysarg_t a1, sysarg_t a2,
[f9061b4]208 sysarg_t a3, sysarg_t a4, sysarg_t a5)
209{
[63e27ef]210 assert(evno < EVENT_END);
[a35b458]211
[5d0500c]212 return event_enqueue(evno2event(evno, NULL), mask, a1, a2, a3, a4, a5);
213}
214
215/** Send per-task kernel notification event
216 *
[0fe52ef]217 * @param task Destination task.
[5d0500c]218 * @param evno Event type.
219 * @param mask Mask further notifications after a successful
220 * sending.
221 * @param a1 First argument.
222 * @param a2 Second argument.
223 * @param a3 Third argument.
224 * @param a4 Fourth argument.
225 * @param a5 Fifth argument.
226 *
227 * @return EOK if notification was successfully sent.
228 * @return ENOMEM if the notification IPC message failed to allocate.
229 * @return EBUSY if the notifications of the given type are
230 * currently masked.
231 * @return ENOENT if the notifications of the given type are
232 * currently not subscribed.
233 *
234 */
[b7fd2a0]235errno_t event_task_notify(task_t *task, event_task_type_t evno, bool mask,
[0fe52ef]236 sysarg_t a1, sysarg_t a2, sysarg_t a3, sysarg_t a4, sysarg_t a5)
[5d0500c]237{
[63e27ef]238 assert(evno >= (int) EVENT_END);
239 assert(evno < EVENT_TASK_END);
[a35b458]240
[0fe52ef]241 return event_enqueue(evno2event(evno, task), mask, a1, a2, a3, a4, a5);
[f9061b4]242}
243
244/** Subscribe event notifications
245 *
246 * @param evno Event type.
247 * @param imethod IPC interface and method to be used for
248 * the notifications.
249 * @param answerbox Answerbox to send the notifications to.
250 *
251 * @return EOK if the subscription was successful.
[8a637a4]252 * @return EEXIST if the notifications of the given type are
[f9061b4]253 * already subscribed.
254 *
255 */
[b7fd2a0]256static errno_t event_subscribe(event_t *event, sysarg_t imethod,
[98000fb]257 answerbox_t *answerbox)
[05641a9e]258{
[b7fd2a0]259 errno_t res;
[a35b458]260
[5d0500c]261 spinlock_lock(&event->lock);
[a35b458]262
[5d0500c]263 if (event->answerbox == NULL) {
264 event->answerbox = answerbox;
265 event->imethod = imethod;
266 event->counter = 0;
267 event->masked = false;
[05641a9e]268 res = EOK;
[13a638d]269 } else
[8a637a4]270 res = EEXIST;
[a35b458]271
[5d0500c]272 spinlock_unlock(&event->lock);
[a35b458]273
[05641a9e]274 return res;
275}
276
[8820544]277/** Unsubscribe event notifications
278 *
279 * @param evno Event type.
280 * @param answerbox Answerbox used to send the notifications to.
281 *
282 * @return EOK if the subscription was successful.
[8a637a4]283 * @return EEXIST if the notifications of the given type are
[8820544]284 * already subscribed.
285 *
286 */
[b7fd2a0]287static errno_t event_unsubscribe(event_t *event, answerbox_t *answerbox)
[8820544]288{
[b7fd2a0]289 errno_t res;
[a35b458]290
[8820544]291 spinlock_lock(&event->lock);
[a35b458]292
[8820544]293 if (event->answerbox == answerbox) {
294 event->answerbox = NULL;
295 event->counter = 0;
296 event->imethod = 0;
297 event->masked = false;
298 res = EOK;
299 } else
300 res = ENOENT;
[a35b458]301
[8820544]302 spinlock_unlock(&event->lock);
[a35b458]303
[8820544]304 return res;
305}
306
[f9061b4]307/** Unmask event notifications
308 *
309 * @param evno Event type to unmask.
310 *
311 */
[5d0500c]312static void event_unmask(event_t *event)
[05641a9e]313{
[5d0500c]314 spinlock_lock(&event->lock);
315 event->masked = false;
316 event_callback_t callback = event->unmask_callback;
317 spinlock_unlock(&event->lock);
[a35b458]318
[0496c17]319 /*
[97d42d5]320 * Check if there is an unmask callback
321 * function defined for this event.
[0496c17]322 */
[97d42d5]323 if (callback != NULL)
[5d0500c]324 callback(event);
[05641a9e]325}
326
[8820544]327/** Event notification subscription syscall wrapper
[f9061b4]328 *
329 * @param evno Event type to subscribe.
330 * @param imethod IPC interface and method to be used for
331 * the notifications.
332 *
333 * @return EOK on success.
334 * @return ELIMIT on unknown event type.
[8a637a4]335 * @return EEXIST if the notifications of the given type are
[f9061b4]336 * already subscribed.
337 *
338 */
[b7fd2a0]339sys_errno_t sys_ipc_event_subscribe(sysarg_t evno, sysarg_t imethod)
[05641a9e]340{
[5d0500c]341 if (evno >= EVENT_TASK_END)
[f9061b4]342 return ELIMIT;
[a35b458]343
[b7fd2a0]344 return (sys_errno_t) event_subscribe(evno2event(evno, TASK),
[5d0500c]345 (sysarg_t) imethod, &TASK->answerbox);
[05641a9e]346}
347
[8820544]348/** Event notification unsubscription syscall wrapper
349 *
350 * @param evno Event type to unsubscribe.
351 *
352 * @return EOK on success.
353 * @return ELIMIT on unknown event type.
354 * @return ENOENT if the notification of the given type is not
[7c3fb9b]355 * subscribed.
[8820544]356 */
[b7fd2a0]357sys_errno_t sys_ipc_event_unsubscribe(sysarg_t evno)
[8820544]358{
359 if (evno >= EVENT_TASK_END)
360 return ELIMIT;
[a35b458]361
[b7fd2a0]362 return (sys_errno_t) event_unsubscribe(evno2event(evno, TASK),
[8820544]363 &TASK->answerbox);
364}
365
[f9061b4]366/** Event notification unmask syscall wrapper
367 *
368 * Note that currently no tests are performed whether the calling
369 * task is entitled to unmask the notifications. However, thanks
370 * to the fact that notification masking is only a performance
371 * optimization, this has probably no security implications.
372 *
373 * @param evno Event type to unmask.
374 *
375 * @return EOK on success.
376 * @return ELIMIT on unknown event type.
377 *
378 */
[b7fd2a0]379sys_errno_t sys_ipc_event_unmask(sysarg_t evno)
[05641a9e]380{
[5d0500c]381 if (evno >= EVENT_TASK_END)
[f9061b4]382 return ELIMIT;
[a35b458]383
[5d0500c]384 event_unmask(evno2event(evno, TASK));
385
[f9061b4]386 return EOK;
[05641a9e]387}
388
389/** @}
390 */
Note: See TracBrowser for help on using the repository browser.