Subversion Repositories HelenOS

Rev

Rev 2483 | Rev 2485 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1351 palkovsky 1
/*
2071 jermar 2
 * Copyright (c) 2006 Ondrej Palkovsky
1351 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
 
1719 decky 29
/** @addtogroup libc
1653 cejka 30
 * @{
31
 */
32
/** @file
1351 palkovsky 33
 */
34
 
1392 palkovsky 35
/**
36
 * Asynchronous library
37
 *
2484 jermar 38
 * The aim of this library is facilitating writing programs utilizing the
39
 * asynchronous nature of HelenOS IPC, yet using a normal way of programming.
1392 palkovsky 40
 *
2484 jermar 41
 * You should be able to write very simple multithreaded programs, the async
42
 * framework will automatically take care of most synchronization problems.
1392 palkovsky 43
 *
44
 * Default semantics:
2484 jermar 45
 * - async_send_*():    send asynchronously. If the kernel refuses to send
46
 *          more messages, [ try to get responses from kernel, if
47
 *          nothing found, might try synchronous ]
1392 palkovsky 48
 *
2484 jermar 49
 * Example of use (pseudo C):
1392 palkovsky 50
 *
51
 * 1) Multithreaded client application
2484 jermar 52
 *
53
 * fibril_create(fibril1, ...);
54
 * fibril_create(fibril2, ...);
55
 * ...
1392 palkovsky 56
 *  
2484 jermar 57
 * int fibril1(void *arg)
58
 * {
59
 *  conn = ipc_connect_me_to();
60
 *  c1 = async_send(conn);
61
 *  c2 = async_send(conn);
62
 *  async_wait_for(c1);
63
 *  async_wait_for(c2);
64
 *  ...
65
 * }
1392 palkovsky 66
 *
67
 *
68
 * 2) Multithreaded server application
2484 jermar 69
 * main()
70
 * {
71
 *  async_manager();
1392 palkovsky 72
 * }
73
 *
74
 *
2484 jermar 75
 * client_connection(icallid, *icall)
76
 * {
77
 *  if (want_refuse) {
78
 *      ipc_answer_fast(icallid, ELIMIT, 0, 0);
79
 *      return;
80
 *  }
81
 *  ipc_answer_fast(icallid, EOK, 0, 0);
1392 palkovsky 82
 *
2484 jermar 83
 *  callid = async_get_call(&call);
84
 *  handle_call(callid, call);
85
 *  ipc_answer_fast(callid, 1, 2, 3);
1407 palkovsky 86
 *
2484 jermar 87
 *  callid = async_get_call(&call);
88
 *  ....
1392 palkovsky 89
 * }
1404 palkovsky 90
 *
1392 palkovsky 91
 */
2484 jermar 92
 
1392 palkovsky 93
#include <futex.h>
94
#include <async.h>
2482 jermar 95
#include <fibril.h>
1392 palkovsky 96
#include <stdio.h>
97
#include <libadt/hash_table.h>
98
#include <libadt/list.h>
99
#include <ipc/ipc.h>
100
#include <assert.h>
101
#include <errno.h>
1441 palkovsky 102
#include <time.h>
103
#include <arch/barrier.h>
1392 palkovsky 104
 
1463 palkovsky 105
atomic_t async_futex = FUTEX_INITIALIZER;
1392 palkovsky 106
static hash_table_t conn_hash_table;
1441 palkovsky 107
static LIST_INITIALIZE(timeout_list);
1392 palkovsky 108
 
109
typedef struct {
2482 jermar 110
    /** Expiration time for waiting fibril. */
111
    struct timeval expires;    
112
    /** If true, this struct is in the timeout list. */
113
    int inlist;
1500 palkovsky 114
    link_t link;
115
 
2482 jermar 116
    /** Fibril waiting for this message. */
117
    fid_t fid;
118
    /** If this fibril is currently active. */
119
    int active;
120
    /** If true, we timed out. */
121
    int timedout;
1500 palkovsky 122
} awaiter_t;
123
 
124
typedef struct {
125
    awaiter_t wdata;
126
 
1971 jermar 127
    int done;                   /**< If reply was received */
128
    ipc_call_t *dataptr;        /**< Pointer where the answer data
2482 jermar 129
                     *   is stored */
1427 palkovsky 130
    ipcarg_t retval;
131
} amsg_t;
132
 
