clock.h File Reference

A higher level API to the clock utilities provided by the platform API. More...

#include "low_level_platform.h"

Go to the source code of this file.

Functions
int	lf_clock_cond_timedwait (lf_cond_t *cond, instant_t wakeup_time)
	Block the calling thread on the condition variable until it is signaled or until wakeup_time is reached.
int	lf_clock_gettime (instant_t *now)
	Retrieve the current physical time from the platform API.
int	lf_clock_interruptable_sleep_until_locked (environment_t *env, instant_t wakeup_time)
	Block the calling thread until wakeup_time is reached or the thread is interrupted by an asynchronous scheduling.

Detailed Description

A higher level API to the clock utilities provided by the platform API.

Author

Erling Rennemo Jellum

This builds on top of the clocking API of the different platforms and ensures:

1. Monotonicity
2. That clock synchronization offsets are applied and removed when necessary.