すぐにファイルが閉じられるようにする

Question

小さなファイルから何かを読み込み、変更して、同じファイルに書き戻すデーモンを作成しています。私はそれを書き込もうとする前に、各ファイルが読んだ後すぐに閉じられることを確認する必要があります。私はまた、すぐにもう一度読むことがあるので、各ファイルが執筆後すぐに閉じられるようにする必要があります。

私はバイナリの代わりにバイナリstrictを使用しましたが、厳密なGetを提供するように見えます。 System.IO.Strictと同じ問題です。バイナリで厳密なドキュメントを読んでから、ファイルがすぐに閉じられるようにするという私の問題を本当に解決するかどうかはわかりません。これを処理する最善の方法は何ですか？ DeepSeq？

ここでは、私のアプリケーションの構造を理解するための非常に単純化された例を示します。この例は、明らかな理由から、

*** Exception: test.dat: openBinaryFile: resource busy (file is locked)

で終了します。

import Data.Binary (Binary, encode, decode) 
import Data.ByteString.Lazy as B (readFile, writeFile) 
import Codec.Compression.GZip (compress, decompress) 

encodeAndCompressFile :: Binary a => FilePath -> a -> IO() 
encodeAndCompressFile f = B.writeFile f . compress . encode 

decodeAndDecompressFile :: Binary a => FilePath -> IO a 
decodeAndDecompressFile f = return . decode . decompress =<< B.readFile f 

main = do 
    let i = 0 :: Int 
    encodeAndCompressFile "test.dat" i 
    doStuff 

doStuff = do 
    i <- decodeAndDecompressFile "test.dat" :: IO Int 
    print i 
    encodeAndCompressFile "test.dat" (i+1) 
    doStuff 

Answer 1

は、conduit、pipes、iteratee又はenumeratorとしてパッケージを使用することを検討してください。遅延IOを使用しないで、レイジーIO（コードの単純化、メモリフットプリントの縮小）のメリットを多く提供します。ここでconduitとcerealを使用した例は次のとおり

import Data.Conduit 
import Data.Conduit.Binary (sinkFile, sourceFile) 
import Data.Conduit.Cereal (sinkGet, sourcePut) 
import Data.Conduit.Zlib (gzip, ungzip) 
import Data.Serialize (Serialize, get, put) 

encodeAndCompressFile :: Serialize a => FilePath -> a -> IO() 
encodeAndCompressFile f v = 
    runResourceT $ sourcePut (put v) $$ gzip =$ sinkFile f 

decodeAndDecompressFile :: Serialize a => FilePath -> IO a 
decodeAndDecompressFile f = do 
    val <- runResourceT $ sourceFile f $$ ungzip =$ sinkGet get 
    case val of 
    Right v -> return v 
    Left err -> fail err 

main = do 
    let i = 0 :: Int 
    encodeAndCompressFile "test.dat" i 
    doStuff 

doStuff = do 
    i <- decodeAndDecompressFile "test.dat" :: IO Int 
    print i 
    encodeAndCompressFile "test.dat" (i+1) 
    doStuff 

Answer 2

ファイルへの「puts」または「writes」はすべて厳密です。 writeFileの行為は、ディスク上に置くためにすべてのハスケルデータを評価することを要求します。

だから、あなたが集中する必要があるのは入力の怠惰な読書です。あなたの上のあなたの例では、両方のファイルを怠け者に読んだ後、遅れてデコードします。

代わりに、ファイルを厳密に（厳密なバイトコードで）試してみると、問題ありません。

Answer 3

ら導管を使用する代わりに。 System.IOを使用するだけです。これにより、IO実行順序に関してファイルが閉じられたときに明示的に制御することができます。

あなたは、あなたがそれで終わったら、通常の読み取り操作に続いてopenBinaryFile（Data.ByteStringからおそらくもの）とhCloseを使用するか、またはwithBinaryFile、自動的にファイルを閉じる（しかしthis sort of problemを注意してください）することができます。

あなたが使用している方法が何であれ、Donが言ったように、厳密なbytestringとして読んでから、strictをfromChunksで遅延して変換したいと思うでしょう。