Subversion Repositories HelenOS-historic

Rev

Rev 1351 | Rev 1404 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 1351 Rev 1392
Line 24... Line 24...
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
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
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.
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
 */
27
 */
28
 
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
 *      wait_for_connection(new_connection);
-
 
64
 * }
-
 
65
 *
-
 
66
 *
-
 
67
 * new_connection(int connection) {
-
 
68
 *       accept(connection);
-
 
69
 *       msg = get_msg();
-
 
70
 *       handle(msg);
-
 
71
 *       answer(msg);
-
 
72
 *
-
 
73
 *       msg = get_msg();
-
 
74
 *       ....
-
 
75
 * }
-
 
76
 */
-
 
77
#include <futex.h>
-
 
78
#include <async.h>
-
 
79
#include <psthread.h>
-
 
80
#include <stdio.h>
-
 
81
#include <libadt/hash_table.h>
-
 
82
#include <libadt/list.h>
-
 
83
#include <ipc/ipc.h>
-
 
84
#include <assert.h>
-
 
85
#include <errno.h>
-
 
86
 
-
 
87
static atomic_t conn_futex = FUTEX_INITIALIZER;
-
 
88
static hash_table_t conn_hash_table;
-
 
89
 
-
 
90
typedef struct {
-
 
91
    link_t link;
-
 
92
    ipc_callid_t callid;
-
 
93
    ipc_call_t call;
-
 
94
} msg_t;
-
 
95
 
-
 
96
typedef struct {
-
 
97
    link_t link;
-
 
98
    ipcarg_t in_phone_hash;     /**< Incoming phone hash. */
-
 
99
    link_t msg_queue;              /**< Messages that should be delivered to this thread */
-
 
100
    pstid_t ptid;                /**< Thread associated with this connection */
-
 
101
    int active;                     /**< If this thread is currently active */
-
 
102
    int opened;                    /* If the connection was accepted */
-
 
103
    /* Structures for connection opening packet */
29
ipc_wait_t call_func(args)
104
    ipc_callid_t callid;
-
 
105
    ipc_call_t call;
-
 
106
} connection_t;
-
 
107
 
-
 
108
__thread connection_t *PS_connection;
-
 
109
 
-
 
110
/* Hash table functions */
-
 
111
 
-
 
112
#define ASYNC_HASH_TABLE_CHAINS 32
-
 
113
 
-
 
114
static hash_index_t conn_hash(unsigned long *key)
30
{
115
{
-
 
116
    assert(key);
-
 
117
    return ((*key) >> 4) % ASYNC_HASH_TABLE_CHAINS;
31
}
118
}
32
 
119
 
33
ipc_wait_t fire_function(args)
120
static int conn_compare(unsigned long key[], hash_count_t keys, link_t *item)
34
{
121
{
35
    stack = malloc(stacksize);
-
 
36
    setup(stack);
122
    connection_t *hs;
-
 
123
 
37
    add_to_list_of_ready_funcs(stack);
124
    hs = hash_table_get_instance(item, connection_t, link);
38
    if (threads_waiting_for_message)
-
 
-
 
125
   
39
        send_message_to_self_to_one_up();
126
    return key[0] == hs->in_phone_hash;
40
}
127
}
41
 
128
 
42
void discard_result(ipc_wait_t funcid)
129
static void conn_remove(link_t *item)
43
{
130
{
-
 
131
    free(hash_table_get_instance(item, connection_t, link));
44
}
132
}
45
 
133
 
-
 
134
 
-
 
135
/** Operations for NS hash table. */
-
 
136
static hash_table_operations_t conn_hash_table_ops = {
-
 
137
    .hash = conn_hash,
-
 
138
    .compare = conn_compare,
-
 
139
    .remove_callback = conn_remove
-
 
140
};
-
 
141
 
-
 
142
/** Try to route a call to an appropriate connection thread
-
 
143
 *
-
 
144
 */
