(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))))
;;; 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)
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
#!+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
#!+os-provides-dlopen
(close-shared-objects))
+(declaim (maybe-inline sap-foreign-symbol))
(defun sap-foreign-symbol (sap)
(declare (ignorable sap))
#-sb-xc-host
(declare (ignorable addr))
#!+linkage-table
(when (<= sb!vm:linkage-table-space-start
- addr
- sb!vm:linkage-table-space-end)
- (maphash (lambda (name 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 name))))
- *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).
))
#-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)
projects / sbcl.git / blobdiff