source: mainline/kernel/generic/include/ipc/ipc.h@ 228e490

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since 228e490 was 228e490, checked in by Martin Decky <martin@…>, 15 years ago

initial modifications for supporting declarative IPC interfaces

  • Property mode set to 100644
File size: 10.9 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#ifndef KERN_IPC_H_
36#define KERN_IPC_H_
37
38/** Length of data being transfered with IPC call
39 *
40 * The uspace may not be able to utilize full length
41 *
42 */
43#define IPC_CALL_LEN 6
44
45/** Maximum active async calls per phone */
46#define IPC_MAX_ASYNC_CALLS 4
47
48/* Flags for calls */
49
50/** This is answer to a call */
51#define IPC_CALL_ANSWERED (1 << 0)
52
53/** Answer will not be passed to userspace, will be discarded */
54#define IPC_CALL_DISCARD_ANSWER (1 << 1)
55
56/** Call was forwarded */
57#define IPC_CALL_FORWARDED (1 << 2)
58
59/** Identify connect_me_to answer */
60#define IPC_CALL_CONN_ME_TO (1 << 3)
61
62/** Interrupt notification */
63#define IPC_CALL_NOTIF (1 << 4)
64
65
66/** Bits used in call hashes.
67 *
68 * The addresses are aligned at least to 4 that is why we can use the 2 least
69 * significant bits of the call address.
70 *
71 */
72
73/** Type of this call is 'answer' */
74#define IPC_CALLID_ANSWERED 1
75
76/** Type of this call is 'notification' */
77#define IPC_CALLID_NOTIFICATION 2
78
79/* Return values from sys_ipc_call_async(). */
80#define IPC_CALLRET_FATAL -1
81#define IPC_CALLRET_TEMPORARY -2
82
83
84/* Macros for manipulating calling data */
85#define IPC_SET_RETVAL(data, retval) ((data).args[0] = (retval))
86#define IPC_SET_IMETHOD(data, val) ((data).args[0] = (val))
87#define IPC_SET_ARG1(data, val) ((data).args[1] = (val))
88#define IPC_SET_ARG2(data, val) ((data).args[2] = (val))
89#define IPC_SET_ARG3(data, val) ((data).args[3] = (val))
90#define IPC_SET_ARG4(data, val) ((data).args[4] = (val))
91#define IPC_SET_ARG5(data, val) ((data).args[5] = (val))
92
93#define IPC_GET_IMETHOD(data) ((data).args[0])
94#define IPC_GET_RETVAL(data) ((data).args[0])
95
96#define IPC_GET_ARG1(data) ((data).args[1])
97#define IPC_GET_ARG2(data) ((data).args[2])
98#define IPC_GET_ARG3(data) ((data).args[3])
99#define IPC_GET_ARG4(data) ((data).args[4])
100#define IPC_GET_ARG5(data) ((data).args[5])
101
102/* Well known phone descriptors */
103#define PHONE_NS 0
104
105/* Forwarding flags. */
106#define IPC_FF_NONE 0
107
108/**
109 * The call will be routed as though it was initially sent via the phone used to
110 * forward it. This feature is intended to support the situation in which the
111 * forwarded call needs to be handled by the same connection fibril as any other
112 * calls that were initially sent by the forwarder to the same destination. This
113 * flag has no imapct on routing replies.
114 *
115 */
116#define IPC_FF_ROUTE_FROM_ME (1 << 0)
117
118/** Kernel IPC interfaces
119 *
120 */
121#define IPC_IF_KERNEL 0
122
123/** System-specific methods - only through special syscalls
124 *
125 * These methods have special behaviour. These methods also
126 * have the implicit kernel interface 0.
127 *
128 */
129
130/** Clone connection.
131 *
132 * The calling task clones one of its phones for the callee.
133 *
134 * - ARG1 - The caller sets ARG1 to the phone of the cloned connection.
135 * - The callee gets the new phone from ARG1.
136 *
137 * - on answer, the callee acknowledges the new connection by sending EOK back
138 * or the kernel closes it
139 *
140 */
141#define IPC_M_CONNECTION_CLONE 1
142
143/** Protocol for CONNECT - ME
144 *
145 * Through this call, the recipient learns about the new cloned connection.
146 *
147 * - ARG5 - the kernel sets ARG5 to contain the hash of the used phone
148 * - on asnwer, the callee acknowledges the new connection by sending EOK back
149 * or the kernel closes it
150 *
151 */
152#define IPC_M_CONNECT_ME 2
153
154/** Protocol for CONNECT - TO - ME
155 *
156 * Calling process asks the callee to create a callback connection,
157 * so that it can start initiating new messages.
158 *
159 * The protocol for negotiating is:
160 * - sys_connect_to_me - sends a message IPC_M_CONNECT_TO_ME
161 * - recipient - upon receipt tries to allocate new phone
162 * - if it fails, responds with ELIMIT
163 * - passes call to userspace. If userspace
164 * responds with error, phone is deallocated and
165 * error is sent back to caller. Otherwise
166 * the call is accepted and the response is sent back.
167 * - the allocated phoneid is passed to userspace
168 * (on the receiving side) as ARG5 of the call.
169 *
170 */
171#define IPC_M_CONNECT_TO_ME 3
172
173/** Protocol for CONNECT - ME - TO
174 *
175 * Calling process asks the callee to create for him a new connection.
176 * E.g. the caller wants a name server to connect him to print server.
177 *
178 * The protocol for negotiating is:
179 * - sys_connect_me_to - send a synchronous message to name server
180 * indicating that it wants to be connected to some
181 * service
182 * - arg1/2/3 are user specified, arg5 contains
183 * address of the phone that should be connected
184 * (TODO: it leaks to userspace)
185 * - recipient - if ipc_answer == 0, then accept connection
186 * - otherwise connection refused
187 * - recepient may forward message.
188 *
189 */
190#define IPC_M_CONNECT_ME_TO 4
191
192/** This message is sent to answerbox when the phone is hung up
193 *
194 */
195#define IPC_M_PHONE_HUNGUP 5
196
197/** Send as_area over IPC.
198 * - ARG1 - source as_area base address
199 * - ARG2 - size of source as_area (filled automatically by kernel)
200 * - ARG3 - flags of the as_area being sent
201 *
202 * on answer, the recipient must set:
203 * - ARG1 - dst as_area base adress
204 *
205 */
206#define IPC_M_SHARE_OUT 6
207
208/** Receive as_area over IPC.
209 * - ARG1 - destination as_area base address
210 * - ARG2 - destination as_area size
211 * - ARG3 - user defined argument
212 *
213 * on answer, the recipient must set:
214 *
215 * - ARG1 - source as_area base address
216 * - ARG2 - flags that will be used for sharing
217 *
218 */
219#define IPC_M_SHARE_IN 7
220
221/** Send data to another address space over IPC.
222 * - ARG1 - source address space virtual address
223 * - ARG2 - size of data to be copied, may be overriden by the recipient
224 *
225 * on answer, the recipient must set:
226 *
227 * - ARG1 - final destination address space virtual address
228 * - ARG2 - final size of data to be copied
229 *
230 */
231#define IPC_M_DATA_WRITE 8
232
233/** Receive data from another address space over IPC.
234 * - ARG1 - destination virtual address in the source address space
235 * - ARG2 - size of data to be received, may be cropped by the recipient
236 *
237 * on answer, the recipient must set:
238 *
239 * - ARG1 - source virtual address in the destination address space
240 * - ARG2 - final size of data to be copied
241 *
242 */
243#define IPC_M_DATA_READ 9
244
245/** Debug the recipient.
246 * - ARG1 - specifies the debug method (from udebug_method_t)
247 * - other arguments are specific to the debug method
248 *
249 */
250#define IPC_M_DEBUG_ALL 10
251
252/* Well-known methods */
253#define IPC_M_LAST_SYSTEM 511
254#define IPC_M_PING 512
255
256/* User methods */
257#define IPC_FIRST_USER_METHOD 1024
258
259#ifdef KERNEL
260
261#define IPC_MAX_PHONES 32
262
263#include <synch/spinlock.h>
264#include <synch/mutex.h>
265#include <synch/waitq.h>
266
267struct answerbox;
268struct task;
269
270typedef enum {
271 /** Phone is free and can be allocated */
272 IPC_PHONE_FREE = 0,
273 /** Phone is connecting somewhere */
274 IPC_PHONE_CONNECTING,
275 /** Phone is connected */
276 IPC_PHONE_CONNECTED,
277 /** Phone is hung up, waiting for answers to come */
278 IPC_PHONE_HUNGUP,
279 /** Phone was hungup from server */
280 IPC_PHONE_SLAMMED
281} ipc_phone_state_t;
282
283/** Structure identifying phone (in TASK structure) */
284typedef struct {
285 mutex_t lock;
286 link_t link;
287 struct answerbox *callee;
288 ipc_phone_state_t state;
289 atomic_t active_calls;
290} phone_t;
291
292typedef struct answerbox {
293 IRQ_SPINLOCK_DECLARE(lock);
294
295 struct task *task;
296
297 waitq_t wq;
298
299 /** Linkage for the list of task's synchronous answerboxes. */
300 link_t sync_box_link;
301
302 /** Phones connected to this answerbox. */
303 link_t connected_phones;
304 /** Received calls. */
305 link_t calls;
306 link_t dispatched_calls; /* Should be hash table in the future */
307
308 /** Answered calls. */
309 link_t answers;
310
311 IRQ_SPINLOCK_DECLARE(irq_lock);
312
313 /** Notifications from IRQ handlers. */
314 link_t irq_notifs;
315 /** IRQs with notifications to this answerbox. */
316 link_t irq_head;
317} answerbox_t;
318
319typedef struct {
320 sysarg_t args[IPC_CALL_LEN];
321 phone_t *phone;
322} ipc_data_t;
323
324typedef struct {
325 link_t link;
326
327 unsigned int flags;
328
329 /** Identification of the caller. */
330 struct task *sender;
331
332 /*
333 * The caller box is different from sender->answerbox
334 * for synchronous calls.
335 *
336 */
337 answerbox_t *callerbox;
338
339 /** Private data to internal IPC. */
340 sysarg_t priv;
341
342 /** Data passed from/to userspace. */
343 ipc_data_t data;
344
345 /** Buffer for IPC_M_DATA_WRITE and IPC_M_DATA_READ. */
346 uint8_t *buffer;
347
348 /*
349 * The forward operation can masquerade the caller phone. For those
350 * cases, we must keep it aside so that the answer is processed
351 * correctly.
352 *
353 */
354 phone_t *caller_phone;
355} call_t;
356
357extern answerbox_t *ipc_phone_0;
358
359extern void ipc_init(void);
360
361extern call_t *ipc_call_alloc(unsigned int);
362extern void ipc_call_free(call_t *);
363
364extern int ipc_call(phone_t *, call_t *);
365extern int ipc_call_sync(phone_t *, call_t *);
366extern call_t * ipc_wait_for_call(answerbox_t *, uint32_t, unsigned int);
367extern int ipc_forward(call_t *, phone_t *, answerbox_t *, unsigned int);
368extern void ipc_answer(answerbox_t *, call_t *);
369
370extern void ipc_phone_init(phone_t *);
371extern void ipc_phone_connect(phone_t *, answerbox_t *);
372extern int ipc_phone_hangup(phone_t *);
373
374extern void ipc_answerbox_init(answerbox_t *, struct task *);
375
376extern void ipc_cleanup(void);
377extern void ipc_backsend_err(phone_t *, call_t *, sysarg_t);
378extern void ipc_answerbox_slam_phones(answerbox_t *, bool);
379extern void ipc_cleanup_call_list(link_t *);
380
381extern void ipc_print_task(task_id_t);
382
383#endif /* KERNEL */
384
385#endif
386
387/** @}
388 */
Note: See TracBrowser for help on using the repository browser.