映射共享内存块以在Ada中进行读写

Question

我在两个进程之间有一个共享内存块（1024字节），我有一个指向的地址。 我想将一些数据复制到此共享内存，并在其他过程中读取它。 从C的背景来看，将记录映射到该地址，然后再写入该记录似乎是最简单的，但是似乎不能正确复制。

当前，我正在尝试使用未经检查的转换将指针转换为指针到记录的类型，并复制到记录中，但是当我将原始有效负载与第二个过程中接收到的有效负载进行比较时，发现数据存在差异。

这是这样做的正确方法吗？：

type Payload_Array_Type is array (1..255) of Integer_32;

type Common_Buffer_Type is
  record
    Size : Integer_32;
    Payload : Payload_Array_Type;
  end record;

type Common_Buffer_Ptr_Type is access Common_Buffer_Type;

function Convert_Common_Memory_Ptr is new Unchecked_Conversion (
    Source => System.Address,
    Target => Common_Buffer_Ptr_Type);

Common_Memory_Ptr : System.Address;

procedure Copy_To_Common_Buffer
(
    Size : Integer_32;
    Payload : Payload_Array_Type
) is
    Common_Buffer_Ptr : Common_Buffer_Ptr_Type;
begin
    Common_Buffer_Ptr := Convert_Common_Memory_Ptr(Common_Memory_Ptr);
    Common_Buffer_Ptr.Size := Size;
    Common_Buffer_Ptr.Payload(1..255) := Payload(1..255);    
end Copy_To_Common_Buffer;

Answer 1

我会尝试这样做：

procedure Payload is 

   type Payload_Array_Type is array (1..255) of Integer_32;

   type Common_Buffer_Type is record
      Size : Integer_32;
      Payload : Payload_Array_Type;
   end record;
   for Common_Buffer_Type use record -- representation clause should be common to both processes
      Size    at 0 range 0 .. 31;
      Payload at 0 range 32 .. 1023;
   end record;
   for Common_Buffer_Type'Size use 1024; -- check this is also used in the other process.

   type Common_Buffer_Ptr_Type is access Common_Buffer_Type;

   Common_Memory_Ptr : System.Address; -- assuming this is where the shared object resides with a real address, possibly make it constant

   procedure Copy_To_Common_Buffer (Size    : in Integer_32;
                    Payload : in Payload_Array_Type) is
      Common_Buffer : Common_Buffer_Type;
      for Common_Buffer'Address use Common_Memory_Ptr; -- address overlay
   begin
      Common_Buffer := (Size => Size,
            Payload => Payload);
   end Copy_To_Common_Buffer;

begin

   Copy_To_Common_Buffer (9,(others => 876));

end Payload;

类型定义对于这两个过程应该是相同的，并且请注意，我已经使用了一个表示子句来指定组件的位置。

我使用了地址覆盖来指定我要写入的位置，然后将整个记录一次性写入。

也可以像@Brian Drummond所建议的那样查找实用的挥发物用法。