主页 / coding / 问题

问题[exception](coding)

Martin Hope
Enlico
Asked: 2025-04-19 19:25:32 +0800 CST
  • 7

在 Simon Marlow 所著的《Haskell 中的并行和并发编程》中，展示了以下实现bracket：

bracket
        :: IO a         -- ^ computation to run first (\"acquire resource\")
        -> (a -> IO b)  -- ^ computation to run last (\"release resource\")
        -> (a -> IO c)  -- ^ computation to run in-between
        -> IO c         -- returns the value from the in-between computation
bracket before after thing =
  mask $ \restore -> do
    a <- before
    r <- restore (thing a) `onException` after a
    _ <- after a
    return r

并附有评论。以下是让我困惑的部分

[…] 包含阻塞操作是正常的；如果在阻塞before期间引发异常，则不会造成任何损害。但应该只执行一个阻塞操作。第二个阻塞操作引发的异常不会导致执行。[…]beforebeforeafter

我不太理解该评论，所以我想对其进行一些澄清。

要清楚的是，我甚至不明白“没有造成任何伤害”这一部分：在前面几页（第 159 页）中，以下调用的失败（第二次）尝试takeMVar，根据其内容执行操作，最后将该操作的结果放回MVarvia中，putMVar如下所示，

problem :: MVar a -> (a -> IO a) -> IO ()
problem m f = mask $ \restore -> do
  a <- takeMVar m
  r <- restore (f a) `catch`  \e -> do putMVar m a; throw e
  putMVar m r

在看这个例子时，我“接受”一个事实，直到它返回时takeMVar才会被篡改m；事实上，这是从文本中摘取的：

直到返回时为止引发异常都是安全的takeMVar。

我觉得我明白接下来的内容（我认为）。

但回到 的实现bracket，如果before内部使用takeMVar，并且在 之后发生异步异常takeMVar（从而清空MVar）会怎么样？这是否没有问题，因为我们使用了mask+ restore，也就是说，这样的异常会被延迟到 的参数（restore即 ）thing a开始执行，此时必要的异常处理程序已经到位，在本例中是通过 `onException` after a？

before那么，如果再次调用阻塞操作，为了简单起见，再说一遍，会发生什么问题呢takeMVar？问题是否是因为异常可能在阻塞时 takeMVar发生，因此在异常未被屏蔽的时间窗口内，异常会冒泡出来bracket，导致MVar第一个参数takeMVar不为空，但处于非原始状态，即 givenafter还没有机会运行？

是这个吗？

此外，文档页面没有提及这一点，或者我不明白它是如何暗示的。

exception
Martin Hope
Tom Price
Asked: 2023-11-05 14:45:07 +0800 CST
  • 6

我正在尝试处理键入的球拍中的某些类型的错误。以下代码在类型化和非类型化 Racket 中均按预期工作

(with-handlers
    ([exn:fail:contract:divide-by-zero?
      (lambda (e)
        (raise e))])
    (let ([x 0]
          [y 1])
      (display (/ y x))))

导致错误消息

/: division by zero

在非类型化的 Racket 中进行了一些细微的阐述：

(with-handlers
    ([exn:fail:contract:divide-by-zero?
      (lambda (e)
        (displayln "oops!")
        (raise e))])
    (let ([x 0]
          [y 1])
      (display (/ y x))))

oops!
/: division by zero

但在键入的 Racket 中给出以下错误消息：

Type Checker: No function domains matched in function application:
Domains: (U (Rec flat (U (Immutable-HashTable flat flat) (Immutable-Vectorof flat) (Pairof flat flat) Boolean Bytes Char Complex Keyword Null String Symbol)) exn) Any 
         (U (Rec flat (U (Immutable-HashTable flat flat) (Immutable-Vectorof flat) (Pairof flat flat) Boolean Bytes Char Complex Keyword Null String Symbol)) exn) 
Arguments: Any
 in: (raise e)

有人可以解释一下这里发生了什么，或者提出解决方法吗？

exception
Martin Hope
Pro Q
Asked: 2023-09-24 16:36:45 +0800 CST
  • 5

我有以下代码：

        try:
            # faster, but requires more memory
            G = self.sparse.to_dense().t() @ self.sparse.to_dense()
        except torch.cuda.OutOfMemoryError:
            # slower, but requires less memory
            G = torch.sparse.mm(self.sparse.t(), self.sparse)

我的 pylance 似乎认为这torch.cuda.OutOfMemoryError不是一个有效的错误类。（见图。）

“OutOfMemoryError”不是有效的异常类

但是，当我运行代码时，torch.sparse.mm运行显示检测到异常。

为什么明明有效的pylance却认为它无效？

exception
Martin Hope
thecooperman
Asked: 2023-09-06 00:08:37 +0800 CST
  • 6

我正在尝试追查一些先前存在的 ARM 汇编代码中的异常。有问题的行是：

ldr     x0, [x21, x19, lsl #3]

上式的结果是x0具有无效的内存地址，后续代码会尝试使用该地址。

我知道它lsl正在执行左移 3，但我不确定它实际上在执行什么操作。我以前没有见过移位左侧的值。转移通常是指要转移的值、转移的距离以及转移的方向。如果上面的行同时使用 x21 和 x19，它们在班次中如何使用？寄存器之一是低32位，另一个是高32位吗？

x19当前为 0x0
x21当前为大于 0x0 的值

我无法更改上面的行，但我可以更改 x19 和 x21 的值。任何解释这一点的帮助将不胜感激。

我追踪了汇编代码，找到了所有寄存器的值，并在互联网上搜索了如何解码有问题的行

exception