46
int wait_result(ipc_wait_t funcid);
145
static int route_call(ipc_callid_t callid, ipc_call_t *call)
47
{
146
{
48
    save_context(self);
147
    connection_t *conn;
49
restart:
148
    msg_t *msg;
-
 
149
    link_t *hlp;
-
 
150
    unsigned long key;
-
 
151
 
50
    if result_available() {
152
    futex_down(&conn_futex);
-
 
153
 
51
        if in_list_of_ready(self):
154
    key = call->in_phone_hash;
-
 
155
    hlp = hash_table_find(&conn_hash_table, &key);
-
 
156
    if (!hlp) {
52
            tear_off_list(self);
157
        futex_up(&conn_futex);
53
        return retval;
158
        return 0;
-
 
159
    }
-
 
160
    conn = hash_table_get_instance(hlp, connection_t, link);
-
 
161
 
-
 
162
    msg = malloc(sizeof(*msg));
-
 
163
    msg->callid = callid;
-
 
164
    msg->call = *call;
-
 
165
    list_append(&msg->link, &conn->msg_queue);
-
 
166
   
-
 
167
    if (!conn->active) {
-
 
168
        conn->active = 1;
-
 
169
        psthread_add_ready(conn->ptid);
54
    }
170
    }
55
    add_to_waitlist_of(funcid);
-
 
56
 
171
 
57
    take_something_from_list_of_ready();
-
 
58
    if something {
-
 
59
       
-
 
60
        restore_context(something);
-
 
61
        } else { /* nothing */
-
 
62
        wait_for_call();
172
    futex_up(&conn_futex);
63
        if (answer) {
-
 
64
            mark_result_ready();
-
 
65
            put_waiting_thread_to_waitlist();
-
 
66
 
173
 
-
 
174
    return 1;
-
 
175
}
-
 
176
 
-
 
177
ipc_callid_t async_get_call(ipc_call_t *call)
-
 
178
{
67
            goto restart;
179
    msg_t *msg;
-
 
180
    ipc_callid_t callid;
-
 
181
    connection_t *conn;
68
        }
182
   
-
 
183
    futex_down(&conn_futex);
-
 
184
 
-
 
185
    conn = PS_connection;
-
 
186
    /* If nothing in queue, wait until something appears */
-
 
187
    if (list_empty(&conn->msg_queue)) {
-
 
188
        conn->active = 0;
-
 
189
        psthread_schedule_next_adv(PS_TO_MANAGER);
69
    }
190
    }
70
   
191
   
-
 
192
    msg = list_get_instance(conn->msg_queue.next, msg_t, link);
-
 
193
    list_remove(&msg->link);
-
 
194
    callid = msg->callid;
-
 
195
    *call = msg->call;
-
 
196
    free(msg);
-
 
197
   
-
 
198
    futex_up(&conn_futex);
-
 
199
    return callid;
-
 
200
}
-
 
201
 
-
 
202
void client_connection(ipc_callid_t callid, ipc_call_t *call)
-
 
203
{
-
 
204
    printf("Got connection - no handler.\n");
-
 
205
    _exit(1);
-
 
206
}
-
 
207
 
-
 
208
static int connection_thread(void  *arg)
-
 
209
{
-
 
210
    /* Setup thread local connection pointer */
-
 
211
    PS_connection = (connection_t *)arg;
-
 
212
    client_connection(PS_connection->callid, &PS_connection->call);
-
 
213
 
-
 
214
    futex_down(&conn_futex);
-
 
215
    /* TODO: remove myself from connection hash table */
-
 
216
    futex_up(&conn_futex);
-
 
217
    /* TODO: answer all unanswered messages in queue with
-
 
218
     *       EHANGUP */
71
}
219
}
72
 
220
 
-
 
221
/** Create new thread for a new connection
-
 
222
 *
-
 
223
 * Creates new thread for connection, fills in connection
-
 
224
 * structures and inserts it into the hash table, so that
-
 
225
 * later we can easily do routing of messages to particular
-
 
226
 * threads.
-
 
227
 */
-
 
228
static void new_connection(ipc_callid_t callid, ipc_call_t *call)
-
 
