Objective-C ARC和longjmp

什么是在Objective-C ARC中使用longjmp的最佳实践?

我使用Lua作为脚本语言,并且我的平台为脚本导出自定义库。入口点使用luaL_checkinteger(L,2)(等等)检查参数,这反过来可能会调用luaL_typerror(L,2,...),这是用setjmp/longjmp在Lua中实现的。据我所知,ARC只是自动生成retain/release代码,但是如果在作用域外进行longjmp,它会发生什么?这段代码是否会因为错误输入而泄漏?

在上面的片段中,ARC会暂时保留control,但是由于longjmp无法捕获,对应的释放调用可能永远不会发生。另一方面,所有的参数可能在分配给control变量之前进行检查。

这可以解决上述潜在的泄漏吗?有更好的方法吗?

更新:longjmp只解开到Lua内部,并且从未越过任何系统代码,除了Lua源(知道)和我的入口点(希望知道)之外。

我非常确定第二个片段是正确的,但是我需要一种形式化的证明。


最近更新:

LuaJIT实现了与DWARF2兼容的错误,因此它们就像C++异常一样。对于带有Lua代码的ARC启用的源文件,使用-fobjc-arc-exceptions编译器标志,任何保留的对象都会在任何lua_error上释放。现在可以放心了!但是您仍然不允许跨Cocoa运行时抛出错误。

点赞
用户25646
用户25646

无论是否使用 ARC 都不重要;任何 setjmp/longjmp 跳过任何系统框架代码帧将导致未定义的行为(与不可恢复的异常处理原因相同)。

所以,是的,这段代码可能会泄漏。 因为它取决于编译器是否在该块中发出 retain/ release 同时已经放置好位置。也可能因为编译器是否发出 retain/ release 会受到优化级别和版本的影响。

longjmp 仅取消 Lua 的内部,并且永远不会跨任何系统代码,除了 Lua 源代码(它是可感知的)和我的入口点(我希望它们是可感知的)。

这很有帮助。只要您构造入口点,使其 永远 不混合 Lua 跳跃范围的系统范围,就可以了。 我建议在必须管理此问题的源文件中关闭 ARC(当然,将 ObjC->Lua 接口放入封装良好的实现位中,以便代码的其余部分可以保持 ARC 干净)。

但要考虑到隐藏风险:

for(id x in anArray) {
    ... lua call that causes longjmp ...
}

上述代码将导致 lua 跳过系统代码。枚举方法 enumerateWithBlock:, KVO, 通知处理程序等也是如此。

您将不得不非常 非常 仔细地考虑由从 Lua 调用到您的代码触发的每个潜在堆栈触发器。如果该调用触发了系统的任何自动化行为,然后调用了可触发 longjmp 的 Lua API,则所有投注均作废。

2013-12-21 17:06:39
用户881456
用户881456

longjmp() 可能会导致 ARC 崩溃或者泄漏。调整代码以确保 longjmp() 和 ARC 不发生冲突是困难的。

如果 longjmp() 仅用于处理致命错误路径,并且你希望在响应时停止进程,那么你可能可以忽略该问题。这是 ARC 对 C++/ObjC 异常的默认处理方式。当异常被抛出时,ARC 代码会泄露。虽然有一个编译器选项可以启用异常的清理代码,但这会影响性能。

如果 longjmp() 不是一个终止进程的错误,那么你最好在任何可能被 longjmp() 调用跳过的代码中关闭 ARC。

2013-12-23 00:41:50