0.8.16.23:

[sbcl.git] / src / runtime / validate.h

diff --git a/src/runtime/validate.h b/src/runtime/validate.h
index 876d39b..bc7ca14 100644 (file)
--- a/src/runtime/validate.h
+++ b/src/runtime/validate.h
@@ -12,30 +12,44 @@
 #if !defined(_INCLUDE_VALIDATE_H_)
 #define _INCLUDE_VALIDATE_H_
 
-#ifdef parisc
-#include "hppa-validate.h"
-#endif parisc
-
-#ifdef mips
-#include "mips-validate.h"
-#endif
-
-#ifdef ibmrt
-#include "rt-validate.h"
-#endif
-
-#ifdef sparc
-#include "sparc-validate.h"
+/* constants derived from the fundamental constants in passed by GENESIS */
+#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 */
+
+#ifdef LISP_FEATURE_LINKAGE_TABLE
+#define LINKAGE_TABLE_SPACE_SIZE (LINKAGE_TABLE_SPACE_END - LINKAGE_TABLE_SPACE_START)
 #endif
 
-#ifdef __i386__
-#include "x86-validate.h"
+#if !defined(LANGUAGE_ASSEMBLY)
+#include <thread.h>
+#ifdef LISP_FEATURE_STACK_GROWS_DOWNWARD_NOT_UPWARD 
+#define CONTROL_STACK_GUARD_PAGE(th) ((void *)(th->control_stack_start))
+#define CONTROL_STACK_RETURN_GUARD_PAGE(th) (CONTROL_STACK_GUARD_PAGE(th) + os_vm_page_size)
+#else
+#define CONTROL_STACK_GUARD_PAGE(th) (((void *)(th->control_stack_end)) - os_vm_page_size)
+#define CONTROL_STACK_RETURN_GUARD_PAGE(th) (CONTROL_STACK_GUARD_PAGE(th) - os_vm_page_size)
 #endif
 
-#ifdef alpha
-#include "alpha-validate.h"
+extern void validate(void);
+extern void protect_control_stack_guard_page(pid_t t_id, int protect_p);
+extern void protect_control_stack_return_guard_page(pid_t t_id, int protect_p);
 #endif
 
-extern void validate(void);
+/* note for anyone trying to port an architecture's support files
+ * from CMU CL to SBCL:
+ *
+ * CMU CL had architecture-dependent header files included here to
+ * define memory map data:
+ *   #ifdef LISP_FEATURE_X86
+ *   #include "x86-validate.h"
+ *   #endif
+ * and so forth. In SBCL, the memory map data are defined at the Lisp
+ * 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