Subversion Repositories HelenOS

Rev

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