source: mainline/kernel/generic/src/ipc/ipc.c@ 12ab886

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since 12ab886 was 12ab886, checked in by Jakub Jermar <jakub@…>, 17 years ago

Fix initialization of answerbox→task in ipc_answerbox_init.
Contributed by Jiri Svoboda.

  • Property mode set to 100644
File size: 16.6 KB
Line 
1/*
2 * Copyright (c) 2006 Ondrej Palkovsky
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
29/** @addtogroup genericipc
30 * @{
31 */
32/** @file
33 */
34
35/* Lock ordering
36 *
37 * First the answerbox, then the phone.
38 */
39
40#include <synch/spinlock.h>
41#include <synch/waitq.h>
42#include <synch/synch.h>
43#include <ipc/ipc.h>
44#include <errno.h>
45#include <mm/slab.h>
46#include <arch.h>
47#include <proc/task.h>
48#include <memstr.h>
49#include <debug.h>
50
51#include <print.h>
52#include <proc/thread.h>
53#include <arch/interrupt.h>
54#include <ipc/irq.h>
55
56/** Open channel that is assigned automatically to new tasks */
57answerbox_t *ipc_phone_0 = NULL;
58
59static slab_cache_t *ipc_call_slab;
60
61/** Initialize a call structure.
62 *
63 * @param call Call structure to be initialized.
64 */
65static void _ipc_call_init(call_t *call)
66{
67 memsetb((uintptr_t) call, sizeof(*call), 0);
68 call->callerbox = &TASK->answerbox;
69 call->sender = TASK;
70 call->buffer = NULL;
71}
72
73/** Allocate and initialize a call structure.
74 *
75 * The call is initialized, so that the reply will be directed to
76 * TASK->answerbox.
77 *
78 * @param flags Parameters for slab_alloc (e.g FRAME_ATOMIC).
79 *
80 * @return If flags permit it, return NULL, or initialized kernel
81 * call structure.
82 */
83call_t *ipc_call_alloc(int flags)
84{
85 call_t *call;
86
87 call = slab_alloc(ipc_call_slab, flags);
88 _ipc_call_init(call);
89
90 return call;
91}
92
93/** Initialize a statically allocated call structure.
94 *
95 * @param call Statically allocated kernel call structure to be
96 * initialized.
97 */
98void ipc_call_static_init(call_t *call)
99{
100 _ipc_call_init(call);
101 call->flags |= IPC_CALL_STATIC_ALLOC;
102}
103
104/** Deallocate a call structure.
105 *
106 * @param call Call structure to be freed.
107 */
108void ipc_call_free(call_t *call)
109{
110 ASSERT(!(call->flags & IPC_CALL_STATIC_ALLOC));
111 /* Check to see if we have data in the IPC_M_DATA_SEND buffer. */
112 if (call->buffer)
113 free(call->buffer);
114 slab_free(ipc_call_slab, call);
115}
116
117/** Initialize an answerbox structure.
118 *
119 * @param box Answerbox structure to be initialized.
120 * @param task Task to which the answerbox belongs.
121 */
122void ipc_answerbox_init(answerbox_t *box, task_t *task)
123{
124 spinlock_initialize(&box->lock, "ipc_box_lock");
125 spinlock_initialize(&box->irq_lock, "ipc_box_irqlock");
126 waitq_initialize(&box->wq);
127 list_initialize(&box->connected_phones);
128 list_initialize(&box->calls);
129 list_initialize(&box->dispatched_calls);
130 list_initialize(&box->answers);
131 list_initialize(&box->irq_notifs);
132 list_initialize(&box->irq_head);
133 box->task = task;
134}
135
136/** Connect a phone to an answerbox.
137 *
138 * @param phone Initialized phone structure.
139 * @param box Initialized answerbox structure.
140 */
141void ipc_phone_connect(phone_t *phone, answerbox_t *box)
142{
143 spinlock_lock(&phone->lock);
144
145 phone->state = IPC_PHONE_CONNECTED;
146 phone->callee = box;
147
148 spinlock_lock(&box->lock);
149 list_append(&phone->link, &box->connected_phones);
150 spinlock_unlock(&box->lock);
151
152 spinlock_unlock(&phone->lock);
153}
154
155/** Initialize a phone structure.
156 *
157 * @param phone Phone structure to be initialized.
158 */
159void ipc_phone_init(phone_t *phone)
160{
161 spinlock_initialize(&phone->lock, "phone_lock");
162 phone->callee = NULL;
163 phone->state = IPC_PHONE_FREE;
164 atomic_set(&phone->active_calls, 0);
165}
166
167/** Helper function to facilitate synchronous calls.
168 *
169 * @param phone Destination kernel phone structure.
170 * @param request Call structure with request.
171 */
172void ipc_call_sync(phone_t *phone, call_t *request)
173{
174 answerbox_t sync_box;
175
176 ipc_answerbox_init(&sync_box, TASK);
177
178 /* We will receive data in a special box. */
179 request->callerbox = &sync_box;
180
181 ipc_call(phone, request);
182 ipc_wait_for_call(&sync_box, SYNCH_NO_TIMEOUT, SYNCH_FLAGS_NONE);
183}
184
185/** Answer a message which was not dispatched and is not listed in any queue.
186 *
187 * @param call Call structure to be answered.
188 */
189static void _ipc_answer_free_call(call_t *call)
190{
191 answerbox_t *callerbox = call->callerbox;
192
193 call->flags |= IPC_CALL_ANSWERED;
194
195 spinlock_lock(&callerbox->lock);
196 list_append(&call->link, &callerbox->answers);
197 spinlock_unlock(&callerbox->lock);
198 waitq_wakeup(&callerbox->wq, WAKEUP_FIRST);
199}
200
201/** Answer a message which is in a callee queue.
202 *
203 * @param box Answerbox that is answering the message.
204 * @param call Modified request that is being sent back.
205 */
206void ipc_answer(answerbox_t *box, call_t *call)
207{
208 /* Remove from active box */
209 spinlock_lock(&box->lock);
210 list_remove(&call->link);
211 spinlock_unlock(&box->lock);
212 /* Send back answer */
213 _ipc_answer_free_call(call);
214}
215
216/** Simulate sending back a message.
217 *
218 * Most errors are better handled by forming a normal backward
219 * message and sending it as a normal answer.
220 *
221 * @param phone Phone structure the call should appear to come from.
222 * @param call Call structure to be answered.
223 * @param err Return value to be used for the answer.
224 */
225void ipc_backsend_err(phone_t *phone, call_t *call, unative_t err)
226{
227 call->data.phone = phone;
228 atomic_inc(&phone->active_calls);
229 IPC_SET_RETVAL(call->data, err);
230 _ipc_answer_free_call(call);
231}
232
233/** Unsafe unchecking version of ipc_call.
234 *
235 * @param phone Phone structure the call comes from.
236 * @param box Destination answerbox structure.
237 * @param call Call structure with request.
238 */
239static void _ipc_call(phone_t *phone, answerbox_t *box, call_t *call)
240{
241 if (!(call->flags & IPC_CALL_FORWARDED)) {
242 atomic_inc(&phone->active_calls);
243 call->data.phone = phone;
244 }
245
246 spinlock_lock(&box->lock);
247 list_append(&call->link, &box->calls);
248 spinlock_unlock(&box->lock);
249 waitq_wakeup(&box->wq, WAKEUP_FIRST);
250}
251
252/** Send an asynchronous request using a phone to an answerbox.
253 *
254 * @param phone Phone structure the call comes from and which is
255 * connected to the destination answerbox.
256 * @param call Call structure with request.
257 *
258 * @return Return 0 on success, ENOENT on error.
259 */
260int ipc_call(phone_t *phone, call_t *call)
261{
262 answerbox_t *box;
263
264 spinlock_lock(&phone->lock);
265 if (phone->state != IPC_PHONE_CONNECTED) {
266 spinlock_unlock(&phone->lock);
267 if (call->flags & IPC_CALL_FORWARDED) {
268 IPC_SET_RETVAL(call->data, EFORWARD);
269 _ipc_answer_free_call(call);
270 } else {
271 if (phone->state == IPC_PHONE_HUNGUP)
272 ipc_backsend_err(phone, call, EHANGUP);
273 else
274 ipc_backsend_err(phone, call, ENOENT);
275 }
276 return ENOENT;
277 }
278 box = phone->callee;
279 _ipc_call(phone, box, call);
280
281 spinlock_unlock(&phone->lock);
282 return 0;
283}
284
285/** Disconnect phone from answerbox.
286 *
287 * This call leaves the phone in the HUNGUP state. The change to 'free' is done
288 * lazily later.
289 *
290 * @param phone Phone structure to be hung up.
291 *
292 * @return Return 0 if the phone is disconnected.
293 * Return -1 if the phone was already disconnected.
294 */
295int ipc_phone_hangup(phone_t *phone)
296{
297 answerbox_t *box;
298 call_t *call;
299
300 spinlock_lock(&phone->lock);
301 if (phone->state == IPC_PHONE_FREE ||
302 phone->state == IPC_PHONE_HUNGUP ||
303 phone->state == IPC_PHONE_CONNECTING) {
304 spinlock_unlock(&phone->lock);
305 return -1;
306 }
307 box = phone->callee;
308 if (phone->state != IPC_PHONE_SLAMMED) {
309 /* Remove myself from answerbox */
310 spinlock_lock(&box->lock);
311 list_remove(&phone->link);
312 spinlock_unlock(&box->lock);
313
314 if (phone->state != IPC_PHONE_SLAMMED) {
315 call = ipc_call_alloc(0);
316 IPC_SET_METHOD(call->data, IPC_M_PHONE_HUNGUP);
317 call->flags |= IPC_CALL_DISCARD_ANSWER;
318 _ipc_call(phone, box, call);
319 }
320 }
321
322 phone->state = IPC_PHONE_HUNGUP;
323 spinlock_unlock(&phone->lock);
324
325 return 0;
326}
327
328/** Forwards call from one answerbox to another one.
329 *
330 * @param call Call structure to be redirected.
331 * @param newphone Phone structure to target answerbox.
332 * @param oldbox Old answerbox structure.
333 * @param mode Flags that specify mode of the forward operation.
334 *
335 * @return Return 0 if forwarding succeeded or an error code if
336 * there was error.
337 *
338 * The return value serves only as an information for the forwarder,
339 * the original caller is notified automatically with EFORWARD.
340 */
341int ipc_forward(call_t *call, phone_t *newphone, answerbox_t *oldbox, int mode)
342{
343 spinlock_lock(&oldbox->lock);
344 list_remove(&call->link);
345 spinlock_unlock(&oldbox->lock);
346
347 if (mode & IPC_FF_ROUTE_FROM_ME)
348 call->data.phone = newphone;
349
350 return ipc_call(newphone, call);
351}
352
353
354/** Wait for a phone call.
355 *
356 * @param box Answerbox expecting the call.
357 * @param usec Timeout in microseconds. See documentation for
358 * waitq_sleep_timeout() for decription of its special
359 * meaning.
360 * @param flags Select mode of sleep operation. See documentation for
361 * waitq_sleep_timeout() for description of its special
362 * meaning.
363 * @return Recived call structure or NULL.
364 *
365 * To distinguish between a call and an answer, have a look at call->flags.
366 */
367call_t *ipc_wait_for_call(answerbox_t *box, uint32_t usec, int flags)
368{
369 call_t *request;
370 ipl_t ipl;
371 int rc;
372
373restart:
374 rc = waitq_sleep_timeout(&box->wq, usec, flags);
375 if (SYNCH_FAILED(rc))
376 return NULL;
377
378 spinlock_lock(&box->lock);
379 if (!list_empty(&box->irq_notifs)) {
380 ipl = interrupts_disable();
381 spinlock_lock(&box->irq_lock);
382
383 request = list_get_instance(box->irq_notifs.next, call_t, link);
384 list_remove(&request->link);
385
386 spinlock_unlock(&box->irq_lock);
387 interrupts_restore(ipl);
388 } else if (!list_empty(&box->answers)) {
389 /* Handle asynchronous answers */
390 request = list_get_instance(box->answers.next, call_t, link);
391 list_remove(&request->link);
392 atomic_dec(&request->data.phone->active_calls);
393 } else if (!list_empty(&box->calls)) {
394 /* Handle requests */
395 request = list_get_instance(box->calls.next, call_t, link);
396 list_remove(&request->link);
397 /* Append request to dispatch queue */
398 list_append(&request->link, &box->dispatched_calls);
399 } else {
400 /* This can happen regularly after ipc_cleanup */
401 spinlock_unlock(&box->lock);
402 goto restart;
403 }
404 spinlock_unlock(&box->lock);
405 return request;
406}
407
408/** Answer all calls from list with EHANGUP answer.
409 *
410 * @param lst Head of the list to be cleaned up.
411 */
412static void ipc_cleanup_call_list(link_t *lst)
413{
414 call_t *call;
415
416 while (!list_empty(lst)) {
417 call = list_get_instance(lst->next, call_t, link);
418 if (call->buffer)
419 free(call->buffer);
420 list_remove(&call->link);
421
422 IPC_SET_RETVAL(call->data, EHANGUP);
423 _ipc_answer_free_call(call);
424 }
425}
426
427/** Cleans up all IPC communication of the current task.
428 *
429 * Note: ipc_hangup sets returning answerbox to TASK->answerbox, you
430 * have to change it as well if you want to cleanup other tasks than TASK.
431 */
432void ipc_cleanup(void)
433{
434 int i;
435 call_t *call;
436 phone_t *phone;
437 DEADLOCK_PROBE_INIT(p_phonelck);
438
439 /* Disconnect all our phones ('ipc_phone_hangup') */
440 for (i = 0; i < IPC_MAX_PHONES; i++)
441 ipc_phone_hangup(&TASK->phones[i]);
442
443 /* Disconnect all connected irqs */
444 ipc_irq_cleanup(&TASK->answerbox);
445
446 /* Disconnect all phones connected to our answerbox */
447restart_phones:
448 spinlock_lock(&TASK->answerbox.lock);
449 while (!list_empty(&TASK->answerbox.connected_phones)) {
450 phone = list_get_instance(TASK->answerbox.connected_phones.next,
451 phone_t, link);
452 if (!spinlock_trylock(&phone->lock)) {
453 spinlock_unlock(&TASK->answerbox.lock);
454 DEADLOCK_PROBE(p_phonelck, DEADLOCK_THRESHOLD);
455 goto restart_phones;
456 }
457
458 /* Disconnect phone */
459 ASSERT(phone->state == IPC_PHONE_CONNECTED);
460 phone->state = IPC_PHONE_SLAMMED;
461 list_remove(&phone->link);
462
463 spinlock_unlock(&phone->lock);
464 }
465
466 /* Answer all messages in 'calls' and 'dispatched_calls' queues */
467 ipc_cleanup_call_list(&TASK->answerbox.dispatched_calls);
468 ipc_cleanup_call_list(&TASK->answerbox.calls);
469 spinlock_unlock(&TASK->answerbox.lock);
470
471 /* Wait for all async answers to arrive */
472 while (1) {
473 /* Go through all phones, until all are FREE... */
474 /* Locking not needed, no one else should modify
475 * it, when we are in cleanup */
476 for (i = 0; i < IPC_MAX_PHONES; i++) {
477 if (TASK->phones[i].state == IPC_PHONE_HUNGUP &&
478 atomic_get(&TASK->phones[i].active_calls) == 0)
479 TASK->phones[i].state = IPC_PHONE_FREE;
480
481 /* Just for sure, we might have had some
482 * IPC_PHONE_CONNECTING phones */
483 if (TASK->phones[i].state == IPC_PHONE_CONNECTED)
484 ipc_phone_hangup(&TASK->phones[i]);
485 /* If the hangup succeeded, it has sent a HANGUP
486 * message, the IPC is now in HUNGUP state, we
487 * wait for the reply to come */
488
489 if (TASK->phones[i].state != IPC_PHONE_FREE)
490 break;
491 }
492 /* Voila, got into cleanup */
493 if (i == IPC_MAX_PHONES)
494 break;
495
496 call = ipc_wait_for_call(&TASK->answerbox, SYNCH_NO_TIMEOUT,
497 SYNCH_FLAGS_NONE);
498 ASSERT((call->flags & IPC_CALL_ANSWERED) ||
499 (call->flags & IPC_CALL_NOTIF));
500 ASSERT(!(call->flags & IPC_CALL_STATIC_ALLOC));
501
502 atomic_dec(&TASK->active_calls);
503 ipc_call_free(call);
504 }
505}
506
507
508/** Initilize IPC subsystem */
509void ipc_init(void)
510{
511 ipc_call_slab = slab_cache_create("ipc_call", sizeof(call_t), 0, NULL,
512 NULL, 0);
513}
514
515
516/** List answerbox contents.
517 *
518 * @param taskid Task ID.
519 */
520void ipc_print_task(task_id_t taskid)
521{
522 task_t *task;
523 int i;
524 call_t *call;
525 link_t *tmp;
526
527 spinlock_lock(&tasks_lock);
528 task = task_find_by_id(taskid);
529 if (task)
530 spinlock_lock(&task->lock);
531 spinlock_unlock(&tasks_lock);
532 if (!task)
533 return;
534
535 /* Print opened phones & details */
536 printf("PHONE:\n");
537 for (i = 0; i < IPC_MAX_PHONES; i++) {
538 spinlock_lock(&task->phones[i].lock);
539 if (task->phones[i].state != IPC_PHONE_FREE) {
540 printf("%d: ", i);
541 switch (task->phones[i].state) {
542 case IPC_PHONE_CONNECTING:
543 printf("connecting ");
544 break;
545 case IPC_PHONE_CONNECTED:
546 printf("connected to: %p ",
547 task->phones[i].callee);
548 break;
549 case IPC_PHONE_SLAMMED:
550 printf("slammed by: %p ",
551 task->phones[i].callee);
552 break;
553 case IPC_PHONE_HUNGUP:
554 printf("hung up - was: %p ",
555 task->phones[i].callee);
556 break;
557 default:
558 break;
559 }
560 printf("active: %d\n",
561 atomic_get(&task->phones[i].active_calls));
562 }
563 spinlock_unlock(&task->phones[i].lock);
564 }
565
566
567 /* Print answerbox - calls */
568 spinlock_lock(&task->answerbox.lock);
569 printf("ABOX - CALLS:\n");
570 for (tmp = task->answerbox.calls.next; tmp != &task->answerbox.calls;
571 tmp = tmp->next) {
572 call = list_get_instance(tmp, call_t, link);
573 printf("Callid: %p Srctask:%llu M:%d A1:%d A2:%d A3:%d "
574 "A4:%d A5:%d Flags:%x\n", call, call->sender->taskid,
575 IPC_GET_METHOD(call->data), IPC_GET_ARG1(call->data),
576 IPC_GET_ARG2(call->data), IPC_GET_ARG3(call->data),
577 IPC_GET_ARG4(call->data), IPC_GET_ARG5(call->data),
578 call->flags);
579 }
580 /* Print answerbox - calls */
581 printf("ABOX - DISPATCHED CALLS:\n");
582 for (tmp=task->answerbox.dispatched_calls.next;
583 tmp != &task->answerbox.dispatched_calls;
584 tmp = tmp->next) {
585 call = list_get_instance(tmp, call_t, link);
586 printf("Callid: %p Srctask:%llu M:%d A1:%d A2:%d A3:%d "
587 "A4:%d A5:%d Flags:%x\n", call, call->sender->taskid,
588 IPC_GET_METHOD(call->data), IPC_GET_ARG1(call->data),
589 IPC_GET_ARG2(call->data), IPC_GET_ARG3(call->data),
590 IPC_GET_ARG4(call->data), IPC_GET_ARG5(call->data),
591 call->flags);
592 }
593 /* Print answerbox - calls */
594 printf("ABOX - ANSWERS:\n");
595 for (tmp = task->answerbox.answers.next; tmp != &task->answerbox.answers;
596 tmp = tmp->next) {
597 call = list_get_instance(tmp, call_t, link);
598 printf("Callid:%p M:%d A1:%d A2:%d A3:%d A4:%d A5:%d Flags:%x\n",
599 call, IPC_GET_METHOD(call->data), IPC_GET_ARG1(call->data),
600 IPC_GET_ARG2(call->data), IPC_GET_ARG3(call->data),
601 IPC_GET_ARG4(call->data), IPC_GET_ARG5(call->data),
602 call->flags);
603 }
604
605 spinlock_unlock(&task->answerbox.lock);
606 spinlock_unlock(&task->lock);
607}
608
609/** @}
610 */
Note: See TracBrowser for help on using the repository browser.