c - 如何使用 goto 在 C 中模拟异常？

Question

我正在用 C 编写并发事务库，发现以下问题。让我们考虑一个示例事务成员伪代码，其中“事务”表示与事务主机的通信通道：

transaction = trans_join();

do_some_ops();

/* receive the data from the master */
trans_rcv(transaction, data);

do_some_ops();

trans_send(transaction, answer);

/* wait for the possibility for voting */
trans_ready(transaction);

/* vote for commiting and wait for the voting results. */
if(trans_commit(answer))
{
   printf("Final commiting the changes.\n");
}
else
{
   printf("Rolling back the changes.\n");
}

在并发事务中，只有当我们被主人要求投票时，我们才能投票。但是master可以随时调用trans_abort(member)，强制指定成员取消事务。成员可以在执行的任何阶段接收到 ABORT 消息，在这种情况下，它不应该等到执行到达trans_ready()调用。例如，如果trans_rcv()在后面的代码中有一个调用，则该进程将一直等待来自 master 的数据，这些数据永远不会发送。

现在，重点。我已经有代码来注册回滚更改的中止函数，但我还希望有一个额外的机制，允许跳过其余的操作并立即跳转到投票代码。我有个想法在这里使用 goto 来模拟异常：

if(!trans_rcv()) /* fail, we received the abort message */
{
   goto abort_code;
}

...

abort_code:
trans_ready(transaction);
/* etc. */

但是，为or的每个调用编写ifs并不是很舒服，尤其是在事务代码很复杂的情况下。您对更好的解决方案有任何想法还是这是唯一的方法？顺便说一句，它不必使用:)。trans_rcvtrans_sendgoto

score 7 · Accepted Answer

goto只能在一个函数内工作，这可能是异常机制的太多限制。

我建议使用setjmp/longjmp功能 - 有关详细信息，请参阅Wikipedia。

score 5 · Accepted Answer

如果键入 IF 是问题，您可以使用宏，例如：

#define trans_rcv_CHK do { \
     if (!trans_rcv()) \
     { \
          goto abort_code; \
     } \
} while(0)

如果 trans_rcv 有参数，这应该有效（至少在 gcc 中）：

#define trans_rcv_CHK(...) do { \
     if (!trans_rcv(__VA_ARGS__)) \
     { \
          goto abort_code; \
     } \
} while (0)

score 3 · Accepted Answer

就我个人而言，我会通过使用带有基于开关的状态机的 while 循环来编写代码。

score 3 · Accepted Answer

C 中异常处理的最佳来源之一。基本上，RTOS 的人们如何为他们的 RTFile 模块实现异常。谨防文章后半部分可怕地滑入汇编语言。

score 1 · Accepted Answer

请参阅 Hanson 的“ C 接口和实现：创建可重用软件的技术”。它提供了一种基于setjmp()和的异常机制longjmp()。该代码可通过 MIT 许可证获得。

c - 如何使用 goto 在 C 中模拟异常？

5 回答 5

Related

Reference