Registering the service

A server is mostly built like described in section 5. In order to let the SeD know that the service defined within the profile is a parallel one, the SeD programmer must use the function:

By default, a service is registered as sequential. Nevertheless, for code readability reasons, we also give the pendant function to explicitly register a sequential service: