Next: , Previous: , Up: The Configuration Language   [Contents][Index]


8.5.4.14 Partition Attribute Allow_Light_PCS

On some circumstances, po_gnatdist can detect that a partition does not need the full PCS functionalities. This occurs in particular when the partition does use any task, any RCI unit or any RACW object. Therefore, the partition does not receive any message that is not a reply to a previous request. In this case, the PCS does not drag in the tasking library and a light PCS is linked in the partition executable. This specific configuration is automatically determined by po_gnatdist with the ALI file information.

This optimization can be inappropriate especially when the user wants to use the "Distributed Shared Memory" storage support which runs Li and Hudak’s algorithm. In this case, messages are exchanged without being replies to previously sent requests and the normal PCS should be linked instead of the light one. Note also that po_gnatdist cannot know for sure that the DSM storage support assigned at configuration time is used at run-time. The user can configure this optimization with the following attribute.


REPRESENTATION_CLAUSE ::=
   for PARTITION_IDENTIFIER'Allow_Light_PCS use BOOLEAN_LITERAL;