Mercurial > emacs
annotate lisp/emacs-lisp/profile.el @ 16637:960c425726cb libc-961208 libc-961209 libc-961210
(PENTIUM:CPunix:4.0*:*): New case.
author | Richard Kenner <kenner@gnu.org> |
---|---|
date | Sat, 07 Dec 1996 22:47:59 +0000 |
parents | 2dacebab0fd4 |
children | 11218164bc54 |
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 |
15535
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
86 "List of cumulative calls and time for each profiled function.") |
655 | 87 (defvar profile-init-list nil |
16375 | 88 "List of entry time for each function. |
655 | 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) | |
16375 | 100 "Profile all the functions listed in `profile-functions-list'. |
655 | 101 With argument FLIST, use the list FLIST instead." |
15535
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
102 (interactive "P") |
5790
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')." |
15535
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
118 (let* ((calls (car (cdr entry))) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
119 (timec (cdr (cdr entry))) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
120 (time (+ (car timec) (/ (cdr timec) (float profile-million)))) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
121 (avgtime 0.0)) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
122 (insert (format (concat "%-" |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
123 (int-to-string profile-max-fun-name) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
124 "s%8d%11d.%06d") |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
125 (car entry) calls (car timec) (cdr timec)) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
126 (if (zerop calls) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
127 "\n" |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
128 (format "%12d.%06d\n" |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
129 (truncate (setq avgtime (/ time calls))) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
130 (truncate (* (- avgtime (ftruncate avgtime)) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
131 profile-million)))) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
132 ))) |
655 | 133 |
134 (defun profile-results () | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
135 "Display profiling results in the buffer `*profile*'. |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
136 \(The buffer name comes from `profile-buffer'.)" |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
137 (interactive) |
15535
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
138 (switch-to-buffer profile-buffer) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
139 (erase-buffer) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
140 (insert "Function" (make-string (- profile-max-fun-name 6) ? )) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
141 (insert " Calls Total time (sec) Avg time per call\n") |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
142 (insert (make-string profile-max-fun-name ?=) " ") |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
143 (insert "====== ================ =================\n") |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
144 (mapcar 'profile-print profile-time-list)) |
655 | 145 |
146 (defun profile-reset-timer () | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
147 (process-send-string profile-timer-process "z\n")) |
655 | 148 |
149 (defun profile-check-zero-init-times (entry) | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
150 "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
|
151 (let ((time (cdr (cdr entry)))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
152 (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
|
153 (error "Process timer died while making performance profile.")))) |
655 | 154 |
155 (defun profile-get-time () | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
156 "Get time from timer process into `profile-time'." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
157 ;; first time or if process dies |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
158 (if (and (processp profile-timer-process) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
159 (eq 'run (process-status profile-timer-process))) nil |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
160 (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
|
161 (start-process "timer" |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
162 (get-buffer-create profile-buffer) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
163 profile-timer-program)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
164 (set-process-filter profile-timer-process 'profile-filter) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
165 (process-kill-without-query profile-timer-process) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
166 (profile-reset-timer) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
167 ;; check if timer died during time measurement |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
168 (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
|
169 ;; make timer process return current time |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
170 (process-send-string profile-timer-process "p\n") |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
171 (accept-process-output)) |
655 | 172 |
173 (defun profile-find-function (fun flist) | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
174 "Linear search for FUN in FLIST." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
175 (if (null flist) nil |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
176 (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
|
177 (profile-find-function fun (cdr flist))))) |
655 | 178 |
179 (defun profile-start-function (fun) | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
180 "On entry, keep current time for function FUN." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
181 ;; assumes that profile-time contains the current time |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
182 (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
|
183 (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
|
184 (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
|
185 (setcar init-time (1+ (car init-time))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
186 (setcar init-time 1) ; mark first entry |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
187 (setq init-time (cdr init-time)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
188 (setcar init-time (car profile-time)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
189 (setcdr init-time (cdr profile-time))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
190 )) |
655 | 191 |
192 (defconst profile-million 1000000) | |
193 | |
194 (defun profile-update-function (fun) | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
195 "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
|
196 ;; assumes that profile-time contains the current time |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
197 (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
|
198 (accum (profile-find-function fun profile-time-list)) |
15535
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
199 calls time sec usec) |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
200 (if (or (null init-time) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
201 (null accum)) (error "Function %s missing from list" fun)) |
15535
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
202 (setq calls (car accum)) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
203 (setq time (cdr accum)) |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
204 (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
|
205 (if (not (zerop (car init-time))) |
15535
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
206 nil ; in some recursion level, |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
207 ; do not update cumulated time |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
208 (setcar accum (1+ calls)) |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
209 (setq init-time (cdr init-time)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
210 (setq sec (- (car profile-time) (car init-time)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
211 usec (- (cdr profile-time) (cdr init-time))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
212 (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
|
213 (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
|
214 (if (>= usec 0) nil |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
215 (setq usec (+ usec profile-million)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
216 (setq sec (1- sec))) |
15535
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
217 (setcar time (+ sec (car time))) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
218 (setcdr time (+ usec (cdr time))) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
219 (if (< (cdr time) profile-million) nil |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
220 (setcar time (1+ (car time))) |
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
221 (setcdr time (- (cdr time) profile-million))) |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
222 ))) |
655 | 223 |
14791
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
224 (defun profile-convert-byte-code (function) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
225 (let ((defn (symbol-function function))) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
226 (if (byte-code-function-p defn) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
227 ;; It is a compiled code object. |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
228 (let* ((contents (append defn nil)) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
229 (body |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
230 (list (list 'byte-code (nth 1 contents) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
231 (nth 2 contents) (nth 3 contents))))) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
232 (if (nthcdr 5 contents) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
233 (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
|
234 (if (nth 4 contents) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
235 ;; 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
|
236 ;; 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
|
237 ;; to the .elc file. |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
238 (setq body (cons (documentation function) body))) |
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
239 (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
|
240 |
655 | 241 (defun profile-a-function (fun) |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
242 "Profile the function FUN." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
243 (interactive "aFunction to profile: ") |
14791
7d2e0f0d9bf7
(profile-convert-byte-code): New function.
Richard M. Stallman <rms@gnu.org>
parents:
14169
diff
changeset
|
244 (profile-convert-byte-code fun) |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
245 (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
|
246 (if (eq (car def) 'lambda) nil |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
247 (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
|
248 (setq profile-time-list ; add a new entry |
15535
8895613b61dd
(profile-functions): No need to assume that the
Richard M. Stallman <rms@gnu.org>
parents:
14791
diff
changeset
|
249 (cons (cons fun (cons 0 (cons 0 0))) profile-time-list)) |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
250 (setq profile-init-list ; add a new entry |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
251 (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
|
252 (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
|
253 (fset fun (profile-fix-fun fun def)))) |
655 | 254 |
255 (defun profile-fix-fun (fun def) | |
16375 | 256 "Take function FUN and return it fixed for profiling. |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
257 DEF is (symbol-function FUN)." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
258 (let (prefix first second third (count 2) inter suffix) |
16375 | 259 (if (< (length def) 3) |
260 nil ; nothing to see | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
261 (setq first (car def) second (car (cdr def)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
262 third (car (nthcdr 2 def))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
263 (setq prefix (list first second)) |
16375 | 264 ;; Skip the doc string, if there is a string |
265 ;; which serves only as a doc string, | |
266 ;; and put it in PREFIX. | |
267 (if (or (not (stringp third)) (not (nthcdr 3 def))) | |
268 ;; Either no doc string, or it is also the function value. | |
269 (setq inter third) | |
270 ;; Skip the doc string, | |
271 (setq count 3 | |
272 prefix (nconc prefix (list third)) | |
273 inter (car (nthcdr 3 def)))) | |
274 ;; Check for an interactive spec. | |
275 ;; If found, put it inu PREFIX and skip it. | |
276 (if (not (and (listp inter) | |
277 (eq (car inter) 'interactive))) | |
278 nil | |
279 (setq prefix (nconc prefix (list inter))) | |
280 (setq count (1+ count))) ; skip this sexp for suffix | |
281 ;; Set SUFFIX to the function body forms. | |
282 (setq suffix (nthcdr count def)) | |
283 (if (equal (car suffix) '(profile-get-time)) | |
284 nil | |
285 ;; Prepare new function definition. | |
286 (nconc prefix | |
287 (list '(profile-get-time)) ; read time | |
288 (list (list 'profile-start-function | |
289 (list 'quote fun))) | |
290 (list (list 'setq 'profile-temp-result- | |
291 (nconc (list 'progn) suffix))) | |
292 (list '(profile-get-time)) ; read time | |
293 (list (list 'profile-update-function | |
294 (list 'quote fun))) | |
295 (list 'profile-temp-result-) | |
296 ))))) | |
655 | 297 |
298 (defun profile-restore-fun (fun) | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
299 "Restore profiled function FUN to its original state." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
300 (let ((def (symbol-function (car fun))) body index) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
301 ;; move index beyond header |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
302 (setq index (cdr def)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
303 (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
|
304 (if (and (listp (car (cdr index))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
305 (eq (car (car (cdr index))) 'interactive)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
306 (setq index (cdr index))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
307 (setq body (car (nthcdr 3 index))) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
308 (if (and (listp body) ; the right element ? |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
309 (eq (car (cdr body)) 'profile-temp-result-)) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
310 (setcdr index (cdr (car (cdr (cdr body)))))))) |
655 | 311 |
312 (defun profile-finish () | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
313 "Stop profiling functions. Clear all the settings." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
314 (interactive) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
315 (mapcar 'profile-restore-fun profile-time-list) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
316 (setq profile-max-fun-name 0) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
317 (setq profile-time-list nil) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
318 (setq profile-init-list nil)) |
655 | 319 |
320 (defun profile-quit () | |
5790
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
321 "Kill the timer process." |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
322 (interactive) |
a539cda9df58
Comment changes and doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
4567
diff
changeset
|
323 (process-send-string profile-timer-process "q\n")) |
655 | 324 |
2233
fb0ed5a1d0f3
Add standard library headers.
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
845
diff
changeset
|
325 ;;; profile.el ends here |