X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fcold-init.lisp;h=72d26fc7b8c54b29ce6d2ca113de5829e8e76772;hb=2c6b90e36a7c0377cd79625eb6c94d580f98cb93;hp=8e33ddb33f8d2f2ef8636a0981f75ec86a43bd1b;hpb=a530bbe337109d898d5b4a001fc8f1afa3b5dc39;p=sbcl.git diff --git a/src/code/cold-init.lisp b/src/code/cold-init.lisp index 8e33ddb..72d26fc 100644 --- a/src/code/cold-init.lisp +++ b/src/code/cold-init.lisp @@ -11,9 +11,6 @@ ;;;; files for more information. (in-package "SB!IMPL") - -(file-comment - "$Header$") ;;;; burning our ships behind us @@ -34,7 +31,7 @@ (and (>= (length name) 2) (string= name "*!" :end1 2 :end2 2))) (/show0 "uninterning cold-init-only symbol..") - #!+sb-show (%primitive print name) + (/primitive-print name) (unintern symbol package) (setf any-changes? t))))) (unless any-changes? @@ -45,32 +42,33 @@ ;;; a list of toplevel things set by GENESIS (defvar *!reversed-cold-toplevels*) -;;; a SIMPLE-VECTOR set by genesis +;;; a SIMPLE-VECTOR set by GENESIS (defvar *!load-time-values*) +(defun !cold-lose (msg) + (%primitive print msg) + (%primitive print "too early in cold init to recover from errors") + (%halt)) + #!+gengc -(defun do-load-time-value-fixup (object offset index) +(defun !do-load-time-value-fixup (object offset index) (declare (type index offset)) - (macrolet ((lose (msg) - `(progn - (%primitive print ,msg) - (%halt)))) - (let ((value (svref *!load-time-values* index))) - (typecase object - (list - (case offset - (0 (setf (car object) value)) - (1 (setf (cdr object) value)) - (t (lose "bogus offset in cons cell")))) - (instance - (setf (%instance-ref object (- offset sb!vm:instance-slots-offset)) - value)) - (code-component - (setf (code-header-ref object offset) value)) - (simple-vector - (setf (svref object (- offset sb!vm:vector-data-offset)) value)) - (t - (lose "unknown kind of object for load-time-value fixup")))))) + (let ((value (svref *!load-time-values* index))) + (typecase object + (list + (case offset + (0 (setf (car object) value)) + (1 (setf (cdr object) value)) + (t (!cold-lose "bogus offset in cons cell")))) + (instance + (setf (%instance-ref object (- offset sb!vm:instance-slots-offset)) + value)) + (code-component + (setf (code-header-ref object offset) value)) + (simple-vector + (setf (svref object (- offset sb!vm:vector-data-offset)) value)) + (t + (!cold-lose "unknown kind of object for load-time-value fixup"))))) (eval-when (:compile-toplevel :execute) ;; FIXME: Perhaps we should make SHOW-AND-CALL-AND-FMAKUNBOUND, too, @@ -78,7 +76,7 @@ ;; not to use it for the COLD-INIT-OR-REINIT functions.) (sb!xc:defmacro show-and-call (name) `(progn - #!+sb-show (%primitive print ,(symbol-name name)) + (/primitive-print ,(symbol-name name)) (,name)))) ;;; called when a cold system starts up @@ -88,15 +86,14 @@ (/show0 "entering !COLD-INIT") ;; FIXME: It'd probably be cleaner to have most of the stuff here - ;; handled by calls a la !GC-COLD-INIT, !ERROR-COLD-INIT, and + ;; handled by calls like !GC-COLD-INIT, !ERROR-COLD-INIT, and ;; !UNIX-COLD-INIT. And *TYPE-SYSTEM-INITIALIZED* could be changed to ;; *TYPE-SYSTEM-INITIALIZED-WHEN-BOUND* so that it doesn't need to ;; be explicitly set in order to be meaningful. - (setf *gc-verbose* nil) (setf *gc-notify-stream* nil) (setf *before-gc-hooks* nil) (setf *after-gc-hooks* nil) - #!+gengc (setf sb!conditions::*handler-clusters* nil) + #!+gengc (setf *handler-clusters* nil) #!-gengc (setf *already-maybe-gcing* t *gc-inhibit* t *need-to-collect-garbage* nil @@ -113,7 +110,10 @@ ;; this to be initialized, so we initialize it right away. (show-and-call !random-cold-init) + (show-and-call !package-cold-init) + ;; All sorts of things need INFO and/or (SETF INFO). + (/show0 "about to SHOW-AND-CALL !GLOBALDB-COLD-INIT") (show-and-call !globaldb-cold-init) ;; This needs to be done early, but needs to be after INFO is @@ -135,20 +135,24 @@ ;; functions are called in the same relative order as the toplevel ;; forms of the corresponding source files. - (show-and-call !package-cold-init) - - ;; Set sane values for our toplevel forms. - (show-and-call !set-sane-cookie-defaults) + ;;(show-and-call !package-cold-init) + (show-and-call !policy-cold-init-or-resanify) + (/show0 "back from !POLICY-COLD-INIT-OR-RESANIFY") ;; KLUDGE: Why are fixups mixed up with toplevel forms? Couldn't ;; fixups be done separately? Wouldn't that be clearer and better? ;; -- WHN 19991204 (/show0 "doing cold toplevel forms and fixups") + (/show0 "(LISTP *!REVERSED-COLD-TOPLEVELS*)=..") + (/hexstr (if (listp *!reversed-cold-toplevels*) "true" "NIL")) + (/show0 "about to calculate (LENGTH *!REVERSED-COLD-TOPLEVELS*)") (/show0 "(LENGTH *!REVERSED-COLD-TOPLEVELS*)=..") - #!+sb-show (%primitive print - (sb!impl::hexstr (length *!reversed-cold-toplevels*))) - (let (#!+sb-show (index-in-cold-toplevels 0) - #!+sb-show (filename-in-cold-toplevels nil)) + #!+sb-show (let ((r-c-tl-length (length *!reversed-cold-toplevels*))) + (/show0 "(length calculated..)") + (let ((hexstr (hexstr r-c-tl-length))) + (/show0 "(hexstr calculated..)") + (/primitive-print hexstr))) + (let (#!+sb-show (index-in-cold-toplevels 0)) #!+sb-show (declare (type fixnum index-in-cold-toplevels)) (dolist (toplevel-thing (prog1 (nreverse *!reversed-cold-toplevels*) @@ -159,7 +163,7 @@ #!+sb-show (when (zerop (mod index-in-cold-toplevels 1024)) (/show0 "INDEX-IN-COLD-TOPLEVELS=..") - (%primitive print (sb!impl::hexstr index-in-cold-toplevels))) + (/hexstr index-in-cold-toplevels)) #!+sb-show (setf index-in-cold-toplevels (the fixnum (1+ index-in-cold-toplevels))) @@ -177,34 +181,29 @@ (get-lisp-obj-address (svref *!load-time-values* (third toplevel-thing)))) #!+gengc - (do-load-time-value-fixup (second toplevel-thing) - (third toplevel-thing) - (fourth toplevel-thing))) + (!do-load-time-value-fixup (second toplevel-thing) + (third toplevel-thing) + (fourth toplevel-thing))) #!+(and x86 gencgc) (:load-time-code-fixup - (sb!vm::do-load-time-code-fixup (second toplevel-thing) - (third toplevel-thing) - (fourth toplevel-thing) - (fifth toplevel-thing))) + (sb!vm::!do-load-time-code-fixup (second toplevel-thing) + (third toplevel-thing) + (fourth toplevel-thing) + (fifth toplevel-thing))) (t - (%primitive print - "bogus fixup code in *!REVERSED-COLD-TOPLEVELS*") - (%halt)))) - (t - (%primitive print "bogus function in *!REVERSED-COLD-TOPLEVELS*") - (%halt))))) + (!cold-lose "bogus fixup code in *!REVERSED-COLD-TOPLEVELS*")))) + (t (!cold-lose "bogus function in *!REVERSED-COLD-TOPLEVELS*"))))) (/show0 "done with loop over cold toplevel forms and fixups") - ;; Set sane values again, so that the user sees sane values instead of - ;; whatever is left over from the last DECLAIM. - (show-and-call !set-sane-cookie-defaults) + ;; Set sane values again, so that the user sees sane values instead + ;; of whatever is left over from the last DECLAIM/PROCLAIM. + (show-and-call !policy-cold-init-or-resanify) - ;; Only do this after top level forms have run, 'cause that's where + ;; Only do this after toplevel forms have run, 'cause that's where ;; DEFTYPEs are. (setf *type-system-initialized* t) (show-and-call os-cold-init-or-reinit) - (show-and-call !filesys-cold-init) (show-and-call stream-cold-init-or-reset) (show-and-call !loader-cold-init) @@ -221,8 +220,8 @@ (show-and-call !class-finalize) ;; The reader and printer are initialized very late, so that they - ;; can even do hairy things like invoking the compiler as part of - ;; their initialization. + ;; can do hairy things like invoking the compiler as part of their + ;; initialization. (show-and-call !reader-cold-init) (let ((*readtable* *standard-readtable*)) (show-and-call !sharpm-cold-init) @@ -244,10 +243,6 @@ (/show0 "done initializing") (setf *cold-init-complete-p* t) - ;; Unintern no-longer-needed stuff before we GC. - #!-sb-fluid - (!unintern-init-only-stuff) - ;; The system is finally ready for GC. #!-gengc (setf *already-maybe-gcing* nil) (/show0 "enabling GC") @@ -259,21 +254,26 @@ ;; The show is on. (terpri) (/show0 "going into toplevel loop") - (let ((wot (catch '%end-of-the-world - (/show0 "inside CATCH '%END-OF-THE-WORLD") - (toplevel)))) - (flush-standard-output-streams) - (sb!unix:unix-exit wot))) + (handling-end-of-the-world + (toplevel-init))) -(defun quit (&key recklessly-p (unix-code 0)) +(defun quit (&key recklessly-p + (unix-code 0 unix-code-p) + (unix-status unix-code)) #!+sb-doc "Terminate the current Lisp. Things are cleaned up (with UNWIND-PROTECT and so forth) unless RECKLESSLY-P is non-NIL. On UNIX-like systems, - UNIX-CODE is used as the status code." + UNIX-STATUS is used as the status code." (declare (type (signed-byte 32) unix-code)) + ;; FIXME: UNIX-CODE was deprecated in sbcl-0.6.8, after having been + ;; around for less than a year. It should be safe to remove it after + ;; a year. + (when unix-code-p + (warn "The UNIX-CODE argument is deprecated. Use the UNIX-STATUS argument +instead (which is another name for the same thing).")) (if recklessly-p - (sb!unix:unix-exit unix-code) - (throw '%end-of-the-world unix-code))) + (sb!unix:unix-exit unix-status) + (throw '%end-of-the-world unix-status))) ;;;; initialization functions @@ -286,13 +286,17 @@ (gc-cold-init-or-reinit) (setf (sb!alien:extern-alien "internal_errors_enabled" boolean) t) (set-floating-point-modes :traps - ;; PRINT seems to not like x86 NPX denormal - ;; floats like LEAST-NEGATIVE-SINGLE-FLOAT, so - ;; the :UNDERFLOW exceptions are disabled by - ;; default. Joe User can explicitly enable them - ;; if desired. - '(:overflow #!-x86 :underflow :invalid - :divide-by-zero)) + '(:overflow + :invalid + :divide-by-zero + ;; PRINT seems not to like x86 NPX + ;; denormal floats like + ;; LEAST-NEGATIVE-SINGLE-FLOAT, so + ;; the :UNDERFLOW exceptions are + ;; disabled by default. Joe User can + ;; explicitly enable them if + ;; desired. + #!-x86 :underflow)) ;; Clear pseudo atomic in case this core wasn't compiled with ;; support. ;; @@ -307,19 +311,24 @@ ;;;; some support for any hapless wretches who end up debugging cold ;;;; init code -;;; Decode THING into hex using only machinery available early in cold -;;; init. +;;; Decode THING into hexadecimal notation using only machinery +;;; available early in cold init. #!+sb-show (defun hexstr (thing) + (/noshow0 "entering HEXSTR") (let ((addr (sb!kernel:get-lisp-obj-address thing)) (str (make-string 10))) + (/noshow0 "ADDR and STR calculated") (setf (char str 0) #\0 (char str 1) #\x) + (/noshow0 "CHARs 0 and 1 set") (dotimes (i 8) + (/noshow0 "at head of DOTIMES loop") (let* ((nibble (ldb (byte 4 0) addr)) (chr (char "0123456789abcdef" nibble))) (declare (type (unsigned-byte 4) nibble) (base-char chr)) + (/noshow0 "NIBBLE and CHR calculated") (setf (char str (- 9 i)) chr addr (ash addr -4)))) str))