Subversion Repositories HelenOS-historic

Rev

Rev 1709 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
954 palkovsky 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.
1653 cejka 27
 */
28
 
29
/** @addtogroup libc
30
 * @{
31
 * @}
32
 */
33
 
34
 /** @addtogroup libcipc IPC
35
 * @brief HelenOS uspace IPC
36
 * @{
37
 * @ingroup libc
38
 */
39
/** @file
954 palkovsky 40
 */ 
41
 
1352 palkovsky 42
#include <ipc/ipc.h>
954 palkovsky 43
#include <libc.h>
999 palkovsky 44
#include <malloc.h>
45
#include <errno.h>
1352 palkovsky 46
#include <libadt/list.h>
999 palkovsky 47
#include <stdio.h>
48
#include <unistd.h>
1350 palkovsky 49
#include <futex.h>
1365 jermar 50
#include <kernel/synch/synch.h>
1463 palkovsky 51
#include <async.h>
52
#include <psthread.h>
954 palkovsky 53
 
999 palkovsky 54
/** Structure used for keeping track of sent async msgs 
55
 * and queing unsent msgs
56
 *
57
 */
58
typedef struct {
59
	link_t list;
60
 
61
	ipc_async_callback_t callback;
62
	void *private;
63
	union {
64
		ipc_callid_t callid;
65
		struct {
1091 palkovsky 66
			ipc_call_t data;
999 palkovsky 67
			int phoneid;
68
		} msg;
69
	}u;
1463 palkovsky 70
	pstid_t ptid;   /**< Thread waiting for sending this msg */
999 palkovsky 71
} async_call_t;
72
 
73
LIST_INITIALIZE(dispatched_calls);
74
 
1463 palkovsky 75
/* queued_calls is protcted by async_futex, because if the
76
 * call cannot be sent into kernel, async framework is used
77
 * automatically
78
 */
79
LIST_INITIALIZE(queued_calls); /**< List of async calls that were not accepted
80
				*   by kernel */
81
 
1392 palkovsky 82
static atomic_t ipc_futex = FUTEX_INITIALIZER;
1350 palkovsky 83
 
999 palkovsky 84
int ipc_call_sync(int phoneid, ipcarg_t method, ipcarg_t arg1, 
85
		  ipcarg_t *result)
954 palkovsky 86
{
1091 palkovsky 87
	ipc_call_t resdata;
966 palkovsky 88
	int callres;
89
 
999 palkovsky 90
	callres = __SYSCALL4(SYS_IPC_CALL_SYNC_FAST, phoneid, method, arg1,
966 palkovsky 91
			     (sysarg_t)&resdata);
92
	if (callres)
93
		return callres;
94
	if (result)
95
		*result = IPC_GET_ARG1(resdata);
96
	return IPC_GET_RETVAL(resdata);
954 palkovsky 97
}
98
 
999 palkovsky 99
int ipc_call_sync_3(int phoneid, ipcarg_t method, ipcarg_t arg1,
100
		    ipcarg_t arg2, ipcarg_t arg3,
101
		    ipcarg_t *result1, ipcarg_t *result2, ipcarg_t *result3)
954 palkovsky 102
{
1091 palkovsky 103
	ipc_call_t data;
966 palkovsky 104
	int callres;
105
 
106
	IPC_SET_METHOD(data, method);
107
	IPC_SET_ARG1(data, arg1);
108
	IPC_SET_ARG2(data, arg2);
109
	IPC_SET_ARG3(data, arg3);
110
 
1006 palkovsky 111
	callres = __SYSCALL3(SYS_IPC_CALL_SYNC, phoneid, (sysarg_t)&data,
112
			     (sysarg_t)&data);
966 palkovsky 113
	if (callres)
114
		return callres;
115
 
116
	if (result1)
117
		*result1 = IPC_GET_ARG1(data);
118
	if (result2)
119
		*result2 = IPC_GET_ARG2(data);
120
	if (result3)
121
		*result3 = IPC_GET_ARG3(data);
122
	return IPC_GET_RETVAL(data);
123
}
124
 
