Subversion Repositories HelenOS-historic

Rev

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

Rev Author Line No. Line
1113 palkovsky 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
#include <libadt/list.h>
30
#include <psthread.h>
31
#include <malloc.h>
32
#include <unistd.h>
33
#include <thread.h>
34
#include <stdio.h>
1125 jermar 35
#include <kernel/arch/faddr.h>
1392 palkovsky 36
#include <futex.h>
37
#include <assert.h>
1113 palkovsky 38
 
1155 vana 39
#ifndef PSTHREAD_INITIAL_STACK_PAGES_NO
40
#define PSTHREAD_INITIAL_STACK_PAGES_NO 1
41
#endif
42
 
1113 palkovsky 43
static LIST_INITIALIZE(ready_list);
1392 palkovsky 44
static LIST_INITIALIZE(manager_list);
1113 palkovsky 45
 
1128 jermar 46
static void psthread_exit(void) __attribute__ ((noinline));
47
static void psthread_main(void);
1125 jermar 48
 
1392 palkovsky 49
static atomic_t psthread_futex = FUTEX_INITIALIZER;
50
 
1129 palkovsky 51
/** Setup PSthread information into TCB structure */
1392 palkovsky 52
psthread_data_t * psthread_setup()
1129 palkovsky 53
{
54
    psthread_data_t *pt;
1392 palkovsky 55
    tcb_t *tcb;
1129 palkovsky 56
 
1392 palkovsky 57
    tcb = __make_tls();
58
    if (!tcb)
59
        return NULL;
60
 
1129 palkovsky 61
    pt = malloc(sizeof(*pt));
62
    if (!pt) {
1392 palkovsky 63
        __free_tls(tcb);
1129 palkovsky 64
        return NULL;
65
    }
66
 
67
    tcb->pst_data = pt;
68
    pt->tcb = tcb;
69
 
70
    return pt;
71
}
72
 
73
void psthread_teardown(psthread_data_t *pt)
74
{
1392 palkovsky 75
    __free_tls(pt->tcb);
1129 palkovsky 76
    free(pt);
77
}
78
 
1128 jermar 79
/** Function to preempt to other pseudo thread without adding
80
 * currently running pseudo thread to ready_list.
1113 palkovsky 81
 */
1128 jermar 82
void psthread_exit(void)
1113 palkovsky 83
{
84
    psthread_data_t *pt;
85
 
1392 palkovsky 86
    futex_down(&psthread_futex);
87
 
88
    if (!list_empty(&ready_list))
89
        pt = list_get_instance(ready_list.next, psthread_data_t, link);
90
    else if (!list_empty(&manager_list))
91
        pt = list_get_instance(manager_list.next, psthread_data_t, link);
92
    else {
93
        printf("Cannot find suitable psthread to run.\n");
1113 palkovsky 94
        _exit(0);
95
    }
1128 jermar 96
    list_remove(&pt->link);
1392 palkovsky 97
    futex_up(&psthread_futex);
98
 
1113 palkovsky 99
    context_restore(&pt->ctx);
1392 palkovsky 100
    /* Never reached */
1113 palkovsky 101
}
102
 
103
/** Function that is called on entry to new uspace thread */
1128 jermar 104
void psthread_main(void)
1113 palkovsky 105
{
1129 palkovsky 106
    psthread_data_t *pt = __tcb_get()->pst_data;
107
 
1113 palkovsky 108
    pt->retval = pt->func(pt->arg);
109
 
110
    pt->finished = 1;
111
    if (pt->waiter)
1128 jermar 112
        list_append(&pt->waiter->link, &ready_list);
1113 palkovsky 113
 
1128 jermar 114
    psthread_exit();
1113 palkovsky 115
}
116
 
1128 jermar 117
/** Schedule next userspace pseudo thread.
118
 *
1392 palkovsky 119
 * @param tomanager If true, we are switching to next ready manager thread
120
 *                  (if none is found, thread is exited)
121
 * @param frommanager If true, we are switching from manager thread
1128 jermar 122
 * @return 0 if there is no ready pseudo thread, 1 otherwise.
123
 */
