[Ecls-list] low resolution of GET-INTERNAL-REAL-TIME

[Eric Marsden]

Hi,

On Unix platforms, GET-INTERNAL-RUN-TIME is implemented by calling
time(), so has a resolution of one second, which is not very
satisfactory in my opinion. Implementing this function using
gettimeofday() would allow a better resolution (such as a
millisecond), and I don't think that portability would suffer. 

On win32, GET-INTERNAL-RUN-TIME is implemented using GetTickCount(),
so has good resolution. GET-INTERNAL-REAL-TIME is implemented using
times(), so has reasonable resolution.

Thanks,

-- 
Eric Marsden