Subversion Repositories HelenOS-historic

Rev

Rev 623 | Rev 625 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 623 Rev 624
1
/*
1
/*
2
 * Copyright (C) 2001-2004 Jakub Jermar
2
 * Copyright (C) 2001-2004 Jakub Jermar
3
 * All rights reserved.
3
 * All rights reserved.
4
 *
4
 *
5
 * Redistribution and use in source and binary forms, with or without
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
6
 * modification, are permitted provided that the following conditions
7
 * are met:
7
 * are met:
8
 *
8
 *
9
 * - Redistributions of source code must retain the above copyright
9
 * - Redistributions of source code must retain the above copyright
10
 *   notice, this list of conditions and the following disclaimer.
10
 *   notice, this list of conditions and the following disclaimer.
11
 * - Redistributions in binary form must reproduce the above copyright
11
 * - Redistributions in binary form must reproduce the above copyright
12
 *   notice, this list of conditions and the following disclaimer in the
12
 *   notice, this list of conditions and the following disclaimer in the
13
 *   documentation and/or other materials provided with the distribution.
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
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.
15
 *   derived from this software without specific prior written permission.
16
 *
16
 *
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
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
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
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
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
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
#include <proc/scheduler.h>
29
#include <proc/scheduler.h>
30
#include <proc/thread.h>
30
#include <proc/thread.h>
31
#include <proc/task.h>
31
#include <proc/task.h>
32
#include <mm/heap.h>
32
#include <mm/heap.h>
33
#include <mm/frame.h>
33
#include <mm/frame.h>
34
#include <mm/page.h>
34
#include <mm/page.h>
35
#include <arch/asm.h>
35
#include <arch/asm.h>
36
#include <arch.h>
36
#include <arch.h>
37
#include <synch/synch.h>
37
#include <synch/synch.h>
38
#include <synch/spinlock.h>
38
#include <synch/spinlock.h>
39
#include <synch/waitq.h>
39
#include <synch/waitq.h>
40
#include <synch/rwlock.h>
40
#include <synch/rwlock.h>
41
#include <cpu.h>
41
#include <cpu.h>
42
#include <func.h>
42
#include <func.h>
43
#include <context.h>
43
#include <context.h>
44
#include <list.h>
44
#include <list.h>
45
#include <typedefs.h>
45
#include <typedefs.h>
46
#include <time/clock.h>
46
#include <time/clock.h>
47
#include <list.h>
47
#include <list.h>
48
#include <config.h>
48
#include <config.h>
49
#include <arch/interrupt.h>
49
#include <arch/interrupt.h>
50
#include <smp/ipi.h>
50
#include <smp/ipi.h>
51
#include <arch/faddr.h>
51
#include <arch/faddr.h>
52
#include <arch/atomic.h>
52
#include <arch/atomic.h>
53
#include <memstr.h>
53
#include <memstr.h>
54
 
54
 
55
char *thread_states[] = {"Invalid", "Running", "Sleeping", "Ready", "Entering", "Exiting"}; /**< Thread states */
55
char *thread_states[] = {"Invalid", "Running", "Sleeping", "Ready", "Entering", "Exiting"}; /**< Thread states */
56
 
56
 
57
SPINLOCK_INITIALIZE(threads_lock);  /**< Lock protecting threads_head list. For locking rules, see declaration thereof. */
57
SPINLOCK_INITIALIZE(threads_lock);  /**< Lock protecting threads_head list. For locking rules, see declaration thereof. */
58
link_t threads_head;            /**< List of all threads. */
58
LIST_INITIALIZE(threads_head);      /**< List of all threads. */
59
 
59
 
60
SPINLOCK_INITIALIZE(tidlock);
60
SPINLOCK_INITIALIZE(tidlock);
61
__u32 last_tid = 0;
61
__u32 last_tid = 0;
62
 
62
 
63
 
63
 
