X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Flinkage-table.lisp;h=6a4a70c89c99b4823bd375db2b8d5698d9d7bf34;hb=a160917364f85b38dc0826a5e3dcef87e3c4c62c;hp=31d561d82401dced2c14164b5156e7372d7b70ad;hpb=4919f9971429d18fab618b9b49e164c6b57bea6f;p=sbcl.git diff --git a/src/code/linkage-table.lisp b/src/code/linkage-table.lisp index 31d561d..6a4a70c 100644 --- a/src/code/linkage-table.lisp +++ b/src/code/linkage-table.lisp @@ -19,8 +19,6 @@ (in-package "SB!IMPL") -(defvar *foreign-lock*) ; initialized in foreign-load.lisp - (define-alien-routine arch-write-linkage-table-jmp void (table-address system-area-pointer) (real-address system-area-pointer)) @@ -29,63 +27,58 @@ (table-address system-area-pointer) (real-address system-area-pointer)) -(defvar *linkage-info* (make-hash-table :test 'equal)) +(defvar *linkage-info* (make-hash-table :test 'equal :synchronized t)) (defstruct linkage-info datap address) (defun write-linkage-table-entry (table-address real-address datap) (/show0 "write-linkage-table-entry") (let ((reloc (int-sap table-address)) - (target (int-sap real-address))) + (target (int-sap real-address))) (if datap - (arch-write-linkage-table-ref reloc target) - (arch-write-linkage-table-jmp reloc target)))) + (arch-write-linkage-table-ref reloc target) + (arch-write-linkage-table-jmp reloc target)))) ;;; Add the linkage information about a foreign symbol in the ;;; persistent table, and write the linkage-table entry. (defun link-foreign-symbol (name datap) (/show0 "link-foreign-symbol") (let ((table-address (+ (* (hash-table-count *linkage-info*) - sb!vm:linkage-table-entry-size) - sb!vm:linkage-table-space-start)) - (real-address (get-dynamic-foreign-symbol-address name))) - (when real-address - (unless (< table-address sb!vm:linkage-table-space-end) - (error "Linkage-table full (~D entries): cannot link ~S." - (hash-table-count *linkage-info*) - name)) - (write-linkage-table-entry table-address real-address datap) - (setf (gethash name *linkage-info*) - (make-linkage-info :address table-address :datap datap))))) + sb!vm:linkage-table-entry-size) + sb!vm:linkage-table-space-start)) + (real-address (ensure-dynamic-foreign-symbol-address name datap))) + (aver real-address) + (unless (< table-address sb!vm:linkage-table-space-end) + (error "Linkage-table full (~D entries): cannot link ~S." + (hash-table-count *linkage-info*) + name)) + (write-linkage-table-entry table-address real-address datap) + (setf (gethash (cons name datap) *linkage-info*) + (make-linkage-info :address table-address :datap datap)))) ;;; Add a foreign linkage entry if none exists, return the address ;;; in the linkage table. (defun ensure-foreign-symbol-linkage (name datap) (/show0 "ensure-foreign-symbol-linkage") - (sb!thread:with-mutex (*foreign-lock*) - (let ((info (or (gethash name *linkage-info*) + (with-locked-hash-table (*linkage-info*) + (let ((info (or (gethash (cons name datap) *linkage-info*) (link-foreign-symbol name datap)))) - (when info - (linkage-info-address info))))) + (linkage-info-address info)))) ;;; Update the linkage-table. Called during initialization after all ;;; shared libraries have been reopened, and after a previously loaded ;;; shared object is reloaded. +;;; +;;; FIXME: Should figure out how to write only those entries that need +;;; updating. (defun update-linkage-table () - ;; Doesn't take care of it's own locking -- callers are responsible - (maphash (lambda (name info) - (let ((datap (linkage-info-datap info)) - (table-address (linkage-info-address info)) - (real-address (get-dynamic-foreign-symbol-address name))) - (cond (real-address - (write-linkage-table-entry table-address - real-address - datap)) - (t - (/show0 "oops") - (cerror "Ignore. Attempts to access this foreign symbol ~ - will lead to badness characterized by ~ - segfaults, and potential corruption." - "Could not resolve foreign function ~S for ~ - linkage-table." name))))) - *linkage-info*)) + (dohash ((name-and-datap info) *linkage-info* :locked t) + (let* ((name (car name-and-datap)) + (datap (cdr name-and-datap)) + (table-address (linkage-info-address info)) + (real-address + (ensure-dynamic-foreign-symbol-address name datap))) + (aver (and table-address real-address)) + (write-linkage-table-entry table-address + real-address + datap))))