1392 palkovsky 124
int psthread_schedule_next_adv(pschange_type ctype)
1113 palkovsky 125
{
126
    psthread_data_t *pt;
1392 palkovsky 127
    int retval = 0;
128
 
129
    futex_down(&psthread_futex);
1113 palkovsky 130
 
1392 palkovsky 131
    if (ctype == PS_PREEMPT && list_empty(&ready_list))
132
        goto ret_0;
1113 palkovsky 133
 
1392 palkovsky 134
    if (ctype == PS_FROM_MANAGER && list_empty(&ready_list)) {
135
        goto ret_0;
136
    }
137
    assert(!(ctype == PS_TO_MANAGER && list_empty(&manager_list)));
138
 
1129 palkovsky 139
    pt = __tcb_get()->pst_data;
1392 palkovsky 140
    if (!context_save(&pt->ctx))
141
        return 1; // futex_up already done here
142
 
143
    if (ctype == PS_PREEMPT)
144
        list_append(&pt->link, &ready_list);
145
    else if (ctype == PS_FROM_MANAGER)
146
        list_append(&pt->link, &manager_list);
1113 palkovsky 147
 
1392 palkovsky 148
    if (ctype == PS_TO_MANAGER)
149
        pt = list_get_instance(manager_list.next,psthread_data_t, link);
150
    else
151
        pt = list_get_instance(ready_list.next, psthread_data_t, link);
1128 jermar 152
    list_remove(&pt->link);
1113 palkovsky 153
 
1392 palkovsky 154
    futex_up(&psthread_futex);
1113 palkovsky 155
    context_restore(&pt->ctx);
1392 palkovsky 156
 
157
ret_0:
158
    futex_up(&psthread_futex);
159
    return retval;
1113 palkovsky 160
}
161
 
1128 jermar 162
/** Wait for uspace pseudo thread to finish.
163
 *
164
 * @param psthrid Pseudo thread to wait for.
165
 *
166
 * @return Value returned by the finished thread.
167
 */
168
int psthread_join(pstid_t psthrid)
1113 palkovsky 169
{
1125 jermar 170
    volatile psthread_data_t *pt, *mypt;
171
    volatile int retval;
1113 palkovsky 172
 
173
    /* Handle psthrid = Kernel address -> it is wait for call */
174
    pt = (psthread_data_t *) psthrid;
175
 
176
    if (!pt->finished) {
1129 palkovsky 177
        mypt = __tcb_get()->pst_data;
1125 jermar 178
        if (context_save(&((psthread_data_t *) mypt)->ctx)) {
179
            pt->waiter = (psthread_data_t *) mypt;
1128 jermar 180
            psthread_exit();
1113 palkovsky 181
        }
182
    }
183
    retval = pt->retval;
184
 
185
    free(pt->stack);
1129 palkovsky 186
    psthread_teardown((void *)pt);
1113 palkovsky 187
 
188
    return retval;
189
}
190
 
191
/**
1392 palkovsky 192
 * Create a userspace thread
1113 palkovsky 193
 *
1128 jermar 194
 * @param func Pseudo thread function.
195
 * @param arg Argument to pass to func.
196
 *
197
 * @return 0 on failure, TLS of the new pseudo thread.
1113 palkovsky 198
 */
199
pstid_t psthread_create(int (*func)(void *), void *arg)
200
{
201
    psthread_data_t *pt;
202
 
1392 palkovsky 203
    pt = psthread_setup();
204
    if (!pt)
1129 palkovsky 205
        return 0;
1155 vana 206
    pt->stack = (char *) malloc(PSTHREAD_INITIAL_STACK_PAGES_NO*getpagesize());
1113 palkovsky 207
 
208
    if (!pt->stack) {
1129 palkovsky 209
        psthread_teardown(pt);
1113 palkovsky 210
        return 0;
211
    }
212
 
213
    pt->arg= arg;
214
    pt->func = func;
215
    pt->finished = 0;
216
    pt->waiter = NULL;
217
 
218
    context_save(&pt->ctx);
1155 vana 219
    context_set(&pt->ctx, FADDR(psthread_main), pt->stack, PSTHREAD_INITIAL_STACK_PAGES_NO*getpagesize(),
1392 palkovsky 220
            pt->tcb);
1113 palkovsky 221
 
1392 palkovsky 222
    return (pstid_t )pt;
223
}
224
 
225
/** Add a thread to ready list */
226
void psthread_add_ready(pstid_t psthrid)
227
{
228
    psthread_data_t *pt;
229
 
230
    pt = (psthread_data_t *) psthrid;
231
    futex_down(&psthread_futex);
1128 jermar 232
    list_append(&pt->link, &ready_list);
1392 palkovsky 233
    futex_up(&psthread_futex);
234
}
1113 palkovsky 235
 
1392 palkovsky 236
/** Add a thread to manager list */
237
void psthread_add_manager(pstid_t psthrid)
238
{
239
    psthread_data_t *pt;
240
 
241
    pt = (psthread_data_t *) psthrid;
242
 
243
    futex_down(&psthread_futex);
244
    list_append(&pt->link, &manager_list);
245
    futex_up(&psthread_futex);
1113 palkovsky 246
}
1392 palkovsky 247
 
248
/** Remove one manager from manager list */
249
void psthread_remove_manager()
250
{
251
    futex_down(&psthread_futex);
252
    if (list_empty(&manager_list)) {
253
        printf("No manager found!.\n");
254
        futex_up(&psthread_futex);
255
        return;
256
    }
257
    list_remove(manager_list.next);
258
    futex_up(&psthread_futex);
259
}