#### 8.2.3 Partition Ids

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;