DData

Christian Maeder maeder at tzi.de
Mon May 17 16:32:39 EDT 2004


Simon Marlow wrote:
> On 14 May 2004 19:14, Christian Maeder wrote:
> 
> 
>>for a map with several hundred thousand entries:
>>               (user seconds)    (page faults)
>>FiniteMap-only:    5.61           30613
>>DData.Map-only:    6.50           36911
>>DData.Map+IntMap:  4.14           21296
>>FiniteMap+IntMap:  3.85           19973
>>
> Could you try changing the definition of Map from
> to
> 
> data Map k a  = Tip 
>               | Bin {-# UNPACK #-} !Size !k a !(Map k a) !(Map k a) 
> 
> and see if that helps?

Yes, that helps. For some reason the user time decreased today, but the 
page faults for the unchanged code kept the same:

FiniteMap-only:    7.94           30613
DData.Map-only:    7.88           29700
DData.Map+IntMap:  5.72           20178
FiniteMap+IntMap:  5.54           19973

Christian



More information about the Libraries mailing list