X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Flinkage-table.lisp;h=e9fa8d4ff938e3e17e629f17319a9f808e6ba202;hb=cee8ef591040db9a79cdd19297867672a9529051;hp=49bf3ba82e3be7c9f3a70e9cbbf8804140c20068;hpb=75b52379bdc2269961af6a1308eca63610f38ac3;p=sbcl.git

diff --git a/src/code/linkage-table.lisp b/src/code/linkage-table.lisp
index 49bf3ba..e9fa8d4 100644
--- a/src/code/linkage-table.lisp
+++ b/src/code/linkage-table.lisp
@@ -19,11 +19,6 @@
 
 (in-package "SB!IMPL")
 
-;;; Used to serialize modifications to *linkage-info* and the linkage-table
-;;; proper. Calls thru linkage-table are unaffected.
-(defvar *linkage-table-lock*
-  (sb!thread:make-mutex :name "linkage-table lock"))
-
 (define-alien-routine arch-write-linkage-table-jmp void
   (table-address system-area-pointer)
   (real-address system-area-pointer))
@@ -32,64 +27,53 @@
   (table-address system-area-pointer)
   (real-address system-area-pointer))
 
-(defvar *linkage-info* (make-hash-table :test 'equal))
-
-(defstruct linkage-info datap address)
+(defvar *linkage-info* (make-hash-table :test 'equal :synchronized t))
 
 (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*) table-address)))
 
 ;;; 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 (*linkage-table-lock*)
-    (let ((info (or (gethash name *linkage-info*)
-                    (link-foreign-symbol name datap))))
-      (when info
-        (linkage-info-address info)))))
+  (with-locked-system-table (*linkage-info*)
+    (or (gethash (cons name datap) *linkage-info*)
+        (link-foreign-symbol name datap))))
 
-;;; Initialize the linkage-table. Called during initialization after
-;;; all shared libraries have been reopened.
-(defun linkage-table-reinit ()
-  (/show0 "linkage-table-reinit")
-  ;; No locking here, as this should be done just once per image initialization,
-  ;; before any threads user are spawned.
-  (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*))
+;;; 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 ()
+  (dohash ((name-and-datap table-address) *linkage-info* :locked t)
+    (let* ((name (car name-and-datap))
+           (datap (cdr name-and-datap))
+           (real-address
+            (ensure-dynamic-foreign-symbol-address name datap)))
+      (aver (and table-address real-address))
+      (write-linkage-table-entry table-address
+                                 real-address
+                                 datap))))