Re: [EXTERNAL] Re: Performance issues using GAWK 3.1.6 ->from Win 2008 to Win 2016

[Eli Zaretskii]

> From: Wolfgang Laun <wolfgang.laun@gmail.com>
> Date: Wed, 16 Jun 2021 09:09:01 +0200
> Cc: "Koleti, Haritha" <Haritha.Koleti@pseg.com>, Ed Morton 
> <mortoneccc@comcast.net>, 
>       Aharon Robbins <arnold@skeeve.com>, bug-gawk <bug-gawk@gnu.org>, 
>       "Pereira, Ricardo" <Ricardo_D.Pereira@pseg.com>, "Pirane, Marco" 
> <Marco.Pirane@pseg.com>
> 
> whatever buffering strategy the OS has in mind, there is still the GNU C 
> library used by gawk. See some
> doc: gnu.org/software/libc/manual/html_node/Controlling-Buffering.html. 
> Buffering behaviour may be
> different depending on the stream being some std* or not, or a file, a pipe 
> or the terminal. 

Gawk doesn't use glibc on MS-Windows.  And AFAIU Gawk doesn't use
stdio (fprintf, fwrite, etc.) functions to read input files, so I
don't think setvbuf and friends can have any effect.

But your more general point is well taken, thanks.