diff options
author | Roland McGrath <roland@gnu.org> | 1994-10-24 04:56:02 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1994-10-24 04:56:02 +0000 |
commit | a24c91851931ed463a2a1acfb129582cab0e99df (patch) | |
tree | fa6ac171e2a61a23144e747512454bd89d34ac1b | |
parent | 0c38f2ee8757003bd8cc0033ca9a1ccf725ee250 (diff) |
Enhanced description of ITIMER_PROF.
-rw-r--r-- | manual/time.texi | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/manual/time.texi b/manual/time.texi index 8f10ed9565..e3d2ce1075 100644 --- a/manual/time.texi +++ b/manual/time.texi @@ -947,17 +947,25 @@ Each process has three independent interval timers available: A real-time timer that counts clock time. This timer sends a @code{SIGALRM} signal to the process when it expires. @cindex real-time timer +@cindex timer, real-time @item A virtual timer that counts CPU time used by the process. This timer sends a @code{SIGVTALRM} signal to the process when it expires. @cindex virtual timer +@cindex timer, virtual @item A profiling timer that counts both CPU time used by the process, and CPU time spent in system calls on behalf of the process. This timer sends a @code{SIGPROF} signal to the process when it expires. @cindex profiling timer +@cindex timer, profiling + +This timer is useful for profiling in interpreters. The interval timer +mechanism does not have the fine granularity necessary for profiling +native code. +@c @xref{profil} !!! @end itemize You can only have one timer of each kind set at any given time. If you |