229
{
-
 
230
    pstid_t ptid;
-
 
231
    connection_t *conn;
-
 
232
    unsigned long key;
-
 
233
 
-
 
234
    conn = malloc(sizeof(*conn));
-
 
235
    if (!conn) {
-
 
236
        ipc_answer_fast(callid, ENOMEM, 0, 0);
-
 
237
        return;
-
 
238
    }
-
 
239
    conn->in_phone_hash = IPC_GET_ARG3(*call);
-
 
240
    list_initialize(&conn->msg_queue);
-
 
241
    conn->opened = 0;
-
 
242
    conn->ptid = psthread_create(connection_thread, conn);
-
 
243
    conn->callid = callid;
-
 
244
    conn->call = *call;
-
 
245
    conn->active = 1; /* We will activate it asap */
-
 
246
    list_initialize(&conn->link);
-
 
247
    if (!conn->ptid) {
-
 
248
        free(conn);
-
 
249
        ipc_answer_fast(callid, ENOMEM, 0, 0);
-
 
250
        return;
-
 
251
    }
-
 
252
    key = conn->in_phone_hash;
-
 
253
    futex_down(&conn_futex);
-
 
254
    /* Add connection to hash table */
-
 
255
    hash_table_insert(&conn_hash_table, &key, &conn->link);
-
 
256
    futex_up(&conn_futex);
-
 
257
 
-
 
258
    psthread_add_ready(conn->ptid);
-
 
259
}
-
 
260
 
-
 
261
/** Handle call to a task */
-
 
262
static void handle_call(ipc_callid_t callid, ipc_call_t *call)
-
 
263
{
-
 
264
    if (route_call(callid, call))
-
 
265
        return;
-
 
266
 
-
 
267
    switch (IPC_GET_METHOD(*call)) {
-
 
268
    case IPC_M_INTERRUPT:
-
 
269
        break;
-
 
270
    case IPC_M_CONNECT_ME_TO:
-
 
271
        /* Open new connection with thread etc. */
-
 
272
        new_connection(callid, call);
-
 
273
        break;
-
 
274
    default:
-
 
275
        ipc_answer_fast(callid, EHANGUP, 0, 0);
-
 
276
    }
-
 
277
}
-
 
278
 
-
 
279
/** Endless loop dispatching incoming calls and answers */
-
 
280
int async_manager()
-
 
281
{
-
 
282
    ipc_call_t call;
-
 
283
    ipc_callid_t callid;
-
 
284
 
-
 
285
    while (1) {
-
 
286
        if (psthread_schedule_next_adv(PS_FROM_MANAGER)) {
-
 
287
            futex_up(&conn_futex); /* conn_futex is always held
-
 
288
                        * when entering manager thread
-
 
289
                        */
-
 
290
            continue;
-
 
291
        }
-
 
292
        callid = ipc_wait_cycle(&call,SYNCH_NO_TIMEOUT,SYNCH_BLOCKING);
73
 
293
 
-
 
294
        if (callid & IPC_CALLID_ANSWERED)
-
 
295
            continue;
-
 
296
        handle_call(callid, &call);
-
 
297
    }
-
 
298
}
-
 
299
 
-
 
300
static int async_manager_thread(void *arg)
-
 
301
{
-
 
302
    futex_up(&conn_futex); /* conn_futex is always locked when entering
-
 
303
                * manager */
-
 
304
    async_manager();
-
 
305
}
-
 
306
 
-
 
307
/** Add one manager to manager list */
74
int ipc_call_sync(args)
308
void async_create_manager(void)
75
{
309
{
-
 
310
    pstid_t ptid;
-
 
311
 
-
 
312
    ptid = psthread_create(async_manager_thread, NULL);
76
    return ipc_wait(call_func(args));
313
    psthread_add_manager(ptid);
-
 
314
}
-
 
315
 
-
 
316
/** Remove one manager from manager list */
-
 
317
void async_destroy_manager(void)
-
 
318
{
-
 
319
    psthread_remove_manager();
-
 
320
}
-
 
321
 
-
 
322
/** Initialize internal structures needed for async manager */
-
 
323
int _async_init(void)
-
 
324
{
-
 
325
    if (!hash_table_create(&conn_hash_table, ASYNC_HASH_TABLE_CHAINS, 1, &conn_hash_table_ops)) {
-
 
326
        printf("%s: cannot create hash table\n", "async");
-
 
327
        return ENOMEM;
-
 
328
    }
-
 
329
   
77
}
330
}