2 * the Linux incarnation of OS-dependent routines. See also
3 * $(sbcl_arch)-linux-os.c
5 * This file (along with os.h) exports an OS-independent interface to
6 * the operating system VM facilities. Surprise surprise, this
7 * interface looks a lot like the Mach interface (but simpler in some
8 * places). For some operating systems, a subset of these functions
9 * will have to be emulated.
13 * This software is part of the SBCL system. See the README file for
16 * This software is derived from the CMU CL system, which was
17 * written at Carnegie Mellon University and released into the
18 * public domain. The software is in the public domain and is
19 * provided with absolutely no warranty. See the COPYING and CREDITS
20 * files for more information.
24 #include <sys/param.h>
31 #include "interrupt.h"
35 #include "genesis/static-symbols.h"
36 #include "genesis/fdefn.h"
37 #include <sys/socket.h>
38 #include <sys/utsname.h>
40 #include <sys/types.h>
42 /* #include <sys/sysinfo.h> */
46 #include <linux/version.h>
51 #if defined LISP_FEATURE_GENCGC
52 #include "gencgc-internal.h"
55 size_t os_vm_page_size;
57 #ifdef LISP_FEATURE_SB_THREAD
58 #include <sys/syscall.h>
62 /* values taken from the kernel's linux/futex.h. This header file
63 doesn't exist in userspace, which is our excuse for not grovelling
65 #define FUTEX_WAIT (0)
66 #define FUTEX_WAKE (1)
68 #define FUTEX_REQUEUE (3)
70 #define sys_futex sbcl_sys_futex
71 static inline int sys_futex (void *futex, int op, int val, struct timespec *rel)
73 return syscall (SYS_futex, futex, op, val, rel);
77 futex_wait(int *lock_word, int oldval)
79 int t= sys_futex(lock_word,FUTEX_WAIT,oldval, 0);
84 futex_wake(int *lock_word, int n)
86 return sys_futex(lock_word,FUTEX_WAKE,n,0);
91 int linux_sparc_siginfo_bug = 0;
92 int linux_no_threads_p = 0;
97 /* Conduct various version checks: do we have enough mmap(), is
98 * this a sparc running 2.2, can we do threads? */
99 #ifdef LISP_FEATURE_SB_THREAD
108 major_version = atoi(p);
110 minor_version = atoi(p);
111 if (major_version<2) {
112 lose("linux kernel version too old: major version=%d (can't run in version < 2.0.0)",
115 if (!(major_version>2 || minor_version >= 4)) {
116 #ifdef LISP_FEATURE_SPARC
117 FSHOW((stderr,"linux kernel %d.%d predates 2.4;\n enabling workarounds for SPARC kernel bugs in signal handling.\n", major_version,minor_version));
118 linux_sparc_siginfo_bug = 1;
121 #ifdef LISP_FEATURE_SB_THREAD
122 futex_wait(futex,-1);
123 if(errno==ENOSYS) linux_no_threads_p = 1;
124 if(linux_no_threads_p)
125 fprintf(stderr,"Linux with NPTL support (e.g. kernel 2.6 or newer) required for \nthread-enabled SBCL. Disabling thread support.\n\n");
127 os_vm_page_size = getpagesize();
131 #ifdef LISP_FEATURE_ALPHA
132 /* The Alpha is a 64 bit CPU. SBCL is a 32 bit application. Due to all
133 * the places that assume we can get a pointer into a fixnum with no
134 * information loss, we have to make sure it allocates all its ram in the
137 static void * under_2gb_free_pointer=DYNAMIC_1_SPACE_END;
141 os_validate(os_vm_address_t addr, os_vm_size_t len)
143 int flags = MAP_PRIVATE | MAP_ANONYMOUS | MAP_NORESERVE;
144 os_vm_address_t actual;
146 #ifdef LISP_FEATURE_ALPHA
148 addr=under_2gb_free_pointer;
151 actual = mmap(addr, len, OS_VM_PROT_ALL, flags, -1, 0);
152 if (actual == MAP_FAILED || (addr && (addr!=actual))) {
154 return 0; /* caller should check this */
157 #ifdef LISP_FEATURE_ALPHA
159 len=(len+(os_vm_page_size-1))&(~(os_vm_page_size-1));
160 under_2gb_free_pointer+=len;
167 os_invalidate(os_vm_address_t addr, os_vm_size_t len)
169 if (munmap(addr,len) == -1) {
175 os_map(int fd, int offset, os_vm_address_t addr, os_vm_size_t len)
177 os_vm_address_t actual;
179 actual = mmap(addr, len, OS_VM_PROT_ALL, MAP_PRIVATE | MAP_FIXED,
181 if (actual == MAP_FAILED || (addr && (addr != actual))) {
183 lose("unexpected mmap(..) failure");
190 os_protect(os_vm_address_t address, os_vm_size_t length, os_vm_prot_t prot)
192 if (mprotect(address, length, prot) == -1) {
198 is_valid_lisp_addr(os_vm_address_t addr)
201 size_t ad = (size_t) addr;
203 if ((READ_ONLY_SPACE_START <= ad && ad < READ_ONLY_SPACE_END)
204 || (STATIC_SPACE_START <= ad && ad < STATIC_SPACE_END)
205 #if defined LISP_FEATURE_GENCGC
206 || (DYNAMIC_SPACE_START <= ad && ad < DYNAMIC_SPACE_END)
208 || (DYNAMIC_0_SPACE_START <= ad && ad < DYNAMIC_0_SPACE_END)
209 || (DYNAMIC_1_SPACE_START <= ad && ad < DYNAMIC_1_SPACE_END)
213 for_each_thread(th) {
214 if((size_t)(th->control_stack_start) <= ad
215 && ad < (size_t)(th->control_stack_end))
217 if((size_t)(th->binding_stack_start) <= ad
218 && ad < (size_t)(th->binding_stack_start + BINDING_STACK_SIZE))
225 * any OS-dependent special low-level handling for signals
229 #if defined LISP_FEATURE_GENCGC
232 * The GENCGC needs to be hooked into whatever signal is raised for
233 * page fault on this OS.
236 sigsegv_handler(int signal, siginfo_t *info, void* void_context)
238 os_context_t *context = arch_os_get_context(&void_context);
239 void* fault_addr = (void*)info->si_addr;
240 if (!gencgc_handle_wp_violation(fault_addr))
241 if(!handle_guard_page_triggered(context,fault_addr))
242 #ifdef LISP_FEATURE_C_STACK_IS_CONTROL_STACK
243 arrange_return_to_lisp_function(context, SymbolFunction(MEMORY_FAULT_ERROR));
245 interrupt_handle_now(signal, info, context);
252 sigsegv_handler(int signal, siginfo_t *info, void* void_context)
254 os_context_t *context = arch_os_get_context(&void_context);
255 os_vm_address_t addr = arch_get_bad_addr(signal,info,context);
257 #ifdef LISP_FEATURE_ALPHA
258 /* Alpha stuff: This is the end of a pseudo-atomic section during
259 which a signal was received. We must deal with the pending
260 interrupt (see also interrupt.c, ../code/interrupt.lisp)
262 (how we got here: when interrupting, we set bit 63 in reg_ALLOC.
263 At the end of the atomic section we tried to write to reg_ALLOC,
264 got a SIGSEGV (there's nothing mapped there) so ended up here. */
266 *os_context_register_addr(context,reg_ALLOC) & (1L<<63)){
267 *os_context_register_addr(context,reg_ALLOC) -= (1L<<63);
268 interrupt_handle_pending(context);
273 if(!interrupt_maybe_gc(signal, info, context))
274 if(!handle_guard_page_triggered(context,addr))
275 interrupt_handle_now(signal, info, context);
280 os_install_interrupt_handlers(void)
282 undoably_install_low_level_interrupt_handler(SIG_MEMORY_FAULT,
284 #ifdef LISP_FEATURE_SB_THREAD
285 undoably_install_low_level_interrupt_handler(SIG_INTERRUPT_THREAD,
286 interrupt_thread_handler);
287 undoably_install_low_level_interrupt_handler(SIG_STOP_FOR_GC,
288 sig_stop_for_gc_handler);