999 palkovsky 125
/** Syscall to send asynchronous message */
1091 palkovsky 126
static	ipc_callid_t _ipc_call_async(int phoneid, ipc_call_t *data)
999 palkovsky 127
{
128
	return __SYSCALL2(SYS_IPC_CALL_ASYNC, phoneid, (sysarg_t)data);
129
}
130
 
1489 palkovsky 131
/** Prolog to ipc_async_send functions */
132
static inline async_call_t *ipc_prepare_async(void *private, ipc_async_callback_t callback)
966 palkovsky 133
{
999 palkovsky 134
	async_call_t *call;
966 palkovsky 135
 
999 palkovsky 136
	call = malloc(sizeof(*call));
137
	if (!call) {
1443 palkovsky 138
		if (callback)
139
			callback(private, ENOMEM, NULL);
1489 palkovsky 140
		return NULL;
999 palkovsky 141
	}
1463 palkovsky 142
	call->callback = callback;
143
	call->private = private;
144
 
1489 palkovsky 145
	return call;
146
}
147
 
148
/** Epilogue of ipc_async_send functions */
1518 palkovsky 149
static inline void ipc_finish_async(ipc_callid_t callid, int phoneid, 
150
				    async_call_t *call, int can_preempt)
1489 palkovsky 151
{
1751 palkovsky 152
	if (!call) { /* Nothing to do regardless if failed or not */
153
		futex_up(&ipc_futex);
154
		return;
155
	}
156
 
966 palkovsky 157
	if (callid == IPC_CALLRET_FATAL) {
1463 palkovsky 158
		futex_up(&ipc_futex);
966 palkovsky 159
		/* Call asynchronous handler with error code */
1489 palkovsky 160
		if (call->callback)
161
			call->callback(call->private, ENOENT, NULL);
999 palkovsky 162
		free(call);
966 palkovsky 163
		return;
164
	}
999 palkovsky 165
 
1463 palkovsky 166
	if (callid == IPC_CALLRET_TEMPORARY) {
167
		futex_up(&ipc_futex);
999 palkovsky 168
 
169
		call->u.msg.phoneid = phoneid;
1518 palkovsky 170
 
1463 palkovsky 171
		futex_down(&async_futex);
999 palkovsky 172
		list_append(&call->list, &queued_calls);
1463 palkovsky 173
 
1518 palkovsky 174
		if (can_preempt) {
175
			call->ptid = psthread_get_id();
176
			psthread_schedule_next_adv(PS_TO_MANAGER);
177
			/* Async futex unlocked by previous call */
178
		} else {
179
			call->ptid = 0;
180
			futex_up(&async_futex);
181
		}
966 palkovsky 182
		return;
183
	}
999 palkovsky 184
	call->u.callid = callid;
185
	/* Add call to list of dispatched calls */
186
	list_append(&call->list, &dispatched_calls);
1350 palkovsky 187
	futex_up(&ipc_futex);
1489 palkovsky 188
 
954 palkovsky 189
}
190
 
1489 palkovsky 191
/** Send asynchronous message
192
 *
193
 * - if fatal error, call callback handler with proper error code
194
 * - if message cannot be temporarily sent, add to queue
195
 */
196
void ipc_call_async_2(int phoneid, ipcarg_t method, ipcarg_t arg1,
197
		      ipcarg_t arg2, void *private,
1518 palkovsky 198
		      ipc_async_callback_t callback, int can_preempt)
