[kossh]

Достаточно интересно работает

GC

garbage collector, сборщик мусора в Haskell. Есть один небольшой коньпарсер для html, причем пара его версий - первоначальная и чуть оптимизорованная. Решил я проверить качество оптимизации, распарсил первый том "Войны и мира" обоими версиями парсера. Запустил в ghci:
:set +s Network.HTTP Data.Text Data.Encoding Data.Encoding.UTF8> stringBody <- getResponseBody =<< simpleHTTP (getRequest "http://flibusta.net/b/175105/read") (0.05 secs, 9657480 bytes) Network.HTTP Data.Text Data.Encoding Data.Encoding.UTF8> print $ parseNonOptimized $ pack $ decodeString UTF8 stringBody (16.03 secs, 40665884088 bytes) Network.HTTP Data.Text Data.Encoding Data.Encoding.UTF8> print $ parseOptimized $ pack $ decodeString UTF8 stringBody (8.52 secs, 6297253656 bytes)
В скобках, согласно мануалам, затраченное время и выделенная для выполнения память, которая считается при сборке мусора. Итого, получаем: для оптимизированной версии: 6297253656/2**30 = 5.86 ГБ, неоптимизированная версия: 40665884088/2**30 = 37.87 ГБ. При существующих 12 ГБ реальной памяти и 16 ГБ swap. А на мониторе ресурсов прямая линия памяти и скачок работы процессора.
А разгадка - как раз тот самый garbage collector.
P.S.
Пока писал, обнаружил, что согласно "Положению о единицах величин, допускаемых к применению в Российской Федерации.", принятому 31.12.2009, на территории РФ теперь ГБ обозначает нормальный гигабайт (гибибайт, если угодно), а не применение приставки "гига-" к байту, и не гостовский гигабайт, в прочем, полность аналогичный единице из СИ.