source: trunk/source/level-1/l1-events.lisp @ 12090

Last change on this file since 12090 was 12090, checked in by gz, 10 years ago

Add ccl:*break-hook*; Also make c signal a specific condition class, ccl:interrupt-signal-condition

  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 9.8 KB
Line 
1;;;-*-Mode: LISP; Package: CCL -*-
2;;;
3;;;   Copyright (C) 1994-2001 Digitool, Inc
4;;;   This file is part of OpenMCL. 
5;;;
6;;;   OpenMCL is licensed under the terms of the Lisp Lesser GNU Public
7;;;   License , known as the LLGPL and distributed with OpenMCL as the
8;;;   file "LICENSE".  The LLGPL consists of a preamble and the LGPL,
9;;;   which is distributed with OpenMCL as the file "LGPL".  Where these
10;;;   conflict, the preamble takes precedence. 
11;;;
12;;;   OpenMCL is referenced in the preamble as the "LIBRARY."
13;;;
14;;;   The LLGPL is also available online at
15;;;   http://opensource.franz.com/preamble.html
16
17(in-package "CCL")
18
19(defvar *inhibit-abort* nil)
20
21;;; If any bits in the *periodic-task-mask* are set in the
22;;; ptaskstate.flags word of a periodic task, it will not be run
23(defvar *periodic-task-mask* 0)
24
25(defmethod print-object ((p periodic-task) stream)
26  (print-unreadable-object (p stream :type t :identity t)
27    (format stream "~s ~d"
28            (ptask.name p)
29            (ptaskstate.interval (ptask.state p)))))
30
31(defvar *periodic-task-lock* (make-lock))
32
33(defun find-named-periodic-task (name)
34  (dolist (task *%periodic-tasks%*)
35    (when (eq name (ptask.name task))
36      (return task))))
37
38(defun %install-periodic-task (name function interval &optional 
39                                    (flags 0)
40                                    (privatedata (%null-ptr)))
41  (with-lock-grabbed (*periodic-task-lock*)
42   (let* ((already (find-named-periodic-task name))
43          (state (if already (ptask.state already)
44                   (%istruct 'ptaskstate 0 0 0 0)))
45          (task (or already (%istruct 'periodic-task state name nil))))
46     (setf (ptask.function task) function)
47     (setf (ptaskstate.interval state) interval
48           (ptaskstate.flags state ) flags
49           (ptaskstate.privatedata state) privatedata
50           (ptaskstate.nexttick state) (+ (get-tick-count) interval))
51     (unless already (push task *%periodic-tasks%*))
52     (let* ((interval-in-seconds (/ interval (float *ticks-per-second*))))
53       (if (< interval-in-seconds *periodic-task-interval*)
54         (set-periodic-task-interval interval-in-seconds)))
55     task)))
56
57(defmacro with-periodic-task-mask ((mask) &body body)
58  (let ((thunk (gensym)))
59    `(let ((,thunk #'(lambda () ,@body)))
60       (funcall-with-periodic-task-mask ,mask ,thunk))))
61
62(defvar *periodic-task-masks* nil)
63
64; All this hair is so that multiple processes can vote on the *periodic-task-mask*
65(defun funcall-with-periodic-task-mask (mask  thunk)
66  (let* ((cell (list mask)))
67    (declare (dynamic-extent cell))
68    (flet ((logior-list (list)
69             (declare (type list list))
70             (let ((res 0))
71               (declare (fixnum res))
72               (loop
73                 (when (null list) (return res))
74                 (setq res (%ilogior res (pop list)))))))
75      (declare (inline logior-list))
76      (unwind-protect
77        (progn
78          (without-interrupts
79           (setf (cdr cell) *periodic-task-masks*
80                 *periodic-task-masks* cell)
81           (setq *periodic-task-mask* (logior-list *periodic-task-masks*))
82)
83          (funcall thunk))
84        (without-interrupts
85         (let* ((first *periodic-task-masks*)
86                (this first)
87                (last nil))
88           (declare (type cons first this last))
89           (loop
90             (when (eq this cell)
91               (if last
92                 (setf (cdr last) (cdr this))
93                 (pop first))
94               (return (setq *periodic-task-masks* first)))
95             (setq last this
96                   this (cdr this))))
97         (setq *periodic-task-mask* (logior-list *periodic-task-masks*)))))))
98
99(defparameter *invoke-debugger-hook-on-interrupt* nil)
100
101(define-condition interrupt-signal-condition (condition) ()
102  (:report "interrupt signal"))
103
104(defun force-break-in-listener (p)
105  (process-interrupt p
106                     #'(lambda ()
107                         (let* ((condition (make-condition 'interrupt-signal-condition)))
108                           (ignoring-without-interrupts
109                            (when *invoke-debugger-hook-on-interrupt*
110                              (let* ((hook *debugger-hook*)
111                                     (*debugger-hook* nil))
112                                (when hook
113                                  (funcall hook condition hook))))
114                            (%break-in-frame
115                             #+ppc-target *fake-stack-frames*
116                             #+x86-target (or (let* ((xcf (%current-xcf)))
117                                                (if xcf
118                                                  (%%frame-backlink xcf)))
119                                              (%get-frame-ptr))
120                             condition)
121                            (clear-input *terminal-io*))))))
122
123(defglobal *quit-interrupt-hook* nil)
124
125(defun force-async-quit ()
126  (when *quit-interrupt-hook*
127    (funcall *quit-interrupt-hook*))
128  (quit 143))
129
130(defstatic *running-periodic-tasks* nil)
131
132(defun cmain ()
133  (thread-handle-interrupts))
134
135(defun select-interactive-abort-process (&aux proc)
136  (or (and (setq proc *interactive-abort-process*)
137           (process-active-p proc)
138           proc)
139      (let* ((sr (input-stream-shared-resource *terminal-input*)))
140        (when sr
141          (or (and (setq proc (shared-resource-current-owner sr))
142                   (process-active-p proc)
143                   proc)
144              (and (setq proc (shared-resource-primary-owner sr))
145                   (process-active-p proc)
146                   proc))))))
147
148(defun handle-gc-hooks ()
149  (let ((bits *gc-event-status-bits*))
150    (declare (fixnum bits))
151    (cond ((logbitp $gc-postgc-pending-bit bits)
152           (setq *gc-event-status-bits*
153                 (logand (lognot (ash 1 $gc-postgc-pending-bit))
154                         bits))
155           (let ((f *post-gc-hook*))
156             (when (functionp f) (funcall f)))))))
157
158(defconstant $user-interrupt-break 1)
159(defconstant $user-interrupt-quit 2)
160
161(defun housekeeping ()
162  (progn
163    (handle-gc-hooks)
164    (unless *inhibit-abort*
165      (let ((id (pending-user-interrupt)))
166        (cond ((eql id $user-interrupt-quit)
167               ;; Doesn't matter where it happens, but try to use a process that
168               ;; has a shot at reporting any problems in user hook.
169               (let* ((proc (or (select-interactive-abort-process)
170                                *initial-process*)))
171                 (process-interrupt proc #'force-async-quit)))
172              ((eql id $user-interrupt-break)
173               (let* ((proc (select-interactive-abort-process)))
174                 (if proc
175                   (force-break-in-listener proc)))))))
176    (flet ((maybe-run-periodic-task (task)
177             (let ((now (get-tick-count))
178                   (state (ptask.state task)))
179               (when (and (>= (- now (ptaskstate.nexttick state))
180                              0)
181                          (eql 0 (logand (the fixnum (ptaskstate.flags state))
182                                         (the fixnum *periodic-task-mask*))))
183                 (setf (ptaskstate.nexttick state)
184                       (+ now (ptaskstate.interval state)))
185                 (funcall (ptask.function task))))))
186      (let ((event-dispatch-task *event-dispatch-task*))
187        (maybe-run-periodic-task event-dispatch-task)
188        (with-lock-grabbed (*periodic-task-lock*)
189          (bitclrf $gc-allow-stack-overflows-bit *gc-event-status-bits*)
190          (unless *running-periodic-tasks*
191            (let-globally ((*running-periodic-tasks* t))
192              (dolist (task *%periodic-tasks%*)
193                (unless (eq task event-dispatch-task)
194                  (maybe-run-periodic-task task))))))))))
195
196
197(defun %remove-periodic-task (name)
198  (with-lock-grabbed (*periodic-task-lock*)
199    (let ((task (find-named-periodic-task name)))
200      (when task
201        (if (setq *%periodic-tasks%* (delete task *%periodic-tasks%*))
202          (let* ((min-ticks target::target-most-positive-fixnum))
203            (dolist (other *%periodic-tasks%*
204                     (set-periodic-task-interval (/ min-ticks (float *ticks-per-second*))))
205              (let* ((other-ticks
206                      (ptaskstate.interval (ptask.state other))))
207                (if (< other-ticks min-ticks)
208                  (setq min-ticks other-ticks)))))
209          (set-periodic-task-interval 1)))
210      task)))
211
212
213(defun auto-flush-interactive-streams ()
214  (with-lock-grabbed (*auto-flush-streams-lock*)
215    (dolist (s *auto-flush-streams*)
216      (when (open-stream-p s)
217        (if (or (typep s 'basic-stream)
218                (typep s 'buffered-io-stream-mixin))
219          (if (ioblock-outbuf-lock (stream-ioblock s t))
220            (force-output s)))
221        (force-output s)))))
222
223(defun add-auto-flush-stream (s)
224  (with-lock-grabbed (*auto-flush-streams-lock*)
225    (when (typep s 'output-stream)
226      (pushnew s *auto-flush-streams*))))
227     
228(defun remove-auto-flush-stream (s)
229  (with-lock-grabbed (*auto-flush-streams-lock*)
230    (setq *auto-flush-streams* (delete s *auto-flush-streams*))))
231
232; Is it really necessary to keep this guy in a special variable ?
233(defloadvar *event-dispatch-task* 
234  (%install-periodic-task 
235   'auto-flush-interactive-streams
236   'auto-flush-interactive-streams
237   33
238   (+ $ptask_draw-flag $ptask_event-dispatch-flag)))
239
240
241(defun event-ticks ()
242  (let ((task *event-dispatch-task*))
243    (when task (ptaskstate.interval (ptask.state task)))))
244
245(defun set-event-ticks (n)
246  (setq n (require-type n '(integer 0 32767)))   ;  Why this weird limit ?
247  (let ((task *event-dispatch-task*))
248    (when task (setf (ptaskstate.interval (ptask.state task)) n))))
249
250;; Making the *initial-process* quit will cause an exit(),
251;; though it might be nicer if all processes were shut down
252;; in an orderly manner first.  This is the not-so-nice way
253;; of quitting ...
254(defun %quit ()
255  (quit))
256
257
258
259; end of L1-events.lisp
260
Note: See TracBrowser for help on using the repository browser.