1 # program to produce intewrnal time/frequence statistics from clockstats files
3 # usage: awk -f itf.awk clockstats
5 # format of input record
6 # 49227 67.846 127.127.10.1 93:240:00:00:51.816 ITF
7 # COCO 0 +2.0579E-07 -3.1037E-08 -7.7723E-11 +6.5455E-10 500.00 4.962819
9 # format of output record (time values in nanoseconds)
11 # 49227 67.846 +2.0579E-07 -7.7723E-11
13 # select ITF records with valid format
15 if (NF >=
10 && $
5 ==
"ITF") {
16 printf "%5s %9.3f %7.1f %10.3e\n", $
1, $
2, $
8 * 1e9
, $
10