0

我的程序在包详细说明部分出现段错误。我在正文的一个块中声明了一堆变量。它们都是带有 QLOCK、First ID Number、Last ID Number 和数据数组的记录。所有不同的类型，因为每条记录的数据和 ID 范围略有不同。

这些类型都在同一个包规范 (SMO_Types) 中定义，但只有其中一个会导致段错误。

Ada 捕获此段错误并引发存储错误，因此输出如下所示

引发 STORAGE_ERROR : s-intman.adb:136 显式引发

我试图通过放置 Elaborate_All(SMO_Types); 来强制制定顺序；

它在运行时仍然存在段错误。

当我注释掉该声明和该单个变量的任何用途时，它工作正常。

begin -- Package Body
EX1_Access := EX_PKG.Object_Access(Read_Only => False);
EX2_Access := EX_PKG.Object_Access(Read_Only => False);
EX3_Access := EX_PKG.Object_Access(Read_Only => False);

IPC_API.Qlock.Init(Lock => EX1_Access.QLock, Name => "EX1_Access.QLock");
IPC_API.Qlock.Init(Lock => EX2_Access.QLock, Name => "EX2_Access.QLock");
IPC_API.Qlock.Init(Lock => EX3_Access.QLock, Name => "EX3_Access.QLock");

declare
  EX1 : constant SMO_Types.EX1_Type
     := (QLock => EX1_Access.QLock,
         First => ACT.EX1_ID_Type'first,
         Last  => ACT.EX1_ID_Type'last,
         Data  => (others => (EX_File => EX_API_Types.NOT_DEFINED)));

--The following EX2_Type causes the elaboration issue, if I comment this
--declaration/init and it's use the code works.
--If I make a random variable of EX2_Type without making it a constant
--and initializing it there is still a seg fault. Therefor it seems
--likely that the issue lies with the EX2_Type.
  EX2 : constant SMO_Types.EX2_Type 
     := (QLock => EX2_Access.QLock,
         First => ACT.EX2_ID_Type'first,
         Last  => ACT.EX2_ID_Type'last,
         Data  => (others => (EX_File => EX_API_Types.NOT_DEFINED)));
  EX3 : constant SMO_Types.EX3_Type
     := (QLock => EX3_Access.QLock,
         First => ACT.EX3_ID_Type'first,
         Last  => ACT.EX3_ID_Type'last,
         Data  => (others => (EX_File => EX_API_Types.NOT_DEFINED)));
begin

EX1_Access.all := EX1;
EX2_Access.all := EX2;
EX3_Access.all := EX3;

end Example_Package;

*** 编辑：这里是类型（忽略 EX1 与 EX2 与 EX3 的奇怪顺序，这不是重新输入错字。这是它们在旧代码中的样子）

MAX_EX_COUNT : constant := 36367;
MAX_EX1_COUNT : constant := 18947;
MAX_EX2_COUNT : constant := 1000;
MAX_EX3_COUNT : constant := 1000;

type EX_ID_Type is range -1 .. MAX_EX_COUNT;
   for EX_ID_Type'size use 4*8;

subtype EX2_ID_Type is ID_Type
   range 1 .. MAX_EX2_COUNT;
subtype EX1_ID_Type is ID_Type
   range EX2_ID_Type'Last+1 .. EX2_ID_Type'Last+MAX_EX1_COUNT;
subtype EX3_ID_Type is ID_Type
   range EX1_ID_Type'Last+1 .. EX1_ID_Type'Last+MAX_EX3_COUNT;

type Data_Array_Type is array (EX_ID_Type range <>)
   of EX_API_Types.EX_Data_Type;

type EX_Record_Type (First, Last : EX_ID_Type) is
   record
      Qlock : IPC_API.Qlock.Qlock_Type;
      Data  : Data_Array_Type(First .. Last);
   end record;

subtype EX1_Type is
   EX_Record_Type(First => EX1_ID_Type'first,
                  Last  => EX1_ID_Type'last);

subtype EX2_Type is
   EX_Record_Type(First => EX2_ID_Type'first,
                  Last  => EX2_ID_Type'last);

subtype EX3_Type is
   EX_Record_Type(First => EX3_ID_Type'first,
                  Last  => EX3_ID_Type'last);
4

3 回答 3

1

您的类型定义仍然不完整。我们只能对您的类型做出广泛的假设。

type Data_Array_Type is array (EX_ID_Type range <>)
   of EX_API_Types.EX_Data_Type;

type EX_Record_Type (First, Last : EX_ID_Type) is
   record
      Qlock : IPC_API.Qlock.Qlock_Type;
      Data  : Data_Array_Type(First, Last);
   end record;

subtype EX1_Type is
   EX_Record_Type(First => EX1_ID_Type'first,
                  Last  => EX1_ID_Type'last);

subtype EX2_Type is
   EX_Record_Type(First => EX2_ID_Type'first,
                  Last  => EX2_ID_Type'last);

subtype EX3_Type is
   EX_Record_Type(First => EX3_ID_Type'first,
                  Last  => EX3_ID_Type'last);

无约束数组类型的定义将索引声明为 EX_ID_Type 内的一系列值。EX_Record_Type 的判别式使用相同的类型。您必须在某处定义 EX1_ID_Type、EX2_ID_Type 和 EX3_ID_Type。我只能假设这些是 EX_ID_Type 的子类型。

您在记录中对 Data 字段的定义是不正确的 Ada 语法。必须使用范围定义无约束数组的实例。您不提供范围，只提供上限和下限。正确的符号应该是：

type EX_Record_Type (First, Last : EX_ID_Type) is
   record
      Qlock : IPC_API.Qlock.Qlock_Type;
      Data  : Data_Array_Type(First .. Last);
   end record;

您需要查看 range 中的元素数量EX2_ID_Type'First..EX2_ID_Type'Last。根据您报告的错误消息，您的程序似乎没有足够的堆栈空间来容纳此大小的数组以及堆栈上维护的所有其他数据。

于 2019-05-21T19:15:02.873 回答
1

正如@JimRogers 在他的帖子末尾提到的“看来您的程序堆栈空间不足”最终成为导致我找到解决方案的问题。

我的库更改发生了并行更改，其中一项更改将脚本“ulimit -Ss 65536”重新定位到另一个脚本，该脚本在程序运行时最终没有运行。

由于@JimRogers，我开始解决堆栈问题并最终看到上述更改并将其还原到我的沙箱中。这解决了这个问题。感谢大家的帮助！

TLDR 问题：细化期间堆栈空间不足 解决方案：添加“ulimit -Ss 65536”（将软堆栈大小增加到 64KB）以运行脚本。

于 2019-05-23T20:26:39.233 回答
0

首先，您使用未知的判别式创建和分配访问值：

EX1_Access := EX_PKG.Object_Access(Read_Only => False);

然后，您使用其他可能不同的判别式创建新对象：

 EX1 : constant SMO_Types.EX1_Type
     := (QLock => EX1_Access.QLock,
         First => ACT.EX1_ID_Type'first,
         Last  => ACT.EX1_ID_Type'last,
         Data  => (others => (EX_File => EX_API_Types.NOT_DEFINED)));

然后您尝试将这些新对象的内容复制到先前分配的访问值中：

EX1_Access.all := EX1;

每当判别式不同时，这总是会失败，这只是纯粹的运气，First并且Last匹配EX1分配的值。

于 2019-05-22T13:15:15.300 回答