annotate lisp/emacs-lisp/benchmark.el @ 94837:55eb2a3c59b4

Merge from gnus--devo--0 Revision: emacs@sv.gnu.org/emacs--devo--0--patch-1153
author Miles Bader <miles@gnu.org>
date Sat, 10 May 2008 05:34:55 +0000
parents 90a2847062be
children a9dc0e7c3f2b
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
49574
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
1 ;;; benchmark.el --- support for benchmarking code
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
2
94655
90a2847062be Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 93975
diff changeset
3 ;; Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008
90a2847062be Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 93975
diff changeset
4 ;; Free Software Foundation, Inc.
49574
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
5
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
6 ;; Author: Dave Love <fx@gnu.org>
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
7 ;; Keywords: lisp, extensions
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
8
94655
90a2847062be Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 93975
diff changeset
9 ;; This file is part of GNU Emacs.
90a2847062be Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 93975
diff changeset
10
90a2847062be Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 93975
diff changeset
11 ;; GNU Emacs is free software: you can redistribute it and/or modify
49574
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
12 ;; it under the terms of the GNU General Public License as published by
94655
90a2847062be Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 93975
diff changeset
13 ;; the Free Software Foundation, either version 3 of the License, or
90a2847062be Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 93975
diff changeset
14 ;; (at your option) any later version.
49574
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
15
94655
90a2847062be Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 93975
diff changeset
16 ;; GNU Emacs is distributed in the hope that it will be useful,
49574
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
19 ;; GNU General Public License for more details.
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
20
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
21 ;; You should have received a copy of the GNU General Public License
94655
90a2847062be Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 93975
diff changeset
22 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
49574
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
23
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
24 ;;; Commentary:
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
25
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
26 ;; Utilities for timing the execution of forms, including the time
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
27 ;; taken for GC. Note that prior to timing code you may want to
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
28 ;; ensure things like: there has just been a GC, the relevant code is
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
29 ;; already loaded (so that there's no overhead from autoloading etc.),
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
30 ;; and the code is compiled if appropriate (but see
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
31 ;; `benchmark-run-compiled').
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
32
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
33 ;;; Code:
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
34
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
35 (defmacro benchmark-elapse (&rest forms)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
36 "Return the time in seconds elapsed for execution of FORMS."
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
37 (let ((t1 (make-symbol "t1"))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
38 (t2 (make-symbol "t2")))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
39 `(let (,t1 ,t2)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
40 (setq ,t1 (current-time))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
41 ,@forms
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
42 (setq ,t2 (current-time))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
43 (+ (* (- (car ,t2) (car ,t1)) 65536.0)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
44 (- (nth 1 ,t2) (nth 1 ,t1))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
45 (* (- (nth 2 ,t2) (nth 2 ,t1)) 1.0e-6)))))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
46 (put 'benchmark-elapse 'edebug-form-spec t)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
47 (put 'benchmark-elapse 'lisp-indent-function 0)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
48
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
49 ;;;###autoload
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
50 (defmacro benchmark-run (&optional repetitions &rest forms)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
51 "Time execution of FORMS.
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
52 If REPETITIONS is supplied as a number, run forms that many times,
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
53 accounting for the overhead of the resulting loop. Otherwise run
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
54 FORMS once.
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
55 Return a list of the total elapsed time for execution, the number of
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
56 garbage collections that ran, and the time taken by garbage collection.
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
57 See also `benchmark-run-compiled'."
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
58 (unless (natnump repetitions)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
59 (setq forms (cons repetitions forms)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
60 repetitions 1))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
61 (let ((i (make-symbol "i"))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
62 (gcs (make-symbol "gcs"))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
63 (gc (make-symbol "gc")))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
64 `(let ((,gc gc-elapsed)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
65 (,gcs gcs-done))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
66 (list ,(if (> repetitions 1)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
67 ;; Take account of the loop overhead.
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
68 `(- (benchmark-elapse (dotimes (,i ,repetitions)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
69 ,@forms))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
70 (benchmark-elapse (dotimes (,i ,repetitions))))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
71 `(benchmark-elapse ,@forms))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
72 (- gcs-done ,gcs)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
73 (- gc-elapsed ,gc)))))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
74 (put 'benchmark-run 'edebug-form-spec t)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
75 (put 'benchmark-run 'lisp-indent-function 2)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
76
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
77 ;;;###autoload
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
78 (defmacro benchmark-run-compiled (&optional repetitions &rest forms)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
79 "Time execution of compiled version of FORMS.
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
80 This is like `benchmark-run', but what is timed is a funcall of the
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
81 byte code obtained by wrapping FORMS in a `lambda' and compiling the
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
82 result. The overhead of the `lambda's is accounted for."
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
83 (unless (natnump repetitions)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
84 (setq forms (cons repetitions forms)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
85 repetitions 1))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
86 (let ((i (make-symbol "i"))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
87 (gcs (make-symbol "gcs"))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
88 (gc (make-symbol "gc"))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
89 (code (byte-compile `(lambda () ,@forms)))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
90 (lambda-code (byte-compile `(lambda ()))))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
91 `(let ((,gc gc-elapsed)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
92 (,gcs gcs-done))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
93 (list ,(if (> repetitions 1)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
94 ;; Take account of the loop overhead.
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
95 `(- (benchmark-elapse (dotimes (,i ,repetitions)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
96 (funcall ,code)))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
97 (benchmark-elapse (dotimes (,i ,repetitions)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
98 (funcall ,lambda-code))))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
99 `(benchmark-elapse (funcall ,code)))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
100 (- gcs-done ,gcs) (- gc-elapsed ,gc)))))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
101 (put 'benchmark-run-compiled 'edebug-form-spec t)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
102 (put 'benchmark-run-compiled 'lisp-indent-function 2)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
103
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
104 ;;;###autoload
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
105 (defun benchmark (repetitions form)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
106 "Print the time taken for REPETITIONS executions of FORM.
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
107 Interactively, REPETITIONS is taken from the prefix arg. For
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
108 non-interactive use see also `benchmark-run' and
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
109 `benchmark-run-compiled'."
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
110 (interactive "p\nxForm: ")
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
111 (let ((result (eval `(benchmark-run ,repetitions ,form))))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
112 (if (zerop (nth 1 result))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
113 (message "Elapsed time: %fs" (car result))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
114 (message "Elapsed time: %fs (%fs in %d GCs)" (car result)
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
115 (nth 2 result) (nth 1 result)))))
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
116
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
117 (provide 'benchmark)
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49574
diff changeset
118
93975
1e3a407766b9 Fix up comment convention on the arch-tag lines.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 79704
diff changeset
119 ;; arch-tag: be570e24-4b51-4784-adf3-fa2b56c31946
49574
e4bf575fd91c *** empty log message ***
Dave Love <fx@gnu.org>
parents:
diff changeset
120 ;;; benchmark.el ends here