Name Server

Name Server is a dedicated task that allows data exchange between tasks by implementing a key-value database.

Users can use three operations provided by the Name Server API:

  • query — get data from the database

  • register — set data in the database

  • re-register — modify data for already existing keys in the database

Deleting (unregister) data from the database is also possible and is implemented as re-register with size 0.

The Name Server uses hashing and can efficiently handle up to some hundreds of entries. More details about implementation can be found in Implementation.