(gettimeofday): If system doesn't have this, define it to give a fatal error.
[bpt/emacs.git] / lib-src / profile.c
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
41 #ifndef HAVE_GETTIMEOFDAY
42 gettimeofday ()
43 {
44 fprintf (stderr, "profile: this system does not support gettimeofday\n");
45 exit (1);
46 }
47 #endif
48
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>
60 If reset_watch was not called yet, exit. */
61
62 char *
63 get_time ()
64 {
65 if (watch_not_started)
66 exit (1); /* call reset_watch first ! */
67 gettimeofday (&TV2, tzp);
68 if (TV1.tv_usec > TV2.tv_usec)
69 {
70 TV2.tv_usec += 1000000;
71 TV2.tv_sec--;
72 }
73 sprintf (time_string, "%lu.%06lu",
74 TV2.tv_sec - TV1.tv_sec, TV2.tv_usec - TV1.tv_usec);
75 return time_string;
76 }
77
78 void
79 main ()
80 {
81 int c;
82 while ((c = getchar ()) != EOF)
83 {
84 switch (c)
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 }
95 /* Anything remaining on the line is ignored. */
96 while (c != '\n' && c != EOF)
97 c = getchar ();
98 }
99 exit (1);
100 }