src/runtime/validate.h

   1 /*
   2  * This software is part of the SBCL system. See the README file for
   3  * more information.
   4  *
   5  * This software is derived from the CMU CL system, which was
   6  * written at Carnegie Mellon University and released into the
   7  * public domain. The software is in the public domain and is
   8  * provided with absolutely no warranty. See the COPYING and CREDITS
   9  * files for more information.
  10  */
  11
  12 #if !defined(_INCLUDE_VALIDATE_H_)
  13 #define _INCLUDE_VALIDATE_H_
  14
  15 #ifndef LISP_FEATURE_GENCGC
  16 /* FIXME: genesis/constants.h also defines this with a constant value */
  17 #define DYNAMIC_SPACE_START current_dynamic_space
  18 #endif
  19
  20 #define BINDING_STACK_SIZE (1024*1024)   /* chosen at random */
  21 /* eventually choosable per-thread: */
  22 #define THREAD_CONTROL_STACK_SIZE (2*1024*1024)
  23
  24 /* constants derived from the fundamental constants in passed by GENESIS */
  25 #ifdef LISP_FEATURE_GENCGC
  26 #define DEFAULT_DYNAMIC_SPACE_SIZE (DYNAMIC_SPACE_END - DYNAMIC_SPACE_START)
  27 #else
  28 #define DEFAULT_DYNAMIC_SPACE_SIZE (DYNAMIC_0_SPACE_END - DYNAMIC_0_SPACE_START)
  29 #endif
  30 #define READ_ONLY_SPACE_SIZE (READ_ONLY_SPACE_END - READ_ONLY_SPACE_START)
  31 #define STATIC_SPACE_SIZE (STATIC_SPACE_END - STATIC_SPACE_START)
  32 #ifdef LISP_FEATURE_LINKAGE_TABLE
  33 #define LINKAGE_TABLE_SPACE_SIZE \
  34     (LINKAGE_TABLE_SPACE_END - LINKAGE_TABLE_SPACE_START)
  35 #endif
  36
  37 #if !defined(LANGUAGE_ASSEMBLY)
  38 #include <thread.h>
  39 #ifdef LISP_FEATURE_STACK_GROWS_DOWNWARD_NOT_UPWARD
  40 #define CONTROL_STACK_GUARD_PAGE(th) \
  41     ((os_vm_address_t)(th->control_stack_start))
  42 #define CONTROL_STACK_RETURN_GUARD_PAGE(th) \
  43     (CONTROL_STACK_GUARD_PAGE(th) + os_vm_page_size)
  44 #else
  45 #define CONTROL_STACK_GUARD_PAGE(th) \
  46     (((os_vm_address_t)(th->control_stack_end)) - os_vm_page_size)
  47 #define CONTROL_STACK_RETURN_GUARD_PAGE(th) \
  48     (CONTROL_STACK_GUARD_PAGE(th) - os_vm_page_size)
  49 #endif
  50
  51 extern void validate(void);
  52 extern void protect_control_stack_guard_page(int protect_p);
  53 extern void protect_control_stack_return_guard_page(int protect_p);
  54 extern void protect_control_stack_guard_page_thread(int protect_p, struct thread *th);
  55 extern void protect_control_stack_return_guard_page_thread(int protect_p, struct thread* th);
  56 extern os_vm_address_t undefined_alien_address;
  57 #endif
  58
  59 /* note for anyone trying to port an architecture's support files
  60  * from CMU CL to SBCL:
  61  *
  62  * CMU CL had architecture-dependent header files included here to
  63  * define memory map data:
  64  *   #ifdef LISP_FEATURE_X86
  65  *   #include "x86-validate.h"
  66  *   #endif
  67  * and so forth. In SBCL, the memory map data are defined at the Lisp
  68  * level (compiler/target/parms.lisp) and stuffed into the sbcl.h file
  69  * created by GENESIS, so there's no longer a need for an
  70  * architecture-dependent header file of memory map data.
  71  */
  72
  73 #endif