Subversion Repositories HelenOS

Rev

Rev 2292 | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2292 Rev 2307
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
/** @addtogroup genericproc
29
/** @addtogroup genericproc
30
 * @{
30
 * @{
31
 */
31
 */
32
/** @file
32
/** @file
33
 */
33
 */
34
 
34
 
35
#ifndef KERN_THREAD_H_
35
#ifndef KERN_THREAD_H_
36
#define KERN_THREAD_H_
36
#define KERN_THREAD_H_
37
 
37
 
38
#include <synch/waitq.h>
38
#include <synch/waitq.h>
39
#include <proc/task.h>
39
#include <proc/task.h>
40
#include <time/timeout.h>
40
#include <time/timeout.h>
41
#include <cpu.h>
41
#include <cpu.h>
42
#include <synch/rwlock.h>
42
#include <synch/rwlock.h>
43
#include <adt/btree.h>
43
#include <adt/btree.h>
44
#include <mm/slab.h>
44
#include <mm/slab.h>
45
#include <arch/cpu.h>
45
#include <arch/cpu.h>
46
#include <mm/tlb.h>
46
#include <mm/tlb.h>
47
#include <proc/uarg.h>
47
#include <proc/uarg.h>
48
 
48
 
49
#define THREAD_STACK_SIZE   STACK_SIZE
49
#define THREAD_STACK_SIZE   STACK_SIZE
50
#define THREAD_NAME_BUFLEN  20
50
#define THREAD_NAME_BUFLEN  20
51
 
51
 
52
extern char *thread_states[];
52
extern char *thread_states[];
53
 
53
 
54
/* Thread flags */
54
/* Thread flags */
55
 
55
 
56
/** Thread cannot be migrated to another CPU. */
56
/** Thread cannot be migrated to another CPU.
-
 
57
 *
-
 
58
 * When using this flag, the caller must set cpu in the thread_t
-
 
59
 * structure manually before calling thread_ready (even on uniprocessor).
-
 
60
 */
57
#define THREAD_FLAG_WIRED   (1 << 0)
61
#define THREAD_FLAG_WIRED   (1 << 0)
58
/** Thread was migrated to another CPU and has not run yet. */
62
/** Thread was migrated to another CPU and has not run yet. */
59
#define THREAD_FLAG_STOLEN  (1 << 1)
63
#define THREAD_FLAG_STOLEN  (1 << 1)
60
/** Thread executes in userspace. */
64
/** Thread executes in userspace. */
61
#define THREAD_FLAG_USPACE  (1 << 2)
65
#define THREAD_FLAG_USPACE  (1 << 2)
62
 
66
 
63
/** Thread states. */
67
/** Thread states. */
64
typedef enum {
68
typedef enum {
65
    /** It is an error, if thread is found in this state. */
69
    /** It is an error, if thread is found in this state. */
66
    Invalid,
70
    Invalid,
67
    /** State of a thread that is currently executing on some CPU. */
71
    /** State of a thread that is currently executing on some CPU. */
68
    Running,
72
    Running,
69
    /** Thread in this state is waiting for an event. */
73
    /** Thread in this state is waiting for an event. */
70
    Sleeping,
74
    Sleeping,
71
    /** State of threads in a run queue. */
75
    /** State of threads in a run queue. */
72
    Ready,
76
    Ready,
73
    /** Threads are in this state before they are first readied. */
77
    /** Threads are in this state before they are first readied. */
74
    Entering,
78
    Entering,
75
    /** After a thread calls thread_exit(), it is put into Exiting state. */
79
    /** After a thread calls thread_exit(), it is put into Exiting state. */
76
    Exiting,
80
    Exiting,
77
    /** Threads that were not detached but exited are in the Undead state. */
81
    /** Threads that were not detached but exited are in the Undead state. */
78
    Undead
82
    Undead
79
} state_t;
83
} state_t;
80
 
84
 
