X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fforeign.lisp;h=f46b03d76fd9b8ffd952a31a1997f7030a69a751;hb=54da325f13fb41669869aea688ae195426c0e231;hp=86b975268c3e795be63e24b3b891c789e338e41a;hpb=9f409e8f8b0a0530725a13805f2b1b3c121ad46a;p=sbcl.git diff --git a/src/code/foreign.lisp b/src/code/foreign.lisp index 86b9752..f46b03d 100644 --- a/src/code/foreign.lisp +++ b/src/code/foreign.lisp @@ -11,13 +11,12 @@ (in-package "SB!IMPL") -#!-(or elf mach-o) -(error "Not an ELF or Mach-O platform?") +#!-(or elf mach-o win32) +(error "Not an ELF, Mach-O, or Win32 platform?") (defun extern-alien-name (name) (handler-case - #!+elf (coerce name 'base-string) - #!+mach-o (concatenate 'base-string "_" name) + (coerce name 'base-string) (error () (error "invalid external alien name: ~S" name)))) @@ -25,21 +24,24 @@ ;;; as opposed to C's "extern"). The table contains symbols known at ;;; the time that the program was built, but not symbols defined in ;;; object files which have been loaded dynamically since then. +#!-sb-dynamic-core (declaim (type hash-table *static-foreign-symbols*)) +#!-sb-dynamic-core (defvar *static-foreign-symbols* (make-hash-table :test 'equal)) -(declaim +(declaim (ftype (sfunction (string hash-table) (or integer null)) find-foreign-symbol-in-table)) (defun find-foreign-symbol-in-table (name table) (let ((extern (extern-alien-name name))) - (values + (values (or (gethash extern table) - (gethash (concatenate 'base-string "ldso_stub__" extern) table))))) + (gethash (concatenate 'base-string "ldso_stub__" extern) table))))) (defun find-foreign-symbol-address (name) "Returns the address of the foreign symbol NAME, or NIL. Does not enter the symbol in the linkage table, and never returns an address in the linkage-table." - (or (find-foreign-symbol-in-table name *static-foreign-symbols*) + (or #!-sb-dynamic-core + (find-foreign-symbol-in-table name *static-foreign-symbols*) (find-dynamic-foreign-symbol-address name))) (defun foreign-symbol-address (name &optional datap) @@ -54,21 +56,24 @@ Dynamic symbols are entered into the linkage-table if they aren't there already. On non-linkage-table ports signals an error if the symbol isn't found." (declare (ignorable datap)) - (let ((static (find-foreign-symbol-in-table name *static-foreign-symbols*))) + #!+sb-dynamic-core + (values (ensure-foreign-symbol-linkage name datap) t) + #!-sb-dynamic-core + (let ((static (find-foreign-symbol-in-table name *static-foreign-symbols*))) (if static - (values static nil) - #!+os-provides-dlopen - (progn - #-sb-xc-host - (values #!-linkage-table - (ensure-dynamic-foreign-symbol-address name) - #!+linkage-table - (ensure-foreign-symbol-linkage name datap) - t) - #+sb-xc-host - (error 'undefined-alien-error :name name)) - #!-os-provides-dlopen - (error 'undefined-alien-error :name name)))) + (values static nil) + #!+os-provides-dlopen + (progn + #-sb-xc-host + (values #!-linkage-table + (ensure-dynamic-foreign-symbol-address name) + #!+linkage-table + (ensure-foreign-symbol-linkage name datap) + t) + #+sb-xc-host + (error 'undefined-alien-error :name name)) + #!-os-provides-dlopen + (error 'undefined-alien-error :name name)))) (defun foreign-symbol-sap (symbol &optional datap) "Returns a SAP corresponding to the foreign symbol. DATAP must be true if the @@ -81,21 +86,24 @@ if the symbol isn't found." #!+linkage-table (multiple-value-bind (addr sharedp) (foreign-symbol-address symbol datap) - #+sb-xc-host - (aver (not sharedp)) + #+sb-xc-host #!-sb-dynamic-core (aver (not sharedp)) () ;; If the address is from linkage-table and refers to data ;; we need to do a bit of juggling. It is not the address of the ;; variable, but the address where the real address is stored. (if (and sharedp datap) - (int-sap (sap-ref-word (int-sap addr) 0)) - (int-sap addr)))) + (int-sap (sap-ref-word (int-sap addr) 0)) + (int-sap addr)))) #-sb-xc-host (defun foreign-reinit () #!+os-provides-dlopen (reopen-shared-objects) #!+linkage-table - (update-linkage-table)) + ;; Don't warn about undefined aliens on startup. The same core can + ;; reasonably be expected to work with different versions of the + ;; same library. + (handler-bind ((style-warning #'muffle-warning)) + (update-linkage-table))) ;;; Cleanups before saving a core #-sb-xc-host @@ -112,6 +120,7 @@ if the symbol isn't found." #!+os-provides-dlopen (close-shared-objects)) +(declaim (maybe-inline sap-foreign-symbol)) (defun sap-foreign-symbol (sap) (declare (ignorable sap)) #-sb-xc-host @@ -119,27 +128,27 @@ if the symbol isn't found." (declare (ignorable addr)) #!+linkage-table (when (<= sb!vm:linkage-table-space-start - addr - sb!vm:linkage-table-space-end) - (maphash (lambda (name-and-datap info) - (let ((table-addr (linkage-info-address info))) - (when (<= table-addr - addr - (+ table-addr sb!vm:linkage-table-entry-size)) - (return-from sap-foreign-symbol (car name-and-datap))))) - *linkage-info*)) + addr + sb!vm:linkage-table-space-end) + (dohash ((name-and-datap table-addr) *linkage-info* :locked t) + (when (and (<= table-addr addr) + (< addr (+ table-addr sb!vm:linkage-table-entry-size))) + (return-from sap-foreign-symbol (car name-and-datap))))) #!+os-provides-dladdr (with-alien ((info (struct dl-info - (filename c-string) - (base unsigned) - (symbol c-string) - (symbol-address unsigned))) - (dladdr (function unsigned unsigned (* (struct dl-info))) - :extern "dladdr")) - (let ((err (alien-funcall dladdr addr (addr info)))) - (if (zerop err) - nil - (slot info 'symbol)))) + (filename c-string) + (base unsigned) + (symbol c-string) + (symbol-address unsigned))) + (dladdr (function unsigned unsigned (* (struct dl-info))) + :extern "dladdr")) + (let ((err (without-gcing + ;; On eg. Darwin GC can could otherwise interrupt + ;; the call while dladdr is holding a lock. + (alien-funcall dladdr addr (addr info))))) + (if (zerop err) + nil + (slot info 'symbol)))) ;; FIXME: Even in the absence of dladdr we could search the ;; static foreign symbols (and *linkage-info*, for that matter). )) @@ -149,11 +158,18 @@ if the symbol isn't found." #-sb-xc-host (defun !foreign-cold-init () + #!-sb-dynamic-core (dolist (symbol *!initial-foreign-symbols*) (setf (gethash (car symbol) *static-foreign-symbols*) (cdr symbol))) + #!+sb-dynamic-core + (loop for table-address from sb!vm::linkage-table-space-start + by sb!vm::linkage-table-entry-size + and reference in sb!vm::*required-runtime-c-symbols* + do (setf (gethash reference *linkage-info*) table-address)) #!+os-provides-dlopen - (setf *runtime-dlhandle* (dlopen-or-lose) - *shared-objects* nil)) + (setf *runtime-dlhandle* (dlopen-or-lose)) + #!+os-provides-dlopen + (setf *shared-objects* nil)) #!-os-provides-dlopen (define-unsupported-fun load-shared-object)