/[slime]/slime/swank-allegro.lisp
ViewVC logotype

Contents of /slime/swank-allegro.lisp

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.119 - (show annotations)
Tue Oct 21 20:38:05 2008 UTC (5 years, 5 months ago) by heller
Branch: MAIN
Changes since 1.118: +5 -1 lines
* swank-allegro.lisp (frame-restartable-p): Handle errors signaled
by debugger:frame-retryable-p.  This looks like an Allegro
bug, though.  Reported by Luke Hope.
1 ;;;; -*- indent-tabs-mode: nil; outline-regexp: ";;;;;* "; -*-
2 ;;;
3 ;;; swank-allegro.lisp --- Allegro CL specific code for SLIME.
4 ;;;
5 ;;; Created 2003
6 ;;;
7 ;;; This code has been placed in the Public Domain. All warranties
8 ;;; are disclaimed.
9 ;;;
10
11 (in-package :swank-backend)
12
13 (eval-when (:compile-toplevel :load-toplevel :execute)
14 (require :sock)
15 (require :process))
16
17 (import-from :excl *gray-stream-symbols* :swank-backend)
18
19 ;;; swank-mop
20
21 (import-swank-mop-symbols :clos '(:slot-definition-documentation))
22
23 (defun swank-mop:slot-definition-documentation (slot)
24 (documentation slot t))
25
26
27 ;;;; TCP Server
28
29 (defimplementation preferred-communication-style ()
30 :spawn)
31
32 (defimplementation create-socket (host port)
33 (socket:make-socket :connect :passive :local-port port
34 :local-host host :reuse-address t))
35
36 (defimplementation local-port (socket)
37 (socket:local-port socket))
38
39 (defimplementation close-socket (socket)
40 (close socket))
41
42 (defimplementation accept-connection (socket &key external-format buffering
43 timeout)
44 (declare (ignore buffering timeout))
45 (let ((s (socket:accept-connection socket :wait t)))
46 (when external-format
47 (setf (stream-external-format s) external-format))
48 s))
49
50 (defvar *external-format-to-coding-system*
51 '((:iso-8859-1
52 "latin-1" "latin-1-unix" "iso-latin-1-unix"
53 "iso-8859-1" "iso-8859-1-unix")
54 (:utf-8 "utf-8" "utf-8-unix")
55 (:euc-jp "euc-jp" "euc-jp-unix")
56 (:us-ascii "us-ascii" "us-ascii-unix")
57 (:emacs-mule "emacs-mule" "emacs-mule-unix")))
58
59 (defimplementation find-external-format (coding-system)
60 (let ((e (rassoc-if (lambda (x) (member coding-system x :test #'equal))
61 *external-format-to-coding-system*)))
62 (and e (excl:crlf-base-ef
63 (excl:find-external-format (car e)
64 :try-variant t)))))
65
66 (defimplementation format-sldb-condition (c)
67 (princ-to-string c))
68
69 (defimplementation call-with-syntax-hooks (fn)
70 (funcall fn))
71
72 ;;;; Unix signals
73
74 (defimplementation call-without-interrupts (fn)
75 (excl:without-interrupts (funcall fn)))
76
77 (defimplementation getpid ()
78 (excl::getpid))
79
80 (defimplementation lisp-implementation-type-name ()
81 "allegro")
82
83 (defimplementation set-default-directory (directory)
84 (let* ((dir (namestring (truename (merge-pathnames directory)))))
85 (setf *default-pathname-defaults* (pathname (excl:chdir dir)))
86 dir))
87
88 (defimplementation default-directory ()
89 (namestring (excl:current-directory)))
90
91 ;;;; Misc
92
93 (defimplementation arglist (symbol)
94 (handler-case (excl:arglist symbol)
95 (simple-error () :not-available)))
96
97 (defimplementation macroexpand-all (form)
98 (excl::walk form))
99
100 (defimplementation describe-symbol-for-emacs (symbol)
101 (let ((result '()))
102 (flet ((doc (kind &optional (sym symbol))
103 (or (documentation sym kind) :not-documented))
104 (maybe-push (property value)
105 (when value
106 (setf result (list* property value result)))))
107 (maybe-push
108 :variable (when (boundp symbol)
109 (doc 'variable)))
110 (maybe-push
111 :function (if (fboundp symbol)
112 (doc 'function)))
113 (maybe-push
114 :class (if (find-class symbol nil)
115 (doc 'class)))
116 result)))
117
118 (defimplementation describe-definition (symbol namespace)
119 (ecase namespace
120 (:variable
121 (describe symbol))
122 ((:function :generic-function)
123 (describe (symbol-function symbol)))
124 (:class
125 (describe (find-class symbol)))))
126
127 ;;;; Debugger
128
129 (defvar *sldb-topframe*)
130
131 (defimplementation call-with-debugging-environment (debugger-loop-fn)
132 (let ((*sldb-topframe* (find-topframe))
133 (excl::*break-hook* nil))
134 (funcall debugger-loop-fn)))
135
136 (defimplementation sldb-break-at-start (fname)
137 ;; :print-before is kind of mis-used but we just want to stuff our break form
138 ;; somewhere. This does not work for setf, :before and :after methods, which
139 ;; need special syntax in the trace call, see ACL's doc/debugging.htm chapter 10.
140 (eval `(trace (,fname
141 :print-before
142 ((break "Function start breakpoint of ~A" ',fname)))))
143 `(:ok ,(format nil "Set breakpoint at start of ~S" fname)))
144
145 (defun find-topframe ()
146 (let ((skip-frames 3))
147 (do ((f (excl::int-newest-frame) (next-frame f))
148 (i 0 (1+ i)))
149 ((= i skip-frames) f))))
150
151 (defun next-frame (frame)
152 (let ((next (excl::int-next-older-frame frame)))
153 (cond ((not next) nil)
154 ((debugger:frame-visible-p next) next)
155 (t (next-frame next)))))
156
157 (defun nth-frame (index)
158 (do ((frame *sldb-topframe* (next-frame frame))
159 (i index (1- i)))
160 ((zerop i) frame)))
161
162 (defimplementation compute-backtrace (start end)
163 (let ((end (or end most-positive-fixnum)))
164 (loop for f = (nth-frame start) then (next-frame f)
165 for i from start below end
166 while f collect f)))
167
168 (defimplementation print-frame (frame stream)
169 (debugger:output-frame stream frame :moderate))
170
171 (defimplementation frame-locals (index)
172 (let ((frame (nth-frame index)))
173 (loop for i from 0 below (debugger:frame-number-vars frame)
174 collect (list :name (debugger:frame-var-name frame i)
175 :id 0
176 :value (debugger:frame-var-value frame i)))))
177
178 (defimplementation frame-var-value (frame var)
179 (let ((frame (nth-frame frame)))
180 (debugger:frame-var-value frame var)))
181
182 (defimplementation disassemble-frame (index)
183 (disassemble (debugger:frame-function (nth-frame index))))
184
185 (defimplementation frame-source-location-for-emacs (index)
186 (let* ((frame (nth-frame index))
187 (expr (debugger:frame-expression frame))
188 (fspec (first expr)))
189 (second (first (fspec-definition-locations fspec)))))
190
191 (defimplementation eval-in-frame (form frame-number)
192 (let ((frame (nth-frame frame-number)))
193 ;; let-bind lexical variables
194 (let ((vars (loop for i below (debugger:frame-number-vars frame)
195 for name = (debugger:frame-var-name frame i)
196 if (symbolp name)
197 collect `(,name ',(debugger:frame-var-value frame i)))))
198 (debugger:eval-form-in-context
199 `(let* ,vars ,form)
200 (debugger:environment-of-frame frame)))))
201
202 (defimplementation return-from-frame (frame-number form)
203 (let ((frame (nth-frame frame-number)))
204 (multiple-value-call #'debugger:frame-return
205 frame (debugger:eval-form-in-context
206 form
207 (debugger:environment-of-frame frame)))))
208
209 (defimplementation frame-restartable-p (frame)
210 (handler-case (debugger:frame-retryable-p frame)
211 (serious-condition (c)
212 (funcall (read-from-string "swank::background-message")
213 "~a ~a" frame (princ-to-string c))
214 nil)))
215
216 (defimplementation restart-frame (frame-number)
217 (let ((frame (nth-frame frame-number)))
218 (cond ((debugger:frame-retryable-p frame)
219 (apply #'debugger:frame-retry frame (debugger:frame-function frame)
220 (cdr (debugger:frame-expression frame))))
221 (t "Frame is not retryable"))))
222
223 ;;;; Compiler hooks
224
225 (defvar *buffer-name* nil)
226 (defvar *buffer-start-position*)
227 (defvar *buffer-string*)
228 (defvar *compile-filename* nil)
229
230 (defun compiler-note-p (object)
231 (member (type-of object) '(excl::compiler-note compiler::compiler-note)))
232
233 (defun compiler-undefined-functions-called-warning-p (object)
234 (typep object 'excl:compiler-undefined-functions-called-warning))
235
236 (deftype compiler-note ()
237 `(satisfies compiler-note-p))
238
239 (defun signal-compiler-condition (&rest args)
240 (signal (apply #'make-condition 'compiler-condition args)))
241
242 (defun handle-compiler-warning (condition)
243 (declare (optimize (debug 3) (speed 0) (space 0)))
244 (cond ((and (not *buffer-name*)
245 (compiler-undefined-functions-called-warning-p condition))
246 (handle-undefined-functions-warning condition))
247 (t
248 (signal-compiler-condition
249 :original-condition condition
250 :severity (etypecase condition
251 (warning :warning)
252 (compiler-note :note))
253 :message (format nil "~A" condition)
254 :location (location-for-warning condition)))))
255
256 (defun location-for-warning (condition)
257 (let ((loc (getf (slot-value condition 'excl::plist) :loc)))
258 (cond (*buffer-name*
259 (make-location
260 (list :buffer *buffer-name*)
261 (list :offset *buffer-start-position* 0)))
262 (loc
263 (destructuring-bind (file . pos) loc
264 (make-location
265 (list :file (namestring (truename file)))
266 (list :position (1+ pos)))))
267 (t
268 (list :error "No error location available.")))))
269
270 (defun handle-undefined-functions-warning (condition)
271 (let ((fargs (slot-value condition 'excl::format-arguments)))
272 (loop for (fname . pos-file) in (car fargs) do
273 (loop for (pos file) in pos-file do
274 (signal-compiler-condition
275 :original-condition condition
276 :severity :warning
277 :message (format nil "Undefined function referenced: ~S"
278 fname)
279 :location (make-location (list :file file)
280 (list :position (1+ pos))))))))
281
282 (defimplementation call-with-compilation-hooks (function)
283 (handler-bind ((warning #'handle-compiler-warning)
284 ;;(compiler-note #'handle-compiler-warning)
285 )
286 (funcall function)))
287
288 (defimplementation swank-compile-file (filename load-p external-format)
289 (with-compilation-hooks ()
290 (let ((*buffer-name* nil)
291 (*compile-filename* filename))
292 (compile-file *compile-filename* :load-after-compile load-p
293 :external-format external-format))))
294
295 (defun call-with-temp-file (fn)
296 (let ((tmpname (system:make-temp-file-name)))
297 (unwind-protect
298 (with-open-file (file tmpname :direction :output :if-exists :error)
299 (funcall fn file tmpname))
300 (delete-file tmpname))))
301
302 (defun compile-from-temp-file (string)
303 (call-with-temp-file
304 (lambda (stream filename)
305 (write-string string stream)
306 (finish-output stream)
307 (multiple-value-bind (binary-filename warnings? failure?)
308 (excl:without-redefinition-warnings
309 ;; Suppress Allegro's redefinition warnings; they are
310 ;; pointless when we are compiling via a temporary
311 ;; file.
312 (compile-file filename :load-after-compile t))
313 (declare (ignore warnings?))
314 (when binary-filename
315 (delete-file binary-filename))
316 (not failure?)))))
317
318 (defimplementation swank-compile-string (string &key buffer position directory
319 debug)
320 (declare (ignore debug))
321 ;; We store the source buffer in excl::*source-pathname* as a string
322 ;; of the form <buffername>;<start-offset>. Quite ugly encoding, but
323 ;; the fasl file is corrupted if we use some other datatype.
324 (with-compilation-hooks ()
325 (let ((*buffer-name* buffer)
326 (*buffer-start-position* position)
327 (*buffer-string* string)
328 (*default-pathname-defaults*
329 (if directory (merge-pathnames (pathname directory))
330 *default-pathname-defaults*)))
331 (compile-from-temp-file
332 (format nil "~S ~S~%~A"
333 `(in-package ,(package-name *package*))
334 `(eval-when (:compile-toplevel :load-toplevel)
335 (setq excl::*source-pathname*
336 ',(format nil "~A;~D" buffer position)))
337 string)))))
338
339 ;;;; Definition Finding
340
341 (defun fspec-primary-name (fspec)
342 (etypecase fspec
343 (symbol fspec)
344 (list (fspec-primary-name (second fspec)))))
345
346 ;; If Emacs uses DOS-style eol conventions, \n\r are considered as a
347 ;; single character, but file-position counts them as two. Here we do
348 ;; our own conversion.
349 (defun count-cr (file pos)
350 (let* ((bufsize 256)
351 (type '(unsigned-byte 8))
352 (buf (make-array bufsize :element-type type))
353 (cr-count 0))
354 (with-open-file (stream file :direction :input :element-type type)
355 (loop for bytes-read = (read-sequence buf stream) do
356 (incf cr-count (count (char-code #\return) buf
357 :end (min pos bytes-read)))
358 (decf pos bytes-read)
359 (when (<= pos 0)
360 (return cr-count))))))
361
362 (defun find-definition-in-file (fspec type file top-level)
363 (let* ((part
364 (or (scm::find-definition-in-definition-group
365 fspec type (scm:section-file :file file)
366 :top-level top-level)
367 (scm::find-definition-in-definition-group
368 (fspec-primary-name fspec)
369 type (scm:section-file :file file)
370 :top-level top-level)))
371 (start (and part
372 (scm::source-part-start part)))
373 (pos (if start
374 (list :position (1+ start))
375 (list :function-name (string (fspec-primary-name fspec))))))
376 (make-location (list :file (namestring (truename file)))
377 pos)))
378
379 (defun find-definition-in-buffer (filename)
380 (let ((pos (position #\; filename :from-end t)))
381 (make-location
382 (list :buffer (subseq filename 0 pos))
383 (list :offset (parse-integer (subseq filename (1+ pos))) 0))))
384
385 (defun find-fspec-location (fspec type file top-level)
386 (etypecase file
387 (pathname
388 (find-definition-in-file fspec type file top-level))
389 ((member :top-level)
390 (list :error (format nil "Defined at toplevel: ~A"
391 (fspec->string fspec))))
392 (string
393 (find-definition-in-buffer file))))
394
395 (defun fspec->string (fspec)
396 (etypecase fspec
397 (symbol (let ((*package* (find-package :keyword)))
398 (prin1-to-string fspec)))
399 (list (format nil "(~A ~A)"
400 (prin1-to-string (first fspec))
401 (let ((*package* (find-package :keyword)))
402 (prin1-to-string (second fspec)))))))
403
404 (defun fspec-definition-locations (fspec)
405 (cond
406 ((and (listp fspec)
407 (eql (car fspec) :top-level-form))
408 (destructuring-bind (top-level-form file &optional position) fspec
409 (declare (ignore top-level-form))
410 (list
411 (list (list nil fspec)
412 (make-location (list :buffer file) ; FIXME: should use :file
413 (list :position position)
414 (list :align t))))))
415 ((and (listp fspec) (eq (car fspec) :internal))
416 (destructuring-bind (_internal next _n) fspec
417 (declare (ignore _internal _n))
418 (fspec-definition-locations next)))
419 (t
420 (let ((defs (excl::find-source-file fspec)))
421 (when (and (null defs)
422 (listp fspec)
423 (string= (car fspec) '#:method))
424 ;; If methods are defined in a defgeneric form, the source location is
425 ;; recorded for the gf but not for the methods. Therefore fall back to
426 ;; the gf as the likely place of definition.
427 (setq defs (excl::find-source-file (second fspec))))
428 (if (null defs)
429 (list
430 (list (list nil fspec)
431 (list :error
432 (format nil "Unknown source location for ~A"
433 (fspec->string fspec)))))
434 (loop for (fspec type file top-level) in defs
435 collect (list (list type fspec)
436 (find-fspec-location fspec type file top-level))))))))
437
438 (defimplementation find-definitions (symbol)
439 (fspec-definition-locations symbol))
440
441 ;;;; XREF
442
443 (defmacro defxref (name relation name1 name2)
444 `(defimplementation ,name (x)
445 (xref-result (xref:get-relation ,relation ,name1 ,name2))))
446
447 (defxref who-calls :calls :wild x)
448 (defxref calls-who :calls x :wild)
449 (defxref who-references :uses :wild x)
450 (defxref who-binds :binds :wild x)
451 (defxref who-macroexpands :macro-calls :wild x)
452 (defxref who-sets :sets :wild x)
453
454 (defun xref-result (fspecs)
455 (loop for fspec in fspecs
456 append (fspec-definition-locations fspec)))
457
458 ;; list-callers implemented by groveling through all fbound symbols.
459 ;; Only symbols are considered. Functions in the constant pool are
460 ;; searched recursively. Closure environments are ignored at the
461 ;; moment (constants in methods are therefore not found).
462
463 (defun map-function-constants (function fn depth)
464 "Call FN with the elements of FUNCTION's constant pool."
465 (do ((i 0 (1+ i))
466 (max (excl::function-constant-count function)))
467 ((= i max))
468 (let ((c (excl::function-constant function i)))
469 (cond ((and (functionp c)
470 (not (eq c function))
471 (plusp depth))
472 (map-function-constants c fn (1- depth)))
473 (t
474 (funcall fn c))))))
475
476 (defun in-constants-p (fun symbol)
477 (map-function-constants fun
478 (lambda (c)
479 (when (eq c symbol)
480 (return-from in-constants-p t)))
481 3))
482
483 (defun function-callers (name)
484 (let ((callers '()))
485 (do-all-symbols (sym)
486 (when (fboundp sym)
487 (let ((fn (fdefinition sym)))
488 (when (in-constants-p fn name)
489 (push sym callers)))))
490 callers))
491
492 (defimplementation list-callers (name)
493 (xref-result (function-callers name)))
494
495 (defimplementation list-callees (name)
496 (let ((result '()))
497 (map-function-constants (fdefinition name)
498 (lambda (c)
499 (when (fboundp c)
500 (push c result)))
501 2)
502 (xref-result result)))
503
504 ;;;; Profiling
505
506 ;; Per-function profiling based on description in
507 ;; http://www.franz.com/support/documentation/8.0/doc/runtime-analyzer.htm#data-collection-control-2
508
509 (defvar *profiled-functions* ())
510 (defvar *profile-depth* 0)
511
512 (defmacro with-redirected-y-or-n-p (&body body)
513 ;; If the profiler is restarted when the data from the previous
514 ;; session is not reported yet, the user is warned via Y-OR-N-P.
515 ;; As the CL:Y-OR-N-P question is (for some reason) not directly
516 ;; sent to the Slime user, the function CL:Y-OR-N-P is temporarily
517 ;; overruled.
518 `(let* ((pkg (find-package "common-lisp"))
519 (saved-pdl (excl::package-definition-lock pkg))
520 (saved-ynp (symbol-function 'cl:y-or-n-p)))
521
522 (setf (excl::package-definition-lock pkg) nil
523 (symbol-function 'cl:y-or-n-p) (symbol-function
524 (find-symbol "y-or-n-p-in-emacs"
525 "swank")))
526 (unwind-protect
527 (progn ,@body)
528
529 (setf (symbol-function 'cl:y-or-n-p) saved-ynp
530 (excl::package-definition-lock pkg) saved-pdl))))
531
532 (defun start-acl-profiler ()
533 (with-redirected-y-or-n-p
534 (prof:start-profiler :type :time :count t
535 :start-sampling-p nil :verbose nil)))
536 (defun acl-profiler-active-p ()
537 (not (eq (prof:profiler-status :verbose nil) :inactive)))
538
539 (defun stop-acl-profiler ()
540 (prof:stop-profiler :verbose nil))
541
542 (excl:def-fwrapper profile-fwrapper (&rest args)
543 ;; Ensures sampling is done during the execution of the function,
544 ;; taking into account recursion.
545 (declare (ignore args))
546 (cond ((zerop *profile-depth*)
547 (let ((*profile-depth* (1+ *profile-depth*)))
548 (prof:start-sampling)
549 (unwind-protect (excl:call-next-fwrapper)
550 (prof:stop-sampling))))
551 (t
552 (excl:call-next-fwrapper))))
553
554 (defimplementation profile (fname)
555 (unless (acl-profiler-active-p)
556 (start-acl-profiler))
557 (excl:fwrap fname 'profile-fwrapper 'profile-fwrapper)
558 (push fname *profiled-functions*))
559
560 (defimplementation profiled-functions ()
561 *profiled-functions*)
562
563 (defimplementation unprofile (fname)
564 (excl:funwrap fname 'profile-fwrapper)
565 (setq *profiled-functions* (remove fname *profiled-functions*)))
566
567 (defimplementation profile-report ()
568 (prof:show-flat-profile :verbose nil)
569 (when *profiled-functions*
570 (start-acl-profiler)))
571
572 (defimplementation profile-reset ()
573 (when (acl-profiler-active-p)
574 (stop-acl-profiler)
575 (start-acl-profiler))
576 "Reset profiling counters.")
577
578 ;;;; Inspecting
579
580 (excl:without-redefinition-warnings
581 (defmethod emacs-inspect ((o t))
582 (allegro-inspect o)))
583
584 (defmethod emacs-inspect ((o function))
585 (allegro-inspect o))
586
587 (defmethod emacs-inspect ((o standard-object))
588 (allegro-inspect o))
589
590 (defun allegro-inspect (o)
591 (loop for (d dd) on (inspect::inspect-ctl o)
592 append (frob-allegro-field-def o d)
593 until (eq d dd)))
594
595 (defun frob-allegro-field-def (object def)
596 (with-struct (inspect::field-def- name type access) def
597 (ecase type
598 ((:unsigned-word :unsigned-byte :unsigned-natural
599 :unsigned-long :unsigned-half-long
600 :unsigned-3byte)
601 (label-value-line name (inspect::component-ref-v object access type)))
602 ((:lisp :value :func)
603 (label-value-line name (inspect::component-ref object access)))
604 (:indirect
605 (destructuring-bind (prefix count ref set) access
606 (declare (ignore set prefix))
607 (loop for i below (funcall count object)
608 append (label-value-line (format nil "~A-~D" name i)
609 (funcall ref object i))))))))
610
611 ;;;; Multithreading
612
613 (defimplementation initialize-multiprocessing (continuation)
614 (mp:start-scheduler)
615 (funcall continuation))
616
617 (defimplementation spawn (fn &key name)
618 (mp:process-run-function name fn))
619
620 (defvar *id-lock* (mp:make-process-lock :name "id lock"))
621 (defvar *thread-id-counter* 0)
622
623 (defimplementation thread-id (thread)
624 (mp:with-process-lock (*id-lock*)
625 (or (getf (mp:process-property-list thread) 'id)
626 (setf (getf (mp:process-property-list thread) 'id)
627 (incf *thread-id-counter*)))))
628
629 (defimplementation find-thread (id)
630 (find id mp:*all-processes*
631 :key (lambda (p) (getf (mp:process-property-list p) 'id))))
632
633 (defimplementation thread-name (thread)
634 (mp:process-name thread))
635
636 (defimplementation thread-status (thread)
637 (format nil "~A ~D" (mp:process-whostate thread)
638 (mp:process-priority thread)))
639
640 (defimplementation make-lock (&key name)
641 (mp:make-process-lock :name name))
642
643 (defimplementation call-with-lock-held (lock function)
644 (mp:with-process-lock (lock) (funcall function)))
645
646 (defimplementation current-thread ()
647 mp:*current-process*)
648
649 (defimplementation all-threads ()
650 (copy-list mp:*all-processes*))
651
652 (defimplementation interrupt-thread (thread fn)
653 (mp:process-interrupt thread fn))
654
655 (defimplementation kill-thread (thread)
656 (mp:process-kill thread))
657
658 (defvar *mailbox-lock* (mp:make-process-lock :name "mailbox lock"))
659
660 (defstruct (mailbox (:conc-name mailbox.))
661 (lock (mp:make-process-lock :name "process mailbox"))
662 (queue '() :type list)
663 (gate (mp:make-gate nil)))
664
665 (defun mailbox (thread)
666 "Return THREAD's mailbox."
667 (mp:with-process-lock (*mailbox-lock*)
668 (or (getf (mp:process-property-list thread) 'mailbox)
669 (setf (getf (mp:process-property-list thread) 'mailbox)
670 (make-mailbox)))))
671
672 (defimplementation send (thread message)
673 (let* ((mbox (mailbox thread)))
674 (mp:with-process-lock ((mailbox.lock mbox))
675 (setf (mailbox.queue mbox)
676 (nconc (mailbox.queue mbox) (list message)))
677 (mp:open-gate (mailbox.gate mbox)))))
678
679 (defimplementation receive-if (test &optional timeout)
680 (let ((mbox (mailbox mp:*current-process*)))
681 (assert (or (not timeout) (eq timeout t)))
682 (loop
683 (check-slime-interrupts)
684 (mp:with-process-lock ((mailbox.lock mbox))
685 (let* ((q (mailbox.queue mbox))
686 (tail (member-if test q)))
687 (when tail
688 (setf (mailbox.queue mbox) (nconc (ldiff q tail) (cdr tail)))
689 (return (car tail)))
690 (mp:close-gate (mailbox.gate mbox))))
691 (when (eq timeout t) (return (values nil t)))
692 (mp:process-wait-with-timeout "receive-if" 0.5
693 #'mp:gate-open-p (mailbox.gate mbox)))))
694
695 (defimplementation quit-lisp ()
696 (excl:exit 0 :quiet t))
697
698
699 ;;Trace implementations
700 ;;In Allegro 7.0, we have:
701 ;; (trace <name>)
702 ;; (trace ((method <name> <qualifier>? (<specializer>+))))
703 ;; (trace ((labels <name> <label-name>)))
704 ;; (trace ((labels (method <name> (<specializer>+)) <label-name>)))
705 ;; <name> can be a normal name or a (setf name)
706
707 (defimplementation toggle-trace (spec)
708 (ecase (car spec)
709 ((setf)
710 (toggle-trace-aux spec))
711 (:defgeneric (toggle-trace-generic-function-methods (second spec)))
712 ((setf :defmethod :labels :flet)
713 (toggle-trace-aux (process-fspec-for-allegro spec)))
714 (:call
715 (destructuring-bind (caller callee) (cdr spec)
716 (toggle-trace-aux callee
717 :inside (list (process-fspec-for-allegro caller)))))))
718
719 (defun tracedp (fspec)
720 (member fspec (eval '(trace)) :test #'equal))
721
722 (defun toggle-trace-aux (fspec &rest args)
723 (cond ((tracedp fspec)
724 (eval `(untrace ,fspec))
725 (format nil "~S is now untraced." fspec))
726 (t
727 (eval `(trace (,fspec ,@args)))
728 (format nil "~S is now traced." fspec))))
729
730 (defun toggle-trace-generic-function-methods (name)
731 (let ((methods (mop:generic-function-methods (fdefinition name))))
732 (cond ((tracedp name)
733 (eval `(untrace ,name))
734 (dolist (method methods (format nil "~S is now untraced." name))
735 (excl:funtrace (mop:method-function method))))
736 (t
737 (eval `(trace (,name)))
738 (dolist (method methods (format nil "~S is now traced." name))
739 (excl:ftrace (mop:method-function method)))))))
740
741 (defun process-fspec-for-allegro (fspec)
742 (cond ((consp fspec)
743 (ecase (first fspec)
744 ((setf) fspec)
745 ((:defun :defgeneric) (second fspec))
746 ((:defmethod) `(method ,@(rest fspec)))
747 ((:labels) `(labels ,(process-fspec-for-allegro (second fspec))
748 ,(third fspec)))
749 ((:flet) `(flet ,(process-fspec-for-allegro (second fspec))
750 ,(third fspec)))))
751 (t
752 fspec)))
753
754
755 ;;;; Weak hashtables
756
757 (defimplementation make-weak-key-hash-table (&rest args)
758 (apply #'make-hash-table :weak-keys t args))
759
760 (defimplementation make-weak-value-hash-table (&rest args)
761 (apply #'make-hash-table :values :weak args))
762
763 (defimplementation hash-table-weakness (hashtable)
764 (cond ((excl:hash-table-weak-keys hashtable) :key)
765 ((eq (excl:hash-table-values hashtable) :weak) :value)))
766
767
768
769 ;;;; Character names
770
771 (defimplementation character-completion-set (prefix matchp)
772 (loop for name being the hash-keys of excl::*name-to-char-table*
773 when (funcall matchp prefix name)
774 collect (string-capitalize name)))

  ViewVC Help
Powered by ViewVC 1.1.5