Is there a high resolution timer C API on Linux? If so, what is it's name? I need a timer that will give me time with a precision better than seconds, e.g. milliseconds. I'm looking for a C function equivalent to the Java function System.currentTimeMillis() and the Win32 functions QueryPerformanceCounter() and QueryPerformanceFrequency. Mike