exception - 异常可以在恢复和掩码之间潜行吗？

Question

假设我有一些这样写的代码:

import Control.Exception (bracketOnError, finally, mask)
import Client (acquireB, releaseB, doStuff) -- theoretical
import MyStuff (preliminary, doMoreStuff) -- theoretical

clientAction = bracketOnError acquireB releaseB $ \b ->
  doStuff b
  return (b, releaseB b)

myAction = mask $ \restore ->
  a <- preliminary
  (thing, releaseThing) <- restore clientAction
  doMoreStuff a thing `finally` releaseThing

我必须做一些 preliminary东西，我的客户获得 b然后必须 doStuff与 b ，然后我必须 doMoreStuff与 b .和 b需要释放，即使发生异步异常。但是不知道怎么发布 b ，所以我的客户告诉我如何。这样写，我们俩都准备发布 b如果在“我们的”代码期间发生异常。

我的问题是:异步异常是否有可能导致 releaseB不被执行？具体来说，“我的代码”和“我的客户的代码”之间是否存在异步异常可以挤入的差距？让我内联 clientAction和 bracketOnException解释。

myAction = mask $ \restore -> do
  a <- preliminary
  (thing, releaseThing) <- restore $ mask $ \restore2 -> do
    b <- acquireB
    restore2 (doStuff b >> return (b, releaseB b))
      `onException` releaseB b
  doMoreStuff a thing `finally` releaseThing

问题是:这里是否有片刻

... restore $ mask ...

对当客户的 mask被解除，但在我的 restore 结束之前围绕它，异常可以潜入哪里？

Answer 1

是的，在 GHC 中，当 unmask 发生时，我们急切地检查阻塞的异常并引发它们。