2 * This file (along with os.h) exports an OS-independent interface to
3 * the operating system VM facilities. Surprise surprise, this
4 * interface looks a lot like the Mach interface (but simpler in some
5 * places). For some operating systems, a subset of these functions
6 * will have to be emulated.
8 * This is the OSF/1 version, based on the Linux version, itself based
9 * on the OSF1 version from CMUCL by Sean Hallgren. Now _there's_
10 * a metacircularity for you ...
14 * This software is part of the SBCL system. See the README file for
17 * This software is derived from the CMU CL system, which was
18 * written at Carnegie Mellon University and released into the
19 * public domain. The software is in the public domain and is
20 * provided with absolutely no warranty. See the COPYING and CREDITS
21 * files for more information.
25 #include <sys/param.h>
32 #include "interrupt.h"
35 #include <sys/socket.h>
36 #include <sys/utsname.h>
38 #include <sys/sysinfo.h>
41 #include <machine/hal_sysinfo.h>
43 #include <sys/types.h>
50 size_t os_vm_page_size;
56 os_vm_page_size = getpagesize();
61 os_validate(os_vm_address_t addr, os_vm_size_t len)
63 int flags = MAP_PRIVATE|MAP_ANONYMOUS;
64 if (addr) flags |= MAP_FIXED;
65 else flags |= MAP_VARIABLE;
67 if((addr=mmap(addr,len,OS_VM_PROT_ALL,flags,-1,0)) == (os_vm_address_t) -1)
74 os_invalidate(os_vm_address_t addr, os_vm_size_t len)
76 if (munmap(addr,len) == -1) {
82 os_map(int fd, int offset, os_vm_address_t addr, os_vm_size_t len)
84 addr = mmap(addr, len,
86 MAP_PRIVATE | MAP_FILE | MAP_FIXED,
89 if (addr == MAP_FAILED) {
91 lose("unexpected mmap(..) failure");
98 os_protect(os_vm_address_t address, os_vm_size_t length, os_vm_prot_t prot)
100 if (mprotect(address, length, prot) == -1) {
106 is_valid_lisp_addr(os_vm_address_t addr)
109 os_vm_address_t newaddr;
110 newaddr=os_trunc_to_page(addr);
111 if((ret=mvalid(newaddr,newaddr-addr+4,OS_VM_PROT_ALL)) == 0)
113 else if(errno==EINVAL)
119 * any OS-dependent special low-level handling for signals
124 sigsegv_handler(int signal, siginfo_t *info, void* void_context)
126 os_context_t *context = arch_os_get_context(&void_context);
128 os_vm_address_t addr = arch_get_bad_addr(signal,info,context);
131 *os_context_register_addr(context,reg_ALLOC) & (1L<<63)){
132 /* this is lifted from linux-os.c, so violates OOAO */
133 *os_context_register_addr(context,reg_ALLOC) -= (1L<<63);
134 interrupt_handle_pending(context);
135 } else if (!interrupt_maybe_gc(signal, info, context)) {
136 if(!handle_guard_page_triggered(context,addr))
137 interrupt_handle_now(signal, info, context);
143 os_install_interrupt_handlers(void)
145 undoably_install_low_level_interrupt_handler(SIG_MEMORY_FAULT,