Inter-partitions ports communication

For inter-partitions communication, we introduce several concepts:

• The node identifier is a unique number for each node.
• The global port identifier is a unique number for each port in the whole distributed system. This unique identifier identifies each port of each node.
• The local port identifier is a unique number for each port on the local node only. It identifies each inter-partition communication port on the local kernel.

So, for each node, you must specify in the kernel:

• The node identifier of the current node
• The number of nodes in the distributed system
• The number of inter-partitions ports in the distributed system
• The number of inter-partitions ports on the local node
• All identifiers of global ports
• All identifiers of local ports
• The association between global ports and nodes
• The association between global ports and local ports
• The association between local ports and global ports