X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fruntime.h;h=c46726139f60d0d6d51076315ee4f00c37506084;hb=7aef55b130d95c384b63422807f1848faa9aba5a;hp=de83bc86e124a3b75c63237f944d310d944805c0;hpb=3257c25015012253a096c990d5809daee974d057;p=sbcl.git diff --git a/src/runtime/runtime.h b/src/runtime/runtime.h index de83bc8..c467261 100644 --- a/src/runtime/runtime.h +++ b/src/runtime/runtime.h @@ -15,6 +15,17 @@ #ifndef _SBCL_RUNTIME_H_ #define _SBCL_RUNTIME_H_ +#if defined(LISP_FEATURE_WIN32) && defined(LISP_FEATURE_SB_THREAD) +# include "pthreads_win32.h" +#else +# include +# ifdef LISP_FEATURE_SB_THREAD +# include +# endif +#endif + +#include + #if defined(LISP_FEATURE_SB_THREAD) #define thread_self() pthread_self() #define thread_kill pthread_kill @@ -29,8 +40,28 @@ #define thread_mutex_unlock(l) 0 #endif -/* Block blockable interrupts for each SHOW, if not 0. */ +#if defined(LISP_FEATURE_WIN32) && defined(LISP_FEATURE_SB_THREAD) +void os_preinit(); +#endif + +#if defined(LISP_FEATURE_SB_SAFEPOINT) +void map_gc_page(); +void unmap_gc_page(); +int check_pending_interrupts(); +#endif + +/* + * The next few defines serve as configuration -- edit them inline if + * you are a developer and want to affect FSHOW behaviour. + */ + +/* Block blockable interrupts for each SHOW, if not 0. + * (On Windows, this setting has no effect.) + * + * In principle, this is a "configuration option", but I am not aware of + * any reason why or when it would be advantageous to disable it. */ #define QSHOW_SIGNAL_SAFE 1 + /* Enable extra-verbose low-level debugging output for signals? (You * probably don't want this unless you're trying to debug very early * cold boot on a new machine, or one where you've just messed up @@ -40,55 +71,106 @@ * causes output from signal handlers, and the i/o libraries aren't * necessarily reentrant. But it can still be very convenient for * figuring out what's going on when you have a signal handling - * problem. */ -#define QSHOW_SIGNALS 0 + * problem. + * + * Possible values are: + * 0 -- Never show signal-related output. There is absolutely no + * run-time overhead from FSHOW_SIGNAL in this case. + * + * 1 -- (recommended) + * Show signal-related output only if selected at run-time + * (otherwise almost no run-time overhead). + * + * 2 -- Unconditionally show signal-related output. + * Very significant overhead. + * + * For reasons of tradition, we default to 0 on POSIX and 1 on Windows + * through :SB-QSHOW. + * + * With option 1, set up environment variable SBCL_DYNDEBUG to include + * "fshow" or "fshow_signal" before starting SBCL to enable output. + * + * There is no particular advantage to option 2 except that you do not + * need to set environment variables in this case. + */ +#ifdef LISP_FEATURE_SB_QSHOW +# define QSHOW_SIGNALS 1 +#else +# define QSHOW_SIGNALS 0 +#endif + /* Enable low-level debugging output, if not zero. Defaults to enabled - * if QSHOW_SIGNALS, disabled otherwise. Change it to 1 if you want + * if QSHOW_SIGNALS, disabled otherwise. Change it to 1 or 2 if you want * low-level debugging output but not the whole signal mess. */ #define QSHOW QSHOW_SIGNALS -#if QSHOW +/* + * Configuration options end here -- the following defines do not + * generally need customization. + */ + +#define odxprint(topic, fmt, ...) \ + do \ + if (dyndebug_config.dyndebug_##topic) \ + odxprint_fun(fmt "\n", ##__VA_ARGS__); \ + while (0) + +void odxprint_fun(const char *fmt, ...); +void fshow_fun(void *ignored, const char *fmt, ...); + +/* Flags defined in a structure to avoid code duplication between + * declaration and definition. */ +extern struct dyndebug_config { + int dyndebug_fshow; + int dyndebug_fshow_signal; + int dyndebug_gencgc_verbose; + int dyndebug_safepoints; + int dyndebug_seh; + int dyndebug_misc; + int dyndebug_pagefaults; + int dyndebug_backtrace_when_lost; + int dyndebug_sleep_when_lost; +} dyndebug_config; + +#ifdef LISP_FEATURE_GENCGC +extern int gencgc_verbose; +#endif + +void dyndebug_init(void); #if QSHOW_SIGNAL_SAFE == 1 && !defined(LISP_FEATURE_WIN32) -#include extern sigset_t blockable_sigset; #define QSHOW_BLOCK \ sigset_t oldset; \ - thread_sigmask(SIG_BLOCK, &blockable_sigset, &oldset); -#define QSHOW_UNBLOCK thread_sigmask(SIG_SETMASK,&oldset,0); + thread_sigmask(SIG_BLOCK, &blockable_sigset, &oldset) +#define QSHOW_UNBLOCK thread_sigmask(SIG_SETMASK,&oldset,0) #else #define QSHOW_BLOCK #define QSHOW_UNBLOCK #endif -#ifdef LISP_FEATURE_SB_THREAD -#define QSHOW_PREFIX fprintf(stderr, "%lu ", pthread_self()); -#else -#define QSHOW_PREFIX -#endif - -#define FSHOW(args) \ - do { \ - QSHOW_BLOCK \ - QSHOW_PREFIX \ - fprintf args; \ - QSHOW_UNBLOCK \ - } while (0) -#define SHOW(string) FSHOW((stderr, "/%s\n", string)) +/* The following macros duplicate the expansion of odxprint, because the + * extra level of parentheses around `args' prevents us from + * implementing FSHOW in terms of odxprint directly. (They also differ + * in a newline.) + */ +#if QSHOW +# define FSHOW(args) \ + do if (dyndebug_config.dyndebug_fshow) fshow_fun args; while (0) +# define SHOW(string) FSHOW((stderr, "/%s\n", string)) #else - -#define FSHOW(args) -#define SHOW(string) - +# define FSHOW(args) +# define SHOW(string) #endif #if QSHOW_SIGNALS -#define FSHOW_SIGNAL FSHOW +# define FSHOW_SIGNAL(args) \ + do if (dyndebug_config.dyndebug_fshow_signal) fshow_fun args; while (0) #else -#define FSHOW_SIGNAL(args) +# define FSHOW_SIGNAL(args) #endif /* KLUDGE: These are in theory machine-dependent and OS-dependent, but @@ -110,7 +192,6 @@ typedef unsigned long pointer_sized_uint_t ; #include #if defined(LISP_FEATURE_SB_THREAD) -#include typedef pthread_t os_thread_t; #else typedef pid_t os_thread_t; @@ -120,8 +201,10 @@ typedef pid_t os_thread_t; alpha64 has arrived, all this nastiness can go away */ #if 64 == N_WORD_BITS #define LOW_WORD(c) ((pointer_sized_uint_t)c) +#define OBJ_FMTX "lx" typedef unsigned long lispobj; #else +#define OBJ_FMTX "x" #define LOW_WORD(c) ((long)(c) & 0xFFFFFFFFL) /* fake it on alpha32 */ typedef unsigned int lispobj; @@ -168,7 +251,11 @@ FDEFN(lispobj obj) static inline int is_lisp_pointer(lispobj obj) { +#if N_WORD_BITS == 64 + return (obj & 3) == 3; +#else return obj & 1; +#endif } #include "fixnump.h" @@ -202,10 +289,11 @@ make_lispobj(void *o, int low_tag) return LOW_WORD(o) | low_tag; } +#define MAKE_FIXNUM(n) (n << N_FIXNUM_TAG_BITS) static inline lispobj make_fixnum(long n) { - return n << N_FIXNUM_TAG_BITS; + return MAKE_FIXNUM(n); } static inline long @@ -232,19 +320,8 @@ typedef int boolean; static inline boolean other_immediate_lowtag_p(lispobj header) { - switch (lowtag_of(header)) { - case OTHER_IMMEDIATE_0_LOWTAG: - case OTHER_IMMEDIATE_1_LOWTAG: -#ifdef OTHER_IMMEDIATE_2_LOWTAG - case OTHER_IMMEDIATE_2_LOWTAG: -#endif -#ifdef OTHER_IMMEDIATE_3_LOWTAG - case OTHER_IMMEDIATE_3_LOWTAG: -#endif - return 1; - default: - return 0; - } + /* These lowtags are spaced 4 apart throughout the lowtag space. */ + return (lowtag_of(header) & 3) == OTHER_IMMEDIATE_0_LOWTAG; } /* KLUDGE: As far as I can tell there's no ANSI C way of saying @@ -263,16 +340,22 @@ other_immediate_lowtag_p(lispobj header) extern void *successful_malloc (size_t size); extern char *copied_string (char *string); -#define RUNTIME_OPTIONS_MAGIC 0x31EBF355 -/* 1 for magic, 1 for boolean, 2 for struct runtime_options fields */ -#define RUNTIME_OPTIONS_WORDS (1 + 1 + 2) - -struct runtime_options { - size_t dynamic_space_size; - size_t thread_control_stack_size; -}; +#if defined(LISP_FEATURE_SB_THREAD) && !defined(LISP_FEATURE_SB_SAFEPOINT) +# define THREADS_USING_GCSIGNAL 1 +#endif -/* saved runtime path computed from argv[0] */ -extern char *saved_runtime_path; +/* Now that SPARC has precise GENCGC, several places that used to be + * #ifdef PCC need adjustment. Clearly, "PPC or SPARC" is as unhelpful + * a test as its reverse, "x86 or x86-64". However, the feature + * commonly used to differentiate between those two worlds is + * C_STACK_IS_CONTROL_STACK, and clearly (or at least in my humble + * opinion), at some point we'd like to have precise GC on x86 while + * still sharing the C stack, so stack usage ought not imply GC + * conservativeness. So let's have a helper feature that makes the code + * a bit more future-proof, even if it is itself currently defined in + * the naive way: */ +#if defined(LISP_FEATURE_GENCGC) && !defined(LISP_FEATURE_C_STACK_IS_CONTROL_STACK) +# define GENCGC_IS_PRECISE 1 +#endif #endif /* _SBCL_RUNTIME_H_ */