爲什麼將Data.Binary.Put monad更改爲變換器會產生內存泄漏？

Question

我試圖修改Data.Binary.PutM monad成monad變換器。於是我開始了變化它的定義從

newtype PutM a = Put { unPut :: PairS a }

到

newtype PutM a = Put { unPut :: Identity (PairS a) }

那麼當然我改變了回報和>> =函數的實現：

來源：

return a = Put $ PairS a mempty 
{-# INLINE return #-} 

m >>= k = Put $ 
    let PairS a w = unPut m 
     PairS b w1 = unPut (k a) 
    in PairS b (w `mappend` w1) 
{-# INLINE (>>=) #-} 

m >> k = Put $ 
    let PairS _ w = unPut m 
     PairS b w1 = unPut k 
    in PairS b (w `mappend` w1) 
{-# INLINE (>>) #-} 

收件人：

return a = Put $! return $! PairS a mempty 
{-# INLINE return #-} 

m >>= k = Put $! 
    do PairS a w <- unPut m 
     PairS b w1 <- unPut (k a) 
     return $! PairS b $! (w `mappend` w1) 
{-# INLINE (>>=) #-} 

m >> k = Put $! 
    do PairS _ w <- unPut m 
     PairS b w1 <- unPut k 
     return $! PairS b $! (w `mappend` w1) 
{-# INLINE (>>) #-} 

好像PutM monad只是一個Writer monad。不幸的是（again）造成了空間泄漏。我很清楚（或是否？）ghc推遲評估某處，但我嘗試將$!而不是$無處不在，正如某些教程所建議的，但這並沒有幫助。另外，我不確定內存分析器是如何幫助的，如果它告訴我的是這樣的：

。

以及物品是否完整，這是存儲配置文件使用原始Data.Binary.Put單子時，我得到：

如果有興趣，here是我使用來測試它的代碼和我使用的編譯，運行和創建存儲輪廓線是：

ghc -auto-all -fforce-recomp -O2 --make test5.hs && ./test5 +RTS -hT && hp2ps -c test5.hp && okular test5.ps 

我希望我不是被我的內存泄漏問題傳奇討厭任何人。我發現互聯網上沒有很多關於這個話題的良好資源，這讓我們無言以對。

感謝您的期待。

Answer 1

由於stephen tetley在他的評論中指出，這裏的問題過於嚴格。如果你只是（你(>>)定義~(PairS b w')）添加一些更懶惰你的身份，你的樣品會得到同樣的常量內存運行畫面：

data PairS a = PairS a {-# UNPACK #-}!Builder 

sndS :: PairS a -> Builder 
sndS (PairS _ !b) = b 

newtype PutM a = Put { unPut :: Identity (PairS a) } 

type Put = PutM() 

instance Monad PutM where 
    return a = Put $! return $! PairS a mempty 
    {-# INLINE return #-} 

    m >>= k = Put $! 
     do PairS a w <- unPut m 
      PairS b w' <- unPut (k a) 
      return $! PairS b $! (w `mappend` w') 
    {-# INLINE (>>=) #-} 

    m >> k = Put $! 
     do PairS _ w <- unPut m 
      ~(PairS b w') <- unPut k 
      return $! PairS b $! (w `mappend` w') 
    {-# INLINE (>>) #-} 

tell' :: Builder -> Put 
tell' b = Put $! return $! PairS() b 

runPut :: Put -> L.ByteString 
runPut = toLazyByteString . sndS . runIdentity . unPut 

實際上，你可以在這裏使用正常的元組和代替$$!

PS再一次：正確的答案實際上是在stephen tetley評論。事情是，你的第一個例子使用懶惰let綁定爲>>實現，所以Tree不是被迫完全構建，因此「是流」。您的第二個身份示例是嚴格的，所以我的理解是整個Tree在處理之前會先建在內存中。實際上，你可以輕鬆地添加到嚴厲一號樣板房，並觀察它是如何開始「霸佔」記憶：

m >> k = Put $ 
      case unPut m of 
      PairS _ w -> 
       case unPut k of 
        PairS b w' -> 
         PairS b (w `mappend` w')