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 | /** |