X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fvalidate.c;h=d00c39166d79d44a717d419c9c0254cc17aa55ea;hb=ed1910efb36f71b5ebe33b5ffffd7195e15644de;hp=d417a7e403524b67d309875974cf066d1fd7ab64;hpb=79cc569a97e444389350ea3f5b1017374fe16bec;p=sbcl.git diff --git a/src/runtime/validate.c b/src/runtime/validate.c index d417a7e..d00c391 100644 --- a/src/runtime/validate.c +++ b/src/runtime/validate.c @@ -20,7 +20,10 @@ #include "runtime.h" #include "os.h" #include "globals.h" +#include "interr.h" #include "validate.h" +#include "interr.h" /* for declaration of lose */ + static void ensure_space(lispobj *start, unsigned long size) @@ -45,7 +48,7 @@ ensure_undefined_alien(void) { os_protect(start, os_vm_page_size, OS_VM_PROT_NONE); undefined_alien_address = start; } else { - lose("could not allocate guard page for undefined alien"); + lose("could not allocate guard page for undefined alien\n"); } } @@ -60,14 +63,15 @@ validate(void) ensure_space( (lispobj *)READ_ONLY_SPACE_START, READ_ONLY_SPACE_SIZE); ensure_space( (lispobj *)STATIC_SPACE_START , STATIC_SPACE_SIZE); #ifdef LISP_FEATURE_GENCGC - ensure_space( (lispobj *)DYNAMIC_SPACE_START , DYNAMIC_SPACE_SIZE); + ensure_space( (lispobj *)DYNAMIC_SPACE_START , dynamic_space_size); #else - ensure_space( (lispobj *)DYNAMIC_0_SPACE_START , DYNAMIC_SPACE_SIZE); - ensure_space( (lispobj *)DYNAMIC_1_SPACE_START , DYNAMIC_SPACE_SIZE); + ensure_space( (lispobj *)DYNAMIC_0_SPACE_START, dynamic_space_size); + ensure_space( (lispobj *)DYNAMIC_1_SPACE_START, dynamic_space_size); #endif #ifdef LISP_FEATURE_LINKAGE_TABLE - ensure_space( (lispobj *)LINKAGE_TABLE_SPACE_START, LINKAGE_TABLE_SPACE_SIZE); + ensure_space( (lispobj *)LINKAGE_TABLE_SPACE_START, + LINKAGE_TABLE_SPACE_SIZE); #endif #ifdef LISP_FEATURE_OS_PROVIDES_DLOPEN @@ -79,16 +83,46 @@ validate(void) #endif } -void -protect_control_stack_guard_page(struct thread *th, int protect_p) { - os_protect(CONTROL_STACK_GUARD_PAGE(th), - os_vm_page_size,protect_p ? - (OS_VM_PROT_READ|OS_VM_PROT_EXECUTE) : OS_VM_PROT_ALL); +static inline void +protect_page(void *page, int protect_p, os_vm_prot_t flags) { + os_protect(page, os_vm_page_size, protect_p ? + flags : OS_VM_PROT_ALL); } -void -protect_control_stack_return_guard_page(struct thread *th, int protect_p) { - os_protect(CONTROL_STACK_RETURN_GUARD_PAGE(th), - os_vm_page_size,protect_p ? - (OS_VM_PROT_READ|OS_VM_PROT_EXECUTE) : OS_VM_PROT_ALL); -} +#define DEF_PROTECT_PAGE(name,page_name,flags) \ + void \ + protect_##name(int protect_p, struct thread *thread) { \ + if (!thread) \ + thread = arch_os_get_current_thread(); \ + protect_page(page_name(thread), protect_p, flags); \ + } + +DEF_PROTECT_PAGE(control_stack_hard_guard_page, + CONTROL_STACK_HARD_GUARD_PAGE, + OS_VM_PROT_NONE) +DEF_PROTECT_PAGE(control_stack_guard_page, + CONTROL_STACK_GUARD_PAGE, + OS_VM_PROT_READ|OS_VM_PROT_EXECUTE) +DEF_PROTECT_PAGE(control_stack_return_guard_page, + CONTROL_STACK_RETURN_GUARD_PAGE, + OS_VM_PROT_READ|OS_VM_PROT_EXECUTE) + +DEF_PROTECT_PAGE(binding_stack_hard_guard_page, + BINDING_STACK_HARD_GUARD_PAGE, + OS_VM_PROT_NONE) +DEF_PROTECT_PAGE(binding_stack_guard_page, + BINDING_STACK_GUARD_PAGE, + OS_VM_PROT_NONE) +DEF_PROTECT_PAGE(binding_stack_return_guard_page, + BINDING_STACK_RETURN_GUARD_PAGE, + OS_VM_PROT_NONE) + +DEF_PROTECT_PAGE(alien_stack_hard_guard_page, + ALIEN_STACK_HARD_GUARD_PAGE, + OS_VM_PROT_NONE) +DEF_PROTECT_PAGE(alien_stack_guard_page, + ALIEN_STACK_GUARD_PAGE, + OS_VM_PROT_NONE) +DEF_PROTECT_PAGE(alien_stack_return_guard_page, + ALIEN_STACK_RETURN_GUARD_PAGE, + OS_VM_PROT_NONE)