X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcompiler%2Fx86%2Fparms.lisp;h=e53929dd8c8774952d83ddcc02af52891d421747;hb=7fb597b585fc715537ea644f7d84440eca217ca1;hp=4128ae95a04b7b883bff7684e833e809441349c3;hpb=040e4e707e4f7bc9bda2ab78774fd9205c44ee1f;p=sbcl.git diff --git a/src/compiler/x86/parms.lisp b/src/compiler/x86/parms.lisp index 4128ae9..e53929d 100644 --- a/src/compiler/x86/parms.lisp +++ b/src/compiler/x86/parms.lisp @@ -27,15 +27,17 @@ ;;; the number of bits per word, where a word holds one lisp descriptor (def!constant n-word-bits 32) +;;; the natural width of a machine word (as seen in e.g. register width, +;;; address space) +(def!constant n-machine-word-bits 32) + ;;; the number of bits per byte, where a byte is the smallest ;;; addressable object (def!constant n-byte-bits 8) -;;; the number of bits to shift between word addresses and byte addresses -(def!constant word-shift (1- (integer-length (/ n-word-bits n-byte-bits)))) - -;;; the number of bytes in a word -(def!constant n-word-bytes (/ n-word-bits n-byte-bits)) +;;; The size in bytes of the GENCGC pages. Should be a multiple of the +;;; architecture code size. +(def!constant gencgc-page-size 4096) (def!constant float-sign-shift 31) @@ -43,7 +45,7 @@ ;;; These values were taken from the alpha code. The values for ;;; bias and exponent min/max are not the same as shown in the 486 book. ;;; They may be correct for how Python uses them. -(def!constant single-float-bias 126) ; Intel says 127. +(def!constant single-float-bias 126) ; Intel says 127. (defconstant-eqx single-float-exponent-byte (byte 8 23) #'equalp) (defconstant-eqx single-float-significand-byte (byte 23 0) #'equalp) ;;; comment from CMU CL: @@ -67,7 +69,7 @@ (defconstant-eqx long-float-significand-byte (byte 31 0) #'equalp) (def!constant long-float-normal-exponent-min 1) (def!constant long-float-normal-exponent-max #x7FFE) -(def!constant long-float-hidden-bit (ash 1 31)) ; actually not hidden +(def!constant long-float-hidden-bit (ash 1 31)) ; actually not hidden (def!constant long-float-trapping-nan-bit (ash 1 30)) (def!constant single-float-digits @@ -80,18 +82,22 @@ (+ (byte-size long-float-significand-byte) n-word-bits 1)) ;;; pfw -- from i486 microprocessor programmer's reference manual -(def!constant float-invalid-trap-bit (ash 1 0)) +(def!constant float-invalid-trap-bit (ash 1 0)) (def!constant float-denormal-trap-bit (ash 1 1)) (def!constant float-divide-by-zero-trap-bit (ash 1 2)) (def!constant float-overflow-trap-bit (ash 1 3)) (def!constant float-underflow-trap-bit (ash 1 4)) -(def!constant float-inexact-trap-bit (ash 1 5)) +(def!constant float-inexact-trap-bit (ash 1 5)) (def!constant float-round-to-nearest 0) (def!constant float-round-to-negative 1) (def!constant float-round-to-positive 2) (def!constant float-round-to-zero 3) +(def!constant float-precision-24-bit 0) +(def!constant float-precision-53-bit 2) +(def!constant float-precision-64-bit 3) + (defconstant-eqx float-rounding-mode (byte 2 10) #'equalp) (defconstant-eqx float-sticky-bits (byte 6 16) #'equalp) (defconstant-eqx float-traps-byte (byte 6 0) #'equalp) @@ -131,8 +137,21 @@ ;;; use. (They want to use this address range even if we try to ;;; reserve it with a call to validate() as the first operation in ;;; main().) - -#!+linux +;;; * For NetBSD 2.0, the following ranges are used by normal +;;; executables and mmap: +;;; ** Executables are (by default) loaded at 0x08048000. +;;; ** The break for the sbcl runtime seems to end around 0x08400000 +;;; We set read only space around 0x20000000, static +;;; space around 0x30000000, all ending below 0x37fff000 +;;; ** ld.so and other mmap'ed stuff like shared libs start around +;;; 0x48000000 +;;; We set dynamic space between 0x60000000 and 0x98000000 +;;; ** Bottom of the stack is typically not below 0xb0000000 +;;; FYI, this can be looked at with the "pmap" program, and if you +;;; set the top-down mmap allocation option in the kernel (not yet +;;; the default), all bets are totally off! + +#!+win32 (progn (def!constant read-only-space-start #x01000000) @@ -142,32 +161,83 @@ (def!constant static-space-end #x07fff000) (def!constant dynamic-space-start #x09000000) - (def!constant dynamic-space-end #x29000000) + (def!constant dynamic-space-end #x29000000)) + +#!+linux +(progn + (def!constant read-only-space-start #x01000000) + (def!constant read-only-space-end #x037ff000) + + (def!constant static-space-start #x05000000) + (def!constant static-space-end #x07fff000) + + (def!constant dynamic-space-start #x09000000) + (def!constant dynamic-space-end #x29000000) + + (def!constant linkage-table-space-start #x70000000) + (def!constant linkage-table-space-end #x7ffff000)) + +#!+sunos +(progn + (def!constant read-only-space-start #x20000000) + (def!constant read-only-space-end #x2ffff000) - (def!constant alternate-signal-stack-start #x58000000)) + (def!constant static-space-start #x40000000) + (def!constant static-space-end #x42fff000) -#!+bsd + (def!constant dynamic-space-start #x48000000) + (def!constant dynamic-space-end #xA0000000) + + (def!constant linkage-table-space-start #xA2000000) + (def!constant linkage-table-space-end #xA3000000)) + +#!+freebsd (progn + (def!constant read-only-space-start #x10000000) + (def!constant read-only-space-end #x1ffff000) - (def!constant read-only-space-start #x10000000) - (def!constant read-only-space-end #x1ffff000) + (def!constant static-space-start #x30000000) + (def!constant static-space-end #x37fff000) - (def!constant static-space-start - #!+freebsd #x30000000 - #!+openbsd #x28000000) - (def!constant static-space-end #x37fff000) + (def!constant dynamic-space-start #x48000000) + (def!constant dynamic-space-end #x88000000) - (def!constant dynamic-space-start - #!+freebsd #x48000000 - #!+openbsd #x50000000) - (def!constant dynamic-space-end #x88000000) - (def!constant alternate-signal-stack-start - #!+freebsd #x44000000 - #!+openbsd #x4c000000)) + ;; In CMUCL: 0xB0000000->0xB1000000 + (def!constant linkage-table-space-start #x90000000) + (def!constant linkage-table-space-end #x91000000)) + +#!+openbsd +(progn + (def!constant read-only-space-start #x40000000) + (def!constant read-only-space-end #x47fff000) + (def!constant static-space-start #x50000000) + (def!constant static-space-end #x5ffff000) -;;; don't need alternate-signal-stack-end : it's -start+SIGSTKSZ + (def!constant dynamic-space-start #x80000000) + (def!constant dynamic-space-end #xA0000000) + + ;; In CMUCL: 0xB0000000->0xB1000000 + (def!constant linkage-table-space-start #xA0000000) + (def!constant linkage-table-space-end #xA1000000)) + +#!+netbsd +(progn + (def!constant read-only-space-start #x20000000) + (def!constant read-only-space-end #x2ffff000) + (def!constant static-space-start #x30000000) + (def!constant static-space-end #x37fff000) + + (def!constant dynamic-space-start #x60000000) + (def!constant dynamic-space-end #x98000000) + + ;; In CMUCL: 0xB0000000->0xB1000000 + (def!constant linkage-table-space-start #xA0000000) + (def!constant linkage-table-space-end #xA1000000)) + +;;; Size of one linkage-table entry in bytes. +(def!constant linkage-table-entry-size 8) ;;; Given that NIL is the first thing allocated in static space, we ;;; know its value at compile time: @@ -182,7 +252,8 @@ cerror breakpoint fun-end-breakpoint - single-step-breakpoint) + single-step-breakpoint + #!+win32 context-restore) ;; HACK: The Win32 exception handling system does wrong things with this. ;;; FIXME: It'd be nice to replace all the DEFENUMs with something like ;;; (WITH-DEF-ENUM (:START 8) ;;; (DEF-ENUM HALT-TRAP) @@ -226,17 +297,21 @@ ;; functions that the C code needs to call. When adding to this list, ;; also add a `frob' form in genesis.lisp finish-symbols. - maybe-gc + sub-gc sb!kernel::internal-error sb!kernel::control-stack-exhausted-error + sb!kernel::undefined-alien-variable-error + sb!kernel::undefined-alien-function-error + sb!kernel::memory-fault-error sb!di::handle-breakpoint fdefinition-object + #!+win32 sb!kernel::handle-win32-exception ;; free pointers - ;; + ;; ;; Note that these are FIXNUM word counts, not (as one might ;; expect) byte counts or SAPs. The reason seems to be that by - ;; representing them this way, we can avoid consing bignums. + ;; representing them this way, we can avoid consing bignums. ;; -- WHN 2000-10-02 *read-only-space-free-pointer* *static-space-free-pointer* @@ -253,10 +328,14 @@ sb!unix::*interrupts-enabled* sb!unix::*interrupt-pending* *free-interrupt-context-index* + *gc-inhibit* + #!+sb-thread *stop-for-gc-pending* + *gc-pending* + #!+sb-thread sb!thread::run-interruption *free-tls-index* - sb!thread::*foreground-thread-stack* - + *tls-index-lock* + *allocation-pointer* *binding-stack-pointer* *binding-stack-start* @@ -277,13 +356,17 @@ *fp-constant-lg2* *fp-constant-ln2* + ;; For GC-AND-SAVE + *restart-lisp-function* + ;; The ..SLOT-UNBOUND.. symbol is static in order to optimise the ;; common slot unbound check. ;; ;; FIXME: In SBCL, the CLOS code has become sufficiently tightly ;; integrated into the system that it'd probably make sense to use ;; the ordinary unbound marker for this. - sb!pcl::..slot-unbound..)) + sb!pcl::..slot-unbound.. + )) (defparameter *static-funs* '(length