lib/libc_r/uthread/uthread_jmp.c

   1 /*
   2  * Copyright (C) 2000 Jason Evans <jasone@freebsd.org>.
   3  * All rights reserved.
   4  * Copyright (C) 2000 Daniel M. Eischen <eischen@vigrid.com>.
   5  * All rights reserved.
   6  *
   7  * Redistribution and use in source and binary forms, with or without
   8  * modification, are permitted provided that the following conditions
   9  * are met:
  10  * 1. Redistributions of source code must retain the above copyright
  11  *    notice(s), this list of conditions and the following disclaimer as
  12  *    the first lines of this file unmodified other than the possible
  13  *    addition of one or more copyright notices.
  14  * 2. Redistributions in binary form must reproduce the above copyright
  15  *    notice(s), this list of conditions and the following disclaimer in
  16  *    the documentation and/or other materials provided with the
  17  *    distribution.
  18  *
  19  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDER(S) ``AS IS'' AND ANY
  20  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  21  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  22  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT HOLDER(S) BE
  23  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
  24  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
  25  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
  26  * BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
  27  * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
  28  * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
  29  * EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  30  *
  31  * $FreeBSD$
  32  */
  33
  34 #include <unistd.h>
  35 #include <setjmp.h>
  36 #include <sys/param.h>
  37 #include <machine/reg.h>
  38 #include <pthread.h>
  39 #include "pthread_private.h"
  40
  41 /* Prototypes: */
  42 static inline int       check_stack(pthread_t thread, void *stackp);
  43
  44 __weak_reference(_thread_siglongjmp, siglongjmp);
  45 __weak_reference(_thread_longjmp, longjmp);
  46 __weak_reference(__thread_longjmp, _longjmp);
  47
  48 void
  49 _thread_siglongjmp(sigjmp_buf env, int savemask)
  50 {
  51         struct pthread  *curthread = _get_curthread();
  52
  53         if (check_stack(curthread, (void *) GET_STACK_SJB(env)))
  54                 PANIC("siglongjmp()ing between thread contexts is undefined by "
  55                     "POSIX 1003.1");
  56
  57         /*
  58          * The stack pointer is somewhere within the threads stack.
  59          * Jump to the users context.
  60          */
  61         __siglongjmp(env, savemask);
  62 }
  63
  64 void
  65 _thread_longjmp(jmp_buf env, int val)
  66 {
  67         struct pthread  *curthread = _get_curthread();
  68
  69         if (check_stack(curthread, (void *) GET_STACK_JB(env)))
  70                 PANIC("longjmp()ing between thread contexts is undefined by "
  71                     "POSIX 1003.1");
  72
  73         /*
  74          * The stack pointer is somewhere within the threads stack.
  75          * Jump to the users context.
  76          */
  77         __longjmp(env, val);
  78 }
  79
  80 void
  81 __thread_longjmp(jmp_buf env, int val)
  82 {
  83         struct pthread  *curthread = _get_curthread();
  84
  85         if (check_stack(curthread, (void *) GET_STACK_JB(env)))
  86                 PANIC("_longjmp()ing between thread contexts is undefined by "
  87                     "POSIX 1003.1");
  88
  89         /*
  90          * The stack pointer is somewhere within the threads stack.
  91          * Jump to the users context.
  92          */
  93         ___longjmp(env, val);
  94 }
  95
  96 /* Returns 0 if stack check is OK, non-zero otherwise. */
  97 static inline int
  98 check_stack(pthread_t thread, void *stackp)
  99 {
 100         void    *stack_begin, *stack_end;
 101
 102         /* Get the bounds of the current threads stack. */
 103         PTHREAD_ASSERT(thread->stack != NULL,
 104             "Thread stack pointer is null");
 105         stack_begin = thread->stack;
 106         stack_end = stack_begin + thread->attr.stacksize_attr;
 107
 108         /*
 109          * Make sure we aren't jumping to a different stack.  Make sure
 110          * jmp_stackp is between stack_begin and stack end, to correctly detect
 111          * this condition regardless of whether the stack grows up or down.
 112          */
 113         if (((stackp < stack_begin) && (stackp < stack_end)) ||
 114             ((stackp > stack_begin) && (stackp > stack_end)))
 115                 return (1);
 116         else
 117                 return (0);
 118 }