src/code/early-fasl.lisp

   1 ;;;; needed-early, or at least meaningful-early, stuff for FASL files
   2
   3 ;;;; This software is part of the SBCL system. See the README file for
   4 ;;;; more information.
   5 ;;;;
   6 ;;;; This software is derived from the CMU CL system, which was
   7 ;;;; written at Carnegie Mellon University and released into the
   8 ;;;; public domain. The software is in the public domain and is
   9 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
  10 ;;;; files for more information.
  11
  12 (in-package "SB!FASL")
  13 \f
  14 ;;;; various constants and essentially-constants
  15
  16 ;;; a string which appears at the start of a fasl file header
  17 ;;;
  18 ;;; This value is used to identify fasl files. Even though this is not
  19 ;;; declared as a constant (because ANSI Common Lisp has no facility
  20 ;;; for declaring values which are constant under EQUAL but not EQL),
  21 ;;; obviously you shouldn't mess with it lightly. If you do set a new
  22 ;;; value for some reason, keep these things in mind:
  23 ;;; * To avoid confusion with the similar but incompatible CMU CL
  24 ;;;   fasl file format, the value should not be "FASL FILE", which
  25 ;;;   is what CMU CL used for the same purpose.
  26 ;;; * Since its presence at the head of a file is used by LOAD to
  27 ;;;   decide whether a file is to be fasloaded or just loaded
  28 ;;;   ordinarily (as source), the value should be something which
  29 ;;;   can't legally appear at the head of a Lisp source file.
  30 ;;; * The value should not contain any line-terminating characters,
  31 ;;;   because they're hard to express portably and because the LOAD
  32 ;;;   code might reasonably use READ-LINE to get the value to compare
  33 ;;;   against.
  34 (defparameter *fasl-header-string-start-string* "# FASL")
  35
  36 ;;; the code for a character which terminates a fasl file header
  37 (defconstant +fasl-header-string-stop-char-code+ 255)
  38
  39 ;;; This value should be incremented when the system changes in such
  40 ;;; a way that it will no longer work reliably with old fasl files.
  41 (defconstant +fasl-file-version+ 21)
  42 ;;; 2 = sbcl-0.6.4 uses COMPILE-OR-LOAD-DEFGENERIC.
  43 ;;; 3 = sbcl-0.6.6 uses private symbol, not :EMPTY, for empty HASH-TABLE slot.
  44 ;;; 4 = sbcl-0.6.7 uses HAIRY-DATA-VECTOR-REF and HAIRY-DATA-VECTOR-SET
  45 ;;;     when array headers or data element type uncertainty exist, and
  46 ;;;     uses DATA-VECTOR-REF and DATA-VECTOR-SET only for VOPs. (Thus,
  47 ;;;     full calls to DATA-VECTOR-REF and DATA-VECTOR-SET from older
  48 ;;;     fasl files would fail, because there are no DEFUNs for these
  49 ;;;     operations any more.)
  50 ;;; 5 = sbcl-0.6.8 has rearranged static symbols.
  51 ;;; 6 = sbcl-0.6.9, got rid of non-ANSI %DEFCONSTANT/%%DEFCONSTANT stuff
  52 ;;;     and deleted a slot from DEBUG-SOURCE structure.
  53 ;;; 7 = around sbcl-0.6.9.8, merged SB-CONDITIONS package into SB-KERNEL
  54 ;;; 8 = sbcl-0.6.10.4 revived Gray stream support, changing stream layouts.
  55 ;;; 9 = deleted obsolete CONS-UNIQUE-TAG bytecode in sbcl-0.6.11.8
  56 ;;; (somewhere in here also changes to AND and OR CTYPE layouts)
  57 ;;; 10 = new layout for CONDITION in sbcl-0.6.11.38
  58 ;;; 11 = (a) new helper functions for MAKE-LOAD-FORM (HASH-TABLE) in
  59 ;;;          sbcl-0.6.12.11
  60 ;;;      (b) new address space constants for OpenBSD in 0.6.12.17
  61 ;;;          (doesn't need separate version from (a) because the
  62 ;;;          OpenBSD port was broken from sometime before 0.6.12.11
  63 ;;;          until the address space was changed)
  64 ;;; 12 = sbcl-0.6.12.22 added new SB-FASL package
  65 ;;; 13 = sbcl-0.6.12.28 removed some elements from *STATIC-SYMBOLS*
  66 ;;; 14 = sbcl-0.6.12.29 removed more elements from *STATIC-SYMBOLS*
  67 ;;; 15 = sbcl-0.6.12.33 changed the layout of STREAM
  68 ;;; 16 = sbcl-0.pre7.15 changed the layout of PRETTY-STREAM
  69 ;;; 17 = sbcl-0.pre7.38 (merging many changes accumulated in
  70 ;;;      the sbcl-0.pre7.37.flaky5.* branch back into the main branch)
  71 ;;;      got rid of byte compiler, byte interpreter, and IR1
  72 ;;;      interpreter, changed %DEFUN and DEFSTRUCT, changed the
  73 ;;;      meaning of FOP-FSET, and changed the layouts of various
  74 ;;;      internal compiler structures (e.g. DEFSTRUCT CLAMBDA)
  75 ;;; 18 = sbcl-0.pre7.39 swapped FUNCTION-POINTER-TYPE and
  76 ;;;      INSTANCE-POINTER-LOWTAG low-level type codes to help with
  77 ;;;      the PPC port
  78 ;;; (In 0.pre7.48, the low-level object layout of SYMBOL on the
  79 ;;; non-X86 ports changed. I forgot to bump the fasl version number:
  80 ;;; I only have an X86.. -- WHN)
  81 ;;; 19 = sbcl-0.pre7.50 deleted byte-compiler-related low-level type codes
  82 ;;; 20 = sbcl-0.pre7.51 modified names and layouts of
  83 ;;;      physical-environment-related structures in the compiler
  84 ;;; 21 = sbcl-0.pre7.62 finally incremented the version after several
  85 ;;;      incompatible changes in earlier versions: many many symbols
  86 ;;;      renamed, changes in globaldb representation of constants
  87 ;;;      and inline functions, and change in the value of
  88 ;;;      INTERNAL-TIME-UNITS-PER-SECOND
  89
  90 ;;; the conventional file extension for our fasl files
  91 (declaim (type simple-string *fasl-file-type*))
  92 (defvar *fasl-file-type* "fasl")
  93 \f
  94 ;;; information about below-Lisp-level linkage
  95 ;;;
  96 ;;; Note:
  97 ;;;   Assembler routines are named by full Lisp symbols: they
  98 ;;;     have packages and that sort of native Lisp stuff associated
  99 ;;;     with them. We can compare them with EQ.
 100 ;;;   Foreign symbols are named by Lisp strings: the Lisp package
 101 ;;;     system doesn't extend out to symbols in languages like C.
 102 ;;;     We want to use EQUAL to compare them.
 103 ;;;   *STATIC-FOREIGN-SYMBOLS* are static as opposed to "dynamic" (not
 104 ;;;     as opposed to "extern"). The table contains symbols known at
 105 ;;;     the time that the program was built, but not symbols defined
 106 ;;;     in object files which have been loaded dynamically since then.
 107 (declaim (type hash-table *assembler-routines* *static-foreign-symbols*))
 108 (defvar *assembler-routines* (make-hash-table :test 'eq))
 109 (defvar *static-foreign-symbols* (make-hash-table :test 'equal))
 110 \f
 111 ;;;; the FOP database
 112
 113 (declaim (simple-vector *fop-names* *fop-funs*))
 114
 115 ;;; a vector indexed by a FaslOP that yields the FOP's name
 116 (defvar *fop-names* (make-array 256 :initial-element nil))
 117
 118 ;;; a vector indexed by a FaslOP that yields a function of 0 arguments
 119 ;;; which will perform the operation
 120 (defvar *fop-funs*
 121   (make-array 256
 122               :initial-element (lambda ()
 123                                  (error "corrupt fasl file: losing FOP"))))
 124 \f
 125 ;;;; other miscellaneous loading-related stuff
 126
 127 \f
 128 ;;;; variables
 129
 130 (defvar *load-depth* 0
 131   #!+sb-doc
 132   "the current number of recursive LOADs")
 133 (declaim (type index *load-depth*))
 134
 135 ;;; the FASL file we're reading from
 136 (defvar *fasl-input-stream*)
 137 (declaim (type ansi-stream *fasl-input-stream*))
 138
 139 (defvar *load-print* nil
 140   #!+sb-doc
 141   "the default for the :PRINT argument to LOAD")
 142 (defvar *load-verbose* nil
 143   ;; Note that CMU CL's default for this was T, and ANSI says it's
 144   ;; implementation-dependent. We choose NIL on the theory that it's
 145   ;; a nicer default behavior for Unix programs.
 146   #!+sb-doc
 147   "the default for the :VERBOSE argument to LOAD")
 148
 149 (defvar *load-code-verbose* nil)
 150