clock_24.c

Go to the documentation of this file.

/*
 * SPDX-License-Identifier: GPL-3.0-only
 * This file is part of Lazuli.
 */
 
#include <stdint.h>
 
#include <Lazuli/clock_24.h>
#include <Lazuli/common.h>
#include <Lazuli/config.h>
 
#include <Lazuli/sys/clock_24.h>
#include <Lazuli/sys/memory.h>
 
static volatile Clock24 clock24 = {0};
 
static volatile u_read_write_atomic_t clockVersion = 0;
 
static bool
IncrementUntil(volatile uint8_t * const value, const uint8_t comparator)
{
  if (*value >= comparator) {
    *value = 0;
 
    return true;
  }
 
  (*value)++;
 
  return false;
}
 
static bool
IncrementSeconds(void)
{
  const uint8_t lastSecondInAMinute = 59;
 
  return IncrementUntil(&clock24.seconds, lastSecondInAMinute);
}
 
static bool
IncrementMinutes(void)
{
  const uint8_t lastMinuteInAnHour = 59;
 
  return IncrementUntil(&clock24.minutes, lastMinuteInAnHour);
}
 
static void
IncrementHours(void)
{
  const uint8_t lastHourInADay = 23;
 
  IncrementUntil(&clock24.hours, lastHourInADay);
}
 
void
Clock24_Increment(void)
{
  const uint16_t ticksInOneSecond = LZ_CONFIG_SYSTEM_CLOCK_RESOLUTION_FREQUENCY;
  static uint16_t ticksToNewSecond = 0;
 
  if (++ticksToNewSecond < ticksInOneSecond) {
    return;
  }
 
  ticksToNewSecond = 0;
 
  /*
   * The clock version integer will constantly increment from 0 to its maximum
   * value.
   * We can let it overflow as it is unsigned. Unsigned overflow is not an
   * undefined behaviour in C89.
   */
  ++clockVersion;
 
  if (IncrementSeconds()) {
    if (IncrementMinutes()) {
      IncrementHours();
    }
  }
}
 
/*
 * The working of this function needs an explanation.
 *
 * While a user task reads all the fields of struct Clock24 clock24, the clock
 * thick interrupt can occur and cause the kernel to update that same fields.
 * If that happens we will obtain a copy of struct Clock24 clock24 that is
 * corrupted. e.g. some of the fields with the previous value, and the others
 * with the updated value.
 *
 * To avoid that, we use this kind of "optimistic access":
 * A version number is associated to struct Clock24. As all of the fields of
 * struct Clock24 and version number are updated by the kernel at the same time
 * without being interrupted, the new values of the time fields in the struct
 * will be associated to a new value of the version field.
 * We first read the current version number, then read all the time fields, and
 * finally read the version number again. If the two version numbers differ we
 * then know that the kernel updated the struct Clock24 clock24 while we were
 * accessing it.
 *
 * This works as long as the version number is declared with a type that is read
 * and written atomically.
 */
void
Lz_Clock24_Get(Clock24 * const userClock24)
{
  u_read_write_atomic_t version;
 
  if (NULL == userClock24) {
    return;
  }
 
  do {
    version = clockVersion;
    userClock24->hours = clock24.hours;
    userClock24->minutes = clock24.minutes;
    userClock24->seconds = clock24.seconds;
  } while (version != clockVersion);
}