Uses Timer 0 and the RTC to keep accurate time. It can accept a PPS from an external source like a GPS or a regular time stamp from an external source like an NTP server. It also provides timer functions to 96MHz up to 44 seconds using the CPU clock.

Dependents:   oldheating gps motorhome heating

Description

The clock library provides a number of separate functions:

  • hrtimer An unsigned 32bit high resolution timer which wraps around every 44 seconds from which all the time is derived.
  • mstimer An unsigned 32bit low resolution timer which wraps around every 49 days
  • clktimer A signed 64bit timer (TAI) which doesn't wrap (or not until 2242 when clock time breaks)
  • scan Calculates the max, min and average scan times.
  • rtc A real time clock to provide backup
  • tm Routines to manipulate struct tm local and utc times
  • clk A clock which is synchronised to an external source

High resolution timer

hrtimer uses TIM0 as a 32bit timer which counts at the cpu frequency 96MHz and rolls over after about 44s.
It has an init routine called from ClkInit to start it, thereafter it free runs.
No dependencies.

Millisecond timer

mstimer uses the high resolution timer to count the number of ms since power up. Its unsigned 32bit count rolls over after about 49 days.
It has a main routine called from ClkMain.
Depends on timer.

Clock timer

clktimer uses the signed 64 bit clock time.
Depends on clock and hence hrtimer.

Scan times

scan uses the high resolution timer to calculate the max, min and average scan times.
It has a main routine called from ClkMain.
Depends on hrtimer.

Real time clock

rtc contains routines to save and restore the time in the battery backed real time clock.
Parameters are struct tm.
No dependencies.

Local and UTC manipulation

tm contains

  • the typedef time64 which contains the count of seconds since 1970; just like time_t but based on int64_t to avoid the 2038 problem
  • a number of functions for manipulating time64 and struct tm times

No dependencies.

Clk

clk contains

  • settings
  • functions to save and restore the time to the RTC. Depends on timer, rtc and tm.

clktime increments the time by 1 each second via clk.c from timer.c.
It increments the signed 64 bit time count using the ppb and slew (governed by clkgov.c).
When the time is requested it uses its count and a proportion of the elapsed second from the high resolution timer to calculate the exact time.
See time-formats.text for the clock time format.

clkgov governs the ppb and slew to synchronise the clock time with an external source.
PPB is stored in GPREG0 whenever it is set and retrieved during initialisation.
It takes external time from either:

  • a long term source such as NTP
  • a pulse per second (PPS) such as GPS

clkntp converts clock time to NTP time and vice versa.

clktm converts clock time to struct tm and vice versa

clkutc maintains the era offset (leap seconds count).
The era offset and other information is stored in GPREG1 whenever it is set and retrieved during initialisation.
It contains:

  • the current era offset
  • for the next epoch:
    • its start month (as year and month since 1970)
    • its state: normal; waiting to leap forward; waiting to leap back; leaping forward (second 60)
  • conversion routines between tai and utc (clk time is tai)

Clock time formats

Criteria

Resolution

PPS
We get an interrupt each second which we can resolve to a microsecond. The divisor is 1000. To carry this resolution into the governor we need 1 ppb.
NTP
Suppose we are adding compensation every second, sampling every 4 hours and want to represent 3ms of error with a divisor of 10: that would need a resolution of 23 ppb.
The best temperature compensated crystal oscillators can manage about 1ppm (see Wikipedia) long term or 10 ppb short term.

Lifetime

Needs to keep going during the lifetime of this, or other related, projects. At least a century (so 2100) but more than a few centuries is likely to be pointless

Ease of transforming to NTP, time_t

A count of decimal times - ms, us, ns or ps - can only be transformed using multiplication or division by 1000s. NTP and time_t use binary fractions about a fixed decimal point.

Ease of representing ppm or ppb

A count of decimal times is best but a count of fractions is near enough as 10 bits (1024) is very close to being 1000. As long as it is only needed for a correction such as ppb the approximation would only manifest itself as a 7% error.

