从代码理解 cartographer 1

之前看了不少的cartographer的从总体上了解cartographer的文章。但是代码是怎么做的,代码怎么写的。我一点都不清楚。

所以这是一次再出发,我自己从代码层面去看cartographer。

在从代码层面上了解cartographer的,有知乎的一个 cartographer源码解读系列

在了解读系列之后,我心里还不是很清楚。所以我自己开始自己的解读过程的记录。

我自己了解cartographer的一个随笔过程。

在我写ROS程序的时候,我自己就是一个过程思维。每一步都经历了什么过程。

所以我在这一系列里面,尝试着解读这些问题。

首先是数据从哪里进去。 

如果有错误,希望大家指出。谢谢


官方流程图:

官方流程图还是很清晰明了地讲解了数据的输入有哪几个种类。

在官方流程图的最左边,首先说明了输入的数据雷达的范围数据,IMU数据以及Odom数据。

下面,我们就来了解清楚这些数据进行输入时,代码具体如何执行,以及Google的工程师,是如何设计了这些类。

这些都是我很好奇的地方。


 

 

第一部分:Cartographer订阅的各种话题的流程是什么。

在Cartographer的流程图里面,分别有三种数据,雷达数据,odom数据以及IMU数据。

这三个数据分别是雷达驱动所发出的,以及底盘驱动所发出来的Odom数据以及IMU数据。

Cartographer分别订阅了他们所发出来的话题。

那么Cartographer在线算法部分在订阅这些话题的主要代码是什么呢?

下面整理的数个步骤,就是我的理解。

我仅仅列出整个过程所需要的函数,其它的会倾向于省略。

第一步:

在ros运行的时候, 入口的函数 main, 这一主函数所在的 文件是 /src/cartographer_ros/cartographer_ros/cartographer_ros/node_main.cc 下:
其中在main中, 主要的运行主要部分的函数:

int main(int argc, char** argv) {
    ...
    cartographer_ros::Run(); // 调用了同一个文件中的run函数
    ...
}

在main函数当中,除了初始化其它对象,如glog和cartographer这些对象之外,就是运行Run函数。

Run函数就像是主要启动的一个函数。在这,可以看到工程师的一个想法就是,用一个函数来包含启动需要的一些主要步骤,那这就是Run函数。

Run函数的主要代码如下:

void Run() {
    ...
    //Node在/cartographer_ros/cartographer_ros/cartographer/node.h中定义;
    // 在该构造函数中订阅了很多传感器的topic。收集传感器数据
    // node_options 是为了node配置的一个类
    // map_builder 是 cartographer里面的一个类
    Node node(node_options, std::move(map_builder), &tf_buffer);
    ..
}

在Run函数当中,主要与订阅相关相关是实例化Node类。

ROS程序当中,主要是以节点的形式进行存在。所以工程师们想用一个类来代表这个ROS节点,进行处理ROS节点事务。

node_options,是另外一个类,是用来表示节点的选项的一个类。

map_builder,是另外一个类,是同来表示地图构造的,虽然看过他的函数,但仍然不知道他具体的东西。

tf_buffer,是tf树的一个缓冲区。

 

第二步:

Node类节点, 在 src/cartographer_ros/cartographer_ros/cartographer_ros/node.h 里面进行定义的.

根据ROS的用法习惯,如果这个类里面有订阅的相关代码,一定会拥有 ros::Subscriber 这个相关信息。

然后顺藤摸瓜,可以得出以下跟订阅相关的变量和函数:

namespace cartographer_ros {
class Node {    
private:
   struct Subscriber { // Subscriber 构成的新的订阅pair似的数据结构
       ::ros::Subscriber subscriber; // ros订阅用法的类
       std::string topic;  // 主题的名字
   }
   ....
   // 因为调用 AddTrajectory
  bool HandleStartTrajectory( 
      cartographer_ros_msgs::StartTrajectory::Request& request,
      cartographer_ros_msgs::StartTrajectory::Response& response);
  // 从名字看,就知道和订阅有关。
  void LaunchSubscribers(const TrajectoryOptions& options,
                         const cartographer_ros_msgs::SensorTopics& topics,
                         int trajectory_id);
  // 会调用 LaunchSubscribers
  int Node::AddTrajectory(const TrajectoryOptions& options,
                        const cartographer_ros_msgs::SensorTopics& topics)
  .... 
 // 用服务的形式管理所有第一个 trajectory                      
  std::vector<::ros::ServiceServer> service_servers_;
  // 再根据 Subscriber, 会搜索到这个变量。用一个unordered_map来进行组织
  // int 类型,我看了后面知道这是一个 trajectory_id 
 // 后面是一个vector组成Subscriber
  std::unordered_map<int, std::vector<Subscriber>> subscribers_;
  ...
}    
}