1489 palkovsky 199
{
1751 palkovsky 200
	async_call_t *call = NULL;
1489 palkovsky 201
	ipc_callid_t callid;
966 palkovsky 202
 
1751 palkovsky 203
	if (callback) {
204
		call = ipc_prepare_async(private, callback);
205
		if (!call)
206
			return;
207
	}
1489 palkovsky 208
 
209
	/* We need to make sure that we get callid before
210
	 * another thread accesses the queue again */
211
	futex_down(&ipc_futex);
212
	callid = __SYSCALL4(SYS_IPC_CALL_ASYNC_FAST, phoneid, method, arg1, arg2);
213
 
214
	if (callid == IPC_CALLRET_TEMPORARY) {
1751 palkovsky 215
		if (!call) {
216
			call = ipc_prepare_async(private, callback);
217
			if (!call)
218
				return;
219
		}
1489 palkovsky 220
		IPC_SET_METHOD(call->u.msg.data, method);
221
		IPC_SET_ARG1(call->u.msg.data, arg1);
222
		IPC_SET_ARG2(call->u.msg.data, arg2);
223
	}
1518 palkovsky 224
	ipc_finish_async(callid, phoneid, call, can_preempt);
1489 palkovsky 225
}
226
 
227
/** Send asynchronous message
228
 *
229
 * - if fatal error, call callback handler with proper error code
230
 * - if message cannot be temporarily sent, add to queue
231
 */
232
void ipc_call_async_3(int phoneid, ipcarg_t method, ipcarg_t arg1,
233
		      ipcarg_t arg2, ipcarg_t arg3, void *private,
1518 palkovsky 234
		      ipc_async_callback_t callback, int can_preempt)
1489 palkovsky 235
{
236
	async_call_t *call;
237
	ipc_callid_t callid;
238
 
239
	call = ipc_prepare_async(private, callback);
240
	if (!call)
241
		return;
242
 
243
	IPC_SET_METHOD(call->u.msg.data, method);
244
	IPC_SET_ARG1(call->u.msg.data, arg1);
245
	IPC_SET_ARG2(call->u.msg.data, arg2);
246
	IPC_SET_ARG3(call->u.msg.data, arg3);
247
	/* We need to make sure that we get callid before
248
	 * another thread accesses the queue again */
249
	futex_down(&ipc_futex);
250
	callid = _ipc_call_async(phoneid, &call->u.msg.data);
251
 
1518 palkovsky 252
	ipc_finish_async(callid, phoneid, call, can_preempt);
1489 palkovsky 253
}
254
 
255
 
1343 jermar 256
/** Send a fast answer to a received call.
257
 *
258
 * The fast answer makes use of passing retval and first two arguments in registers.
259
 * If you need to return more, use the ipc_answer() instead.
260
 *
261
 * @param callid ID of the call being answered.
262
 * @param retval Return value.
263
 * @param arg1 First return argument.
264
 * @param arg2 Second return argument.
265
 *
266
 * @return Zero on success or a value from @ref errno.h on failure.
267
 */
268
ipcarg_t ipc_answer_fast(ipc_callid_t callid, ipcarg_t retval, ipcarg_t arg1,
999 palkovsky 269
		ipcarg_t arg2)
954 palkovsky 270
{
1330 palkovsky 271
	return __SYSCALL4(SYS_IPC_ANSWER_FAST, callid, retval, arg1, arg2);
954 palkovsky 272
}
273
 
1343 jermar 274
/** Send a full answer to a received call.
275
 *
276
 * @param callid ID of the call being answered.
277
 * @param call Call data. Must be already initialized by the responder.
278
 *
279
 * @return Zero on success or a value from @ref errno.h on failure.
280
 */
281
ipcarg_t ipc_answer(ipc_callid_t callid, ipc_call_t *call)
282
{
283
	return __SYSCALL2(SYS_IPC_ANSWER, callid, (sysarg_t) call);
284
}
285
 
286
 