81
/** Join types. */
85
/** Join types. */
82
typedef enum {
86
typedef enum {
83
    None,
87
    None,
84
    TaskClnp,   /**< The thread will be joined by ktaskclnp thread. */
88
    TaskClnp,   /**< The thread will be joined by ktaskclnp thread. */
85
    TaskGC      /**< The thread will be joined by ktaskgc thread. */
89
    TaskGC      /**< The thread will be joined by ktaskgc thread. */
86
} thread_join_type_t;
90
} thread_join_type_t;
87
 
91
 
88
/** Thread structure. There is one per thread. */
92
/** Thread structure. There is one per thread. */
89
typedef struct thread {
93
typedef struct thread {
90
    link_t rq_link;     /**< Run queue link. */
94
    link_t rq_link;     /**< Run queue link. */
91
    link_t wq_link;     /**< Wait queue link. */
95
    link_t wq_link;     /**< Wait queue link. */
92
    link_t th_link;     /**< Links to threads within containing task. */
96
    link_t th_link;     /**< Links to threads within containing task. */
93
   
97
   
94
    /** Lock protecting thread structure.
98
    /** Lock protecting thread structure.
95
     *
99
     *
96
     * Protects the whole thread structure except list links above.
100
     * Protects the whole thread structure except list links above.
97
     */
101
     */
98
    SPINLOCK_DECLARE(lock);
102
    SPINLOCK_DECLARE(lock);
99
 
103
 
100
    char name[THREAD_NAME_BUFLEN];
104
    char name[THREAD_NAME_BUFLEN];
101
 
105
 
102
    /** Function implementing the thread. */
106
    /** Function implementing the thread. */
103
    void (* thread_code)(void *);
107
    void (* thread_code)(void *);
104
    /** Argument passed to thread_code() function. */
108
    /** Argument passed to thread_code() function. */
105
    void *thread_arg;
109
    void *thread_arg;
106
 
110
 
107
    /**
111
    /**
108
     * From here, the stored context is restored when the thread is
112
     * From here, the stored context is restored when the thread is
109
     * scheduled.
113
     * scheduled.
110
     */
114
     */
111
    context_t saved_context;
115
    context_t saved_context;
112
    /**
116
    /**
113
     * From here, the stored timeout context is restored when sleep times
117
     * From here, the stored timeout context is restored when sleep times
114
     * out.
118
     * out.
115
     */
119
     */
116
    context_t sleep_timeout_context;
120
    context_t sleep_timeout_context;
117
    /**
121
    /**
118
     * From here, the stored interruption context is restored when sleep is
122
     * From here, the stored interruption context is restored when sleep is
119
     * interrupted.
123
     * interrupted.
120
     */
124
     */
121
    context_t sleep_interruption_context;
125
    context_t sleep_interruption_context;
122
 
126
 
123
    /** If true, the thread can be interrupted from sleep. */
127
    /** If true, the thread can be interrupted from sleep. */
124
    bool sleep_interruptible;
128
    bool sleep_interruptible;
125
    /** Wait queue in which this thread sleeps. */
129
    /** Wait queue in which this thread sleeps. */
126
    waitq_t *sleep_queue;
130
    waitq_t *sleep_queue;
127
    /** Timeout used for timeoutable sleeping.  */
131
    /** Timeout used for timeoutable sleeping.  */
128
    timeout_t sleep_timeout;
132
    timeout_t sleep_timeout;
129
    /** Flag signalling sleep timeout in progress. */
133
    /** Flag signalling sleep timeout in progress. */
130
    volatile int timeout_pending;
134
    volatile int timeout_pending;
131
 
135
 
132
    /**
136
    /**
133
     * True if this thread is executing copy_from_uspace().
137
     * True if this thread is executing copy_from_uspace().
134
     * False otherwise.
138
     * False otherwise.
135
     */
139
     */
136
    bool in_copy_from_uspace;
140
    bool in_copy_from_uspace;
137
    /**
141
    /**
138
     * True if this thread is executing copy_to_uspace().
142
     * True if this thread is executing copy_to_uspace().
139
     * False otherwise.
143
     * False otherwise.
140
     */
144
     */
141
    bool in_copy_to_uspace;
145
    bool in_copy_to_uspace;
142
   
146
   
143
    /**
147
    /**
144
     * If true, the thread will not go to sleep at all and will call
148
     * If true, the thread will not go to sleep at all and will call
145
     * thread_exit() before returning to userspace.
149
     * thread_exit() before returning to userspace.
146
     */
150
     */
147
    bool interrupted;          
151
    bool interrupted;          
148
   
152
   
149
    /** Who joinins the thread. */
153
    /** Who joinins the thread. */
150
    thread_join_type_t join_type;
154
    thread_join_type_t join_type;
151
    /** If true, thread_join_timeout() cannot be used on this thread. */
155
    /** If true, thread_join_timeout() cannot be used on this thread. */
152
    bool detached;
156
    bool detached;
153
    /** Waitq for thread_join_timeout(). */
157
    /** Waitq for thread_join_timeout(). */
154
    waitq_t join_wq;
158
    waitq_t join_wq;
155
 
159
 
156
    fpu_context_t *saved_fpu_context;
160
    fpu_context_t *saved_fpu_context;
157
    int fpu_context_exists;
161
    int fpu_context_exists;
158
 
162
 
159
    /*
163
    /*
160
     * Defined only if thread doesn't run.
164
     * Defined only if thread doesn't run.
161
     * It means that fpu context is in CPU that last time executes this
165
     * It means that fpu context is in CPU that last time executes this
162
     * thread. This disables migration.
166
     * thread. This disables migration.
163
     */
167
     */
164
    int fpu_context_engaged;
168
    int fpu_context_engaged;
165
 
169
 
166
    rwlock_type_t rwlock_holder_type;
170
    rwlock_type_t rwlock_holder_type;
167
 
171
 
168
    /** Callback fired in scheduler before the thread is put asleep. */
172
    /** Callback fired in scheduler before the thread is put asleep. */
169
    void (* call_me)(void *);
173
    void (* call_me)(void *);
170
    /** Argument passed to call_me(). */
174
    /** Argument passed to call_me(). */
171
    void *call_me_with;
175
    void *call_me_with;
172
 
176
 
173
    /** Thread's state. */
177
    /** Thread's state. */
174
    state_t state;
178
    state_t state;
175
    /** Thread's flags. */
179
    /** Thread's flags. */
176
    int flags;
180
    int flags;
177
   
181
   
178
    /** Thread's CPU. */
182
    /** Thread's CPU. */
179
    cpu_t *cpu;
183
    cpu_t *cpu;
180
    /** Containing task. */
184
    /** Containing task. */
181
    task_t *task;
185
    task_t *task;
182
 
186
 
183
    /** Ticks before preemption. */
187
    /** Ticks before preemption. */
184
    uint64_t ticks;
188
    uint64_t ticks;
185
   
189
   
186
    /** Thread accounting. */
190
    /** Thread accounting. */
187
    uint64_t cycles;
191
    uint64_t cycles;
188
    /** Last sampled cycle. */
192
    /** Last sampled cycle. */
189
    uint64_t last_cycle;
193
    uint64_t last_cycle;
190
    /** Thread doesn't affect accumulated accounting. */   
194
    /** Thread doesn't affect accumulated accounting. */   
191
    bool uncounted;
195
    bool uncounted;
192
 
196
 
193
    /** Thread's priority. Implemented as index to CPU->rq */
197
    /** Thread's priority. Implemented as index to CPU->rq */
194
    int priority;
198
    int priority;
195
    /** Thread ID. */
199
    /** Thread ID. */
196
    uint32_t tid;
200
    thread_id_t tid;
197
   
201
   
198
    /** Architecture-specific data. */
202
    /** Architecture-specific data. */
199
    thread_arch_t arch;
203
    thread_arch_t arch;
200
 
204
 
201
    /** Thread's kernel stack. */
205
    /** Thread's kernel stack. */
202
    uint8_t *kstack;
206
    uint8_t *kstack;
203
} thread_t;
207
} thread_t;
204
 