64
/** Thread wrapper
64
/** Thread wrapper
65
 *
65
 *
66
 * This wrapper is provided to ensure that every thread
66
 * This wrapper is provided to ensure that every thread
67
 * makes a call to thread_exit() when its implementing
67
 * makes a call to thread_exit() when its implementing
68
 * function returns.
68
 * function returns.
69
 *
69
 *
70
 * interrupts_disable() is assumed.
70
 * interrupts_disable() is assumed.
71
 *
71
 *
72
 */
72
 */
73
static void cushion(void)
73
static void cushion(void)
74
{
74
{
75
    void (*f)(void *) = THREAD->thread_code;
75
    void (*f)(void *) = THREAD->thread_code;
76
    void *arg = THREAD->thread_arg;
76
    void *arg = THREAD->thread_arg;
77
 
77
 
78
    /* this is where each thread wakes up after its creation */
78
    /* this is where each thread wakes up after its creation */
79
    before_thread_runs();
79
    before_thread_runs();
80
 
80
 
81
    spinlock_unlock(&THREAD->lock);
81
    spinlock_unlock(&THREAD->lock);
82
    interrupts_enable();
82
    interrupts_enable();
83
 
83
 
84
    f(arg);
84
    f(arg);
85
    thread_exit();
85
    thread_exit();
86
    /* not reached */
86
    /* not reached */
87
}
87
}
88
 
88
 
89
 
89
 
90
/** Initialize threads
90
/** Initialize threads
91
 *
91
 *
92
 * Initialize kernel threads support.
92
 * Initialize kernel threads support.
93
 *
93
 *
94
 */
94
 */
95
void thread_init(void)
95
void thread_init(void)
96
{
96
{
97
    THREAD = NULL;
97
    THREAD = NULL;
98
    nrdy = 0;
98
    nrdy = 0;
99
    list_initialize(&threads_head);
-
 
100
}
99
}
101
 
100
 
102
 
101
 
103
/** Make thread ready
102
/** Make thread ready
104
 *
103
 *
105
 * Switch thread t to the ready state.
104
 * Switch thread t to the ready state.
106
 *
105
 *
107
 * @param t Thread to make ready.
106
 * @param t Thread to make ready.
108
 *
107
 *
109
 */
108
 */
110
void thread_ready(thread_t *t)
109
void thread_ready(thread_t *t)
111
{
110
{
112
    cpu_t *cpu;
111
    cpu_t *cpu;
113
    runq_t *r;
112
    runq_t *r;
114
    ipl_t ipl;
113
    ipl_t ipl;
115
    int i, avg, send_ipi = 0;
114
    int i, avg, send_ipi = 0;
116
 
115
 
117
    ipl = interrupts_disable();
116
    ipl = interrupts_disable();
118
 
117
 
119
    spinlock_lock(&t->lock);
118
    spinlock_lock(&t->lock);
120
 
119
 
121
    i = (t->priority < RQ_COUNT -1) ? ++t->priority : t->priority;
120
    i = (t->priority < RQ_COUNT -1) ? ++t->priority : t->priority;
122
   
121
   
123
    cpu = CPU;
122
    cpu = CPU;
124
    if (t->flags & X_WIRED) {
123
    if (t->flags & X_WIRED) {
125
        cpu = t->cpu;
124
        cpu = t->cpu;
126
    }
125
    }
127
    spinlock_unlock(&t->lock);
126
    spinlock_unlock(&t->lock);
128
   
127
   
129
    /*
128
    /*
130
     * Append t to respective ready queue on respective processor.
129
     * Append t to respective ready queue on respective processor.
131
     */
130
     */
132
    r = &cpu->rq[i];
131
    r = &cpu->rq[i];
133
    spinlock_lock(&r->lock);
132
    spinlock_lock(&r->lock);
134
    list_append(&t->rq_link, &r->rq_head);
133
    list_append(&t->rq_link, &r->rq_head);
135
    r->n++;
134
    r->n++;
136
    spinlock_unlock(&r->lock);
135
    spinlock_unlock(&r->lock);
137
 
136
 
138
    atomic_inc(&nrdy);
137
    atomic_inc(&nrdy);
139
    avg = nrdy / config.cpu_active;
138
    avg = nrdy / config.cpu_active;
140
 
139
 
141
    spinlock_lock(&cpu->lock);
140
    spinlock_lock(&cpu->lock);
142
    if ((++cpu->nrdy) > avg) {
141
    if ((++cpu->nrdy) > avg) {
143
        /*
142
        /*
144
         * If there are idle halted CPU's, this will wake them up.
143
         * If there are idle halted CPU's, this will wake them up.
145
         */
144
         */
146
        ipi_broadcast(VECTOR_WAKEUP_IPI);
145
        ipi_broadcast(VECTOR_WAKEUP_IPI);
147
    }  
146
    }  
148
    spinlock_unlock(&cpu->lock);
147
    spinlock_unlock(&cpu->lock);
149
 
148
 
150
    interrupts_restore(ipl);
149
    interrupts_restore(ipl);
151
}
150
}
152
 
