X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fvalidate.h;h=0c2546e5afc2fe5e2b62825cb6061b76221a49fb;hb=22c1de0a40df83bb5628974010a879cb2c17ff53;hp=5196d60d726cc0e865f515c50898bceb88eb0457;hpb=3a0a9c16a4ccaebd6423f4fe7870111c4dab25a8;p=sbcl.git diff --git a/src/runtime/validate.h b/src/runtime/validate.h index 5196d60..0c2546e 100644 --- a/src/runtime/validate.h +++ b/src/runtime/validate.h @@ -13,14 +13,23 @@ #define _INCLUDE_VALIDATE_H_ /* constants derived from the fundamental constants in passed by GENESIS */ -#define BINDING_STACK_SIZE ( BINDING_STACK_END - BINDING_STACK_START) -#define CONTROL_STACK_SIZE ( CONTROL_STACK_END - CONTROL_STACK_START) +#define BINDING_STACK_SIZE (1024*1024) /* chosen at random */ #define DYNAMIC_SPACE_SIZE ( DYNAMIC_SPACE_END - DYNAMIC_SPACE_START) #define READ_ONLY_SPACE_SIZE (READ_ONLY_SPACE_END - READ_ONLY_SPACE_START) #define STATIC_SPACE_SIZE ( STATIC_SPACE_END - STATIC_SPACE_START) +#define THREAD_CONTROL_STACK_SIZE (2*1024*1024) /* eventually this'll be choosable per-thread */ #if !defined(LANGUAGE_ASSEMBLY) +#include +#ifdef LISP_FEATURE_STACK_GROWS_DOWNWARD_NOT_UPWARD +#define CONTROL_STACK_GUARD_PAGE(th) ((void *)(th->control_stack_start)) +#else +#define CONTROL_STACK_GUARD_PAGE(th) \ + (((void *)(th->control_stack_end)) - os_vm_page_size) +#endif + extern void validate(void); +extern void protect_control_stack_guard_page(pid_t t_id, int protect_p); #endif /* note for anyone trying to port an architecture's support files @@ -32,8 +41,9 @@ extern void validate(void); * #include "x86-validate.h" * #endif * and so forth. In SBCL, the memory map data are defined at the Lisp - * level and stuffed into the sbcl.h file created by GENESIS, so - * there's no longer a need for an architecture-dependent header file - * of memory map data. */ + * level (compiler/target/parms.lisp) and stuffed into the sbcl.h file + * created by GENESIS, so there's no longer a need for an + * architecture-dependent header file of memory map data. + */ #endif