Avoiding The Laziness Tax

Stc
Date: 2007-01-25

Time: 11:45

Room: BBL room 471

Speaker: Alexey Rodriguez Yakushev

Title: Avoiding the laziness tax

Abstract

The Glasgow Haskell Compiler (GHC) implements laziness using the STG machine design. Though this design was appropriate when it was conceived, in my talk I will show that it performs badly under modern CPU architectures. I will describe the design currently in use and the changes that you can make to it to avoid the indirect jumps implementing lazy evaluation, which are at the root of severely decreased performance.