0.9.2.18: various error &co reporting improvements and build tweaks
[sbcl.git] / 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 #define DYNAMIC_SPACE_START current_dynamic_space
17 #endif
18
19 #define        BINDING_STACK_SIZE (1024*1024)   /* chosen at random */
20 #define THREAD_CONTROL_STACK_SIZE (2*1024*1024) /* eventually choosable per-thread */
21
22 /* constants derived from the fundamental constants in passed by GENESIS */
23 #ifdef LISP_FEATURE_GENCGC
24 #define       DYNAMIC_SPACE_SIZE       (DYNAMIC_SPACE_END -       DYNAMIC_SPACE_START)
25 #else
26 #define       DYNAMIC_SPACE_SIZE     (DYNAMIC_0_SPACE_END -     DYNAMIC_0_SPACE_START)
27 #endif
28 #define     READ_ONLY_SPACE_SIZE     (READ_ONLY_SPACE_END -     READ_ONLY_SPACE_START)
29 #define        STATIC_SPACE_SIZE        (STATIC_SPACE_END -        STATIC_SPACE_START)
30 #ifdef LISP_FEATURE_LINKAGE_TABLE
31 #define LINKAGE_TABLE_SPACE_SIZE (LINKAGE_TABLE_SPACE_END - LINKAGE_TABLE_SPACE_START)
32 #endif
33
34 #if !defined(LANGUAGE_ASSEMBLY)
35 #include <thread.h>
36 #ifdef LISP_FEATURE_STACK_GROWS_DOWNWARD_NOT_UPWARD 
37 #define CONTROL_STACK_GUARD_PAGE(th) ((void *)(th->control_stack_start))
38 #define CONTROL_STACK_RETURN_GUARD_PAGE(th) (CONTROL_STACK_GUARD_PAGE(th) + os_vm_page_size)
39 #else
40 #define CONTROL_STACK_GUARD_PAGE(th) (((void *)(th->control_stack_end)) - os_vm_page_size)
41 #define CONTROL_STACK_RETURN_GUARD_PAGE(th) (CONTROL_STACK_GUARD_PAGE(th) - os_vm_page_size)
42 #endif
43
44 extern void validate(void);
45 extern void protect_control_stack_guard_page(struct thread *th, int protect_p);
46 extern void protect_control_stack_return_guard_page(struct thread *th,
47                                                     int protect_p);
48 extern os_vm_address_t undefined_alien_address;
49 #endif
50
51 /* note for anyone trying to port an architecture's support files
52  * from CMU CL to SBCL:
53  *
54  * CMU CL had architecture-dependent header files included here to
55  * define memory map data:
56  *   #ifdef LISP_FEATURE_X86
57  *   #include "x86-validate.h"
58  *   #endif
59  * and so forth. In SBCL, the memory map data are defined at the Lisp
60  * level (compiler/target/parms.lisp) and stuffed into the sbcl.h file
61  * created by GENESIS, so there's no longer a need for an
62  * architecture-dependent header file of memory map data. 
63  */
64
65 #endif