133
typedef struct {
1392 palkovsky 134
    link_t link;
135
    ipc_callid_t callid;
136
    ipc_call_t call;
137
} msg_t;
138
 
139
typedef struct {
1500 palkovsky 140
    awaiter_t wdata;
141
 
2482 jermar 142
    link_t link;            /**< Hash table link. */
1971 jermar 143
    ipcarg_t in_phone_hash;     /**< Incoming phone hash. */
2482 jermar 144
    link_t msg_queue;       /**< Messages that should be delivered
145
                     *   to this fibril. */
1392 palkovsky 146
    /* Structures for connection opening packet */
147
    ipc_callid_t callid;
148
    ipc_call_t call;
2482 jermar 149
    ipc_callid_t close_callid;  /* Identification of closing packet. */
150
    void (*cfibril)(ipc_callid_t, ipc_call_t *);
1392 palkovsky 151
} connection_t;
152
 
2482 jermar 153
/** Identifier of the incoming connection handled by the current fibril. */
154
__thread connection_t *FIBRIL_connection;
1610 palkovsky 155
/** If true, it is forbidden to use async_req functions and
156
 *  all preemption is disabled */
157
__thread int in_interrupt_handler;
1392 palkovsky 158
 
1490 palkovsky 159
static void default_client_connection(ipc_callid_t callid, ipc_call_t *call);
1596 palkovsky 160
static void default_interrupt_received(ipc_callid_t callid, ipc_call_t *call);
1490 palkovsky 161
static async_client_conn_t client_connection = default_client_connection;
1596 palkovsky 162
static async_client_conn_t interrupt_received = default_interrupt_received;
1490 palkovsky 163
 
1441 palkovsky 164
/** Add microseconds to give timeval */
165
static void tv_add(struct timeval *tv, suseconds_t usecs)
166
{
167
    tv->tv_sec += usecs / 1000000;
168
    tv->tv_usec += usecs % 1000000;
169
    if (tv->tv_usec > 1000000) {
170
        tv->tv_sec++;
171
        tv->tv_usec -= 1000000;
172
    }
173
}
174
 
175
/** Subtract 2 timevals, return microseconds difference */
176
static suseconds_t tv_sub(struct timeval *tv1, struct timeval *tv2)
177
{
178
    suseconds_t result;
179
 
180
    result = tv1->tv_usec - tv2->tv_usec;
181
    result += (tv1->tv_sec - tv2->tv_sec) * 1000000;
182
 
183
    return result;
184
}
185
 
186
/** Compare timeval
187
 *
188
 * @return 1 if tv1 > tv2, otherwise 0
189
 */
190
static int tv_gt(struct timeval *tv1, struct timeval *tv2)
191
{
192
    if (tv1->tv_sec > tv2->tv_sec)
193
        return 1;
194
    if (tv1->tv_sec == tv2->tv_sec && tv1->tv_usec > tv2->tv_usec)
195
        return 1;
196
    return 0;
197
}
1466 palkovsky 198
static int tv_gteq(struct timeval *tv1, struct timeval *tv2)
199
{
200
    if (tv1->tv_sec > tv2->tv_sec)
201
        return 1;
202
    if (tv1->tv_sec == tv2->tv_sec && tv1->tv_usec >= tv2->tv_usec)
203
        return 1;
204
    return 0;
205
}
1441 palkovsky 206
 
1392 palkovsky 207
/* Hash table functions */
1404 palkovsky 208
#define CONN_HASH_TABLE_CHAINS  32
1392 palkovsky 209
 
210
static hash_index_t conn_hash(unsigned long *key)
1351 palkovsky 211
{
1392 palkovsky 212
    assert(key);
1404 palkovsky 213
    return ((*key) >> 4) % CONN_HASH_TABLE_CHAINS;
1351 palkovsky 214
}
215
 
1392 palkovsky 216
static int conn_compare(unsigned long key[], hash_count_t keys, link_t *item)
1351 palkovsky 217
{
1392 palkovsky 218
    connection_t *hs;
219
 
220
    hs = hash_table_get_instance(item, connection_t, link);
221
 
222
    return key[0] == hs->in_phone_hash;
1351 palkovsky 223
}
224
 
1392 palkovsky 225
static void conn_remove(link_t *item)
1351 palkovsky 226
{
1392 palkovsky 227
    free(hash_table_get_instance(item, connection_t, link));
1351 palkovsky 228
}
229
 
1392 palkovsky 230
 
