Strange performance enhancement when setting -inline 320
René Neumann <[email protected]>
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <[email protected]> |
Dear all, according to the man page for "-inline" the default value is 320. But when setting this explicitly, I get a better performance (albeit not much): -> w/o "-inline 320": 2600 ms -> w/ "-inline 320": 2500 ms Why is this? (Those numbers are reproducable, so probably not a temporary effect). Used MLton: 2013715 Thanks, René -- René Neumann Institut für Informatik (I7) Technische Universität München Boltzmannstr. 3 85748 Garching b. München Tel: +49-89-289-17232 Office: MI 03.11.055 ------------------------------------------------------------------------------ How ServiceNow helps IT people transform IT departments: 1. Consolidate legacy IT systems to a single system of record for IT 2. Standardize and globalize service processes across IT 3. Implement zero-touch automation to replace manual, redundant tasks http://pubads.g.doubleclick.net/gampad/clk?id=51271111&iu=/4140/ostg.clktrk _______________________________________________ MLton-user mailing list [email protected]; [email protected] https://lists.sourceforge.net/lists/listinfo/mlton-user
smime.p7s
(application/pkcs7-signature, 4.7 KB) - not displayed