chiark / gitweb /
Added caching of invalidated proxy instances
[clg] / glib / proxy.lisp
CommitLineData
112ac1d3 1;; Common Lisp bindings for GTK+ v2.x
2;; Copyright 2000-2005 Espen S. Johnsen <espen@users.sf.net>
94f15c3c 3;;
112ac1d3 4;; Permission is hereby granted, free of charge, to any person obtaining
5;; a copy of this software and associated documentation files (the
6;; "Software"), to deal in the Software without restriction, including
7;; without limitation the rights to use, copy, modify, merge, publish,
8;; distribute, sublicense, and/or sell copies of the Software, and to
9;; permit persons to whom the Software is furnished to do so, subject to
10;; the following conditions:
94f15c3c 11;;
112ac1d3 12;; The above copyright notice and this permission notice shall be
13;; included in all copies or substantial portions of the Software.
94f15c3c 14;;
112ac1d3 15;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
16;; EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
17;; MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
18;; IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
19;; CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
20;; TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
21;; SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
94f15c3c 22
ca01de1b 23;; $Id: proxy.lisp,v 1.29 2006-02-07 13:20:39 espen Exp $
94f15c3c 24
25(in-package "GLIB")
26
94f15c3c 27;;;; Superclass for all metaclasses implementing some sort of virtual slots
28
29(eval-when (:compile-toplevel :load-toplevel :execute)
9adccb27 30 (defclass virtual-slots-class (standard-class)
4d83a8a6 31 ())
94f15c3c 32
33 (defclass direct-virtual-slot-definition (standard-direct-slot-definition)
12d0437e 34 ((setter :reader slot-definition-setter :initarg :setter)
4d83a8a6 35 (getter :reader slot-definition-getter :initarg :getter)
eeda1c2d 36 (unbound :reader slot-definition-unbound :initarg :unbound)
4d83a8a6 37 (boundp :reader slot-definition-boundp :initarg :boundp)))
94f15c3c 38
4d83a8a6 39 (defclass effective-virtual-slot-definition (standard-effective-slot-definition)
40 ((setter :reader slot-definition-setter :initarg :setter)
41 (getter :reader slot-definition-getter :initarg :getter)
eeda1c2d 42 (unbound :reader slot-definition-unbound :initarg :unbound)
e2ebafb1 43 (boundp :reader slot-definition-boundp :initarg :boundp)))
4d83a8a6 44
e2ebafb1 45 (defclass direct-special-slot-definition (standard-direct-slot-definition)
46 ())
94f15c3c 47
e2ebafb1 48 (defclass effective-special-slot-definition (standard-effective-slot-definition)
49 ()))
50
51(defvar *unbound-marker* (gensym "UNBOUND-MARKER-"))
52
53(defun most-specific-slot-value (instances slot &optional (default *unbound-marker*))
54 (let ((object (find-if
55 #'(lambda (ob)
56 (and (slot-exists-p ob slot) (slot-boundp ob slot)))
57 instances)))
58 (if object
59 (slot-value object slot)
60 default)))
61
62(defmethod initialize-instance ((slotd effective-special-slot-definition) &rest initargs)
63 (declare (ignore initargs))
64 (call-next-method)
65 (setf (slot-value slotd 'allocation) :instance))
66
94f15c3c 67
9adccb27 68(defmethod direct-slot-definition-class ((class virtual-slots-class) &rest initargs)
e2ebafb1 69 (case (getf initargs :allocation)
70 (:virtual (find-class 'direct-virtual-slot-definition))
71 (:special (find-class 'direct-special-slot-definition))
72 (t (call-next-method))))
94f15c3c 73
9adccb27 74(defmethod effective-slot-definition-class ((class virtual-slots-class) &rest initargs)
e2ebafb1 75 (case (getf initargs :allocation)
76 (:virtual (find-class 'effective-virtual-slot-definition))
77 (:special (find-class 'effective-special-slot-definition))
78 (t (call-next-method))))
94f15c3c 79
4d83a8a6 80
81(defmethod initialize-internal-slot-functions ((slotd effective-virtual-slot-definition))
eeda1c2d 82 (if (not (slot-boundp slotd 'getter))
83 (setf
4d83a8a6 84 (slot-value slotd 'reader-function)
eeda1c2d 85 #'(lambda (object)
86 (declare (ignore object))
87 (error "Can't read slot: ~A" (slot-definition-name slotd)))
88 (slot-value slotd 'boundp-function)
89 #'(lambda (object) (declare (ignore object)) nil))
90
91 (let ((getter-function
92 (let ((getter (slot-value slotd 'getter)))
93 (etypecase getter
94 (function getter)
95 (symbol
96 #'(lambda (object)
97 (funcall getter object)))
98 (string
99 (let ((reader nil))
100 (setf (slot-value slotd 'reader-function)
101 #'(lambda (object)
102 (unless reader
12b7df04 103 (setq reader
104 (mkbinding getter
105 (slot-definition-type slotd) 'pointer)))
09f6e237 106 (funcall reader (foreign-location object))))))))))
eeda1c2d 107
4d83a8a6 108 (setf
eeda1c2d 109 (slot-value slotd 'boundp-function)
110 (cond
eeda1c2d 111 ((slot-boundp slotd 'unbound)
112 (let ((unbound-value (slot-value slotd 'unbound)))
12b7df04 113 #'(lambda (object)
114 (not (eq (funcall getter-function object) unbound-value)))))
115 ((slot-boundp slotd 'boundp)
116 (let ((boundp (slot-value slotd 'boundp)))
eeda1c2d 117 (etypecase boundp
118 (function boundp)
119 (symbol #'(lambda (object)
120 (funcall boundp object)))
121 (string (let ((reader ()))
122 #'(lambda (object)
123 (unless reader
124 (setq reader
125 (mkbinding boundp
126 (slot-definition-type slotd) 'pointer)))
09f6e237 127 (funcall reader (foreign-location object))))))))
12b7df04 128 ((multiple-value-bind (unbound-p unbound-value)
129 (unbound-value (slot-definition-type slotd))
130 (when unbound-p
131 #'(lambda (object)
132 (not (eq (funcall getter-function object) unbound-value))))))
133 (#'(lambda (object) (declare (ignore object)) t))))
eeda1c2d 134
135 (setf
136 (slot-value slotd 'reader-function)
137 (cond
138 ((slot-boundp slotd 'unbound)
139 (let ((unbound (slot-value slotd 'unbound))
140 (slot-name (slot-definition-name slotd)))
12b7df04 141 #'(lambda (object)
142 (let ((value (funcall getter-function object)))
143 (if (eq value unbound)
144 (slot-unbound (class-of object) object slot-name)
145 value)))))
eeda1c2d 146 ((slot-boundp slotd 'boundp)
147 (let ((boundp-function (slot-value slotd 'boundp-function)))
12b7df04 148 #'(lambda (object)
149 (and
150 (funcall boundp-function object)
151 (funcall getter-function object)))))
152 ((multiple-value-bind (unbound-p unbound-value)
153 (unbound-value (slot-definition-type slotd))
154 (let ((slot-name (slot-definition-name slotd)))
155 (when unbound-p
156 #'(lambda (object)
157 (let ((value (funcall getter-function object)))
158 (if (eq value unbound-value)
159 (slot-unbound (class-of object) object slot-name)
160 value)))))))
eeda1c2d 161 (getter-function)))))
162
163 (setf
164 (slot-value slotd 'writer-function)
165 (if (not (slot-boundp slotd 'setter))
166 #'(lambda (object)
167 (declare (ignore object))
168 (error "Can't set slot: ~A" (slot-definition-name slotd)))
169 (with-slots (setter) slotd
4d83a8a6 170 (etypecase setter
171 (function setter)
eeda1c2d 172 ((or symbol cons)
173 #'(lambda (value object)
174 (funcall (fdefinition setter) value object)))
7d1ddc9e 175 (string
eeda1c2d 176 (let ((writer ()))
177 (setf
178 (slot-value slotd 'writer-function)
179 #'(lambda (value object)
180 (unless writer
181 (setq writer
182 (mkbinding setter 'nil 'pointer
183 (slot-definition-type slotd))))
09f6e237 184 (funcall writer (foreign-location object) value)))))))))
eeda1c2d 185
4d83a8a6 186 (initialize-internal-slot-gfs (slot-definition-name slotd)))
187
188
189
eeda1c2d 190(defmethod compute-slot-accessor-info ((slotd effective-virtual-slot-definition) type gf)
4d83a8a6 191 nil)
192
9adccb27 193(defmethod compute-effective-slot-definition-initargs ((class virtual-slots-class) direct-slotds)
eeda1c2d 194 (if (typep (first direct-slotds) 'direct-virtual-slot-definition)
195 (let ((initargs ()))
196 (let ((getter (most-specific-slot-value direct-slotds 'getter)))
197 (unless (eq getter *unbound-marker*)
198 (setf (getf initargs :getter) getter)))
199 (let ((setter (most-specific-slot-value direct-slotds 'setter)))
200 (unless (eq setter *unbound-marker*)
201 (setf (getf initargs :setter) setter)))
202 (let ((unbound (most-specific-slot-value direct-slotds 'unbound)))
203 (unless (eq unbound *unbound-marker*)
204 (setf (getf initargs :unbound) unbound)))
205 (let ((boundp (most-specific-slot-value direct-slotds 'boundp)))
206 (unless (eq boundp *unbound-marker*)
207 (setf (getf initargs :boundp) boundp)))
208 (nconc initargs (call-next-method)))
4d83a8a6 209 (call-next-method)))
210
94f15c3c 211
94f15c3c 212(defmethod slot-value-using-class
9adccb27 213 ((class virtual-slots-class) (object standard-object)
94f15c3c 214 (slotd effective-virtual-slot-definition))
4d83a8a6 215 (if (funcall (slot-value slotd 'boundp-function) object)
216 (funcall (slot-value slotd 'reader-function) object)
217 (slot-unbound class object (slot-definition-name slotd))))
94f15c3c 218
94f15c3c 219(defmethod slot-boundp-using-class
9adccb27 220 ((class virtual-slots-class) (object standard-object)
94f15c3c 221 (slotd effective-virtual-slot-definition))
4d83a8a6 222 (funcall (slot-value slotd 'boundp-function) object))
223
224(defmethod (setf slot-value-using-class)
9adccb27 225 (value (class virtual-slots-class) (object standard-object)
94f15c3c 226 (slotd effective-virtual-slot-definition))
4d83a8a6 227 (funcall (slot-value slotd 'writer-function) value object))
228
229
94f15c3c 230(defmethod validate-superclass
9adccb27 231 ((class virtual-slots-class) (super standard-class))
94f15c3c 232 t)
233
234
235;;;; Proxy cache
236
94f15c3c 237(defvar *instance-cache* (make-hash-table :test #'eql))
238
982a215a 239(defun cache-instance (instance &optional (weak-ref t))
94f15c3c 240 (setf
09f6e237 241 (gethash (sap-int (foreign-location instance)) *instance-cache*)
982a215a 242 (if weak-ref
243 (make-weak-pointer instance)
244 instance)))
94f15c3c 245
246(defun find-cached-instance (location)
73572c12 247 (let ((ref (gethash (sap-int location) *instance-cache*)))
94f15c3c 248 (when ref
982a215a 249 (if (weak-pointer-p ref)
250 (weak-pointer-value ref)
251 ref))))
94f15c3c 252
0f134a29 253(defun instance-cached-p (location)
73572c12 254 (gethash (sap-int location) *instance-cache*))
0f134a29 255
94f15c3c 256(defun remove-cached-instance (location)
73572c12 257 (remhash (sap-int location) *instance-cache*))
94f15c3c 258
9adccb27 259;; For debuging
982a215a 260(defun list-cached-instances ()
9adccb27 261 (let ((instances ()))
262 (maphash #'(lambda (location ref)
263 (declare (ignore location))
982a215a 264 (push ref instances))
9adccb27 265 *instance-cache*)
266 instances))
267
ca01de1b 268;; Instances that gets invalidated tend to be short lived, but created
269;; in large numbers. So we're keeping them in a hash table to be able
270;; to reuse them (and thus reduce consing)
271(defvar *invalidated-instance-cache* (make-hash-table :test #'eql))
272
273(defun cache-invalidated-instance (instance)
274 (push instance
275 (gethash (class-of instance) *invalidated-instance-cache*)))
276
277(defun find-invalidated-instance (class)
278 (when (gethash class *invalidated-instance-cache*)
279 (pop (gethash class *invalidated-instance-cache*))))
280
281(defun list-invalidated-instances ()
282 (let ((instances ()))
283 (maphash #'(lambda (location ref)
284 (declare (ignore location))
285 (push ref instances))
286 *invalidated-instance-cache*)
287 instances))
288
94f15c3c 289
290
291;;;; Proxy for alien instances
292
4a64c16d 293;; TODO: add a ref-counted-proxy subclass
9adccb27 294(defclass proxy ()
09f6e237 295 ((location :allocation :special :reader foreign-location :type pointer))
e2ebafb1 296 (:metaclass virtual-slots-class))
94f15c3c 297
9adccb27 298(defgeneric instance-finalizer (object))
299(defgeneric reference-foreign (class location))
300(defgeneric unreference-foreign (class location))
4a64c16d 301(defgeneric invalidate-instance (object))
9adccb27 302
3b167652 303(defmethod reference-foreign ((name symbol) location)
304 (reference-foreign (find-class name) location))
305
306(defmethod unreference-foreign ((name symbol) location)
307 (unreference-foreign (find-class name) location))
308
9adccb27 309(defmethod unreference-foreign :around ((class class) location)
310 (unless (null-pointer-p location)
09f6e237 311 (call-next-method)))
94f15c3c 312
0f134a29 313(defmethod print-object ((instance proxy) stream)
314 (print-unreadable-object (instance stream :type t :identity nil)
09f6e237 315 (if (slot-boundp instance 'location)
316 (format stream "at 0x~X" (sap-int (foreign-location instance)))
317 (write-string "at \"unbound\"" stream))))
94f15c3c 318
8958fa4a 319(defmethod initialize-instance :around ((instance proxy) &rest initargs)
320 (declare (ignore initargs))
321 (prog1
322 (call-next-method)
323 (cache-instance instance)
324 (finalize instance (instance-finalizer instance))))
94f15c3c 325
326(defmethod instance-finalizer ((instance proxy))
09f6e237 327 (let ((location (foreign-location instance))
9adccb27 328 (class (class-of instance)))
329;; (unless (find-method #'unreference-foreign nil (list (class-of class) t) nil)
330;; (error "No matching method for UNREFERENCE-INSTANCE when called with class ~A" class))
331 #'(lambda ()
1dbf4216 332 (remove-cached-instance location)
9adccb27 333 (unreference-foreign class location))))
12d0437e 334
ca01de1b 335;; Any reference to the foreign object the instance may have held
336;; should be released before this method is invoked
4a64c16d 337(defmethod invalidate-instance ((instance proxy))
338 (remove-cached-instance (foreign-location instance))
ca01de1b 339 (slot-makunbound instance 'location)
340 (cancel-finalization instance)
341 (cache-invalidated-instance instance))
4a64c16d 342
94f15c3c 343
344;;;; Metaclass used for subclasses of proxy
345
73572c12 346(defgeneric most-specific-proxy-superclass (class))
347(defgeneric direct-proxy-superclass (class))
09f6e237 348(defgeneric compute-foreign-size (class))
73572c12 349
350
94f15c3c 351(eval-when (:compile-toplevel :load-toplevel :execute)
9adccb27 352 (defclass proxy-class (virtual-slots-class)
09f6e237 353 ((size :reader foreign-size)))
94f15c3c 354
355 (defclass direct-alien-slot-definition (direct-virtual-slot-definition)
12d0437e 356 ((allocation :initform :alien)
357 (offset :reader slot-definition-offset :initarg :offset)))
94f15c3c 358
359 (defclass effective-alien-slot-definition (effective-virtual-slot-definition)
4d83a8a6 360 ((offset :reader slot-definition-offset :initarg :offset)))
12d0437e 361
94f15c3c 362 (defmethod most-specific-proxy-superclass ((class proxy-class))
363 (find-if
364 #'(lambda (class)
365 (subtypep (class-name class) 'proxy))
4d83a8a6 366 (cdr (compute-class-precedence-list class))))
73572c12 367
12d0437e 368 (defmethod direct-proxy-superclass ((class proxy-class))
369 (find-if
370 #'(lambda (class)
371 (subtypep (class-name class) 'proxy))
4d83a8a6 372 (class-direct-superclasses class)))
373
eeda1c2d 374 (defmethod shared-initialize ((class proxy-class) names &key size)
94f15c3c 375 (call-next-method)
12d0437e 376 (cond
4d83a8a6 377 (size (setf (slot-value class 'size) (first size)))
9adccb27 378 ((slot-boundp class 'size) (slot-makunbound class 'size))))
09f6e237 379
4d83a8a6 380 (defmethod direct-slot-definition-class ((class proxy-class) &rest initargs)
94f15c3c 381 (case (getf initargs :allocation)
e2ebafb1 382 (:alien (find-class 'direct-alien-slot-definition))
94f15c3c 383 (t (call-next-method))))
4d83a8a6 384
385 (defmethod effective-slot-definition-class ((class proxy-class) &rest initargs)
94f15c3c 386 (case (getf initargs :allocation)
387 (:alien (find-class 'effective-alien-slot-definition))
94f15c3c 388 (t (call-next-method))))
389
4d83a8a6 390
391 (defmethod compute-effective-slot-definition-initargs ((class proxy-class) direct-slotds)
392 (if (eq (most-specific-slot-value direct-slotds 'allocation) :alien)
393 (nconc
394 (list :offset (most-specific-slot-value direct-slotds 'offset))
395 (call-next-method))
396 (call-next-method)))
397
398
399 (defmethod initialize-internal-slot-functions ((slotd effective-alien-slot-definition))
400 (with-slots (offset) slotd
9adccb27 401 (let ((type (slot-definition-type slotd)))
eeda1c2d 402 (unless (slot-boundp slotd 'getter)
9adccb27 403 (let ((reader (reader-function type)))
404 (setf
eeda1c2d 405 (slot-value slotd 'getter)
9adccb27 406 #'(lambda (object)
09f6e237 407 (funcall reader (foreign-location object) offset)))))
4d83a8a6 408
eeda1c2d 409 (unless (slot-boundp slotd 'setter)
9adccb27 410 (let ((writer (writer-function type))
411 (destroy (destroy-function type)))
412 (setf
eeda1c2d 413 (slot-value slotd 'setter)
9adccb27 414 #'(lambda (value object)
09f6e237 415 (let ((location (foreign-location object)))
9adccb27 416 (funcall destroy location offset) ; destroy old value
eeda1c2d 417 (funcall writer value location offset))))))))
418
4d83a8a6 419 (call-next-method))
420
09f6e237 421 (defmethod compute-foreign-size ((class proxy-class))
422 nil)
4d83a8a6 423
4d83a8a6 424 ;; TODO: call some C code to detect this a compile time
425 (defconstant +struct-alignmen+ 4)
94f15c3c 426
09f6e237 427 (defun align-offset (size)
428 (if (zerop (mod size +struct-alignmen+))
429 size
430 (+ size (- +struct-alignmen+ (mod size +struct-alignmen+)))))
431
94f15c3c 432 (defmethod compute-slots ((class proxy-class))
09f6e237 433 (let ((alien-slots
434 (remove-if-not
435 #'(lambda (slotd)
436 (eq (slot-definition-allocation slotd) :alien))
437 (class-direct-slots class))))
438 (when alien-slots
439 (loop
440 as offset = (align-offset (foreign-size
441 (most-specific-proxy-superclass class)))
442 then (align-offset
443 (+
444 (slot-definition-offset slotd)
445 (size-of (slot-definition-type slotd))))
446 for slotd in alien-slots
447 unless (slot-boundp slotd 'offset)
448 do (setf (slot-value slotd 'offset) offset))))
94f15c3c 449 (call-next-method))
3e15002d 450
09f6e237 451 (defmethod compute-slots :after ((class proxy-class))
452 (when (and (class-finalized-p class) (not (slot-boundp class 'size)))
453 (let ((size (compute-foreign-size class)))
454 (when size
455 (setf (slot-value class 'size) size)))))
4d83a8a6 456
457 (defmethod validate-superclass ((class proxy-class) (super standard-class))
458 (subtypep (class-name super) 'proxy))
459
09f6e237 460 (defmethod foreign-size ((class-name symbol))
461 (foreign-size (find-class class-name))))
47a11c16 462
09f6e237 463(defmethod foreign-size ((object proxy))
464 (foreign-size (class-of object)))
4d83a8a6 465
09f6e237 466
9adccb27 467(defmethod alien-type ((class proxy-class) &rest args)
468 (declare (ignore class args))
469 (alien-type 'pointer))
470
471(defmethod size-of ((class proxy-class) &rest args)
472 (declare (ignore class args))
473 (size-of 'pointer))
474
475(defmethod from-alien-form (location (class proxy-class) &rest args)
476 (declare (ignore args))
477 `(ensure-proxy-instance ',(class-name class) ,location))
478
479(defmethod from-alien-function ((class proxy-class) &rest args)
480 (declare (ignore args))
481 #'(lambda (location)
482 (ensure-proxy-instance class location)))
94f15c3c 483
9adccb27 484(defmethod to-alien-form (instance (class proxy-class) &rest args)
485 (declare (ignore class args))
09f6e237 486 `(foreign-location ,instance))
94f15c3c 487
9adccb27 488(defmethod to-alien-function ((class proxy-class) &rest args)
489 (declare (ignore class args))
09f6e237 490 #'foreign-location)
9adccb27 491
9ca5565a 492(defmethod copy-from-alien-form (location (class proxy-class) &rest args)
493 (declare (ignore args))
494 (let ((class-name (class-name class)))
495 `(ensure-proxy-instance ',class-name
496 (reference-foreign ',class-name ,location))))
497
498(defmethod copy-from-alien-function ((class proxy-class) &rest args)
499 (declare (ignore args))
500 #'(lambda (location)
501 (ensure-proxy-instance class (reference-foreign class location))))
502
503(defmethod copy-to-alien-form (instance (class proxy-class) &rest args)
504 (declare (ignore args))
09f6e237 505 `(reference-foreign ',(class-name class) (foreign-location ,instance)))
9ca5565a 506
507(defmethod copy-to-alien-function ((class proxy-class) &rest args)
73572c12 508 (declare (ignore args))
9ca5565a 509 #'(lambda (instance)
09f6e237 510 (reference-foreign class (foreign-location instance))))
9ca5565a 511
9adccb27 512(defmethod writer-function ((class proxy-class) &rest args)
513 (declare (ignore args))
514 #'(lambda (instance location &optional (offset 0))
515 (assert (null-pointer-p (sap-ref-sap location offset)))
516 (setf
517 (sap-ref-sap location offset)
09f6e237 518 (reference-foreign class (foreign-location instance)))))
94f15c3c 519
9adccb27 520(defmethod reader-function ((class proxy-class) &rest args)
521 (declare (ignore args))
3005806e 522 #'(lambda (location &optional (offset 0) weak-p)
523 (declare (ignore weak-p))
9ca5565a 524 (let ((instance (sap-ref-sap location offset)))
525 (unless (null-pointer-p instance)
526 (ensure-proxy-instance class (reference-foreign class instance))))))
94f15c3c 527
9adccb27 528(defmethod destroy-function ((class proxy-class) &rest args)
529 (declare (ignore args))
530 #'(lambda (location &optional (offset 0))
531 (unreference-foreign class (sap-ref-sap location offset))))
532
12b7df04 533(defmethod unbound-value ((class proxy-class) &rest args)
47a11c16 534 (declare (ignore args))
12b7df04 535 (values t nil))
9adccb27 536
8958fa4a 537(defun ensure-proxy-instance (class location &rest initargs)
538 "Returns a proxy object representing the foreign object at the give
539location. If an existing object is not found in the cache
540MAKE-PROXY-INSTANCE is called to create one."
9adccb27 541 (unless (null-pointer-p location)
542 (or
aaced14e 543 #-debug-ref-counting(find-cached-instance location)
544 #+debug-ref-counting
4a64c16d 545 (let ((instance (find-cached-instance location)))
546 (when instance
547 (format t "Object found in cache: ~A~%" instance)
548 instance))
8958fa4a 549 (let ((instance (apply #'make-proxy-instance class location initargs)))
550 (cache-instance instance)
551 instance))))
552
553(defgeneric make-proxy-instance (class location &key weak)
554 (:documentation "Creates a new proxy object representing the foreign
555object at the give location. If WEAK is non NIL the foreign memory
556will not be released when the proxy is garbage collected."))
557
4a64c16d 558(defmethod make-proxy-instance ((class symbol) location &rest initargs)
559 (apply #'make-proxy-instance (find-class class) location initargs))
8958fa4a 560
561(defmethod make-proxy-instance ((class proxy-class) location &key weak)
ca01de1b 562 (let ((instance
563 (or
564 (find-invalidated-instance class)
565 (allocate-instance class))))
8958fa4a 566 (setf (slot-value instance 'location) location)
567 (unless weak
568 (finalize instance (instance-finalizer instance)))
569 instance))
94f15c3c 570
12d0437e 571
572;;;; Superclasses for wrapping of C structures
94f15c3c 573
9adccb27 574(defclass struct (proxy)
575 ()
09f6e237 576 (:metaclass proxy-class)
577 (:size 0))
94f15c3c 578
9adccb27 579(defmethod initialize-instance ((struct struct) &rest initargs)
94f15c3c 580 (declare (ignore initargs))
ec1a4146 581 (unless (slot-boundp struct 'location)
09f6e237 582 (let ((size (foreign-size (class-of struct))))
ec1a4146 583 (if (zerop size)
584 (error "~A has zero size" (class-of struct))
47a11c16 585 (setf (slot-value struct 'location) (allocate-memory size)))))
94f15c3c 586 (call-next-method))
587
588
9adccb27 589;;;; Metaclasses used for subclasses of struct
590
591(defclass struct-class (proxy-class)
592 ())
94f15c3c 593
e2ebafb1 594(defmethod direct-slot-definition-class ((class struct-class) &rest initargs)
595 (if (not (getf initargs :allocation))
596 (find-class 'direct-alien-slot-definition)
597 (call-next-method)))
598
9adccb27 599(defmethod reference-foreign ((class struct-class) location)
09f6e237 600 (copy-memory location (foreign-size class)))
9adccb27 601
602(defmethod unreference-foreign ((class struct-class) location)
12d0437e 603 (deallocate-memory location))
94f15c3c 604
09f6e237 605(defmethod compute-foreign-size ((class struct-class))
606 (let ((size (loop
607 for slotd in (class-slots class)
608 when (eq (slot-definition-allocation slotd) :alien)
609 maximize (+
610 (slot-definition-offset slotd)
611 (size-of (slot-definition-type slotd))))))
612 (+ size (mod size +struct-alignmen+))))
613
3005806e 614(defmethod reader-function ((class struct-class) &rest args)
4a64c16d 615 (declare (ignore args))
3005806e 616 #'(lambda (location &optional (offset 0) weak-p)
4a64c16d 617 (let ((instance (sap-ref-sap location offset)))
618 (unless (null-pointer-p instance)
3005806e 619 (if weak-p
620 (ensure-proxy-instance class instance :weak t)
621 (ensure-proxy-instance class (reference-foreign class instance)))))))
4a64c16d 622
94f15c3c 623
9adccb27 624(defclass static-struct-class (struct-class)
625 ())
94f15c3c 626
9adccb27 627(defmethod reference-foreign ((class static-struct-class) location)
628 (declare (ignore class))
12d0437e 629 location)
94f15c3c 630
9adccb27 631(defmethod unreference-foreign ((class static-struct-class) location)
632 (declare (ignore class location))
12d0437e 633 nil)
bde0b906 634
3005806e 635(defmethod reader-function ((class struct-class) &rest args)
636 (declare (ignore args))
637 #'(lambda (location &optional (offset 0) weak-p)
638 (declare (ignore weak-p))
639 (let ((instance (sap-ref-sap location offset)))
640 (unless (null-pointer-p instance)
641 (ensure-proxy-instance class instance :weak t)))))
642
bde0b906 643
644;;; Pseudo type for structs which are inlined in other objects
645
646(defmethod size-of ((type (eql 'inlined)) &rest args)
647 (declare (ignore type))
09f6e237 648 (foreign-size (first args)))
bde0b906 649
650(defmethod reader-function ((type (eql 'inlined)) &rest args)
651 (declare (ignore type))
652 (destructuring-bind (class) args
3005806e 653 #'(lambda (location &optional (offset 0) weak-p)
654 (declare (ignore weak-p))
bde0b906 655 (ensure-proxy-instance class
656 (reference-foreign class (sap+ location offset))))))
657
4a64c16d 658(defmethod writer-function ((type (eql 'inlined)) &rest args)
659 (declare (ignore type))
660 (destructuring-bind (class) args
661 #'(lambda (instance location &optional (offset 0))
662 (copy-memory (foreign-location instance) (foreign-size class) (sap+ location offset)))))
663
bde0b906 664(defmethod destroy-function ((type (eql 'inlined)) &rest args)
665 (declare (ignore args))
666 #'(lambda (location &optional (offset 0))
667 (declare (ignore location offset))))
668
669(export 'inlined)