Next: Concurrent Remote Calls, Previous: Incorrect Remote Dispatching, Up: Partition Communication Subsystem
U'Partition_ID identifies the partition where the unit U has been elaborated. For this purpose, the PCS provides an integer type Partition_ID to uniquely designate a partition. Note that a Partition_ID is represented as a universal integer, and has no meaning outside of the PCS. The RM requires that two partitions of a distributed program have different Partition_ID's at a given time. A Partition_ID may or may not be assigned statically (at compile or link time). A Partition_ID may or may not be related to the physical location of the partition.
Partition_ID's can be used to check whether a RCI package is configured locally.
with RCI;
with Ada.Text_IO;
procedure Check_PID is
begin
if RCI'Partition_ID = Check_PID'Partition_ID then
Ada.Text_IO.Put_Line ("package RCI is configured locally");
else
Ada.Text_IO.Put_Line ("package RCI is configured remotely");
end if;
end Check_PID;