Mercurial > emacs
annotate lib-src/profile.c @ 13264:4e7bb697c847
(struct buffer): New slot redisplay_end_trigger.
Also extra1, extra2, extra3.
| author | Richard M. Stallman <rms@gnu.org> |
|---|---|
| date | Sat, 21 Oct 1995 23:14:59 +0000 |
| parents | 48786c683506 |
| children | ee40177f6c68 |
| rev | line source |
|---|---|
| 5810 | 1 /* profile.c --- generate periodic events for profiling of Emacs Lisp code. |
| 2 Copyright (C) 1992, 1994 Free Software Foundation, Inc. | |
| 3 | |
| 4 Author: Boaz Ben-Zvi <boaz@lcs.mit.edu> | |
| 5 | |
| 6 This file is part of GNU Emacs. | |
| 7 | |
| 8 GNU Emacs is free software; you can redistribute it and/or modify | |
| 9 it under the terms of the GNU General Public License as published by | |
| 10 the Free Software Foundation; either version 2, or (at your option) | |
| 11 any later version. | |
| 12 | |
| 13 GNU Emacs is distributed in the hope that it will be useful, | |
| 14 but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 16 GNU General Public License for more details. | |
| 17 | |
| 18 You should have received a copy of the GNU General Public License | |
| 19 along with GNU Emacs; see the file COPYING. If not, write to | |
| 20 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */ | |
| 21 | |
| 22 | |
| 23 /** | |
| 24 ** To be run as an emacs process. Input string that starts with: | |
| 25 ** 'z' -- resets the watch (to zero). | |
| 26 ** 'p' -- return time (on stdout) as string with format <sec>.<micro-sec> | |
| 27 ** 'q' -- exit. | |
| 28 ** | |
| 29 ** abstraction : a stopwatch | |
| 30 ** operations: reset_watch, get_time | |
| 31 */ | |
| 32 #include <stdio.h> | |
| 33 #include <../src/config.h> | |
| 34 #include <../src/systime.h> | |
| 35 | |
|
9887
be7b66e2cb98
(TV1, TV2): Use EMACS_TIME as type.
Richard M. Stallman <rms@gnu.org>
parents:
9491
diff
changeset
|
36 static EMACS_TIME TV1, TV2; |
| 5810 | 37 static int watch_not_started = 1; /* flag */ |
| 38 static char time_string[30]; | |
| 39 | |
| 40 /* Reset the stopwatch to zero. */ | |
| 41 | |
|
9491
dd3b83e4ceb0
Eliminate some -Wall warnings.
David J. MacKenzie <djm@gnu.org>
parents:
8336
diff
changeset
|
42 void |
| 5810 | 43 reset_watch () |
| 44 { | |
|
8336
52590f967c1e
(reset_watch, get_time): Use EMACS_GET_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
6876
diff
changeset
|
45 EMACS_GET_TIME (TV1); |
| 5810 | 46 watch_not_started = 0; |
| 47 } | |
| 48 | |
| 49 /* This call returns the time since the last reset_watch call. The time | |
| 50 is returned as a string with the format <seconds>.<micro-seconds> | |
|
6042
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
51 If reset_watch was not called yet, exit. */ |
| 5810 | 52 |
| 53 char * | |
| 54 get_time () | |
| 55 { | |
| 56 if (watch_not_started) | |
|
6042
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
57 exit (1); /* call reset_watch first ! */ |
|
8336
52590f967c1e
(reset_watch, get_time): Use EMACS_GET_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
6876
diff
changeset
|
58 EMACS_GET_TIME (TV2); |
|
9887
be7b66e2cb98
(TV1, TV2): Use EMACS_TIME as type.
Richard M. Stallman <rms@gnu.org>
parents:
9491
diff
changeset
|
59 EMACS_SUB_TIME (TV2, TV2, TV1); |
|
10087
20769d80bc88
(get_time): Fix up whitespace.
Richard M. Stallman <rms@gnu.org>
parents:
9887
diff
changeset
|
60 sprintf (time_string, "%lu.%06lu", EMACS_SECS (TV2), EMACS_USECS (TV2)); |
| 5810 | 61 return time_string; |
| 62 } | |
| 63 | |
|
12723
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
64 #if ! defined (HAVE_GETTIMEOFDAY) && defined (HAVE_TIMEVAL) |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
65 |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
66 /* ARGSUSED */ |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
67 gettimeofday (tp, tzp) |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
68 struct timeval *tp; |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
69 struct timezone *tzp; |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
70 { |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
71 extern long time (); |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
72 |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
73 tp->tv_sec = time ((long *)0); |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
74 tp->tv_usec = 0; |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
75 if (tzp != 0) |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
76 tzp->tz_minuteswest = -1; |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
77 } |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
78 |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
79 #endif |
|
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
80 |
| 5810 | 81 void |
| 82 main () | |
| 83 { | |
|
6042
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
84 int c; |
|
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
85 while ((c = getchar ()) != EOF) |
| 5810 | 86 { |
|
6042
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
87 switch (c) |
| 5810 | 88 { |
| 89 case 'z': | |
| 90 reset_watch (); | |
| 91 break; | |
| 92 case 'p': | |
| 93 puts (get_time ()); | |
| 94 break; | |
| 95 case 'q': | |
| 96 exit (0); | |
| 97 } | |
|
6042
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
98 /* Anything remaining on the line is ignored. */ |
|
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
99 while (c != '\n' && c != EOF) |
|
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
100 c = getchar (); |
| 5810 | 101 } |
|
6026
45b117ac2dbc
(get_time): Simplify; avoid calling index.
Karl Heuer <kwzh@gnu.org>
parents:
5810
diff
changeset
|
102 exit (1); |
| 5810 | 103 } |
