Wladimir J. van der Laan
5776582b7f
Merge #11562 : bench: use std::chrono rather than gettimeofday
...
24a0bdd bench: prefer a steady clock if the resolution is no worse (Cory Fields)
c515d26 bench: switch to std::chrono for time measurements (Cory Fields)
Pull request description:
gettimeofday has portability issues, see for example #11558 .
Regardless of large-scale clock refactors in the future, I think it's fine for bench to just use std::chrono itself.
Note that this may slightly improve bench accuracy and changes the display from tiny floats to nanosecond counts instead.
Tree-SHA512: 122355456d01ec6cfcf6867991715cf3a95eabbf5a4f2adc26a059b50382ffb318b7639cdd575197fc4ee5be8b967c0404f1f920d6f5bd4ddd0bd63b5e5c5632
2017-11-08 08:33:07 +01:00
..
2017-11-07 17:17:34 -05:00
2017-08-28 17:57:44 +02:00
2017-11-06 19:19:10 -08:00
2017-09-05 23:15:55 +02:00
2017-08-01 12:40:42 -07:00
2017-10-13 08:41:45 +02:00
2017-09-06 20:14:52 +02:00
2017-11-07 08:26:45 +01:00
2017-11-07 10:36:58 -08:00
2017-10-05 19:49:42 +02:00
2017-09-29 16:02:39 +02:00
2017-09-16 13:06:05 +03:00
2017-11-07 17:05:46 -05:00
2017-09-29 14:35:46 +02:00
2017-11-03 15:37:54 -07:00
2017-08-21 18:25:48 +02:00
2017-07-04 18:05:18 +02:00
2017-06-01 16:42:07 -07:00
2017-08-16 16:33:25 +02:00
2017-08-07 07:36:37 +02:00
2017-10-31 10:34:00 +01:00
2017-06-07 17:21:29 +00:00
2017-08-17 00:42:32 +02:00
2017-10-09 16:41:06 +02:00
2017-09-23 14:45:01 -07:00
2017-09-28 16:02:16 -07:00
2017-09-28 16:02:16 -07:00
2017-09-27 21:53:07 -04:00
2017-10-24 14:11:52 -04:00
2017-10-16 22:16:36 +01:00
2017-07-15 14:28:40 +02:00
2017-08-16 16:33:25 +02:00
2017-06-22 03:48:52 +02:00
2017-10-09 19:14:47 +02:00
2017-09-07 11:17:35 +08:00
2017-11-06 19:29:20 -08:00
2017-09-28 16:24:30 -07:00
2017-09-06 01:18:35 +02:00
2017-07-30 14:04:51 +02:00
2017-08-07 07:36:37 +02:00
2017-08-16 16:33:25 +02:00
2017-09-29 14:50:30 +08:00
2017-08-16 10:24:18 +02:00
2017-09-16 13:06:05 +03:00
2017-07-22 09:11:55 +02:00
2017-07-08 13:33:01 -07:00
2017-08-16 16:33:25 +02:00
2017-08-17 10:42:51 -07:00
2017-07-07 10:45:31 -07:00
2017-07-12 14:03:42 -04:00
2017-09-06 13:07:45 -07:00
2017-08-26 02:56:53 +03:00
2017-09-04 18:06:44 -07:00
2017-08-16 16:33:25 +02:00
2017-06-09 10:25:26 +02:00
2017-07-08 13:33:01 -07:00
2017-09-29 16:00:20 +02:00
2017-10-03 15:25:00 -04:00
2017-06-12 20:37:43 +02:00
2017-11-02 14:37:35 -04:00
2017-08-16 16:33:25 +02:00
2017-11-07 10:36:58 -08:00
2017-07-17 14:56:52 +02:00
2017-08-07 07:36:37 +02:00
2017-09-21 23:40:33 -07:00
2017-06-09 10:25:26 +02:00
2017-09-07 22:04:18 +02:00
2017-08-16 16:33:25 +02:00
2017-10-21 12:05:36 +08:00
2017-10-04 14:54:41 +02:00
2017-07-13 12:49:05 -04:00
2017-10-21 12:13:25 +08:00
2017-09-05 15:02:17 +12:00
2017-10-03 21:25:00 +02:00
2017-06-22 03:48:52 +02:00
2017-09-20 20:35:54 -07:00
2017-09-20 20:35:54 -07:00
2017-09-11 15:51:25 -04:00
2017-09-18 23:40:38 +00:00
2017-11-07 10:36:58 -08:00
2017-11-02 12:39:14 -04:00
2017-11-02 12:39:14 -04:00
2017-11-02 12:39:14 -04:00
2017-08-07 07:36:37 +02:00
2017-08-16 16:33:25 +02:00
2017-10-09 10:37:40 +02:00
2017-09-18 13:47:47 -04:00
2017-08-16 16:33:25 +02:00
2017-08-07 07:36:37 +02:00
2017-08-26 02:56:53 +03:00
2017-06-26 13:40:26 +02:00
2017-10-13 13:25:57 -04:00
2017-08-17 14:28:35 +02:00
2017-08-16 16:33:25 +02:00
2017-08-22 09:38:49 +02:00
2017-06-14 15:22:15 +02:00
2017-11-07 07:17:47 +01:00
2017-08-16 16:33:25 +02:00
2017-08-16 16:33:25 +02:00
2017-08-16 16:33:25 +02:00
2017-08-16 16:33:25 +02:00
2017-09-16 13:06:05 +03:00
2017-09-30 22:43:55 +01:00
2017-11-06 17:41:02 +01:00
2017-08-14 17:02:10 +02:00
2017-10-29 21:12:12 +08:00
2017-08-16 16:33:25 +02:00
2017-09-07 09:21:04 -07:00
2017-10-05 15:03:36 +02:00
2017-10-11 10:45:22 +02:00
2017-09-11 15:51:37 -04:00
2017-08-20 20:04:15 -04:00
2017-09-08 10:36:26 +12:00
2017-09-21 23:40:33 -07:00
2017-08-16 16:33:25 +02:00
2017-10-04 14:54:09 +02:00
2017-09-29 16:00:20 +02:00
2017-08-07 17:10:42 +02:00
2017-09-05 15:05:28 -04:00
2017-09-28 16:24:30 -07:00
2017-08-07 07:36:37 +02:00
2017-11-07 17:05:46 -05:00
2017-10-27 16:29:12 -04:00
2017-10-02 18:24:59 -04:00
2017-07-15 20:04:04 +02:00
2017-06-09 01:45:36 +02:00
2017-11-06 19:19:10 -08:00
2017-08-07 07:36:37 +02:00
2017-08-14 17:02:10 +02:00
2017-07-22 09:55:57 +02:00