The version chosen

1 bit sign, 33 bits for seconds, 30 bits for fraction

+/- 272 years at 1ns or 1 ppb per second
Clock era is 1970

Advantages:

  • adequately representing the freq adjustments for pps
  • simple transformation to NTP and time_t
  • approximates to ns or, with a bit shift, to us or ms
  • adequately covers the next two centuries
  • one unit represents 1 ppb for display

Disadvantage:

  • none

Alternatives considered

1 bit sign, 43 bits for seconds, 20 bits for fraction

+/- 278,731 years at 1us or 1 ppm per second

Advantages:

  • a wide coverage
  • simple transformation to NTP and time_t
  • approximates to us or, with a bitwise shift, to ms
  • one unit represents 1 ppm for display

Disadvantage:

  • not able to reflect the freq adjustments for pps.

1 bit sign, 35bits for seconds, 28bits for fraction

+/- 1089 years at 3ns or 3ppb per second
looks like SSSS SSSS S.FFF FFFF in hex

Advantages:

  • easily represented in hex
  • a wide coverage
  • simple transformation to NTP and time_t

Disadvantage:

  • one unit doesn't approximate to anything simple

32 bits for seconds, 32 bits for fraction

Ntp time with an era of 1900
1900 to 2036 with a resolution of 250ps or 0.25 ppb

Advantages:

  • Already NTP and easily converted to time_t

Disadvantage:

  • Will rollover in 2036

Use 96MHz int64 count

+/- 3044 years with a resolution of 10ns or 10ppb per second

Advantages:

  • a wide coverage

Disadvantage:

  • cannot use simple bit shifts to transform to NTP and time_t
  • not transferable to a system with a different clock rate

Use a count of ns

+/- 292 years at 1ns or 1ppb per second

Advantages:

  • adequately representing the freq adjustments for pps
  • easily usable with ppb and ns
  • a wide coverage

Disadvantage:

  • cannot use simple bit shifts to transform to NTP and time_t
Committer:
andrewboyson
Date:
Thu Jan 10 16:09:37 2019 +0000
Revision:
51:826c58fbfaed
Parent:
50:b804e93ccc1e
Child:
55:e18983651004
Modified UTC concept from leap seconds to change to epoch

Who changed what in which revision?

