X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fvalidate.c;h=f4c8bfe1718f321898ad7fa8a8ad7656b3cf4b4d;hb=eaa8a506790bb6ed627da617247bfd13802eb365;hp=2c0143671e561f68f54aa4e56227f425bc001110;hpb=83ae90d536713f2cb5ef44f0cb768da9489d6432;p=sbcl.git diff --git a/src/runtime/validate.c b/src/runtime/validate.c index 2c01436..f4c8bfe 100644 --- a/src/runtime/validate.c +++ b/src/runtime/validate.c @@ -36,6 +36,19 @@ ensure_space(lispobj *start, unsigned long size) } } +os_vm_address_t undefined_alien_address = 0; + +static void +ensure_undefined_alien(void) { + os_vm_address_t start = os_validate(NULL, os_vm_page_size); + if (start) { + 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"); + } +} + void validate(void) { @@ -56,20 +69,26 @@ validate(void) #ifdef LISP_FEATURE_LINKAGE_TABLE ensure_space( (lispobj *)LINKAGE_TABLE_SPACE_START, LINKAGE_TABLE_SPACE_SIZE); #endif + +#ifdef LISP_FEATURE_OS_PROVIDES_DLOPEN + ensure_undefined_alien(); +#endif #ifdef PRINTNOISE printf(" done.\n"); #endif } -void protect_control_stack_guard_page(pid_t t_id, int protect_p) { +void +protect_control_stack_guard_page(pid_t t_id, int protect_p) { struct thread *th = find_thread_by_pid(t_id); 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); } -void protect_control_stack_return_guard_page(pid_t t_id, int protect_p) { +void +protect_control_stack_return_guard_page(pid_t t_id, int protect_p) { struct thread *th = find_thread_by_pid(t_id); os_protect(CONTROL_STACK_RETURN_GUARD_PAGE(th), os_vm_page_size,protect_p ?