blob: 9316795328ce5ca35522b452b1e563e236a51508 [file] [log] [blame]
Austin Schuha36c8902019-12-30 18:07:15 -08001#include "aos/events/logging/logfile_utils.h"
2
3#include <fcntl.h>
Austin Schuha36c8902019-12-30 18:07:15 -08004#include <sys/stat.h>
5#include <sys/types.h>
6#include <sys/uio.h>
7
Brian Silvermanf51499a2020-09-21 12:49:08 -07008#include <algorithm>
9#include <climits>
Austin Schuha36c8902019-12-30 18:07:15 -080010
Austin Schuhe4fca832020-03-07 16:58:53 -080011#include "absl/strings/escaping.h"
Austin Schuh05b70472020-01-01 17:11:17 -080012#include "aos/configuration.h"
Austin Schuhfa895892020-01-07 20:07:41 -080013#include "aos/flatbuffer_merge.h"
Austin Schuh6f3babe2020-01-26 20:34:50 -080014#include "aos/util/file.h"
Austin Schuha36c8902019-12-30 18:07:15 -080015#include "flatbuffers/flatbuffers.h"
Austin Schuh05b70472020-01-01 17:11:17 -080016#include "gflags/gflags.h"
17#include "glog/logging.h"
Austin Schuha36c8902019-12-30 18:07:15 -080018
Brian Silvermanf59fe3f2020-09-22 21:04:09 -070019#if defined(__x86_64__)
20#define ENABLE_LZMA 1
21#elif defined(__aarch64__)
22#define ENABLE_LZMA 1
23#else
24#define ENABLE_LZMA 0
25#endif
26
27#if ENABLE_LZMA
28#include "aos/events/logging/lzma_encoder.h"
29#endif
30
Austin Schuh7fbf5a72020-09-21 16:28:13 -070031DEFINE_int32(flush_size, 128000,
Austin Schuha36c8902019-12-30 18:07:15 -080032 "Number of outstanding bytes to allow before flushing to disk.");
33
Brian Silvermanf51499a2020-09-21 12:49:08 -070034namespace aos::logger {
Austin Schuha36c8902019-12-30 18:07:15 -080035
Austin Schuh05b70472020-01-01 17:11:17 -080036namespace chrono = std::chrono;
37
Brian Silvermanf51499a2020-09-21 12:49:08 -070038DetachedBufferWriter::DetachedBufferWriter(
39 std::string_view filename, std::unique_ptr<DetachedBufferEncoder> encoder)
40 : filename_(filename), encoder_(std::move(encoder)) {
Brian Silvermana9f2ec92020-10-06 18:00:53 -070041 if (!util::MkdirPIfSpace(filename, 0777)) {
42 ran_out_of_space_ = true;
43 } else {
44 fd_ = open(std::string(filename).c_str(),
45 O_RDWR | O_CLOEXEC | O_CREAT | O_EXCL, 0774);
46 if (fd_ == -1 && errno == ENOSPC) {
47 ran_out_of_space_ = true;
48 } else {
49 PCHECK(fd_ != -1) << ": Failed to open " << filename << " for writing";
50 VLOG(1) << "Opened " << filename << " for writing";
51 }
52 }
Austin Schuha36c8902019-12-30 18:07:15 -080053}
54
55DetachedBufferWriter::~DetachedBufferWriter() {
Brian Silverman0465fcf2020-09-24 00:29:18 -070056 Close();
57 if (ran_out_of_space_) {
58 CHECK(acknowledge_ran_out_of_space_)
59 << ": Unacknowledged out of disk space, log file was not completed";
Brian Silvermanf51499a2020-09-21 12:49:08 -070060 }
Austin Schuh2f8fd752020-09-01 22:38:28 -070061}
62
Brian Silvermand90905f2020-09-23 14:42:56 -070063DetachedBufferWriter::DetachedBufferWriter(DetachedBufferWriter &&other) {
Austin Schuh2f8fd752020-09-01 22:38:28 -070064 *this = std::move(other);
65}
66
Brian Silverman87ac0402020-09-17 14:47:01 -070067// When other is destroyed "soon" (which it should be because we're getting an
68// rvalue reference to it), it will flush etc all the data we have queued up
69// (because that data will then be its data).
Austin Schuh2f8fd752020-09-01 22:38:28 -070070DetachedBufferWriter &DetachedBufferWriter::operator=(
71 DetachedBufferWriter &&other) {
Austin Schuh2f8fd752020-09-01 22:38:28 -070072 std::swap(filename_, other.filename_);
Brian Silvermanf51499a2020-09-21 12:49:08 -070073 std::swap(encoder_, other.encoder_);
Austin Schuh2f8fd752020-09-01 22:38:28 -070074 std::swap(fd_, other.fd_);
Brian Silverman0465fcf2020-09-24 00:29:18 -070075 std::swap(ran_out_of_space_, other.ran_out_of_space_);
76 std::swap(acknowledge_ran_out_of_space_, other.acknowledge_ran_out_of_space_);
Austin Schuh2f8fd752020-09-01 22:38:28 -070077 std::swap(iovec_, other.iovec_);
Brian Silvermanf51499a2020-09-21 12:49:08 -070078 std::swap(max_write_time_, other.max_write_time_);
79 std::swap(max_write_time_bytes_, other.max_write_time_bytes_);
80 std::swap(max_write_time_messages_, other.max_write_time_messages_);
81 std::swap(total_write_time_, other.total_write_time_);
82 std::swap(total_write_count_, other.total_write_count_);
83 std::swap(total_write_messages_, other.total_write_messages_);
84 std::swap(total_write_bytes_, other.total_write_bytes_);
Austin Schuh2f8fd752020-09-01 22:38:28 -070085 return *this;
Austin Schuha36c8902019-12-30 18:07:15 -080086}
87
Brian Silvermanf51499a2020-09-21 12:49:08 -070088void DetachedBufferWriter::QueueSpan(absl::Span<const uint8_t> span) {
Brian Silvermana9f2ec92020-10-06 18:00:53 -070089 if (ran_out_of_space_) {
90 // We don't want any later data to be written after space becomes
91 // available, so refuse to write anything more once we've dropped data
92 // because we ran out of space.
93 VLOG(1) << "Ignoring span: " << span.size();
94 return;
95 }
96
Brian Silvermanf51499a2020-09-21 12:49:08 -070097 if (encoder_->may_bypass() && span.size() > 4096u) {
98 // Over this threshold, we'll assume it's cheaper to add an extra
99 // syscall to write the data immediately instead of copying it to
100 // enqueue.
Austin Schuha36c8902019-12-30 18:07:15 -0800101
Brian Silvermanf51499a2020-09-21 12:49:08 -0700102 // First, flush everything.
103 while (encoder_->queue_size() > 0u) {
104 Flush();
105 }
Austin Schuhde031b72020-01-10 19:34:41 -0800106
Brian Silvermanf51499a2020-09-21 12:49:08 -0700107 // Then, write it directly.
108 const auto start = aos::monotonic_clock::now();
109 const ssize_t written = write(fd_, span.data(), span.size());
110 const auto end = aos::monotonic_clock::now();
Brian Silverman0465fcf2020-09-24 00:29:18 -0700111 HandleWriteReturn(written, span.size());
Brian Silvermanf51499a2020-09-21 12:49:08 -0700112 UpdateStatsForWrite(end - start, written, 1);
113 } else {
114 encoder_->Encode(CopySpanAsDetachedBuffer(span));
Austin Schuha36c8902019-12-30 18:07:15 -0800115 }
Brian Silvermanf51499a2020-09-21 12:49:08 -0700116
117 FlushAtThreshold();
Austin Schuha36c8902019-12-30 18:07:15 -0800118}
119
Brian Silverman0465fcf2020-09-24 00:29:18 -0700120void DetachedBufferWriter::Close() {
121 if (fd_ == -1) {
122 return;
123 }
124 encoder_->Finish();
125 while (encoder_->queue_size() > 0) {
126 Flush();
127 }
128 if (close(fd_) == -1) {
129 if (errno == ENOSPC) {
130 ran_out_of_space_ = true;
131 } else {
132 PLOG(ERROR) << "Closing log file failed";
133 }
134 }
135 fd_ = -1;
136 VLOG(1) << "Closed " << filename_;
137}
138
Austin Schuha36c8902019-12-30 18:07:15 -0800139void DetachedBufferWriter::Flush() {
Brian Silvermanf51499a2020-09-21 12:49:08 -0700140 const auto queue = encoder_->queue();
141 if (queue.empty()) {
Austin Schuha36c8902019-12-30 18:07:15 -0800142 return;
143 }
Brian Silverman0465fcf2020-09-24 00:29:18 -0700144 if (ran_out_of_space_) {
145 // We don't want any later data to be written after space becomes available,
146 // so refuse to write anything more once we've dropped data because we ran
147 // out of space.
148 VLOG(1) << "Ignoring queue: " << queue.size();
149 encoder_->Clear(queue.size());
150 return;
151 }
Brian Silvermanf51499a2020-09-21 12:49:08 -0700152
Austin Schuha36c8902019-12-30 18:07:15 -0800153 iovec_.clear();
Brian Silvermanf51499a2020-09-21 12:49:08 -0700154 const size_t iovec_size = std::min<size_t>(queue.size(), IOV_MAX);
155 iovec_.resize(iovec_size);
Austin Schuha36c8902019-12-30 18:07:15 -0800156 size_t counted_size = 0;
Brian Silvermanf51499a2020-09-21 12:49:08 -0700157 for (size_t i = 0; i < iovec_size; ++i) {
158 iovec_[i].iov_base = const_cast<uint8_t *>(queue[i].data());
159 iovec_[i].iov_len = queue[i].size();
160 counted_size += iovec_[i].iov_len;
Austin Schuha36c8902019-12-30 18:07:15 -0800161 }
Brian Silvermanf51499a2020-09-21 12:49:08 -0700162
163 const auto start = aos::monotonic_clock::now();
Austin Schuha36c8902019-12-30 18:07:15 -0800164 const ssize_t written = writev(fd_, iovec_.data(), iovec_.size());
Brian Silvermanf51499a2020-09-21 12:49:08 -0700165 const auto end = aos::monotonic_clock::now();
Brian Silverman0465fcf2020-09-24 00:29:18 -0700166 HandleWriteReturn(written, counted_size);
Brian Silvermanf51499a2020-09-21 12:49:08 -0700167
168 encoder_->Clear(iovec_size);
169
170 UpdateStatsForWrite(end - start, written, iovec_size);
171}
172
Brian Silverman0465fcf2020-09-24 00:29:18 -0700173void DetachedBufferWriter::HandleWriteReturn(ssize_t write_return,
174 size_t write_size) {
175 if (write_return == -1 && errno == ENOSPC) {
176 ran_out_of_space_ = true;
177 return;
178 }
179 PCHECK(write_return >= 0) << ": write failed";
180 if (write_return < static_cast<ssize_t>(write_size)) {
181 // Sometimes this happens instead of ENOSPC. On a real filesystem, this
182 // never seems to happen in any other case. If we ever want to log to a
183 // socket, this will happen more often. However, until we get there, we'll
184 // just assume it means we ran out of space.
185 ran_out_of_space_ = true;
186 return;
187 }
188}
189
Brian Silvermanf51499a2020-09-21 12:49:08 -0700190void DetachedBufferWriter::UpdateStatsForWrite(
191 aos::monotonic_clock::duration duration, ssize_t written, int iovec_size) {
192 if (duration > max_write_time_) {
193 max_write_time_ = duration;
194 max_write_time_bytes_ = written;
195 max_write_time_messages_ = iovec_size;
196 }
197 total_write_time_ += duration;
198 ++total_write_count_;
199 total_write_messages_ += iovec_size;
200 total_write_bytes_ += written;
201}
202
203void DetachedBufferWriter::FlushAtThreshold() {
204 // Flush if we are at the max number of iovs per writev, because there's no
205 // point queueing up any more data in memory. Also flush once we have enough
206 // data queued up.
207 while (encoder_->queued_bytes() > static_cast<size_t>(FLAGS_flush_size) ||
208 encoder_->queue_size() >= IOV_MAX) {
209 Flush();
210 }
Austin Schuha36c8902019-12-30 18:07:15 -0800211}
212
213flatbuffers::Offset<MessageHeader> PackMessage(
214 flatbuffers::FlatBufferBuilder *fbb, const Context &context,
215 int channel_index, LogType log_type) {
216 flatbuffers::Offset<flatbuffers::Vector<uint8_t>> data_offset;
217
218 switch (log_type) {
219 case LogType::kLogMessage:
220 case LogType::kLogMessageAndDeliveryTime:
Austin Schuh6f3babe2020-01-26 20:34:50 -0800221 case LogType::kLogRemoteMessage:
Brian Silvermaneaa41d62020-07-08 19:47:35 -0700222 data_offset = fbb->CreateVector(
223 static_cast<const uint8_t *>(context.data), context.size);
Austin Schuha36c8902019-12-30 18:07:15 -0800224 break;
225
226 case LogType::kLogDeliveryTimeOnly:
227 break;
228 }
229
230 MessageHeader::Builder message_header_builder(*fbb);
231 message_header_builder.add_channel_index(channel_index);
Austin Schuh6f3babe2020-01-26 20:34:50 -0800232
233 switch (log_type) {
234 case LogType::kLogRemoteMessage:
235 message_header_builder.add_queue_index(context.remote_queue_index);
236 message_header_builder.add_monotonic_sent_time(
237 context.monotonic_remote_time.time_since_epoch().count());
238 message_header_builder.add_realtime_sent_time(
239 context.realtime_remote_time.time_since_epoch().count());
240 break;
241
242 case LogType::kLogMessage:
243 case LogType::kLogMessageAndDeliveryTime:
244 case LogType::kLogDeliveryTimeOnly:
245 message_header_builder.add_queue_index(context.queue_index);
246 message_header_builder.add_monotonic_sent_time(
247 context.monotonic_event_time.time_since_epoch().count());
248 message_header_builder.add_realtime_sent_time(
249 context.realtime_event_time.time_since_epoch().count());
250 break;
251 }
Austin Schuha36c8902019-12-30 18:07:15 -0800252
253 switch (log_type) {
254 case LogType::kLogMessage:
Austin Schuh6f3babe2020-01-26 20:34:50 -0800255 case LogType::kLogRemoteMessage:
Austin Schuha36c8902019-12-30 18:07:15 -0800256 message_header_builder.add_data(data_offset);
257 break;
258
259 case LogType::kLogMessageAndDeliveryTime:
260 message_header_builder.add_data(data_offset);
261 [[fallthrough]];
262
263 case LogType::kLogDeliveryTimeOnly:
264 message_header_builder.add_monotonic_remote_time(
265 context.monotonic_remote_time.time_since_epoch().count());
266 message_header_builder.add_realtime_remote_time(
267 context.realtime_remote_time.time_since_epoch().count());
268 message_header_builder.add_remote_queue_index(context.remote_queue_index);
269 break;
270 }
271
272 return message_header_builder.Finish();
273}
274
Brian Silvermanf51499a2020-09-21 12:49:08 -0700275SpanReader::SpanReader(std::string_view filename) : filename_(filename) {
Brian Silvermanf59fe3f2020-09-22 21:04:09 -0700276 static const std::string_view kXz = ".xz";
277 if (filename.substr(filename.size() - kXz.size()) == kXz) {
278#if ENABLE_LZMA
279 decoder_ = std::make_unique<LzmaDecoder>(filename);
280#else
281 LOG(FATAL) << "Reading xz-compressed files not supported on this platform";
282#endif
283 } else {
284 decoder_ = std::make_unique<DummyDecoder>(filename);
285 }
Austin Schuh05b70472020-01-01 17:11:17 -0800286}
287
288absl::Span<const uint8_t> SpanReader::ReadMessage() {
289 // Make sure we have enough for the size.
290 if (data_.size() - consumed_data_ < sizeof(flatbuffers::uoffset_t)) {
291 if (!ReadBlock()) {
292 return absl::Span<const uint8_t>();
293 }
294 }
295
296 // Now make sure we have enough for the message.
297 const size_t data_size =
298 flatbuffers::GetPrefixedSize(data_.data() + consumed_data_) +
299 sizeof(flatbuffers::uoffset_t);
Austin Schuhe4fca832020-03-07 16:58:53 -0800300 if (data_size == sizeof(flatbuffers::uoffset_t)) {
301 LOG(ERROR) << "Size of data is zero. Log file end is corrupted, skipping.";
302 LOG(ERROR) << " Rest of log file is "
303 << absl::BytesToHexString(std::string_view(
304 reinterpret_cast<const char *>(data_.data() +
305 consumed_data_),
306 data_.size() - consumed_data_));
307 return absl::Span<const uint8_t>();
308 }
Austin Schuh05b70472020-01-01 17:11:17 -0800309 while (data_.size() < consumed_data_ + data_size) {
310 if (!ReadBlock()) {
311 return absl::Span<const uint8_t>();
312 }
313 }
314
315 // And return it, consuming the data.
316 const uint8_t *data_ptr = data_.data() + consumed_data_;
317
318 consumed_data_ += data_size;
319
320 return absl::Span<const uint8_t>(data_ptr, data_size);
321}
322
Austin Schuh05b70472020-01-01 17:11:17 -0800323bool SpanReader::ReadBlock() {
Brian Silvermanf51499a2020-09-21 12:49:08 -0700324 // This is the amount of data we grab at a time. Doing larger chunks minimizes
325 // syscalls and helps decompressors batch things more efficiently.
Austin Schuh05b70472020-01-01 17:11:17 -0800326 constexpr size_t kReadSize = 256 * 1024;
327
328 // Strip off any unused data at the front.
329 if (consumed_data_ != 0) {
Brian Silvermanf51499a2020-09-21 12:49:08 -0700330 data_.erase_front(consumed_data_);
Austin Schuh05b70472020-01-01 17:11:17 -0800331 consumed_data_ = 0;
332 }
333
334 const size_t starting_size = data_.size();
335
336 // This should automatically grow the backing store. It won't shrink if we
337 // get a small chunk later. This reduces allocations when we want to append
338 // more data.
Brian Silvermanf51499a2020-09-21 12:49:08 -0700339 data_.resize(starting_size + kReadSize);
Austin Schuh05b70472020-01-01 17:11:17 -0800340
Brian Silvermanf51499a2020-09-21 12:49:08 -0700341 const size_t count =
342 decoder_->Read(data_.begin() + starting_size, data_.end());
343 data_.resize(starting_size + count);
Austin Schuh05b70472020-01-01 17:11:17 -0800344 if (count == 0) {
Austin Schuh05b70472020-01-01 17:11:17 -0800345 return false;
346 }
Austin Schuh05b70472020-01-01 17:11:17 -0800347
348 return true;
349}
350
Austin Schuhadd6eb32020-11-09 21:24:26 -0800351std::optional<SizePrefixedFlatbufferVector<LogFileHeader>> ReadHeader(
Austin Schuh3bd4c402020-11-06 18:19:06 -0800352 std::string_view filename) {
Austin Schuh6f3babe2020-01-26 20:34:50 -0800353 SpanReader span_reader(filename);
Austin Schuh6f3babe2020-01-26 20:34:50 -0800354 absl::Span<const uint8_t> config_data = span_reader.ReadMessage();
355
356 // Make sure something was read.
Austin Schuh3bd4c402020-11-06 18:19:06 -0800357 if (config_data == absl::Span<const uint8_t>()) {
358 return std::nullopt;
359 }
Austin Schuh6f3babe2020-01-26 20:34:50 -0800360
Austin Schuh5212cad2020-09-09 23:12:09 -0700361 // And copy the config so we have it forever, removing the size prefix.
Brian Silverman354697a2020-09-22 21:06:32 -0700362 ResizeableBuffer data;
Austin Schuhadd6eb32020-11-09 21:24:26 -0800363 data.resize(config_data.size());
364 memcpy(data.data(), config_data.begin(), data.size());
365 return SizePrefixedFlatbufferVector<LogFileHeader>(std::move(data));
Austin Schuh6f3babe2020-01-26 20:34:50 -0800366}
367
Austin Schuhadd6eb32020-11-09 21:24:26 -0800368std::optional<SizePrefixedFlatbufferVector<MessageHeader>> ReadNthMessage(
Austin Schuh3bd4c402020-11-06 18:19:06 -0800369 std::string_view filename, size_t n) {
Austin Schuh5212cad2020-09-09 23:12:09 -0700370 SpanReader span_reader(filename);
371 absl::Span<const uint8_t> data_span = span_reader.ReadMessage();
372 for (size_t i = 0; i < n + 1; ++i) {
373 data_span = span_reader.ReadMessage();
374
375 // Make sure something was read.
Austin Schuh3bd4c402020-11-06 18:19:06 -0800376 if (data_span == absl::Span<const uint8_t>()) {
377 return std::nullopt;
378 }
Austin Schuh5212cad2020-09-09 23:12:09 -0700379 }
380
Brian Silverman354697a2020-09-22 21:06:32 -0700381 // And copy the config so we have it forever, removing the size prefix.
382 ResizeableBuffer data;
Austin Schuhadd6eb32020-11-09 21:24:26 -0800383 data.resize(data_span.size());
384 memcpy(data.data(), data_span.begin(), data.size());
385 return SizePrefixedFlatbufferVector<MessageHeader>(std::move(data));
Austin Schuh5212cad2020-09-09 23:12:09 -0700386}
387
Austin Schuh05b70472020-01-01 17:11:17 -0800388MessageReader::MessageReader(std::string_view filename)
Austin Schuh97789fc2020-08-01 14:42:45 -0700389 : span_reader_(filename),
Austin Schuhadd6eb32020-11-09 21:24:26 -0800390 raw_log_file_header_(
391 SizePrefixedFlatbufferVector<LogFileHeader>::Empty()) {
Austin Schuh05b70472020-01-01 17:11:17 -0800392 // Make sure we have enough to read the size.
Austin Schuh97789fc2020-08-01 14:42:45 -0700393 absl::Span<const uint8_t> header_data = span_reader_.ReadMessage();
Austin Schuh05b70472020-01-01 17:11:17 -0800394
395 // Make sure something was read.
Austin Schuh97789fc2020-08-01 14:42:45 -0700396 CHECK(header_data != absl::Span<const uint8_t>())
397 << ": Failed to read header from: " << filename;
Austin Schuh05b70472020-01-01 17:11:17 -0800398
Austin Schuh97789fc2020-08-01 14:42:45 -0700399 // And copy the header data so we have it forever.
Brian Silverman354697a2020-09-22 21:06:32 -0700400 ResizeableBuffer header_data_copy;
Austin Schuhadd6eb32020-11-09 21:24:26 -0800401 header_data_copy.resize(header_data.size());
402 memcpy(header_data_copy.data(), header_data.begin(), header_data_copy.size());
Austin Schuh97789fc2020-08-01 14:42:45 -0700403 raw_log_file_header_ =
Austin Schuhadd6eb32020-11-09 21:24:26 -0800404 SizePrefixedFlatbufferVector<LogFileHeader>(std::move(header_data_copy));
Austin Schuh05b70472020-01-01 17:11:17 -0800405
Austin Schuhcde938c2020-02-02 17:30:07 -0800406 max_out_of_order_duration_ =
Austin Schuh2f8fd752020-09-01 22:38:28 -0700407 chrono::nanoseconds(log_file_header()->max_out_of_order_duration());
Austin Schuhcde938c2020-02-02 17:30:07 -0800408
409 VLOG(1) << "Opened " << filename << " as node "
410 << FlatbufferToJson(log_file_header()->node());
Austin Schuh05b70472020-01-01 17:11:17 -0800411}
412
Austin Schuhadd6eb32020-11-09 21:24:26 -0800413std::optional<SizePrefixedFlatbufferVector<MessageHeader>>
414MessageReader::ReadMessage() {
Austin Schuh05b70472020-01-01 17:11:17 -0800415 absl::Span<const uint8_t> msg_data = span_reader_.ReadMessage();
416 if (msg_data == absl::Span<const uint8_t>()) {
417 return std::nullopt;
418 }
419
Brian Silverman354697a2020-09-22 21:06:32 -0700420 ResizeableBuffer result_buffer;
Austin Schuhadd6eb32020-11-09 21:24:26 -0800421 result_buffer.resize(msg_data.size());
422 memcpy(result_buffer.data(), msg_data.begin(), result_buffer.size());
423 SizePrefixedFlatbufferVector<MessageHeader> result(std::move(result_buffer));
Austin Schuh05b70472020-01-01 17:11:17 -0800424
425 const monotonic_clock::time_point timestamp = monotonic_clock::time_point(
426 chrono::nanoseconds(result.message().monotonic_sent_time()));
427
428 newest_timestamp_ = std::max(newest_timestamp_, timestamp);
Austin Schuh8bd96322020-02-13 21:18:22 -0800429 VLOG(2) << "Read from " << filename() << " data " << FlatbufferToJson(result);
Austin Schuh6f3babe2020-01-26 20:34:50 -0800430 return std::move(result);
Austin Schuh05b70472020-01-01 17:11:17 -0800431}
432
Austin Schuhc41603c2020-10-11 16:17:37 -0700433PartsMessageReader::PartsMessageReader(LogParts log_parts)
434 : parts_(std::move(log_parts)), message_reader_(parts_.parts[0]) {}
435
Austin Schuhadd6eb32020-11-09 21:24:26 -0800436std::optional<SizePrefixedFlatbufferVector<MessageHeader>>
Austin Schuhc41603c2020-10-11 16:17:37 -0700437PartsMessageReader::ReadMessage() {
438 while (!done_) {
Austin Schuhadd6eb32020-11-09 21:24:26 -0800439 std::optional<SizePrefixedFlatbufferVector<MessageHeader>> message =
Austin Schuhc41603c2020-10-11 16:17:37 -0700440 message_reader_.ReadMessage();
441 if (message) {
442 newest_timestamp_ = message_reader_.newest_timestamp();
Austin Schuh32f68492020-11-08 21:45:51 -0800443 const monotonic_clock::time_point monotonic_sent_time(
444 chrono::nanoseconds(message->message().monotonic_sent_time()));
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800445 // TODO(austin): Does this work with startup? Might need to use the start
446 // time.
447 // TODO(austin): Does this work with startup when we don't know the remote
448 // start time too? Look at one of those logs to compare.
Austin Schuhb000de62020-12-03 22:00:40 -0800449 if (monotonic_sent_time > parts_.monotonic_start_time) {
450 CHECK_GE(monotonic_sent_time,
451 newest_timestamp_ - max_out_of_order_duration())
452 << ": Max out of order exceeded. " << parts_;
453 }
Austin Schuhc41603c2020-10-11 16:17:37 -0700454 return message;
455 }
456 NextLog();
457 }
Austin Schuh32f68492020-11-08 21:45:51 -0800458 newest_timestamp_ = monotonic_clock::max_time;
Austin Schuhc41603c2020-10-11 16:17:37 -0700459 return std::nullopt;
460}
461
462void PartsMessageReader::NextLog() {
463 if (next_part_index_ == parts_.parts.size()) {
464 done_ = true;
465 return;
466 }
467 message_reader_ = MessageReader(parts_.parts[next_part_index_]);
468 ++next_part_index_;
469}
470
Austin Schuh1be0ce42020-11-29 22:43:26 -0800471bool Message::operator<(const Message &m2) const {
472 if (this->timestamp < m2.timestamp) {
473 return true;
474 } else if (this->timestamp > m2.timestamp) {
475 return false;
476 }
477
478 if (this->channel_index < m2.channel_index) {
479 return true;
480 } else if (this->channel_index > m2.channel_index) {
481 return false;
482 }
483
484 return this->queue_index < m2.queue_index;
485}
486
487bool Message::operator>=(const Message &m2) const { return !(*this < m2); }
Austin Schuh8f52ed52020-11-30 23:12:39 -0800488bool Message::operator==(const Message &m2) const {
489 return timestamp == m2.timestamp && channel_index == m2.channel_index &&
490 queue_index == m2.queue_index;
491}
Austin Schuh1be0ce42020-11-29 22:43:26 -0800492
493std::ostream &operator<<(std::ostream &os, const Message &m) {
494 os << "{.channel_index=" << m.channel_index
Austin Schuhd2f96102020-12-01 20:27:29 -0800495 << ", .queue_index=" << m.queue_index << ", .timestamp=" << m.timestamp;
496 if (m.data.Verify()) {
497 os << ", .data="
498 << aos::FlatbufferToJson(m.data,
499 {.multi_line = false, .max_vector_size = 1});
500 }
501 os << "}";
502 return os;
503}
504
505std::ostream &operator<<(std::ostream &os, const TimestampedMessage &m) {
506 os << "{.channel_index=" << m.channel_index
507 << ", .queue_index=" << m.queue_index
508 << ", .monotonic_event_time=" << m.monotonic_event_time
509 << ", .realtime_event_time=" << m.realtime_event_time;
510 if (m.remote_queue_index != 0xffffffff) {
511 os << ", .remote_queue_index=" << m.remote_queue_index;
512 }
513 if (m.monotonic_remote_time != monotonic_clock::min_time) {
514 os << ", .monotonic_remote_time=" << m.monotonic_remote_time;
515 }
516 if (m.realtime_remote_time != realtime_clock::min_time) {
517 os << ", .realtime_remote_time=" << m.realtime_remote_time;
518 }
519 if (m.data.Verify()) {
520 os << ", .data="
521 << aos::FlatbufferToJson(m.data,
522 {.multi_line = false, .max_vector_size = 1});
523 }
524 os << "}";
Austin Schuh1be0ce42020-11-29 22:43:26 -0800525 return os;
526}
527
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800528LogPartsSorter::LogPartsSorter(LogParts log_parts)
529 : parts_message_reader_(log_parts) {}
530
531Message *LogPartsSorter::Front() {
532 // Queue up data until enough data has been queued that the front message is
533 // sorted enough to be safe to pop. This may do nothing, so we should make
534 // sure the nothing path is checked quickly.
535 if (sorted_until() != monotonic_clock::max_time) {
536 while (true) {
Austin Schuhb000de62020-12-03 22:00:40 -0800537 if (!messages_.empty() && messages_.begin()->timestamp < sorted_until() &&
538 sorted_until() >= monotonic_start_time()) {
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800539 break;
540 }
541
542 std::optional<SizePrefixedFlatbufferVector<MessageHeader>> m =
543 parts_message_reader_.ReadMessage();
544 // No data left, sorted forever, work through what is left.
545 if (!m) {
546 sorted_until_ = monotonic_clock::max_time;
547 break;
548 }
549
550 messages_.insert(
551 {.channel_index = m.value().message().channel_index(),
552 .queue_index = m.value().message().queue_index(),
553 .timestamp = monotonic_clock::time_point(std::chrono::nanoseconds(
554 m.value().message().monotonic_sent_time())),
555 .data = std::move(m.value())});
556
557 // Now, update sorted_until_ to match the new message.
558 if (parts_message_reader_.newest_timestamp() >
559 monotonic_clock::min_time +
560 parts_message_reader_.max_out_of_order_duration()) {
561 sorted_until_ = parts_message_reader_.newest_timestamp() -
562 parts_message_reader_.max_out_of_order_duration();
563 } else {
564 sorted_until_ = monotonic_clock::min_time;
565 }
566 }
567 }
568
569 // Now that we have enough data queued, return a pointer to the oldest piece
570 // of data if it exists.
571 if (messages_.empty()) {
Austin Schuhb000de62020-12-03 22:00:40 -0800572 last_message_time_ = monotonic_clock::max_time;
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800573 return nullptr;
574 }
575
Austin Schuhb000de62020-12-03 22:00:40 -0800576 CHECK_GE(messages_.begin()->timestamp, last_message_time_);
577 last_message_time_ = messages_.begin()->timestamp;
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800578 return &(*messages_.begin());
579}
580
581void LogPartsSorter::PopFront() { messages_.erase(messages_.begin()); }
582
583std::string LogPartsSorter::DebugString() const {
584 std::stringstream ss;
585 ss << "messages: [\n";
586 for (const Message &m : messages_) {
587 ss << m << "\n";
588 }
589 ss << "] <- " << parts_message_reader_.filename();
590 return ss.str();
591}
592
Austin Schuhd2f96102020-12-01 20:27:29 -0800593NodeMerger::NodeMerger(std::vector<LogParts> parts) {
594 CHECK_GE(parts.size(), 1u);
595 const std::string part0_node = parts[0].node;
596 for (size_t i = 1; i < parts.size(); ++i) {
597 CHECK_EQ(part0_node, parts[i].node) << ": Can't merge different nodes.";
598 }
599 for (LogParts &part : parts) {
600 parts_sorters_.emplace_back(std::move(part));
601 }
602
603 node_ = configuration::GetNodeIndex(log_file_header()->configuration(),
604 part0_node);
605
606 monotonic_start_time_ = monotonic_clock::max_time;
607 realtime_start_time_ = realtime_clock::max_time;
608 for (const LogPartsSorter &parts_sorter : parts_sorters_) {
609 if (parts_sorter.monotonic_start_time() < monotonic_start_time_) {
610 monotonic_start_time_ = parts_sorter.monotonic_start_time();
611 realtime_start_time_ = parts_sorter.realtime_start_time();
612 }
613 }
614}
Austin Schuh8f52ed52020-11-30 23:12:39 -0800615
616Message *NodeMerger::Front() {
617 // Return the current Front if we have one, otherwise go compute one.
618 if (current_ != nullptr) {
Austin Schuhb000de62020-12-03 22:00:40 -0800619 Message *result = current_->Front();
620 CHECK_GE(result->timestamp, last_message_time_);
621 return result;
Austin Schuh8f52ed52020-11-30 23:12:39 -0800622 }
623
624 // Otherwise, do a simple search for the oldest message, deduplicating any
625 // duplicates.
626 Message *oldest = nullptr;
627 sorted_until_ = monotonic_clock::max_time;
Austin Schuhd2f96102020-12-01 20:27:29 -0800628 for (LogPartsSorter &parts_sorter : parts_sorters_) {
629 Message *m = parts_sorter.Front();
Austin Schuh8f52ed52020-11-30 23:12:39 -0800630 if (!m) {
Austin Schuhd2f96102020-12-01 20:27:29 -0800631 sorted_until_ = std::min(sorted_until_, parts_sorter.sorted_until());
Austin Schuh8f52ed52020-11-30 23:12:39 -0800632 continue;
633 }
634 if (oldest == nullptr || *m < *oldest) {
635 oldest = m;
Austin Schuhd2f96102020-12-01 20:27:29 -0800636 current_ = &parts_sorter;
Austin Schuh8f52ed52020-11-30 23:12:39 -0800637 } else if (*m == *oldest) {
638 // Found a duplicate. It doesn't matter which one we return. It is
639 // easiest to just drop the new one.
Austin Schuhd2f96102020-12-01 20:27:29 -0800640 parts_sorter.PopFront();
Austin Schuh8f52ed52020-11-30 23:12:39 -0800641 }
642
643 // PopFront may change this, so compute it down here.
Austin Schuhd2f96102020-12-01 20:27:29 -0800644 sorted_until_ = std::min(sorted_until_, parts_sorter.sorted_until());
Austin Schuh8f52ed52020-11-30 23:12:39 -0800645 }
646
Austin Schuhb000de62020-12-03 22:00:40 -0800647 if (oldest) {
648 CHECK_GE(oldest->timestamp, last_message_time_);
649 last_message_time_ = oldest->timestamp;
650 } else {
651 last_message_time_ = monotonic_clock::max_time;
652 }
653
Austin Schuh8f52ed52020-11-30 23:12:39 -0800654 // Return the oldest message found. This will be nullptr if nothing was
655 // found, indicating there is nothing left.
656 return oldest;
657}
658
659void NodeMerger::PopFront() {
660 CHECK(current_ != nullptr) << "Popping before calling Front()";
661 current_->PopFront();
662 current_ = nullptr;
663}
664
Austin Schuhd2f96102020-12-01 20:27:29 -0800665TimestampMapper::TimestampMapper(std::vector<LogParts> parts)
666 : node_merger_(std::move(parts)),
Austin Schuhd2f96102020-12-01 20:27:29 -0800667 message_{.channel_index = 0xffffffff,
668 .queue_index = 0xffffffff,
669 .monotonic_event_time = monotonic_clock::min_time,
670 .realtime_event_time = realtime_clock::min_time,
671 .remote_queue_index = 0xffffffff,
672 .monotonic_remote_time = monotonic_clock::min_time,
673 .realtime_remote_time = realtime_clock::min_time,
674 .data = SizePrefixedFlatbufferVector<MessageHeader>::Empty()} {
675 const Configuration *config = log_file_header()->configuration();
676 // Only fill out nodes_data_ if there are nodes. Otherwise everything gets
677 // pretty simple.
678 if (configuration::MultiNode(config)) {
679 nodes_data_.resize(config->nodes()->size());
680 const Node *my_node = config->nodes()->Get(node());
681 for (size_t node_index = 0; node_index < nodes_data_.size(); ++node_index) {
682 const Node *node = config->nodes()->Get(node_index);
683 NodeData *node_data = &nodes_data_[node_index];
684 node_data->channels.resize(config->channels()->size());
685 // We should save the channel if it is delivered to the node represented
686 // by the NodeData, but not sent by that node. That combo means it is
687 // forwarded.
688 size_t channel_index = 0;
689 node_data->any_delivered = false;
690 for (const Channel *channel : *config->channels()) {
691 node_data->channels[channel_index].delivered =
692 configuration::ChannelIsReadableOnNode(channel, node) &&
693 configuration::ChannelIsSendableOnNode(channel, my_node);
694 node_data->any_delivered = node_data->any_delivered ||
695 node_data->channels[channel_index].delivered;
696 ++channel_index;
697 }
698 }
699
700 for (const Channel *channel : *config->channels()) {
701 source_node_.emplace_back(configuration::GetNodeIndex(
702 config, channel->source_node()->string_view()));
703 }
704 }
705}
706
707void TimestampMapper::AddPeer(TimestampMapper *timestamp_mapper) {
708 CHECK(configuration::MultiNode(log_file_header()->configuration()));
709 CHECK_NE(timestamp_mapper->node(), node());
710 CHECK_LT(timestamp_mapper->node(), nodes_data_.size());
711
712 NodeData *node_data = &nodes_data_[timestamp_mapper->node()];
713 // Only set it if this node delivers to the peer timestamp_mapper. Otherwise
714 // we could needlessly save data.
715 if (node_data->any_delivered) {
716 LOG(INFO) << "Registering on node " << node() << " for peer node "
717 << timestamp_mapper->node();
718 CHECK(timestamp_mapper->nodes_data_[node()].peer == nullptr);
719
720 timestamp_mapper->nodes_data_[node()].peer = this;
721 }
722}
723
724void TimestampMapper::FillMessage(Message *m) {
725 message_ = {
726 .channel_index = m->channel_index,
727 .queue_index = m->queue_index,
728 .monotonic_event_time = m->timestamp,
729 .realtime_event_time = aos::realtime_clock::time_point(
730 std::chrono::nanoseconds(m->data.message().realtime_sent_time())),
731 .remote_queue_index = 0xffffffff,
732 .monotonic_remote_time = monotonic_clock::min_time,
733 .realtime_remote_time = realtime_clock::min_time,
734 .data = std::move(m->data)};
735}
736
737TimestampedMessage *TimestampMapper::Front() {
738 // No need to fetch anything new. A previous message still exists.
739 switch (first_message_) {
740 case FirstMessage::kNeedsUpdate:
741 break;
742 case FirstMessage::kInMessage:
743 return &message_;
744 case FirstMessage::kNullptr:
745 return nullptr;
746 }
747
748 if (nodes_data_.empty()) {
749 // Simple path. We are single node, so there are no timestamps to match!
750 CHECK_EQ(messages_.size(), 0u);
751 Message *m = node_merger_.Front();
752 if (!m) {
753 first_message_ = FirstMessage::kNullptr;
754 return nullptr;
755 }
756 // Fill in message_ so we have a place to associate remote timestamps, and
757 // return it.
758 FillMessage(m);
759
760 CHECK_GE(message_.monotonic_event_time, last_message_time_);
761 last_message_time_ = message_.monotonic_event_time;
762 first_message_ = FirstMessage::kInMessage;
763 return &message_;
764 }
765
766 // We need to only add messages to the list so they get processed for messages
767 // which are delivered. Reuse the flow below which uses messages_ by just
768 // adding the new message to messages_ and continuing.
769 if (messages_.empty()) {
770 if (!Queue()) {
771 // Found nothing to add, we are out of data!
772 first_message_ = FirstMessage::kNullptr;
773 return nullptr;
774 }
775
776 // Now that it has been added (and cannibalized), forget about it upstream.
777 node_merger_.PopFront();
778 }
779
780 Message *m = &(messages_.front());
781
782 if (source_node_[m->channel_index] == node()) {
783 // From us, just forward it on, filling the remote data in as invalid.
784 FillMessage(m);
785 CHECK_GE(message_.monotonic_event_time, last_message_time_);
786 last_message_time_ = message_.monotonic_event_time;
787 first_message_ = FirstMessage::kInMessage;
788 return &message_;
789 } else {
790 // Got a timestamp, find the matching remote data, match it, and return it.
791 Message data = MatchingMessageFor(*m);
792
793 // Return the data from the remote. The local message only has timestamp
794 // info which isn't relevant anymore once extracted.
795 message_ = {
796 .channel_index = m->channel_index,
797 .queue_index = m->queue_index,
798 .monotonic_event_time = m->timestamp,
799 .realtime_event_time = aos::realtime_clock::time_point(
800 std::chrono::nanoseconds(m->data.message().realtime_sent_time())),
801 .remote_queue_index = m->data.message().remote_queue_index(),
802 .monotonic_remote_time =
803 monotonic_clock::time_point(std::chrono::nanoseconds(
804 m->data.message().monotonic_remote_time())),
805 .realtime_remote_time = realtime_clock::time_point(
806 std::chrono::nanoseconds(m->data.message().realtime_remote_time())),
807 .data = std::move(data.data)};
808 CHECK_GE(message_.monotonic_event_time, last_message_time_);
809 last_message_time_ = message_.monotonic_event_time;
810 first_message_ = FirstMessage::kInMessage;
811 return &message_;
812 }
813}
814
815void TimestampMapper::PopFront() {
816 CHECK(first_message_ != FirstMessage::kNeedsUpdate);
817 first_message_ = FirstMessage::kNeedsUpdate;
818
819 if (nodes_data_.empty()) {
820 // We are thin wrapper around node_merger. Call it directly.
821 node_merger_.PopFront();
822 } else {
823 // Since messages_ holds the data, drop it.
824 messages_.pop_front();
825 }
826}
827
828Message TimestampMapper::MatchingMessageFor(const Message &message) {
829 TimestampMapper *peer =
830 CHECK_NOTNULL(nodes_data_[source_node_[message.channel_index]].peer);
831 // The queue which will have the matching data, if available.
832 std::deque<Message> *data_queue =
833 &peer->nodes_data_[node()].channels[message.channel_index].messages;
834
835 // Figure out what queue index we are looking for.
836 CHECK(message.data.message().has_remote_queue_index());
837 const uint32_t remote_queue_index =
838 message.data.message().remote_queue_index();
839
840 CHECK(message.data.message().has_monotonic_remote_time());
841 CHECK(message.data.message().has_realtime_remote_time());
842
843 const monotonic_clock::time_point monotonic_remote_time(
844 std::chrono::nanoseconds(message.data.message().monotonic_remote_time()));
845 const realtime_clock::time_point realtime_remote_time(
846 std::chrono::nanoseconds(message.data.message().realtime_remote_time()));
847
848 peer->QueueUntil(monotonic_remote_time);
849
850 if (data_queue->empty()) {
851 return Message{
852 .channel_index = message.channel_index,
853 .queue_index = remote_queue_index,
854 .timestamp = monotonic_remote_time,
855 .data = SizePrefixedFlatbufferVector<MessageHeader>::Empty()};
856 }
857
858 // The algorithm below is constant time with some assumptions. We need there
859 // to be no missing messages in the data stream. This also assumes a queue
860 // hasn't wrapped. That is conservative, but should let us get started.
861 //
862 // TODO(austin): We can break these assumptions pretty easily once we have a
863 // need.
864 CHECK_EQ(
865 data_queue->back().queue_index - data_queue->front().queue_index + 1u,
866 data_queue->size());
867
868 if (remote_queue_index < data_queue->front().queue_index ||
869 remote_queue_index > data_queue->back().queue_index) {
870 return Message{
871 .channel_index = message.channel_index,
872 .queue_index = remote_queue_index,
873 .timestamp = monotonic_remote_time,
874 .data = SizePrefixedFlatbufferVector<MessageHeader>::Empty()};
875 }
876
877 // Pull the data out and confirm that the timestamps match as expected.
878 Message result = std::move(
879 (*data_queue)[remote_queue_index - data_queue->front().queue_index]);
880 CHECK_EQ(result.timestamp, monotonic_remote_time)
881 << ": Queue index matches, but timestamp doesn't. Please investigate!";
882 CHECK_EQ(realtime_clock::time_point(std::chrono::nanoseconds(
883 result.data.message().realtime_sent_time())),
884 realtime_remote_time)
885 << ": Queue index matches, but timestamp doesn't. Please investigate!";
886 // Now drop the data off the front. We have deduplicated timestamps, so we
887 // are done. And all the data is in order.
888 data_queue->erase(data_queue->begin(),
889 data_queue->begin() + (1 + remote_queue_index -
890 data_queue->front().queue_index));
891 return result;
892}
893
894void TimestampMapper::QueueUntil(monotonic_clock::time_point t) {
895 if (queued_until_ > t) {
896 return;
897 }
898 while (true) {
899 if (!messages_.empty() && messages_.back().timestamp > t) {
900 queued_until_ = std::max(queued_until_, messages_.back().timestamp);
901 return;
902 }
903
904 if (!Queue()) {
905 // Found nothing to add, we are out of data!
906 queued_until_ = monotonic_clock::max_time;
907 return;
908 }
909
910 // Now that it has been added (and cannibalized), forget about it upstream.
911 node_merger_.PopFront();
912 }
913}
914
915bool TimestampMapper::Queue() {
916 Message *m = node_merger_.Front();
917 if (m == nullptr) {
918 return false;
919 }
920 for (NodeData &node_data : nodes_data_) {
921 if (!node_data.any_delivered) continue;
922 if (node_data.channels[m->channel_index].delivered) {
923 // TODO(austin): This copies the data... Probably not worth stressing
924 // about yet.
925 // TODO(austin): Bound how big this can get. We tend not to send massive
926 // data, so we can probably ignore this for a bit.
927 node_data.channels[m->channel_index].messages.emplace_back(*m);
928 }
929 }
930
931 messages_.emplace_back(std::move(*m));
932 return true;
933}
934
935std::string TimestampMapper::DebugString() const {
936 std::stringstream ss;
937 ss << "node " << node() << " [\n";
938 for (const Message &message : messages_) {
939 ss << " " << message << "\n";
940 }
941 ss << "] queued_until " << queued_until_;
942 for (const NodeData &ns : nodes_data_) {
943 if (ns.peer == nullptr) continue;
944 ss << "\nnode " << ns.peer->node() << " remote_data [\n";
945 size_t channel_index = 0;
946 for (const NodeData::ChannelData &channel_data :
947 ns.peer->nodes_data_[node()].channels) {
948 if (channel_data.messages.empty()) {
949 continue;
950 }
Austin Schuhb000de62020-12-03 22:00:40 -0800951
Austin Schuhd2f96102020-12-01 20:27:29 -0800952 ss << " channel " << channel_index << " [\n";
953 for (const Message &m : channel_data.messages) {
954 ss << " " << m << "\n";
955 }
956 ss << " ]\n";
957 ++channel_index;
958 }
959 ss << "] queued_until " << ns.peer->queued_until_;
960 }
961 return ss.str();
962}
963
Austin Schuhee711052020-08-24 16:06:09 -0700964std::string MaybeNodeName(const Node *node) {
965 if (node != nullptr) {
966 return node->name()->str() + " ";
967 }
968 return "";
969}
970
Brian Silvermanf51499a2020-09-21 12:49:08 -0700971} // namespace aos::logger