Mercurial > emacs
annotate lib-src/profile.c @ 7163:299e6e1e5ae6
(syms_of_emacs): Doc fix.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Thu, 28 Apr 1994 06:19:03 +0000 |
parents | 92cef0f29878 |
children | 52590f967c1e |
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 | |
36 static struct timeval TV1, TV2; | |
37 static struct timezone *tzp = (struct timezone *) NULL; /* no need timezone */ | |
38 static int watch_not_started = 1; /* flag */ | |
39 static char time_string[30]; | |
40 | |
6876
92cef0f29878
(gettimeofday): If system doesn't have this, define it to give a fatal error.
Richard M. Stallman <rms@gnu.org>
parents:
6042
diff
changeset
|
41 #ifndef HAVE_GETTIMEOFDAY |
92cef0f29878
(gettimeofday): If system doesn't have this, define it to give a fatal error.
Richard M. Stallman <rms@gnu.org>
parents:
6042
diff
changeset
|
42 gettimeofday () |
92cef0f29878
(gettimeofday): If system doesn't have this, define it to give a fatal error.
Richard M. Stallman <rms@gnu.org>
parents:
6042
diff
changeset
|
43 { |
92cef0f29878
(gettimeofday): If system doesn't have this, define it to give a fatal error.
Richard M. Stallman <rms@gnu.org>
parents:
6042
diff
changeset
|
44 fprintf (stderr, "profile: this system does not support gettimeofday\n"); |
92cef0f29878
(gettimeofday): If system doesn't have this, define it to give a fatal error.
Richard M. Stallman <rms@gnu.org>
parents:
6042
diff
changeset
|
45 exit (1); |
92cef0f29878
(gettimeofday): If system doesn't have this, define it to give a fatal error.
Richard M. Stallman <rms@gnu.org>
parents:
6042
diff
changeset
|
46 } |
92cef0f29878
(gettimeofday): If system doesn't have this, define it to give a fatal error.
Richard M. Stallman <rms@gnu.org>
parents:
6042
diff
changeset
|
47 #endif |
92cef0f29878
(gettimeofday): If system doesn't have this, define it to give a fatal error.
Richard M. Stallman <rms@gnu.org>
parents:
6042
diff
changeset
|
48 |
5810 | 49 /* Reset the stopwatch to zero. */ |
50 | |
51 int | |
52 reset_watch () | |
53 { | |
54 gettimeofday (&TV1, tzp); | |
55 watch_not_started = 0; | |
56 } | |
57 | |
58 /* This call returns the time since the last reset_watch call. The time | |
59 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
|
60 If reset_watch was not called yet, exit. */ |
5810 | 61 |
62 char * | |
63 get_time () | |
64 { | |
65 if (watch_not_started) | |
6042
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
66 exit (1); /* call reset_watch first ! */ |
5810 | 67 gettimeofday (&TV2, tzp); |
68 if (TV1.tv_usec > TV2.tv_usec) | |
69 { | |
70 TV2.tv_usec += 1000000; | |
71 TV2.tv_sec--; | |
72 } | |
6026
45b117ac2dbc
(get_time): Simplify; avoid calling index.
Karl Heuer <kwzh@gnu.org>
parents:
5810
diff
changeset
|
73 sprintf (time_string, "%lu.%06lu", |
5810 | 74 TV2.tv_sec - TV1.tv_sec, TV2.tv_usec - TV1.tv_usec); |
75 return time_string; | |
76 } | |
77 | |
78 void | |
79 main () | |
80 { | |
6042
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
81 int c; |
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
82 while ((c = getchar ()) != EOF) |
5810 | 83 { |
6042
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
84 switch (c) |
5810 | 85 { |
86 case 'z': | |
87 reset_watch (); | |
88 break; | |
89 case 'p': | |
90 puts (get_time ()); | |
91 break; | |
92 case 'q': | |
93 exit (0); | |
94 } | |
6042
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
95 /* 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
|
96 while (c != '\n' && c != EOF) |
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
97 c = getchar (); |
5810 | 98 } |
6026
45b117ac2dbc
(get_time): Simplify; avoid calling index.
Karl Heuer <kwzh@gnu.org>
parents:
5810
diff
changeset
|
99 exit (1); |
5810 | 100 } |