Question

长时间听众，第一次来电。我知道这是一个有点模糊的问题，不要期望太多。： - ）

我有以下Ada文件：

greeter.ads

package Greeter is
    procedure Hello;
end Greeter;

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：未定义的符号：./greeter.pl第26行的__gnat_eh_personality。

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

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

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

Answer 1

我无法帮助Perl方面（你需要5.14，Mac OS X有5.12，Debian 6有5.10）。也就是说，我可以帮助构建C main的库并直接链接......

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

我认为你需要一个独立的库项目（也就是说，有一个控制Ada详细说明的初始化和终结操作;如果你没有初始化Ada库，你会得到SEGV或其他不良行为）。您可以找到构建一个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属性控制库的名称; Mac OS X上的libgreeter.dylib，Linux上的libgreeter.so。

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

Answer 2

在Perl知识不多的情况下，我会尽我所能。

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

为了适用于Ada计划，您需要考虑几件事情。

您需要将Ada程序构建为适当的动态库。看起来你做到了。但是，我不是这方面的专家，所以也许你错过了什么。我强烈建议你查看TFM。
您需要正确调用Ada代码。 Ada程序通常需要在运行任何实际代码之前执行称为“精化”的过程。为了实现这一点，大多数Ada编译器为程序创建了一个特殊的入口点，而不是仅使用与“主”例程相关联的入口点。我认为Gnat是C_yourprogramname之类的东西，但不要指责我。即使您正在实现某种类型的库，也应首先运行详细说明（在某些特殊情况下执行，这里不适用）。但是，如果您希望例程是从Ada外部调用的库例程，则通常不需要“main”，因此还有一些额外的步骤。如何使用Gnat执行此操作described in their user guide，但一般来说，它涉及告诉编译器不要创建“main”，在从外部运行任何Ada例程之前调用adainit并调用adafinal当你们都完成了。

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

2 个答案: