Subversion Repositories HelenOS-historic

Rev

Rev 1427 | Rev 1441 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed

  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. /**
  30.  * Asynchronous library
  31.  *
  32.  * The aim of this library is facilitating writing programs utilizing
  33.  * the asynchronous nature of Helenos IPC, yet using a normal way
  34.  * of programming.
  35.  *
  36.  * You should be able to write very simple multithreaded programs,
  37.  * the async framework will automatically take care of most synchronization
  38.  * problems.
  39.  *
  40.  * Default semantics:
  41.  * - send() - send asynchronously. If the kernel refuses to send more
  42.  *            messages, [ try to get responses from kernel, if nothing
  43.  *            found, might try synchronous ]
  44.  *
  45.  * Example of use:
  46.  *
  47.  * 1) Multithreaded client application
  48.  *  create_thread(thread1);
  49.  *  create_thread(thread2);
  50.  *  ...
  51.  *  
  52.  *  thread1() {
  53.  *        conn = ipc_connect_me_to();
  54.  *        c1 = send(conn);
  55.  *        c2 = send(conn);
  56.  *        wait_for(c1);
  57.  *        wait_for(c2);
  58.  *  }
  59.  *
  60.  *
  61.  * 2) Multithreaded server application
  62.  * main() {
  63.  *      async_manager();
  64.  * }
  65.  *
  66.  *
  67.  * client_connection(icallid, *icall) {
  68.  *       if (want_refuse) {
  69.  *           ipc_answer_fast(icallid, ELIMIT, 0, 0);
  70.  *           return;
  71.  *       }
  72.  *       ipc_answer_fast(icallid, 0, 0, 0);
  73.  *
  74.  *       callid = async_get_call(&call);
  75.  *       handle(callid, call);
  76.  *       ipc_answer_fast(callid, 1,2,3);
  77.  *
  78.  *       callid = async_get_call(&call);
  79.  *       ....
  80.  * }
  81.  *
  82.  * TODO: Detaching/joining dead psthreads?
  83.  */
  84. #include <futex.h>
  85. #include <async.h>
  86. #include <psthread.h>
  87. #include <stdio.h>
  88. #include <libadt/hash_table.h>
  89. #include <libadt/list.h>
  90. #include <ipc/ipc.h>
  91. #include <assert.h>
  92. #include <errno.h>
  93.  
  94. static atomic_t async_futex = FUTEX_INITIALIZER;
  95. static hash_table_t conn_hash_table;
  96.  
  97. typedef struct {
  98.     pstid_t ptid;                /**< Thread waiting for this message */
  99.     int active;                  /**< If this thread is currently active */
  100.     int done;                    /**< If reply was received */
  101.     ipc_call_t *dataptr;         /**< Pointer where the answer data
  102.                       *   should be stored */
  103.     ipcarg_t retval;
  104. } amsg_t;
  105.  
  106. typedef struct {
  107.     link_t link;
  108.     ipc_callid_t callid;
  109.     ipc_call_t call;
  110. } msg_t;
  111.  
  112. typedef struct {
  113.     link_t link;
  114.     ipcarg_t in_phone_hash;     /**< Incoming phone hash. */
  115.     link_t msg_queue;              /**< Messages that should be delivered to this thread */
  116.     pstid_t ptid;                /**< Thread associated with this connection */
  117.     int active;                     /**< If this thread is currently active */
  118.     /* Structures for connection opening packet */
  119.     ipc_callid_t callid;
  120.     ipc_call_t call;
  121.     void (*cthread)(ipc_callid_t,ipc_call_t *);
  122. } connection_t;
  123.  
  124. __thread connection_t *PS_connection;
  125.  
  126. /* Hash table functions */
  127. #define CONN_HASH_TABLE_CHAINS  32
  128.  
  129. static hash_index_t conn_hash(unsigned long *key)
  130. {
  131.     assert(key);
  132.     return ((*key) >> 4) % CONN_HASH_TABLE_CHAINS;
  133. }
  134.  
  135. static int conn_compare(unsigned long key[], hash_count_t keys, link_t *item)
  136. {
  137.     connection_t *hs;
  138.  
  139.     hs = hash_table_get_instance(item, connection_t, link);
  140.    
  141.     return key[0] == hs->in_phone_hash;
  142. }
  143.  
  144. static void conn_remove(link_t *item)
  145. {
  146.     free(hash_table_get_instance(item, connection_t, link));
  147. }
  148.  
  149.  
  150. /** Operations for NS hash table. */
  151. static hash_table_operations_t conn_hash_table_ops = {
  152.     .hash = conn_hash,
  153.     .compare = conn_compare,
  154.     .remove_callback = conn_remove
  155. };
  156.  
  157. /*************************************************/
  158.  
  159. /** Try to route a call to an appropriate connection thread
  160.  *
  161.  */
  162. static int route_call(ipc_callid_t callid, ipc_call_t *call)
  163. {
  164.     connection_t *conn;
  165.     msg_t *msg;
  166.     link_t *hlp;
  167.     unsigned long key;
  168.  
  169.     futex_down(&async_futex);
  170.  
  171.     key = call->in_phone_hash;
  172.     hlp = hash_table_find(&conn_hash_table, &key);
  173.     if (!hlp) {
  174.         futex_up(&async_futex);
  175.         return 0;
  176.     }
  177.     conn = hash_table_get_instance(hlp, connection_t, link);
  178.  
  179.     msg = malloc(sizeof(*msg));
  180.     msg->callid = callid;
  181.     msg->call = *call;
  182.     list_append(&msg->link, &conn->msg_queue);
  183.    
  184.     if (!conn->active) {
  185.         conn->active = 1;
  186.         psthread_add_ready(conn->ptid);
  187.     }
  188.  
  189.     futex_up(&async_futex);
  190.  
  191.     return 1;
  192. }
  193.  
  194. /** Return new incoming message for current(thread-local) connection */
  195. ipc_callid_t async_get_call(ipc_call_t *call)
  196. {
  197.     msg_t *msg;
  198.     ipc_callid_t callid;
  199.     connection_t *conn;
  200.    
  201.     futex_down(&async_futex);
  202.  
  203.     conn = PS_connection;
  204.     /* If nothing in queue, wait until something appears */
  205.     if (list_empty(&conn->msg_queue)) {
  206.         conn->active = 0;
  207.         psthread_schedule_next_adv(PS_TO_MANAGER);
  208.     }
  209.    
  210.     msg = list_get_instance(conn->msg_queue.next, msg_t, link);
  211.     list_remove(&msg->link);
  212.     callid = msg->callid;
  213.     *call = msg->call;
  214.     free(msg);
  215.    
  216.     futex_up(&async_futex);
  217.     return callid;
  218. }
  219.  
  220. /** Thread function that gets created on new connection
  221.  *
  222.  * This function is defined as a weak symbol - to be redefined in
  223.  * user code.
  224.  */
  225. void client_connection(ipc_callid_t callid, ipc_call_t *call)
  226. {
  227.     ipc_answer_fast(callid, ENOENT, 0, 0);
  228. }
  229.  
  230. /** Wrapper for client connection thread
  231.  *
  232.  * When new connection arrives, thread with this function is created.
  233.  * It calls client_connection and does final cleanup.
  234.  *
  235.  * @parameter arg Connection structure pointer
  236.  */
  237. static int connection_thread(void  *arg)
  238. {
  239.     unsigned long key;
  240.     msg_t *msg;
  241.     connection_t *conn;
  242.  
  243.     /* Setup thread local connection pointer */
  244.     PS_connection = (connection_t *)arg;
  245.     conn = PS_connection;
  246.     conn->cthread(conn->callid, &conn->call);
  247.  
  248.     /* Remove myself from connection hash table */
  249.     futex_down(&async_futex);
  250.     key = conn->in_phone_hash;
  251.     hash_table_remove(&conn_hash_table, &key, 1);
  252.     futex_up(&async_futex);
  253.     /* Answer all remaining messages with ehangup */
  254.     while (!list_empty(&conn->msg_queue)) {
  255.         msg = list_get_instance(conn->msg_queue.next, msg_t, link);
  256.         list_remove(&msg->link);
  257.         ipc_answer_fast(msg->callid, EHANGUP, 0, 0);
  258.         free(msg);
  259.     }
  260. }
  261.  
  262. /** Create new thread for a new connection
  263.  *
  264.  * Creates new thread for connection, fills in connection
  265.  * structures and inserts it into the hash table, so that
  266.  * later we can easily do routing of messages to particular
  267.  * threads.
  268.  *
  269.  * @param callid Callid of the IPC_M_CONNECT_ME_TO packet
  270.  * @param call Call data of the opening packet
  271.  * @param cthread Thread function that should be called upon
  272.  *                opening the connection
  273.  * @return New thread id
  274.  */
  275. pstid_t async_new_connection(ipc_callid_t callid, ipc_call_t *call,
  276.                  void (*cthread)(ipc_callid_t,ipc_call_t *))
  277. {
  278.     pstid_t ptid;
  279.     connection_t *conn;
  280.     unsigned long key;
  281.  
  282.     conn = malloc(sizeof(*conn));
  283.     if (!conn) {
  284.         ipc_answer_fast(callid, ENOMEM, 0, 0);
  285.         return NULL;
  286.     }
  287.     conn->in_phone_hash = IPC_GET_ARG3(*call);
  288.     list_initialize(&conn->msg_queue);
  289.     conn->ptid = psthread_create(connection_thread, conn);
  290.     conn->callid = callid;
  291.     conn->call = *call;
  292.     conn->active = 1; /* We will activate it asap */
  293.     conn->cthread = cthread;
  294.     list_initialize(&conn->link);
  295.     if (!conn->ptid) {
  296.         free(conn);
  297.         ipc_answer_fast(callid, ENOMEM, 0, 0);
  298.         return NULL;
  299.     }
  300.     key = conn->in_phone_hash;
  301.     futex_down(&async_futex);
  302.     /* Add connection to hash table */
  303.     hash_table_insert(&conn_hash_table, &key, &conn->link);
  304.     futex_up(&async_futex);
  305.  
  306.     psthread_add_ready(conn->ptid);
  307.  
  308.     return conn->ptid;
  309. }
  310.  
  311. /** Handle call that was received */
  312. static void handle_call(ipc_callid_t callid, ipc_call_t *call)
  313. {
  314.     if (route_call(callid, call))
  315.         return;
  316.  
  317.     switch (IPC_GET_METHOD(*call)) {
  318.     case IPC_M_INTERRUPT:
  319.         break;
  320.     case IPC_M_CONNECT_ME_TO:
  321.         /* Open new connection with thread etc. */
  322.         async_new_connection(callid, call, client_connection);
  323.         break;
  324.     default:
  325.         ipc_answer_fast(callid, EHANGUP, 0, 0);
  326.     }
  327. }
  328.  
  329. /** Endless loop dispatching incoming calls and answers */
  330. int async_manager()
  331. {
  332.     ipc_call_t call;
  333.     ipc_callid_t callid;
  334.     int timeout;
  335.  
  336.     while (1) {
  337.         if (psthread_schedule_next_adv(PS_FROM_MANAGER)) {
  338.             futex_up(&async_futex); /* async_futex is always held
  339.                         * when entering manager thread
  340.                         */
  341.             continue;
  342.         }
  343. /*
  344.         if (expires)
  345.             timeout = .... ;
  346.         else
  347. */
  348.             timeout = SYNCH_NO_TIMEOUT;
  349.         callid = ipc_wait_cycle(&call, timeout, SYNCH_BLOCKING);
  350.  
  351.         if (!callid) {
  352. //          handle_expired_timeouts.......;
  353.             continue;
  354.         }
  355.  
  356.         if (callid & IPC_CALLID_ANSWERED)
  357.             continue;
  358.  
  359.         handle_call(callid, &call);
  360.     }
  361. }
  362.  
  363. /** Function to start async_manager as a standalone thread
  364.  *
  365.  * When more kernel threads are used, one async manager should
  366.  * exist per thread. The particular implementation may change,
  367.  * currently one async_manager is started automatically per kernel
  368.  * thread except main thread.
  369.  */
  370. static int async_manager_thread(void *arg)
  371. {
  372.     futex_up(&async_futex); /* async_futex is always locked when entering
  373.                 * manager */
  374.     async_manager();
  375. }
  376.  
  377. /** Add one manager to manager list */
  378. void async_create_manager(void)
  379. {
  380.     pstid_t ptid;
  381.  
  382.     ptid = psthread_create(async_manager_thread, NULL);
  383.     psthread_add_manager(ptid);
  384. }
  385.  
  386. /** Remove one manager from manager list */
  387. void async_destroy_manager(void)
  388. {
  389.     psthread_remove_manager();
  390. }
  391.  
  392. /** Initialize internal structures needed for async manager */
  393. int _async_init(void)
  394. {
  395.     if (!hash_table_create(&conn_hash_table, CONN_HASH_TABLE_CHAINS, 1, &conn_hash_table_ops)) {
  396.         printf("%s: cannot create hash table\n", "async");
  397.         return ENOMEM;
  398.     }
  399.    
  400. }
  401.  
  402. /** IPC handler for messages in async framework
  403.  *
  404.  * Notify thread that is waiting for this message, that it arrived
  405.  */
  406. static void reply_received(void *private, int retval,
  407.                ipc_call_t *data)
  408. {
  409.     amsg_t *msg = (amsg_t *) private;
  410.  
  411.     msg->retval = retval;
  412.  
  413.     futex_down(&async_futex);
  414.     /* Copy data after futex_down, just in case the
  415.      * call was detached
  416.      */
  417.     if (msg->dataptr)
  418.         *msg->dataptr = *data;
  419.  
  420.     /* TODO: memory barrier?? */
  421.     msg->done = 1;
  422.     if (! msg->active) {
  423.         msg->active = 1;
  424.         psthread_add_ready(msg->ptid);
  425.     }
  426.     futex_up(&async_futex);
  427. }
  428.  
  429. /** Send message and return id of the sent message
  430.  *
  431.  * The return value can be used as input for async_wait() to wait
  432.  * for completion.
  433.  */
  434. aid_t async_send_2(int phoneid, ipcarg_t method, ipcarg_t arg1, ipcarg_t arg2,
  435.            ipc_call_t *dataptr)
  436. {
  437.     amsg_t *msg;
  438.  
  439.     msg = malloc(sizeof(*msg));
  440.     msg->active = 1;
  441.     msg->done = 0;
  442.     msg->dataptr = dataptr;
  443.     ipc_call_async_2(phoneid,method,arg1,arg2,msg,reply_received);
  444.  
  445.     return (aid_t) msg;
  446. }
  447.  
  448. /** Wait for a message sent by async framework
  449.  *
  450.  * @param amsgid Message ID to wait for
  451.  * @param retval Pointer to variable where will be stored retval
  452.  *               of the answered message. If NULL, it is ignored.
  453.  *
  454.  */
  455. void async_wait_for(aid_t amsgid, ipcarg_t *retval)
  456. {
  457.     amsg_t *msg = (amsg_t *) amsgid;
  458.     connection_t *conn;
  459.  
  460.     futex_down(&async_futex);
  461.     if (msg->done) {
  462.         futex_up(&async_futex);
  463.         goto done;
  464.     }
  465.  
  466.     msg->ptid = psthread_get_id();
  467.     msg->active = 0;
  468.     /* Leave locked async_futex when entering this function */
  469.     psthread_schedule_next_adv(PS_TO_MANAGER);
  470.     /* futex is up automatically after psthread_schedule_next...*/
  471. done:
  472.     if (retval)
  473.         *retval = msg->retval;
  474.     free(msg);
  475. }
  476.  
  477.  
  478. /* int async_wait_timeout(aid_t amsgid, ipcarg_t *retval, int timeout) */
  479. /* { */
  480. /*  amsg_t *msg = (amsg_t *) amsgid; */
  481. /*  connection_t *conn; */
  482.  
  483. /*  futex_down(&async_futex); */
  484. /*  if (msg->done) { */
  485. /*      futex_up(&async_futex); */
  486. /*      goto done; */
  487. /*  } */
  488.  
  489. /*  msg->ptid = psthread_get_id(); */
  490. /*  msg->active = 0; */
  491. /*  msg->expires = gettime() + timeout; */
  492. /*  setup_timeouts_etc...(); */
  493.  
  494. /*  /\* Leave locked async_futex when entering this function *\/ */
  495. /*  psthread_schedule_next_adv(PS_TO_MANAGER); */
  496. /*  /\* futex is up automatically after psthread_schedule_next...*\/ */
  497.  
  498. /*  if (!msg->done) */
  499. /*      return casy-casy; */
  500.  
  501. /*  /\* TODO: When memory barrier in reply_received, we can skip this *\/ */
  502. /*  futex_down(&async_futex); */
  503. /*  futex_up(&async_futex); */
  504. /* done: */
  505.    
  506. /*  if (retval) */
  507. /*      *retval = msg->retval; */
  508. /*  free(msg); */
  509. /* } */
  510.  
  511.