[XeTeX] performance on Windows machines

[Akira Kakuto]

> > I'm amazed at the speed of xetex. XeTeX for W32 binary is
> > not optimized, while pdftex for W32 is optimized:
> >
> > xetex --proctimes texbook
> > Time statistics: user mode=2328 ms, kernel mode=125 ms, total=2453 ms.
> >
> > pdftex --proctimes texbook
> > Time statistics: user mode=2828 ms, kernel mode=187 ms, total=3015 ms.
> 
> No, this isn't the whole story: --proctimes is (presumably) only  
> reporting the time for the actual xetex process.

Oops! Exactly so.
( xetex + xdvipdfmx time / pdftex time ) was about 1.5.
Probably the large ratio is due to the optimization effects.

Best regards,
Akira