Subversion Repositories HelenOS

Rev

Rev 2032 | Rev 2042 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed

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