代码中列出了相关的代码和注释:

他们是从 ros::Subscriber 开始,一路顺延下去进行挖掘。能够得出这些代码都是订阅相关的。

在后面,会讲解每个函数都做了什么,会解释每一个函数当中与订阅相关的代码。

 

第三步:

刚才我们从定义上面知道了这些相关的变量是哪些,这是很有用的,因为,初始化函数里面的东西很多,找到相关的代码就OK了。

但真正的流程是从Node的初始化函数开始的。

主要与订阅数据相关的代码如下:

 

Node::Node(
    const NodeOptions& node_options,    // 选项
    std::unique_ptr<cartographer::mapping::MapBuilderInterface> map_builder,    // 地图匹配
    tf2_ros::Buffer* const tf_buffer)     // tf 树
    : node_options_(node_options),
      map_builder_bridge_(node_options_, std::move(map_builder), tf_buffer) {
    ...
    // node_constants.h 里面定义了下面的常量
    // constexpr char kStartTrajectoryServiceName[] = "start_trajectory";
    // 将 HandleStartTrajectory 作为服务的回调函数, 那么问题来了, 哪里调用了这个服务? 
   // 这个我还不确切知道. 但以我自己的感觉, 是在Mapbuilder那边,开始添加trajectory的时候.
    service_servers_.push_back(node_handle_.advertiseService(
      kStartTrajectoryServiceName, &Node::HandleStartTrajectory, this)); 
   ...   
}

 

从代码可以看出,在初始化函数里面

vector service_servers_ 进行了服务的管理,它压入一个新增的名为kStartTrajectoryServiceName的服务。

这个服务的回调函数是HandleStartTrajectory。 

所以这个服务被调用的时候,就会去启动handleStartTrajectory这个函数。

大家有没一个问题?为什么用一个服务呢?启动订阅不是一次就可以启动,然后数据源源不断了吗?为什么需要一个服务,可以让其它部件多次调用呢?

我个人的猜测,这和Trajectory是有关系的。每次开始一个Trajectory,可能都会调用这个。

至于是不是这样,我不确切知道的哦。只是猜测。

言归正传,知道哪里调用了 HandleStartTrajectory 被调用了。

那么我们还得了解下 HandleStartTrajectory 做了什么。

 

第四步:

HandleStartTrajectory 的主要代码如下,因为它是一个ROS规定的回调函数,它有它自己的参数格式。

request 表达的就是调用这个服务的请求的数据结构。

response 就是自定义的回复的格式。

bool Node::HandleStartTrajectory(
    ::cartographer_ros_msgs::StartTrajectory::Request& request,
    ::cartographer_ros_msgs::StartTrajectory::Response& response) {
  carto::common::MutexLocker lock(&mutex_);
  TrajectoryOptions options;
  // 判断从ROS消息里面读取出options, 并且,这个options 是否是有效的
  if (!FromRosMessage(request.options, &options) ||
      !ValidateTrajectoryOptions(options)) {
          // 无效的option
    const std::string error = "Invalid trajectory options.";
    LOG(ERROR) << error;
    response.status.code = cartographer_ros_msgs::StatusCode::INVALID_ARGUMENT;
    response.status.message = error;
  } else if (!ValidateTopicNames(request.topics, options)) { // 判断是否无效的topic name
      // 无效的topic name
    const std::string error = "Invalid topics.";
    LOG(ERROR) << error;
    response.status.code = cartographer_ros_msgs::StatusCode::INVALID_ARGUMENT;
    response.status.message = error;
  } else {
      // 如果都成功, 所以就会添加这个主题
    response.trajectory_id = AddTrajectory(options, request.topics);
    response.status.code = cartographer_ros_msgs::StatusCode::OK;
    response.status.message = "Success.";
  }
  return true;
}   

代码中明确表示了它的逻辑就是,判断 当前情况为正常情况之后,

就使用了AddTrajectory 来添加第一个(我不确定这是第一个阿,只是看名字才说是第一个)  trajector. 

在调用 AddTrajectory 的时候,可以看到, 是通过 request.topics 来定义需要调用的哪些话题.

我们又进了一步,那就是  AddTrajectory

 

第五步 

AddTrajectory 里面的代码如下:

int Node::AddTrajectory(const TrajectoryOptions& options,
                        const cartographer_ros_msgs::SensorTopics& topics) {
  // 根据options, 得出一个SensorID的set
  const std::set<cartographer::mapping::TrajectoryBuilderInterface::SensorId>
      expected_sensor_ids = ComputeExpectedSensorIds(options, topics); 
  // 根据sensor id 和 option, 得出 trajectory id.    
  const int trajectory_id =
      map_builder_bridge_.AddTrajectory(expected_sensor_ids, options);
  // Extrapolator 是一个推算位置的类, 因为我看过后面, 跟我想要解决的数据流入没关系
  AddExtrapolator(trajectory_id, options);
  // sensor_samplers_ 同样也是一个抽样的类, 跟数据流入没关系
  AddSensorSamplers(trajectory_id, options);
  // LaunchSubscribers 订阅所有话题的主要函数
  LaunchSubscribers(options, topics, trajectory_id);
  is_active_trajectory_[trajectory_id] = true;
  for (const auto& sensor_id : expected_sensor_ids) {
    subscribed_topics_.insert(sensor_id.id);
  }
  return trajectory_id;
}

代码里面有相关的注释,列出这段代码,主要是为了让大家看到 LaunchSubscribers 的调用,这是与订阅话题相关的。 

其它的语句的话,我清楚他们的作用,但我仅有的知识是

Extrapolator 是一个推算位置的类, 在概率机器人里面,有提到过两种方法来推算机器人的位置,采样法和根据当前的速度推算的方法。

明显这个Extrapolator是根据速度来推算下一个位置的类

sensor_samplers_ : 我也不清楚这个,名字显示是传感器的抽样。但是我对LocalSLAM下面的东西还不算太清楚。所以不知道它的作用。具体是哪里。

 

第六步:

LaunchSubscribers 的 代码如下

// 在这儿,订阅了一堆东西。
void Node::LaunchSubscribers(const TrajectoryOptions& options,
                             const cartographer_ros_msgs::SensorTopics& topics,
                             const int trajectory_id) {
  // ComputeRepeatedTopicNames 作用: 确保传进去的topic,出来之后是唯一的.
  for (const std::string& topic : ComputeRepeatedTopicNames(
           topics.laser_scan_topic, options.num_laser_scans)) {
    // SubscribeWithHandler 的作用: 
    // 使用'node_handle'为'trajectory_id'订阅'topic',并在'node'上调用'handler'来处理消息。 返回订阅者。          
    subscribers_[trajectory_id].push_back(
        {SubscribeWithHandler<sensor_msgs::LaserScan>(
             &Node::HandleLaserScanMessage, trajectory_id, topic, &node_handle_,
             this),
         topic});
  }
  for (const std::string& topic :
       ComputeRepeatedTopicNames(topics.multi_echo_laser_scan_topic,
                                 options.num_multi_echo_laser_scans)) {
    subscribers_[trajectory_id].push_back(
        {SubscribeWithHandler<sensor_msgs::MultiEchoLaserScan>(
             &Node::HandleMultiEchoLaserScanMessage, trajectory_id, topic,
             &node_handle_, this),
         topic});
  }
  for (const std::string& topic : ComputeRepeatedTopicNames(
           topics.point_cloud2_topic, options.num_point_clouds)) {
    subscribers_[trajectory_id].push_back(
        {SubscribeWithHandler<sensor_msgs::PointCloud2>(
             &Node::HandlePointCloud2Message, trajectory_id, topic,
             &node_handle_, this),
         topic});
  }

  // For 2D SLAM, subscribe to the IMU if we expect it. For 3D SLAM, the IMU is
  // required.
  if (node_options_.map_builder_options.use_trajectory_builder_3d() ||
      (node_options_.map_builder_options.use_trajectory_builder_2d() &&
       options.trajectory_builder_options.trajectory_builder_2d_options()
           .use_imu_data())) {
    std::string topic = topics.imu_topic;
    subscribers_[trajectory_id].push_back(
        {SubscribeWithHandler<sensor_msgs::Imu>(&Node::HandleImuMessage,
                                                trajectory_id, topic,
                                                &node_handle_, this),
         topic});
  }

  if (options.use_odometry) {
    std::string topic = topics.odometry_topic;
    subscribers_[trajectory_id].push_back(
        {SubscribeWithHandler<nav_msgs::Odometry>(&Node::HandleOdometryMessage,
                                                  trajectory_id, topic,
                                                  &node_handle_, this),
         topic});
  }
  if (options.use_nav_sat) {
    std::string topic = topics.nav_sat_fix_topic;
    subscribers_[trajectory_id].push_back(
        {SubscribeWithHandler<sensor_msgs::NavSatFix>(
             &Node::HandleNavSatFixMessage, trajectory_id, topic, &node_handle_,
             this),
         topic});
  }
  if (options.use_landmarks) {
    std::string topic = topics.landmark_topic;
    subscribers_[trajectory_id].push_back(
        {SubscribeWithHandler<cartographer_ros_msgs::LandmarkList>(
             &Node::HandleLandmarkMessage, trajectory_id, topic, &node_handle_,
             this),
         topic});
  }
}