UserRevisionLine numberNew contents of line
andrewboyson 46:d3d56cb47940 1 #include <stdint.h>
andrewboyson 47:fd2af868c10a 2
andrewboyson 46:d3d56cb47940 3 #include "clktime.h"
andrewboyson 47:fd2af868c10a 4 #include "tm.h"
andrewboyson 47:fd2af868c10a 5
andrewboyson 47:fd2af868c10a 6 #define GPREG1 (*((volatile unsigned *) 0x40024048))
andrewboyson 47:fd2af868c10a 7
andrewboyson 47:fd2af868c10a 8 /*
andrewboyson 47:fd2af868c10a 9 +----+----+----+----+----+----+----+----+
andrewboyson 47:fd2af868c10a 10 |Flgs| Leap months | Leap count |
andrewboyson 47:fd2af868c10a 11 |UUDE| 12 bits | 16 bits |
andrewboyson 47:fd2af868c10a 12 +----+----+----+----+----+----+----+----+
andrewboyson 47:fd2af868c10a 13
andrewboyson 47:fd2af868c10a 14 Leap months: 12 bits will hold 4096 months or 341 years
andrewboyson 47:fd2af868c10a 15
andrewboyson 47:fd2af868c10a 16 Leap count: 16 bits will hold enough leaps seconds for 60,000 years
andrewboyson 47:fd2af868c10a 17
andrewboyson 47:fd2af868c10a 18 Flgs
andrewboyson 47:fd2af868c10a 19 U = unused
andrewboyson 47:fd2af868c10a 20 D = direction: 1 to subtract; 0 to add
andrewboyson 47:fd2af868c10a 21 E = Enable: 1 if leap to take into account at the start of the leap month; 0 if already taken or to be ignored
andrewboyson 47:fd2af868c10a 22 */
andrewboyson 47:fd2af868c10a 23
andrewboyson 47:fd2af868c10a 24 //Leap seconds
andrewboyson 51:826c58fbfaed 25 static int epochOffset = 0; //12 bits holds enough leap seconds for at least 300 years.
andrewboyson 51:826c58fbfaed 26 int ClkUtcGetEpochOffset() { return epochOffset; }
andrewboyson 51:826c58fbfaed 27 void ClkUtcSetEpochOffset(int value)
andrewboyson 47:fd2af868c10a 28 {
andrewboyson 51:826c58fbfaed 29 epochOffset = value;
andrewboyson 47:fd2af868c10a 30 GPREG1 = GPREG1 & 0xFFFF0000 | value & 0x0000FFFF;
andrewboyson 47:fd2af868c10a 31 }
andrewboyson 51:826c58fbfaed 32 void ClkUtcAddEpochOffset(int value)
andrewboyson 47:fd2af868c10a 33 {
andrewboyson 51:826c58fbfaed 34 ClkUtcSetEpochOffset(epochOffset + value);
andrewboyson 47:fd2af868c10a 35 }
andrewboyson 46:d3d56cb47940 36
andrewboyson 47:fd2af868c10a 37 //Next leap second
andrewboyson 51:826c58fbfaed 38 static int nextEpochMonth1970 = 0;
andrewboyson 51:826c58fbfaed 39 static int64_t nextEpochUtc = 0;
andrewboyson 51:826c58fbfaed 40 int ClkUtcGetNextEpochMonth1970() { return nextEpochMonth1970; }
andrewboyson 51:826c58fbfaed 41 int64_t ClkUtcGetNextEpoch () { return nextEpochUtc; }
andrewboyson 51:826c58fbfaed 42 static void makeNextEpochUtc()
andrewboyson 47:fd2af868c10a 43 {
andrewboyson 51:826c58fbfaed 44 int year = nextEpochMonth1970 / 12 + 1970;
andrewboyson 51:826c58fbfaed 45 int month = nextEpochMonth1970 % 12 + 1;
andrewboyson 47:fd2af868c10a 46 struct tm tm;
andrewboyson 47:fd2af868c10a 47 TmFromInteger(year, month, 1, 0, 0, 0, &tm);
andrewboyson 47:fd2af868c10a 48 time_t t = TmUtcToTimeT(&tm);
andrewboyson 51:826c58fbfaed 49 nextEpochUtc = (int64_t)t << CLK_TIME_ONE_SECOND_SHIFT;
andrewboyson 47:fd2af868c10a 50 }
andrewboyson 51:826c58fbfaed 51 void ClkUtcSetNextEpochMonth1970(int value)
andrewboyson 47:fd2af868c10a 52 {
andrewboyson 51:826c58fbfaed 53 nextEpochMonth1970 = value;
andrewboyson 51:826c58fbfaed 54 makeNextEpochUtc();
andrewboyson 47:fd2af868c10a 55 GPREG1 = GPREG1 & 0xF000FFFF | (uint32_t)value << 16 & 0x0FFF0000; //Precedence order: shifts then ands then ors.
andrewboyson 47:fd2af868c10a 56 }
andrewboyson 47:fd2af868c10a 57
andrewboyson 51:826c58fbfaed 58 static bool nextLeapEnable = false;
andrewboyson 51:826c58fbfaed 59 static bool nextLeapForward = true;
andrewboyson 51:826c58fbfaed 60 bool ClkUtcGetNextLeapEnable () { return nextLeapEnable; }
andrewboyson 51:826c58fbfaed 61 bool ClkUtcGetNextLeapForward() { return nextLeapForward; }
andrewboyson 47:fd2af868c10a 62 void ClkUtcSetNextLeapEnable(bool value)
andrewboyson 47:fd2af868c10a 63 {
andrewboyson 51:826c58fbfaed 64 nextLeapEnable = value;
andrewboyson 47:fd2af868c10a 65 if (value) GPREG1 |= 0x10000000;
andrewboyson 47:fd2af868c10a 66 else GPREG1 &= 0xEFFFFFFF;
andrewboyson 47:fd2af868c10a 67 }
andrewboyson 51:826c58fbfaed 68 void ClkUtcSetNextLeapForward(bool value)
andrewboyson 47:fd2af868c10a 69 {
andrewboyson 51:826c58fbfaed 70 nextLeapForward = value;
andrewboyson 47:fd2af868c10a 71 if (value) GPREG1 |= 0x20000000;
andrewboyson 47:fd2af868c10a 72 else GPREG1 &= 0xDFFFFFFF;
andrewboyson 47:fd2af868c10a 73 }
andrewboyson 51:826c58fbfaed 74 void ClkUtcTglNextLeapEnable () { ClkUtcSetNextLeapEnable (!nextLeapEnable ); }
andrewboyson 51:826c58fbfaed 75 void ClkUtcTglNextLeapForward() { ClkUtcSetNextLeapForward(!nextLeapForward); }
andrewboyson 47:fd2af868c10a 76
andrewboyson 48:b0f38e523552 77 void ClkUtcInit(void)
andrewboyson 47:fd2af868c10a 78 {
andrewboyson 51:826c58fbfaed 79 epochOffset = GPREG1 & 0x0000FFFF;
andrewboyson 51:826c58fbfaed 80 nextEpochMonth1970 = (GPREG1 & 0x0FFF0000) >> 16;
andrewboyson 51:826c58fbfaed 81 makeNextEpochUtc();
andrewboyson 51:826c58fbfaed 82 nextLeapEnable = GPREG1 & 0x10000000;
andrewboyson 51:826c58fbfaed 83 nextLeapForward = GPREG1 & 0x20000000;
andrewboyson 47:fd2af868c10a 84 }
andrewboyson 47:fd2af868c10a 85
andrewboyson 47:fd2af868c10a 86
andrewboyson 51:826c58fbfaed 87 int64_t ClkUtcFromTai(int64_t tai) { return tai - ((int64_t)epochOffset << CLK_TIME_ONE_SECOND_SHIFT); }
andrewboyson 51:826c58fbfaed 88 int64_t ClkUtcToTai (int64_t utc) { return utc + ((int64_t)epochOffset << CLK_TIME_ONE_SECOND_SHIFT); }
andrewboyson 46:d3d56cb47940 89
andrewboyson 46:d3d56cb47940 90 void ClkUtcCheckAdjustLeapSecondCount(int64_t tai)
andrewboyson 46:d3d56cb47940 91 {
andrewboyson 51:826c58fbfaed 92 if (!nextLeapEnable) return; //Do nothing if leaps are disabled
andrewboyson 49:e4424cc18bcb 93
andrewboyson 51:826c58fbfaed 94 int64_t utc = ClkUtcFromTai(tai);
andrewboyson 51:826c58fbfaed 95 int64_t epochEnd = ClkUtcGetNextEpoch() - (nextLeapForward ? 0 : 1);
andrewboyson 49:e4424cc18bcb 96
andrewboyson 51:826c58fbfaed 97 if (utc < epochEnd) return; //Do nothing until reached the end of the current epoch
andrewboyson 49:e4424cc18bcb 98
andrewboyson 51:826c58fbfaed 99 if (nextLeapForward) ClkUtcAddEpochOffset(+1); //repeat 59
andrewboyson 51:826c58fbfaed 100 else ClkUtcAddEpochOffset(-1); //skip 59
andrewboyson 49:e4424cc18bcb 101
andrewboyson 49:e4424cc18bcb 102 ClkUtcSetNextLeapEnable(false);
andrewboyson 49:e4424cc18bcb 103
andrewboyson 46:d3d56cb47940 104 }