151
 
153
 
152
 
154
/** Create new thread
153
/** Create new thread
155
 *
154
 *
156
 * Create a new thread.
155
 * Create a new thread.
157
 *
156
 *
158
 * @param func  Thread's implementing function.
157
 * @param func  Thread's implementing function.
159
 * @param arg   Thread's implementing function argument.
158
 * @param arg   Thread's implementing function argument.
160
 * @param task  Task to which the thread belongs.
159
 * @param task  Task to which the thread belongs.
161
 * @param flags Thread flags.
160
 * @param flags Thread flags.
162
 *
161
 *
163
 * @return New thread's structure on success, NULL on failure.
162
 * @return New thread's structure on success, NULL on failure.
164
 *
163
 *
165
 */
164
 */
166
thread_t *thread_create(void (* func)(void *), void *arg, task_t *task, int flags)
165
thread_t *thread_create(void (* func)(void *), void *arg, task_t *task, int flags)
167
{
166
{
168
    thread_t *t;
167
    thread_t *t;
169
    __address frame_ks, frame_us = NULL;
168
    __address frame_ks, frame_us = NULL;
170
 
169
 
171
    t = (thread_t *) malloc(sizeof(thread_t));
170
    t = (thread_t *) malloc(sizeof(thread_t));
172
    if (t) {
171
    if (t) {
173
        ipl_t ipl;
172
        ipl_t ipl;
174
   
173
   
175
        spinlock_initialize(&t->lock, "thread_t_lock");
174
        spinlock_initialize(&t->lock, "thread_t_lock");
176
   
175
   
177
        frame_ks = frame_alloc(FRAME_KA, ONE_FRAME);
176
        frame_ks = frame_alloc(FRAME_KA, ONE_FRAME);
178
        if (THREAD_USER_STACK & flags) {
177
        if (THREAD_USER_STACK & flags) {
179
            frame_us = frame_alloc(FRAME_KA, ONE_FRAME);
178
            frame_us = frame_alloc(FRAME_KA, ONE_FRAME);
180
        }
179
        }
181
 
180
 
182
        ipl = interrupts_disable();
181
        ipl = interrupts_disable();
183
        spinlock_lock(&tidlock);
182
        spinlock_lock(&tidlock);
184
        t->tid = ++last_tid;
183
        t->tid = ++last_tid;
185
        spinlock_unlock(&tidlock);
184
        spinlock_unlock(&tidlock);
186
        interrupts_restore(ipl);
185
        interrupts_restore(ipl);
187
       
186
       
188
        memsetb(frame_ks, THREAD_STACK_SIZE, 0);
187
        memsetb(frame_ks, THREAD_STACK_SIZE, 0);
189
        link_initialize(&t->rq_link);
188
        link_initialize(&t->rq_link);
190
        link_initialize(&t->wq_link);
189
        link_initialize(&t->wq_link);
191
        link_initialize(&t->th_link);
190
        link_initialize(&t->th_link);
192
        link_initialize(&t->threads_link);
191
        link_initialize(&t->threads_link);
193
        t->kstack = (__u8 *) frame_ks;
192
        t->kstack = (__u8 *) frame_ks;
194
        t->ustack = (__u8 *) frame_us;
193
        t->ustack = (__u8 *) frame_us;
195
       
194
       
196
        context_save(&t->saved_context);
195
        context_save(&t->saved_context);
197
        context_set(&t->saved_context, FADDR(cushion), (__address) t->kstack, THREAD_STACK_SIZE);
196
        context_set(&t->saved_context, FADDR(cushion), (__address) t->kstack, THREAD_STACK_SIZE);
198
       
197
       
199
        the_initialize((the_t *) t->kstack);
198
        the_initialize((the_t *) t->kstack);
200
 
199
 
201
        ipl = interrupts_disable();
200
        ipl = interrupts_disable();
202
        t->saved_context.ipl = interrupts_read();
201
        t->saved_context.ipl = interrupts_read();
203
        interrupts_restore(ipl);
202
        interrupts_restore(ipl);
204
       
203
       
205
        t->thread_code = func;
204
        t->thread_code = func;
206
        t->thread_arg = arg;
205
        t->thread_arg = arg;
207
        t->ticks = -1;
206
        t->ticks = -1;
208
        t->priority = -1;       /* start in rq[0] */
207
        t->priority = -1;       /* start in rq[0] */
209
        t->cpu = NULL;
208
        t->cpu = NULL;
210
        t->flags = 0;
209
        t->flags = 0;
211
        t->state = Entering;
210
        t->state = Entering;
212
        t->call_me = NULL;
211
        t->call_me = NULL;
213
        t->call_me_with = NULL;
212
        t->call_me_with = NULL;
214
       
213
       
215
        timeout_initialize(&t->sleep_timeout);
214
        timeout_initialize(&t->sleep_timeout);
216
        t->sleep_queue = NULL;
215
        t->sleep_queue = NULL;
217
        t->timeout_pending = 0;
216
        t->timeout_pending = 0;
218
       
217
       
219
        t->rwlock_holder_type = RWLOCK_NONE;
218
        t->rwlock_holder_type = RWLOCK_NONE;
220
       
219
       
221
        t->task = task;
220
        t->task = task;
222
       
221
       
223
        t->fpu_context_exists=0;
222
        t->fpu_context_exists=0;
224
        t->fpu_context_engaged=0;
223
        t->fpu_context_engaged=0;
225
       
224
       
226
        /*
225
        /*
227
         * Register this thread in the system-wide list.
226
         * Register this thread in the system-wide list.
228
         */
227
         */
229
        ipl = interrupts_disable();    
228
        ipl = interrupts_disable();    
230
        spinlock_lock(&threads_lock);
229
        spinlock_lock(&threads_lock);
231
        list_append(&t->threads_link, &threads_head);
230
        list_append(&t->threads_link, &threads_head);
232
        spinlock_unlock(&threads_lock);
231
        spinlock_unlock(&threads_lock);
233
 
232
 
234
        /*
233
        /*
235
         * Attach to the containing task.
234
         * Attach to the containing task.
236
         */
235
         */
237
        spinlock_lock(&task->lock);
236
        spinlock_lock(&task->lock);
238
        list_append(&t->th_link, &task->th_head);
237
        list_append(&t->th_link, &task->th_head);
239
        spinlock_unlock(&task->lock);
238
        spinlock_unlock(&task->lock);
240
 
239
 
241
        interrupts_restore(ipl);
240
        interrupts_restore(ipl);
242
    }
241
    }
243
 
242
 
244
    return t;
243
    return t;
245
}
244
}
246
 
