commit 28b1147a1d95ecc405d94ec4933d37e4f367ad29
author Thomas Gamper <eiszapfen2000@gmail.com> Mon Sep 25 14:41:22 2017 +0200
committer Sameer Agarwal <sameeragarwal@google.com> Tue Sep 26 13:10:54 2017 +0000
tree ca0ba2e6e1eee97876fd3da1eb45da0df216446b
parent 4bea6d7a2dc2c833b7af0cd1be15ad5e10c85316

Use high-resolution timer on Windows

This fixes a Windows specific issue where the
problem-summary reports timings as zero, as long as
the time difference in question is smaller than one
second.

Change-Id: Ibd91874294423af6acda2575eae80f01aabed6d3

internal/ceres/wall_time.cc

diff --git a/internal/ceres/wall_time.cc b/internal/ceres/wall_time.cc
index c353973..09e3c4a 100644
--- a/internal/ceres/wall_time.cc
+++ b/internal/ceres/wall_time.cc
@@ -50,7 +50,12 @@
   return omp_get_wtime();
 #else
 #ifdef _WIN32
-  return static_cast<double>(std::time(NULL));
+  LARGE_INTEGER count;
+  LARGE_INTEGER frequency;
+  QueryPerformanceCounter(&count);
+  QueryPerformanceFrequency(&frequency);
+  return static_cast<double>(count.QuadPart) /
+         static_cast<double>(frequency.QuadPart);
 #else
   timeval time_val;
   gettimeofday(&time_val, NULL);