rktimes_offset.awk man page
SYNOPSIS
awk -f rktimes_offset.awk <rktimes-child> <file-to-align>
DESCRIPTION
The rktimes_offset.awk script is used to align the data points in one
file with those in another. Alignment might be needed if one file was
recorded at a later time than the other. The script works by computing
the difference between the start time for each file and adjusting the X
axis for the second file accordingly. The result can then be displayed
simultaneously with the first file without any alignment problems.
EXAMPLE
To offset the "foo.out" file based on the "rktimes-1234.out" file.
rktimes-1234.out:
# start: 20
0 1.0
1 1.5
...
foo.out:
# start: 22
0 2.0
1 3.0
...
$ awk -f rktimes_offset.awk rktimes-1234.out foo.out
# start: 20
2 2.0
3 3.0
SEE ALSO
rktimes(1), rktimes_sum.awk(1), awk(1), cpubroker(7)
AUTHOR
The Alchemy project at the University of Utah.
NOTES
The Alchemy project can be found on the web at
http://www.cs.utah.edu/flux/alchemy
CPU Broker 1.1.0 2003/11/20 22:38:20 RKTIMES_OFFSET.AWK(1)
Man(1) output converted with
man2html