231
/** Operations for NS hash table. */
232
static hash_table_operations_t conn_hash_table_ops = {
233
    .hash = conn_hash,
234
    .compare = conn_compare,
235
    .remove_callback = conn_remove
236
};
237
 
1500 palkovsky 238
/** Insert sort timeout msg into timeouts list
239
 *
240
 */
241
static void insert_timeout(awaiter_t *wd)
242
{
243
    link_t *tmp;
244
    awaiter_t *cur;
245
 
246
    wd->timedout = 0;
1610 palkovsky 247
    wd->inlist = 1;
1500 palkovsky 248
 
249
    tmp = timeout_list.next;
250
    while (tmp != &timeout_list) {
251
        cur = list_get_instance(tmp, awaiter_t, link);
252
        if (tv_gteq(&cur->expires, &wd->expires))
253
            break;
254
        tmp = tmp->next;
255
    }
256
    list_append(&wd->link, tmp);
257
}
258
 
1427 palkovsky 259
/*************************************************/
260
 
1392 palkovsky 261
/** Try to route a call to an appropriate connection thread
262
 *
263
 */
264
static int route_call(ipc_callid_t callid, ipc_call_t *call)
1351 palkovsky 265
{
1392 palkovsky 266
    connection_t *conn;
267
    msg_t *msg;
268
    link_t *hlp;
269
    unsigned long key;
270
 
1427 palkovsky 271
    futex_down(&async_futex);
1392 palkovsky 272
 
273
    key = call->in_phone_hash;
274
    hlp = hash_table_find(&conn_hash_table, &key);
275
    if (!hlp) {
1427 palkovsky 276
        futex_up(&async_futex);
1392 palkovsky 277
        return 0;
1351 palkovsky 278
    }
1392 palkovsky 279
    conn = hash_table_get_instance(hlp, connection_t, link);
1351 palkovsky 280
 
1392 palkovsky 281
    msg = malloc(sizeof(*msg));
282
    msg->callid = callid;
283
    msg->call = *call;
284
    list_append(&msg->link, &conn->msg_queue);
1648 palkovsky 285
 
286
    if (IPC_GET_METHOD(*call) == IPC_M_PHONE_HUNGUP)
287
        conn->close_callid = callid;
1392 palkovsky 288
 
1500 palkovsky 289
    /* If the call is waiting for event, run it */
290
    if (!conn->wdata.active) {
291
        /* If in timeout list, remove it */
292
        if (conn->wdata.inlist) {
293
            conn->wdata.inlist = 0;
294
            list_remove(&conn->wdata.link);
295
        }
296
        conn->wdata.active = 1;
2482 jermar 297
        fibril_add_ready(conn->wdata.fid);
1392 palkovsky 298
    }
1351 palkovsky 299
 
1427 palkovsky 300
    futex_up(&async_futex);
1392 palkovsky 301
 
302
    return 1;
303
}
304
 
1404 palkovsky 305
/** Return new incoming message for current(thread-local) connection */
1500 palkovsky 306
ipc_callid_t async_get_call_timeout(ipc_call_t *call, suseconds_t usecs)
1392 palkovsky 307
{
308
    msg_t *msg;
309
    ipc_callid_t callid;
1536 palkovsky 310
    connection_t *conn;
1392 palkovsky 311
 
2482 jermar 312
    assert(FIBRIL_connection);
313
    /* GCC 4.1.0 coughs on FIBRIL_connection-> dereference,
1536 palkovsky 314
     * GCC 4.1.1 happilly puts the rdhwr instruction in delay slot.
315
     *           I would never expect to find so many errors in
316
     *           compiler *($&$(*&$
317
     */
2482 jermar 318
    conn = FIBRIL_connection;
1466 palkovsky 319
 
1427 palkovsky 320
    futex_down(&async_futex);
1392 palkovsky 321
 
1500 palkovsky 322
    if (usecs) {
1536 palkovsky 323
        gettimeofday(&conn->wdata.expires, NULL);
324
        tv_add(&conn->wdata.expires, usecs);
1500 palkovsky 325
    } else {
1536 palkovsky 326
        conn->wdata.inlist = 0;
1500 palkovsky 327
    }
1392 palkovsky 328
    /* If nothing in queue, wait until something appears */
1536 palkovsky 329
    while (list_empty(&conn->msg_queue)) {
1610 palkovsky 330
        if (usecs)
1536 palkovsky 331
            insert_timeout(&conn->wdata);
1610 palkovsky 332
 
1536 palkovsky 333
        conn->wdata.active = 0;
2482 jermar 334
        fibril_schedule_next_adv(FIBRIL_TO_MANAGER);
1500 palkovsky 335
        /* Futex is up after getting back from async_manager
336
         * get it again */
337
        futex_down(&async_futex);
2482 jermar 338
        if (usecs && conn->wdata.timedout &&
1536 palkovsky 339
            list_empty(&conn->msg_queue)) {
1500 palkovsky 340
            /* If we timed out-> exit */
341
            futex_up(&async_futex);
342
            return 0;
343
        }
1351 palkovsky 344
    }
345
 
1536 palkovsky 346
    msg = list_get_instance(conn->msg_queue.next, msg_t, link);
1392 palkovsky 347
    list_remove(&msg->link);
348
    callid = msg->callid;
349
    *call = msg->call;
350
    free(msg);
351
 
1427 palkovsky 352
    futex_up(&async_futex);
1392 palkovsky 353
    return callid;
1351 palkovsky 354
}
355
 
