X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fvalidate.c;h=f4c8bfe1718f321898ad7fa8a8ad7656b3cf4b4d;hb=eaa8a506790bb6ed627da617247bfd13802eb365;hp=a7e9a3dfd3fff8fc1b4029eb374d0a2e4f71fe54;hpb=75b52379bdc2269961af6a1308eca63610f38ac3;p=sbcl.git diff --git a/src/runtime/validate.c b/src/runtime/validate.c index a7e9a3d..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,16 +69,28 @@ 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) { + struct thread *th = find_thread_by_pid(t_id); + 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); +}