这些代码的目的就很明确了,根据配置所配置的名称,来进行订阅话题。

在这些代码里面,工程师们的c++用法以及不清楚具体的目的,因为可能不确定里面到底输出的是什么东西,以及输出东西的含义。

我进行我的解读是这样的。它有一个相关的函数是这样的:

std::vector<std::string> ComputeRepeatedTopicNames(const std::string& topic,
                                                   const int num_topics) {
  CHECK_GE(num_topics, 0);
  if (num_topics == 1) {
    return {topic};
  }
  std::vector<std::string> topics;
  topics.reserve(num_topics);
  for (int i = 0; i < num_topics; ++i) {
    topics.emplace_back(topic + "_" + std::to_string(i + 1));
  }
  return topics;
}

从函数里面可以看到,如果输入的名字是一样的,但是有多个雷达,会加上 _<num> 这样的格式。

所以,这儿应该只是生成话题。然后进行了订阅。

然而这写topics是如何来的呢?

有一定的相关的默认配置,应该也是可以通过配置文件来进行配置。

默认的选项是这样的

cartographer_ros_msgs::SensorTopics DefaultSensorTopics() {
  cartographer_ros_msgs::SensorTopics topics;
  topics.laser_scan_topic = kLaserScanTopic;
  topics.multi_echo_laser_scan_topic = kMultiEchoLaserScanTopic;
  topics.point_cloud2_topic = kPointCloud2Topic;
  topics.imu_topic = kImuTopic;
  topics.odometry_topic = kOdometryTopic;
  topics.nav_sat_fix_topic = kNavSatFixTopic;
  topics.landmark_topic = kLandmarkTopic;
  return topics;
}

kLaserScanTopic 这些名字,定义在node_constants.h 里面。

 

所以,其实,我们开始提出的问题: 数据在哪进行订阅, 代码中如何体现

看到这里就解决了.

 

第七步:

第七步起始与主线关系不大,订阅的在上面已经讲清楚,这儿是我在上面有个函数每看明白,所以列出来了。

函数是 SubscribeWithHandle 这个函数:

template <typename MessageType>
::ros::Subscriber SubscribeWithHandler(
    void (Node::*handler)(int, const std::string&,
                          const typename MessageType::ConstPtr&),
    const int trajectory_id, const std::string& topic,
    ::ros::NodeHandle* const node_handle, Node* const node) {
  return node_handle->subscribe<MessageType>(
      topic, kInfiniteSubscriberQueueSize,
      boost::function<void(const typename MessageType::ConstPtr&)>(
          [node, handler, trajectory_id,
           topic](const typename MessageType::ConstPtr& msg) {
            (node->*handler)(trajectory_id, topic, msg);
          }));
}

里面的

boost::function<void(const typename MessageType::ConstPtr&)>(
          [node, handler, trajectory_id,
           topic](const typename MessageType::ConstPtr& msg) {
            (node->*handler)(trajectory_id, topic, msg);
          })

函数,之前一直不明白。我知道boost::Function对象。但是没见过例子有 [] 这样的用法。

首先很明确的是,这个一定是返回一个函数对象。

对象的参数信息也可以从nodehandle->subscribe里面得出:

Subscriber ros::NodeHandle::subscribe(
    const std::string &     topic,
    uint32_t     queue_size,
    const boost::function< void(const boost::shared_ptr< M const > &)> &     callback,
    const VoidConstPtr &     tracked_object = VoidConstPtr(),
    const TransportHints &     transport_hints = TransportHints() 
)    

不懂的时候,我喜欢看看boost文档,然后在boost::function里面发现这样一个定义

boost::function1<int, int> f2(f); // f 是一个函数对象

这让我想起来, c++ lambda的用法是[]开头的。

所以上面的函数对象的意义就明了了。

这是一个用lambda初始boost::function的用法。

 

OK.想明白,真简单.

没想明白,这都啥跟啥

 

 其实在这里: 

1. 虽然看过后面的一些文章, 但我不确切明白 Trajectory 是什么. 

这些是另外的问题, 其实我现在是想知道, 数据开始流入了, LocalSLAM如何工作.


 

看一个理论和大项目的方法,大多都推荐,先看个大概的理论框架是什么跟什么。

我是看了一些从顶层介绍的文章,然后还是云里雾里。

所以,我还是习惯从底层慢慢看。因为,本身可能数学基础就不太好,没有那么好的抽象思维。

根据我自己编程的习惯就是,数据怎么来,怎么处理,得出什么结果这样开始再看一次到底怎么做。

 

沿着这中思路,下一章写什么?

等我写好了下一章的草稿。。。

我再来补这里。

 

 

 

 

 

 

posted @ 2019-08-31 09:42  WenYao.Huang  阅读(4102)  评论(0编辑  收藏  举报