1404 palkovsky 356
/** Thread function that gets created on new connection
357
 *
358
 * This function is defined as a weak symbol - to be redefined in
359
 * user code.
360
 */
1490 palkovsky 361
static void default_client_connection(ipc_callid_t callid, ipc_call_t *call)
1392 palkovsky 362
{
1404 palkovsky 363
    ipc_answer_fast(callid, ENOENT, 0, 0);
1392 palkovsky 364
}
1596 palkovsky 365
static void default_interrupt_received(ipc_callid_t callid, ipc_call_t *call)
1452 palkovsky 366
{
367
}
368
 
1404 palkovsky 369
/** Wrapper for client connection thread
370
 *
371
 * When new connection arrives, thread with this function is created.
372
 * It calls client_connection and does final cleanup.
373
 *
1653 cejka 374
 * @param arg Connection structure pointer
1404 palkovsky 375
 */
2482 jermar 376
static int connection_fibril(void  *arg)
1351 palkovsky 377
{
1404 palkovsky 378
    unsigned long key;
379
    msg_t *msg;
1648 palkovsky 380
    int close_answered = 0;
1404 palkovsky 381
 
1392 palkovsky 382
    /* Setup thread local connection pointer */
2482 jermar 383
    FIBRIL_connection = (connection_t *) arg;
384
    FIBRIL_connection->cfibril(FIBRIL_connection->callid,
385
        &FIBRIL_connection->call);
1719 decky 386
 
1404 palkovsky 387
    /* Remove myself from connection hash table */
1427 palkovsky 388
    futex_down(&async_futex);
2482 jermar 389
    key = FIBRIL_connection->in_phone_hash;
1404 palkovsky 390
    hash_table_remove(&conn_hash_table, &key, 1);
1427 palkovsky 391
    futex_up(&async_futex);
1719 decky 392
 
1404 palkovsky 393
    /* Answer all remaining messages with ehangup */
2482 jermar 394
    while (!list_empty(&FIBRIL_connection->msg_queue)) {
395
        msg = list_get_instance(FIBRIL_connection->msg_queue.next,
396
            msg_t, link);
1404 palkovsky 397
        list_remove(&msg->link);
2482 jermar 398
        if (msg->callid == FIBRIL_connection->close_callid)
1648 palkovsky 399
            close_answered = 1;
1404 palkovsky 400
        ipc_answer_fast(msg->callid, EHANGUP, 0, 0);
401
        free(msg);
402
    }
2482 jermar 403
    if (FIBRIL_connection->close_callid)
404
        ipc_answer_fast(FIBRIL_connection->close_callid, 0, 0, 0);
1719 decky 405
 
406
    return 0;
1351 palkovsky 407
}
1392 palkovsky 408
 
409
/** Create new thread for a new connection
410
 *
411
 * Creates new thread for connection, fills in connection
412
 * structures and inserts it into the hash table, so that
413
 * later we can easily do routing of messages to particular
414
 * threads.
1407 palkovsky 415
 *
1452 palkovsky 416
 * @param in_phone_hash Identification of the incoming connection
1407 palkovsky 417
 * @param callid Callid of the IPC_M_CONNECT_ME_TO packet
418
 * @param call Call data of the opening packet
2482 jermar 419
 * @param cfibril Fibril function that should be called upon
1407 palkovsky 420
 *                opening the connection
2482 jermar 421
 * @return New fibril id.
1392 palkovsky 422
 */
