import Data.List
test :: Int -> Int
test n = foldl' (+) 0 [1..n]
main :: IO()
main = do
print $ test $ 10^8
GHC ottimizza il codice di cui sopra, al punto che il garbage collector non ha nemmeno bisogno di fare qualsiasi cosa:Word foldl 'non è ottimizzato così come Int foldl'
$ ghc -rtsopts -O2 testInt && ./testInt +RTS -s
[1 of 1] Compiling Main (testInt.hs, testInt.o)
Linking testInt ...
5000000050000000
51,752 bytes allocated in the heap
3,480 bytes copied during GC
44,384 bytes maximum residency (1 sample(s))
17,056 bytes maximum slop
1 MB total memory in use (0 MB lost due to fragmentation)
Tot time (elapsed) Avg pause Max pause
Gen 0 0 colls, 0 par 0.000s 0.000s 0.0000s 0.0000s
Gen 1 1 colls, 0 par 0.000s 0.000s 0.0001s 0.0001s
INIT time 0.000s ( 0.000s elapsed)
MUT time 0.101s ( 0.101s elapsed)
GC time 0.000s ( 0.000s elapsed)
EXIT time 0.000s ( 0.000s elapsed)
Total time 0.103s ( 0.102s elapsed)
%GC time 0.1% (0.1% elapsed)
Alloc rate 511,162 bytes per MUT second
Productivity 99.8% of total user, 100.9% of total elapsed
Tuttavia, se Cambio il tipo di test
in test :: Word -> Word
, quindi viene prodotta molta spazzatura e il codice viene eseguito 40 volte più lentamente.
ghc -rtsopts -O2 testWord && ./testWord +RTS -s
[1 of 1] Compiling Main (testWord.hs, testWord.o)
Linking testWord ...
5000000050000000
11,200,051,784 bytes allocated in the heap
1,055,520 bytes copied during GC
44,384 bytes maximum residency (2 sample(s))
21,152 bytes maximum slop
1 MB total memory in use (0 MB lost due to fragmentation)
Tot time (elapsed) Avg pause Max pause
Gen 0 21700 colls, 0 par 0.077s 0.073s 0.0000s 0.0000s
Gen 1 2 colls, 0 par 0.000s 0.000s 0.0001s 0.0001s
INIT time 0.000s ( 0.000s elapsed)
MUT time 4.551s ( 4.556s elapsed)
GC time 0.077s ( 0.073s elapsed)
EXIT time 0.000s ( 0.000s elapsed)
Total time 4.630s ( 4.630s elapsed)
%GC time 1.7% (1.6% elapsed)
Alloc rate 2,460,957,186 bytes per MUT second
Productivity 98.3% of total user, 98.3% of total elapsed
Perché succede? Mi aspettavo che la performance fosse quasi identica? (sto usando GHC versione 8.0.1 su x86_64 GNU/Linux)
edit: ho presentato un bug: https://ghc.haskell.org/trac/ghc/ticket/12354#ticket
Qual è il core generato in entrambi i casi? – Cactus
È necessario inviare un bug al programma di rilevamento dei problemi di GHC (https://ghc.haskell.org/trac/ghc/newticket). –
Ho inviato un bug: https://ghc.haskell.org/trac/ghc/ticket/12354#ticket – Kevin