fix rounding of floats big enough to be bignums
[sbcl.git] / src / code / linkage-table.lisp
1 ;;;; Linkage table specifics
2
3 ;;;; This software is part of the SBCL system. See the README file for
4 ;;;; more information.
5 ;;;;
6 ;;;; This software is derived from the CMU CL system, which was
7 ;;;; written at Carnegie Mellon University and released into the
8 ;;;; public domain. The software is in the public domain and is
9 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
10 ;;;; files for more information.
11
12 ;;;; Linkage table itself is a mmapped memory area in C-land, which is
13 ;;;; initialized by INIT-LINKAGE-TABLE once all shared objects have
14 ;;;; been reopened, based on the information stored in *LINKAGE-INFO*.
15 ;;;;
16 ;;;; For data entries the linkage table holds the real address
17 ;;;; of the foreign symbol, and for code the entries are jumps
18 ;;;; to the real addresses.
19
20 (in-package "SB!IMPL")
21
22 (define-alien-routine arch-write-linkage-table-jmp void
23   (table-address system-area-pointer)
24   (real-address system-area-pointer))
25
26 (define-alien-routine arch-write-linkage-table-ref void
27   (table-address system-area-pointer)
28   (real-address system-area-pointer))
29
30 (defvar *linkage-info* (make-hash-table :test 'equal :synchronized t))
31
32 (defstruct linkage-info datap address)
33
34 (defun write-linkage-table-entry (table-address real-address datap)
35   (/show0 "write-linkage-table-entry")
36   (let ((reloc (int-sap table-address))
37         (target (int-sap real-address)))
38     (if datap
39         (arch-write-linkage-table-ref reloc target)
40         (arch-write-linkage-table-jmp reloc target))))
41
42 ;;; Add the linkage information about a foreign symbol in the
43 ;;; persistent table, and write the linkage-table entry.
44 (defun link-foreign-symbol (name datap)
45   (/show0 "link-foreign-symbol")
46   (let ((table-address (+ (* (hash-table-count *linkage-info*)
47                              sb!vm:linkage-table-entry-size)
48                           sb!vm:linkage-table-space-start))
49         (real-address (ensure-dynamic-foreign-symbol-address name datap)))
50     (aver real-address)
51     (unless (< table-address sb!vm:linkage-table-space-end)
52       (error "Linkage-table full (~D entries): cannot link ~S."
53              (hash-table-count *linkage-info*)
54              name))
55     (write-linkage-table-entry table-address real-address datap)
56     (setf (gethash (cons name datap) *linkage-info*)
57           (make-linkage-info :address table-address :datap datap))))
58
59 ;;; Add a foreign linkage entry if none exists, return the address
60 ;;; in the linkage table.
61 (defun ensure-foreign-symbol-linkage (name datap)
62   (/show0 "ensure-foreign-symbol-linkage")
63   (with-locked-system-table (*linkage-info*)
64     (let ((info (or (gethash (cons name datap) *linkage-info*)
65                     (link-foreign-symbol name datap))))
66       (linkage-info-address info))))
67
68 ;;; Update the linkage-table. Called during initialization after all
69 ;;; shared libraries have been reopened, and after a previously loaded
70 ;;; shared object is reloaded.
71 ;;;
72 ;;; FIXME: Should figure out how to write only those entries that need
73 ;;; updating.
74 (defun update-linkage-table ()
75   (dohash ((name-and-datap info) *linkage-info* :locked t)
76     (let* ((name (car name-and-datap))
77            (datap (cdr name-and-datap))
78            (table-address (linkage-info-address info))
79            (real-address
80             (ensure-dynamic-foreign-symbol-address name datap)))
81       (aver (and table-address real-address))
82       (write-linkage-table-entry table-address
83                                  real-address
84                                  datap))))