2482 jermar 423
fid_t async_new_connection(ipcarg_t in_phone_hash, ipc_callid_t callid,
424
    ipc_call_t *call, void (*cfibril)(ipc_callid_t, ipc_call_t *))
1392 palkovsky 425
{
426
    connection_t *conn;
427
    unsigned long key;
428
 
429
    conn = malloc(sizeof(*conn));
430
    if (!conn) {
431
        ipc_answer_fast(callid, ENOMEM, 0, 0);
1407 palkovsky 432
        return NULL;
1392 palkovsky 433
    }
1452 palkovsky 434
    conn->in_phone_hash = in_phone_hash;
1392 palkovsky 435
    list_initialize(&conn->msg_queue);
436
    conn->callid = callid;
1648 palkovsky 437
    conn->close_callid = 0;
1453 palkovsky 438
    if (call)
439
        conn->call = *call;
1500 palkovsky 440
    conn->wdata.active = 1; /* We will activate it asap */
2482 jermar 441
    conn->cfibril = cfibril;
1500 palkovsky 442
 
2482 jermar 443
    conn->wdata.fid = fibril_create(connection_fibril, conn);
444
    if (!conn->wdata.fid) {
1392 palkovsky 445
        free(conn);
446
        ipc_answer_fast(callid, ENOMEM, 0, 0);
1407 palkovsky 447
        return NULL;
1392 palkovsky 448
    }
1500 palkovsky 449
    /* Add connection to hash table */
1392 palkovsky 450
    key = conn->in_phone_hash;
1427 palkovsky 451
    futex_down(&async_futex);
1392 palkovsky 452
    hash_table_insert(&conn_hash_table, &key, &conn->link);
1427 palkovsky 453
    futex_up(&async_futex);
1392 palkovsky 454
 
2482 jermar 455
    fibril_add_ready(conn->wdata.fid);
1407 palkovsky 456
 
2482 jermar 457
    return conn->wdata.fid;
1392 palkovsky 458
}
459
 
1427 palkovsky 460
/** Handle call that was received */
1392 palkovsky 461
static void handle_call(ipc_callid_t callid, ipc_call_t *call)
462
{
1452 palkovsky 463
    /* Unrouted call - do some default behaviour */
1694 palkovsky 464
    if ((callid & IPC_CALLID_NOTIFICATION)) {
1610 palkovsky 465
        in_interrupt_handler = 1;
1596 palkovsky 466
        (*interrupt_received)(callid,call);
1610 palkovsky 467
        in_interrupt_handler = 0;
1452 palkovsky 468
        return;
1694 palkovsky 469
    }      
470
 
471
    switch (IPC_GET_METHOD(*call)) {
1392 palkovsky 472
    case IPC_M_CONNECT_ME_TO:
473
        /* Open new connection with thread etc. */
2482 jermar 474
        async_new_connection(IPC_GET_ARG3(*call), callid, call,
475
            client_connection);
1452 palkovsky 476
        return;
1392 palkovsky 477
    }
1452 palkovsky 478
 
479
    /* Try to route call through connection tables */
480
    if (route_call(callid, call))
481
        return;
482
 
483
    /* Unknown call from unknown phone - hang it up */
484
    ipc_answer_fast(callid, EHANGUP, 0, 0);
1392 palkovsky 485
}
486
 
1536 palkovsky 487
/** Fire all timeouts that expired
488
 *
489
 */
1441 palkovsky 490
static void handle_expired_timeouts(void)
491
{
492
    struct timeval tv;
1500 palkovsky 493
    awaiter_t *waiter;
1441 palkovsky 494
    link_t *cur;
495
 
496
    gettimeofday(&tv,NULL);
497
    futex_down(&async_futex);
498
 
499
    cur = timeout_list.next;
500
    while (cur != &timeout_list) {
2482 jermar 501
        waiter = list_get_instance(cur, awaiter_t, link);
1500 palkovsky 502
        if (tv_gt(&waiter->expires, &tv))
1441 palkovsky 503
            break;
504
        cur = cur->next;
1500 palkovsky 505
        list_remove(&waiter->link);
506
        waiter->inlist = 0;
507
        waiter->timedout = 1;
1441 palkovsky 508
        /* Redundant condition? The thread should not
509
         * be active when it gets here.
510
         */
1500 palkovsky 511
        if (!waiter->active) {
512
            waiter->active = 1;
2482 jermar 513
            fibril_add_ready(waiter->fid);
1441 palkovsky 514
        }
515
    }
516
 
517
    futex_up(&async_futex);
518
}
519
 