208
 
205
/** Thread list lock.
209
/** Thread list lock.
206
 *
210
 *
207
 * This lock protects all link_t structures chained in threads_head.
211
 * This lock protects all link_t structures chained in threads_head.
208
 * Must be acquired before T.lock for each T of type thread_t.
212
 * Must be acquired before T.lock for each T of type thread_t.
209
 *
213
 *
210
 */
214
 */
211
SPINLOCK_EXTERN(threads_lock);
215
SPINLOCK_EXTERN(threads_lock);
212
 
216
 
213
/** B+tree containing all threads. */
217
/** B+tree containing all threads. */
214
extern btree_t threads_btree;
218
extern btree_t threads_btree;
215
 
219
 
216
extern void thread_init(void);
220
extern void thread_init(void);
217
extern thread_t *thread_create(void (* func)(void *), void *arg, task_t *task,
221
extern thread_t *thread_create(void (* func)(void *), void *arg, task_t *task,
218
    int flags, char *name, bool uncounted);
222
    int flags, char *name, bool uncounted);
219
extern void thread_ready(thread_t *t);
223
extern void thread_ready(thread_t *t);
220
extern void thread_exit(void) __attribute__((noreturn));
224
extern void thread_exit(void) __attribute__((noreturn));
221
 
225
 
