bug-gawk
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

gettimeofday() refresh period 15.6 ms (Denis Shirokov)


From: J Naman
Subject: gettimeofday() refresh period 15.6 ms (Denis Shirokov)
Date: Sun, 30 Mar 2025 14:37:38 -0400

Are you running Windows 11 Gawk in Compatibility mode? Check gawk.exe
[Properties][Compatibility].
Some compatibility modes may emulate older versions of Windows timer
functions. Ouch! But native Windows API timing functions will return
(modern) high-resolution times. Sounds close to what you observed. The
oldest compatibility modes are Windows XP SP2 or SP3 and Windows 2000.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]