#### 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;