Re: [bug-gawk] mktime UTC extremely slow (new in GAWK 4.2)

[Andrew J. Schorr]

Hi,

On Tue, Dec 11, 2018 at 05:11:01PM -0500, Thorsten Kampe wrote:
> I've applied your patch and re-compiled the sources. The timings on my home 
> computer. are below. Using "UTC" went down from 39 seconds to 0.8. Could you 
> include this patch in the main branch?
> 
> > time gawk -f test1.awk
> 
> real    0m39,051s
> user    0m11,515s
> sys     0m26,641s
> 
> > time gawk -f test2.awk
> 
> real    0m0,730s
> user    0m0,687s
> sys     0m0,015s
> 
> > time ./gawk.exe -f test1.awk
> 
> real    0m0,756s
> user    0m0,718s
> sys     0m0,031s
> 
> > time ./gawk.exe -f test2.awk
> 
> real    0m0,755s
> user    0m0,718s
> sys     0m0,000s

Glad to hear that this patch solved your performance problem.
Let's please keep the conversation on the mailing list so others
have a chance to weigh in.

Regards,
Andy