MonadResource中的资源释放顺序

Question

MonadResource能够跟踪多个资源.有时这些资源的解除分配顺序很重要.考虑以下代码:

allocator1 = putStrLn "allocator1"
deallocator1 = putStrLn "deallocator1"

allocator2 = putStrLn "allocator2"
deallocator2 = putStrLn "deallocator2"

accessResource = const $ putStrLn "accessResource"

resourceTest :: MonadResource m => m ()
resourceTest = do
    (_, resource1) <- allocate allocator1 $ const deallocator1
    (_, resource2) <- allocate allocator2 $ const $ accessResource resource1 >> deallocator2
    return ()

main = runResourceT resourceTest 

这里我从resource2清理操作访问resource1,所以我希望resource1将始终在resource1之后被释放,否则代码将是不正确的.至少在目前的实施中这是事实.如果我运行代码,我会得到:

allocator1
allocator2
accessResource
deallocator2
deallocator1

是否MonadResource始终隔离先前分配的资源(因此可以从以后的清理操作中访问)将在以后取消分配,或者解除分配顺序是特定于实现的？如果具体实施,保证特定解除分配顺序的最佳方法是什么？

Answer 1

从版本 0.3.2.1 开始，释放始终按 LIFO 顺序。这是为了响应问题 #46而更改的，该问题包含更多信息。换句话说，您可以依赖deallocator2always running before deallocator1。