11

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

我有以下 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：未定义符号：__gnat_eh_personality 在 ./greeter.pl 第 26 行。

有人有任何提示吗？有没有比我应该使用的 DynaLoader 更好/更简单的东西？

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

4

2 回答 2

10

我对 Perl 方面无能为力（您需要 5.14，Mac OS X 有 5.12，Debian 6 有 5.10）。也就是说，我可以帮助构建用于 C 主和直接链接的库......

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

我认为您需要一个独立的库项目（即具有控制 Ada 精化的初始化和完成操作的项目；如果您不初始化 Ada 库，您将获得 SEGV 或其他不良行为）。你会在这里找到建造一号楼的内幕。

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_nameinit和library_namefinal - 在这里, 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
于 2013-01-18T16:35:23.957 回答
4

鉴于没有太多 Perl 知识，我会尽我所能。

在我看来，perl 中的Dynaloader是一个实用程序，可让您将动态可加载库（Unix 系统上的 lib*.so ）加载到 perl 程序中。

为了使 Ada 程序有效，您需要考虑几件事情。

  1. 您需要将您的 Ada 程序构建为适当的动态库。看起来你是这样做的。但是，我不是这方面的专家，所以也许你错过了一些东西。我强烈建议在这方面查看 TFM。
  2. 您需要正确调用您的 Ada 代码。Ada 程序通常需要在运行任何实际代码之前执行一个称为“精化”的过程。为了实现这一点，大多数 Ada 编译器为程序创建了一个特殊的入口点，而不仅仅是使用与“主”例程相关联的入口点。我认为 Gnat's 类似于C_yourprogramname，但不要让我这么认为。即使您正在实现某种类型的库，也应首先运行详细说明（在某些特殊情况下执行，此处不适用）。但是，如果您希望例程成为从 Ada 外部调用的库例程，则通常不需要“main”，因此需要一些额外的步骤。他们的用户指南中描述了如何使用 Gnat 执行此操作，adainit在从外部运行任何 Ada 例程之前，并adafinal在完成后调用。
于 2013-01-18T15:32:48.120 回答