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 thousands of entries. More details about implementation can be found in Implementation.