Ken Van Hoeylandt 71f8369377
TactilityKernel improvements (#464)
* **New Features**
  * Thread API with lifecycle, priority, affinity and state monitoring
  * Timer subsystem: one-shot/periodic timers, reset, pending callbacks, expiry queries
  * Expanded I²C: register-level ops, bulk writes, presence checks, ESP32 integration and new config properties
  * GPIO controller: pin level and options APIs
  * Error utilities: new error code, error-to-string, timeout helper and common macros
  * Device construction helpers (construct+start)

* **Tests**
  * New unit tests for thread and timer behavior

* **Documentation**
  * Expanded coding style guide (files/folders, C conventions)
2026-01-28 23:58:11 +01:00

80 lines
2.2 KiB
C

// SPDX-License-Identifier: Apache-2.0
/**
* Time-keeping related functionality.
* This includes functionality for both ticks and seconds.
*/
#pragma once
#include <stdint.h>
#include "defines.h"
#include "tactility/freertos/task.h"
#ifdef ESP_PLATFORM
#include <esp_timer.h>
#else
#include <sys/time.h>
#include <time.h>
#endif
// Projects that include this header must align with Tactility's frequency (e.g. apps)
static_assert(configTICK_RATE_HZ == 1000);
static inline uint32_t get_tick_frequency() {
return configTICK_RATE_HZ;
}
/** @return the amount of ticks that have passed since FreeRTOS' main task started */
static inline TickType_t get_ticks() {
if (xPortInIsrContext() == pdTRUE) {
return xTaskGetTickCountFromISR();
} else {
return xTaskGetTickCount();
}
}
/** @return the milliseconds that have passed since FreeRTOS' main task started */
static inline size_t get_millis() {
return get_ticks() * portTICK_PERIOD_MS;
}
static inline TickType_t get_timeout_remaining_ticks(TickType_t timeout, TickType_t start_time) {
TickType_t ticks_passed = get_ticks() - start_time;
if (ticks_passed >= timeout) {
return 0;
}
return timeout - ticks_passed;
}
/** @return the frequency at which the kernel task schedulers operate */
uint32_t kernel_get_tick_frequency();
/** @return the microseconds that have passed since boot */
static inline int64_t get_micros_since_boot() {
#ifdef ESP_PLATFORM
return esp_timer_get_time();
#else
timespec ts;
if (clock_gettime(CLOCK_MONOTONIC, &ts) == 0) {
return (static_cast<int64_t>(ts.tv_sec) * 1000000LL) + (ts.tv_nsec / 1000);
}
timeval tv;
gettimeofday(&tv, nullptr);
return (static_cast<int64_t>(tv.tv_sec) * 1000000LL) + tv.tv_usec;
#endif
}
/** Convert seconds to ticks */
static inline TickType_t seconds_to_ticks(uint32_t seconds) {
return static_cast<uint64_t>(seconds) * 1000U / portTICK_PERIOD_MS;
}
/** Convert milliseconds to ticks */
static inline TickType_t millis_to_ticks(uint32_t milliSeconds) {
#if configTICK_RATE_HZ == 1000
return static_cast<TickType_t>(milliSeconds);
#else
return static_cast<TickType_t>(((float)configTICK_RATE_HZ) / 1000.0f * (float)milliSeconds);
#endif
}