Mercurial > emacs
annotate lisp/emacs-lisp/profile.el @ 15314:796d825f4444
(reset_modifiers): Only clear a modifier if the modifier key has been
detected to have been released since Emacs lost focus.
(win32_wnd_proc): Have Windows translate VK_NUMLOCK and VK_SCROLL key
downs; don't reset the modifier state when Emacs loses focus.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Sat, 01 Jun 1996 12:19:27 +0000 |
parents | 7d2e0f0d9bf7 |
children | 8895613b61dd |
rev | line source |
---|---|
2233
fb0ed5a1d0f3
Add standard library headers.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
845
diff
changeset
|
1 ;;; profile.el --- generate run time measurements of Emacs Lisp functions |
789
71d052f72ac1
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
655
diff
changeset
|
2 |
7298 | 3 ;; Copyright (C) 1992, 1994 Free Software Foundation, Inc. |
845 | 4 |
789
71d052f72ac1
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
655
diff
changeset
|
5 ;; Author: Boaz Ben-Zvi <boaz@lcs.mit.edu> |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
792
diff
changeset
|
6 ;; Created: 07 Feb 1992 |
789
71d052f72ac1
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
655
diff
changeset
|
7 ;; Version: 1.0 |
71d052f72ac1
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
655
diff
changeset
|
8 ;; Adapted-By: ESR |
814
38b2499cb3e9
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
807
diff
changeset
|
9 ;; Keywords: lisp, tools |
655 | 10 |
11 ;; This file is part of GNU Emacs. | |
12 | |
13 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
14 ;; it under the terms of the GNU General Public License as published by | |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
792
diff
changeset
|
15 ;; the Free Software Foundation; either version 2, or (at your option) |
655 | 16 ;; any later version. |
17 | |
18 ;; GNU Emacs is distributed in the hope that it will be useful, | |
19 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
21 ;; GNU General Public License for more details. | |
22 | |
23 ;; You should have received a copy of the GNU General Public License | |
14169 | 24 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
25 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
26 ;; Boston, MA 02111-1307, USA. | |
655 | 27 |
789
71d052f72ac1
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
655
diff
changeset
|
28 ;;; Commentary: |
655 | 29 |
14169 | 30 ;; DESCRIPTION: |
31 ;; ------------ | |
32 ;; This program can be used to monitor running time performance of Emacs Lisp | |
33 ;; functions. It takes a list of functions and report the real time spent | |
34 ;; inside these functions. It runs a process with a separate timer program. | |
35 ;; Caveat: the C code in ../lib-src/profile.c requires BSD-compatible | |
36 ;; time-of-day functions. If you're running an AT&T version prior to SVr4, | |
37 ;; you may have difficulty getting it to work. Your X library may supply | |
38 ;; the required routines if the standard C library does not. | |
655 | 39 |
14169 | 40 ;; HOW TO USE: |
41 ;; ----------- | |
42 ;; Set the variable profile-functions-list to the list of functions | |
43 ;; (as symbols) You want to profile. Call M-x profile-functions to set | |
44 ;; this list on and start using your program. Note that profile-functions | |
45 ;; MUST be called AFTER all the functions in profile-functions-list have | |
46 ;; been loaded !! (This call modifies the code of the profiled functions. | |
47 ;; Hence if you reload these functions, you need to call profile-functions | |
48 ;; again! ). | |
49 ;; To display the results do M-x profile-results . For example: | |
50 ;;------------------------------------------------------------------- | |
51 ;; (setq profile-functions-list '(sokoban-set-mode-line sokoban-load-game | |
52 ;; sokoban-move-vertical sokoban-move)) | |
53 ;; (load "sokoban") | |
54 ;; M-x profile-functions | |
55 ;; ... I play the sokoban game .......... | |
56 ;; M-x profile-results | |
57 ;; | |
58 ;; Function Time (Seconds.Useconds) | |
59 ;; ======== ======================= | |
60 ;; sokoban-move 0.539088 | |
61 ;; sokoban-move-vertical 0.410130 | |
62 ;; sokoban-load-game 0.453235 | |
63 ;; sokoban-set-mode-line 1.949203 | |
64 ;;----------------------------------------------------- | |
65 ;; To clear all the settings to profile use profile-finish. | |
66 ;; To set one function at a time (instead of or in addition to setting the | |
67 ;; above list and M-x profile-functions) use M-x profile-a-function. | |
655 | 68 |
789
71d052f72ac1
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
655
diff
changeset
|
69 ;;; Code: |
71d052f72ac1
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
655
diff
changeset
|
70 |
655 | 71 ;;; |
72 ;;; User modifiable VARIABLES | |
73 ;;; | |
74 | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
75 (defvar profile-functions-list nil "*List of functions to profile.") |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
76 (defvar profile-timer-program |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
77 (concat exec-directory "profile") |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
78 "*Name of the profile timer program.") |
655 | 79 |
80 ;;; | |
81 ;;; V A R I A B L E S | |
82 ;;; | |
83 | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
84 (defvar profile-timer-process nil "Process running the timer.") |
655 | 85 (defvar profile-time-list nil |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
86 "List of accumulative time for each profiled function.") |
655 | 87 (defvar profile-init-list nil |
88 "List of entry time for each function. \n\ | |
89 Both how many times invoked and real time of start.") | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
90 (defvar profile-max-fun-name 0 "Max length of name of any function profiled.") |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
91 (defvar profile-temp-result- nil "Should NOT be used anywhere else.") |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
92 (defvar profile-time (cons 0 0) "Used to return result from a filter.") |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
93 (defvar profile-buffer "*profile*" "Name of profile buffer.") |
655 | 94 |
95 ;;; | |
96 ;;; F U N C T I O N S | |
97 ;;; | |
98 | |
99 (defun profile-functions (&optional flist) | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
100 "Profile all the functions listed in `profile-functions-list'.\n\ |
655 | 101 With argument FLIST, use the list FLIST instead." |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
102 (interactive "*P") |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
103 (if (null flist) (setq flist profile-functions-list)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
104 (mapcar 'profile-a-function flist)) |
655 | 105 |
106 (defun profile-filter (process input) | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
107 "Filter for the timer process. Sets `profile-time' to the returned time." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
108 (if (zerop (string-match "\\." input)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
109 (error "Bad output from %s" profile-timer-program) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
110 (setcar profile-time |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
111 (string-to-int (substring input 0 (match-beginning 0)))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
112 (setcdr profile-time |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
113 (string-to-int (substring input (match-end 0)))))) |
655 | 114 |
115 | |
116 (defun profile-print (entry) | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
117 "Print one ENTRY (from `profile-time-list')." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
118 (let ((time (cdr entry)) str (offset 5)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
119 (insert (format "%s" (car entry)) space) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
120 (move-to-column ref-column) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
121 (setq str (int-to-string (car time))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
122 (insert str) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
123 (if (>= (length str) offset) nil |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
124 (move-to-column ref-column) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
125 (insert (substring spaces 0 (- offset (length str)))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
126 (forward-char (length str))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
127 (setq str (int-to-string (cdr time))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
128 (insert "." (substring "000000" 0 (- 6 (length str))) str "\n"))) |
655 | 129 |
130 (defconst spaces " ") | |
131 | |
132 (defun profile-results () | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
133 "Display profiling results in the buffer `*profile*'. |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
134 \(The buffer name comes from `profile-buffer'.)" |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
135 (interactive) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
136 (let* ((ref-column (+ 8 profile-max-fun-name)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
137 (space (substring spaces 0 ref-column))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
138 (switch-to-buffer profile-buffer) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
139 (erase-buffer) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
140 (insert "Function" space) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
141 (move-to-column ref-column) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
142 (insert "Time (Seconds.Useconds)\n" "========" space ) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
143 (move-to-column ref-column) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
144 (insert "=======================\n") |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
145 (mapcar 'profile-print profile-time-list))) |
655 | 146 |
147 (defun profile-reset-timer () | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
148 (process-send-string profile-timer-process "z\n")) |
655 | 149 |
150 (defun profile-check-zero-init-times (entry) | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
151 "If ENTRY has non zero time, give an error." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
152 (let ((time (cdr (cdr entry)))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
153 (if (and (zerop (car time)) (zerop (cdr time))) nil ; OK |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
154 (error "Process timer died while making performance profile.")))) |
655 | 155 |
156 (defun profile-get-time () | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
157 "Get time from timer process into `profile-time'." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
158 ;; first time or if process dies |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
159 (if (and (processp profile-timer-process) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
160 (eq 'run (process-status profile-timer-process))) nil |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
161 (setq profile-timer-process;; [re]start the timer process |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
162 (start-process "timer" |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
163 (get-buffer-create profile-buffer) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
164 profile-timer-program)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
165 (set-process-filter profile-timer-process 'profile-filter) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
166 (process-kill-without-query profile-timer-process) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
167 (profile-reset-timer) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
168 ;; check if timer died during time measurement |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
169 (mapcar 'profile-check-zero-init-times profile-init-list)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
170 ;; make timer process return current time |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
171 (process-send-string profile-timer-process "p\n") |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
172 (accept-process-output)) |
655 | 173 |
174 (defun profile-find-function (fun flist) | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
175 "Linear search for FUN in FLIST." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
176 (if (null flist) nil |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
177 (if (eq fun (car (car flist))) (cdr (car flist)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
178 (profile-find-function fun (cdr flist))))) |
655 | 179 |
180 (defun profile-start-function (fun) | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
181 "On entry, keep current time for function FUN." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
182 ;; assumes that profile-time contains the current time |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
183 (let ((init-time (profile-find-function fun profile-init-list))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
184 (if (null init-time) (error "Function %s missing from list" fun)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
185 (if (not (zerop (car init-time)));; is it a recursive call ? |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
186 (setcar init-time (1+ (car init-time))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
187 (setcar init-time 1) ; mark first entry |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
188 (setq init-time (cdr init-time)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
189 (setcar init-time (car profile-time)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
190 (setcdr init-time (cdr profile-time))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
191 )) |
655 | 192 |
193 (defconst profile-million 1000000) | |
194 | |
195 (defun profile-update-function (fun) | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
196 "When the call to the function FUN is finished, add its run time." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
197 ;; assumes that profile-time contains the current time |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
198 (let ((init-time (profile-find-function fun profile-init-list)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
199 (accum (profile-find-function fun profile-time-list)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
200 sec usec) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
201 (if (or (null init-time) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
202 (null accum)) (error "Function %s missing from list" fun)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
203 (setcar init-time (1- (car init-time))) ; pop one level in recursion |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
204 (if (not (zerop (car init-time))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
205 nil ; in some recursion level, do not update accum. time |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
206 (setq init-time (cdr init-time)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
207 (setq sec (- (car profile-time) (car init-time)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
208 usec (- (cdr profile-time) (cdr init-time))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
209 (setcar init-time 0) ; reset time to check for error |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
210 (setcdr init-time 0) ; in case timer process dies |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
211 (if (>= usec 0) nil |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
212 (setq usec (+ usec profile-million)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
213 (setq sec (1- sec))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
214 (setcar accum (+ sec (car accum))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
215 (setcdr accum (+ usec (cdr accum))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
216 (if (< (cdr accum) profile-million) nil |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
217 (setcar accum (1+ (car accum))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
218 (setcdr accum (- (cdr accum) profile-million))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
219 ))) |
655 | 220 |
14791
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
221 (defun profile-convert-byte-code (function) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
222 (let ((defn (symbol-function function))) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
223 (if (byte-code-function-p defn) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
224 ;; It is a compiled code object. |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
225 (let* ((contents (append defn nil)) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
226 (body |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
227 (list (list 'byte-code (nth 1 contents) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
228 (nth 2 contents) (nth 3 contents))))) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
229 (if (nthcdr 5 contents) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
230 (setq body (cons (list 'interactive (nth 5 contents)) body))) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
231 (if (nth 4 contents) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
232 ;; Use `documentation' here, to get the actual string, |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
233 ;; in case the compiled function has a reference |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
234 ;; to the .elc file. |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
235 (setq body (cons (documentation function) body))) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
236 (fset function (cons 'lambda (cons (car contents) body))))))) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
237 |
655 | 238 (defun profile-a-function (fun) |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
239 "Profile the function FUN." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
240 (interactive "aFunction to profile: ") |
14791
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
241 (profile-convert-byte-code fun) |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
242 (let ((def (symbol-function fun)) (funlen (length (symbol-name fun)))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
243 (if (eq (car def) 'lambda) nil |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
244 (error "To profile: %s must be a user-defined function" fun)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
245 (setq profile-time-list ; add a new entry |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
246 (cons (cons fun (cons 0 0)) profile-time-list)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
247 (setq profile-init-list ; add a new entry |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
248 (cons (cons fun (cons 0 (cons 0 0))) profile-init-list)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
249 (if (< profile-max-fun-name funlen) (setq profile-max-fun-name funlen)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
250 (fset fun (profile-fix-fun fun def)))) |
655 | 251 |
252 (defun profile-fix-fun (fun def) | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
253 "Take function FUN and return it fixed for profiling.\n\ |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
254 DEF is (symbol-function FUN)." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
255 (let (prefix first second third (count 2) inter suffix) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
256 (if (< (length def) 3) nil ; nothing to see |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
257 (setq first (car def) second (car (cdr def)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
258 third (car (nthcdr 2 def))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
259 (setq prefix (list first second)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
260 (if (and (stringp third) (< (length def) 3)) nil ; nothing to see |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
261 (if (not (stringp third)) (setq inter third) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
262 (setq count 3 ; suffix to start after doc string |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
263 prefix (nconc prefix (list third)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
264 inter (car (nthcdr 3 def))) ; fourth sexp |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
265 ) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
266 (if (not (and (listp inter) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
267 (eq (car inter) 'interactive))) nil |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
268 (setq prefix (nconc prefix (list inter))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
269 (setq count (1+ count))) ; skip this sexp for suffix |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
270 (setq suffix (nthcdr count def)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
271 (if (equal (car suffix) '(profile-get-time)) nil;; already set |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
272 ;; prepare new function |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
273 (nconc prefix |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
274 (list '(profile-get-time)) ; read time |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
275 (list (list 'profile-start-function |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
276 (list 'quote fun))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
277 (list (list 'setq 'profile-temp-result- |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
278 (nconc (list 'progn) suffix))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
279 (list '(profile-get-time)) ; read time |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
280 (list (list 'profile-update-function |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
281 (list 'quote fun))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
282 (list 'profile-temp-result-) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
283 )))))) |
655 | 284 |
285 (defun profile-restore-fun (fun) | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
286 "Restore profiled function FUN to its original state." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
287 (let ((def (symbol-function (car fun))) body index) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
288 ;; move index beyond header |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
289 (setq index (cdr def)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
290 (if (stringp (car (cdr index))) (setq index (cdr index))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
291 (if (and (listp (car (cdr index))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
292 (eq (car (car (cdr index))) 'interactive)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
293 (setq index (cdr index))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
294 (setq body (car (nthcdr 3 index))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
295 (if (and (listp body) ; the right element ? |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
296 (eq (car (cdr body)) 'profile-temp-result-)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
297 (setcdr index (cdr (car (cdr (cdr body)))))))) |
655 | 298 |
299 (defun profile-finish () | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
300 "Stop profiling functions. Clear all the settings." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
301 (interactive) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
302 (mapcar 'profile-restore-fun profile-time-list) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
303 (setq profile-max-fun-name 0) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
304 (setq profile-time-list nil) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
305 (setq profile-init-list nil)) |
655 | 306 |
307 (defun profile-quit () | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
308 "Kill the timer process." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
309 (interactive) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
310 (process-send-string profile-timer-process "q\n")) |
655 | 311 |
2233
fb0ed5a1d0f3
Add standard library headers.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
845
diff
changeset
|
312 ;;; profile.el ends here |