245
 
247
 
246
 
248
/** Make thread exiting
247
/** Make thread exiting
249
 *
248
 *
250
 * End current thread execution and switch it to the exiting
249
 * End current thread execution and switch it to the exiting
251
 * state. All pending timeouts are executed.
250
 * state. All pending timeouts are executed.
252
 *
251
 *
253
 */
252
 */
254
void thread_exit(void)
253
void thread_exit(void)
255
{
254
{
256
    ipl_t ipl;
255
    ipl_t ipl;
257
 
256
 
258
restart:
257
restart:
259
    ipl = interrupts_disable();
258
    ipl = interrupts_disable();
260
    spinlock_lock(&THREAD->lock);
259
    spinlock_lock(&THREAD->lock);
261
    if (THREAD->timeout_pending) { /* busy waiting for timeouts in progress */
260
    if (THREAD->timeout_pending) { /* busy waiting for timeouts in progress */
262
        spinlock_unlock(&THREAD->lock);
261
        spinlock_unlock(&THREAD->lock);
263
        interrupts_restore(ipl);
262
        interrupts_restore(ipl);
264
        goto restart;
263
        goto restart;
265
    }
264
    }
266
    THREAD->state = Exiting;
265
    THREAD->state = Exiting;
267
    spinlock_unlock(&THREAD->lock);
266
    spinlock_unlock(&THREAD->lock);
268
    scheduler();
267
    scheduler();
269
}
268
}
270
 
