[NTG-pdftex] unbuffered vs. buffered terminal output
hartmut_henkel at gmx.de
Wed Dec 21 21:16:32 CET 2005
following trivial observation i made (several runs):
$ time pdfetex samplepdf
$ time pdfetex samplepdf | buffer
the speed gain is impressive here, also with other files from daily
business and for longer runs. Same if i write
$ pdfetex samplepdf > xxx
So at least here pdfetex spends lots of time just for unbuffered talk to
the terminal. And it's faster with a smaller window.
Maybe we should think of implementing buffered writing? See e. g. man 3
setbuf. The problem is that it should fflush() in case of errors and
switch to unbuffered. And maybe it should fflush() also after a certain
time of say 0.5 s, which would require select().
Has anybody similar statistics?
More information about the ntg-pdftex