222
#ifndef thread_create_arch
226
#ifndef thread_create_arch
223
extern void thread_create_arch(thread_t *t);
227
extern void thread_create_arch(thread_t *t);
224
#endif
228
#endif
225
#ifndef thr_constructor_arch
229
#ifndef thr_constructor_arch
226
extern void thr_constructor_arch(thread_t *t);
230
extern void thr_constructor_arch(thread_t *t);
227
#endif
231
#endif
228
#ifndef thr_destructor_arch
232
#ifndef thr_destructor_arch
229
extern void thr_destructor_arch(thread_t *t);
233
extern void thr_destructor_arch(thread_t *t);
230
#endif
234
#endif
231
 
235
 
232
extern void thread_sleep(uint32_t sec);
236
extern void thread_sleep(uint32_t sec);
233
extern void thread_usleep(uint32_t usec);
237
extern void thread_usleep(uint32_t usec);
234
 
238
 
235
#define thread_join(t) \
239
#define thread_join(t) \
236
    thread_join_timeout((t), SYNCH_NO_TIMEOUT, SYNCH_FLAGS_NONE)
240
    thread_join_timeout((t), SYNCH_NO_TIMEOUT, SYNCH_FLAGS_NONE)
237
extern int thread_join_timeout(thread_t *t, uint32_t usec, int flags);
241
extern int thread_join_timeout(thread_t *t, uint32_t usec, int flags);
238
extern void thread_detach(thread_t *t);
242
extern void thread_detach(thread_t *t);
239
 
243
 
240
extern void thread_register_call_me(void (* call_me)(void *),
244
extern void thread_register_call_me(void (* call_me)(void *),
241
    void *call_me_with);
245
    void *call_me_with);
242
extern void thread_print_list(void);
246
extern void thread_print_list(void);
243
extern void thread_destroy(thread_t *t);
247
extern void thread_destroy(thread_t *t);
244
extern void thread_update_accounting(void);
248
extern void thread_update_accounting(void);
245
extern bool thread_exists(thread_t *t);
249
extern bool thread_exists(thread_t *t);
246
 
250
 
247
/** Fpu context slab cache. */
251
/** Fpu context slab cache. */
248
extern slab_cache_t *fpu_context_slab;
252
extern slab_cache_t *fpu_context_slab;
249
 
253
 
250
/* Thread syscall prototypes. */
254
/* Thread syscall prototypes. */
251
unative_t sys_thread_create(uspace_arg_t *uspace_uarg, char *uspace_name);
255
extern unative_t sys_thread_create(uspace_arg_t *uspace_uarg, char *uspace_name, thread_id_t *uspace_thread_id);
252
unative_t sys_thread_exit(int uspace_status);
256
extern unative_t sys_thread_exit(int uspace_status);
-
 
257
extern unative_t sys_thread_get_id(thread_id_t *uspace_thread_id);
253
 
258
 
254
#endif
259
#endif
255
 
260
 
256
/** @}
261
/** @}
257
 */
262
 */
258
 
263