269
 
271
 
270
 
272
/** Thread sleep
271
/** Thread sleep
273
 *
272
 *
274
 * Suspend execution of the current thread.
273
 * Suspend execution of the current thread.
275
 *
274
 *
276
 * @param sec Number of seconds to sleep.
275
 * @param sec Number of seconds to sleep.
277
 *
276
 *
278
 */
277
 */
279
void thread_sleep(__u32 sec)
278
void thread_sleep(__u32 sec)
280
{
279
{
281
    thread_usleep(sec*1000000);
280
    thread_usleep(sec*1000000);
282
}
281
}
283
 
282
 
284
 
283
 
285
/** Thread usleep
284
/** Thread usleep
286
 *
285
 *
287
 * Suspend execution of the current thread.
286
 * Suspend execution of the current thread.
288
 *
287
 *
289
 * @param usec Number of microseconds to sleep.
288
 * @param usec Number of microseconds to sleep.
290
 *
289
 *
291
 */
290
 */
292
void thread_usleep(__u32 usec)
291
void thread_usleep(__u32 usec)
293
{
292
{
294
    waitq_t wq;
293
    waitq_t wq;
295
                 
294
                 
296
    waitq_initialize(&wq);
295
    waitq_initialize(&wq);
297
 
296
 
298
    (void) waitq_sleep_timeout(&wq, usec, SYNCH_NON_BLOCKING);
297
    (void) waitq_sleep_timeout(&wq, usec, SYNCH_NON_BLOCKING);
299
}
298
}
300
 
299
 
301
 
300
 
302
/** Register thread out-of-context invocation
301
/** Register thread out-of-context invocation
303
 *
302
 *
304
 * Register a function and its argument to be executed
303
 * Register a function and its argument to be executed
305
 * on next context switch to the current thread.
304
 * on next context switch to the current thread.
306
 *
305
 *
307
 * @param call_me      Out-of-context function.
306
 * @param call_me      Out-of-context function.
308
 * @param call_me_with Out-of-context function argument.
307
 * @param call_me_with Out-of-context function argument.
309
 *
308
 *
310
 */
309
 */
311
void thread_register_call_me(void (* call_me)(void *), void *call_me_with)
310
void thread_register_call_me(void (* call_me)(void *), void *call_me_with)
312
{
311
{
313
    ipl_t ipl;
312
    ipl_t ipl;
314
   
313
   
315
    ipl = interrupts_disable();
314
    ipl = interrupts_disable();
316
    spinlock_lock(&THREAD->lock);
315
    spinlock_lock(&THREAD->lock);
317
    THREAD->call_me = call_me;
316
    THREAD->call_me = call_me;
318
    THREAD->call_me_with = call_me_with;
317
    THREAD->call_me_with = call_me_with;
319
    spinlock_unlock(&THREAD->lock);
318
    spinlock_unlock(&THREAD->lock);
320
    interrupts_restore(ipl);
319
    interrupts_restore(ipl);
321
}
320
}
322
 
321