mirror of
https://github.com/carp-lang/Carp.git
synced 2024-09-19 17:38:12 +03:00
a873099640
* chore: Moved examples that work more as tests to folder 'test/produces-output' * fix: Corrections to the release script * fix: Correct filename on Windows * fix: Move more files around * fix: Remove check-malloc example * fix: Apparently unicode example does not work * chore: Move nested_lambdas.carp back to examples * chore: Remove .DS_Store files * fix: Bring back unicode test * test: Make sure benchmark compile (had to remove mandelbrot and n-bodies) * fix: Replacement implementation of clock_gettime on Windows * chore: Trigger CI * fix: Define CLOCK_REALTIME Co-authored-by: Erik Svedang <erik@Eriks-iMac.local>
73 lines
2.0 KiB
C
73 lines
2.0 KiB
C
#if defined _WIN32
|
|
|
|
// The function 'clock_gettime' is not available on Windows.
|
|
// Our replacement implementation was taken from Stack overflow:
|
|
// https://stackoverflow.com/questions/5404277/porting-clock-gettime-to-windows
|
|
|
|
#include <windows.h>
|
|
|
|
#define CLOCK_REALTIME 0
|
|
|
|
LARGE_INTEGER getFILETIMEoffset() {
|
|
SYSTEMTIME s;
|
|
FILETIME f;
|
|
LARGE_INTEGER t;
|
|
|
|
s.wYear = 1970;
|
|
s.wMonth = 1;
|
|
s.wDay = 1;
|
|
s.wHour = 0;
|
|
s.wMinute = 0;
|
|
s.wSecond = 0;
|
|
s.wMilliseconds = 0;
|
|
SystemTimeToFileTime(&s, &f);
|
|
t.QuadPart = f.dwHighDateTime;
|
|
t.QuadPart <<= 32;
|
|
t.QuadPart |= f.dwLowDateTime;
|
|
return (t);
|
|
}
|
|
|
|
int clock_gettime(int X, struct timeval *tv) {
|
|
LARGE_INTEGER t;
|
|
FILETIME f;
|
|
double microseconds;
|
|
static LARGE_INTEGER offset;
|
|
static double frequencyToMicroseconds;
|
|
static int initialized = 0;
|
|
static BOOL usePerformanceCounter = 0;
|
|
|
|
if (!initialized) {
|
|
LARGE_INTEGER performanceFrequency;
|
|
initialized = 1;
|
|
usePerformanceCounter = QueryPerformanceFrequency(&performanceFrequency);
|
|
if (usePerformanceCounter) {
|
|
QueryPerformanceCounter(&offset);
|
|
frequencyToMicroseconds = (double)performanceFrequency.QuadPart / 1000000.;
|
|
} else {
|
|
offset = getFILETIMEoffset();
|
|
frequencyToMicroseconds = 10.;
|
|
}
|
|
}
|
|
if (usePerformanceCounter) QueryPerformanceCounter(&t);
|
|
else {
|
|
GetSystemTimeAsFileTime(&f);
|
|
t.QuadPart = f.dwHighDateTime;
|
|
t.QuadPart <<= 32;
|
|
t.QuadPart |= f.dwLowDateTime;
|
|
}
|
|
|
|
t.QuadPart -= offset.QuadPart;
|
|
microseconds = (double)t.QuadPart / frequencyToMicroseconds;
|
|
t.QuadPart = microseconds;
|
|
tv->tv_sec = t.QuadPart / 1000000;
|
|
tv->tv_usec = t.QuadPart % 1000000;
|
|
return (0);
|
|
}
|
|
#endif
|
|
|
|
double get_time_elapsed() {
|
|
struct timespec tv;
|
|
clock_gettime(CLOCK_REALTIME, &tv);
|
|
return 1000000000 * tv.tv_sec + tv.tv_nsec;
|
|
}
|