Subversion Repositories HelenOS

Rev

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

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