tsc.h

Go to the documentation of this file.

#ifndef NDNDPDK_DPDK_TSC_H
#define NDNDPDK_DPDK_TSC_H

 
#include "../core/common.h"

typedef uint64_t TscTime;

typedef int64_t TscDuration;
 
#ifndef __BPF__

extern uint64_t TscHz;

extern double TscGHz;

extern double TscSeconds;

extern double TscNanos;
 
extern double TscTimeRefUnixNano_;
extern double TscTimeRefTsc_;
 
static __rte_always_inline TscTime
TscTime_FromUnixNano(uint64_t n) {
  double unixNanoSinceRef = n - TscTimeRefUnixNano_;
  double tscSinceRef = unixNanoSinceRef * TscGHz;
  return TscTimeRefTsc_ + tscSinceRef;
}
 
static __rte_always_inline uint64_t
TscTime_ToUnixNano(TscTime t) {
  double tscSinceRef = t - TscTimeRefTsc_;
  double unixNanoSinceRef = tscSinceRef * TscNanos;
  return TscTimeRefUnixNano_ + unixNanoSinceRef;
}

static __rte_always_inline TscDuration
TscDuration_FromMillis(int64_t millis) {
  return millis * TscHz / 1000;
}

static __rte_always_inline int64_t
TscDuration_ToMillis(TscDuration d) {
  return d * 1000 / TscHz;
}
 
#endif // __BPF__
 
#endif // NDNDPDK_DPDK_TSC_H