999 palkovsky 287
/** Try to dispatch queed calls from async queue */
288
static void try_dispatch_queued_calls(void)
289
{
290
	async_call_t *call;
291
	ipc_callid_t callid;
292
 
1463 palkovsky 293
	/* TODO: integrate intelligently ipc_futex, so that it
294
	 * is locked during ipc_call_async, until it is added
295
	 * to dispatched_calls
296
	 */
297
	futex_down(&async_futex);
999 palkovsky 298
	while (!list_empty(&queued_calls)) {
299
		call = list_get_instance(queued_calls.next, async_call_t,
300
					 list);
301
 
302
		callid = _ipc_call_async(call->u.msg.phoneid,
303
					 &call->u.msg.data);
1463 palkovsky 304
		if (callid == IPC_CALLRET_TEMPORARY) {
999 palkovsky 305
			break;
1463 palkovsky 306
		}
999 palkovsky 307
		list_remove(&call->list);
1350 palkovsky 308
 
1463 palkovsky 309
		futex_up(&async_futex);
1518 palkovsky 310
		if (call->ptid)
311
			psthread_add_ready(call->ptid);
1463 palkovsky 312
 
999 palkovsky 313
		if (callid == IPC_CALLRET_FATAL) {
1443 palkovsky 314
			if (call->callback)
315
				call->callback(call->private, ENOENT, NULL);
999 palkovsky 316
			free(call);
317
		} else {
318
			call->u.callid = callid;
1463 palkovsky 319
			futex_down(&ipc_futex);
999 palkovsky 320
			list_append(&call->list, &dispatched_calls);
1463 palkovsky 321
			futex_up(&ipc_futex);
999 palkovsky 322
		}
1463 palkovsky 323
		futex_down(&async_futex);
999 palkovsky 324
	}
1463 palkovsky 325
	futex_up(&async_futex);
999 palkovsky 326
}
327
 
328
/** Handle received answer
329
 *
330
 * TODO: Make it use hash table
331
 *
332
 * @param callid Callid (with first bit set) of the answered call
333
 */
1091 palkovsky 334
static void handle_answer(ipc_callid_t callid, ipc_call_t *data)
999 palkovsky 335
{
336
	link_t *item;
337
	async_call_t *call;
338
 
339
	callid &= ~IPC_CALLID_ANSWERED;
340
 
1350 palkovsky 341
	futex_down(&ipc_futex);
999 palkovsky 342
	for (item = dispatched_calls.next; item != &dispatched_calls;
343
	     item = item->next) {
344
		call = list_get_instance(item, async_call_t, list);
345
		if (call->u.callid == callid) {
346
			list_remove(&call->list);
1350 palkovsky 347
			futex_up(&ipc_futex);
1443 palkovsky 348
			if (call->callback)
349
				call->callback(call->private, 
350
					       IPC_GET_RETVAL(*data),
351
					       data);
352
			free(call);
999 palkovsky 353
			return;
354
		}
355
	}
1350 palkovsky 356
	futex_up(&ipc_futex);
1751 palkovsky 357
	/* We may get here after async_msg, which doesn't register any callback */
999 palkovsky 358
}
359
 
360
 
1392 palkovsky 361
/** One cycle of ipc wait for call call
954 palkovsky 362
 *
363
 * - dispatch ASYNC reoutines in the background
1365 jermar 364
 * @param call Space where the message is stored
1392 palkovsky 365
 * @param usec Timeout in microseconds
366
 * @param flags Flags passed to SYS_IPC_WAIT (blocking, nonblocking)
1365 jermar 367
 * @return Callid of the answer.
954 palkovsky 368
 */
1392 palkovsky 369
ipc_callid_t ipc_wait_cycle(ipc_call_t *call, uint32_t usec, int flags)
954 palkovsky 370
{
371
	ipc_callid_t callid;
372
 
1392 palkovsky 373
	callid = __SYSCALL3(SYS_IPC_WAIT, (sysarg_t) call, usec, flags);
374
	/* Handle received answers */
1463 palkovsky 375
	if (callid & IPC_CALLID_ANSWERED) {
1392 palkovsky 376
		handle_answer(callid, call);
1463 palkovsky 377
		try_dispatch_queued_calls();
378
	}
999 palkovsky 379
 
954 palkovsky 380
	return callid;
381
}
1028 palkovsky 382
 
