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: src/lib/libc_r/uthread/uthread_jmp.c,v 1.2.2.4 2002/10/22 14:44:03 fjoe Exp $
  32  */
  33
  34 #include <unistd.h>
  35 #include <setjmp.h>
  36 #include <sys/param.h>
  37 #include <sys/user.h>
  38 #include <machine/reg.h>
  39 #include <pthread.h>
  40 #include "pthread_private.h"
  41
  42 /* Prototypes: */
  43 static inline int       check_stack(pthread_t thread, void *stackp);
  44
  45 void
  46 siglongjmp(sigjmp_buf env, int savemask)
  47 {
  48         struct pthread  *curthread = _get_curthread();
  49
  50         if (check_stack(curthread, (void *) GET_STACK_SJB(env)))
  51                 PANIC("siglongjmp()ing between thread contexts is undefined by "
  52                     "POSIX 1003.1");
  53
  54         /*
  55          * The stack pointer is somewhere within the threads stack.
  56          * Jump to the users context.
  57          */
  58         __siglongjmp(env, savemask);
  59 }
  60
  61 void
  62 longjmp(jmp_buf env, int val)
  63 {
  64         struct pthread  *curthread = _get_curthread();
  65
  66         if (check_stack(curthread, (void *) GET_STACK_JB(env)))
  67                 PANIC("longjmp()ing between thread contexts is undefined by "
  68                     "POSIX 1003.1");
  69
  70         /*
  71          * The stack pointer is somewhere within the threads stack.
  72          * Jump to the users context.
  73          */
  74         __longjmp(env, val);
  75 }
  76
  77 void
  78 _longjmp(jmp_buf env, int val)
  79 {
  80         struct pthread  *curthread = _get_curthread();
  81
  82         if (check_stack(curthread, (void *) GET_STACK_JB(env)))
  83                 PANIC("_longjmp()ing between thread contexts is undefined by "
  84                     "POSIX 1003.1");
  85
  86         /*
  87          * The stack pointer is somewhere within the threads stack.
  88          * Jump to the users context.
  89          */
  90         ___longjmp(env, val);
  91 }
  92
  93 /* Returns 0 if stack check is OK, non-zero otherwise. */
  94 static inline int
  95 check_stack(pthread_t thread, void *stackp)
  96 {
  97         void    *stack_begin, *stack_end;
  98
  99         /* Get the bounds of the current threads stack. */
 100         PTHREAD_ASSERT(thread->stack != NULL,
 101             "Thread stack pointer is null");
 102         stack_begin = thread->stack;
 103         stack_end = stack_begin + thread->attr.stacksize_attr;
 104
 105         /*
 106          * Make sure we aren't jumping to a different stack.  Make sure
 107          * jmp_stackp is between stack_begin and stack end, to correctly detect
 108          * this condition regardless of whether the stack grows up or down.
 109          */
 110         if (((stackp < stack_begin) && (stackp < stack_end)) ||
 111             ((stackp > stack_begin) && (stackp > stack_end)))
 112                 return (1);
 113         else
 114                 return (0);
 115 }