1392 palkovsky 520
/** Endless loop dispatching incoming calls and answers */
1610 palkovsky 521
static int async_manager_worker(void)
1392 palkovsky 522
{
523
    ipc_call_t call;
524
    ipc_callid_t callid;
1435 palkovsky 525
    int timeout;
1500 palkovsky 526
    awaiter_t *waiter;
1441 palkovsky 527
    struct timeval tv;
1392 palkovsky 528
 
529
    while (1) {
2482 jermar 530
        if (fibril_schedule_next_adv(FIBRIL_FROM_MANAGER)) {
1719 decky 531
            futex_up(&async_futex);
532
            /* async_futex is always held
533
             * when entering manager thread
534
             */
1392 palkovsky 535
            continue;
536
        }
1441 palkovsky 537
        futex_down(&async_futex);
538
        if (!list_empty(&timeout_list)) {
2482 jermar 539
            waiter = list_get_instance(timeout_list.next, awaiter_t,
540
                link);
541
            gettimeofday(&tv, NULL);
1500 palkovsky 542
            if (tv_gteq(&tv, &waiter->expires)) {
1536 palkovsky 543
                futex_up(&async_futex);
1441 palkovsky 544
                handle_expired_timeouts();
545
                continue;
546
            } else
1500 palkovsky 547
                timeout = tv_sub(&waiter->expires, &tv);
1441 palkovsky 548
        } else
1435 palkovsky 549
            timeout = SYNCH_NO_TIMEOUT;
1441 palkovsky 550
        futex_up(&async_futex);
551
 
1503 jermar 552
        callid = ipc_wait_cycle(&call, timeout, SYNCH_FLAGS_NONE);
1392 palkovsky 553
 
1435 palkovsky 554
        if (!callid) {
1441 palkovsky 555
            handle_expired_timeouts();
1435 palkovsky 556
            continue;
557
        }
558
 
1610 palkovsky 559
        if (callid & IPC_CALLID_ANSWERED) {
1392 palkovsky 560
            continue;
1610 palkovsky 561
        }
1427 palkovsky 562
 
1392 palkovsky 563
        handle_call(callid, &call);
564
    }
1719 decky 565
 
566
    return 0;
1392 palkovsky 567
}
568
 
1404 palkovsky 569
/** Function to start async_manager as a standalone thread
570
 *
571
 * When more kernel threads are used, one async manager should
572
 * exist per thread. The particular implementation may change,
573
 * currently one async_manager is started automatically per kernel
2484 jermar 574
 * thread except the main thread.
1404 palkovsky 575
 */
2484 jermar 576
static int async_manager_fibril(void *arg)
1392 palkovsky 577
{
1719 decky 578
    futex_up(&async_futex);
579
    /* async_futex is always locked when entering
580
     * manager */
1610 palkovsky 581
    async_manager_worker();
1719 decky 582
 
583
    return 0;
1392 palkovsky 584
}
585
 
586
/** Add one manager to manager list */
587
void async_create_manager(void)
588
{
2482 jermar 589
    fid_t fid;
1392 palkovsky 590
 
2484 jermar 591
    fid = fibril_create(async_manager_fibril, NULL);
2482 jermar 592
    fibril_add_manager(fid);
1392 palkovsky 593
}
594
 
595
/** Remove one manager from manager list */
596
void async_destroy_manager(void)
597
{
2482 jermar 598
    fibril_remove_manager();
1392 palkovsky 599
}
600
 
601
/** Initialize internal structures needed for async manager */
602
int _async_init(void)
603
{
2482 jermar 604
    if (!hash_table_create(&conn_hash_table, CONN_HASH_TABLE_CHAINS, 1,
605
        &conn_hash_table_ops)) {
1392 palkovsky 606
        printf("%s: cannot create hash table\n", "async");
607
        return ENOMEM;
608
    }
609
 
1719 decky 610
    return 0;
1392 palkovsky 611
}
1427 palkovsky 612
 
613
/** IPC handler for messages in async framework
614
 *
2482 jermar 615
 * Notify the fibril which is waiting for this message, that it arrived
1427 palkovsky 616
 */
