xref: /freebsd/sys/kern/kern_ntptime.c (revision 6f1e8c186f9f87a6c385927f111f521470b00fff)
1c68996e2SPoul-Henning Kamp /***********************************************************************
23f31c649SGarrett Wollman  *								       *
324dbea46SJohn Hay  * Copyright (c) David L. Mills 1993-2001			       *
43f31c649SGarrett Wollman  *								       *
5c68996e2SPoul-Henning Kamp  * Permission to use, copy, modify, and distribute this software and   *
6c68996e2SPoul-Henning Kamp  * its documentation for any purpose and without fee is hereby	       *
7c68996e2SPoul-Henning Kamp  * granted, provided that the above copyright notice appears in all    *
8c68996e2SPoul-Henning Kamp  * copies and that both the copyright notice and this permission       *
9c68996e2SPoul-Henning Kamp  * notice appear in supporting documentation, and that the name	       *
10c68996e2SPoul-Henning Kamp  * University of Delaware not be used in advertising or publicity      *
11c68996e2SPoul-Henning Kamp  * pertaining to distribution of the software without specific,	       *
12c68996e2SPoul-Henning Kamp  * written prior permission. The University of Delaware makes no       *
13c68996e2SPoul-Henning Kamp  * representations about the suitability this software for any	       *
14c68996e2SPoul-Henning Kamp  * purpose. It is provided "as is" without express or implied	       *
15c68996e2SPoul-Henning Kamp  * warranty.							       *
163f31c649SGarrett Wollman  *								       *
17c68996e2SPoul-Henning Kamp  **********************************************************************/
183f31c649SGarrett Wollman 
193f31c649SGarrett Wollman /*
20c68996e2SPoul-Henning Kamp  * Adapted from the original sources for FreeBSD and timecounters by:
2132c20357SPoul-Henning Kamp  * Poul-Henning Kamp <phk@FreeBSD.org>.
223f31c649SGarrett Wollman  *
23c68996e2SPoul-Henning Kamp  * The 32bit version of the "LP" macros seems a bit past its "sell by"
24c68996e2SPoul-Henning Kamp  * date so I have retained only the 64bit version and included it directly
25c68996e2SPoul-Henning Kamp  * in this file.
26885bd8e4SJohn Hay  *
27c68996e2SPoul-Henning Kamp  * Only minor changes done to interface with the timecounters over in
28c68996e2SPoul-Henning Kamp  * sys/kern/kern_clock.c.   Some of the comments below may be (even more)
29c68996e2SPoul-Henning Kamp  * confusing and/or plain wrong in that context.
3019c52219SPoul-Henning Kamp  *
3119c52219SPoul-Henning Kamp  * $FreeBSD$
323f31c649SGarrett Wollman  */
33e0d781f3SEivind Eklund 
3432c20357SPoul-Henning Kamp #include "opt_ntp.h"
3532c20357SPoul-Henning Kamp 
363f31c649SGarrett Wollman #include <sys/param.h>
373f31c649SGarrett Wollman #include <sys/systm.h>
38d2d3e875SBruce Evans #include <sys/sysproto.h>
393f31c649SGarrett Wollman #include <sys/kernel.h>
403f31c649SGarrett Wollman #include <sys/proc.h>
416f1e8c18SMatthew Dillon #include <sys/lock.h>
426f1e8c18SMatthew Dillon #include <sys/mutex.h>
43c68996e2SPoul-Henning Kamp #include <sys/time.h>
443f31c649SGarrett Wollman #include <sys/timex.h>
4591266b96SPoul-Henning Kamp #include <sys/timetc.h>
46938ee3ceSPoul-Henning Kamp #include <sys/timepps.h>
473f31c649SGarrett Wollman #include <sys/sysctl.h>
483f31c649SGarrett Wollman 
493f31c649SGarrett Wollman /*
50c68996e2SPoul-Henning Kamp  * Single-precision macros for 64-bit machines
513f31c649SGarrett Wollman  */
52c68996e2SPoul-Henning Kamp typedef long long l_fp;
53c68996e2SPoul-Henning Kamp #define L_ADD(v, u)	((v) += (u))
54c68996e2SPoul-Henning Kamp #define L_SUB(v, u)	((v) -= (u))
55c68996e2SPoul-Henning Kamp #define L_ADDHI(v, a)	((v) += (long long)(a) << 32)
56c68996e2SPoul-Henning Kamp #define L_NEG(v)	((v) = -(v))
57c68996e2SPoul-Henning Kamp #define L_RSHIFT(v, n) \
58c68996e2SPoul-Henning Kamp 	do { \
59c68996e2SPoul-Henning Kamp 		if ((v) < 0) \
60c68996e2SPoul-Henning Kamp 			(v) = -(-(v) >> (n)); \
61c68996e2SPoul-Henning Kamp 		else \
62c68996e2SPoul-Henning Kamp 			(v) = (v) >> (n); \
63c68996e2SPoul-Henning Kamp 	} while (0)
64c68996e2SPoul-Henning Kamp #define L_MPY(v, a)	((v) *= (a))
65c68996e2SPoul-Henning Kamp #define L_CLR(v)	((v) = 0)
66c68996e2SPoul-Henning Kamp #define L_ISNEG(v)	((v) < 0)
67c68996e2SPoul-Henning Kamp #define L_LINT(v, a)	((v) = (long long)(a) << 32)
68c68996e2SPoul-Henning Kamp #define L_GINT(v)	((v) < 0 ? -(-(v) >> 32) : (v) >> 32)
696f70df15SPoul-Henning Kamp 
706f70df15SPoul-Henning Kamp /*
71c68996e2SPoul-Henning Kamp  * Generic NTP kernel interface
726f70df15SPoul-Henning Kamp  *
73c68996e2SPoul-Henning Kamp  * These routines constitute the Network Time Protocol (NTP) interfaces
74c68996e2SPoul-Henning Kamp  * for user and daemon application programs. The ntp_gettime() routine
75c68996e2SPoul-Henning Kamp  * provides the time, maximum error (synch distance) and estimated error
76c68996e2SPoul-Henning Kamp  * (dispersion) to client user application programs. The ntp_adjtime()
77c68996e2SPoul-Henning Kamp  * routine is used by the NTP daemon to adjust the system clock to an
78c68996e2SPoul-Henning Kamp  * externally derived time. The time offset and related variables set by
79c68996e2SPoul-Henning Kamp  * this routine are used by other routines in this module to adjust the
80c68996e2SPoul-Henning Kamp  * phase and frequency of the clock discipline loop which controls the
81c68996e2SPoul-Henning Kamp  * system clock.
826f70df15SPoul-Henning Kamp  *
83f425c1f6SPoul-Henning Kamp  * When the kernel time is reckoned directly in nanoseconds (NTP_NANO
84c68996e2SPoul-Henning Kamp  * defined), the time at each tick interrupt is derived directly from
85c68996e2SPoul-Henning Kamp  * the kernel time variable. When the kernel time is reckoned in
86f425c1f6SPoul-Henning Kamp  * microseconds, (NTP_NANO undefined), the time is derived from the
87f425c1f6SPoul-Henning Kamp  * kernel time variable together with a variable representing the
88f425c1f6SPoul-Henning Kamp  * leftover nanoseconds at the last tick interrupt. In either case, the
89f425c1f6SPoul-Henning Kamp  * current nanosecond time is reckoned from these values plus an
90f425c1f6SPoul-Henning Kamp  * interpolated value derived by the clock routines in another
91f425c1f6SPoul-Henning Kamp  * architecture-specific module. The interpolation can use either a
92f425c1f6SPoul-Henning Kamp  * dedicated counter or a processor cycle counter (PCC) implemented in
93f425c1f6SPoul-Henning Kamp  * some architectures.
946f70df15SPoul-Henning Kamp  *
95c68996e2SPoul-Henning Kamp  * Note that all routines must run at priority splclock or higher.
966f70df15SPoul-Henning Kamp  */
97c68996e2SPoul-Henning Kamp /*
98c68996e2SPoul-Henning Kamp  * Phase/frequency-lock loop (PLL/FLL) definitions
99c68996e2SPoul-Henning Kamp  *
100c68996e2SPoul-Henning Kamp  * The nanosecond clock discipline uses two variable types, time
101c68996e2SPoul-Henning Kamp  * variables and frequency variables. Both types are represented as 64-
102c68996e2SPoul-Henning Kamp  * bit fixed-point quantities with the decimal point between two 32-bit
103c68996e2SPoul-Henning Kamp  * halves. On a 32-bit machine, each half is represented as a single
104c68996e2SPoul-Henning Kamp  * word and mathematical operations are done using multiple-precision
105c68996e2SPoul-Henning Kamp  * arithmetic. On a 64-bit machine, ordinary computer arithmetic is
106c68996e2SPoul-Henning Kamp  * used.
107c68996e2SPoul-Henning Kamp  *
108c68996e2SPoul-Henning Kamp  * A time variable is a signed 64-bit fixed-point number in ns and
109c68996e2SPoul-Henning Kamp  * fraction. It represents the remaining time offset to be amortized
110c68996e2SPoul-Henning Kamp  * over succeeding tick interrupts. The maximum time offset is about
111f425c1f6SPoul-Henning Kamp  * 0.5 s and the resolution is about 2.3e-10 ns.
112c68996e2SPoul-Henning Kamp  *
113c68996e2SPoul-Henning Kamp  *			1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 3
114c68996e2SPoul-Henning Kamp  *  0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
115c68996e2SPoul-Henning Kamp  * +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
116c68996e2SPoul-Henning Kamp  * |s s s|			 ns				   |
117c68996e2SPoul-Henning Kamp  * +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
118c68996e2SPoul-Henning Kamp  * |			    fraction				   |
119c68996e2SPoul-Henning Kamp  * +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
120c68996e2SPoul-Henning Kamp  *
121c68996e2SPoul-Henning Kamp  * A frequency variable is a signed 64-bit fixed-point number in ns/s
122c68996e2SPoul-Henning Kamp  * and fraction. It represents the ns and fraction to be added to the
123c68996e2SPoul-Henning Kamp  * kernel time variable at each second. The maximum frequency offset is
124f425c1f6SPoul-Henning Kamp  * about +-500000 ns/s and the resolution is about 2.3e-10 ns/s.
125c68996e2SPoul-Henning Kamp  *
126c68996e2SPoul-Henning Kamp  *			1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 3 3
127c68996e2SPoul-Henning Kamp  *  0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
128c68996e2SPoul-Henning Kamp  * +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
129c68996e2SPoul-Henning Kamp  * |s s s s s s s s s s s s s|	          ns/s			   |
130c68996e2SPoul-Henning Kamp  * +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
131c68996e2SPoul-Henning Kamp  * |			    fraction				   |
132c68996e2SPoul-Henning Kamp  * +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
133c68996e2SPoul-Henning Kamp  */
134c68996e2SPoul-Henning Kamp /*
135c68996e2SPoul-Henning Kamp  * The following variables establish the state of the PLL/FLL and the
136c68996e2SPoul-Henning Kamp  * residual time and frequency offset of the local clock.
137c68996e2SPoul-Henning Kamp  */
138c68996e2SPoul-Henning Kamp #define SHIFT_PLL	4		/* PLL loop gain (shift) */
139c68996e2SPoul-Henning Kamp #define SHIFT_FLL	2		/* FLL loop gain (shift) */
140c68996e2SPoul-Henning Kamp 
141c68996e2SPoul-Henning Kamp static int time_state = TIME_OK;	/* clock state */
142c68996e2SPoul-Henning Kamp static int time_status = STA_UNSYNC;	/* clock status bits */
14397804a5cSPoul-Henning Kamp static long time_tai;			/* TAI offset (s) */
14497804a5cSPoul-Henning Kamp static long time_monitor;		/* last time offset scaled (ns) */
145c68996e2SPoul-Henning Kamp static long time_constant;		/* poll interval (shift) (s) */
146c68996e2SPoul-Henning Kamp static long time_precision = 1;		/* clock precision (ns) */
147c68996e2SPoul-Henning Kamp static long time_maxerror = MAXPHASE / 1000; /* maximum error (us) */
148c68996e2SPoul-Henning Kamp static long time_esterror = MAXPHASE / 1000; /* estimated error (us) */
149c68996e2SPoul-Henning Kamp static long time_reftime;		/* time at last adjustment (s) */
150c68996e2SPoul-Henning Kamp static long time_tick;			/* nanoseconds per tick (ns) */
151c68996e2SPoul-Henning Kamp static l_fp time_offset;		/* time offset (ns) */
152c68996e2SPoul-Henning Kamp static l_fp time_freq;			/* frequency offset (ns/s) */
15397804a5cSPoul-Henning Kamp static l_fp time_adj;			/* tick adjust (ns/s) */
1543f31c649SGarrett Wollman 
1553f31c649SGarrett Wollman #ifdef PPS_SYNC
1563f31c649SGarrett Wollman /*
157c68996e2SPoul-Henning Kamp  * The following variables are used when a pulse-per-second (PPS) signal
158c68996e2SPoul-Henning Kamp  * is available and connected via a modem control lead. They establish
159c68996e2SPoul-Henning Kamp  * the engineering parameters of the clock discipline loop when
160c68996e2SPoul-Henning Kamp  * controlled by the PPS signal.
1613f31c649SGarrett Wollman  */
162c68996e2SPoul-Henning Kamp #define PPS_FAVG	2		/* min freq avg interval (s) (shift) */
16324dbea46SJohn Hay #define PPS_FAVGDEF	8		/* default freq avg int (s) (shift) */
16482e84c5bSPoul-Henning Kamp #define PPS_FAVGMAX	15		/* max freq avg interval (s) (shift) */
165c68996e2SPoul-Henning Kamp #define PPS_PAVG	4		/* phase avg interval (s) (shift) */
166c68996e2SPoul-Henning Kamp #define PPS_VALID	120		/* PPS signal watchdog max (s) */
16782e84c5bSPoul-Henning Kamp #define PPS_MAXWANDER	100000		/* max PPS wander (ns/s) */
16882e84c5bSPoul-Henning Kamp #define PPS_POPCORN	2		/* popcorn spike threshold (shift) */
169c68996e2SPoul-Henning Kamp 
17082e84c5bSPoul-Henning Kamp static struct timespec pps_tf[3];	/* phase median filter */
171c68996e2SPoul-Henning Kamp static l_fp pps_freq;			/* scaled frequency offset (ns/s) */
172f425c1f6SPoul-Henning Kamp static long pps_fcount;			/* frequency accumulator */
17382e84c5bSPoul-Henning Kamp static long pps_jitter;			/* nominal jitter (ns) */
17482e84c5bSPoul-Henning Kamp static long pps_stabil;			/* nominal stability (scaled ns/s) */
175c68996e2SPoul-Henning Kamp static long pps_lastsec;		/* time at last calibration (s) */
176c68996e2SPoul-Henning Kamp static int pps_valid;			/* signal watchdog counter */
177c68996e2SPoul-Henning Kamp static int pps_shift = PPS_FAVG;	/* interval duration (s) (shift) */
17882e84c5bSPoul-Henning Kamp static int pps_shiftmax = PPS_FAVGDEF;	/* max interval duration (s) (shift) */
179c68996e2SPoul-Henning Kamp static int pps_intcnt;			/* wander counter */
1806f70df15SPoul-Henning Kamp 
1816f70df15SPoul-Henning Kamp /*
1826f70df15SPoul-Henning Kamp  * PPS signal quality monitors
1836f70df15SPoul-Henning Kamp  */
184c68996e2SPoul-Henning Kamp static long pps_calcnt;			/* calibration intervals */
185c68996e2SPoul-Henning Kamp static long pps_jitcnt;			/* jitter limit exceeded */
186c68996e2SPoul-Henning Kamp static long pps_stbcnt;			/* stability limit exceeded */
187c68996e2SPoul-Henning Kamp static long pps_errcnt;			/* calibration errors */
1883f31c649SGarrett Wollman #endif /* PPS_SYNC */
189c68996e2SPoul-Henning Kamp /*
190c68996e2SPoul-Henning Kamp  * End of phase/frequency-lock loop (PLL/FLL) definitions
191c68996e2SPoul-Henning Kamp  */
1923f31c649SGarrett Wollman 
193c68996e2SPoul-Henning Kamp static void ntp_init(void);
194c68996e2SPoul-Henning Kamp static void hardupdate(long offset);
195c68996e2SPoul-Henning Kamp 
196c68996e2SPoul-Henning Kamp /*
197c68996e2SPoul-Henning Kamp  * ntp_gettime() - NTP user application interface
198c68996e2SPoul-Henning Kamp  *
19997804a5cSPoul-Henning Kamp  * See the timex.h header file for synopsis and API description. Note
20097804a5cSPoul-Henning Kamp  * that the TAI offset is returned in the ntvtimeval.tai structure
20197804a5cSPoul-Henning Kamp  * member.
202c68996e2SPoul-Henning Kamp  */
203c68996e2SPoul-Henning Kamp static int
20482d9ae4eSPoul-Henning Kamp ntp_sysctl(SYSCTL_HANDLER_ARGS)
205c68996e2SPoul-Henning Kamp {
206c68996e2SPoul-Henning Kamp 	struct ntptimeval ntv;	/* temporary structure */
207c68996e2SPoul-Henning Kamp 	struct timespec atv;	/* nanosecond time */
208c68996e2SPoul-Henning Kamp 
209c68996e2SPoul-Henning Kamp 	nanotime(&atv);
210c68996e2SPoul-Henning Kamp 	ntv.time.tv_sec = atv.tv_sec;
211c68996e2SPoul-Henning Kamp 	ntv.time.tv_nsec = atv.tv_nsec;
212c68996e2SPoul-Henning Kamp 	ntv.maxerror = time_maxerror;
213c68996e2SPoul-Henning Kamp 	ntv.esterror = time_esterror;
21497804a5cSPoul-Henning Kamp 	ntv.tai = time_tai;
2158925e63cSPoul-Henning Kamp 	ntv.time_state = time_state;
216c68996e2SPoul-Henning Kamp 
217c68996e2SPoul-Henning Kamp 	/*
218c68996e2SPoul-Henning Kamp 	 * Status word error decode. If any of these conditions occur,
219c68996e2SPoul-Henning Kamp 	 * an error is returned, instead of the status word. Most
220c68996e2SPoul-Henning Kamp 	 * applications will care only about the fact the system clock
221c68996e2SPoul-Henning Kamp 	 * may not be trusted, not about the details.
222c68996e2SPoul-Henning Kamp 	 *
223c68996e2SPoul-Henning Kamp 	 * Hardware or software error
224c68996e2SPoul-Henning Kamp 	 */
225c68996e2SPoul-Henning Kamp 	if ((time_status & (STA_UNSYNC | STA_CLOCKERR)) ||
226c68996e2SPoul-Henning Kamp 
227c68996e2SPoul-Henning Kamp 	/*
228c68996e2SPoul-Henning Kamp 	 * PPS signal lost when either time or frequency synchronization
229c68996e2SPoul-Henning Kamp 	 * requested
230c68996e2SPoul-Henning Kamp 	 */
231c68996e2SPoul-Henning Kamp 	    (time_status & (STA_PPSFREQ | STA_PPSTIME) &&
232c68996e2SPoul-Henning Kamp 	    !(time_status & STA_PPSSIGNAL)) ||
233c68996e2SPoul-Henning Kamp 
234c68996e2SPoul-Henning Kamp 	/*
235c68996e2SPoul-Henning Kamp 	 * PPS jitter exceeded when time synchronization requested
236c68996e2SPoul-Henning Kamp 	 */
237c68996e2SPoul-Henning Kamp 	    (time_status & STA_PPSTIME &&
238c68996e2SPoul-Henning Kamp 	    time_status & STA_PPSJITTER) ||
239c68996e2SPoul-Henning Kamp 
240c68996e2SPoul-Henning Kamp 	/*
241c68996e2SPoul-Henning Kamp 	 * PPS wander exceeded or calibration error when frequency
242c68996e2SPoul-Henning Kamp 	 * synchronization requested
243c68996e2SPoul-Henning Kamp 	 */
244c68996e2SPoul-Henning Kamp 	    (time_status & STA_PPSFREQ &&
245c68996e2SPoul-Henning Kamp 	    time_status & (STA_PPSWANDER | STA_PPSERROR)))
246c68996e2SPoul-Henning Kamp 		ntv.time_state = TIME_ERROR;
247c68996e2SPoul-Henning Kamp 	return (sysctl_handle_opaque(oidp, &ntv, sizeof ntv, req));
248c68996e2SPoul-Henning Kamp }
249c68996e2SPoul-Henning Kamp 
250c68996e2SPoul-Henning Kamp SYSCTL_NODE(_kern, OID_AUTO, ntp_pll, CTLFLAG_RW, 0, "");
251c68996e2SPoul-Henning Kamp SYSCTL_PROC(_kern_ntp_pll, OID_AUTO, gettime, CTLTYPE_OPAQUE|CTLFLAG_RD,
252c68996e2SPoul-Henning Kamp 	0, sizeof(struct ntptimeval) , ntp_sysctl, "S,ntptimeval", "");
253c68996e2SPoul-Henning Kamp 
2545968e18bSPoul-Henning Kamp #ifdef PPS_SYNC
25582e84c5bSPoul-Henning Kamp SYSCTL_INT(_kern_ntp_pll, OID_AUTO, pps_shiftmax, CTLFLAG_RW, &pps_shiftmax, 0, "");
2566a77f60dSPoul-Henning Kamp SYSCTL_INT(_kern_ntp_pll, OID_AUTO, pps_shift, CTLFLAG_RW, &pps_shift, 0, "");
2578925e63cSPoul-Henning Kamp SYSCTL_INT(_kern_ntp_pll, OID_AUTO, time_monitor, CTLFLAG_RD, &time_monitor, 0, "");
2587fd299cbSPoul-Henning Kamp 
2597fd299cbSPoul-Henning Kamp SYSCTL_OPAQUE(_kern_ntp_pll, OID_AUTO, pps_freq, CTLFLAG_RD, &pps_freq, sizeof(pps_freq), "I", "");
2607fd299cbSPoul-Henning Kamp SYSCTL_OPAQUE(_kern_ntp_pll, OID_AUTO, time_freq, CTLFLAG_RD, &time_freq, sizeof(time_freq), "I", "");
2615968e18bSPoul-Henning Kamp #endif
262c68996e2SPoul-Henning Kamp /*
263c68996e2SPoul-Henning Kamp  * ntp_adjtime() - NTP daemon application interface
264c68996e2SPoul-Henning Kamp  *
26597804a5cSPoul-Henning Kamp  * See the timex.h header file for synopsis and API description. Note
26697804a5cSPoul-Henning Kamp  * that the timex.constant structure member has a dual purpose to set
26797804a5cSPoul-Henning Kamp  * the time constant and to set the TAI offset.
268c68996e2SPoul-Henning Kamp  */
269c68996e2SPoul-Henning Kamp #ifndef _SYS_SYSPROTO_H_
270c68996e2SPoul-Henning Kamp struct ntp_adjtime_args {
271c68996e2SPoul-Henning Kamp 	struct timex *tp;
272c68996e2SPoul-Henning Kamp };
273c68996e2SPoul-Henning Kamp #endif
274c68996e2SPoul-Henning Kamp 
2756f1e8c18SMatthew Dillon /*
2766f1e8c18SMatthew Dillon  * MPSAFE
2776f1e8c18SMatthew Dillon  */
278c68996e2SPoul-Henning Kamp int
279c68996e2SPoul-Henning Kamp ntp_adjtime(struct proc *p, struct ntp_adjtime_args *uap)
280c68996e2SPoul-Henning Kamp {
281c68996e2SPoul-Henning Kamp 	struct timex ntv;	/* temporary structure */
282f425c1f6SPoul-Henning Kamp 	long freq;		/* frequency ns/s) */
283c68996e2SPoul-Henning Kamp 	int modes;		/* mode bits from structure */
284c68996e2SPoul-Henning Kamp 	int s;			/* caller priority */
285c68996e2SPoul-Henning Kamp 	int error;
286c68996e2SPoul-Henning Kamp 
287c68996e2SPoul-Henning Kamp 	error = copyin((caddr_t)uap->tp, (caddr_t)&ntv, sizeof(ntv));
288c68996e2SPoul-Henning Kamp 	if (error)
289c68996e2SPoul-Henning Kamp 		return(error);
290c68996e2SPoul-Henning Kamp 
291c68996e2SPoul-Henning Kamp 	/*
292c68996e2SPoul-Henning Kamp 	 * Update selected clock variables - only the superuser can
293c68996e2SPoul-Henning Kamp 	 * change anything. Note that there is no error checking here on
294c68996e2SPoul-Henning Kamp 	 * the assumption the superuser should know what it is doing.
29597804a5cSPoul-Henning Kamp 	 * Note that either the time constant or TAI offset are loaded
29624dbea46SJohn Hay 	 * from the ntv.constant member, depending on the mode bits. If
29724dbea46SJohn Hay 	 * the STA_PLL bit in the status word is cleared, the state and
29824dbea46SJohn Hay 	 * status words are reset to the initial values at boot.
299c68996e2SPoul-Henning Kamp 	 */
3006f1e8c18SMatthew Dillon 	mtx_lock(&Giant);
301c68996e2SPoul-Henning Kamp 	modes = ntv.modes;
302fafbe352SPoul-Henning Kamp 	if (modes)
303f711d546SPoul-Henning Kamp 		error = suser(p);
304c68996e2SPoul-Henning Kamp 	if (error)
3056f1e8c18SMatthew Dillon 		goto done2;
306c68996e2SPoul-Henning Kamp 	s = splclock();
307c68996e2SPoul-Henning Kamp 	if (modes & MOD_MAXERROR)
308c68996e2SPoul-Henning Kamp 		time_maxerror = ntv.maxerror;
309c68996e2SPoul-Henning Kamp 	if (modes & MOD_ESTERROR)
310c68996e2SPoul-Henning Kamp 		time_esterror = ntv.esterror;
311c68996e2SPoul-Henning Kamp 	if (modes & MOD_STATUS) {
31224dbea46SJohn Hay 		if (time_status & STA_PLL && !(ntv.status & STA_PLL)) {
31324dbea46SJohn Hay 			time_state = TIME_OK;
31424dbea46SJohn Hay 			time_status = STA_UNSYNC;
31524dbea46SJohn Hay #ifdef PPS_SYNC
31624dbea46SJohn Hay 			pps_shift = PPS_FAVG;
31724dbea46SJohn Hay #endif /* PPS_SYNC */
31824dbea46SJohn Hay 		}
319c68996e2SPoul-Henning Kamp 		time_status &= STA_RONLY;
320c68996e2SPoul-Henning Kamp 		time_status |= ntv.status & ~STA_RONLY;
321c68996e2SPoul-Henning Kamp 	}
322f425c1f6SPoul-Henning Kamp 	if (modes & MOD_TIMECONST) {
323f425c1f6SPoul-Henning Kamp 		if (ntv.constant < 0)
324f425c1f6SPoul-Henning Kamp 			time_constant = 0;
325f425c1f6SPoul-Henning Kamp 		else if (ntv.constant > MAXTC)
326f425c1f6SPoul-Henning Kamp 			time_constant = MAXTC;
327f425c1f6SPoul-Henning Kamp 		else
328c68996e2SPoul-Henning Kamp 			time_constant = ntv.constant;
329f425c1f6SPoul-Henning Kamp 	}
33097804a5cSPoul-Henning Kamp 	if (modes & MOD_TAI) {
33197804a5cSPoul-Henning Kamp 		if (ntv.constant > 0) /* XXX zero & negative numbers ? */
33297804a5cSPoul-Henning Kamp 			time_tai = ntv.constant;
33397804a5cSPoul-Henning Kamp 	}
33482e84c5bSPoul-Henning Kamp #ifdef PPS_SYNC
33582e84c5bSPoul-Henning Kamp 	if (modes & MOD_PPSMAX) {
33682e84c5bSPoul-Henning Kamp 		if (ntv.shift < PPS_FAVG)
33782e84c5bSPoul-Henning Kamp 			pps_shiftmax = PPS_FAVG;
33882e84c5bSPoul-Henning Kamp 		else if (ntv.shift > PPS_FAVGMAX)
33982e84c5bSPoul-Henning Kamp 			pps_shiftmax = PPS_FAVGMAX;
34082e84c5bSPoul-Henning Kamp 		else
34182e84c5bSPoul-Henning Kamp 			pps_shiftmax = ntv.shift;
34282e84c5bSPoul-Henning Kamp 	}
34382e84c5bSPoul-Henning Kamp #endif /* PPS_SYNC */
344c68996e2SPoul-Henning Kamp 	if (modes & MOD_NANO)
345c68996e2SPoul-Henning Kamp 		time_status |= STA_NANO;
346c68996e2SPoul-Henning Kamp 	if (modes & MOD_MICRO)
347c68996e2SPoul-Henning Kamp 		time_status &= ~STA_NANO;
348c68996e2SPoul-Henning Kamp 	if (modes & MOD_CLKB)
349c68996e2SPoul-Henning Kamp 		time_status |= STA_CLK;
350c68996e2SPoul-Henning Kamp 	if (modes & MOD_CLKA)
351c68996e2SPoul-Henning Kamp 		time_status &= ~STA_CLK;
352c68996e2SPoul-Henning Kamp 	if (modes & MOD_OFFSET) {
353c68996e2SPoul-Henning Kamp 		if (time_status & STA_NANO)
354c68996e2SPoul-Henning Kamp 			hardupdate(ntv.offset);
355c68996e2SPoul-Henning Kamp 		else
356c68996e2SPoul-Henning Kamp 			hardupdate(ntv.offset * 1000);
357c68996e2SPoul-Henning Kamp 	}
35824dbea46SJohn Hay 	if (modes & MOD_FREQUENCY) {
35924dbea46SJohn Hay 		freq = (ntv.freq * 1000LL) >> 16;
36024dbea46SJohn Hay 		if (freq > MAXFREQ)
36124dbea46SJohn Hay 			L_LINT(time_freq, MAXFREQ);
36224dbea46SJohn Hay 		else if (freq < -MAXFREQ)
36324dbea46SJohn Hay 			L_LINT(time_freq, -MAXFREQ);
36424dbea46SJohn Hay 		else
36524dbea46SJohn Hay 			L_LINT(time_freq, freq);
36624dbea46SJohn Hay #ifdef PPS_SYNC
36724dbea46SJohn Hay 		pps_freq = time_freq;
36824dbea46SJohn Hay #endif /* PPS_SYNC */
36924dbea46SJohn Hay 	}
370c68996e2SPoul-Henning Kamp 
371c68996e2SPoul-Henning Kamp 	/*
37297804a5cSPoul-Henning Kamp 	 * Retrieve all clock variables. Note that the TAI offset is
37397804a5cSPoul-Henning Kamp 	 * returned only by ntp_gettime();
374c68996e2SPoul-Henning Kamp 	 */
375c68996e2SPoul-Henning Kamp 	if (time_status & STA_NANO)
37697804a5cSPoul-Henning Kamp 		ntv.offset = time_monitor;
377c68996e2SPoul-Henning Kamp 	else
37897804a5cSPoul-Henning Kamp 		ntv.offset = time_monitor / 1000; /* XXX rounding ? */
37934cffbe3SPoul-Henning Kamp 	ntv.freq = L_GINT((time_freq / 1000LL) << 16);
380c68996e2SPoul-Henning Kamp 	ntv.maxerror = time_maxerror;
381c68996e2SPoul-Henning Kamp 	ntv.esterror = time_esterror;
382c68996e2SPoul-Henning Kamp 	ntv.status = time_status;
383f425c1f6SPoul-Henning Kamp 	ntv.constant = time_constant;
384c68996e2SPoul-Henning Kamp 	if (time_status & STA_NANO)
385c68996e2SPoul-Henning Kamp 		ntv.precision = time_precision;
386c68996e2SPoul-Henning Kamp 	else
387c68996e2SPoul-Henning Kamp 		ntv.precision = time_precision / 1000;
388c68996e2SPoul-Henning Kamp 	ntv.tolerance = MAXFREQ * SCALE_PPM;
389c68996e2SPoul-Henning Kamp #ifdef PPS_SYNC
390c68996e2SPoul-Henning Kamp 	ntv.shift = pps_shift;
39134cffbe3SPoul-Henning Kamp 	ntv.ppsfreq = L_GINT((pps_freq / 1000LL) << 16);
392c68996e2SPoul-Henning Kamp 	if (time_status & STA_NANO)
393c68996e2SPoul-Henning Kamp 		ntv.jitter = pps_jitter;
394c68996e2SPoul-Henning Kamp 	else
395c68996e2SPoul-Henning Kamp 		ntv.jitter = pps_jitter / 1000;
396c68996e2SPoul-Henning Kamp 	ntv.stabil = pps_stabil;
397c68996e2SPoul-Henning Kamp 	ntv.calcnt = pps_calcnt;
398c68996e2SPoul-Henning Kamp 	ntv.errcnt = pps_errcnt;
399c68996e2SPoul-Henning Kamp 	ntv.jitcnt = pps_jitcnt;
400c68996e2SPoul-Henning Kamp 	ntv.stbcnt = pps_stbcnt;
401c68996e2SPoul-Henning Kamp #endif /* PPS_SYNC */
402c68996e2SPoul-Henning Kamp 	splx(s);
403c68996e2SPoul-Henning Kamp 
404c68996e2SPoul-Henning Kamp 	error = copyout((caddr_t)&ntv, (caddr_t)uap->tp, sizeof(ntv));
405c68996e2SPoul-Henning Kamp 	if (error)
4066f1e8c18SMatthew Dillon 		goto done2;
407c68996e2SPoul-Henning Kamp 
408c68996e2SPoul-Henning Kamp 	/*
409c68996e2SPoul-Henning Kamp 	 * Status word error decode. See comments in
410c68996e2SPoul-Henning Kamp 	 * ntp_gettime() routine.
411c68996e2SPoul-Henning Kamp 	 */
412c68996e2SPoul-Henning Kamp 	if ((time_status & (STA_UNSYNC | STA_CLOCKERR)) ||
413c68996e2SPoul-Henning Kamp 	    (time_status & (STA_PPSFREQ | STA_PPSTIME) &&
414c68996e2SPoul-Henning Kamp 	    !(time_status & STA_PPSSIGNAL)) ||
415c68996e2SPoul-Henning Kamp 	    (time_status & STA_PPSTIME &&
416c68996e2SPoul-Henning Kamp 	    time_status & STA_PPSJITTER) ||
417c68996e2SPoul-Henning Kamp 	    (time_status & STA_PPSFREQ &&
4186f1e8c18SMatthew Dillon 	    time_status & (STA_PPSWANDER | STA_PPSERROR))) {
419a5088017SPoul-Henning Kamp 		p->p_retval[0] = TIME_ERROR;
4206f1e8c18SMatthew Dillon 	} else {
421a5088017SPoul-Henning Kamp 		p->p_retval[0] = time_state;
4226f1e8c18SMatthew Dillon 	}
4236f1e8c18SMatthew Dillon done2:
4246f1e8c18SMatthew Dillon 	mtx_unlock(&Giant);
425a5088017SPoul-Henning Kamp 	return (error);
426c68996e2SPoul-Henning Kamp }
427c68996e2SPoul-Henning Kamp 
428c68996e2SPoul-Henning Kamp /*
429c68996e2SPoul-Henning Kamp  * second_overflow() - called after ntp_tick_adjust()
430c68996e2SPoul-Henning Kamp  *
431c68996e2SPoul-Henning Kamp  * This routine is ordinarily called immediately following the above
432c68996e2SPoul-Henning Kamp  * routine ntp_tick_adjust(). While these two routines are normally
433c68996e2SPoul-Henning Kamp  * combined, they are separated here only for the purposes of
434c68996e2SPoul-Henning Kamp  * simulation.
435c68996e2SPoul-Henning Kamp  */
436c68996e2SPoul-Henning Kamp void
437c68996e2SPoul-Henning Kamp ntp_update_second(struct timecounter *tcp)
438c68996e2SPoul-Henning Kamp {
439c68996e2SPoul-Henning Kamp 	u_int32_t *newsec;
44097804a5cSPoul-Henning Kamp 	l_fp ftemp;		/* 32/64-bit temporary */
441c68996e2SPoul-Henning Kamp 
442c68996e2SPoul-Henning Kamp 	newsec = &tcp->tc_offset_sec;
44382e84c5bSPoul-Henning Kamp 	/*
44482e84c5bSPoul-Henning Kamp 	 * On rollover of the second both the nanosecond and microsecond
44582e84c5bSPoul-Henning Kamp 	 * clocks are updated and the state machine cranked as
44682e84c5bSPoul-Henning Kamp 	 * necessary. The phase adjustment to be used for the next
44782e84c5bSPoul-Henning Kamp 	 * second is calculated and the maximum error is increased by
44882e84c5bSPoul-Henning Kamp 	 * the tolerance.
44982e84c5bSPoul-Henning Kamp 	 */
450c68996e2SPoul-Henning Kamp 	time_maxerror += MAXFREQ / 1000;
451c68996e2SPoul-Henning Kamp 
452c68996e2SPoul-Henning Kamp 	/*
453c68996e2SPoul-Henning Kamp 	 * Leap second processing. If in leap-insert state at
454c68996e2SPoul-Henning Kamp 	 * the end of the day, the system clock is set back one
455c68996e2SPoul-Henning Kamp 	 * second; if in leap-delete state, the system clock is
456c68996e2SPoul-Henning Kamp 	 * set ahead one second. The nano_time() routine or
457c68996e2SPoul-Henning Kamp 	 * external clock driver will insure that reported time
458c68996e2SPoul-Henning Kamp 	 * is always monotonic.
459c68996e2SPoul-Henning Kamp 	 */
460c68996e2SPoul-Henning Kamp 	switch (time_state) {
461c68996e2SPoul-Henning Kamp 
462c68996e2SPoul-Henning Kamp 		/*
463c68996e2SPoul-Henning Kamp 		 * No warning.
464c68996e2SPoul-Henning Kamp 		 */
465c68996e2SPoul-Henning Kamp 		case TIME_OK:
466c68996e2SPoul-Henning Kamp 		if (time_status & STA_INS)
467c68996e2SPoul-Henning Kamp 			time_state = TIME_INS;
468c68996e2SPoul-Henning Kamp 		else if (time_status & STA_DEL)
469c68996e2SPoul-Henning Kamp 			time_state = TIME_DEL;
470c68996e2SPoul-Henning Kamp 		break;
471c68996e2SPoul-Henning Kamp 
472c68996e2SPoul-Henning Kamp 		/*
473c68996e2SPoul-Henning Kamp 		 * Insert second 23:59:60 following second
474c68996e2SPoul-Henning Kamp 		 * 23:59:59.
475c68996e2SPoul-Henning Kamp 		 */
476c68996e2SPoul-Henning Kamp 		case TIME_INS:
477c68996e2SPoul-Henning Kamp 		if (!(time_status & STA_INS))
478c68996e2SPoul-Henning Kamp 			time_state = TIME_OK;
479c68996e2SPoul-Henning Kamp 		else if ((*newsec) % 86400 == 0) {
480c68996e2SPoul-Henning Kamp 			(*newsec)--;
481c68996e2SPoul-Henning Kamp 			time_state = TIME_OOP;
482c68996e2SPoul-Henning Kamp 		}
483c68996e2SPoul-Henning Kamp 		break;
484c68996e2SPoul-Henning Kamp 
485c68996e2SPoul-Henning Kamp 		/*
486c68996e2SPoul-Henning Kamp 		 * Delete second 23:59:59.
487c68996e2SPoul-Henning Kamp 		 */
488c68996e2SPoul-Henning Kamp 		case TIME_DEL:
489c68996e2SPoul-Henning Kamp 		if (!(time_status & STA_DEL))
490c68996e2SPoul-Henning Kamp 			time_state = TIME_OK;
491c68996e2SPoul-Henning Kamp 		else if (((*newsec) + 1) % 86400 == 0) {
492c68996e2SPoul-Henning Kamp 			(*newsec)++;
49397804a5cSPoul-Henning Kamp 			time_tai--;
494c68996e2SPoul-Henning Kamp 			time_state = TIME_WAIT;
495c68996e2SPoul-Henning Kamp 		}
496c68996e2SPoul-Henning Kamp 		break;
497c68996e2SPoul-Henning Kamp 
498c68996e2SPoul-Henning Kamp 		/*
499c68996e2SPoul-Henning Kamp 		 * Insert second in progress.
500c68996e2SPoul-Henning Kamp 		 */
501c68996e2SPoul-Henning Kamp 		case TIME_OOP:
50297804a5cSPoul-Henning Kamp 			time_tai++;
503c68996e2SPoul-Henning Kamp 			time_state = TIME_WAIT;
504c68996e2SPoul-Henning Kamp 		break;
505c68996e2SPoul-Henning Kamp 
506c68996e2SPoul-Henning Kamp 		/*
507c68996e2SPoul-Henning Kamp 		 * Wait for status bits to clear.
508c68996e2SPoul-Henning Kamp 		 */
509c68996e2SPoul-Henning Kamp 		case TIME_WAIT:
510c68996e2SPoul-Henning Kamp 		if (!(time_status & (STA_INS | STA_DEL)))
511c68996e2SPoul-Henning Kamp 			time_state = TIME_OK;
512c68996e2SPoul-Henning Kamp 	}
513c68996e2SPoul-Henning Kamp 
514c68996e2SPoul-Henning Kamp 	/*
51582e84c5bSPoul-Henning Kamp 	 * Compute the total time adjustment for the next second
51682e84c5bSPoul-Henning Kamp 	 * in ns. The offset is reduced by a factor depending on
51782e84c5bSPoul-Henning Kamp 	 * whether the PPS signal is operating. Note that the
51882e84c5bSPoul-Henning Kamp 	 * value is in effect scaled by the clock frequency,
51982e84c5bSPoul-Henning Kamp 	 * since the adjustment is added at each tick interrupt.
520c68996e2SPoul-Henning Kamp 	 */
52197804a5cSPoul-Henning Kamp 	ftemp = time_offset;
522c68996e2SPoul-Henning Kamp #ifdef PPS_SYNC
52397804a5cSPoul-Henning Kamp 	/* XXX even if PPS signal dies we should finish adjustment ? */
52497804a5cSPoul-Henning Kamp 	if (time_status & STA_PPSTIME && time_status &
52597804a5cSPoul-Henning Kamp 	    STA_PPSSIGNAL)
52697804a5cSPoul-Henning Kamp 		L_RSHIFT(ftemp, pps_shift);
52797804a5cSPoul-Henning Kamp 	else
52897804a5cSPoul-Henning Kamp 		L_RSHIFT(ftemp, SHIFT_PLL + time_constant);
52982e84c5bSPoul-Henning Kamp #else
53097804a5cSPoul-Henning Kamp 		L_RSHIFT(ftemp, SHIFT_PLL + time_constant);
53182e84c5bSPoul-Henning Kamp #endif /* PPS_SYNC */
53297804a5cSPoul-Henning Kamp 	time_adj = ftemp;
53397804a5cSPoul-Henning Kamp 	L_SUB(time_offset, ftemp);
534c68996e2SPoul-Henning Kamp 	L_ADD(time_adj, time_freq);
535c68996e2SPoul-Henning Kamp 	tcp->tc_adjustment = time_adj;
536c68996e2SPoul-Henning Kamp #ifdef PPS_SYNC
537c68996e2SPoul-Henning Kamp 	if (pps_valid > 0)
538c68996e2SPoul-Henning Kamp 		pps_valid--;
539c68996e2SPoul-Henning Kamp 	else
54024dbea46SJohn Hay 		time_status &= ~STA_PPSSIGNAL;
541c68996e2SPoul-Henning Kamp #endif /* PPS_SYNC */
542c68996e2SPoul-Henning Kamp }
543c68996e2SPoul-Henning Kamp 
544c68996e2SPoul-Henning Kamp /*
545c68996e2SPoul-Henning Kamp  * ntp_init() - initialize variables and structures
546c68996e2SPoul-Henning Kamp  *
547c68996e2SPoul-Henning Kamp  * This routine must be called after the kernel variables hz and tick
548c68996e2SPoul-Henning Kamp  * are set or changed and before the next tick interrupt. In this
549c68996e2SPoul-Henning Kamp  * particular implementation, these values are assumed set elsewhere in
550c68996e2SPoul-Henning Kamp  * the kernel. The design allows the clock frequency and tick interval
551c68996e2SPoul-Henning Kamp  * to be changed while the system is running. So, this routine should
552c68996e2SPoul-Henning Kamp  * probably be integrated with the code that does that.
553c68996e2SPoul-Henning Kamp  */
554c68996e2SPoul-Henning Kamp static void
555c68996e2SPoul-Henning Kamp ntp_init()
556c68996e2SPoul-Henning Kamp {
557c68996e2SPoul-Henning Kamp 
558c68996e2SPoul-Henning Kamp 	/*
559c68996e2SPoul-Henning Kamp 	 * The following variable must be initialized any time the
560c68996e2SPoul-Henning Kamp 	 * kernel variable hz is changed.
561c68996e2SPoul-Henning Kamp 	 */
562c68996e2SPoul-Henning Kamp 	time_tick = NANOSECOND / hz;
563c68996e2SPoul-Henning Kamp 
564c68996e2SPoul-Henning Kamp 	/*
565c68996e2SPoul-Henning Kamp 	 * The following variables are initialized only at startup. Only
566c68996e2SPoul-Henning Kamp 	 * those structures not cleared by the compiler need to be
567c68996e2SPoul-Henning Kamp 	 * initialized, and these only in the simulator. In the actual
568c68996e2SPoul-Henning Kamp 	 * kernel, any nonzero values here will quickly evaporate.
569c68996e2SPoul-Henning Kamp 	 */
570c68996e2SPoul-Henning Kamp 	L_CLR(time_offset);
571c68996e2SPoul-Henning Kamp 	L_CLR(time_freq);
572c68996e2SPoul-Henning Kamp #ifdef PPS_SYNC
57382e84c5bSPoul-Henning Kamp 	pps_tf[0].tv_sec = pps_tf[0].tv_nsec = 0;
57482e84c5bSPoul-Henning Kamp 	pps_tf[1].tv_sec = pps_tf[1].tv_nsec = 0;
57582e84c5bSPoul-Henning Kamp 	pps_tf[2].tv_sec = pps_tf[2].tv_nsec = 0;
576f425c1f6SPoul-Henning Kamp 	pps_fcount = 0;
577c68996e2SPoul-Henning Kamp 	L_CLR(pps_freq);
578c68996e2SPoul-Henning Kamp #endif /* PPS_SYNC */
579c68996e2SPoul-Henning Kamp }
580c68996e2SPoul-Henning Kamp 
581c68996e2SPoul-Henning Kamp SYSINIT(ntpclocks, SI_SUB_CLOCKS, SI_ORDER_FIRST, ntp_init, NULL)
5826f70df15SPoul-Henning Kamp 
5836f70df15SPoul-Henning Kamp /*
5846f70df15SPoul-Henning Kamp  * hardupdate() - local clock update
5856f70df15SPoul-Henning Kamp  *
5866f70df15SPoul-Henning Kamp  * This routine is called by ntp_adjtime() to update the local clock
5876f70df15SPoul-Henning Kamp  * phase and frequency. The implementation is of an adaptive-parameter,
5886f70df15SPoul-Henning Kamp  * hybrid phase/frequency-lock loop (PLL/FLL). The routine computes new
5896f70df15SPoul-Henning Kamp  * time and frequency offset estimates for each call. If the kernel PPS
5906f70df15SPoul-Henning Kamp  * discipline code is configured (PPS_SYNC), the PPS signal itself
5916f70df15SPoul-Henning Kamp  * determines the new time offset, instead of the calling argument.
5926f70df15SPoul-Henning Kamp  * Presumably, calls to ntp_adjtime() occur only when the caller
5936f70df15SPoul-Henning Kamp  * believes the local clock is valid within some bound (+-128 ms with
5946f70df15SPoul-Henning Kamp  * NTP). If the caller's time is far different than the PPS time, an
5956f70df15SPoul-Henning Kamp  * argument will ensue, and it's not clear who will lose.
5966f70df15SPoul-Henning Kamp  *
597c68996e2SPoul-Henning Kamp  * For uncompensated quartz crystal oscillators and nominal update
598c68996e2SPoul-Henning Kamp  * intervals less than 256 s, operation should be in phase-lock mode,
599c68996e2SPoul-Henning Kamp  * where the loop is disciplined to phase. For update intervals greater
600c68996e2SPoul-Henning Kamp  * than 1024 s, operation should be in frequency-lock mode, where the
601c68996e2SPoul-Henning Kamp  * loop is disciplined to frequency. Between 256 s and 1024 s, the mode
602c68996e2SPoul-Henning Kamp  * is selected by the STA_MODE status bit.
6036f70df15SPoul-Henning Kamp  */
6046f70df15SPoul-Henning Kamp static void
605c68996e2SPoul-Henning Kamp hardupdate(offset)
606c68996e2SPoul-Henning Kamp 	long offset;		/* clock offset (ns) */
6076f70df15SPoul-Henning Kamp {
60897804a5cSPoul-Henning Kamp 	long mtemp;
609c68996e2SPoul-Henning Kamp 	l_fp ftemp;
6106f70df15SPoul-Henning Kamp 
611c68996e2SPoul-Henning Kamp 	/*
612c68996e2SPoul-Henning Kamp 	 * Select how the phase is to be controlled and from which
613c68996e2SPoul-Henning Kamp 	 * source. If the PPS signal is present and enabled to
614c68996e2SPoul-Henning Kamp 	 * discipline the time, the PPS offset is used; otherwise, the
615c68996e2SPoul-Henning Kamp 	 * argument offset is used.
616c68996e2SPoul-Henning Kamp 	 */
61782e84c5bSPoul-Henning Kamp 	if (!(time_status & STA_PLL))
61882e84c5bSPoul-Henning Kamp 		return;
61997804a5cSPoul-Henning Kamp 	if (!(time_status & STA_PPSTIME && time_status &
62097804a5cSPoul-Henning Kamp 	    STA_PPSSIGNAL)) {
62197804a5cSPoul-Henning Kamp 		if (offset > MAXPHASE)
62297804a5cSPoul-Henning Kamp 			time_monitor = MAXPHASE;
62397804a5cSPoul-Henning Kamp 		else if (offset < -MAXPHASE)
62497804a5cSPoul-Henning Kamp 			time_monitor = -MAXPHASE;
62597804a5cSPoul-Henning Kamp 		else
62697804a5cSPoul-Henning Kamp 			time_monitor = offset;
62797804a5cSPoul-Henning Kamp 		L_LINT(time_offset, time_monitor);
62897804a5cSPoul-Henning Kamp 	}
6296f70df15SPoul-Henning Kamp 
6306f70df15SPoul-Henning Kamp 	/*
631c68996e2SPoul-Henning Kamp 	 * Select how the frequency is to be controlled and in which
632c68996e2SPoul-Henning Kamp 	 * mode (PLL or FLL). If the PPS signal is present and enabled
633c68996e2SPoul-Henning Kamp 	 * to discipline the frequency, the PPS frequency is used;
634c68996e2SPoul-Henning Kamp 	 * otherwise, the argument offset is used to compute it.
6356f70df15SPoul-Henning Kamp 	 */
636c68996e2SPoul-Henning Kamp 	if (time_status & STA_PPSFREQ && time_status & STA_PPSSIGNAL) {
637c68996e2SPoul-Henning Kamp 		time_reftime = time_second;
638c68996e2SPoul-Henning Kamp 		return;
639c68996e2SPoul-Henning Kamp 	}
6406f70df15SPoul-Henning Kamp 	if (time_status & STA_FREQHOLD || time_reftime == 0)
641227ee8a1SPoul-Henning Kamp 		time_reftime = time_second;
642227ee8a1SPoul-Henning Kamp 	mtemp = time_second - time_reftime;
64397804a5cSPoul-Henning Kamp 	L_LINT(ftemp, time_monitor);
644c68996e2SPoul-Henning Kamp 	L_RSHIFT(ftemp, (SHIFT_PLL + 2 + time_constant) << 1);
645c68996e2SPoul-Henning Kamp 	L_MPY(ftemp, mtemp);
646c68996e2SPoul-Henning Kamp 	L_ADD(time_freq, ftemp);
647c68996e2SPoul-Henning Kamp 	time_status &= ~STA_MODE;
64897804a5cSPoul-Henning Kamp 	if (mtemp >= MINSEC && (time_status & STA_FLL || mtemp >
64997804a5cSPoul-Henning Kamp 	    MAXSEC)) {
65097804a5cSPoul-Henning Kamp 		L_LINT(ftemp, (time_monitor << 4) / mtemp);
65182e84c5bSPoul-Henning Kamp 		L_RSHIFT(ftemp, SHIFT_FLL + 4);
65282e84c5bSPoul-Henning Kamp 		L_ADD(time_freq, ftemp);
65382e84c5bSPoul-Henning Kamp 		time_status |= STA_MODE;
654c68996e2SPoul-Henning Kamp 	}
655227ee8a1SPoul-Henning Kamp 	time_reftime = time_second;
656c68996e2SPoul-Henning Kamp 	if (L_GINT(time_freq) > MAXFREQ)
657c68996e2SPoul-Henning Kamp 		L_LINT(time_freq, MAXFREQ);
658c68996e2SPoul-Henning Kamp 	else if (L_GINT(time_freq) < -MAXFREQ)
659c68996e2SPoul-Henning Kamp 		L_LINT(time_freq, -MAXFREQ);
6603f31c649SGarrett Wollman }
6613f31c649SGarrett Wollman 
6626f70df15SPoul-Henning Kamp #ifdef PPS_SYNC
6636f70df15SPoul-Henning Kamp /*
6646f70df15SPoul-Henning Kamp  * hardpps() - discipline CPU clock oscillator to external PPS signal
6656f70df15SPoul-Henning Kamp  *
6666f70df15SPoul-Henning Kamp  * This routine is called at each PPS interrupt in order to discipline
66797804a5cSPoul-Henning Kamp  * the CPU clock oscillator to the PPS signal. There are two independent
66897804a5cSPoul-Henning Kamp  * first-order feedback loops, one for the phase, the other for the
66997804a5cSPoul-Henning Kamp  * frequency. The phase loop measures and grooms the PPS phase offset
67097804a5cSPoul-Henning Kamp  * and leaves it in a handy spot for the seconds overflow routine. The
67197804a5cSPoul-Henning Kamp  * frequency loop averages successive PPS phase differences and
67297804a5cSPoul-Henning Kamp  * calculates the PPS frequency offset, which is also processed by the
67397804a5cSPoul-Henning Kamp  * seconds overflow routine. The code requires the caller to capture the
67497804a5cSPoul-Henning Kamp  * time and architecture-dependent hardware counter values in
67597804a5cSPoul-Henning Kamp  * nanoseconds at the on-time PPS signal transition.
6766f70df15SPoul-Henning Kamp  *
677c68996e2SPoul-Henning Kamp  * Note that, on some Unix systems this routine runs at an interrupt
6786f70df15SPoul-Henning Kamp  * priority level higher than the timer interrupt routine hardclock().
6796f70df15SPoul-Henning Kamp  * Therefore, the variables used are distinct from the hardclock()
680c68996e2SPoul-Henning Kamp  * variables, except for the actual time and frequency variables, which
681c68996e2SPoul-Henning Kamp  * are determined by this routine and updated atomically.
6826f70df15SPoul-Henning Kamp  */
6836f70df15SPoul-Henning Kamp void
684c68996e2SPoul-Henning Kamp hardpps(tsp, nsec)
685c68996e2SPoul-Henning Kamp 	struct timespec *tsp;	/* time at PPS */
686c68996e2SPoul-Henning Kamp 	long nsec;		/* hardware counter at PPS */
6876f70df15SPoul-Henning Kamp {
68897804a5cSPoul-Henning Kamp 	long u_sec, u_nsec, v_nsec; /* temps */
689c68996e2SPoul-Henning Kamp 	l_fp ftemp;
6906f70df15SPoul-Henning Kamp 
6916f70df15SPoul-Henning Kamp 	/*
69297804a5cSPoul-Henning Kamp 	 * The signal is first processed by a range gate and frequency
69397804a5cSPoul-Henning Kamp 	 * discriminator. The range gate rejects noise spikes outside
69497804a5cSPoul-Henning Kamp 	 * the range +-500 us. The frequency discriminator rejects input
69597804a5cSPoul-Henning Kamp 	 * signals with apparent frequency outside the range 1 +-500
69697804a5cSPoul-Henning Kamp 	 * PPM. If two hits occur in the same second, we ignore the
69797804a5cSPoul-Henning Kamp 	 * later hit; if not and a hit occurs outside the range gate,
69897804a5cSPoul-Henning Kamp 	 * keep the later hit for later comparison, but do not process
69997804a5cSPoul-Henning Kamp 	 * it.
7006f70df15SPoul-Henning Kamp 	 */
701c68996e2SPoul-Henning Kamp 	time_status |= STA_PPSSIGNAL | STA_PPSJITTER;
702c68996e2SPoul-Henning Kamp 	time_status &= ~(STA_PPSWANDER | STA_PPSERROR);
703c68996e2SPoul-Henning Kamp 	pps_valid = PPS_VALID;
704c68996e2SPoul-Henning Kamp 	u_sec = tsp->tv_sec;
705c68996e2SPoul-Henning Kamp 	u_nsec = tsp->tv_nsec;
706c68996e2SPoul-Henning Kamp 	if (u_nsec >= (NANOSECOND >> 1)) {
707c68996e2SPoul-Henning Kamp 		u_nsec -= NANOSECOND;
708c68996e2SPoul-Henning Kamp 		u_sec++;
7096f70df15SPoul-Henning Kamp 	}
71082e84c5bSPoul-Henning Kamp 	v_nsec = u_nsec - pps_tf[0].tv_nsec;
71124dbea46SJohn Hay 	if (u_sec == pps_tf[0].tv_sec && v_nsec < NANOSECOND -
71224dbea46SJohn Hay 	    MAXFREQ)
713c68996e2SPoul-Henning Kamp 		return;
714c68996e2SPoul-Henning Kamp 	pps_tf[2] = pps_tf[1];
715c68996e2SPoul-Henning Kamp 	pps_tf[1] = pps_tf[0];
71682e84c5bSPoul-Henning Kamp 	pps_tf[0].tv_sec = u_sec;
71782e84c5bSPoul-Henning Kamp 	pps_tf[0].tv_nsec = u_nsec;
7186f70df15SPoul-Henning Kamp 
7196f70df15SPoul-Henning Kamp 	/*
720c68996e2SPoul-Henning Kamp 	 * Compute the difference between the current and previous
721c68996e2SPoul-Henning Kamp 	 * counter values. If the difference exceeds 0.5 s, assume it
722c68996e2SPoul-Henning Kamp 	 * has wrapped around, so correct 1.0 s. If the result exceeds
723c68996e2SPoul-Henning Kamp 	 * the tick interval, the sample point has crossed a tick
724c68996e2SPoul-Henning Kamp 	 * boundary during the last second, so correct the tick. Very
725c68996e2SPoul-Henning Kamp 	 * intricate.
726c68996e2SPoul-Henning Kamp 	 */
72732c20357SPoul-Henning Kamp 	u_nsec = nsec;
728c68996e2SPoul-Henning Kamp 	if (u_nsec > (NANOSECOND >> 1))
729c68996e2SPoul-Henning Kamp 		u_nsec -= NANOSECOND;
730c68996e2SPoul-Henning Kamp 	else if (u_nsec < -(NANOSECOND >> 1))
731c68996e2SPoul-Henning Kamp 		u_nsec += NANOSECOND;
732884ab557SPoul-Henning Kamp 	pps_fcount += u_nsec;
73324dbea46SJohn Hay 	if (v_nsec > MAXFREQ || v_nsec < -MAXFREQ)
734c68996e2SPoul-Henning Kamp 		return;
735c68996e2SPoul-Henning Kamp 	time_status &= ~STA_PPSJITTER;
736c68996e2SPoul-Henning Kamp 
737c68996e2SPoul-Henning Kamp 	/*
738c68996e2SPoul-Henning Kamp 	 * A three-stage median filter is used to help denoise the PPS
7396f70df15SPoul-Henning Kamp 	 * time. The median sample becomes the time offset estimate; the
7406f70df15SPoul-Henning Kamp 	 * difference between the other two samples becomes the time
7416f70df15SPoul-Henning Kamp 	 * dispersion (jitter) estimate.
7426f70df15SPoul-Henning Kamp 	 */
74382e84c5bSPoul-Henning Kamp 	if (pps_tf[0].tv_nsec > pps_tf[1].tv_nsec) {
74482e84c5bSPoul-Henning Kamp 		if (pps_tf[1].tv_nsec > pps_tf[2].tv_nsec) {
74582e84c5bSPoul-Henning Kamp 			v_nsec = pps_tf[1].tv_nsec;	/* 0 1 2 */
74682e84c5bSPoul-Henning Kamp 			u_nsec = pps_tf[0].tv_nsec - pps_tf[2].tv_nsec;
74782e84c5bSPoul-Henning Kamp 		} else if (pps_tf[2].tv_nsec > pps_tf[0].tv_nsec) {
74882e84c5bSPoul-Henning Kamp 			v_nsec = pps_tf[0].tv_nsec;	/* 2 0 1 */
74982e84c5bSPoul-Henning Kamp 			u_nsec = pps_tf[2].tv_nsec - pps_tf[1].tv_nsec;
7506f70df15SPoul-Henning Kamp 		} else {
75182e84c5bSPoul-Henning Kamp 			v_nsec = pps_tf[2].tv_nsec;	/* 0 2 1 */
75282e84c5bSPoul-Henning Kamp 			u_nsec = pps_tf[0].tv_nsec - pps_tf[1].tv_nsec;
753c68996e2SPoul-Henning Kamp 		}
754c68996e2SPoul-Henning Kamp 	} else {
75582e84c5bSPoul-Henning Kamp 		if (pps_tf[1].tv_nsec < pps_tf[2].tv_nsec) {
75682e84c5bSPoul-Henning Kamp 			v_nsec = pps_tf[1].tv_nsec;	/* 2 1 0 */
75782e84c5bSPoul-Henning Kamp 			u_nsec = pps_tf[2].tv_nsec - pps_tf[0].tv_nsec;
75882e84c5bSPoul-Henning Kamp 		} else if (pps_tf[2].tv_nsec < pps_tf[0].tv_nsec) {
75982e84c5bSPoul-Henning Kamp 			v_nsec = pps_tf[0].tv_nsec;	/* 1 0 2 */
76082e84c5bSPoul-Henning Kamp 			u_nsec = pps_tf[1].tv_nsec - pps_tf[2].tv_nsec;
761c68996e2SPoul-Henning Kamp 		} else {
76282e84c5bSPoul-Henning Kamp 			v_nsec = pps_tf[2].tv_nsec;	/* 1 2 0 */
76382e84c5bSPoul-Henning Kamp 			u_nsec = pps_tf[1].tv_nsec - pps_tf[0].tv_nsec;
7646f70df15SPoul-Henning Kamp 		}
7656f70df15SPoul-Henning Kamp 	}
7666f70df15SPoul-Henning Kamp 
7676f70df15SPoul-Henning Kamp 	/*
768c68996e2SPoul-Henning Kamp 	 * Nominal jitter is due to PPS signal noise and interrupt
76997804a5cSPoul-Henning Kamp 	 * latency. If it exceeds the popcorn threshold, the sample is
77097804a5cSPoul-Henning Kamp 	 * discarded. otherwise, if so enabled, the time offset is
77197804a5cSPoul-Henning Kamp 	 * updated. We can tolerate a modest loss of data here without
77297804a5cSPoul-Henning Kamp 	 * much degrading time accuracy.
7736f70df15SPoul-Henning Kamp 	 */
77482e84c5bSPoul-Henning Kamp 	if (u_nsec > (pps_jitter << PPS_POPCORN)) {
775c68996e2SPoul-Henning Kamp 		time_status |= STA_PPSJITTER;
776c68996e2SPoul-Henning Kamp 		pps_jitcnt++;
777c68996e2SPoul-Henning Kamp 	} else if (time_status & STA_PPSTIME) {
77897804a5cSPoul-Henning Kamp 		time_monitor = -v_nsec;
77997804a5cSPoul-Henning Kamp 		L_LINT(time_offset, time_monitor);
780c68996e2SPoul-Henning Kamp 	}
781c68996e2SPoul-Henning Kamp 	pps_jitter += (u_nsec - pps_jitter) >> PPS_FAVG;
78282e84c5bSPoul-Henning Kamp 	u_sec = pps_tf[0].tv_sec - pps_lastsec;
783c68996e2SPoul-Henning Kamp 	if (u_sec < (1 << pps_shift))
784c68996e2SPoul-Henning Kamp 		return;
785c68996e2SPoul-Henning Kamp 
786c68996e2SPoul-Henning Kamp 	/*
787c68996e2SPoul-Henning Kamp 	 * At the end of the calibration interval the difference between
788c68996e2SPoul-Henning Kamp 	 * the first and last counter values becomes the scaled
789c68996e2SPoul-Henning Kamp 	 * frequency. It will later be divided by the length of the
790c68996e2SPoul-Henning Kamp 	 * interval to determine the frequency update. If the frequency
791c68996e2SPoul-Henning Kamp 	 * exceeds a sanity threshold, or if the actual calibration
792c68996e2SPoul-Henning Kamp 	 * interval is not equal to the expected length, the data are
793c68996e2SPoul-Henning Kamp 	 * discarded. We can tolerate a modest loss of data here without
79497804a5cSPoul-Henning Kamp 	 * much degrading frequency accuracy.
795c68996e2SPoul-Henning Kamp 	 */
796c68996e2SPoul-Henning Kamp 	pps_calcnt++;
797884ab557SPoul-Henning Kamp 	v_nsec = -pps_fcount;
79882e84c5bSPoul-Henning Kamp 	pps_lastsec = pps_tf[0].tv_sec;
799884ab557SPoul-Henning Kamp 	pps_fcount = 0;
800c68996e2SPoul-Henning Kamp 	u_nsec = MAXFREQ << pps_shift;
801c68996e2SPoul-Henning Kamp 	if (v_nsec > u_nsec || v_nsec < -u_nsec || u_sec != (1 <<
802c68996e2SPoul-Henning Kamp 	    pps_shift)) {
803c68996e2SPoul-Henning Kamp 		time_status |= STA_PPSERROR;
804c68996e2SPoul-Henning Kamp 		pps_errcnt++;
805c68996e2SPoul-Henning Kamp 		return;
806c68996e2SPoul-Henning Kamp 	}
807c68996e2SPoul-Henning Kamp 
808c68996e2SPoul-Henning Kamp 	/*
80982e84c5bSPoul-Henning Kamp 	 * Here the raw frequency offset and wander (stability) is
81082e84c5bSPoul-Henning Kamp 	 * calculated. If the wander is less than the wander threshold
81182e84c5bSPoul-Henning Kamp 	 * for four consecutive averaging intervals, the interval is
81282e84c5bSPoul-Henning Kamp 	 * doubled; if it is greater than the threshold for four
81382e84c5bSPoul-Henning Kamp 	 * consecutive intervals, the interval is halved. The scaled
81482e84c5bSPoul-Henning Kamp 	 * frequency offset is converted to frequency offset. The
81582e84c5bSPoul-Henning Kamp 	 * stability metric is calculated as the average of recent
81682e84c5bSPoul-Henning Kamp 	 * frequency changes, but is used only for performance
817c68996e2SPoul-Henning Kamp 	 * monitoring.
818c68996e2SPoul-Henning Kamp 	 */
819c68996e2SPoul-Henning Kamp 	L_LINT(ftemp, v_nsec);
820c68996e2SPoul-Henning Kamp 	L_RSHIFT(ftemp, pps_shift);
821c68996e2SPoul-Henning Kamp 	L_SUB(ftemp, pps_freq);
822c68996e2SPoul-Henning Kamp 	u_nsec = L_GINT(ftemp);
82382e84c5bSPoul-Henning Kamp 	if (u_nsec > PPS_MAXWANDER) {
82482e84c5bSPoul-Henning Kamp 		L_LINT(ftemp, PPS_MAXWANDER);
825c68996e2SPoul-Henning Kamp 		pps_intcnt--;
826c68996e2SPoul-Henning Kamp 		time_status |= STA_PPSWANDER;
827c68996e2SPoul-Henning Kamp 		pps_stbcnt++;
82882e84c5bSPoul-Henning Kamp 	} else if (u_nsec < -PPS_MAXWANDER) {
82982e84c5bSPoul-Henning Kamp 		L_LINT(ftemp, -PPS_MAXWANDER);
830c68996e2SPoul-Henning Kamp 		pps_intcnt--;
831c68996e2SPoul-Henning Kamp 		time_status |= STA_PPSWANDER;
832c68996e2SPoul-Henning Kamp 		pps_stbcnt++;
833c68996e2SPoul-Henning Kamp 	} else {
8346f70df15SPoul-Henning Kamp 		pps_intcnt++;
8356f70df15SPoul-Henning Kamp 	}
83697804a5cSPoul-Henning Kamp 	if (pps_intcnt >= 4) {
837c68996e2SPoul-Henning Kamp 		pps_intcnt = 4;
83882e84c5bSPoul-Henning Kamp 		if (pps_shift < pps_shiftmax) {
839c68996e2SPoul-Henning Kamp 			pps_shift++;
840c68996e2SPoul-Henning Kamp 			pps_intcnt = 0;
841c68996e2SPoul-Henning Kamp 		}
84297804a5cSPoul-Henning Kamp 	} else if (pps_intcnt <= -4 || pps_shift > pps_shiftmax) {
843c68996e2SPoul-Henning Kamp 		pps_intcnt = -4;
844c68996e2SPoul-Henning Kamp 		if (pps_shift > PPS_FAVG) {
845c68996e2SPoul-Henning Kamp 			pps_shift--;
846c68996e2SPoul-Henning Kamp 			pps_intcnt = 0;
847c68996e2SPoul-Henning Kamp 		}
848c68996e2SPoul-Henning Kamp 	}
849c68996e2SPoul-Henning Kamp 	if (u_nsec < 0)
850c68996e2SPoul-Henning Kamp 		u_nsec = -u_nsec;
851c68996e2SPoul-Henning Kamp 	pps_stabil += (u_nsec * SCALE_PPM - pps_stabil) >> PPS_FAVG;
8529ada5a50SPoul-Henning Kamp 
853c68996e2SPoul-Henning Kamp 	/*
85482e84c5bSPoul-Henning Kamp 	 * The PPS frequency is recalculated and clamped to the maximum
85582e84c5bSPoul-Henning Kamp 	 * MAXFREQ. If enabled, the system clock frequency is updated as
85682e84c5bSPoul-Henning Kamp 	 * well.
857c68996e2SPoul-Henning Kamp 	 */
858c68996e2SPoul-Henning Kamp 	L_ADD(pps_freq, ftemp);
859c68996e2SPoul-Henning Kamp 	u_nsec = L_GINT(pps_freq);
860c68996e2SPoul-Henning Kamp 	if (u_nsec > MAXFREQ)
861c68996e2SPoul-Henning Kamp 		L_LINT(pps_freq, MAXFREQ);
862c68996e2SPoul-Henning Kamp 	else if (u_nsec < -MAXFREQ)
863c68996e2SPoul-Henning Kamp 		L_LINT(pps_freq, -MAXFREQ);
86497804a5cSPoul-Henning Kamp 	if (time_status & STA_PPSFREQ)
865c68996e2SPoul-Henning Kamp 		time_freq = pps_freq;
866c68996e2SPoul-Henning Kamp }
8676f70df15SPoul-Henning Kamp #endif /* PPS_SYNC */
868