Сопоставление фрагмента общей памяти для чтения/записи в Ada

Question

У меня есть кусок (1024 байта) разделяемой памяти между двумя процессами, для которых у меня есть адрес, на который указывает. Я хочу скопировать некоторые данные в эту общую память и прочитать ее на другом процессе. Исходя из фона C, проще всего сопоставить запись по этому адресу, а затем записать в запись, но, похоже, она не копируется правильно.

В настоящее время я пытаюсь преобразовать указатель в тип указателя на запись с использованием Unchecked Conversion и скопировать в запись, но я вижу различия в данных, когда сравниваю исходную полезную нагрузку с полученным во втором процессе.

Является ли это правильный способ сделать это ?:

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.