[f761f1eb] | 1 | /*
|
---|
| 2 | * Copyright (C) 2001-2004 Jakub 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 |
|
---|
[b45c443] | 29 | /** @addtogroup genericproc
|
---|
| 30 | * @{
|
---|
| 31 | */
|
---|
| 32 | /** @file
|
---|
| 33 | */
|
---|
| 34 |
|
---|
[f761f1eb] | 35 | #ifndef __THREAD_H__
|
---|
| 36 | #define __THREAD_H__
|
---|
| 37 |
|
---|
[a6d4ceb] | 38 | #include <arch/proc/thread.h>
|
---|
[f761f1eb] | 39 | #include <synch/spinlock.h>
|
---|
| 40 | #include <arch/context.h>
|
---|
[0c47db1] | 41 | #include <fpu_context.h>
|
---|
[f761f1eb] | 42 | #include <arch/types.h>
|
---|
| 43 | #include <typedefs.h>
|
---|
| 44 | #include <time/timeout.h>
|
---|
| 45 | #include <synch/rwlock.h>
|
---|
[2cb5e64] | 46 | #include <synch/synch.h>
|
---|
[361635c] | 47 | #include <config.h>
|
---|
[016acbe] | 48 | #include <adt/btree.h>
|
---|
[5c9a08b] | 49 | #include <adt/list.h>
|
---|
[f76fed4] | 50 | #include <mm/slab.h>
|
---|
[0f250f9] | 51 | #include <proc/uarg.h>
|
---|
[f761f1eb] | 52 |
|
---|
[361635c] | 53 | #define THREAD_STACK_SIZE STACK_SIZE
|
---|
[f761f1eb] | 54 |
|
---|
[48e7dd6] | 55 | /**< Thread states. */
|
---|
[f761f1eb] | 56 | enum state {
|
---|
[9cefba4] | 57 | Invalid, /**< It is an error, if thread is found in this state. */
|
---|
| 58 | Running, /**< State of a thread that is currently executing on some CPU. */
|
---|
| 59 | Sleeping, /**< Thread in this state is waiting for an event. */
|
---|
| 60 | Ready, /**< State of threads in a run queue. */
|
---|
| 61 | Entering, /**< Threads are in this state before they are first readied. */
|
---|
[fe19611] | 62 | Exiting, /**< After a thread calls thread_exit(), it is put into Exiting state. */
|
---|
| 63 | Undead /**< Threads that were not detached but exited are in the Undead state. */
|
---|
[f761f1eb] | 64 | };
|
---|
| 65 |
|
---|
| 66 | extern char *thread_states[];
|
---|
| 67 |
|
---|
[48e7dd6] | 68 | /**< Join types. */
|
---|
| 69 | typedef enum {
|
---|
| 70 | None,
|
---|
| 71 | TaskClnp, /**< The thread will be joined by ktaskclnp thread. */
|
---|
| 72 | TaskGC /**< The thread will be joined by ktaskgc thread. */
|
---|
| 73 | } thread_join_type_t;
|
---|
| 74 |
|
---|
[f761f1eb] | 75 | #define X_WIRED (1<<0)
|
---|
| 76 | #define X_STOLEN (1<<1)
|
---|
| 77 |
|
---|
[9f52563] | 78 | #define THREAD_NAME_BUFLEN 20
|
---|
| 79 |
|
---|
[ff14c520] | 80 | /** Thread structure. There is one per thread. */
|
---|
[f761f1eb] | 81 | struct thread {
|
---|
[9cefba4] | 82 | link_t rq_link; /**< Run queue link. */
|
---|
| 83 | link_t wq_link; /**< Wait queue link. */
|
---|
| 84 | link_t th_link; /**< Links to threads within containing task. */
|
---|
[f761f1eb] | 85 |
|
---|
[05e2a7ad] | 86 | /** Lock protecting thread structure.
|
---|
| 87 | *
|
---|
| 88 | * Protects the whole thread structure except list links above.
|
---|
| 89 | */
|
---|
[dc747e3] | 90 | SPINLOCK_DECLARE(lock);
|
---|
[f761f1eb] | 91 |
|
---|
[9f52563] | 92 | char name[THREAD_NAME_BUFLEN];
|
---|
| 93 |
|
---|
[9cefba4] | 94 | void (* thread_code)(void *); /**< Function implementing the thread. */
|
---|
| 95 | void *thread_arg; /**< Argument passed to thread_code() function. */
|
---|
| 96 |
|
---|
[203f4c3] | 97 | /** From here, the stored context is restored when the thread is scheduled. */
|
---|
| 98 | context_t saved_context;
|
---|
| 99 | /** From here, the stored timeout context is restored when sleep times out. */
|
---|
| 100 | context_t sleep_timeout_context;
|
---|
| 101 | /** From here, the stored interruption context is restored when sleep is interrupted. */
|
---|
| 102 | context_t sleep_interruption_context;
|
---|
[9cefba4] | 103 |
|
---|
[116d1ef4] | 104 | bool sleep_interruptible; /**< If true, the thread can be interrupted from sleep. */
|
---|
[9cefba4] | 105 | waitq_t *sleep_queue; /**< Wait queue in which this thread sleeps. */
|
---|
| 106 | timeout_t sleep_timeout; /**< Timeout used for timeoutable sleeping. */
|
---|
| 107 | volatile int timeout_pending; /**< Flag signalling sleep timeout in progress. */
|
---|
[f761f1eb] | 108 |
|
---|
[e3c762cd] | 109 | /** True if this thread is executing copy_from_uspace(). False otherwise. */
|
---|
| 110 | bool in_copy_from_uspace;
|
---|
| 111 | /** True if this thread is executing copy_to_uspace(). False otherwise. */
|
---|
| 112 | bool in_copy_to_uspace;
|
---|
[7509ddc] | 113 |
|
---|
| 114 | /**
|
---|
| 115 | * If true, the thread will not go to sleep at all and will
|
---|
| 116 | * call thread_exit() before returning to userspace.
|
---|
| 117 | */
|
---|
| 118 | bool interrupted;
|
---|
| 119 |
|
---|
[48e7dd6] | 120 | thread_join_type_t join_type; /**< Who joinins the thread. */
|
---|
[fe19611] | 121 | bool detached; /**< If true, thread_join_timeout() cannot be used on this thread. */
|
---|
| 122 | waitq_t join_wq; /**< Waitq for thread_join_timeout(). */
|
---|
[e3c762cd] | 123 |
|
---|
[f76fed4] | 124 | fpu_context_t *saved_fpu_context;
|
---|
[76cec1e] | 125 | int fpu_context_exists;
|
---|
| 126 |
|
---|
| 127 | /*
|
---|
| 128 | * Defined only if thread doesn't run.
|
---|
| 129 | * It means that fpu context is in CPU that last time executes this thread.
|
---|
| 130 | * This disables migration
|
---|
| 131 | */
|
---|
| 132 | int fpu_context_engaged;
|
---|
| 133 |
|
---|
[f761f1eb] | 134 | rwlock_type_t rwlock_holder_type;
|
---|
| 135 |
|
---|
[9cefba4] | 136 | void (* call_me)(void *); /**< Funtion to be called in scheduler before the thread is put asleep. */
|
---|
| 137 | void *call_me_with; /**< Argument passed to call_me(). */
|
---|
| 138 |
|
---|
| 139 | state_t state; /**< Thread's state. */
|
---|
| 140 | int flags; /**< Thread's flags. */
|
---|
[f761f1eb] | 141 |
|
---|
[9cefba4] | 142 | cpu_t *cpu; /**< Thread's CPU. */
|
---|
| 143 | task_t *task; /**< Containing task. */
|
---|
[f761f1eb] | 144 |
|
---|
[7f1c620] | 145 | uint64_t ticks; /**< Ticks before preemption. */
|
---|
[f761f1eb] | 146 |
|
---|
[22f7769] | 147 | int priority; /**< Thread's priority. Implemented as index to CPU->rq */
|
---|
[7f1c620] | 148 | uint32_t tid; /**< Thread ID. */
|
---|
[f761f1eb] | 149 |
|
---|
[a6d4ceb] | 150 | thread_arch_t arch; /**< Architecture-specific data. */
|
---|
[f761f1eb] | 151 |
|
---|
[7f1c620] | 152 | uint8_t *kstack; /**< Thread's kernel stack. */
|
---|
[f761f1eb] | 153 | };
|
---|
| 154 |
|
---|
[05e2a7ad] | 155 | /** Thread list lock.
|
---|
| 156 | *
|
---|
| 157 | * This lock protects all link_t structures chained in threads_head.
|
---|
| 158 | * Must be acquired before T.lock for each T of type thread_t.
|
---|
| 159 | *
|
---|
| 160 | */
|
---|
| 161 | extern spinlock_t threads_lock;
|
---|
| 162 |
|
---|
[016acbe] | 163 | extern btree_t threads_btree; /**< B+tree containing all threads. */
|
---|
[f761f1eb] | 164 |
|
---|
| 165 | extern void thread_init(void);
|
---|
[ff14c520] | 166 | extern thread_t *thread_create(void (* func)(void *), void *arg, task_t *task, int flags, char *name);
|
---|
[f761f1eb] | 167 | extern void thread_ready(thread_t *t);
|
---|
[874621f] | 168 | extern void thread_exit(void) __attribute__((noreturn));
|
---|
[f761f1eb] | 169 |
|
---|
[3fa424a9] | 170 | #ifndef thread_create_arch
|
---|
| 171 | extern void thread_create_arch(thread_t *t);
|
---|
| 172 | #endif
|
---|
| 173 |
|
---|
[7f1c620] | 174 | extern void thread_sleep(uint32_t sec);
|
---|
| 175 | extern void thread_usleep(uint32_t usec);
|
---|
[f761f1eb] | 176 |
|
---|
[2cb5e64] | 177 | #define thread_join(t) thread_join_timeout((t), SYNCH_NO_TIMEOUT, SYNCH_FLAGS_NONE)
|
---|
[7f1c620] | 178 | extern int thread_join_timeout(thread_t *t, uint32_t usec, int flags);
|
---|
[fe19611] | 179 | extern void thread_detach(thread_t *t);
|
---|
| 180 |
|
---|
[f761f1eb] | 181 | extern void thread_register_call_me(void (* call_me)(void *), void *call_me_with);
|
---|
[55ab0f1] | 182 | extern void thread_print_list(void);
|
---|
[266294a9] | 183 | extern void thread_destroy(thread_t *t);
|
---|
[016acbe] | 184 | extern bool thread_exists(thread_t *t);
|
---|
[f761f1eb] | 185 |
|
---|
[f76fed4] | 186 | /* Fpu context slab cache */
|
---|
| 187 | extern slab_cache_t *fpu_context_slab;
|
---|
| 188 |
|
---|
[9f52563] | 189 | /** Thread syscall prototypes. */
|
---|
[7f1c620] | 190 | unative_t sys_thread_create(uspace_arg_t *uspace_uarg, char *uspace_name);
|
---|
| 191 | unative_t sys_thread_exit(int uspace_status);
|
---|
[9f52563] | 192 |
|
---|
[f761f1eb] | 193 | #endif
|
---|
[b45c443] | 194 |
|
---|
| 195 | /** @}
|
---|
| 196 | */
|
---|
| 197 |
|
---|