Add the missing benchmarking files.

[fjl] / benchmark.h

diff --git a/benchmark.h b/benchmark.h
new file mode 100644 (file)
index 0000000..2b9ee58
--- /dev/null
+++ b/benchmark.h
@@ -0,0 +1,11 @@
+#ifndef _BENCHMARK_H
+#define _BENChMARK_H 1
+
+// Benchmark timing functions for reading out used CPU time. Not thread-safe
+// as they store the information in a global variable.
+void start_benchmark_timer();
+double stop_benchmark_timer();
+
+#endif /* !defined(_BENCHMARK_H) */
+
+