1365 jermar 383
/** Wait some time for an IPC call.
384
 *
385
 * - dispatch ASYNC reoutines in the background
1709 jermar 386
 *
1365 jermar 387
 * @param call Space where the message is stored
388
 * @param usec Timeout in microseconds.
389
 * @return Callid of the answer.
390
 */
391
ipc_callid_t ipc_wait_for_call_timeout(ipc_call_t *call, uint32_t usec)
392
{
393
	ipc_callid_t callid;
394
 
395
	do {
1503 jermar 396
		callid = ipc_wait_cycle(call, usec, SYNCH_FLAGS_NONE);
1365 jermar 397
	} while (callid & IPC_CALLID_ANSWERED);
398
 
399
	return callid;
400
}
401
 
402
/** Check if there is an IPC call waiting to be picked up.
403
 *
404
 * - dispatch ASYNC reoutines in the background
1709 jermar 405
 *
1365 jermar 406
 * @param call Space where the message is stored
407
 * @return Callid of the answer.
408
 */
409
ipc_callid_t ipc_trywait_for_call(ipc_call_t *call)
410
{
411
	ipc_callid_t callid;
412
 
413
	do {
1503 jermar 414
		callid = ipc_wait_cycle(call, SYNCH_NO_TIMEOUT, SYNCH_FLAGS_NON_BLOCKING);
1365 jermar 415
	} while (callid & IPC_CALLID_ANSWERED);
416
 
417
	return callid;
418
}
419
 
1091 palkovsky 420
/** Ask destination to do a callback connection
421
 *
422
 * @return 0 - OK, error code
423
 */
424
int ipc_connect_to_me(int phoneid, int arg1, int arg2, ipcarg_t *phone)
1028 palkovsky 425
{
1091 palkovsky 426
	return ipc_call_sync_3(phoneid, IPC_M_CONNECT_TO_ME, arg1,
427
			       arg2, 0, 0, 0, phone);
1028 palkovsky 428
}
1061 palkovsky 429
 
1091 palkovsky 430
/** Ask through phone for a new connection to some service
431
 *
432
 * @return new phoneid - OK, error code
433
 */
1061 palkovsky 434
int ipc_connect_me_to(int phoneid, int arg1, int arg2)
435
{
1092 palkovsky 436
	ipcarg_t newphid;
1091 palkovsky 437
	int res;
438
 
439
	res =  ipc_call_sync_3(phoneid, IPC_M_CONNECT_ME_TO, arg1,
440
			       arg2, 0, 0, 0, &newphid);
441
	if (res)
442
		return res;
443
	return newphid;
1061 palkovsky 444
}
445
 
1089 palkovsky 446
/* Hang up specified phone */
447
int ipc_hangup(int phoneid)
448
{
449
	return __SYSCALL1(SYS_IPC_HANGUP, phoneid);
450
}
1259 palkovsky 451
 
1282 palkovsky 452
int ipc_register_irq(int irq, irq_code_t *ucode)
1259 palkovsky 453
{
1282 palkovsky 454
	return __SYSCALL2(SYS_IPC_REGISTER_IRQ, irq, (sysarg_t) ucode);
1259 palkovsky 455
}
456
 
457
int ipc_unregister_irq(int irq)
458
{
459
	return __SYSCALL1(SYS_IPC_UNREGISTER_IRQ, irq);
460
}
1330 palkovsky 461
 
1336 jermar 462
int ipc_forward_fast(ipc_callid_t callid, int phoneid, int method, ipcarg_t arg1)
463
{
464
	return __SYSCALL4(SYS_IPC_FORWARD_FAST, callid, phoneid, method, arg1);
465
}
466
 
1653 cejka 467
 
468
 
469
 /** @}
470
 */
471
 
472