7

我正在尝试编写一些 XS 代码，将库作为​​可以写入的流接口公开给 Perl 代码。下面的 get_stream函数应该是一个构造函数，它准备并返回一个 PerlIO 对象。我认为我只需要 WriteandClose方法，所以我将所有其他函数槽留空。

typedef struct {
    struct _PerlIO base;
    mylib_context* ctx;
} PerlIOmylib;

/* [...] */

PERLIO_FUNCS_DECL(PerlIO_mylib_funcs) = {
.fsize = sizeof(PerlIO_funcs),
.name  = "mylib",
.size  = sizeof(PerlIOmylib,
.Write = mylib_write,
.Close = mylib_close,
};

/* XS below */

PerlIO*
get_stream (SV* context_obj)
CODE:
mylib_context* ctx = (mylib_context*) SvIV (SvRV (context_obj));
PerlIO* f = PerlIO_allocate (aTHX);
f = PerlIO_push (aTHX, f, PERLIO_FUNCS_CAST(&PerlIO_mylib_funcs), "a", NULL);
PerlIOSelf(f, PerlIOmylib)->ctx = ctx;
PerlIOBase(f)->flags |= PERLIO_F_OPEN;
RETVAL = f;
OUTPUT:
RETVAL

当我像这样使用提供的界面时......

{
    my $fh = MyLib::get_stream($lib_ctx);
    print $fh "x" x 300;
}

...mylib_write函数被调用，所以到目前为止我还没有完全搞砸。（我通过插入调试 printf 语句验证了这一点。）但是，我希望 PerlIO 对象在 $fh超出范围时关闭，就像使用open. 但目前，该mylib_close 函数仅在解释器关闭期间调用。

直接调用close工作正常，设置$fh为undef不行。

更新：按照 ikegami 的建议，我使用Devel::Peek::Dump并sv_dump 发现句柄返回get_stream函数是一个“RV”，它指向一个SV = PVGV(...). glob ( PVGV) 的引用计数器设置为 3，这似乎不正确。

我添加了

CLEANUP:
SvREFCNT_dec (SvRV (ST(0)));
SvREFCNT_dec (SvRV (ST(0)));

治愈症状： 在块结束时超出范围时close调用该函数。$fh但是我仍然不太了解潜在的问题。

这是为该OUTPUT部分生成的 C 代码：

ST(0) = sv_newmortal();
{
    GV *gv = newGVgen("MyLib");
    if (do_open(gv, "+<&", 3, FALSE, 0, 0, RETVAL) )
        sv_setsv(ST(0), sv_bless(newRV((SV*)gv), gv_stashpv("MyLib",1)));
    else
        ST(0) = &PL_sv_undef;
}
XSRETURN(1);

GV 的引用计数如何最终达到 3？

4

2 回答 2

7

如果close在全局销毁时调用，则意味着您的句柄在全局销毁时仍然存在。你在泄密！

在 C/XS 代码中，您可以使用sv_dump(sv)将标量转储到 stderr。在 Perl 代码中，您可以使用Devel::Peek来Dump获得相同的功能。这将向您显示引用计数。

在回答你的新问题时，

您有三个分配，但只有一个释放（来自 sv_2mortal 的延迟一个）。

  • gv: 指针总是被丢弃。内存泄漏！

    您可以减少错误时的 refcnt ，或者在打开成功时使用“转移所有权”到 RVgv后无条件地减少 refcnt 。newRV_inc

  • SV from newRV: 指针总是被丢弃。内存泄漏！

    为什么不直接退回而不是复制呢？只需将其标记为 mortal 以使 Perl 在调用者获取它后减少其 refcnt。

固定的：

{
    GV *gv = newGVgen("MyLib");
    if (!do_open(gv, "+<&", 3, FALSE, 0, 0, RETVAL) ) {
        SvREFCNT_dec(gv);
        XSRETURN_UNDEF;
    }

    ST(0) = sv_2mortal(sv_bless(newRV_noinc((SV*)gv), gv_stashpv("MyLib",1))));
    XSRETURN(1);
}
于 2012-10-04T15:18:40.860 回答
0

我只是用一个简单的例子重现了这个问题：

$ h2xs -n foo
Defaulting to backwards compatibility with perl 5.14.2
If you intend this module to be compatible with earlier perl versions, please
specify a minimum perl version with the -b option.

Writing foo/ppport.h
Writing foo/lib/foo.pm
Writing foo/foo.xs
Writing foo/fallback/const-c.inc
Writing foo/fallback/const-xs.inc
Writing foo/Makefile.PL
Writing foo/README
Writing foo/t/foo.t
Writing foo/Changes
Writing foo/MANIFEST

，foo/foo.xs我补充说：

PerlIO*
get_stream(char* name);
CODE:
RETVAL = PerlIO_open (name, "w");
OUTPUT:
RETVAL

和以下简单的测试程序：

#!/usr/bin/perl
use foo;
use Devel::Peek;
{
    my $fh = foo::get_stream ("testfile");
    Devel::Peek::Dump $fh;
    print $fh "hello\n";
}
print "bye\n";

果然，生成的 glob 的引用计数设置为 3，strace这表明关闭文件描述符是 Perl 解释器做的最后一件事。

因此，PerlIO*默认情况下处理似乎是泄漏的。:-(

以下typemap代码段似乎解决了这个问题（感谢 ikegami！）：

TYPEMAP
PerlIO *    T_PIO
OUTPUT
T_PIO
    {
        GV *gv = newGVgen("$Package");
        if (do_open(gv, "+<&", 3, FALSE, 0, 0, $var) ) {
            $arg = sv_2mortal(sv_bless(newRV_noinc((SV*)gv), gv_stashpv("$Package",1)));
        } else {
            SvREFCNT_dec(gv);
            $arg = &PL_sv_undef;
        }
    }
于 2012-10-04T21:45:26.387 回答