617
static void reply_received(void *private, int retval,
618
               ipc_call_t *data)
619
{
620
    amsg_t *msg = (amsg_t *) private;
621
 
622
    msg->retval = retval;
623
 
624
    futex_down(&async_futex);
625
    /* Copy data after futex_down, just in case the
626
     * call was detached
627
     */
628
    if (msg->dataptr)
629
        *msg->dataptr = *data;
1435 palkovsky 630
 
1441 palkovsky 631
    write_barrier();
632
    /* Remove message from timeout list */
1500 palkovsky 633
    if (msg->wdata.inlist)
634
        list_remove(&msg->wdata.link);
1427 palkovsky 635
    msg->done = 1;
1500 palkovsky 636
    if (! msg->wdata.active) {
637
        msg->wdata.active = 1;
2482 jermar 638
        fibril_add_ready(msg->wdata.fid);
1427 palkovsky 639
    }
640
    futex_up(&async_futex);
641
}
642
 
643
/** Send message and return id of the sent message
644
 *
645
 * The return value can be used as input for async_wait() to wait
646
 * for completion.
647
 */
648
aid_t async_send_2(int phoneid, ipcarg_t method, ipcarg_t arg1, ipcarg_t arg2,
649
           ipc_call_t *dataptr)
650
{
651
    amsg_t *msg;
652
 
1610 palkovsky 653
    if (in_interrupt_handler) {
2482 jermar 654
        printf("Cannot send asynchronous request in interrupt "
655
            "handler.\n");
1610 palkovsky 656
        _exit(1);
657
    }
658
 
1427 palkovsky 659
    msg = malloc(sizeof(*msg));
660
    msg->done = 0;
661
    msg->dataptr = dataptr;
1500 palkovsky 662
 
663
    msg->wdata.active = 1; /* We may sleep in next method, but it
664
                * will use it's own mechanism */
2482 jermar 665
    ipc_call_async_2(phoneid, method, arg1, arg2, msg, reply_received, 1);
1427 palkovsky 666
 
667
    return (aid_t) msg;
668
}
669
 
1547 palkovsky 670
/** Send message and return id of the sent message
671
 *
672
 * The return value can be used as input for async_wait() to wait
673
 * for completion.
674
 */
675
aid_t async_send_3(int phoneid, ipcarg_t method, ipcarg_t arg1, ipcarg_t arg2,
676
           ipcarg_t arg3, ipc_call_t *dataptr)
677
{
678
    amsg_t *msg;
679
 
1610 palkovsky 680
    if (in_interrupt_handler) {
1923 jermar 681
        printf("Cannot send asynchronous request in interrupt handler.\n");
1610 palkovsky 682
        _exit(1);
683
    }
684
 
1547 palkovsky 685
    msg = malloc(sizeof(*msg));
686
    msg->done = 0;
687
    msg->dataptr = dataptr;
688
 
689
    msg->wdata.active = 1; /* We may sleep in next method, but it
690
                * will use it's own mechanism */
2482 jermar 691
    ipc_call_async_3(phoneid, method, arg1, arg2, arg3, msg, reply_received,
692
        1);
1547 palkovsky 693
 
694
    return (aid_t) msg;
695
}
696
 
1427 palkovsky 697
/** Wait for a message sent by async framework
698
 *
699
 * @param amsgid Message ID to wait for
700
 * @param retval Pointer to variable where will be stored retval
701
 *               of the answered message. If NULL, it is ignored.
702
 *
703
 */
704
void async_wait_for(aid_t amsgid, ipcarg_t *retval)
705
{
706
    amsg_t *msg = (amsg_t *) amsgid;
707
 
708
    futex_down(&async_futex);
709
    if (msg->done) {
710
        futex_up(&async_futex);
711
        goto done;
712
    }
713
 
2482 jermar 714
    msg->wdata.fid = fibril_get_id();
1500 palkovsky 715
    msg->wdata.active = 0;
716
    msg->wdata.inlist = 0;
1427 palkovsky 717
    /* Leave locked async_futex when entering this function */
2482 jermar 718
    fibril_schedule_next_adv(FIBRIL_TO_MANAGER);
719
    /* futex is up automatically after fibril_schedule_next...*/
1427 palkovsky 720
done:
721
    if (retval)
722
        *retval = msg->retval;
723
    free(msg);
724
}
1435 palkovsky 725
 
