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 | } |