source: mainline/kernel/generic/src/proc/thread.c@ e8a0b90

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since e8a0b90 was f6d2c81, checked in by Jakub Jermar <jakub@…>, 18 years ago

Fix two memory leaks.

In kernel, kernel_uarg structure needs to be deallocated when a thread
with userspace context is destroyed.

In userspace, the return value of the SYS_THREAD_CREATE must be checked
for error conditions and in case of error, uarg and stack must be freed
up.

  • Property mode set to 100644
File size: 15.9 KB
Line 
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
29/** @addtogroup genericproc
30 * @{
31 */
32
33/**
34 * @file
35 * @brief Thread management functions.
36 */
37
38#include <proc/scheduler.h>
39#include <proc/thread.h>
40#include <proc/task.h>
41#include <proc/uarg.h>
42#include <mm/frame.h>
43#include <mm/page.h>
44#include <arch/asm.h>
45#include <arch/cycle.h>
46#include <arch.h>
47#include <synch/synch.h>
48#include <synch/spinlock.h>
49#include <synch/waitq.h>
50#include <synch/rwlock.h>
51#include <cpu.h>
52#include <func.h>
53#include <context.h>
54#include <adt/btree.h>
55#include <adt/list.h>
56#include <time/clock.h>
57#include <time/timeout.h>
58#include <config.h>
59#include <arch/interrupt.h>
60#include <smp/ipi.h>
61#include <arch/faddr.h>
62#include <atomic.h>
63#include <memstr.h>
64#include <print.h>
65#include <mm/slab.h>
66#include <debug.h>
67#include <main/uinit.h>
68#include <syscall/copy.h>
69#include <errno.h>
70
71
72/** Thread states */
73char *thread_states[] = {
74 "Invalid",
75 "Running",
76 "Sleeping",
77 "Ready",
78 "Entering",
79 "Exiting",
80 "Undead"
81};
82
83/** Lock protecting the threads_btree B+tree.
84 *
85 * For locking rules, see declaration thereof.
86 */
87SPINLOCK_INITIALIZE(threads_lock);
88
89/** B+tree of all threads.
90 *
91 * When a thread is found in the threads_btree B+tree, it is guaranteed to
92 * exist as long as the threads_lock is held.
93 */
94btree_t threads_btree;
95
96SPINLOCK_INITIALIZE(tidlock);
97thread_id_t last_tid = 0;
98
99static slab_cache_t *thread_slab;
100#ifdef ARCH_HAS_FPU
101slab_cache_t *fpu_context_slab;
102#endif
103
104/** Thread wrapper.
105 *
106 * This wrapper is provided to ensure that every thread makes a call to
107 * thread_exit() when its implementing function returns.
108 *
109 * interrupts_disable() is assumed.
110 *
111 */
112static void cushion(void)
113{
114 void (*f)(void *) = THREAD->thread_code;
115 void *arg = THREAD->thread_arg;
116 THREAD->last_cycle = get_cycle();
117
118 /* This is where each thread wakes up after its creation */
119 spinlock_unlock(&THREAD->lock);
120 interrupts_enable();
121
122 f(arg);
123
124 /* Accumulate accounting to the task */
125 ipl_t ipl = interrupts_disable();
126
127 spinlock_lock(&THREAD->lock);
128 if (!THREAD->uncounted) {
129 thread_update_accounting();
130 uint64_t cycles = THREAD->cycles;
131 THREAD->cycles = 0;
132 spinlock_unlock(&THREAD->lock);
133
134 spinlock_lock(&TASK->lock);
135 TASK->cycles += cycles;
136 spinlock_unlock(&TASK->lock);
137 } else
138 spinlock_unlock(&THREAD->lock);
139
140 interrupts_restore(ipl);
141
142 thread_exit();
143 /* not reached */
144}
145
146/** Initialization and allocation for thread_t structure */
147static int thr_constructor(void *obj, int kmflags)
148{
149 thread_t *t = (thread_t *) obj;
150
151 spinlock_initialize(&t->lock, "thread_t_lock");
152 link_initialize(&t->rq_link);
153 link_initialize(&t->wq_link);
154 link_initialize(&t->th_link);
155
156 /* call the architecture-specific part of the constructor */
157 thr_constructor_arch(t);
158
159#ifdef ARCH_HAS_FPU
160# ifdef CONFIG_FPU_LAZY
161 t->saved_fpu_context = NULL;
162# else
163 t->saved_fpu_context = slab_alloc(fpu_context_slab,kmflags);
164 if (!t->saved_fpu_context)
165 return -1;
166# endif
167#endif
168
169 t->kstack = (uint8_t *) frame_alloc(STACK_FRAMES, FRAME_KA | kmflags);
170 if (! t->kstack) {
171#ifdef ARCH_HAS_FPU
172 if (t->saved_fpu_context)
173 slab_free(fpu_context_slab,t->saved_fpu_context);
174#endif
175 return -1;
176 }
177
178 return 0;
179}
180
181/** Destruction of thread_t object */
182static int thr_destructor(void *obj)
183{
184 thread_t *t = (thread_t *) obj;
185
186 /* call the architecture-specific part of the destructor */
187 thr_destructor_arch(t);
188
189 frame_free(KA2PA(t->kstack));
190#ifdef ARCH_HAS_FPU
191 if (t->saved_fpu_context)
192 slab_free(fpu_context_slab,t->saved_fpu_context);
193#endif
194 return 1; /* One page freed */
195}
196
197/** Initialize threads
198 *
199 * Initialize kernel threads support.
200 *
201 */
202void thread_init(void)
203{
204 THREAD = NULL;
205 atomic_set(&nrdy,0);
206 thread_slab = slab_cache_create("thread_slab", sizeof(thread_t), 0,
207 thr_constructor, thr_destructor, 0);
208
209#ifdef ARCH_HAS_FPU
210 fpu_context_slab = slab_cache_create("fpu_slab", sizeof(fpu_context_t),
211 FPU_CONTEXT_ALIGN, NULL, NULL, 0);
212#endif
213
214 btree_create(&threads_btree);
215}
216
217/** Make thread ready
218 *
219 * Switch thread t to the ready state.
220 *
221 * @param t Thread to make ready.
222 *
223 */
224void thread_ready(thread_t *t)
225{
226 cpu_t *cpu;
227 runq_t *r;
228 ipl_t ipl;
229 int i, avg;
230
231 ipl = interrupts_disable();
232
233 spinlock_lock(&t->lock);
234
235 ASSERT(! (t->state == Ready));
236
237 i = (t->priority < RQ_COUNT - 1) ? ++t->priority : t->priority;
238
239 cpu = CPU;
240 if (t->flags & THREAD_FLAG_WIRED) {
241 ASSERT(t->cpu != NULL);
242 cpu = t->cpu;
243 }
244 t->state = Ready;
245 spinlock_unlock(&t->lock);
246
247 /*
248 * Append t to respective ready queue on respective processor.
249 */
250 r = &cpu->rq[i];
251 spinlock_lock(&r->lock);
252 list_append(&t->rq_link, &r->rq_head);
253 r->n++;
254 spinlock_unlock(&r->lock);
255
256 atomic_inc(&nrdy);
257 avg = atomic_get(&nrdy) / config.cpu_active;
258 atomic_inc(&cpu->nrdy);
259
260 interrupts_restore(ipl);
261}
262
263/** Destroy thread memory structure
264 *
265 * Detach thread from all queues, cpus etc. and destroy it.
266 *
267 * Assume thread->lock is held!!
268 */
269void thread_destroy(thread_t *t)
270{
271 bool destroy_task = false;
272
273 ASSERT(t->state == Exiting || t->state == Undead);
274 ASSERT(t->task);
275 ASSERT(t->cpu);
276
277 spinlock_lock(&t->cpu->lock);
278 if(t->cpu->fpu_owner == t)
279 t->cpu->fpu_owner = NULL;
280 spinlock_unlock(&t->cpu->lock);
281
282 spinlock_unlock(&t->lock);
283
284 spinlock_lock(&threads_lock);
285 btree_remove(&threads_btree, (btree_key_t) ((uintptr_t ) t), NULL);
286 spinlock_unlock(&threads_lock);
287
288 /*
289 * Detach from the containing task.
290 */
291 spinlock_lock(&t->task->lock);
292 list_remove(&t->th_link);
293 if (--t->task->refcount == 0) {
294 t->task->accept_new_threads = false;
295 destroy_task = true;
296 }
297 spinlock_unlock(&t->task->lock);
298
299 if (destroy_task)
300 task_destroy(t->task);
301
302 /*
303 * If the thread had a userspace context, free up its kernel_uarg
304 * structure.
305 */
306 if (t->flags & THREAD_FLAG_USPACE) {
307 ASSERT(t->thread_arg);
308 free(t->thread_arg);
309 }
310
311 slab_free(thread_slab, t);
312}
313
314/** Create new thread
315 *
316 * Create a new thread.
317 *
318 * @param func Thread's implementing function.
319 * @param arg Thread's implementing function argument.
320 * @param task Task to which the thread belongs.
321 * @param flags Thread flags.
322 * @param name Symbolic name.
323 * @param uncounted Thread's accounting doesn't affect accumulated task
324 * accounting.
325 *
326 * @return New thread's structure on success, NULL on failure.
327 *
328 */
329thread_t *thread_create(void (* func)(void *), void *arg, task_t *task,
330 int flags, char *name, bool uncounted)
331{
332 thread_t *t;
333 ipl_t ipl;
334
335 t = (thread_t *) slab_alloc(thread_slab, 0);
336 if (!t)
337 return NULL;
338
339 /* Not needed, but good for debugging */
340 memsetb((uintptr_t) t->kstack, THREAD_STACK_SIZE * 1 << STACK_FRAMES,
341 0);
342
343 ipl = interrupts_disable();
344 spinlock_lock(&tidlock);
345 t->tid = ++last_tid;
346 spinlock_unlock(&tidlock);
347 interrupts_restore(ipl);
348
349 context_save(&t->saved_context);
350 context_set(&t->saved_context, FADDR(cushion), (uintptr_t) t->kstack,
351 THREAD_STACK_SIZE);
352
353 the_initialize((the_t *) t->kstack);
354
355 ipl = interrupts_disable();
356 t->saved_context.ipl = interrupts_read();
357 interrupts_restore(ipl);
358
359 memcpy(t->name, name, THREAD_NAME_BUFLEN);
360
361 t->thread_code = func;
362 t->thread_arg = arg;
363 t->ticks = -1;
364 t->cycles = 0;
365 t->uncounted = uncounted;
366 t->priority = -1; /* start in rq[0] */
367 t->cpu = NULL;
368 t->flags = flags;
369 t->state = Entering;
370 t->call_me = NULL;
371 t->call_me_with = NULL;
372
373 timeout_initialize(&t->sleep_timeout);
374 t->sleep_interruptible = false;
375 t->sleep_queue = NULL;
376 t->timeout_pending = 0;
377
378 t->in_copy_from_uspace = false;
379 t->in_copy_to_uspace = false;
380
381 t->interrupted = false;
382 t->join_type = None;
383 t->detached = false;
384 waitq_initialize(&t->join_wq);
385
386 t->rwlock_holder_type = RWLOCK_NONE;
387
388 t->task = task;
389
390 t->fpu_context_exists = 0;
391 t->fpu_context_engaged = 0;
392
393 /* might depend on previous initialization */
394 thread_create_arch(t);
395
396 /*
397 * Attach to the containing task.
398 */
399 ipl = interrupts_disable();
400 spinlock_lock(&task->lock);
401 if (!task->accept_new_threads) {
402 spinlock_unlock(&task->lock);
403 slab_free(thread_slab, t);
404 interrupts_restore(ipl);
405 return NULL;
406 }
407 list_append(&t->th_link, &task->th_head);
408 if (task->refcount++ == 0)
409 task->main_thread = t;
410 spinlock_unlock(&task->lock);
411
412 /*
413 * Register this thread in the system-wide list.
414 */
415 spinlock_lock(&threads_lock);
416 btree_insert(&threads_btree, (btree_key_t) ((uintptr_t) t), (void *) t,
417 NULL);
418 spinlock_unlock(&threads_lock);
419
420 interrupts_restore(ipl);
421
422 return t;
423}
424
425/** Terminate thread.
426 *
427 * End current thread execution and switch it to the exiting state. All pending
428 * timeouts are executed.
429 */
430void thread_exit(void)
431{
432 ipl_t ipl;
433
434restart:
435 ipl = interrupts_disable();
436 spinlock_lock(&THREAD->lock);
437 if (THREAD->timeout_pending) {
438 /* busy waiting for timeouts in progress */
439 spinlock_unlock(&THREAD->lock);
440 interrupts_restore(ipl);
441 goto restart;
442 }
443 THREAD->state = Exiting;
444 spinlock_unlock(&THREAD->lock);
445 scheduler();
446
447 /* Not reached */
448 while (1)
449 ;
450}
451
452
453/** Thread sleep
454 *
455 * Suspend execution of the current thread.
456 *
457 * @param sec Number of seconds to sleep.
458 *
459 */
460void thread_sleep(uint32_t sec)
461{
462 thread_usleep(sec * 1000000);
463}
464
465/** Wait for another thread to exit.
466 *
467 * @param t Thread to join on exit.
468 * @param usec Timeout in microseconds.
469 * @param flags Mode of operation.
470 *
471 * @return An error code from errno.h or an error code from synch.h.
472 */
473int thread_join_timeout(thread_t *t, uint32_t usec, int flags)
474{
475 ipl_t ipl;
476 int rc;
477
478 if (t == THREAD)
479 return EINVAL;
480
481 /*
482 * Since thread join can only be called once on an undetached thread,
483 * the thread pointer is guaranteed to be still valid.
484 */
485
486 ipl = interrupts_disable();
487 spinlock_lock(&t->lock);
488 ASSERT(!t->detached);
489 spinlock_unlock(&t->lock);
490 interrupts_restore(ipl);
491
492 rc = waitq_sleep_timeout(&t->join_wq, usec, flags);
493
494 return rc;
495}
496
497/** Detach thread.
498 *
499 * Mark the thread as detached, if the thread is already in the Undead state,
500 * deallocate its resources.
501 *
502 * @param t Thread to be detached.
503 */
504void thread_detach(thread_t *t)
505{
506 ipl_t ipl;
507
508 /*
509 * Since the thread is expected not to be already detached,
510 * pointer to it must be still valid.
511 */
512 ipl = interrupts_disable();
513 spinlock_lock(&t->lock);
514 ASSERT(!t->detached);
515 if (t->state == Undead) {
516 thread_destroy(t); /* unlocks &t->lock */
517 interrupts_restore(ipl);
518 return;
519 } else {
520 t->detached = true;
521 }
522 spinlock_unlock(&t->lock);
523 interrupts_restore(ipl);
524}
525
526/** Thread usleep
527 *
528 * Suspend execution of the current thread.
529 *
530 * @param usec Number of microseconds to sleep.
531 *
532 */
533void thread_usleep(uint32_t usec)
534{
535 waitq_t wq;
536
537 waitq_initialize(&wq);
538
539 (void) waitq_sleep_timeout(&wq, usec, SYNCH_FLAGS_NON_BLOCKING);
540}
541
542/** Register thread out-of-context invocation
543 *
544 * Register a function and its argument to be executed
545 * on next context switch to the current thread.
546 *
547 * @param call_me Out-of-context function.
548 * @param call_me_with Out-of-context function argument.
549 *
550 */
551void thread_register_call_me(void (* call_me)(void *), void *call_me_with)
552{
553 ipl_t ipl;
554
555 ipl = interrupts_disable();
556 spinlock_lock(&THREAD->lock);
557 THREAD->call_me = call_me;
558 THREAD->call_me_with = call_me_with;
559 spinlock_unlock(&THREAD->lock);
560 interrupts_restore(ipl);
561}
562
563/** Print list of threads debug info */
564void thread_print_list(void)
565{
566 link_t *cur;
567 ipl_t ipl;
568
569 /* Messing with thread structures, avoid deadlock */
570 ipl = interrupts_disable();
571 spinlock_lock(&threads_lock);
572
573 printf("tid name address state task ctx code "
574 " stack cycles cpu kstack waitqueue\n");
575 printf("------ ---------- ---------- -------- ---------- --- --------"
576 "-- ---------- ---------- ---- ---------- ----------\n");
577
578 for (cur = threads_btree.leaf_head.next;
579 cur != &threads_btree.leaf_head; cur = cur->next) {
580 btree_node_t *node;
581 unsigned int i;
582
583 node = list_get_instance(cur, btree_node_t, leaf_link);
584 for (i = 0; i < node->keys; i++) {
585 thread_t *t;
586
587 t = (thread_t *) node->value[i];
588
589 uint64_t cycles;
590 char suffix;
591 order(t->cycles, &cycles, &suffix);
592
593 printf("%-6llu %-10s %#10zx %-8s %#10zx %-3ld %#10zx "
594 "%#10zx %9llu%c ", t->tid, t->name, t,
595 thread_states[t->state], t->task, t->task->context,
596 t->thread_code, t->kstack, cycles, suffix);
597
598 if (t->cpu)
599 printf("%-4zd", t->cpu->id);
600 else
601 printf("none");
602
603 if (t->state == Sleeping)
604 printf(" %#10zx %#10zx", t->kstack,
605 t->sleep_queue);
606
607 printf("\n");
608 }
609 }
610
611 spinlock_unlock(&threads_lock);
612 interrupts_restore(ipl);
613}
614
615/** Check whether thread exists.
616 *
617 * Note that threads_lock must be already held and
618 * interrupts must be already disabled.
619 *
620 * @param t Pointer to thread.
621 *
622 * @return True if thread t is known to the system, false otherwise.
623 */
624bool thread_exists(thread_t *t)
625{
626 btree_node_t *leaf;
627
628 return btree_search(&threads_btree, (btree_key_t) ((uintptr_t) t),
629 &leaf) != NULL;
630}
631
632
633/** Update accounting of current thread.
634 *
635 * Note that thread_lock on THREAD must be already held and
636 * interrupts must be already disabled.
637 *
638 */
639void thread_update_accounting(void)
640{
641 uint64_t time = get_cycle();
642 THREAD->cycles += time - THREAD->last_cycle;
643 THREAD->last_cycle = time;
644}
645
646/** Process syscall to create new thread.
647 *
648 */
649unative_t sys_thread_create(uspace_arg_t *uspace_uarg, char *uspace_name,
650 thread_id_t *uspace_thread_id)
651{
652 thread_t *t;
653 char namebuf[THREAD_NAME_BUFLEN];
654 uspace_arg_t *kernel_uarg;
655 int rc;
656
657 rc = copy_from_uspace(namebuf, uspace_name, THREAD_NAME_BUFLEN);
658 if (rc != 0)
659 return (unative_t) rc;
660
661 kernel_uarg = (uspace_arg_t *) malloc(sizeof(uspace_arg_t), 0);
662 rc = copy_from_uspace(kernel_uarg, uspace_uarg, sizeof(uspace_arg_t));
663 if (rc != 0) {
664 free(kernel_uarg);
665 return (unative_t) rc;
666 }
667
668 t = thread_create(uinit, kernel_uarg, TASK, THREAD_FLAG_USPACE, namebuf,
669 false);
670 if (t) {
671 thread_ready(t);
672 if (uspace_thread_id != NULL)
673 return (unative_t) copy_to_uspace(uspace_thread_id,
674 &t->tid, sizeof(t->tid));
675 else
676 return 0;
677 } else
678 free(kernel_uarg);
679
680 return (unative_t) ENOMEM;
681}
682
683/** Process syscall to terminate thread.
684 *
685 */
686unative_t sys_thread_exit(int uspace_status)
687{
688 thread_exit();
689 /* Unreachable */
690 return 0;
691}
692
693/** Syscall for getting TID.
694 *
695 * @param uspace_thread_id Userspace address of 8-byte buffer where to store
696 * current thread ID.
697 *
698 * @return 0 on success or an error code from @ref errno.h.
699 */
700unative_t sys_thread_get_id(thread_id_t *uspace_thread_id)
701{
702 /*
703 * No need to acquire lock on THREAD because tid
704 * remains constant for the lifespan of the thread.
705 */
706 return (unative_t) copy_to_uspace(uspace_thread_id, &THREAD->tid,
707 sizeof(THREAD->tid));
708}
709
710/** @}
711 */
Note: See TracBrowser for help on using the repository browser.