Rev 4617 | Rev 4619 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4617 | Rev 4618 | ||
---|---|---|---|
Line 1... | Line 1... | ||
1 | /* |
1 | /* |
2 | * Copyright (c) 2009 Martin Decky |
2 | * Copyright (c) 2009 Martin Decky |
- | 3 | * Copyright (c) 2009 Jiri Svoboda |
|
3 | * All rights reserved. |
4 | * All rights reserved. |
4 | * |
5 | * |
5 | * Redistribution and use in source and binary forms, with or without |
6 | * Redistribution and use in source and binary forms, with or without |
6 | * modification, are permitted provided that the following conditions |
7 | * modification, are permitted provided that the following conditions |
7 | * are met: |
8 | * are met: |
Line 39... | Line 40... | ||
39 | #include <macros.h> |
40 | #include <macros.h> |
40 | #include "task.h" |
41 | #include "task.h" |
41 | #include "ns.h" |
42 | #include "ns.h" |
42 | 43 | ||
43 | #define TASK_HASH_TABLE_CHAINS 256 |
44 | #define TASK_HASH_TABLE_CHAINS 256 |
- | 45 | #define P2I_HASH_TABLE_CHAINS 256 |
|
- | 46 | ||
- | 47 | static int get_id_by_phone(ipcarg_t phone_hash, task_id_t *id); |
|
44 | 48 | ||
45 | /* TODO: |
49 | /* TODO: |
46 | * |
50 | * |
47 | * The current implementation of waiting on a task is not perfect. If somebody |
51 | * The current implementation of waiting on a task is not perfect. If somebody |
48 | * wants to wait on a task which has already finished before the NS asked |
- | |
49 | * the kernel to receive notifications, it would block indefinitively. |
- | |
50 | * |
- | |
51 | * A solution to this is to fail immediately on a task for which no creation |
- | |
52 | * notification was received yet. However, there is a danger of a race condition |
- | |
53 | * in this solution -- the caller has to make sure that it is not trying to wait |
52 | * The caller has to make sure that it is not trying to wait |
54 | * before the NS has a change to receive the task creation notification. This |
53 | * before the NS has a change to receive the task creation notification. This |
55 | * can be assured by waiting for this event in task_spawn(). |
54 | * can be assured by waiting for this event in task_spawn(). |
56 | * |
55 | * |
57 | * Finally, as there is currently no convention that each task has to be waited |
56 | * Finally, as there is currently no convention that each task has to be waited |
58 | * for, the NS can leak memory because of the zombie tasks. |
57 | * for, the NS can leak memory because of the zombie tasks. |
Line 82... | Line 81... | ||
82 | } |
81 | } |
83 | 82 | ||
84 | /** Compare a key with hashed item. |
83 | /** Compare a key with hashed item. |
85 | * |
84 | * |
86 | * @param key Array of keys. |
85 | * @param key Array of keys. |
87 | * @param keys Must be lesser or equal to 2. |
86 | * @param keys Must be less than or equal to 2. |
88 | * @param item Pointer to a hash table item. |
87 | * @param item Pointer to a hash table item. |
89 | * |
88 | * |
90 | * @return Non-zero if the key matches the item, zero otherwise. |
89 | * @return Non-zero if the key matches the item, zero otherwise. |
91 | * |
90 | * |
92 | */ |
91 | */ |
Line 124... | Line 123... | ||
124 | }; |
123 | }; |
125 | 124 | ||
126 | /** Task hash table structure. */ |
125 | /** Task hash table structure. */ |
127 | static hash_table_t task_hash_table; |
126 | static hash_table_t task_hash_table; |
128 | 127 | ||
- | 128 | typedef struct { |
|
- | 129 | link_t link; |
|
- | 130 | ipcarg_t phash; /**< Task ID. */ |
|
- | 131 | task_id_t id; /**< Task ID. */ |
|
- | 132 | } p2i_entry_t; |
|
- | 133 | ||
- | 134 | /** Compute hash index into task hash table. |
|
- | 135 | * |
|
- | 136 | * @param key Array of keys. |
|
- | 137 | * @return Hash index corresponding to key[0]. |
|
- | 138 | * |
|
- | 139 | */ |
|
- | 140 | static hash_index_t p2i_hash(unsigned long *key) |
|
- | 141 | { |
|
- | 142 | assert(key); |
|
- | 143 | return (*key % TASK_HASH_TABLE_CHAINS); |
|
- | 144 | } |
|
- | 145 | ||
- | 146 | /** Compare a key with hashed item. |
|
- | 147 | * |
|
- | 148 | * @param key Array of keys. |
|
- | 149 | * @param keys Must be less than or equal to 1. |
|
- | 150 | * @param item Pointer to a hash table item. |
|
- | 151 | * |
|
- | 152 | * @return Non-zero if the key matches the item, zero otherwise. |
|
- | 153 | * |
|
- | 154 | */ |
|
- | 155 | static int p2i_compare(unsigned long key[], hash_count_t keys, link_t *item) |
|
- | 156 | { |
|
- | 157 | assert(key); |
|
- | 158 | assert(keys == 1); |
|
- | 159 | assert(item); |
|
- | 160 | ||
- | 161 | p2i_entry_t *e = hash_table_get_instance(item, p2i_entry_t, link); |
|
- | 162 | ||
- | 163 | return (key[0] == e->phash); |
|
- | 164 | } |
|
- | 165 | ||
- | 166 | /** Perform actions after removal of item from the hash table. |
|
- | 167 | * |
|
- | 168 | * @param item Item that was removed from the hash table. |
|
- | 169 | * |
|
- | 170 | */ |
|
- | 171 | static void p2i_remove(link_t *item) |
|
- | 172 | { |
|
- | 173 | assert(item); |
|
- | 174 | free(hash_table_get_instance(item, p2i_entry_t, link)); |
|
- | 175 | } |
|
- | 176 | ||
- | 177 | /** Operations for task hash table. */ |
|
- | 178 | static hash_table_operations_t p2i_ops = { |
|
- | 179 | .hash = p2i_hash, |
|
- | 180 | .compare = p2i_compare, |
|
- | 181 | .remove_callback = p2i_remove |
|
- | 182 | }; |
|
- | 183 | ||
- | 184 | /** Map phone hash to task ID */ |
|
- | 185 | static hash_table_t phone_to_id; |
|
- | 186 | ||
129 | /** Pending task wait structure. */ |
187 | /** Pending task wait structure. */ |
130 | typedef struct { |
188 | typedef struct { |
131 | link_t link; |
189 | link_t link; |
132 | task_id_t id; /**< Task ID. */ |
190 | task_id_t id; /**< Task ID. */ |
133 | ipc_callid_t callid; /**< Call ID waiting for the connection */ |
191 | ipc_callid_t callid; /**< Call ID waiting for the connection */ |
Line 140... | Line 198... | ||
140 | if (!hash_table_create(&task_hash_table, TASK_HASH_TABLE_CHAINS, |
198 | if (!hash_table_create(&task_hash_table, TASK_HASH_TABLE_CHAINS, |
141 | 2, &task_hash_table_ops)) { |
199 | 2, &task_hash_table_ops)) { |
142 | printf(NAME ": No memory available for tasks\n"); |
200 | printf(NAME ": No memory available for tasks\n"); |
143 | return ENOMEM; |
201 | return ENOMEM; |
144 | } |
202 | } |
- | 203 | ||
- | 204 | if (!hash_table_create(&phone_to_id, P2I_HASH_TABLE_CHAINS, |
|
- | 205 | 1, &p2i_ops)) { |
|
- | 206 | printf(NAME ": No memory available for tasks\n"); |
|
- | 207 | return ENOMEM; |
|
- | 208 | } |
|
145 | 209 | ||
146 | if (event_subscribe(EVENT_WAIT, 0) != EOK) |
210 | if (event_subscribe(EVENT_WAIT, 0) != EOK) |
147 | printf(NAME ": Error registering wait notifications\n"); |
211 | printf(NAME ": Error registering wait notifications\n"); |
148 | 212 | ||
149 | list_initialize(&pending_wait); |
213 | list_initialize(&pending_wait); |
Line 236... | Line 300... | ||
236 | ipcarg_t retval; |
300 | ipcarg_t retval; |
237 | unsigned long keys[2] = { |
301 | unsigned long keys[2] = { |
238 | LOWER32(id), |
302 | LOWER32(id), |
239 | UPPER32(id) |
303 | UPPER32(id) |
240 | }; |
304 | }; |
241 | 305 | ||
242 | link_t *link = hash_table_find(&task_hash_table, keys); |
306 | link_t *link = hash_table_find(&task_hash_table, keys); |
243 | hashed_task_t *ht = (link != NULL) ? |
307 | hashed_task_t *ht = (link != NULL) ? |
244 | hash_table_get_instance(link, hashed_task_t, link) : NULL; |
308 | hash_table_get_instance(link, hashed_task_t, link) : NULL; |
- | 309 | ||
- | 310 | if (ht == NULL) { |
|
- | 311 | retval = ENOENT; |
|
- | 312 | goto out; |
|
245 | 313 | } |
|
- | 314 | ||
246 | if ((ht == NULL) || (!ht->destroyed)) { |
315 | if (!ht->destroyed) { |
247 | /* Add to pending list */ |
316 | /* Add to pending list */ |
248 | pending_wait_t *pr = |
317 | pending_wait_t *pr = |
249 | (pending_wait_t *) malloc(sizeof(pending_wait_t)); |
318 | (pending_wait_t *) malloc(sizeof(pending_wait_t)); |
250 | if (!pr) { |
319 | if (!pr) { |
251 | retval = ENOMEM; |
320 | retval = ENOMEM; |
Line 264... | Line 333... | ||
264 | out: |
333 | out: |
265 | if (!(callid & IPC_CALLID_NOTIFICATION)) |
334 | if (!(callid & IPC_CALLID_NOTIFICATION)) |
266 | ipc_answer_1(callid, retval, ht->retval); |
335 | ipc_answer_1(callid, retval, ht->retval); |
267 | } |
336 | } |
268 | 337 | ||
- | 338 | int ns_task_id_intro(ipc_call_t *call) |
|
- | 339 | { |
|
- | 340 | task_id_t id; |
|
- | 341 | unsigned long keys[1]; |
|
- | 342 | link_t *link; |
|
- | 343 | p2i_entry_t *e; |
|
- | 344 | ||
- | 345 | id = MERGE_LOUP32(IPC_GET_ARG1(*call), IPC_GET_ARG2(*call)); |
|
- | 346 | ||
- | 347 | keys[0] = call->in_phone_hash; |
|
- | 348 | ||
- | 349 | link = hash_table_find(&phone_to_id, keys); |
|
- | 350 | if (link != NULL) |
|
- | 351 | return EEXISTS; |
|
- | 352 | ||
- | 353 | e = (p2i_entry_t *) malloc(sizeof(p2i_entry_t)); |
|
- | 354 | if (e == NULL) |
|
- | 355 | return ENOMEM; |
|
- | 356 | ||
- | 357 | link_initialize(&e->link); |
|
- | 358 | e->phash = call->in_phone_hash; |
|
- | 359 | e->id = id; |
|
- | 360 | hash_table_insert(&phone_to_id, keys, &e->link); |
|
- | 361 | ||
- | 362 | return EOK; |
|
- | 363 | } |
|
- | 364 | ||
269 | int ns_task_retval(ipc_call_t *call) |
365 | int ns_task_retval(ipc_call_t *call) |
270 | { |
366 | { |
271 | task_id_t id; |
367 | task_id_t id; |
272 | unsigned long keys[2]; |
368 | unsigned long keys[2]; |
- | 369 | int rc; |
|
273 | 370 | ||
274 | id = MERGE_LOUP32(IPC_GET_ARG1(*call), IPC_GET_ARG2(*call)); |
371 | rc = get_id_by_phone(call->in_phone_hash, &id); |
- | 372 | if (rc != EOK) |
|
- | 373 | return rc; |
|
275 | 374 | ||
276 | keys[0] = LOWER32(id); |
375 | keys[0] = LOWER32(id); |
277 | keys[1] = UPPER32(id); |
376 | keys[1] = UPPER32(id); |
278 | 377 | ||
279 | link_t *link = hash_table_find(&task_hash_table, keys); |
378 | link_t *link = hash_table_find(&task_hash_table, keys); |
Line 281... | Line 380... | ||
281 | hash_table_get_instance(link, hashed_task_t, link) : NULL; |
380 | hash_table_get_instance(link, hashed_task_t, link) : NULL; |
282 | 381 | ||
283 | if ((ht == NULL) || ht->destroyed) |
382 | if ((ht == NULL) || ht->destroyed) |
284 | return EINVAL; |
383 | return EINVAL; |
285 | 384 | ||
286 | ht->retval = IPC_GET_ARG3(*call); |
385 | ht->retval = IPC_GET_ARG1(*call); |
- | 386 | ||
- | 387 | return EOK; |
|
- | 388 | } |
|
- | 389 | ||
- | 390 | int ns_task_disconnect(ipc_call_t *call) |
|
- | 391 | { |
|
- | 392 | unsigned long keys[1]; |
|
- | 393 | ||
- | 394 | keys[0] = call->in_phone_hash; |
|
- | 395 | hash_table_remove(&phone_to_id, keys, 1); |
|
- | 396 | ||
- | 397 | return EOK; |
|
- | 398 | } |
|
- | 399 | ||
- | 400 | static int get_id_by_phone(ipcarg_t phone_hash, task_id_t *id) |
|
- | 401 | { |
|
- | 402 | unsigned long keys[1]; |
|
- | 403 | link_t *link; |
|
- | 404 | p2i_entry_t *e; |
|
- | 405 | ||
- | 406 | keys[0] = phone_hash; |
|
- | 407 | link = hash_table_find(&phone_to_id, keys); |
|
- | 408 | if (link == NULL) |
|
- | 409 | return ENOENT; |
|
- | 410 | ||
- | 411 | e = hash_table_get_instance(link, p2i_entry_t, link); |
|
- | 412 | *id = e->id; |
|
287 | 413 | ||
288 | return EOK; |
414 | return EOK; |
289 | } |
415 | } |
290 | 416 | ||
291 | /** |
417 | /** |