Method _time

include/process/metrics/timer.hpp:110–122

  };

  static void _time(Time start, Timer that)
  {
    const Time stop = Clock::now();

    double value;

    synchronized (that.data->lock) {
      that.data->lastValue = T(stop - start).value();
      value = that.data->lastValue.get();
    }

    that.push(value);
  }

  std::shared_ptr<Data> data;
};