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 /* constants derived from the fundamental constants in passed by GENESIS */
  16 #define   BINDING_STACK_SIZE (1024*1024) /* chosen at random */
  17 #define   DYNAMIC_SPACE_SIZE (  DYNAMIC_SPACE_END -   DYNAMIC_SPACE_START)
  18 #define READ_ONLY_SPACE_SIZE (READ_ONLY_SPACE_END - READ_ONLY_SPACE_START)
  19 #define    STATIC_SPACE_SIZE (   STATIC_SPACE_END -    STATIC_SPACE_START)
  20 #define THREAD_CONTROL_STACK_SIZE (2*1024*1024) /* eventually this'll be choosable per-thread */
  21
  22 #if !defined(LANGUAGE_ASSEMBLY)
  23 #include <thread.h>
  24 #ifdef LISP_FEATURE_STACK_GROWS_DOWNWARD_NOT_UPWARD
  25 #define CONTROL_STACK_GUARD_PAGE(th) ((void *)(th->control_stack_start))
  26 #else
  27 #define CONTROL_STACK_GUARD_PAGE(th) \
  28      (((void *)(th->control_stack_end)) - os_vm_page_size)
  29 #endif
  30
  31 extern void validate(void);
  32 extern void protect_control_stack_guard_page(pid_t t_id, int protect_p);
  33 #endif
  34
  35 /* note for anyone trying to port an architecture's support files
  36  * from CMU CL to SBCL:
  37  *
  38  * CMU CL had architecture-dependent header files included here to
  39  * define memory map data:
  40  *   #ifdef LISP_FEATURE_X86
  41  *   #include "x86-validate.h"
  42  *   #endif
  43  * and so forth. In SBCL, the memory map data are defined at the Lisp
  44  * level (compiler/target/parms.lisp) and stuffed into the sbcl.h file
  45  * created by GENESIS, so there's no longer a need for an
  46  * architecture-dependent header file of memory map data.
  47  */
  48
  49 #endif