Austin Schuh | b06f03b | 2021-02-17 22:00:37 -0800 | [diff] [blame] | 1 | #include "aos/events/logging/log_reader.h" |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 2 | |
| 3 | #include <fcntl.h> |
| 4 | #include <sys/stat.h> |
| 5 | #include <sys/types.h> |
| 6 | #include <sys/uio.h> |
Brian Silverman | 8ff74aa | 2021-02-05 16:37:15 -0800 | [diff] [blame] | 7 | |
Tyler Chatow | bf0609c | 2021-07-31 16:13:27 -0700 | [diff] [blame] | 8 | #include <climits> |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 9 | #include <vector> |
| 10 | |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 11 | #include "absl/strings/escaping.h" |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 12 | #include "absl/types/span.h" |
| 13 | #include "aos/events/event_loop.h" |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 14 | #include "aos/events/logging/boot_timestamp.h" |
Austin Schuh | f6f9bf3 | 2020-10-11 14:37:43 -0700 | [diff] [blame] | 15 | #include "aos/events/logging/logfile_sorting.h" |
James Kuszmaul | 38735e8 | 2019-12-07 16:42:06 -0800 | [diff] [blame] | 16 | #include "aos/events/logging/logger_generated.h" |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 17 | #include "aos/flatbuffer_merge.h" |
Austin Schuh | 0ca1fd3 | 2020-12-18 22:53:05 -0800 | [diff] [blame] | 18 | #include "aos/network/multinode_timestamp_filter.h" |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 19 | #include "aos/network/remote_message_generated.h" |
| 20 | #include "aos/network/remote_message_schema.h" |
Austin Schuh | 288479d | 2019-12-18 19:47:52 -0800 | [diff] [blame] | 21 | #include "aos/network/team_number.h" |
Austin Schuh | 61e973f | 2021-02-21 21:43:56 -0800 | [diff] [blame] | 22 | #include "aos/network/timestamp_channel.h" |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 23 | #include "aos/time/time.h" |
Brian Silverman | ae7c033 | 2020-09-30 16:58:23 -0700 | [diff] [blame] | 24 | #include "aos/util/file.h" |
Austin Schuh | 4385b14 | 2021-03-14 21:31:13 -0700 | [diff] [blame] | 25 | #include "aos/uuid.h" |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 26 | #include "flatbuffers/flatbuffers.h" |
Austin Schuh | 8c39996 | 2020-12-25 21:51:45 -0800 | [diff] [blame] | 27 | #include "openssl/sha.h" |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 28 | |
Austin Schuh | 15649d6 | 2019-12-28 16:36:38 -0800 | [diff] [blame] | 29 | DEFINE_bool(skip_missing_forwarding_entries, false, |
| 30 | "If true, drop any forwarding entries with missing data. If " |
| 31 | "false, CHECK."); |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 32 | |
Austin Schuh | 0ca1fd3 | 2020-12-18 22:53:05 -0800 | [diff] [blame] | 33 | DECLARE_bool(timestamps_to_csv); |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 34 | |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 35 | DEFINE_bool(skip_order_validation, false, |
| 36 | "If true, ignore any out of orderness in replay"); |
| 37 | |
Austin Schuh | f068866 | 2020-12-19 15:37:45 -0800 | [diff] [blame] | 38 | DEFINE_double( |
| 39 | time_estimation_buffer_seconds, 2.0, |
| 40 | "The time to buffer ahead in the log file to accurately reconstruct time."); |
| 41 | |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 42 | namespace aos { |
Austin Schuh | 006a9f5 | 2021-04-07 16:24:18 -0700 | [diff] [blame] | 43 | namespace configuration { |
| 44 | // We don't really want to expose this publicly, but log reader doesn't really |
| 45 | // want to re-implement it. |
| 46 | void HandleMaps(const flatbuffers::Vector<flatbuffers::Offset<aos::Map>> *maps, |
| 47 | std::string *name, std::string_view type, const Node *node); |
Tyler Chatow | bf0609c | 2021-07-31 16:13:27 -0700 | [diff] [blame] | 48 | } // namespace configuration |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 49 | namespace logger { |
Austin Schuh | 0afc4d1 | 2020-10-19 11:42:04 -0700 | [diff] [blame] | 50 | namespace { |
Austin Schuh | 8c39996 | 2020-12-25 21:51:45 -0800 | [diff] [blame] | 51 | |
Austin Schuh | 1c22735 | 2021-09-17 12:53:54 -0700 | [diff] [blame] | 52 | bool CompareChannels(const Channel *c, |
| 53 | ::std::pair<std::string_view, std::string_view> p) { |
| 54 | int name_compare = c->name()->string_view().compare(p.first); |
| 55 | if (name_compare == 0) { |
| 56 | return c->type()->string_view() < p.second; |
| 57 | } else if (name_compare < 0) { |
| 58 | return true; |
| 59 | } else { |
| 60 | return false; |
| 61 | } |
| 62 | } |
| 63 | |
| 64 | bool EqualsChannels(const Channel *c, |
| 65 | ::std::pair<std::string_view, std::string_view> p) { |
| 66 | return c->name()->string_view() == p.first && |
| 67 | c->type()->string_view() == p.second; |
| 68 | } |
| 69 | |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 70 | // Copies the channel, removing the schema as we go. If new_name is provided, |
| 71 | // it is used instead of the name inside the channel. If new_type is provided, |
| 72 | // it is used instead of the type in the channel. |
| 73 | flatbuffers::Offset<Channel> CopyChannel(const Channel *c, |
| 74 | std::string_view new_name, |
| 75 | std::string_view new_type, |
| 76 | flatbuffers::FlatBufferBuilder *fbb) { |
| 77 | flatbuffers::Offset<flatbuffers::String> name_offset = |
| 78 | fbb->CreateSharedString(new_name.empty() ? c->name()->string_view() |
| 79 | : new_name); |
| 80 | flatbuffers::Offset<flatbuffers::String> type_offset = |
| 81 | fbb->CreateSharedString(new_type.empty() ? c->type()->str() : new_type); |
| 82 | flatbuffers::Offset<flatbuffers::String> source_node_offset = |
| 83 | c->has_source_node() ? fbb->CreateSharedString(c->source_node()->str()) |
| 84 | : 0; |
| 85 | |
| 86 | flatbuffers::Offset<flatbuffers::Vector<flatbuffers::Offset<Connection>>> |
| 87 | destination_nodes_offset = |
| 88 | aos::RecursiveCopyVectorTable(c->destination_nodes(), fbb); |
| 89 | |
| 90 | flatbuffers::Offset< |
| 91 | flatbuffers::Vector<flatbuffers::Offset<flatbuffers::String>>> |
| 92 | logger_nodes_offset = aos::CopyVectorSharedString(c->logger_nodes(), fbb); |
| 93 | |
| 94 | Channel::Builder channel_builder(*fbb); |
| 95 | channel_builder.add_name(name_offset); |
| 96 | channel_builder.add_type(type_offset); |
| 97 | if (c->has_frequency()) { |
| 98 | channel_builder.add_frequency(c->frequency()); |
| 99 | } |
| 100 | if (c->has_max_size()) { |
| 101 | channel_builder.add_max_size(c->max_size()); |
| 102 | } |
| 103 | if (c->has_num_senders()) { |
| 104 | channel_builder.add_num_senders(c->num_senders()); |
| 105 | } |
| 106 | if (c->has_num_watchers()) { |
| 107 | channel_builder.add_num_watchers(c->num_watchers()); |
| 108 | } |
| 109 | if (!source_node_offset.IsNull()) { |
| 110 | channel_builder.add_source_node(source_node_offset); |
| 111 | } |
| 112 | if (!destination_nodes_offset.IsNull()) { |
| 113 | channel_builder.add_destination_nodes(destination_nodes_offset); |
| 114 | } |
| 115 | if (c->has_logger()) { |
| 116 | channel_builder.add_logger(c->logger()); |
| 117 | } |
| 118 | if (!logger_nodes_offset.IsNull()) { |
| 119 | channel_builder.add_logger_nodes(logger_nodes_offset); |
| 120 | } |
| 121 | if (c->has_read_method()) { |
| 122 | channel_builder.add_read_method(c->read_method()); |
| 123 | } |
| 124 | if (c->has_num_readers()) { |
| 125 | channel_builder.add_num_readers(c->num_readers()); |
| 126 | } |
| 127 | return channel_builder.Finish(); |
| 128 | } |
| 129 | |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 130 | namespace chrono = std::chrono; |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 131 | using message_bridge::RemoteMessage; |
Austin Schuh | 0afc4d1 | 2020-10-19 11:42:04 -0700 | [diff] [blame] | 132 | } // namespace |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 133 | |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 134 | LogReader::LogReader(std::string_view filename, |
| 135 | const Configuration *replay_configuration) |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 136 | : LogReader(SortParts({std::string(filename)}), replay_configuration) {} |
Austin Schuh | fa89589 | 2020-01-07 20:07:41 -0800 | [diff] [blame] | 137 | |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 138 | LogReader::LogReader(std::vector<LogFile> log_files, |
Austin Schuh | fa89589 | 2020-01-07 20:07:41 -0800 | [diff] [blame] | 139 | const Configuration *replay_configuration) |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 140 | : log_files_(std::move(log_files)), |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 141 | replay_configuration_(replay_configuration) { |
Austin Schuh | 0ca51f3 | 2020-12-25 21:51:45 -0800 | [diff] [blame] | 142 | CHECK_GT(log_files_.size(), 0u); |
| 143 | { |
| 144 | // Validate that we have the same config everwhere. This will be true if |
| 145 | // all the parts were sorted together and the configs match. |
| 146 | const Configuration *config = nullptr; |
Austin Schuh | 297d235 | 2021-01-21 19:02:17 -0800 | [diff] [blame] | 147 | for (const LogFile &log_file : log_files_) { |
| 148 | if (log_file.config.get() == nullptr) { |
| 149 | LOG(FATAL) << "Couldn't find a config in " << log_file; |
| 150 | } |
Austin Schuh | 0ca51f3 | 2020-12-25 21:51:45 -0800 | [diff] [blame] | 151 | if (config == nullptr) { |
| 152 | config = log_file.config.get(); |
| 153 | } else { |
| 154 | CHECK_EQ(config, log_file.config.get()); |
| 155 | } |
| 156 | } |
| 157 | } |
Austin Schuh | dda74ec | 2021-01-03 19:30:37 -0800 | [diff] [blame] | 158 | |
Austin Schuh | 6331ef9 | 2020-01-07 18:28:09 -0800 | [diff] [blame] | 159 | MakeRemappedConfig(); |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 160 | |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 161 | // Remap all existing remote timestamp channels. They will be recreated, and |
| 162 | // the data logged isn't relevant anymore. |
Austin Schuh | 3c5dae5 | 2020-10-06 18:55:18 -0700 | [diff] [blame] | 163 | for (const Node *node : configuration::GetNodes(logged_configuration())) { |
Austin Schuh | 61e973f | 2021-02-21 21:43:56 -0800 | [diff] [blame] | 164 | message_bridge::ChannelTimestampFinder finder(logged_configuration(), |
| 165 | "log_reader", node); |
| 166 | |
| 167 | absl::btree_set<std::string_view> remote_nodes; |
| 168 | |
| 169 | for (const Channel *channel : *logged_configuration()->channels()) { |
| 170 | if (!configuration::ChannelIsSendableOnNode(channel, node)) { |
| 171 | continue; |
| 172 | } |
| 173 | if (!channel->has_destination_nodes()) { |
| 174 | continue; |
| 175 | } |
| 176 | for (const Connection *connection : *channel->destination_nodes()) { |
| 177 | if (configuration::ConnectionDeliveryTimeIsLoggedOnNode(connection, |
| 178 | node)) { |
| 179 | // Start by seeing if the split timestamp channels are being used for |
| 180 | // this message. If so, remap them. |
| 181 | const Channel *timestamp_channel = configuration::GetChannel( |
| 182 | logged_configuration(), |
| 183 | finder.SplitChannelName(channel, connection), |
| 184 | RemoteMessage::GetFullyQualifiedName(), "", node, true); |
| 185 | |
| 186 | if (timestamp_channel != nullptr) { |
| 187 | if (timestamp_channel->logger() != LoggerConfig::NOT_LOGGED) { |
| 188 | RemapLoggedChannel<RemoteMessage>( |
| 189 | timestamp_channel->name()->string_view(), node); |
| 190 | } |
| 191 | continue; |
| 192 | } |
| 193 | |
| 194 | // Otherwise collect this one up as a node to look for a combined |
| 195 | // channel from. It is more efficient to compare nodes than channels. |
| 196 | remote_nodes.insert(connection->name()->string_view()); |
| 197 | } |
| 198 | } |
| 199 | } |
| 200 | |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 201 | std::vector<const Node *> timestamp_logger_nodes = |
| 202 | configuration::TimestampNodes(logged_configuration(), node); |
Austin Schuh | 61e973f | 2021-02-21 21:43:56 -0800 | [diff] [blame] | 203 | for (const std::string_view remote_node : remote_nodes) { |
| 204 | const std::string channel = finder.CombinedChannelName(remote_node); |
| 205 | |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 206 | // See if the log file is an old log with MessageHeader channels in it, or |
| 207 | // a newer log with RemoteMessage. If we find an older log, rename the |
| 208 | // type too along with the name. |
| 209 | if (HasChannel<MessageHeader>(channel, node)) { |
| 210 | CHECK(!HasChannel<RemoteMessage>(channel, node)) |
| 211 | << ": Can't have both a MessageHeader and RemoteMessage remote " |
| 212 | "timestamp channel."; |
James Kuszmaul | 4f106fb | 2021-01-05 20:53:02 -0800 | [diff] [blame] | 213 | // In theory, we should check NOT_LOGGED like RemoteMessage and be more |
| 214 | // careful about updating the config, but there are fewer and fewer logs |
| 215 | // with MessageHeader remote messages, so it isn't worth the effort. |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 216 | RemapLoggedChannel<MessageHeader>(channel, node, "/original", |
| 217 | "aos.message_bridge.RemoteMessage"); |
| 218 | } else { |
| 219 | CHECK(HasChannel<RemoteMessage>(channel, node)) |
| 220 | << ": Failed to find {\"name\": \"" << channel << "\", \"type\": \"" |
| 221 | << RemoteMessage::GetFullyQualifiedName() << "\"} for node " |
| 222 | << node->name()->string_view(); |
James Kuszmaul | 4f106fb | 2021-01-05 20:53:02 -0800 | [diff] [blame] | 223 | // Only bother to remap if there's something on the channel. We can |
| 224 | // tell if the channel was marked NOT_LOGGED or not. This makes the |
| 225 | // config not change un-necesarily when we replay a log with NOT_LOGGED |
| 226 | // messages. |
| 227 | if (HasLoggedChannel<RemoteMessage>(channel, node)) { |
| 228 | RemapLoggedChannel<RemoteMessage>(channel, node); |
| 229 | } |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 230 | } |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 231 | } |
| 232 | } |
| 233 | |
Austin Schuh | 6aa77be | 2020-02-22 21:06:40 -0800 | [diff] [blame] | 234 | if (replay_configuration) { |
| 235 | CHECK_EQ(configuration::MultiNode(configuration()), |
| 236 | configuration::MultiNode(replay_configuration)) |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 237 | << ": Log file and replay config need to both be multi or single " |
| 238 | "node."; |
Austin Schuh | 6aa77be | 2020-02-22 21:06:40 -0800 | [diff] [blame] | 239 | } |
| 240 | |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 241 | if (!configuration::MultiNode(configuration())) { |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 242 | states_.emplace_back(std::make_unique<State>( |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 243 | std::make_unique<TimestampMapper>(FilterPartsForNode(log_files_, "")), |
| 244 | nullptr)); |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 245 | } else { |
Austin Schuh | 6aa77be | 2020-02-22 21:06:40 -0800 | [diff] [blame] | 246 | if (replay_configuration) { |
James Kuszmaul | 46d8258 | 2020-05-09 19:50:09 -0700 | [diff] [blame] | 247 | CHECK_EQ(logged_configuration()->nodes()->size(), |
Austin Schuh | 6aa77be | 2020-02-22 21:06:40 -0800 | [diff] [blame] | 248 | replay_configuration->nodes()->size()) |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 249 | << ": Log file and replay config need to have matching nodes " |
| 250 | "lists."; |
James Kuszmaul | 46d8258 | 2020-05-09 19:50:09 -0700 | [diff] [blame] | 251 | for (const Node *node : *logged_configuration()->nodes()) { |
| 252 | if (configuration::GetNode(replay_configuration, node) == nullptr) { |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 253 | LOG(FATAL) << "Found node " << FlatbufferToJson(node) |
| 254 | << " in logged config that is not present in the replay " |
| 255 | "config."; |
James Kuszmaul | 46d8258 | 2020-05-09 19:50:09 -0700 | [diff] [blame] | 256 | } |
| 257 | } |
Austin Schuh | 6aa77be | 2020-02-22 21:06:40 -0800 | [diff] [blame] | 258 | } |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 259 | states_.resize(configuration()->nodes()->size()); |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 260 | } |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 261 | } |
| 262 | |
Austin Schuh | 6aa77be | 2020-02-22 21:06:40 -0800 | [diff] [blame] | 263 | LogReader::~LogReader() { |
Austin Schuh | 39580f1 | 2020-08-01 14:44:08 -0700 | [diff] [blame] | 264 | if (event_loop_factory_unique_ptr_) { |
| 265 | Deregister(); |
| 266 | } else if (event_loop_factory_ != nullptr) { |
| 267 | LOG(FATAL) << "Must call Deregister before the SimulatedEventLoopFactory " |
| 268 | "is destroyed"; |
| 269 | } |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 270 | // Zero out some buffers. It's easy to do use-after-frees on these, so make |
| 271 | // it more obvious. |
Austin Schuh | 39580f1 | 2020-08-01 14:44:08 -0700 | [diff] [blame] | 272 | if (remapped_configuration_buffer_) { |
| 273 | remapped_configuration_buffer_->Wipe(); |
| 274 | } |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 275 | } |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 276 | |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 277 | const Configuration *LogReader::logged_configuration() const { |
Austin Schuh | 0ca51f3 | 2020-12-25 21:51:45 -0800 | [diff] [blame] | 278 | return log_files_[0].config.get(); |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 279 | } |
| 280 | |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 281 | const Configuration *LogReader::configuration() const { |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 282 | return remapped_configuration_; |
| 283 | } |
| 284 | |
Austin Schuh | 0767662 | 2021-01-21 18:59:17 -0800 | [diff] [blame] | 285 | std::vector<const Node *> LogReader::LoggedNodes() const { |
| 286 | return configuration::GetNodes(logged_configuration()); |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 287 | } |
Austin Schuh | 15649d6 | 2019-12-28 16:36:38 -0800 | [diff] [blame] | 288 | |
Austin Schuh | 11d4373 | 2020-09-21 17:28:30 -0700 | [diff] [blame] | 289 | monotonic_clock::time_point LogReader::monotonic_start_time( |
| 290 | const Node *node) const { |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 291 | State *state = |
| 292 | states_[configuration::GetNodeIndex(configuration(), node)].get(); |
| 293 | CHECK(state != nullptr) << ": Unknown node " << FlatbufferToJson(node); |
| 294 | |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 295 | // TODO(austin): Un-hard-code the 0 boot count. |
| 296 | return state->monotonic_start_time(0); |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 297 | } |
| 298 | |
Austin Schuh | 11d4373 | 2020-09-21 17:28:30 -0700 | [diff] [blame] | 299 | realtime_clock::time_point LogReader::realtime_start_time( |
| 300 | const Node *node) const { |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 301 | State *state = |
| 302 | states_[configuration::GetNodeIndex(configuration(), node)].get(); |
| 303 | CHECK(state != nullptr) << ": Unknown node " << FlatbufferToJson(node); |
| 304 | |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 305 | // TODO(austin): Un-hard-code the 0 boot count. |
| 306 | return state->realtime_start_time(0); |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 307 | } |
| 308 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 309 | void LogReader::OnStart(std::function<void()> fn) { |
| 310 | CHECK(!configuration::MultiNode(configuration())); |
| 311 | OnStart(nullptr, std::move(fn)); |
| 312 | } |
| 313 | |
| 314 | void LogReader::OnStart(const Node *node, std::function<void()> fn) { |
| 315 | const int node_index = configuration::GetNodeIndex(configuration(), node); |
| 316 | CHECK_GE(node_index, 0); |
| 317 | CHECK_LT(node_index, static_cast<int>(states_.size())); |
| 318 | State *state = states_[node_index].get(); |
| 319 | CHECK(state != nullptr) << ": Unknown node " << FlatbufferToJson(node); |
| 320 | |
| 321 | state->OnStart(std::move(fn)); |
| 322 | } |
| 323 | |
| 324 | void LogReader::State::OnStart(std::function<void()> fn) { |
| 325 | on_starts_.emplace_back(std::move(fn)); |
| 326 | } |
| 327 | |
| 328 | void LogReader::State::RunOnStart() { |
| 329 | SetRealtimeOffset(monotonic_start_time(boot_count()), |
| 330 | realtime_start_time(boot_count())); |
| 331 | |
| 332 | VLOG(1) << "Starting " << MaybeNodeName(node()) << "at time " |
| 333 | << monotonic_start_time(boot_count()); |
| 334 | for (size_t i = 0; i < on_starts_.size(); ++i) { |
| 335 | on_starts_[i](); |
| 336 | } |
| 337 | stopped_ = false; |
| 338 | started_ = true; |
| 339 | } |
| 340 | |
| 341 | void LogReader::OnEnd(std::function<void()> fn) { |
| 342 | CHECK(!configuration::MultiNode(configuration())); |
| 343 | OnEnd(nullptr, std::move(fn)); |
| 344 | } |
| 345 | |
| 346 | void LogReader::OnEnd(const Node *node, std::function<void()> fn) { |
| 347 | const int node_index = configuration::GetNodeIndex(configuration(), node); |
| 348 | CHECK_GE(node_index, 0); |
| 349 | CHECK_LT(node_index, static_cast<int>(states_.size())); |
| 350 | State *state = states_[node_index].get(); |
| 351 | CHECK(state != nullptr) << ": Unknown node " << FlatbufferToJson(node); |
| 352 | |
| 353 | state->OnEnd(std::move(fn)); |
| 354 | } |
| 355 | |
| 356 | void LogReader::State::OnEnd(std::function<void()> fn) { |
| 357 | on_ends_.emplace_back(std::move(fn)); |
| 358 | } |
| 359 | |
| 360 | void LogReader::State::RunOnEnd() { |
| 361 | VLOG(1) << "Ending " << MaybeNodeName(node()) << "at time " |
| 362 | << monotonic_start_time(boot_count()); |
| 363 | for (size_t i = 0; i < on_ends_.size(); ++i) { |
| 364 | on_ends_[i](); |
| 365 | } |
| 366 | |
| 367 | stopped_ = true; |
| 368 | started_ = false; |
| 369 | } |
| 370 | |
James Kuszmaul | 84ff3e5 | 2020-01-03 19:48:53 -0800 | [diff] [blame] | 371 | void LogReader::Register() { |
| 372 | event_loop_factory_unique_ptr_ = |
Austin Schuh | ac0771c | 2020-01-07 18:36:30 -0800 | [diff] [blame] | 373 | std::make_unique<SimulatedEventLoopFactory>(configuration()); |
James Kuszmaul | 84ff3e5 | 2020-01-03 19:48:53 -0800 | [diff] [blame] | 374 | Register(event_loop_factory_unique_ptr_.get()); |
| 375 | } |
| 376 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 377 | void LogReader::RegisterWithoutStarting( |
| 378 | SimulatedEventLoopFactory *event_loop_factory) { |
Austin Schuh | 9254752 | 2019-12-28 14:33:43 -0800 | [diff] [blame] | 379 | event_loop_factory_ = event_loop_factory; |
Austin Schuh | e5bbd9e | 2020-09-21 17:29:20 -0700 | [diff] [blame] | 380 | remapped_configuration_ = event_loop_factory_->configuration(); |
Austin Schuh | 0ca1fd3 | 2020-12-18 22:53:05 -0800 | [diff] [blame] | 381 | filters_ = |
| 382 | std::make_unique<message_bridge::MultiNodeNoncausalOffsetEstimator>( |
Austin Schuh | ba20ea7 | 2021-01-21 16:47:01 -0800 | [diff] [blame] | 383 | event_loop_factory_->configuration(), logged_configuration(), |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 384 | log_files_[0].boots, FLAGS_skip_order_validation, |
Austin Schuh | fe3fb34 | 2021-01-16 18:50:37 -0800 | [diff] [blame] | 385 | chrono::duration_cast<chrono::nanoseconds>( |
| 386 | chrono::duration<double>(FLAGS_time_estimation_buffer_seconds))); |
Austin Schuh | 9254752 | 2019-12-28 14:33:43 -0800 | [diff] [blame] | 387 | |
Austin Schuh | e639ea1 | 2021-01-25 13:00:22 -0800 | [diff] [blame] | 388 | std::vector<TimestampMapper *> timestamp_mappers; |
Brian Silverman | d90905f | 2020-09-23 14:42:56 -0700 | [diff] [blame] | 389 | for (const Node *node : configuration::GetNodes(configuration())) { |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 390 | const size_t node_index = |
| 391 | configuration::GetNodeIndex(configuration(), node); |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 392 | std::vector<LogParts> filtered_parts = FilterPartsForNode( |
| 393 | log_files_, node != nullptr ? node->name()->string_view() : ""); |
Austin Schuh | 315b96b | 2020-12-11 21:21:12 -0800 | [diff] [blame] | 394 | |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 395 | states_[node_index] = std::make_unique<State>( |
| 396 | filtered_parts.size() == 0u |
| 397 | ? nullptr |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 398 | : std::make_unique<TimestampMapper>(std::move(filtered_parts)), |
| 399 | node); |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 400 | State *state = states_[node_index].get(); |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 401 | state->SetNodeEventLoopFactory( |
| 402 | event_loop_factory_->GetNodeEventLoopFactory(node)); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 403 | |
| 404 | state->SetChannelCount(logged_configuration()->channels()->size()); |
Austin Schuh | e639ea1 | 2021-01-25 13:00:22 -0800 | [diff] [blame] | 405 | timestamp_mappers.emplace_back(state->timestamp_mapper()); |
Austin Schuh | cde938c | 2020-02-02 17:30:07 -0800 | [diff] [blame] | 406 | } |
Austin Schuh | e639ea1 | 2021-01-25 13:00:22 -0800 | [diff] [blame] | 407 | filters_->SetTimestampMappers(std::move(timestamp_mappers)); |
| 408 | |
| 409 | // Note: this needs to be set before any times are pulled, or we won't observe |
| 410 | // the timestamps. |
Austin Schuh | 87dd383 | 2021-01-01 23:07:31 -0800 | [diff] [blame] | 411 | event_loop_factory_->SetTimeConverter(filters_.get()); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 412 | |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 413 | for (const Node *node : configuration::GetNodes(configuration())) { |
| 414 | const size_t node_index = |
| 415 | configuration::GetNodeIndex(configuration(), node); |
| 416 | State *state = states_[node_index].get(); |
| 417 | for (const Node *other_node : configuration::GetNodes(configuration())) { |
| 418 | const size_t other_node_index = |
| 419 | configuration::GetNodeIndex(configuration(), other_node); |
| 420 | State *other_state = states_[other_node_index].get(); |
| 421 | if (other_state != state) { |
| 422 | state->AddPeer(other_state); |
| 423 | } |
| 424 | } |
| 425 | } |
| 426 | |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 427 | // Register after making all the State objects so we can build references |
| 428 | // between them. |
| 429 | for (const Node *node : configuration::GetNodes(configuration())) { |
| 430 | const size_t node_index = |
| 431 | configuration::GetNodeIndex(configuration(), node); |
| 432 | State *state = states_[node_index].get(); |
| 433 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 434 | // If we didn't find any log files with data in them, we won't ever get a |
| 435 | // callback or be live. So skip the rest of the setup. |
| 436 | if (state->OldestMessageTime() == BootTimestamp::max_time()) { |
| 437 | continue; |
| 438 | } |
| 439 | ++live_nodes_; |
| 440 | |
| 441 | NodeEventLoopFactory *node_factory = |
| 442 | event_loop_factory_->GetNodeEventLoopFactory(node); |
| 443 | node_factory->OnStartup([this, state, node]() { |
| 444 | RegisterDuringStartup(state->MakeEventLoop(), node); |
| 445 | }); |
| 446 | node_factory->OnShutdown([this, state, node]() { |
| 447 | RegisterDuringStartup(nullptr, node); |
| 448 | state->DestroyEventLoop(); |
| 449 | }); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 450 | } |
| 451 | |
James Kuszmaul | 46d8258 | 2020-05-09 19:50:09 -0700 | [diff] [blame] | 452 | if (live_nodes_ == 0) { |
| 453 | LOG(FATAL) |
| 454 | << "Don't have logs from any of the nodes in the replay config--are " |
| 455 | "you sure that the replay config matches the original config?"; |
| 456 | } |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 457 | |
Austin Schuh | 87dd383 | 2021-01-01 23:07:31 -0800 | [diff] [blame] | 458 | filters_->CheckGraph(); |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 459 | |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 460 | for (std::unique_ptr<State> &state : states_) { |
| 461 | state->SeedSortedMessages(); |
| 462 | } |
| 463 | |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 464 | // Forwarding is tracked per channel. If it is enabled, we want to turn it |
| 465 | // off. Otherwise messages replayed will get forwarded across to the other |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 466 | // nodes, and also replayed on the other nodes. This may not satisfy all |
| 467 | // our users, but it'll start the discussion. |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 468 | if (configuration::MultiNode(event_loop_factory_->configuration())) { |
| 469 | for (size_t i = 0; i < logged_configuration()->channels()->size(); ++i) { |
| 470 | const Channel *channel = logged_configuration()->channels()->Get(i); |
| 471 | const Node *node = configuration::GetNode( |
| 472 | configuration(), channel->source_node()->string_view()); |
| 473 | |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 474 | State *state = |
| 475 | states_[configuration::GetNodeIndex(configuration(), node)].get(); |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 476 | |
| 477 | const Channel *remapped_channel = |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 478 | RemapChannel(state->event_loop(), node, channel); |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 479 | |
| 480 | event_loop_factory_->DisableForwarding(remapped_channel); |
| 481 | } |
Austin Schuh | 4c3b970 | 2020-08-30 11:34:55 -0700 | [diff] [blame] | 482 | |
| 483 | // If we are replaying a log, we don't want a bunch of redundant messages |
| 484 | // from both the real message bridge and simulated message bridge. |
| 485 | event_loop_factory_->DisableStatistics(); |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 486 | } |
Austin Schuh | 891214d | 2021-11-11 20:35:02 -0800 | [diff] [blame^] | 487 | |
| 488 | // Write pseudo start times out to file now that we are all setup. |
| 489 | filters_->Start(event_loop_factory_); |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 490 | } |
| 491 | |
| 492 | void LogReader::Register(SimulatedEventLoopFactory *event_loop_factory) { |
| 493 | RegisterWithoutStarting(event_loop_factory); |
| 494 | // We want to start the log file at the last start time of the log files |
| 495 | // from all the nodes. Compute how long each node's simulation needs to run |
| 496 | // to move time to this point. |
| 497 | distributed_clock::time_point start_time = distributed_clock::min_time; |
| 498 | |
| 499 | // TODO(austin): We want an "OnStart" callback for each node rather than |
| 500 | // running until the last node. |
| 501 | |
| 502 | for (std::unique_ptr<State> &state : states_) { |
| 503 | VLOG(1) << "Start time is " << state->monotonic_start_time(0) |
| 504 | << " for node " << MaybeNodeName(state->node()) << "now " |
| 505 | << state->monotonic_now(); |
| 506 | if (state->monotonic_start_time(0) == monotonic_clock::min_time) { |
| 507 | continue; |
| 508 | } |
| 509 | // And start computing the start time on the distributed clock now that |
| 510 | // that works. |
| 511 | start_time = std::max( |
| 512 | start_time, state->ToDistributedClock(state->monotonic_start_time(0))); |
| 513 | } |
| 514 | |
| 515 | // TODO(austin): If a node doesn't have a start time, we might not queue |
| 516 | // enough. If this happens, we'll explode with a frozen error eventually. |
| 517 | |
| 518 | CHECK_GE(start_time, distributed_clock::epoch()) |
| 519 | << ": Hmm, we have a node starting before the start of time. Offset " |
| 520 | "everything."; |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 521 | |
Austin Schuh | cde938c | 2020-02-02 17:30:07 -0800 | [diff] [blame] | 522 | // While we are starting the system up, we might be relying on matching data |
| 523 | // to timestamps on log files where the timestamp log file starts before the |
| 524 | // data. In this case, it is reasonable to expect missing data. |
Austin Schuh | dda74ec | 2021-01-03 19:30:37 -0800 | [diff] [blame] | 525 | { |
| 526 | const bool prior_ignore_missing_data = ignore_missing_data_; |
| 527 | ignore_missing_data_ = true; |
| 528 | VLOG(1) << "Running until " << start_time << " in Register"; |
| 529 | event_loop_factory_->RunFor(start_time.time_since_epoch()); |
| 530 | VLOG(1) << "At start time"; |
| 531 | // Now that we are running for real, missing data means that the log file is |
| 532 | // corrupted or went wrong. |
| 533 | ignore_missing_data_ = prior_ignore_missing_data; |
| 534 | } |
Austin Schuh | 9254752 | 2019-12-28 14:33:43 -0800 | [diff] [blame] | 535 | |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 536 | for (std::unique_ptr<State> &state : states_) { |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 537 | // Make the RT clock be correct before handing it to the user. |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 538 | if (state->realtime_start_time(0) != realtime_clock::min_time) { |
| 539 | state->SetRealtimeOffset(state->monotonic_start_time(0), |
| 540 | state->realtime_start_time(0)); |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 541 | } |
Tyler Chatow | bf0609c | 2021-07-31 16:13:27 -0700 | [diff] [blame] | 542 | VLOG(1) << "Start time is " << state->monotonic_start_time(0) |
| 543 | << " for node " << MaybeNodeName(state->event_loop()->node()) |
| 544 | << "now " << state->monotonic_now(); |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 545 | } |
| 546 | |
| 547 | if (FLAGS_timestamps_to_csv) { |
Austin Schuh | 0ca1fd3 | 2020-12-18 22:53:05 -0800 | [diff] [blame] | 548 | filters_->Start(event_loop_factory); |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 549 | } |
| 550 | } |
| 551 | |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 552 | message_bridge::NoncausalOffsetEstimator *LogReader::GetFilter( |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 553 | const Node *node_a, const Node *node_b) { |
Austin Schuh | 0ca1fd3 | 2020-12-18 22:53:05 -0800 | [diff] [blame] | 554 | if (filters_) { |
| 555 | return filters_->GetFilter(node_a, node_b); |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 556 | } |
Austin Schuh | 0ca1fd3 | 2020-12-18 22:53:05 -0800 | [diff] [blame] | 557 | return nullptr; |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 558 | } |
| 559 | |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 560 | void LogReader::Register(EventLoop *event_loop) { |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 561 | Register(event_loop, event_loop->node()); |
| 562 | } |
| 563 | |
| 564 | void LogReader::Register(EventLoop *event_loop, const Node *node) { |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 565 | State *state = |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 566 | states_[configuration::GetNodeIndex(configuration(), node)].get(); |
| 567 | |
| 568 | // If we didn't find any log files with data in them, we won't ever get a |
| 569 | // callback or be live. So skip the rest of the setup. |
| 570 | if (state->OldestMessageTime() == BootTimestamp::max_time()) { |
| 571 | return; |
| 572 | } |
| 573 | ++live_nodes_; |
| 574 | |
| 575 | if (event_loop_factory_ != nullptr) { |
| 576 | event_loop_factory_->GetNodeEventLoopFactory(node)->OnStartup( |
| 577 | [this, event_loop, node]() { |
| 578 | RegisterDuringStartup(event_loop, node); |
| 579 | }); |
| 580 | } else { |
| 581 | RegisterDuringStartup(event_loop, node); |
| 582 | } |
| 583 | } |
| 584 | |
| 585 | void LogReader::RegisterDuringStartup(EventLoop *event_loop, const Node *node) { |
| 586 | if (event_loop) { |
| 587 | CHECK(event_loop->configuration() == configuration()); |
| 588 | } |
| 589 | |
| 590 | State *state = |
| 591 | states_[configuration::GetNodeIndex(configuration(), node)].get(); |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 592 | |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 593 | state->set_event_loop(event_loop); |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 594 | |
Tyler Chatow | 67ddb03 | 2020-01-12 14:30:04 -0800 | [diff] [blame] | 595 | // We don't run timing reports when trying to print out logged data, because |
| 596 | // otherwise we would end up printing out the timing reports themselves... |
| 597 | // This is only really relevant when we are replaying into a simulation. |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 598 | if (event_loop) { |
| 599 | event_loop->SkipTimingReport(); |
| 600 | event_loop->SkipAosLog(); |
| 601 | } |
Austin Schuh | 39788ff | 2019-12-01 18:22:57 -0800 | [diff] [blame] | 602 | |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 603 | for (size_t logged_channel_index = 0; |
| 604 | logged_channel_index < logged_configuration()->channels()->size(); |
| 605 | ++logged_channel_index) { |
| 606 | const Channel *channel = RemapChannel( |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 607 | event_loop, node, |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 608 | logged_configuration()->channels()->Get(logged_channel_index)); |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 609 | |
Austin Schuh | c0b6c4f | 2021-10-11 18:28:38 -0700 | [diff] [blame] | 610 | const bool logged = channel->logger() != LoggerConfig::NOT_LOGGED; |
Austin Schuh | 532656d | 2021-01-11 10:17:18 -0800 | [diff] [blame] | 611 | |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 612 | message_bridge::NoncausalOffsetEstimator *filter = nullptr; |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 613 | |
| 614 | State *source_state = nullptr; |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 615 | if (!configuration::ChannelIsSendableOnNode(channel, node) && |
| 616 | configuration::ChannelIsReadableOnNode(channel, node)) { |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 617 | const Node *source_node = configuration::GetNode( |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 618 | configuration(), channel->source_node()->string_view()); |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 619 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 620 | // We've got a message which is being forwarded to this node. |
| 621 | filter = GetFilter(node, source_node); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 622 | |
| 623 | source_state = |
| 624 | states_[configuration::GetNodeIndex(configuration(), source_node)] |
| 625 | .get(); |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 626 | } |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 627 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 628 | // We are the source, and it is forwarded. |
| 629 | const bool is_forwarded = |
| 630 | configuration::ChannelIsSendableOnNode(channel, node) && |
| 631 | configuration::ConnectionCount(channel); |
| 632 | |
Austin Schuh | c0b6c4f | 2021-10-11 18:28:38 -0700 | [diff] [blame] | 633 | state->SetChannel( |
| 634 | logged_channel_index, |
| 635 | configuration::ChannelIndex(configuration(), channel), |
| 636 | event_loop && logged ? event_loop->MakeRawSender(channel) : nullptr, |
| 637 | filter, is_forwarded, source_state); |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 638 | |
Austin Schuh | c0b6c4f | 2021-10-11 18:28:38 -0700 | [diff] [blame] | 639 | if (is_forwarded && logged) { |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 640 | const Node *source_node = configuration::GetNode( |
| 641 | configuration(), channel->source_node()->string_view()); |
| 642 | |
| 643 | for (const Connection *connection : *channel->destination_nodes()) { |
| 644 | const bool delivery_time_is_logged = |
| 645 | configuration::ConnectionDeliveryTimeIsLoggedOnNode(connection, |
| 646 | source_node); |
| 647 | |
| 648 | if (delivery_time_is_logged) { |
| 649 | State *destination_state = |
| 650 | states_[configuration::GetNodeIndex( |
| 651 | configuration(), connection->name()->string_view())] |
| 652 | .get(); |
| 653 | destination_state->SetRemoteTimestampSender( |
| 654 | logged_channel_index, |
| 655 | event_loop ? state->RemoteTimestampSender(channel, connection) |
| 656 | : nullptr); |
| 657 | } |
| 658 | } |
| 659 | } |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 660 | } |
| 661 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 662 | if (!event_loop) { |
| 663 | state->ClearRemoteTimestampSenders(); |
| 664 | state->set_timer_handler(nullptr); |
| 665 | state->set_startup_timer(nullptr); |
Austin Schuh | 6aa77be | 2020-02-22 21:06:40 -0800 | [diff] [blame] | 666 | return; |
| 667 | } |
| 668 | |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 669 | state->set_timer_handler(event_loop->AddTimer([this, state]() { |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 670 | VLOG(1) << "Starting sending " << MaybeNodeName(state->event_loop()->node()) |
| 671 | << "at " << state->event_loop()->context().monotonic_event_time |
| 672 | << " now " << state->monotonic_now(); |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 673 | if (state->OldestMessageTime() == BootTimestamp::max_time()) { |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 674 | --live_nodes_; |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 675 | VLOG(1) << MaybeNodeName(state->event_loop()->node()) << "Node down!"; |
James Kuszmaul | 71a8193 | 2020-12-15 21:08:01 -0800 | [diff] [blame] | 676 | if (exit_on_finish_ && live_nodes_ == 0) { |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 677 | event_loop_factory_->Exit(); |
| 678 | } |
James Kuszmaul | 314f167 | 2020-01-03 20:02:08 -0800 | [diff] [blame] | 679 | return; |
| 680 | } |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 681 | |
Austin Schuh | dda74ec | 2021-01-03 19:30:37 -0800 | [diff] [blame] | 682 | TimestampedMessage timestamped_message = state->PopOldest(); |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 683 | |
| 684 | CHECK_EQ(timestamped_message.monotonic_event_time.boot, |
| 685 | state->boot_count()); |
Austin Schuh | 05b7047 | 2020-01-01 17:11:17 -0800 | [diff] [blame] | 686 | |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 687 | const monotonic_clock::time_point monotonic_now = |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 688 | state->event_loop()->context().monotonic_event_time; |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 689 | if (!FLAGS_skip_order_validation) { |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 690 | CHECK(monotonic_now == timestamped_message.monotonic_event_time.time) |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 691 | << ": " << FlatbufferToJson(state->event_loop()->node()) << " Now " |
| 692 | << monotonic_now << " trying to send " |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 693 | << timestamped_message.monotonic_event_time << " failure " |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 694 | << state->DebugString(); |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 695 | } else if (BootTimestamp{.boot = state->boot_count(), |
| 696 | .time = monotonic_now} != |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 697 | timestamped_message.monotonic_event_time) { |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 698 | LOG(WARNING) << "Check failed: monotonic_now == " |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 699 | "timestamped_message.monotonic_event_time) (" |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 700 | << monotonic_now << " vs. " |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 701 | << timestamped_message.monotonic_event_time |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 702 | << "): " << FlatbufferToJson(state->event_loop()->node()) |
| 703 | << " Now " << monotonic_now << " trying to send " |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 704 | << timestamped_message.monotonic_event_time << " failure " |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 705 | << state->DebugString(); |
| 706 | } |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 707 | |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 708 | if (timestamped_message.monotonic_event_time.time > |
| 709 | state->monotonic_start_time( |
| 710 | timestamped_message.monotonic_event_time.boot) || |
Austin Schuh | 15649d6 | 2019-12-28 16:36:38 -0800 | [diff] [blame] | 711 | event_loop_factory_ != nullptr) { |
Tyler Chatow | b7c6eba | 2021-07-28 14:43:23 -0700 | [diff] [blame] | 712 | if (timestamped_message.data != nullptr) { |
Austin Schuh | dda74ec | 2021-01-03 19:30:37 -0800 | [diff] [blame] | 713 | if (timestamped_message.monotonic_remote_time != |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 714 | BootTimestamp::min_time()) { |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 715 | // Confirm that the message was sent on the sending node before the |
| 716 | // destination node (this node). As a proxy, do this by making sure |
| 717 | // that time on the source node is past when the message was sent. |
Austin Schuh | 87dd383 | 2021-01-01 23:07:31 -0800 | [diff] [blame] | 718 | // |
| 719 | // TODO(austin): <= means that the cause message (which we know) could |
| 720 | // happen after the effect even though we know they are at the same |
| 721 | // time. I doubt anyone will notice for a bit, but we should really |
| 722 | // fix that. |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 723 | BootTimestamp monotonic_remote_now = |
| 724 | state->monotonic_remote_now(timestamped_message.channel_index); |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 725 | if (!FLAGS_skip_order_validation) { |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 726 | CHECK_EQ(timestamped_message.monotonic_remote_time.boot, |
| 727 | monotonic_remote_now.boot); |
| 728 | CHECK_LE(timestamped_message.monotonic_remote_time, |
| 729 | monotonic_remote_now) |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 730 | << state->event_loop()->node()->name()->string_view() << " to " |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 731 | << state->remote_node(timestamped_message.channel_index) |
| 732 | ->name() |
| 733 | ->string_view() |
Austin Schuh | 315b96b | 2020-12-11 21:21:12 -0800 | [diff] [blame] | 734 | << " while trying to send a message on " |
| 735 | << configuration::CleanedChannelToString( |
| 736 | logged_configuration()->channels()->Get( |
| 737 | timestamped_message.channel_index)) |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 738 | << " " << state->DebugString(); |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 739 | } else if (monotonic_remote_now.boot != |
| 740 | timestamped_message.monotonic_remote_time.boot) { |
| 741 | LOG(WARNING) << "Missmatched boots, " << monotonic_remote_now.boot |
| 742 | << " vs " |
| 743 | << timestamped_message.monotonic_remote_time.boot; |
| 744 | } else if (timestamped_message.monotonic_remote_time > |
| 745 | monotonic_remote_now) { |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 746 | LOG(WARNING) |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 747 | << "Check failed: timestamped_message.monotonic_remote_time < " |
| 748 | "state->monotonic_remote_now(timestamped_message.channel_" |
| 749 | "index) (" |
| 750 | << timestamped_message.monotonic_remote_time << " vs. " |
| 751 | << state->monotonic_remote_now( |
| 752 | timestamped_message.channel_index) |
| 753 | << ") " << state->event_loop()->node()->name()->string_view() |
| 754 | << " to " |
| 755 | << state->remote_node(timestamped_message.channel_index) |
| 756 | ->name() |
| 757 | ->string_view() |
| 758 | << " currently " << timestamped_message.monotonic_event_time |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 759 | << " (" |
| 760 | << state->ToDistributedClock( |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 761 | timestamped_message.monotonic_event_time.time) |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 762 | << ") remote event time " |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 763 | << timestamped_message.monotonic_remote_time << " (" |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 764 | << state->RemoteToDistributedClock( |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 765 | timestamped_message.channel_index, |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 766 | timestamped_message.monotonic_remote_time.time) |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 767 | << ") " << state->DebugString(); |
| 768 | } |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 769 | } |
| 770 | |
Austin Schuh | 15649d6 | 2019-12-28 16:36:38 -0800 | [diff] [blame] | 771 | // If we have access to the factory, use it to fix the realtime time. |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 772 | state->SetRealtimeOffset(timestamped_message.monotonic_event_time.time, |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 773 | timestamped_message.realtime_event_time); |
Austin Schuh | 15649d6 | 2019-12-28 16:36:38 -0800 | [diff] [blame] | 774 | |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 775 | VLOG(1) << MaybeNodeName(state->event_loop()->node()) << "Sending " |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 776 | << timestamped_message.monotonic_event_time; |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 777 | // TODO(austin): std::move channel_data in and make that efficient in |
| 778 | // simulation. |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 779 | state->Send(std::move(timestamped_message)); |
Austin Schuh | dda74ec | 2021-01-03 19:30:37 -0800 | [diff] [blame] | 780 | } else if (!ignore_missing_data_ && |
Austin Schuh | 5ee5687 | 2021-01-30 16:53:34 -0800 | [diff] [blame] | 781 | // When starting up, we can have data which was sent before the |
| 782 | // log starts, but the timestamp was after the log starts. This |
| 783 | // is unreasonable to avoid, so ignore the missing data. |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 784 | timestamped_message.monotonic_remote_time.time >= |
Austin Schuh | 5ee5687 | 2021-01-30 16:53:34 -0800 | [diff] [blame] | 785 | state->monotonic_remote_start_time( |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 786 | timestamped_message.monotonic_remote_time.boot, |
Austin Schuh | 5ee5687 | 2021-01-30 16:53:34 -0800 | [diff] [blame] | 787 | timestamped_message.channel_index) && |
Austin Schuh | dda74ec | 2021-01-03 19:30:37 -0800 | [diff] [blame] | 788 | !FLAGS_skip_missing_forwarding_entries) { |
Austin Schuh | 5ee5687 | 2021-01-30 16:53:34 -0800 | [diff] [blame] | 789 | // We've found a timestamp without data that we expect to have data for. |
| 790 | // This likely means that we are at the end of the log file. Record it |
| 791 | // and CHECK that in the rest of the log file, we don't find any more |
| 792 | // data on that channel. Not all channels will end at the same point in |
| 793 | // time since they can be in different files. |
Austin Schuh | dda74ec | 2021-01-03 19:30:37 -0800 | [diff] [blame] | 794 | VLOG(1) << "Found the last message on channel " |
Austin Schuh | 9452630 | 2021-04-28 22:46:34 -0700 | [diff] [blame] | 795 | << timestamped_message.channel_index << ", " |
| 796 | << configuration::CleanedChannelToString( |
| 797 | logged_configuration()->channels()->Get( |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 798 | timestamped_message.channel_index)) |
| 799 | << " " << timestamped_message; |
Austin Schuh | dda74ec | 2021-01-03 19:30:37 -0800 | [diff] [blame] | 800 | |
Austin Schuh | 2bb80e0 | 2021-03-20 21:46:17 -0700 | [diff] [blame] | 801 | // The user might be working with log files from 1 node but forgot to |
| 802 | // configure the infrastructure to log data for a remote channel on that |
| 803 | // node. That can be very hard to debug, even though the log reader is |
| 804 | // doing the right thing. At least log a warning in that case and tell |
| 805 | // the user what is happening so they can either update their config to |
| 806 | // log the channel or can find a log with the data. |
| 807 | { |
| 808 | const std::vector<std::string> logger_nodes = |
| 809 | FindLoggerNodes(log_files_); |
| 810 | if (logger_nodes.size()) { |
| 811 | // We have old logs which don't have the logger nodes logged. In |
| 812 | // that case, we can't be helpful :( |
| 813 | bool data_logged = false; |
| 814 | const Channel *channel = logged_configuration()->channels()->Get( |
| 815 | timestamped_message.channel_index); |
| 816 | for (const std::string &node : logger_nodes) { |
| 817 | data_logged |= |
| 818 | configuration::ChannelMessageIsLoggedOnNode(channel, node); |
| 819 | } |
| 820 | if (!data_logged) { |
| 821 | LOG(WARNING) << "Got a timestamp without any logfiles which " |
| 822 | "could contain data for channel " |
| 823 | << configuration::CleanedChannelToString(channel); |
| 824 | LOG(WARNING) << "Only have logs logged on [" |
| 825 | << absl::StrJoin(logger_nodes, ", ") << "]"; |
| 826 | LOG(WARNING) |
| 827 | << "Dropping the rest of the data on " |
| 828 | << state->event_loop()->node()->name()->string_view(); |
| 829 | LOG(WARNING) |
| 830 | << "Consider using --skip_missing_forwarding_entries to " |
| 831 | "bypass this, update your config to log it, or add data " |
| 832 | "from one of the nodes it is logged on."; |
| 833 | } |
| 834 | } |
| 835 | } |
| 836 | |
Austin Schuh | dda74ec | 2021-01-03 19:30:37 -0800 | [diff] [blame] | 837 | // Vector storing if we've seen a nullptr message or not per channel. |
| 838 | std::vector<bool> last_message; |
| 839 | last_message.resize(logged_configuration()->channels()->size(), false); |
| 840 | |
| 841 | last_message[timestamped_message.channel_index] = true; |
| 842 | |
| 843 | // Now that we found the end of one channel, artificially stop the |
| 844 | // rest. It is confusing when part of your data gets replayed but not |
Austin Schuh | 5ee5687 | 2021-01-30 16:53:34 -0800 | [diff] [blame] | 845 | // all. Read the rest of the messages and drop them on the floor while |
| 846 | // doing some basic validation. |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 847 | while (state->OldestMessageTime() != BootTimestamp::max_time()) { |
Austin Schuh | b08891b | 2021-09-02 18:52:31 -0700 | [diff] [blame] | 848 | // TODO(austin): This force queues up the rest of the log file for all |
| 849 | // the other nodes. We should do this through the timer instead to |
| 850 | // keep memory usage down. |
Austin Schuh | dda74ec | 2021-01-03 19:30:37 -0800 | [diff] [blame] | 851 | TimestampedMessage next = state->PopOldest(); |
| 852 | // Make sure that once we have seen the last message on a channel, |
| 853 | // data doesn't start back up again. If the user wants to play |
| 854 | // through events like this, they can set |
| 855 | // --skip_missing_forwarding_entries or ignore_missing_data_. |
| 856 | CHECK_LT(next.channel_index, last_message.size()); |
Tyler Chatow | b7c6eba | 2021-07-28 14:43:23 -0700 | [diff] [blame] | 857 | if (next.data == nullptr) { |
Austin Schuh | dda74ec | 2021-01-03 19:30:37 -0800 | [diff] [blame] | 858 | last_message[next.channel_index] = true; |
| 859 | } else { |
| 860 | if (last_message[next.channel_index]) { |
| 861 | LOG(FATAL) |
| 862 | << "Found missing data in the middle of the log file on " |
| 863 | "channel " |
Austin Schuh | 6e014b8 | 2021-09-14 17:46:33 -0700 | [diff] [blame] | 864 | << next.channel_index << " " |
| 865 | << configuration::StrippedChannelToString( |
| 866 | logged_configuration()->channels()->Get( |
| 867 | next.channel_index)) |
| 868 | << " " << next << " " << state->DebugString(); |
Austin Schuh | dda74ec | 2021-01-03 19:30:37 -0800 | [diff] [blame] | 869 | } |
| 870 | } |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 871 | } |
Austin Schuh | 9254752 | 2019-12-28 14:33:43 -0800 | [diff] [blame] | 872 | } |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 873 | } else { |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 874 | LOG(WARNING) << "Not sending data from before the start of the log file. " |
| 875 | << timestamped_message.monotonic_event_time.time |
| 876 | .time_since_epoch() |
| 877 | .count() |
| 878 | << " start " |
| 879 | << monotonic_start_time().time_since_epoch().count() << " " |
Tyler Chatow | b7c6eba | 2021-07-28 14:43:23 -0700 | [diff] [blame] | 880 | << *timestamped_message.data; |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 881 | } |
| 882 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 883 | const BootTimestamp next_time = state->OldestMessageTime(); |
| 884 | if (next_time != BootTimestamp::max_time()) { |
| 885 | if (next_time.boot != state->boot_count()) { |
| 886 | VLOG(1) << "Next message for " |
| 887 | << MaybeNodeName(state->event_loop()->node()) |
| 888 | << "is on the next boot, " << next_time << " now is " |
| 889 | << state->monotonic_now(); |
| 890 | CHECK(event_loop_factory_); |
| 891 | state->RunOnEnd(); |
| 892 | return; |
| 893 | } |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 894 | VLOG(1) << "Scheduling " << MaybeNodeName(state->event_loop()->node()) |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 895 | << "wakeup for " << next_time.time << "(" |
| 896 | << state->ToDistributedClock(next_time.time) |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 897 | << " distributed), now is " << state->monotonic_now(); |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 898 | state->Setup(next_time.time); |
James Kuszmaul | 314f167 | 2020-01-03 20:02:08 -0800 | [diff] [blame] | 899 | } else { |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 900 | VLOG(1) << MaybeNodeName(state->event_loop()->node()) |
| 901 | << "No next message, scheduling shutdown"; |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 902 | state->RunOnEnd(); |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 903 | // Set a timer up immediately after now to die. If we don't do this, |
| 904 | // then the senders waiting on the message we just read will never get |
| 905 | // called. |
Austin Schuh | eecb928 | 2020-01-08 17:43:30 -0800 | [diff] [blame] | 906 | if (event_loop_factory_ != nullptr) { |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 907 | state->Setup(monotonic_now + event_loop_factory_->send_delay() + |
| 908 | std::chrono::nanoseconds(1)); |
Austin Schuh | eecb928 | 2020-01-08 17:43:30 -0800 | [diff] [blame] | 909 | } |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 910 | } |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 911 | |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 912 | VLOG(1) << MaybeNodeName(state->event_loop()->node()) << "Done sending at " |
| 913 | << state->event_loop()->context().monotonic_event_time << " now " |
| 914 | << state->monotonic_now(); |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 915 | })); |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 916 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 917 | if (state->OldestMessageTime() != BootTimestamp::max_time()) { |
| 918 | state->set_startup_timer( |
| 919 | event_loop->AddTimer([state]() { state->RunOnStart(); })); |
| 920 | event_loop->OnRun([state]() { |
| 921 | BootTimestamp next_time = state->OldestMessageTime(); |
| 922 | CHECK_EQ(next_time.boot, state->boot_count()); |
| 923 | state->Setup(next_time.time); |
| 924 | state->SetupStartupTimer(); |
| 925 | }); |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 926 | } |
| 927 | } |
| 928 | |
| 929 | void LogReader::Deregister() { |
James Kuszmaul | 84ff3e5 | 2020-01-03 19:48:53 -0800 | [diff] [blame] | 930 | // Make sure that things get destroyed in the correct order, rather than |
| 931 | // relying on getting the order correct in the class definition. |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 932 | for (std::unique_ptr<State> &state : states_) { |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 933 | state->Deregister(); |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 934 | } |
Austin Schuh | 9254752 | 2019-12-28 14:33:43 -0800 | [diff] [blame] | 935 | |
James Kuszmaul | 84ff3e5 | 2020-01-03 19:48:53 -0800 | [diff] [blame] | 936 | event_loop_factory_unique_ptr_.reset(); |
| 937 | event_loop_factory_ = nullptr; |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 938 | } |
| 939 | |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 940 | void LogReader::RemapLoggedChannel(std::string_view name, std::string_view type, |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 941 | std::string_view add_prefix, |
| 942 | std::string_view new_type) { |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 943 | for (size_t ii = 0; ii < logged_configuration()->channels()->size(); ++ii) { |
| 944 | const Channel *const channel = logged_configuration()->channels()->Get(ii); |
| 945 | if (channel->name()->str() == name && |
| 946 | channel->type()->string_view() == type) { |
| 947 | CHECK_EQ(0u, remapped_channels_.count(ii)) |
| 948 | << "Already remapped channel " |
| 949 | << configuration::CleanedChannelToString(channel); |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 950 | RemappedChannel remapped_channel; |
| 951 | remapped_channel.remapped_name = |
| 952 | std::string(add_prefix) + std::string(name); |
| 953 | remapped_channel.new_type = new_type; |
| 954 | remapped_channels_[ii] = std::move(remapped_channel); |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 955 | VLOG(1) << "Remapping channel " |
| 956 | << configuration::CleanedChannelToString(channel) |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 957 | << " to have name " << remapped_channels_[ii].remapped_name; |
Austin Schuh | 6331ef9 | 2020-01-07 18:28:09 -0800 | [diff] [blame] | 958 | MakeRemappedConfig(); |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 959 | return; |
| 960 | } |
| 961 | } |
| 962 | LOG(FATAL) << "Unabled to locate channel with name " << name << " and type " |
| 963 | << type; |
| 964 | } |
| 965 | |
Austin Schuh | 01b4c35 | 2020-09-21 23:09:39 -0700 | [diff] [blame] | 966 | void LogReader::RemapLoggedChannel(std::string_view name, std::string_view type, |
| 967 | const Node *node, |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 968 | std::string_view add_prefix, |
| 969 | std::string_view new_type) { |
Austin Schuh | 01b4c35 | 2020-09-21 23:09:39 -0700 | [diff] [blame] | 970 | VLOG(1) << "Node is " << aos::FlatbufferToJson(node); |
| 971 | const Channel *remapped_channel = |
| 972 | configuration::GetChannel(logged_configuration(), name, type, "", node); |
| 973 | CHECK(remapped_channel != nullptr) << ": Failed to find {\"name\": \"" << name |
| 974 | << "\", \"type\": \"" << type << "\"}"; |
| 975 | VLOG(1) << "Original {\"name\": \"" << name << "\", \"type\": \"" << type |
| 976 | << "\"}"; |
| 977 | VLOG(1) << "Remapped " |
| 978 | << aos::configuration::StrippedChannelToString(remapped_channel); |
| 979 | |
| 980 | // We want to make /spray on node 0 go to /0/spray by snooping the maps. And |
| 981 | // we want it to degrade if the heuristics fail to just work. |
| 982 | // |
| 983 | // The easiest way to do this is going to be incredibly specific and verbose. |
| 984 | // Look up /spray, to /0/spray. Then, prefix the result with /original to get |
| 985 | // /original/0/spray. Then, create a map from /original/spray to |
| 986 | // /original/0/spray for just the type we were asked for. |
| 987 | if (name != remapped_channel->name()->string_view()) { |
| 988 | MapT new_map; |
| 989 | new_map.match = std::make_unique<ChannelT>(); |
| 990 | new_map.match->name = absl::StrCat(add_prefix, name); |
| 991 | new_map.match->type = type; |
| 992 | if (node != nullptr) { |
| 993 | new_map.match->source_node = node->name()->str(); |
| 994 | } |
| 995 | new_map.rename = std::make_unique<ChannelT>(); |
| 996 | new_map.rename->name = |
| 997 | absl::StrCat(add_prefix, remapped_channel->name()->string_view()); |
| 998 | maps_.emplace_back(std::move(new_map)); |
| 999 | } |
| 1000 | |
| 1001 | const size_t channel_index = |
| 1002 | configuration::ChannelIndex(logged_configuration(), remapped_channel); |
| 1003 | CHECK_EQ(0u, remapped_channels_.count(channel_index)) |
| 1004 | << "Already remapped channel " |
| 1005 | << configuration::CleanedChannelToString(remapped_channel); |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1006 | |
| 1007 | RemappedChannel remapped_channel_struct; |
| 1008 | remapped_channel_struct.remapped_name = |
| 1009 | std::string(add_prefix) + |
| 1010 | std::string(remapped_channel->name()->string_view()); |
| 1011 | remapped_channel_struct.new_type = new_type; |
| 1012 | remapped_channels_[channel_index] = std::move(remapped_channel_struct); |
Austin Schuh | 01b4c35 | 2020-09-21 23:09:39 -0700 | [diff] [blame] | 1013 | MakeRemappedConfig(); |
| 1014 | } |
| 1015 | |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 1016 | void LogReader::MakeRemappedConfig() { |
Austin Schuh | 8bd9632 | 2020-02-13 21:18:22 -0800 | [diff] [blame] | 1017 | for (std::unique_ptr<State> &state : states_) { |
Austin Schuh | 6aa77be | 2020-02-22 21:06:40 -0800 | [diff] [blame] | 1018 | if (state) { |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1019 | CHECK(!state->event_loop()) |
Austin Schuh | 6aa77be | 2020-02-22 21:06:40 -0800 | [diff] [blame] | 1020 | << ": Can't change the mapping after the events are scheduled."; |
| 1021 | } |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 1022 | } |
Austin Schuh | ac0771c | 2020-01-07 18:36:30 -0800 | [diff] [blame] | 1023 | |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 1024 | // If no remapping occurred and we are using the original config, then there |
| 1025 | // is nothing interesting to do here. |
| 1026 | if (remapped_channels_.empty() && replay_configuration_ == nullptr) { |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 1027 | remapped_configuration_ = logged_configuration(); |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 1028 | return; |
| 1029 | } |
| 1030 | // Config to copy Channel definitions from. Use the specified |
| 1031 | // replay_configuration_ if it has been provided. |
| 1032 | const Configuration *const base_config = replay_configuration_ == nullptr |
| 1033 | ? logged_configuration() |
| 1034 | : replay_configuration_; |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1035 | |
| 1036 | // Create a config with all the channels, but un-sorted/merged. Collect up |
| 1037 | // the schemas while we do this. Call MergeConfiguration to sort everything, |
| 1038 | // and then merge it all in together. |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 1039 | |
| 1040 | // This is the builder that we use for the config containing all the new |
| 1041 | // channels. |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1042 | flatbuffers::FlatBufferBuilder fbb; |
| 1043 | fbb.ForceDefaults(true); |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 1044 | std::vector<flatbuffers::Offset<Channel>> channel_offsets; |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1045 | |
| 1046 | CHECK_EQ(Channel::MiniReflectTypeTable()->num_elems, 13u) |
| 1047 | << ": Merging logic needs to be updated when the number of channel " |
| 1048 | "fields changes."; |
| 1049 | |
| 1050 | // List of schemas. |
| 1051 | std::map<std::string_view, FlatbufferVector<reflection::Schema>> schema_map; |
| 1052 | // Make sure our new RemoteMessage schema is in there for old logs without it. |
| 1053 | schema_map.insert(std::make_pair( |
| 1054 | RemoteMessage::GetFullyQualifiedName(), |
| 1055 | FlatbufferVector<reflection::Schema>(FlatbufferSpan<reflection::Schema>( |
| 1056 | message_bridge::RemoteMessageSchema())))); |
| 1057 | |
| 1058 | // Reconstruct the remapped channels. |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 1059 | for (auto &pair : remapped_channels_) { |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1060 | const Channel *const c = CHECK_NOTNULL(configuration::GetChannel( |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 1061 | base_config, logged_configuration()->channels()->Get(pair.first), "", |
| 1062 | nullptr)); |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1063 | channel_offsets.emplace_back( |
| 1064 | CopyChannel(c, pair.second.remapped_name, "", &fbb)); |
Austin Schuh | 006a9f5 | 2021-04-07 16:24:18 -0700 | [diff] [blame] | 1065 | |
| 1066 | if (c->has_destination_nodes()) { |
| 1067 | for (const Connection *connection : *c->destination_nodes()) { |
| 1068 | switch (connection->timestamp_logger()) { |
| 1069 | case LoggerConfig::LOCAL_LOGGER: |
| 1070 | case LoggerConfig::NOT_LOGGED: |
| 1071 | // There is no timestamp channel associated with this, so ignore it. |
| 1072 | break; |
| 1073 | |
| 1074 | case LoggerConfig::REMOTE_LOGGER: |
| 1075 | case LoggerConfig::LOCAL_AND_REMOTE_LOGGER: |
| 1076 | // We want to make a split timestamp channel regardless of what type |
| 1077 | // of log this used to be. No sense propagating the single |
| 1078 | // timestamp channel. |
| 1079 | |
| 1080 | CHECK(connection->has_timestamp_logger_nodes()); |
| 1081 | for (const flatbuffers::String *timestamp_logger_node : |
| 1082 | *connection->timestamp_logger_nodes()) { |
| 1083 | const Node *node = configuration::GetNode( |
| 1084 | logged_configuration(), timestamp_logger_node->string_view()); |
| 1085 | message_bridge::ChannelTimestampFinder finder( |
| 1086 | logged_configuration(), "log_reader", node); |
| 1087 | |
| 1088 | // We are assuming here that all the maps are setup correctly to |
| 1089 | // handle arbitrary timestamps. Apply the maps for this node to |
| 1090 | // see what name this ends up with. |
| 1091 | std::string name = finder.SplitChannelName( |
| 1092 | pair.second.remapped_name, c->type()->str(), connection); |
| 1093 | std::string unmapped_name = name; |
| 1094 | configuration::HandleMaps(logged_configuration()->maps(), &name, |
| 1095 | "aos.message_bridge.RemoteMessage", |
| 1096 | node); |
| 1097 | CHECK_NE(name, unmapped_name) |
| 1098 | << ": Remote timestamp channel was not remapped, this is " |
| 1099 | "very fishy"; |
| 1100 | flatbuffers::Offset<flatbuffers::String> channel_name_offset = |
| 1101 | fbb.CreateString(name); |
| 1102 | flatbuffers::Offset<flatbuffers::String> channel_type_offset = |
| 1103 | fbb.CreateString("aos.message_bridge.RemoteMessage"); |
| 1104 | flatbuffers::Offset<flatbuffers::String> source_node_offset = |
| 1105 | fbb.CreateString(timestamp_logger_node->string_view()); |
| 1106 | |
| 1107 | // Now, build a channel. Don't log it, 2 senders, and match the |
| 1108 | // source frequency. |
| 1109 | Channel::Builder channel_builder(fbb); |
| 1110 | channel_builder.add_name(channel_name_offset); |
| 1111 | channel_builder.add_type(channel_type_offset); |
| 1112 | channel_builder.add_source_node(source_node_offset); |
| 1113 | channel_builder.add_logger(LoggerConfig::NOT_LOGGED); |
| 1114 | channel_builder.add_num_senders(2); |
| 1115 | if (c->has_frequency()) { |
| 1116 | channel_builder.add_frequency(c->frequency()); |
| 1117 | } |
| 1118 | channel_offsets.emplace_back(channel_builder.Finish()); |
| 1119 | } |
| 1120 | break; |
| 1121 | } |
| 1122 | } |
| 1123 | } |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 1124 | } |
Austin Schuh | 01b4c35 | 2020-09-21 23:09:39 -0700 | [diff] [blame] | 1125 | |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1126 | // Now reconstruct the original channels, translating types as needed |
| 1127 | for (const Channel *c : *base_config->channels()) { |
| 1128 | // Search for a mapping channel. |
| 1129 | std::string_view new_type = ""; |
| 1130 | for (auto &pair : remapped_channels_) { |
| 1131 | const Channel *const remapped_channel = |
| 1132 | logged_configuration()->channels()->Get(pair.first); |
| 1133 | if (remapped_channel->name()->string_view() == c->name()->string_view() && |
| 1134 | remapped_channel->type()->string_view() == c->type()->string_view()) { |
| 1135 | new_type = pair.second.new_type; |
| 1136 | break; |
| 1137 | } |
| 1138 | } |
| 1139 | |
| 1140 | // Copy everything over. |
| 1141 | channel_offsets.emplace_back(CopyChannel(c, "", new_type, &fbb)); |
| 1142 | |
| 1143 | // Add the schema if it doesn't exist. |
| 1144 | if (schema_map.find(c->type()->string_view()) == schema_map.end()) { |
| 1145 | CHECK(c->has_schema()); |
| 1146 | schema_map.insert(std::make_pair(c->type()->string_view(), |
| 1147 | RecursiveCopyFlatBuffer(c->schema()))); |
| 1148 | } |
| 1149 | } |
| 1150 | |
| 1151 | // The MergeConfiguration API takes a vector, not a map. Convert. |
| 1152 | std::vector<FlatbufferVector<reflection::Schema>> schemas; |
| 1153 | while (!schema_map.empty()) { |
| 1154 | schemas.emplace_back(std::move(schema_map.begin()->second)); |
| 1155 | schema_map.erase(schema_map.begin()); |
| 1156 | } |
| 1157 | |
| 1158 | // Create the Configuration containing the new channels that we want to add. |
| 1159 | const flatbuffers::Offset<flatbuffers::Vector<flatbuffers::Offset<Channel>>> |
| 1160 | channels_offset = |
| 1161 | channel_offsets.empty() ? 0 : fbb.CreateVector(channel_offsets); |
| 1162 | |
| 1163 | // Copy over the old maps. |
Austin Schuh | 01b4c35 | 2020-09-21 23:09:39 -0700 | [diff] [blame] | 1164 | std::vector<flatbuffers::Offset<Map>> map_offsets; |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1165 | if (base_config->maps()) { |
| 1166 | for (const Map *map : *base_config->maps()) { |
| 1167 | map_offsets.emplace_back(aos::RecursiveCopyFlatBuffer(map, &fbb)); |
| 1168 | } |
| 1169 | } |
| 1170 | |
| 1171 | // Now create the new maps. These are second so they take effect first. |
Austin Schuh | 01b4c35 | 2020-09-21 23:09:39 -0700 | [diff] [blame] | 1172 | for (const MapT &map : maps_) { |
| 1173 | const flatbuffers::Offset<flatbuffers::String> match_name_offset = |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1174 | fbb.CreateString(map.match->name); |
Austin Schuh | 01b4c35 | 2020-09-21 23:09:39 -0700 | [diff] [blame] | 1175 | const flatbuffers::Offset<flatbuffers::String> match_type_offset = |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1176 | fbb.CreateString(map.match->type); |
Austin Schuh | 01b4c35 | 2020-09-21 23:09:39 -0700 | [diff] [blame] | 1177 | const flatbuffers::Offset<flatbuffers::String> rename_name_offset = |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1178 | fbb.CreateString(map.rename->name); |
Austin Schuh | 01b4c35 | 2020-09-21 23:09:39 -0700 | [diff] [blame] | 1179 | flatbuffers::Offset<flatbuffers::String> match_source_node_offset; |
| 1180 | if (!map.match->source_node.empty()) { |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1181 | match_source_node_offset = fbb.CreateString(map.match->source_node); |
Austin Schuh | 01b4c35 | 2020-09-21 23:09:39 -0700 | [diff] [blame] | 1182 | } |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1183 | Channel::Builder match_builder(fbb); |
Austin Schuh | 01b4c35 | 2020-09-21 23:09:39 -0700 | [diff] [blame] | 1184 | match_builder.add_name(match_name_offset); |
| 1185 | match_builder.add_type(match_type_offset); |
| 1186 | if (!map.match->source_node.empty()) { |
| 1187 | match_builder.add_source_node(match_source_node_offset); |
| 1188 | } |
| 1189 | const flatbuffers::Offset<Channel> match_offset = match_builder.Finish(); |
| 1190 | |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1191 | Channel::Builder rename_builder(fbb); |
Austin Schuh | 01b4c35 | 2020-09-21 23:09:39 -0700 | [diff] [blame] | 1192 | rename_builder.add_name(rename_name_offset); |
| 1193 | const flatbuffers::Offset<Channel> rename_offset = rename_builder.Finish(); |
| 1194 | |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1195 | Map::Builder map_builder(fbb); |
Austin Schuh | 01b4c35 | 2020-09-21 23:09:39 -0700 | [diff] [blame] | 1196 | map_builder.add_match(match_offset); |
| 1197 | map_builder.add_rename(rename_offset); |
| 1198 | map_offsets.emplace_back(map_builder.Finish()); |
| 1199 | } |
| 1200 | |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1201 | flatbuffers::Offset<flatbuffers::Vector<flatbuffers::Offset<Map>>> |
| 1202 | maps_offsets = map_offsets.empty() ? 0 : fbb.CreateVector(map_offsets); |
Austin Schuh | 01b4c35 | 2020-09-21 23:09:39 -0700 | [diff] [blame] | 1203 | |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1204 | // And copy everything else over. |
| 1205 | flatbuffers::Offset<flatbuffers::Vector<flatbuffers::Offset<Node>>> |
| 1206 | nodes_offset = aos::RecursiveCopyVectorTable(base_config->nodes(), &fbb); |
| 1207 | |
| 1208 | flatbuffers::Offset<flatbuffers::Vector<flatbuffers::Offset<Application>>> |
| 1209 | applications_offset = |
| 1210 | aos::RecursiveCopyVectorTable(base_config->applications(), &fbb); |
| 1211 | |
| 1212 | // Now insert everything else in unmodified. |
| 1213 | ConfigurationBuilder configuration_builder(fbb); |
| 1214 | if (!channels_offset.IsNull()) { |
| 1215 | configuration_builder.add_channels(channels_offset); |
| 1216 | } |
| 1217 | if (!maps_offsets.IsNull()) { |
| 1218 | configuration_builder.add_maps(maps_offsets); |
| 1219 | } |
| 1220 | if (!nodes_offset.IsNull()) { |
| 1221 | configuration_builder.add_nodes(nodes_offset); |
| 1222 | } |
| 1223 | if (!applications_offset.IsNull()) { |
| 1224 | configuration_builder.add_applications(applications_offset); |
| 1225 | } |
| 1226 | |
| 1227 | if (base_config->has_channel_storage_duration()) { |
| 1228 | configuration_builder.add_channel_storage_duration( |
| 1229 | base_config->channel_storage_duration()); |
| 1230 | } |
| 1231 | |
| 1232 | CHECK_EQ(Configuration::MiniReflectTypeTable()->num_elems, 6u) |
| 1233 | << ": Merging logic needs to be updated when the number of configuration " |
| 1234 | "fields changes."; |
| 1235 | |
| 1236 | fbb.Finish(configuration_builder.Finish()); |
| 1237 | |
| 1238 | // Clean it up and return it! By using MergeConfiguration here, we'll |
| 1239 | // actually get a deduplicated config for free too. |
| 1240 | FlatbufferDetachedBuffer<Configuration> new_merged_config = |
| 1241 | configuration::MergeConfiguration( |
| 1242 | FlatbufferDetachedBuffer<Configuration>(fbb.Release())); |
| 1243 | |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 1244 | remapped_configuration_buffer_ = |
| 1245 | std::make_unique<FlatbufferDetachedBuffer<Configuration>>( |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1246 | configuration::MergeConfiguration(new_merged_config, schemas)); |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 1247 | |
| 1248 | remapped_configuration_ = &remapped_configuration_buffer_->message(); |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1249 | |
| 1250 | // TODO(austin): Lazily re-build to save CPU? |
James Kuszmaul | c7bbb3e | 2020-01-03 20:01:00 -0800 | [diff] [blame] | 1251 | } |
| 1252 | |
Austin Schuh | 1c22735 | 2021-09-17 12:53:54 -0700 | [diff] [blame] | 1253 | std::vector<const Channel *> LogReader::RemappedChannels() const { |
| 1254 | std::vector<const Channel *> result; |
| 1255 | result.reserve(remapped_channels_.size()); |
| 1256 | for (auto &pair : remapped_channels_) { |
| 1257 | const Channel *const logged_channel = |
| 1258 | CHECK_NOTNULL(logged_configuration()->channels()->Get(pair.first)); |
| 1259 | |
| 1260 | auto channel_iterator = std::lower_bound( |
| 1261 | remapped_configuration_->channels()->cbegin(), |
| 1262 | remapped_configuration_->channels()->cend(), |
| 1263 | std::make_pair(std::string_view(pair.second.remapped_name), |
| 1264 | logged_channel->type()->string_view()), |
| 1265 | CompareChannels); |
| 1266 | |
| 1267 | CHECK(channel_iterator != remapped_configuration_->channels()->cend()); |
| 1268 | CHECK(EqualsChannels( |
| 1269 | *channel_iterator, |
| 1270 | std::make_pair(std::string_view(pair.second.remapped_name), |
| 1271 | logged_channel->type()->string_view()))); |
| 1272 | result.push_back(*channel_iterator); |
| 1273 | } |
| 1274 | return result; |
| 1275 | } |
| 1276 | |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 1277 | const Channel *LogReader::RemapChannel(const EventLoop *event_loop, |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1278 | const Node *node, |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 1279 | const Channel *channel) { |
| 1280 | std::string_view channel_name = channel->name()->string_view(); |
| 1281 | std::string_view channel_type = channel->type()->string_view(); |
| 1282 | const int channel_index = |
| 1283 | configuration::ChannelIndex(logged_configuration(), channel); |
| 1284 | // If the channel is remapped, find the correct channel name to use. |
| 1285 | if (remapped_channels_.count(channel_index) > 0) { |
Austin Schuh | ee71105 | 2020-08-24 16:06:09 -0700 | [diff] [blame] | 1286 | VLOG(3) << "Got remapped channel on " |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 1287 | << configuration::CleanedChannelToString(channel); |
Austin Schuh | 0de30f3 | 2020-12-06 12:44:28 -0800 | [diff] [blame] | 1288 | channel_name = remapped_channels_[channel_index].remapped_name; |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 1289 | } |
| 1290 | |
Austin Schuh | ee71105 | 2020-08-24 16:06:09 -0700 | [diff] [blame] | 1291 | VLOG(2) << "Going to remap channel " << channel_name << " " << channel_type; |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 1292 | const Channel *remapped_channel = configuration::GetChannel( |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1293 | configuration(), channel_name, channel_type, |
| 1294 | event_loop ? event_loop->name() : "log_reader", node); |
Austin Schuh | 6f3babe | 2020-01-26 20:34:50 -0800 | [diff] [blame] | 1295 | |
| 1296 | CHECK(remapped_channel != nullptr) |
| 1297 | << ": Unable to send {\"name\": \"" << channel_name << "\", \"type\": \"" |
| 1298 | << channel_type << "\"} because it is not in the provided configuration."; |
| 1299 | |
| 1300 | return remapped_channel; |
| 1301 | } |
| 1302 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1303 | LogReader::State::State(std::unique_ptr<TimestampMapper> timestamp_mapper, |
| 1304 | const Node *node) |
| 1305 | : timestamp_mapper_(std::move(timestamp_mapper)), node_(node) {} |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 1306 | |
| 1307 | void LogReader::State::AddPeer(State *peer) { |
| 1308 | if (timestamp_mapper_ && peer->timestamp_mapper_) { |
| 1309 | timestamp_mapper_->AddPeer(peer->timestamp_mapper_.get()); |
| 1310 | } |
| 1311 | } |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1312 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1313 | void LogReader::State::SetNodeEventLoopFactory( |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1314 | NodeEventLoopFactory *node_event_loop_factory) { |
| 1315 | node_event_loop_factory_ = node_event_loop_factory; |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1316 | } |
| 1317 | |
| 1318 | void LogReader::State::SetChannelCount(size_t count) { |
| 1319 | channels_.resize(count); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1320 | remote_timestamp_senders_.resize(count); |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1321 | filters_.resize(count); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1322 | channel_source_state_.resize(count); |
| 1323 | factory_channel_index_.resize(count); |
| 1324 | queue_index_map_.resize(count); |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1325 | } |
| 1326 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1327 | void LogReader::State::SetRemoteTimestampSender( |
| 1328 | size_t logged_channel_index, RemoteMessageSender *remote_timestamp_sender) { |
| 1329 | remote_timestamp_senders_[logged_channel_index] = remote_timestamp_sender; |
| 1330 | } |
| 1331 | |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1332 | void LogReader::State::SetChannel( |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1333 | size_t logged_channel_index, size_t factory_channel_index, |
| 1334 | std::unique_ptr<RawSender> sender, |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1335 | message_bridge::NoncausalOffsetEstimator *filter, bool is_forwarded, |
| 1336 | State *source_state) { |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1337 | channels_[logged_channel_index] = std::move(sender); |
| 1338 | filters_[logged_channel_index] = filter; |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1339 | channel_source_state_[logged_channel_index] = source_state; |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1340 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1341 | if (is_forwarded) { |
| 1342 | queue_index_map_[logged_channel_index] = |
| 1343 | std::make_unique<std::vector<State::ContiguousSentTimestamp>>(); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1344 | } |
| 1345 | |
| 1346 | factory_channel_index_[logged_channel_index] = factory_channel_index; |
| 1347 | } |
| 1348 | |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 1349 | bool LogReader::State::Send(const TimestampedMessage ×tamped_message) { |
| 1350 | aos::RawSender *sender = channels_[timestamped_message.channel_index].get(); |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1351 | CHECK(sender); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1352 | uint32_t remote_queue_index = 0xffffffff; |
| 1353 | |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 1354 | if (remote_timestamp_senders_[timestamped_message.channel_index] != nullptr) { |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1355 | State *source_state = |
| 1356 | CHECK_NOTNULL(channel_source_state_[timestamped_message.channel_index]); |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1357 | std::vector<ContiguousSentTimestamp> *queue_index_map = CHECK_NOTNULL( |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1358 | source_state->queue_index_map_[timestamped_message.channel_index] |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 1359 | .get()); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1360 | |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1361 | struct SentTimestamp { |
| 1362 | monotonic_clock::time_point monotonic_event_time; |
| 1363 | uint32_t queue_index; |
| 1364 | } search; |
| 1365 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1366 | CHECK_EQ(timestamped_message.monotonic_remote_time.boot, |
| 1367 | source_state->boot_count()); |
Tyler Chatow | bf0609c | 2021-07-31 16:13:27 -0700 | [diff] [blame] | 1368 | search.monotonic_event_time = |
| 1369 | timestamped_message.monotonic_remote_time.time; |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1370 | search.queue_index = timestamped_message.remote_queue_index.index; |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1371 | |
| 1372 | // Find the sent time if available. |
| 1373 | auto element = std::lower_bound( |
| 1374 | queue_index_map->begin(), queue_index_map->end(), search, |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1375 | [](ContiguousSentTimestamp a, SentTimestamp b) { |
| 1376 | if (a.ending_monotonic_event_time < b.monotonic_event_time) { |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1377 | return true; |
| 1378 | } |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1379 | if (a.starting_monotonic_event_time > b.monotonic_event_time) { |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1380 | return false; |
| 1381 | } |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1382 | |
| 1383 | if (a.ending_queue_index < b.queue_index) { |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1384 | return true; |
| 1385 | } |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1386 | if (a.starting_queue_index >= b.queue_index) { |
| 1387 | return false; |
| 1388 | } |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1389 | |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1390 | // If it isn't clearly below or above, it is below. Since we return |
| 1391 | // the last element <, this will return a match. |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1392 | return false; |
| 1393 | }); |
| 1394 | |
| 1395 | // TODO(austin): Be a bit more principled here, but we will want to do that |
| 1396 | // after the logger rewrite. We hit this when one node finishes, but the |
| 1397 | // other node isn't done yet. So there is no send time, but there is a |
| 1398 | // receive time. |
| 1399 | if (element != queue_index_map->end()) { |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1400 | CHECK_EQ(timestamped_message.monotonic_remote_time.boot, |
| 1401 | source_state->boot_count()); |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 1402 | |
| 1403 | CHECK_GE(timestamped_message.monotonic_remote_time.time, |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1404 | element->starting_monotonic_event_time); |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 1405 | CHECK_LE(timestamped_message.monotonic_remote_time.time, |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1406 | element->ending_monotonic_event_time); |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1407 | CHECK_GE(timestamped_message.remote_queue_index.index, |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1408 | element->starting_queue_index); |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1409 | CHECK_LE(timestamped_message.remote_queue_index.index, |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1410 | element->ending_queue_index); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1411 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1412 | remote_queue_index = timestamped_message.remote_queue_index.index + |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1413 | element->actual_queue_index - |
| 1414 | element->starting_queue_index; |
| 1415 | } else { |
| 1416 | VLOG(1) << "No timestamp match in the map."; |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1417 | } |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1418 | CHECK_EQ(timestamped_message.monotonic_remote_time.boot, |
| 1419 | source_state->boot_count()); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1420 | } |
| 1421 | |
| 1422 | // Send! Use the replayed queue index here instead of the logged queue index |
| 1423 | // for the remote queue index. This makes re-logging work. |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 1424 | const bool sent = sender->Send( |
Tyler Chatow | b7c6eba | 2021-07-28 14:43:23 -0700 | [diff] [blame] | 1425 | RawSender::SharedSpan(timestamped_message.data, |
| 1426 | ×tamped_message.data->span), |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 1427 | timestamped_message.monotonic_remote_time.time, |
Austin Schuh | 8902fa5 | 2021-03-14 22:39:24 -0700 | [diff] [blame] | 1428 | timestamped_message.realtime_remote_time, remote_queue_index, |
| 1429 | (channel_source_state_[timestamped_message.channel_index] != nullptr |
| 1430 | ? CHECK_NOTNULL( |
| 1431 | channel_source_state_[timestamped_message.channel_index]) |
| 1432 | ->event_loop_->boot_uuid() |
| 1433 | : event_loop_->boot_uuid())); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1434 | if (!sent) return false; |
| 1435 | |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 1436 | if (queue_index_map_[timestamped_message.channel_index]) { |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1437 | CHECK_EQ(timestamped_message.monotonic_event_time.boot, boot_count()); |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1438 | if (queue_index_map_[timestamped_message.channel_index]->empty()) { |
| 1439 | // Nothing here, start a range with 0 length. |
| 1440 | ContiguousSentTimestamp timestamp; |
| 1441 | timestamp.starting_monotonic_event_time = |
| 1442 | timestamp.ending_monotonic_event_time = |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 1443 | timestamped_message.monotonic_event_time.time; |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1444 | timestamp.starting_queue_index = timestamp.ending_queue_index = |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1445 | timestamped_message.queue_index.index; |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1446 | timestamp.actual_queue_index = sender->sent_queue_index(); |
| 1447 | queue_index_map_[timestamped_message.channel_index]->emplace_back( |
| 1448 | timestamp); |
| 1449 | } else { |
| 1450 | // We've got something. See if the next timestamp is still contiguous. If |
| 1451 | // so, grow it. |
| 1452 | ContiguousSentTimestamp *back = |
| 1453 | &queue_index_map_[timestamped_message.channel_index]->back(); |
| 1454 | if ((back->starting_queue_index - back->actual_queue_index) == |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1455 | (timestamped_message.queue_index.index - sender->sent_queue_index())) { |
| 1456 | back->ending_queue_index = timestamped_message.queue_index.index; |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1457 | back->ending_monotonic_event_time = |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 1458 | timestamped_message.monotonic_event_time.time; |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1459 | } else { |
| 1460 | // Otherwise, make a new one. |
| 1461 | ContiguousSentTimestamp timestamp; |
| 1462 | timestamp.starting_monotonic_event_time = |
| 1463 | timestamp.ending_monotonic_event_time = |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 1464 | timestamped_message.monotonic_event_time.time; |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1465 | timestamp.starting_queue_index = timestamp.ending_queue_index = |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1466 | timestamped_message.queue_index.index; |
Austin Schuh | 9942bae | 2021-01-07 22:06:44 -0800 | [diff] [blame] | 1467 | timestamp.actual_queue_index = sender->sent_queue_index(); |
| 1468 | queue_index_map_[timestamped_message.channel_index]->emplace_back( |
| 1469 | timestamp); |
| 1470 | } |
| 1471 | } |
| 1472 | |
| 1473 | // TODO(austin): Should we prune the map? On a many day log, I only saw the |
| 1474 | // queue index diverge a couple of elements, which would be a very small |
| 1475 | // map. |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 1476 | } else if (remote_timestamp_senders_[timestamped_message.channel_index] != |
| 1477 | nullptr) { |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1478 | State *source_state = |
| 1479 | CHECK_NOTNULL(channel_source_state_[timestamped_message.channel_index]); |
| 1480 | |
Austin Schuh | 969cd60 | 2021-01-03 00:09:45 -0800 | [diff] [blame] | 1481 | flatbuffers::FlatBufferBuilder fbb; |
| 1482 | fbb.ForceDefaults(true); |
Austin Schuh | cdd9027 | 2021-03-15 12:46:16 -0700 | [diff] [blame] | 1483 | flatbuffers::Offset<flatbuffers::Vector<uint8_t>> boot_uuid_offset = |
| 1484 | event_loop_->boot_uuid().PackVector(&fbb); |
Austin Schuh | 315b96b | 2020-12-11 21:21:12 -0800 | [diff] [blame] | 1485 | |
Austin Schuh | 969cd60 | 2021-01-03 00:09:45 -0800 | [diff] [blame] | 1486 | RemoteMessage::Builder message_header_builder(fbb); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1487 | |
| 1488 | message_header_builder.add_channel_index( |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 1489 | factory_channel_index_[timestamped_message.channel_index]); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1490 | |
| 1491 | // Swap the remote and sent metrics. They are from the sender's |
| 1492 | // perspective, not the receiver's perspective. |
| 1493 | message_header_builder.add_monotonic_sent_time( |
| 1494 | sender->monotonic_sent_time().time_since_epoch().count()); |
| 1495 | message_header_builder.add_realtime_sent_time( |
| 1496 | sender->realtime_sent_time().time_since_epoch().count()); |
| 1497 | message_header_builder.add_queue_index(sender->sent_queue_index()); |
| 1498 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1499 | CHECK_EQ(timestamped_message.monotonic_remote_time.boot, |
| 1500 | source_state->boot_count()); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1501 | message_header_builder.add_monotonic_remote_time( |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 1502 | timestamped_message.monotonic_remote_time.time.time_since_epoch() |
| 1503 | .count()); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1504 | message_header_builder.add_realtime_remote_time( |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 1505 | timestamped_message.realtime_remote_time.time_since_epoch().count()); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1506 | |
| 1507 | message_header_builder.add_remote_queue_index(remote_queue_index); |
Austin Schuh | 315b96b | 2020-12-11 21:21:12 -0800 | [diff] [blame] | 1508 | message_header_builder.add_boot_uuid(boot_uuid_offset); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1509 | |
Austin Schuh | 969cd60 | 2021-01-03 00:09:45 -0800 | [diff] [blame] | 1510 | fbb.Finish(message_header_builder.Finish()); |
| 1511 | |
| 1512 | remote_timestamp_senders_[timestamped_message.channel_index]->Send( |
| 1513 | FlatbufferDetachedBuffer<RemoteMessage>(fbb.Release()), |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1514 | timestamped_message.monotonic_timestamp_time, |
| 1515 | source_state->boot_count()); |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1516 | } |
| 1517 | |
| 1518 | return true; |
| 1519 | } |
| 1520 | |
Austin Schuh | 969cd60 | 2021-01-03 00:09:45 -0800 | [diff] [blame] | 1521 | LogReader::RemoteMessageSender::RemoteMessageSender( |
| 1522 | aos::Sender<message_bridge::RemoteMessage> sender, EventLoop *event_loop) |
| 1523 | : event_loop_(event_loop), |
| 1524 | sender_(std::move(sender)), |
| 1525 | timer_(event_loop->AddTimer([this]() { SendTimestamp(); })) {} |
| 1526 | |
| 1527 | void LogReader::RemoteMessageSender::ScheduleTimestamp() { |
| 1528 | if (remote_timestamps_.empty()) { |
| 1529 | CHECK_NOTNULL(timer_); |
| 1530 | timer_->Disable(); |
| 1531 | scheduled_time_ = monotonic_clock::min_time; |
| 1532 | return; |
| 1533 | } |
| 1534 | |
| 1535 | if (scheduled_time_ != remote_timestamps_.front().monotonic_timestamp_time) { |
| 1536 | CHECK_NOTNULL(timer_); |
Austin Schuh | 816e5d6 | 2021-01-05 23:42:20 -0800 | [diff] [blame] | 1537 | timer_->Setup(remote_timestamps_.front().monotonic_timestamp_time); |
Austin Schuh | 969cd60 | 2021-01-03 00:09:45 -0800 | [diff] [blame] | 1538 | scheduled_time_ = remote_timestamps_.front().monotonic_timestamp_time; |
Austin Schuh | 3d94be0 | 2021-02-12 23:15:20 -0800 | [diff] [blame] | 1539 | CHECK_GE(scheduled_time_, event_loop_->monotonic_now()) |
| 1540 | << event_loop_->node()->name()->string_view(); |
Austin Schuh | 969cd60 | 2021-01-03 00:09:45 -0800 | [diff] [blame] | 1541 | } |
| 1542 | } |
| 1543 | |
| 1544 | void LogReader::RemoteMessageSender::Send( |
| 1545 | FlatbufferDetachedBuffer<RemoteMessage> remote_message, |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1546 | BootTimestamp monotonic_timestamp_time, size_t source_boot_count) { |
Austin Schuh | c41d6a8 | 2021-07-16 14:49:23 -0700 | [diff] [blame] | 1547 | // There are 2 variants of logs. |
| 1548 | // 1) Logs without monotonic_timestamp_time |
| 1549 | // 2) Logs with monotonic_timestamp_time |
| 1550 | // |
| 1551 | // As of Jan 2021, we shouldn't have any more logs without |
| 1552 | // monotonic_timestamp_time. We don't have data locked up in those logs worth |
| 1553 | // the effort of saving. |
| 1554 | // |
| 1555 | // This gives us 3 cases, 2 of which are undistinguishable. |
| 1556 | // 1) Old log without monotonic_timestamp_time. |
| 1557 | // 2) New log with monotonic_timestamp_time where the timestamp was logged |
| 1558 | // remotely so we actually have monotonic_timestamp_time. |
| 1559 | // 3) New log, but the timestamp was logged on the node receiving the message |
| 1560 | // so there is no monotonic_timestamp_time. |
| 1561 | // |
| 1562 | // Our goal when replaying is to accurately reproduce the state of the world |
| 1563 | // present when logging. If a timestamp wasn't sent back across the network, |
| 1564 | // we shouldn't replay one back across the network. |
| 1565 | // |
| 1566 | // Given that we don't really care about 1, we can use the presence of the |
| 1567 | // timestamp to distinguish 2 and 3, and ignore 1. If we don't have a |
| 1568 | // monotonic_timestamp_time, this means the message was logged locally and |
| 1569 | // remote timestamps can be ignored. |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1570 | if (monotonic_timestamp_time == BootTimestamp::min_time()) { |
Austin Schuh | c41d6a8 | 2021-07-16 14:49:23 -0700 | [diff] [blame] | 1571 | return; |
Austin Schuh | 969cd60 | 2021-01-03 00:09:45 -0800 | [diff] [blame] | 1572 | } |
Austin Schuh | c41d6a8 | 2021-07-16 14:49:23 -0700 | [diff] [blame] | 1573 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1574 | CHECK_EQ(monotonic_timestamp_time.boot, source_boot_count); |
| 1575 | |
Austin Schuh | c41d6a8 | 2021-07-16 14:49:23 -0700 | [diff] [blame] | 1576 | remote_timestamps_.emplace( |
| 1577 | std::upper_bound( |
| 1578 | remote_timestamps_.begin(), remote_timestamps_.end(), |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1579 | monotonic_timestamp_time.time, |
Austin Schuh | c41d6a8 | 2021-07-16 14:49:23 -0700 | [diff] [blame] | 1580 | [](const aos::monotonic_clock::time_point monotonic_timestamp_time, |
| 1581 | const Timestamp ×tamp) { |
| 1582 | return monotonic_timestamp_time < |
| 1583 | timestamp.monotonic_timestamp_time; |
| 1584 | }), |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1585 | std::move(remote_message), monotonic_timestamp_time.time); |
Austin Schuh | c41d6a8 | 2021-07-16 14:49:23 -0700 | [diff] [blame] | 1586 | ScheduleTimestamp(); |
Austin Schuh | 969cd60 | 2021-01-03 00:09:45 -0800 | [diff] [blame] | 1587 | } |
| 1588 | |
| 1589 | void LogReader::RemoteMessageSender::SendTimestamp() { |
Austin Schuh | 3d94be0 | 2021-02-12 23:15:20 -0800 | [diff] [blame] | 1590 | CHECK_EQ(event_loop_->context().monotonic_event_time, scheduled_time_) |
| 1591 | << event_loop_->node()->name()->string_view(); |
Austin Schuh | 969cd60 | 2021-01-03 00:09:45 -0800 | [diff] [blame] | 1592 | CHECK(!remote_timestamps_.empty()); |
| 1593 | |
| 1594 | // Send out all timestamps at the currently scheduled time. |
| 1595 | while (remote_timestamps_.front().monotonic_timestamp_time == |
| 1596 | scheduled_time_) { |
| 1597 | sender_.Send(std::move(remote_timestamps_.front().remote_message)); |
| 1598 | remote_timestamps_.pop_front(); |
| 1599 | if (remote_timestamps_.empty()) { |
| 1600 | break; |
| 1601 | } |
| 1602 | } |
| 1603 | scheduled_time_ = monotonic_clock::min_time; |
| 1604 | |
| 1605 | ScheduleTimestamp(); |
| 1606 | } |
| 1607 | |
| 1608 | LogReader::RemoteMessageSender *LogReader::State::RemoteTimestampSender( |
Austin Schuh | 61e973f | 2021-02-21 21:43:56 -0800 | [diff] [blame] | 1609 | const Channel *channel, const Connection *connection) { |
| 1610 | message_bridge::ChannelTimestampFinder finder(event_loop_); |
| 1611 | // Look at any pre-created channel/connection pairs. |
| 1612 | { |
| 1613 | auto it = |
| 1614 | channel_timestamp_loggers_.find(std::make_pair(channel, connection)); |
| 1615 | if (it != channel_timestamp_loggers_.end()) { |
| 1616 | return it->second.get(); |
| 1617 | } |
Austin Schuh | 8d7e0bb | 2020-10-02 17:57:00 -0700 | [diff] [blame] | 1618 | } |
| 1619 | |
Austin Schuh | 61e973f | 2021-02-21 21:43:56 -0800 | [diff] [blame] | 1620 | // That failed, so resolve the RemoteMessage channel timestamps will be logged |
| 1621 | // to. |
| 1622 | const Channel *timestamp_channel = finder.ForChannel(channel, connection); |
| 1623 | |
| 1624 | { |
| 1625 | // See if that has been created before. If so, cache it in |
| 1626 | // channel_timestamp_loggers_ and return. |
| 1627 | auto it = timestamp_loggers_.find(timestamp_channel); |
| 1628 | if (it != timestamp_loggers_.end()) { |
| 1629 | CHECK(channel_timestamp_loggers_ |
| 1630 | .try_emplace(std::make_pair(channel, connection), it->second) |
| 1631 | .second); |
| 1632 | return it->second.get(); |
| 1633 | } |
| 1634 | } |
| 1635 | |
| 1636 | // Otherwise, make a sender, save it, and cache it. |
| 1637 | auto result = channel_timestamp_loggers_.try_emplace( |
| 1638 | std::make_pair(channel, connection), |
| 1639 | std::make_shared<RemoteMessageSender>( |
| 1640 | event_loop()->MakeSender<RemoteMessage>( |
| 1641 | timestamp_channel->name()->string_view()), |
| 1642 | event_loop())); |
| 1643 | |
| 1644 | CHECK(timestamp_loggers_.try_emplace(timestamp_channel, result.first->second) |
| 1645 | .second); |
| 1646 | return result.first->second.get(); |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1647 | } |
| 1648 | |
Austin Schuh | dda74ec | 2021-01-03 19:30:37 -0800 | [diff] [blame] | 1649 | TimestampedMessage LogReader::State::PopOldest() { |
Austin Schuh | e639ea1 | 2021-01-25 13:00:22 -0800 | [diff] [blame] | 1650 | CHECK(timestamp_mapper_ != nullptr); |
| 1651 | TimestampedMessage *result_ptr = timestamp_mapper_->Front(); |
| 1652 | CHECK(result_ptr != nullptr); |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1653 | |
Austin Schuh | e639ea1 | 2021-01-25 13:00:22 -0800 | [diff] [blame] | 1654 | TimestampedMessage result = std::move(*result_ptr); |
| 1655 | |
Austin Schuh | 2f8fd75 | 2020-09-01 22:38:28 -0700 | [diff] [blame] | 1656 | VLOG(2) << MaybeNodeName(event_loop_->node()) << "PopOldest Popping " |
Austin Schuh | e639ea1 | 2021-01-25 13:00:22 -0800 | [diff] [blame] | 1657 | << result.monotonic_event_time; |
| 1658 | timestamp_mapper_->PopFront(); |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1659 | SeedSortedMessages(); |
| 1660 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1661 | CHECK_EQ(result.monotonic_event_time.boot, boot_count()); |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 1662 | |
Austin Schuh | 5ee5687 | 2021-01-30 16:53:34 -0800 | [diff] [blame] | 1663 | VLOG(1) << "Popped " << result |
| 1664 | << configuration::CleanedChannelToString( |
| 1665 | event_loop_->configuration()->channels()->Get( |
| 1666 | factory_channel_index_[result.channel_index])); |
Austin Schuh | e639ea1 | 2021-01-25 13:00:22 -0800 | [diff] [blame] | 1667 | return result; |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1668 | } |
| 1669 | |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1670 | BootTimestamp LogReader::State::OldestMessageTime() const { |
Austin Schuh | e639ea1 | 2021-01-25 13:00:22 -0800 | [diff] [blame] | 1671 | if (timestamp_mapper_ == nullptr) { |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1672 | return BootTimestamp::max_time(); |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 1673 | } |
Austin Schuh | e639ea1 | 2021-01-25 13:00:22 -0800 | [diff] [blame] | 1674 | TimestampedMessage *result_ptr = timestamp_mapper_->Front(); |
| 1675 | if (result_ptr == nullptr) { |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1676 | return BootTimestamp::max_time(); |
Austin Schuh | e639ea1 | 2021-01-25 13:00:22 -0800 | [diff] [blame] | 1677 | } |
| 1678 | VLOG(2) << MaybeNodeName(event_loop_->node()) << "oldest message at " |
Austin Schuh | 2dc8c7d | 2021-07-01 17:41:28 -0700 | [diff] [blame] | 1679 | << result_ptr->monotonic_event_time.time; |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1680 | return result_ptr->monotonic_event_time; |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1681 | } |
| 1682 | |
| 1683 | void LogReader::State::SeedSortedMessages() { |
Austin Schuh | 287d43d | 2020-12-04 20:19:33 -0800 | [diff] [blame] | 1684 | if (!timestamp_mapper_) return; |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1685 | |
Austin Schuh | e639ea1 | 2021-01-25 13:00:22 -0800 | [diff] [blame] | 1686 | timestamp_mapper_->QueueFor(chrono::duration_cast<chrono::seconds>( |
| 1687 | chrono::duration<double>(FLAGS_time_estimation_buffer_seconds))); |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1688 | } |
| 1689 | |
| 1690 | void LogReader::State::Deregister() { |
Austin Schuh | 58646e2 | 2021-08-23 23:51:46 -0700 | [diff] [blame] | 1691 | if (started_ && !stopped_) { |
| 1692 | RunOnEnd(); |
| 1693 | } |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1694 | for (size_t i = 0; i < channels_.size(); ++i) { |
| 1695 | channels_[i].reset(); |
| 1696 | } |
Austin Schuh | 61e973f | 2021-02-21 21:43:56 -0800 | [diff] [blame] | 1697 | channel_timestamp_loggers_.clear(); |
| 1698 | timestamp_loggers_.clear(); |
Austin Schuh | 858c9f3 | 2020-08-31 16:56:12 -0700 | [diff] [blame] | 1699 | event_loop_unique_ptr_.reset(); |
| 1700 | event_loop_ = nullptr; |
| 1701 | timer_handler_ = nullptr; |
| 1702 | node_event_loop_factory_ = nullptr; |
| 1703 | } |
| 1704 | |
Austin Schuh | e309d2a | 2019-11-29 13:25:21 -0800 | [diff] [blame] | 1705 | } // namespace logger |
| 1706 | } // namespace aos |