perl - 使用 DynaLoader.pm 在 Perl 中加载 Ada 共享对象

Question

长期听众，第一次来电。我知道这是一个有点晦涩的问题，不要期望太多。 :-)

我有以下 Ada 文件:

欢迎语.ads

package Greeter is
    procedure Hello;
end Greeter;

欢迎.adb

with Ada.Text_IO; use Ada.Text_IO;
package body Greeter is
    procedure Hello is
    begin
        Put_Line ("Hello, world!");
    end Hello;
end Greeter;

并将它们编译成这样的共享对象:

gnatmake -z -fPIC greeter.adb
gcc -shared -o libgreeter.so greeter.o

这编译得很好。 nm显示以下符号:

$ nm -D libgreeter.so 
                 w _Jv_RegisterClasses
0000000000201028 A __bss_start
                 w __cxa_finalize
                 w __gmon_start__
                 U __gnat_eh_personality
0000000000201028 A _edata
0000000000201038 A _end
00000000000006a8 T _fini
0000000000000520 T _init
                 U ada__text_io__put_line__2
0000000000201018 D greeter_E
000000000000063c T greeter__hello

现在我尝试在 Perl 中加载该共享对象:

#!/usr/bin/env perl

use 5.014;
use strict;
use warnings;

#BEGIN { $ENV{PERL_DL_DEBUG} = 1 };

package Greeter
{
    use constant ADADIR => '/usr/lib/gcc/x86_64-linux-gnu/4.4/rts-native/adalib/';
    use constant OURDIR => do { (my $f = __FILE__) =~ s{[^/]+$}//; $f || "." };

    require DynaLoader;
    our @ISA = 'DynaLoader';

    my $runtime = DynaLoader::dl_load_file(
        ADADIR.'/libgnat.so',
    ) or die DynaLoader::dl_error();

    my $gep = DynaLoader::dl_find_symbol(
        $runtime,
        '__gnat_eh_personality',
    ) or die DynaLoader::dl_error();

    my $libref = DynaLoader::dl_load_file(
        OURDIR.'/libgreeter.so',
        0x01,
    ) or die DynaLoader::dl_error();

    my $func = DynaLoader::dl_find_symbol(
        $libref,
        'greeter__hello',
    ) or die DynaLoader::dl_error();

    print $func, $/;
}

但这会发出以下消息:

./libgreeter.so: undefined symbol :__gnat_eh_personality 在 ./greeter.pl 第 26 行。

有人有任何提示吗？有什么比我应该使用的 DynaLoader 更好/更容易的东西吗？

我有一个包含所有相关文件的存储库:

https://bitbucket.org/tobyink/ada-perl-mashup

Answer 1

我对 Perl 无能为力(你需要 5.14，Mac OS X 有 5.12，Debian 6 有 5.10)。也就是说，我可以帮助为 C 主链接和直接链接构建库......

GNAT 构建过程非常复杂，有两个工具可以支持它，gnatmake和 gprbuild .很可能(写于 2015 年 9 月)gnatmake将失去构建库的能力，所以 gprbuild是更好的选择。

我认为您需要一个独立的库项目(即，一个具有控制 Ada 精化的初始化和终结操作的项目；如果您不初始化 Ada 库，您将获得 SEGV 或其他不良行为)。你会发现 build 一个的内幕here .
greeter.gpr我写的是

project Greeter is
   for Library_Name use "greeter";
   for Library_Kind use "relocatable";
   for Library_Dir use "lib";
   for Library_Interface use ("greeter");
   for Library_Auto_Init use "true"; -- the default, I think
   for Object_Dir use ".build"; -- to keep temp objects out of the way
end Greeter;

Library_Name属性控制库的名称； libgreeter.dylib在 Mac OS X 上， libgreeter.so在 Linux 上。
Library_Kind属性也可以是 "static" ，在这种情况下，名称将为 libgreeter.a .但是，独立库必须是可重定位的。
Library_Dir属性，你必须提供(上面两个)来创建一个库，控制库的创建位置；在这种情况下，在 lib/ .

您必须提供 Library_Interface属性使其成为一个独立的库并生成控制 Ada 细化的初始化和终结操作。他们被称为 library_name init和 library_name final - 这里， greeterinit , greeterfinal .

如 Library_Auto_Init是 "false"如果 "true"，您必须自己调用初始化和终结操作。 ，它们是自动管理的。

好的，通过以下方式构建库

gprbuild -p -P greeter

( -p 表示“创建任何需要的输出目录”， -P 指定项目文件)。

我建了 greeter.c

#include <stdio.h>

extern void greeter_hello();

int main()
{
  greeter__hello();
  return 0;
}

使用

$ gcc greeter.c -o greeter -L lib -l greeter

并运行(在 Linux 上)使用

$ LD_LIBRARY_PATH=./lib ./greeter