1441 palkovsky 726
/** Wait for a message sent by async framework with timeout
727
 *
728
 * @param amsgid Message ID to wait for
729
 * @param retval Pointer to variable where will be stored retval
730
 *               of the answered message. If NULL, it is ignored.
731
 * @param timeout Timeout in usecs
732
 * @return 0 on success, ETIMEOUT if timeout expired
733
 *
734
 */
735
int async_wait_timeout(aid_t amsgid, ipcarg_t *retval, suseconds_t timeout)
736
{
737
    amsg_t *msg = (amsg_t *) amsgid;
1435 palkovsky 738
 
1532 palkovsky 739
    /* TODO: Let it go through the event read at least once */
740
    if (timeout < 0)
741
        return ETIMEOUT;
742
 
1441 palkovsky 743
    futex_down(&async_futex);
744
    if (msg->done) {
745
        futex_up(&async_futex);
746
        goto done;
747
    }
1435 palkovsky 748
 
1500 palkovsky 749
    gettimeofday(&msg->wdata.expires, NULL);
750
    tv_add(&msg->wdata.expires, timeout);
1435 palkovsky 751
 
2482 jermar 752
    msg->wdata.fid = fibril_get_id();
1500 palkovsky 753
    msg->wdata.active = 0;
754
    insert_timeout(&msg->wdata);
755
 
1441 palkovsky 756
    /* Leave locked async_futex when entering this function */
2482 jermar 757
    fibril_schedule_next_adv(FIBRIL_TO_MANAGER);
758
    /* futex is up automatically after fibril_schedule_next...*/
1435 palkovsky 759
 
1441 palkovsky 760
    if (!msg->done)
761
        return ETIMEOUT;
762
 
763
done:
764
    if (retval)
765
        *retval = msg->retval;
766
    free(msg);
767
 
768
    return 0;
769
}
770
 
1452 palkovsky 771
/** Wait specified time, but in the meantime handle incoming events
772
 *
773
 * @param timeout Time in microseconds to wait
774
 */
775
void async_usleep(suseconds_t timeout)
776
{
777
    amsg_t *msg;
778
 
1610 palkovsky 779
    if (in_interrupt_handler) {
780
        printf("Cannot call async_usleep in interrupt handler.\n");
781
        _exit(1);
782
    }
783
 
1452 palkovsky 784
    msg = malloc(sizeof(*msg));
785
    if (!msg)
786
        return;
787
 
2482 jermar 788
    msg->wdata.fid = fibril_get_id();
1500 palkovsky 789
    msg->wdata.active = 0;
1452 palkovsky 790
 
1500 palkovsky 791
    gettimeofday(&msg->wdata.expires, NULL);
792
    tv_add(&msg->wdata.expires, timeout);
1452 palkovsky 793
 
794
    futex_down(&async_futex);
1500 palkovsky 795
    insert_timeout(&msg->wdata);
1452 palkovsky 796
    /* Leave locked async_futex when entering this function */
2482 jermar 797
    fibril_schedule_next_adv(FIBRIL_TO_MANAGER);
798
    /* futex is up automatically after fibril_schedule_next...*/
1452 palkovsky 799
    free(msg);
800
}
1490 palkovsky 801
 
802
/** Set function that is called, IPC_M_CONNECT_ME_TO is received
803
 *
804
 * @param conn Function that will form new psthread.
805
 */
806
void async_set_client_connection(async_client_conn_t conn)
807
{
808
    client_connection = conn;
809
}
1596 palkovsky 810
void async_set_interrupt_received(async_client_conn_t conn)
811
{
812
    interrupt_received = conn;
813
}
1610 palkovsky 814
 
815
/* Primitive functions for simple communication */
816
void async_msg_3(int phoneid, ipcarg_t method, ipcarg_t arg1,
817
         ipcarg_t arg2, ipcarg_t arg3)
818
{
2482 jermar 819
    ipc_call_async_3(phoneid, method, arg1, arg2, arg3, NULL, NULL,
820
        !in_interrupt_handler);
1610 palkovsky 821
}
822
 
823
void async_msg_2(int phoneid, ipcarg_t method, ipcarg_t arg1, ipcarg_t arg2)
824
{
2482 jermar 825
    ipc_call_async_2(phoneid, method, arg1, arg2, NULL, NULL,
826
        !in_interrupt_handler);
1610 palkovsky 827
}
1653 cejka 828
 
1719 decky 829
/** @}
1653 cejka 830
 */