ROS 2 rclcpp + rcl - lyrical  lyrical
ROS 2 C++ Client Library with ROS Client Library
init.c
1 // Copyright 2015 Open Source Robotics Foundation, Inc.
2 //
3 // Licensed under the Apache License, Version 2.0 (the "License");
4 // you may not use this file except in compliance with the License.
5 // You may obtain a copy of the License at
6 //
7 // http://www.apache.org/licenses/LICENSE-2.0
8 //
9 // Unless required by applicable law or agreed to in writing, software
10 // distributed under the License is distributed on an "AS IS" BASIS,
11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 // See the License for the specific language governing permissions and
13 // limitations under the License.
14 
15 #ifdef __cplusplus
16 extern "C"
17 {
18 #endif
19 
20 #include "rcl/init.h"
21 
22 #include "rcutils/logging_macros.h"
23 #include "rcutils/stdatomic_helper.h"
24 #include "rcutils/strdup.h"
25 
26 #include "rmw/error_handling.h"
27 
28 #include "tracetools/tracetools.h"
29 
30 #include "rcl/arguments.h"
31 #include "rcl/discovery_options.h"
32 #include "rcl/domain_id.h"
33 #include "rcl/error_handling.h"
34 #include "rcl/logging.h"
35 #include "rcl/security.h"
37 
38 #include "./arguments_impl.h"
39 #include "./common.h"
40 #include "./context_impl.h"
41 #include "./init_options_impl.h"
42 
43 #if defined(_WIN32) && !defined(__MINGW64__)
44 static atomic_uint_least64_t __rcl_next_unique_id = {1};
45 #else
46 static atomic_uint_least64_t __rcl_next_unique_id = 1;
47 #endif
48 
51  int argc,
52  char const * const * argv,
53  const rcl_init_options_t * options,
54  rcl_context_t * context)
55 {
56  rcl_ret_t fail_ret = RCL_RET_ERROR;
57 
58  if (argc > 0) {
59  RCL_CHECK_ARGUMENT_FOR_NULL(argv, RCL_RET_INVALID_ARGUMENT);
60  for (int i = 0; i < argc; ++i) {
61  RCL_CHECK_ARGUMENT_FOR_NULL(argv[i], RCL_RET_INVALID_ARGUMENT);
62  }
63  } else {
64  if (NULL != argv) {
65  RCL_SET_ERROR_MSG("argc is <= 0, but argv is not NULL");
67  }
68  }
69  RCL_CHECK_ARGUMENT_FOR_NULL(options, RCL_RET_INVALID_ARGUMENT);
70  RCL_CHECK_ARGUMENT_FOR_NULL(options->impl, RCL_RET_INVALID_ARGUMENT);
71  rcl_allocator_t allocator = options->impl->allocator;
73  RCL_CHECK_ARGUMENT_FOR_NULL(context, RCL_RET_INVALID_ARGUMENT);
74  RCUTILS_LOGGING_AUTOINIT_WITH_ALLOCATOR(allocator);
75 
76  RCUTILS_LOG_DEBUG_NAMED(
77  ROS_PACKAGE_NAME,
78  "Initializing ROS client library, for context at address: %p", (void *) context);
79 
80  // test expectation that given context is zero initialized
81  if (NULL != context->impl) {
82  // note that this can also occur when the given context is used before initialization
83  // i.e. it is declared on the stack but never defined or zero initialized
84  RCL_SET_ERROR_MSG("rcl_init called on an already initialized context");
85  return RCL_RET_ALREADY_INIT;
86  }
87 
88  // Zero initialize global arguments.
90 
91  // Setup impl for context.
92  // use zero_allocate so the cleanup function will not try to clean up uninitialized parts later
93  context->impl = allocator.zero_allocate(1, sizeof(rcl_context_impl_t), allocator.state);
94  RCL_CHECK_FOR_NULL_WITH_MSG(
95  context->impl, "failed to allocate memory for context impl", return RCL_RET_BAD_ALLOC);
96 
97  // Zero initialize rmw context first so its validity can by checked in cleanup.
98  context->impl->rmw_context = rmw_get_zero_initialized_context();
99 
100  // Store the allocator.
101  context->impl->allocator = allocator;
102 
103  // Copy the options into the context for future reference.
104  rcl_ret_t ret = rcl_init_options_copy(options, &(context->impl->init_options));
105  if (RCL_RET_OK != ret) {
106  fail_ret = ret; // error message already set
107  goto fail;
108  }
109 
110  // Copy the argc and argv into the context, if argc >= 0.
111  context->impl->argc = argc;
112  context->impl->argv = NULL;
113  if (0 != argc && argv != NULL) {
114  context->impl->argv = (char **)allocator.zero_allocate(argc, sizeof(char *), allocator.state);
115  RCL_CHECK_FOR_NULL_WITH_MSG(
116  context->impl->argv,
117  "failed to allocate memory for argv",
118  fail_ret = RCL_RET_BAD_ALLOC; goto fail);
119  int64_t i;
120  for (i = 0; i < argc; ++i) {
121  size_t argv_i_length = strlen(argv[i]) + 1;
122  context->impl->argv[i] = (char *)allocator.allocate(argv_i_length, allocator.state);
123  RCL_CHECK_FOR_NULL_WITH_MSG(
124  context->impl->argv[i],
125  "failed to allocate memory for string entry in argv",
126  fail_ret = RCL_RET_BAD_ALLOC; goto fail);
127  memcpy(context->impl->argv[i], argv[i], argv_i_length);
128  }
129  }
130 
131  // Parse the ROS specific arguments.
132  ret = rcl_parse_arguments(argc, argv, allocator, &context->global_arguments);
133  if (RCL_RET_OK != ret) {
134  fail_ret = ret;
135  RCUTILS_LOG_ERROR_NAMED(ROS_PACKAGE_NAME, "Failed to parse global arguments");
136  goto fail;
137  }
138 
139  // Set the instance id.
140  uint64_t next_instance_id = rcutils_atomic_fetch_add_uint64_t(&__rcl_next_unique_id, 1);
141  if (0 == next_instance_id) {
142  // Roll over occurred, this is an extremely unlikely occurrence.
143  RCL_SET_ERROR_MSG("unique rcl instance ids exhausted");
144  // Roll back to try to avoid the next call succeeding, but there's a data race here.
145  rcutils_atomic_store(&__rcl_next_unique_id, -1);
146  goto fail;
147  }
148  rcutils_atomic_store((atomic_uint_least64_t *)(&context->instance_id_storage), next_instance_id);
149  context->impl->init_options.impl->rmw_init_options.instance_id = next_instance_id;
150 
151  size_t * domain_id = &context->impl->init_options.impl->rmw_init_options.domain_id;
152  if (RCL_DEFAULT_DOMAIN_ID == *domain_id) {
153  // Get actual domain id based on environment variable.
154  ret = rcl_get_default_domain_id(domain_id);
155  if (RCL_RET_OK != ret) {
156  fail_ret = ret;
157  goto fail;
158  }
159  }
160 
161  const rmw_discovery_options_t original_discovery_options =
162  options->impl->rmw_init_options.discovery_options;
163  rmw_discovery_options_t * discovery_options =
164  &context->impl->init_options.impl->rmw_init_options.discovery_options;
165 
166  // Get actual discovery range option based on environment variable, if not given
167  // to original options passed to function
168  if ( // NOLINT
169  RMW_AUTOMATIC_DISCOVERY_RANGE_NOT_SET == original_discovery_options.automatic_discovery_range)
170  {
171  ret = rcl_get_automatic_discovery_range(discovery_options);
172  if (RCL_RET_OK != ret) {
173  fail_ret = ret;
174  goto fail;
175  }
176  }
177 
178  if (0 == discovery_options->static_peers_count &&
179  discovery_options->automatic_discovery_range != RMW_AUTOMATIC_DISCOVERY_RANGE_OFF)
180  {
181  // Get static peers.
182  // If off is set, it makes sense to not get any static peers.
183  ret = rcl_get_discovery_static_peers(discovery_options, &allocator);
184  if (RCL_RET_OK != ret) {
185  fail_ret = ret;
186  goto fail;
187  }
188  }
189 
190  if (discovery_options->static_peers_count > 0 &&
191  discovery_options->automatic_discovery_range == RMW_AUTOMATIC_DISCOVERY_RANGE_OFF)
192  {
193  RCUTILS_LOG_WARN_NAMED(
194  ROS_PACKAGE_NAME,
195  "Note: ROS_AUTOMATIC_DISCOVERY_RANGE is set to OFF, but "
196  "found static peers in ROS_STATIC_PEERS. "
197  "ROS_STATIC_PEERS will be ignored.");
198  }
199 
200  const char * discovery_range_string =
201  rcl_automatic_discovery_range_to_string(discovery_options->automatic_discovery_range);
202  if (NULL == discovery_range_string) {
203  discovery_range_string = "not recognized";
204  }
205  RCUTILS_LOG_DEBUG_NAMED(
206  ROS_PACKAGE_NAME,
207  "Automatic discovery range is %s (%d)",
208  discovery_range_string,
209  discovery_options->automatic_discovery_range);
210  RCUTILS_LOG_DEBUG_NAMED(
211  ROS_PACKAGE_NAME,
212  "Static peers count is %lu",
213  discovery_options->static_peers_count);
214 
215  for (size_t ii = 0; ii < discovery_options->static_peers_count; ++ii) {
216  RCUTILS_LOG_DEBUG_NAMED(
217  ROS_PACKAGE_NAME,
218  "\t%s", discovery_options->static_peers[ii].peer_address);
219  }
220 
221  if (context->global_arguments.impl->enclave) {
222  context->impl->init_options.impl->rmw_init_options.enclave = rcutils_strdup(
223  context->global_arguments.impl->enclave,
224  context->impl->allocator);
225  } else {
226  context->impl->init_options.impl->rmw_init_options.enclave = rcutils_strdup(
227  "/", context->impl->allocator);
228  }
229 
230  if (!context->impl->init_options.impl->rmw_init_options.enclave) {
231  RCL_SET_ERROR_MSG("failed to set context name");
232  fail_ret = RCL_RET_BAD_ALLOC;
233  goto fail;
234  }
235 
236  int validation_result;
237  size_t invalid_index;
239  context->impl->init_options.impl->rmw_init_options.enclave,
240  &validation_result,
241  &invalid_index);
242  if (RCL_RET_OK != ret) {
243  // rcl_validate_enclave_name already set the error
244  fail_ret = ret;
245  goto fail;
246  }
247  if (RCL_ENCLAVE_NAME_VALID != validation_result) {
248  RCL_SET_ERROR_MSG_WITH_FORMAT_STRING(
249  "Enclave name is not valid: '%s'. Invalid index: %zu",
251  invalid_index);
252  fail_ret = RCL_RET_ERROR;
253  goto fail;
254  }
255 
256  rmw_security_options_t * security_options =
257  &context->impl->init_options.impl->rmw_init_options.security_options;
259  context->impl->init_options.impl->rmw_init_options.enclave,
260  &context->impl->allocator,
261  security_options);
262  if (RCL_RET_OK != ret) {
263  fail_ret = ret;
264  goto fail;
265  }
266 
267  // Initialize rmw_init.
268  rmw_ret_t rmw_ret = rmw_init(
269  &(context->impl->init_options.impl->rmw_init_options),
270  &(context->impl->rmw_context));
271  if (RMW_RET_OK != rmw_ret) {
272  RCL_SET_ERROR_MSG(rmw_get_error_string().str);
273  fail_ret = rcl_convert_rmw_ret_to_rcl_ret(rmw_ret);
274  goto fail;
275  }
276 
277  TRACETOOLS_TRACEPOINT(rcl_init, (const void *)context);
278 
279  return RCL_RET_OK;
280 fail:
281  __cleanup_context(context);
282  return fail_ret;
283 }
284 
285 rcl_ret_t
287 {
288  RCUTILS_LOG_DEBUG_NAMED(
289  ROS_PACKAGE_NAME,
290  "Shutting down ROS client library, for context at address: %p", (void *) context);
291  RCL_CHECK_ARGUMENT_FOR_NULL(context, RCL_RET_INVALID_ARGUMENT);
292  RCL_CHECK_FOR_NULL_WITH_MSG(
293  context->impl, "context is zero-initialized", return RCL_RET_INVALID_ARGUMENT);
294  if (!rcl_context_is_valid(context)) {
295  RCL_SET_ERROR_MSG("rcl_shutdown already called on the given context");
297  }
298 
299  rmw_ret_t rmw_ret = rmw_shutdown(&(context->impl->rmw_context));
300  if (RMW_RET_OK != rmw_ret) {
301  RCL_SET_ERROR_MSG(rmw_get_error_string().str);
302  return rcl_convert_rmw_ret_to_rcl_ret(rmw_ret);
303  }
304 
305  // reset the instance id to 0 to indicate "invalid"
306  rcutils_atomic_store((atomic_uint_least64_t *)(&context->instance_id_storage), 0);
307 
308  return RCL_RET_OK;
309 }
310 
311 #ifdef __cplusplus
312 }
313 #endif
#define RCL_CHECK_ALLOCATOR(allocator, fail_statement)
Check that the given allocator is initialized.
Definition: allocator.h:49
rcutils_allocator_t rcl_allocator_t
Encapsulation of an allocator.
Definition: allocator.h:31
RCL_PUBLIC RCL_WARN_UNUSED rcl_ret_t rcl_parse_arguments(int argc, const char *const *argv, rcl_allocator_t allocator, rcl_arguments_t *args_output)
Parse command line arguments into a structure usable by code.
RCL_PUBLIC RCL_WARN_UNUSED rcl_arguments_t rcl_get_zero_initialized_arguments(void)
Return a rcl_arguments_t struct with members initialized to NULL.
RCL_PUBLIC RCL_WARN_UNUSED bool rcl_context_is_valid(const rcl_context_t *context)
Return true if the given context is currently valid, otherwise false.
Definition: context.c:94
RCL_PUBLIC rcl_ret_t rcl_get_discovery_static_peers(rmw_discovery_options_t *discovery_options, rcutils_allocator_t *allocator)
Determine how the user wishes to discover other ROS nodes via statically-configured peers.
RCL_PUBLIC const char * rcl_automatic_discovery_range_to_string(rmw_automatic_discovery_range_t automatic_discovery_range)
Convert the automatic discovery range value to a string for easy printing.
RCL_PUBLIC rcl_ret_t rcl_get_automatic_discovery_range(rmw_discovery_options_t *discovery_options)
Determine how the user wishes to discover other ROS nodes automatically.
RCL_PUBLIC rcl_ret_t rcl_get_default_domain_id(size_t *domain_id)
Determine the default domain ID, based on the environment.
Definition: domain_id.c:28
#define RCL_DEFAULT_DOMAIN_ID
The default domain ID used by RCL.
Definition: domain_id.h:32
RCL_PUBLIC RCL_WARN_UNUSED rcl_ret_t rcl_shutdown(rcl_context_t *context)
Shutdown a given rcl context.
Definition: init.c:286
RCL_PUBLIC RCL_WARN_UNUSED rcl_ret_t rcl_init(int argc, char const *const *argv, const rcl_init_options_t *options, rcl_context_t *context)
Initialization of rcl.
Definition: init.c:50
RCL_PUBLIC RCL_WARN_UNUSED rcl_ret_t rcl_init_options_copy(const rcl_init_options_t *src, rcl_init_options_t *dst)
Copy the given source init_options to the destination init_options.
Definition: init_options.c:88
RCL_PUBLIC rcl_ret_t rcl_get_security_options_from_environment(const char *name, const rcutils_allocator_t *allocator, rmw_security_options_t *security_options)
Initialize security options from values in the environment variables and given names.
Definition: security.c:29
char * enclave
Enclave to be used.
rcl_arguments_impl_t * impl
Private implementation pointer.
Definition: arguments.h:38
char ** argv
Copy of argv used during init (may be NULL).
Definition: context_impl.h:38
rmw_context_t rmw_context
rmw context.
Definition: context_impl.h:40
int64_t argc
Length of argv (may be 0).
Definition: context_impl.h:36
rcl_init_options_t init_options
Copy of init options given during init.
Definition: context_impl.h:34
rcl_allocator_t allocator
Allocator used during init and shutdown.
Definition: context_impl.h:32
Encapsulates the non-global state of an init/shutdown cycle.
Definition: context.h:114
rcl_context_impl_t * impl
Implementation specific pointer.
Definition: context.h:120
rcl_arguments_t global_arguments
Global arguments for all nodes which share this context.
Definition: context.h:117
Encapsulation of init options and implementation defined init options.
Definition: init_options.h:36
rcl_init_options_impl_t * impl
Implementation specific pointer.
Definition: init_options.h:38
#define RCL_RET_ALREADY_INIT
rcl_init() already called return code.
Definition: types.h:41
#define RCL_RET_OK
Success return code.
Definition: types.h:27
#define RCL_RET_BAD_ALLOC
Failed to allocate memory return code.
Definition: types.h:33
#define RCL_RET_INVALID_ARGUMENT
Invalid argument return code.
Definition: types.h:35
#define RCL_RET_ERROR
Unspecified error return code.
Definition: types.h:29
#define RCL_RET_ALREADY_SHUTDOWN
rcl_shutdown() already called return code.
Definition: types.h:53
rmw_ret_t rcl_ret_t
The type that holds an rcl return code.
Definition: types.h:24
#define RCL_ENCLAVE_NAME_VALID
The enclave name is valid.
RCL_PUBLIC RCL_WARN_UNUSED rcl_ret_t rcl_validate_enclave_name(const char *enclave, int *validation_result, size_t *invalid_index)
Determine if a given enclave name is valid.
RCL_PUBLIC RCL_WARN_UNUSED const char * rcl_enclave_name_validation_result_string(int validation_result)
Return a validation result description, or NULL if unknown or RCL_ENCLAVE_NAME_VALID.