blob: 56b582f1c9aafea2f8cccc000fdc07ab9eef404d [file] [log] [blame]
Austin Schuha36c8902019-12-30 18:07:15 -08001#ifndef AOS_EVENTS_LOGGING_LOGFILE_UTILS_H_
2#define AOS_EVENTS_LOGGING_LOGFILE_UTILS_H_
3
4#include <sys/uio.h>
5
Austin Schuh97789fc2020-08-01 14:42:45 -07006#include <chrono>
Austin Schuh05b70472020-01-01 17:11:17 -08007#include <deque>
Austin Schuh97789fc2020-08-01 14:42:45 -07008#include <limits>
9#include <memory>
Austin Schuh05b70472020-01-01 17:11:17 -080010#include <optional>
Austin Schuhfa895892020-01-07 20:07:41 -080011#include <string>
Austin Schuha36c8902019-12-30 18:07:15 -080012#include <string_view>
Brian Silverman98360e22020-04-28 16:51:20 -070013#include <tuple>
Austin Schuh97789fc2020-08-01 14:42:45 -070014#include <utility>
Austin Schuha36c8902019-12-30 18:07:15 -080015#include <vector>
16
Austin Schuh4b5c22a2020-11-30 22:58:43 -080017#include "absl/container/btree_set.h"
Austin Schuh05b70472020-01-01 17:11:17 -080018#include "absl/types/span.h"
Brian Silvermanf51499a2020-09-21 12:49:08 -070019#include "aos/containers/resizeable_buffer.h"
Austin Schuha36c8902019-12-30 18:07:15 -080020#include "aos/events/event_loop.h"
Austin Schuh2dc8c7d2021-07-01 17:41:28 -070021#include "aos/events/logging/boot_timestamp.h"
Brian Silvermanf51499a2020-09-21 12:49:08 -070022#include "aos/events/logging/buffer_encoder.h"
Austin Schuhc41603c2020-10-11 16:17:37 -070023#include "aos/events/logging/logfile_sorting.h"
Austin Schuha36c8902019-12-30 18:07:15 -080024#include "aos/events/logging/logger_generated.h"
Brian Silvermanf51499a2020-09-21 12:49:08 -070025#include "aos/flatbuffers.h"
Austin Schuha36c8902019-12-30 18:07:15 -080026#include "flatbuffers/flatbuffers.h"
27
Brian Silvermanf51499a2020-09-21 12:49:08 -070028namespace aos::logger {
Austin Schuha36c8902019-12-30 18:07:15 -080029
30enum class LogType : uint8_t {
31 // The message originated on this node and should be logged here.
32 kLogMessage,
33 // The message originated on another node, but only the delivery times are
34 // logged here.
35 kLogDeliveryTimeOnly,
36 // The message originated on another node. Log it and the delivery times
37 // together. The message_gateway is responsible for logging any messages
38 // which didn't get delivered.
Austin Schuh6f3babe2020-01-26 20:34:50 -080039 kLogMessageAndDeliveryTime,
40 // The message originated on the other node and should be logged on this node.
41 kLogRemoteMessage
Austin Schuha36c8902019-12-30 18:07:15 -080042};
43
Austin Schuha36c8902019-12-30 18:07:15 -080044// This class manages efficiently writing a sequence of detached buffers to a
Brian Silvermanf51499a2020-09-21 12:49:08 -070045// file. It encodes them, queues them up, and batches the write operation.
Austin Schuha36c8902019-12-30 18:07:15 -080046class DetachedBufferWriter {
47 public:
Brian Silvermana9f2ec92020-10-06 18:00:53 -070048 // Marker struct for one of our constructor overloads.
49 struct already_out_of_space_t {};
50
Brian Silvermanf51499a2020-09-21 12:49:08 -070051 DetachedBufferWriter(std::string_view filename,
52 std::unique_ptr<DetachedBufferEncoder> encoder);
Brian Silvermana9f2ec92020-10-06 18:00:53 -070053 // Creates a dummy instance which won't even open a file. It will act as if
54 // opening the file ran out of space immediately.
55 DetachedBufferWriter(already_out_of_space_t) : ran_out_of_space_(true) {}
Austin Schuh2f8fd752020-09-01 22:38:28 -070056 DetachedBufferWriter(DetachedBufferWriter &&other);
57 DetachedBufferWriter(const DetachedBufferWriter &) = delete;
58
Austin Schuha36c8902019-12-30 18:07:15 -080059 ~DetachedBufferWriter();
60
Austin Schuh2f8fd752020-09-01 22:38:28 -070061 DetachedBufferWriter &operator=(DetachedBufferWriter &&other);
Brian Silverman98360e22020-04-28 16:51:20 -070062 DetachedBufferWriter &operator=(const DetachedBufferWriter &) = delete;
63
Austin Schuh6f3babe2020-01-26 20:34:50 -080064 std::string_view filename() const { return filename_; }
65
Brian Silvermana9f2ec92020-10-06 18:00:53 -070066 // This will be true until Close() is called, unless the file couldn't be
67 // created due to running out of space.
68 bool is_open() const { return fd_ != -1; }
69
Brian Silvermanf51499a2020-09-21 12:49:08 -070070 // Queues up a finished FlatBufferBuilder to be encoded and written.
71 //
72 // Triggers a flush if there's enough data queued up.
73 //
74 // Steals the detached buffer from it.
Austin Schuhbd06ae42021-03-31 22:48:21 -070075 void QueueSizedFlatbuffer(flatbuffers::FlatBufferBuilder *fbb,
76 aos::monotonic_clock::time_point now) {
77 QueueSizedFlatbuffer(fbb->Release(), now);
Brian Silvermanf51499a2020-09-21 12:49:08 -070078 }
79 // May steal the backing storage of buffer, or may leave it alone.
Austin Schuhbd06ae42021-03-31 22:48:21 -070080 void QueueSizedFlatbuffer(flatbuffers::DetachedBuffer &&buffer,
81 aos::monotonic_clock::time_point now) {
82 QueueSizedFlatbuffer(std::move(buffer));
83 FlushAtThreshold(now);
84 }
85 // Unconditionally queues the buffer.
Brian Silvermanf51499a2020-09-21 12:49:08 -070086 void QueueSizedFlatbuffer(flatbuffers::DetachedBuffer &&buffer) {
Brian Silvermana9f2ec92020-10-06 18:00:53 -070087 if (ran_out_of_space_) {
88 return;
89 }
Brian Silvermanf51499a2020-09-21 12:49:08 -070090 encoder_->Encode(std::move(buffer));
Brian Silvermanf51499a2020-09-21 12:49:08 -070091 }
Austin Schuha36c8902019-12-30 18:07:15 -080092
Brian Silvermanf51499a2020-09-21 12:49:08 -070093 // Queues up data in span. May copy or may write it to disk immediately.
94 void QueueSpan(absl::Span<const uint8_t> span);
Austin Schuha36c8902019-12-30 18:07:15 -080095
Brian Silverman0465fcf2020-09-24 00:29:18 -070096 // Indicates we got ENOSPC when trying to write. After this returns true, no
97 // further data is written.
98 bool ran_out_of_space() const { return ran_out_of_space_; }
99
100 // To avoid silently failing to write logfiles, you must call this before
101 // destruction if ran_out_of_space() is true and the situation has been
102 // handled.
103 void acknowledge_out_of_space() {
104 CHECK(ran_out_of_space_);
105 acknowledge_ran_out_of_space_ = true;
106 }
107
108 // Fully flushes and closes the underlying file now. No additional data may be
109 // enqueued after calling this.
110 //
111 // This will be performed in the destructor automatically.
112 //
113 // Note that this may set ran_out_of_space().
114 void Close();
115
Brian Silvermanf51499a2020-09-21 12:49:08 -0700116 // Returns the total number of bytes written and currently queued.
Austin Schuha426f1f2021-03-31 22:27:41 -0700117 size_t total_bytes() const {
118 if (!encoder_) {
119 return 0;
120 }
121 return encoder_->total_bytes();
122 }
Austin Schuha36c8902019-12-30 18:07:15 -0800123
Brian Silvermanf51499a2020-09-21 12:49:08 -0700124 // The maximum time for a single write call, or 0 if none have been performed.
125 std::chrono::nanoseconds max_write_time() const { return max_write_time_; }
126 // The number of bytes in the longest write call, or -1 if none have been
127 // performed.
128 int max_write_time_bytes() const { return max_write_time_bytes_; }
129 // The number of buffers in the longest write call, or -1 if none have been
130 // performed.
131 int max_write_time_messages() const { return max_write_time_messages_; }
132 // The total time spent in write calls.
133 std::chrono::nanoseconds total_write_time() const {
134 return total_write_time_;
135 }
136 // The total number of writes which have been performed.
137 int total_write_count() const { return total_write_count_; }
138 // The total number of messages which have been written.
139 int total_write_messages() const { return total_write_messages_; }
140 // The total number of bytes which have been written.
141 int total_write_bytes() const { return total_write_bytes_; }
142 void ResetStatistics() {
143 max_write_time_ = std::chrono::nanoseconds::zero();
144 max_write_time_bytes_ = -1;
145 max_write_time_messages_ = -1;
146 total_write_time_ = std::chrono::nanoseconds::zero();
147 total_write_count_ = 0;
148 total_write_messages_ = 0;
149 total_write_bytes_ = 0;
150 }
Brian Silverman98360e22020-04-28 16:51:20 -0700151
Austin Schuha36c8902019-12-30 18:07:15 -0800152 private:
Brian Silvermanf51499a2020-09-21 12:49:08 -0700153 // Performs a single writev call with as much of the data we have queued up as
154 // possible.
155 //
156 // This will normally take all of the data we have queued up, unless an
157 // encoder has spit out a big enough chunk all at once that we can't manage
158 // all of it.
159 void Flush();
160
Brian Silverman0465fcf2020-09-24 00:29:18 -0700161 // write_return is what write(2) or writev(2) returned. write_size is the
162 // number of bytes we expected it to write.
163 void HandleWriteReturn(ssize_t write_return, size_t write_size);
164
Brian Silvermanf51499a2020-09-21 12:49:08 -0700165 void UpdateStatsForWrite(aos::monotonic_clock::duration duration,
166 ssize_t written, int iovec_size);
167
168 // Flushes data if we've reached the threshold to do that as part of normal
Austin Schuhbd06ae42021-03-31 22:48:21 -0700169 // operation either due to the outstanding queued data, or because we have
170 // passed our flush period. now is the current time to save some CPU grabbing
171 // the current time. It just needs to be close.
172 void FlushAtThreshold(aos::monotonic_clock::time_point now);
Brian Silvermanf51499a2020-09-21 12:49:08 -0700173
Austin Schuh2f8fd752020-09-01 22:38:28 -0700174 std::string filename_;
Brian Silvermanf51499a2020-09-21 12:49:08 -0700175 std::unique_ptr<DetachedBufferEncoder> encoder_;
Austin Schuh6f3babe2020-01-26 20:34:50 -0800176
Austin Schuha36c8902019-12-30 18:07:15 -0800177 int fd_ = -1;
Brian Silverman0465fcf2020-09-24 00:29:18 -0700178 bool ran_out_of_space_ = false;
179 bool acknowledge_ran_out_of_space_ = false;
Austin Schuha36c8902019-12-30 18:07:15 -0800180
Austin Schuha36c8902019-12-30 18:07:15 -0800181 // List of iovecs to use with writev. This is a member variable to avoid
182 // churn.
183 std::vector<struct iovec> iovec_;
Brian Silvermanf51499a2020-09-21 12:49:08 -0700184
185 std::chrono::nanoseconds max_write_time_ = std::chrono::nanoseconds::zero();
186 int max_write_time_bytes_ = -1;
187 int max_write_time_messages_ = -1;
188 std::chrono::nanoseconds total_write_time_ = std::chrono::nanoseconds::zero();
189 int total_write_count_ = 0;
190 int total_write_messages_ = 0;
191 int total_write_bytes_ = 0;
Austin Schuhbd06ae42021-03-31 22:48:21 -0700192
193 aos::monotonic_clock::time_point last_flush_time_ =
194 aos::monotonic_clock::min_time;
Austin Schuha36c8902019-12-30 18:07:15 -0800195};
196
197// Packes a message pointed to by the context into a MessageHeader.
198flatbuffers::Offset<MessageHeader> PackMessage(
199 flatbuffers::FlatBufferBuilder *fbb, const Context &context,
200 int channel_index, LogType log_type);
201
Austin Schuh0e8db662021-07-06 10:43:47 -0700202// Reads the last header from a log file. This handles any duplicate headers
203// that were written.
Austin Schuhadd6eb32020-11-09 21:24:26 -0800204std::optional<SizePrefixedFlatbufferVector<LogFileHeader>> ReadHeader(
Austin Schuh3bd4c402020-11-06 18:19:06 -0800205 std::string_view filename);
Austin Schuh0e8db662021-07-06 10:43:47 -0700206// Reads the Nth message from a log file, excluding the header. Note: this
207// doesn't handle duplicate headers.
Austin Schuhadd6eb32020-11-09 21:24:26 -0800208std::optional<SizePrefixedFlatbufferVector<MessageHeader>> ReadNthMessage(
Austin Schuh3bd4c402020-11-06 18:19:06 -0800209 std::string_view filename, size_t n);
Austin Schuh6f3babe2020-01-26 20:34:50 -0800210
Austin Schuh05b70472020-01-01 17:11:17 -0800211// Class to read chunks out of a log file.
212class SpanReader {
213 public:
214 SpanReader(std::string_view filename);
Austin Schuha36c8902019-12-30 18:07:15 -0800215
Austin Schuh6f3babe2020-01-26 20:34:50 -0800216 std::string_view filename() const { return filename_; }
217
Austin Schuhcf5f6442021-07-06 10:43:28 -0700218 // Returns a span with the data for the next message from the log file,
219 // including the size. The result is only guarenteed to be valid until
220 // ReadMessage() or PeekMessage() is called again.
Austin Schuh05b70472020-01-01 17:11:17 -0800221 absl::Span<const uint8_t> ReadMessage();
222
Austin Schuhcf5f6442021-07-06 10:43:28 -0700223 // Returns a span with the data for the next message without consuming it.
224 // Multiple calls to PeekMessage return the same data. ReadMessage or
225 // ConsumeMessage must be called to get the next message.
226 absl::Span<const uint8_t> PeekMessage();
227 // Consumes the message so the next call to ReadMessage or PeekMessage returns
228 // new data. This does not invalidate the data.
229 void ConsumeMessage();
230
Austin Schuh05b70472020-01-01 17:11:17 -0800231 private:
232 // TODO(austin): Optimization:
233 // Allocate the 256k blocks like we do today. But, refcount them with
234 // shared_ptr pointed to by the messageheader that is returned. This avoids
235 // the copy. Need to do more benchmarking.
Brian Silvermanf51499a2020-09-21 12:49:08 -0700236 // And (Brian): Consider just mmapping the file and handing out refcounted
237 // pointers into that too.
Austin Schuh05b70472020-01-01 17:11:17 -0800238
239 // Reads a chunk of data into data_. Returns false if no data was read.
240 bool ReadBlock();
241
Austin Schuhc41603c2020-10-11 16:17:37 -0700242 std::string filename_;
Austin Schuh6f3babe2020-01-26 20:34:50 -0800243
Brian Silvermanf51499a2020-09-21 12:49:08 -0700244 // File reader and data decoder.
245 std::unique_ptr<DataDecoder> decoder_;
Austin Schuh05b70472020-01-01 17:11:17 -0800246
Brian Silvermanf51499a2020-09-21 12:49:08 -0700247 // Vector to read into.
248 ResizeableBuffer data_;
Austin Schuh05b70472020-01-01 17:11:17 -0800249
250 // Amount of data consumed already in data_.
251 size_t consumed_data_ = 0;
Austin Schuh05b70472020-01-01 17:11:17 -0800252};
253
254// Class which handles reading the header and messages from the log file. This
255// handles any per-file state left before merging below.
256class MessageReader {
257 public:
258 MessageReader(std::string_view filename);
259
Austin Schuh6f3babe2020-01-26 20:34:50 -0800260 std::string_view filename() const { return span_reader_.filename(); }
261
Austin Schuh05b70472020-01-01 17:11:17 -0800262 // Returns the header from the log file.
263 const LogFileHeader *log_file_header() const {
Austin Schuh97789fc2020-08-01 14:42:45 -0700264 return &raw_log_file_header_.message();
265 }
266
267 // Returns the raw data of the header from the log file.
Austin Schuhadd6eb32020-11-09 21:24:26 -0800268 const SizePrefixedFlatbufferVector<LogFileHeader> &raw_log_file_header()
269 const {
Austin Schuh97789fc2020-08-01 14:42:45 -0700270 return raw_log_file_header_;
Austin Schuh05b70472020-01-01 17:11:17 -0800271 }
272
273 // Returns the minimum maount of data needed to queue up for sorting before
274 // ware guarenteed to not see data out of order.
275 std::chrono::nanoseconds max_out_of_order_duration() const {
276 return max_out_of_order_duration_;
277 }
278
Austin Schuhcde938c2020-02-02 17:30:07 -0800279 // Returns the newest timestamp read out of the log file.
Austin Schuh05b70472020-01-01 17:11:17 -0800280 monotonic_clock::time_point newest_timestamp() const {
281 return newest_timestamp_;
282 }
283
284 // Returns the next message if there is one.
Austin Schuhadd6eb32020-11-09 21:24:26 -0800285 std::optional<SizePrefixedFlatbufferVector<MessageHeader>> ReadMessage();
Austin Schuh05b70472020-01-01 17:11:17 -0800286
287 // The time at which we need to read another chunk from the logfile.
288 monotonic_clock::time_point queue_data_time() const {
289 return newest_timestamp() - max_out_of_order_duration();
290 }
291
292 private:
293 // Log chunk reader.
294 SpanReader span_reader_;
295
Austin Schuh97789fc2020-08-01 14:42:45 -0700296 // Vector holding the raw data for the log file header.
Austin Schuhadd6eb32020-11-09 21:24:26 -0800297 SizePrefixedFlatbufferVector<LogFileHeader> raw_log_file_header_;
Austin Schuh05b70472020-01-01 17:11:17 -0800298
299 // Minimum amount of data to queue up for sorting before we are guarenteed
300 // to not see data out of order.
301 std::chrono::nanoseconds max_out_of_order_duration_;
302
303 // Timestamp of the newest message in a channel queue.
304 monotonic_clock::time_point newest_timestamp_ = monotonic_clock::min_time;
305};
306
Austin Schuhc41603c2020-10-11 16:17:37 -0700307// A class to seamlessly read messages from a list of part files.
308class PartsMessageReader {
309 public:
310 PartsMessageReader(LogParts log_parts);
311
312 std::string_view filename() const { return message_reader_.filename(); }
313
Austin Schuhd2f96102020-12-01 20:27:29 -0800314 // Returns the LogParts that holds the filenames we are reading.
315 const LogParts &parts() const { return parts_; }
316
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800317 const LogFileHeader *log_file_header() const {
318 return message_reader_.log_file_header();
319 }
320
Austin Schuhc41603c2020-10-11 16:17:37 -0700321 // Returns the minimum amount of data needed to queue up for sorting before
322 // we are guarenteed to not see data out of order.
323 std::chrono::nanoseconds max_out_of_order_duration() const {
324 return message_reader_.max_out_of_order_duration();
325 }
326
327 // Returns the newest timestamp read out of the log file.
328 monotonic_clock::time_point newest_timestamp() const {
329 return newest_timestamp_;
330 }
331
332 // Returns the next message if there is one, or nullopt if we have reached the
333 // end of all the files.
334 // Note: reading the next message may change the max_out_of_order_duration().
Austin Schuhadd6eb32020-11-09 21:24:26 -0800335 std::optional<SizePrefixedFlatbufferVector<MessageHeader>> ReadMessage();
Austin Schuhc41603c2020-10-11 16:17:37 -0700336
Austin Schuh48507722021-07-17 17:29:24 -0700337 // Returns the boot count for the requested node, or std::nullopt if we don't
338 // know.
339 std::optional<size_t> boot_count(size_t node_index) const {
340 CHECK_GE(node_index, 0u);
341 CHECK_LT(node_index, boot_counts_.size());
342 return boot_counts_[node_index];
343 }
344
Austin Schuhc41603c2020-10-11 16:17:37 -0700345 private:
346 // Opens the next log and updates message_reader_. Sets done_ if there is
347 // nothing more to do.
348 void NextLog();
Austin Schuh48507722021-07-17 17:29:24 -0700349 void ComputeBootCounts();
Austin Schuhc41603c2020-10-11 16:17:37 -0700350
351 const LogParts parts_;
352 size_t next_part_index_ = 1u;
353 bool done_ = false;
354 MessageReader message_reader_;
355
Austin Schuh315b96b2020-12-11 21:21:12 -0800356 // True after we have seen a message after the start of the log. The
357 // guarentees on logging essentially are that all data from before the
358 // starting time of the log may be arbitrarily out of order, but once we get
359 // max_out_of_order_duration past the start, everything will remain within
360 // max_out_of_order_duration. We shouldn't see anything before the start
361 // after we've seen a message that is at least max_out_of_order_duration after
362 // the start.
363 bool after_start_ = false;
364
Austin Schuhc41603c2020-10-11 16:17:37 -0700365 monotonic_clock::time_point newest_timestamp_ = monotonic_clock::min_time;
Austin Schuh48507722021-07-17 17:29:24 -0700366
367 // Per node boot counts.
368 std::vector<std::optional<size_t>> boot_counts_;
Austin Schuhc41603c2020-10-11 16:17:37 -0700369};
370
Austin Schuh1be0ce42020-11-29 22:43:26 -0800371// Struct to hold a message as it gets sorted on a single node.
372struct Message {
373 // The channel.
374 uint32_t channel_index = 0xffffffff;
375 // The local queue index.
376 uint32_t queue_index = 0xffffffff;
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700377 // The local timestamp.
378 BootTimestamp timestamp;
Austin Schuhf16ef6a2021-06-30 21:48:17 -0700379
Austin Schuh48507722021-07-17 17:29:24 -0700380 // Remote boot when this is a timestamp.
381 size_t monotonic_remote_boot = 0xffffff;
382
383 size_t monotonic_timestamp_boot = 0xffffff;
384
Austin Schuh1be0ce42020-11-29 22:43:26 -0800385 // The data (either a timestamp header, or a data header).
386 SizePrefixedFlatbufferVector<MessageHeader> data;
387
388 bool operator<(const Message &m2) const;
389 bool operator>=(const Message &m2) const;
Austin Schuh8f52ed52020-11-30 23:12:39 -0800390 bool operator==(const Message &m2) const;
Austin Schuh1be0ce42020-11-29 22:43:26 -0800391};
392
393std::ostream &operator<<(std::ostream &os, const Message &m);
394
Austin Schuhd2f96102020-12-01 20:27:29 -0800395// Structure to hold a full message and all the timestamps, which may or may not
396// have been sent from a remote node. The remote_queue_index will be invalid if
397// this message is from the point of view of the node which sent it.
398struct TimestampedMessage {
399 uint32_t channel_index = 0xffffffff;
400
401 uint32_t queue_index = 0xffffffff;
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700402 BootTimestamp monotonic_event_time;
Austin Schuhd2f96102020-12-01 20:27:29 -0800403 realtime_clock::time_point realtime_event_time = realtime_clock::min_time;
404
405 uint32_t remote_queue_index = 0xffffffff;
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700406 BootTimestamp monotonic_remote_time;
Austin Schuhd2f96102020-12-01 20:27:29 -0800407 realtime_clock::time_point realtime_remote_time = realtime_clock::min_time;
408
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700409 BootTimestamp monotonic_timestamp_time;
Austin Schuh8bf1e632021-01-02 22:41:04 -0800410
Austin Schuhd2f96102020-12-01 20:27:29 -0800411 SizePrefixedFlatbufferVector<MessageHeader> data;
412};
413
414std::ostream &operator<<(std::ostream &os, const TimestampedMessage &m);
415
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800416// Class to sort the resulting messages from a PartsMessageReader.
417class LogPartsSorter {
418 public:
419 LogPartsSorter(LogParts log_parts);
420
Austin Schuh0ca51f32020-12-25 21:51:45 -0800421 // Returns the parts that this is sorting messages from.
422 const LogParts &parts() const { return parts_message_reader_.parts(); }
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800423
Austin Schuhd2f96102020-12-01 20:27:29 -0800424 monotonic_clock::time_point monotonic_start_time() const {
Austin Schuh0ca51f32020-12-25 21:51:45 -0800425 return parts().monotonic_start_time;
Austin Schuhd2f96102020-12-01 20:27:29 -0800426 }
427 realtime_clock::time_point realtime_start_time() const {
Austin Schuh0ca51f32020-12-25 21:51:45 -0800428 return parts().realtime_start_time;
Austin Schuhd2f96102020-12-01 20:27:29 -0800429 }
430
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800431 // The time this data is sorted until.
432 monotonic_clock::time_point sorted_until() const { return sorted_until_; }
433
434 // Returns the next sorted message from the log file. It is safe to call
435 // std::move() on the result to move the data flatbuffer from it.
436 Message *Front();
437 // Pops the front message. This should only be called after a call to
438 // Front().
439 void PopFront();
440
441 // Returns a debug string representing the contents of this sorter.
442 std::string DebugString() const;
443
444 private:
445 // Log parts reader we are wrapping.
446 PartsMessageReader parts_message_reader_;
447 // Cache of the time we are sorted until.
448 aos::monotonic_clock::time_point sorted_until_ = monotonic_clock::min_time;
449
Austin Schuhb000de62020-12-03 22:00:40 -0800450 // Timestamp of the last message returned. Used to make sure nothing goes
451 // backwards.
452 monotonic_clock::time_point last_message_time_ = monotonic_clock::min_time;
453
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800454 // Set used for efficient sorting of messages. We can benchmark and evaluate
455 // other data structures if this proves to be the bottleneck.
456 absl::btree_set<Message> messages_;
Austin Schuh48507722021-07-17 17:29:24 -0700457
458 // Mapping from channel to source node.
459 // TODO(austin): Should we put this in Boots so it can be cached for everyone?
460 std::vector<size_t> source_node_index_;
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800461};
462
Austin Schuh8f52ed52020-11-30 23:12:39 -0800463// Class to run merge sort on the messages from multiple LogPartsSorter
464// instances.
465class NodeMerger {
466 public:
Austin Schuhd2f96102020-12-01 20:27:29 -0800467 NodeMerger(std::vector<LogParts> parts);
468
Austin Schuhf16ef6a2021-06-30 21:48:17 -0700469 // Copying and moving will mess up the internal raw pointers. Just don't do
470 // it.
471 NodeMerger(NodeMerger const &) = delete;
472 NodeMerger(NodeMerger &&) = delete;
473 void operator=(NodeMerger const &) = delete;
474 void operator=(NodeMerger &&) = delete;
475
Austin Schuhd2f96102020-12-01 20:27:29 -0800476 // Node index in the configuration of this node.
477 int node() const { return node_; }
Austin Schuh8f52ed52020-11-30 23:12:39 -0800478
Austin Schuh0ca51f32020-12-25 21:51:45 -0800479 // List of parts being sorted together.
480 std::vector<const LogParts *> Parts() const;
481
482 const Configuration *configuration() const {
483 return parts_sorters_[0].parts().config.get();
Austin Schuhd2f96102020-12-01 20:27:29 -0800484 }
485
486 monotonic_clock::time_point monotonic_start_time() const {
487 return monotonic_start_time_;
488 }
489 realtime_clock::time_point realtime_start_time() const {
490 return realtime_start_time_;
Austin Schuh8f52ed52020-11-30 23:12:39 -0800491 }
492
493 // The time this data is sorted until.
494 monotonic_clock::time_point sorted_until() const { return sorted_until_; }
495
496 // Returns the next sorted message from the set of log files. It is safe to
497 // call std::move() on the result to move the data flatbuffer from it.
498 Message *Front();
499 // Pops the front message. This should only be called after a call to
500 // Front().
501 void PopFront();
502
503 private:
504 // Unsorted list of all parts sorters.
Austin Schuhd2f96102020-12-01 20:27:29 -0800505 std::vector<LogPartsSorter> parts_sorters_;
Austin Schuh8f52ed52020-11-30 23:12:39 -0800506 // Pointer to the parts sorter holding the current Front message if one
507 // exists, or nullptr if a new one needs to be found.
508 LogPartsSorter *current_ = nullptr;
509 // Cached sorted_until value.
510 aos::monotonic_clock::time_point sorted_until_ = monotonic_clock::min_time;
Austin Schuhd2f96102020-12-01 20:27:29 -0800511
512 // Cached node.
513 int node_;
514
Austin Schuhb000de62020-12-03 22:00:40 -0800515 // Timestamp of the last message returned. Used to make sure nothing goes
516 // backwards.
517 monotonic_clock::time_point last_message_time_ = monotonic_clock::min_time;
518
Austin Schuhd2f96102020-12-01 20:27:29 -0800519 realtime_clock::time_point realtime_start_time_ = realtime_clock::max_time;
520 monotonic_clock::time_point monotonic_start_time_ = monotonic_clock::max_time;
521};
522
Austin Schuhf16ef6a2021-06-30 21:48:17 -0700523// Class to concatenate multiple boots worth of logs into a single per-node
524// stream.
525class BootMerger {
526 public:
527 BootMerger(std::vector<LogParts> file);
528
529 // Copying and moving will mess up the internal raw pointers. Just don't do
530 // it.
531 BootMerger(BootMerger const &) = delete;
532 BootMerger(BootMerger &&) = delete;
533 void operator=(BootMerger const &) = delete;
534 void operator=(BootMerger &&) = delete;
535
536 // Node index in the configuration of this node.
537 int node() const { return node_mergers_[0]->node(); }
538
539 // List of parts being sorted together.
540 std::vector<const LogParts *> Parts() const;
541
542 const Configuration *configuration() const {
543 return node_mergers_[0]->configuration();
544 }
545
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700546 monotonic_clock::time_point monotonic_start_time(size_t boot) const {
547 CHECK_LT(boot, node_mergers_.size());
548 return node_mergers_[boot]->monotonic_start_time();
Austin Schuhf16ef6a2021-06-30 21:48:17 -0700549 }
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700550 realtime_clock::time_point realtime_start_time(size_t boot) const {
551 CHECK_LT(boot, node_mergers_.size());
552 return node_mergers_[boot]->realtime_start_time();
Austin Schuhf16ef6a2021-06-30 21:48:17 -0700553 }
554
555 bool started() const {
556 return node_mergers_[index_]->sorted_until() != monotonic_clock::min_time ||
557 index_ != 0;
558 }
559
560 // Returns the next sorted message from the set of log files. It is safe to
561 // call std::move() on the result to move the data flatbuffer from it.
562 Message *Front();
563 // Pops the front message. This should only be called after a call to
564 // Front().
565 void PopFront();
566
567 private:
568 int index_ = 0;
569
570 // TODO(austin): Sanjay points out this is pretty inefficient. Don't keep so
571 // many things open.
572 std::vector<std::unique_ptr<NodeMerger>> node_mergers_;
573};
574
Austin Schuhd2f96102020-12-01 20:27:29 -0800575// Class to match timestamps with the corresponding data from other nodes.
Austin Schuh79b30942021-01-24 22:32:21 -0800576//
577// This class also buffers data for the node it represents, and supports
578// notifying when new data is queued as well as queueing until a point in time.
Austin Schuhd2f96102020-12-01 20:27:29 -0800579class TimestampMapper {
580 public:
581 TimestampMapper(std::vector<LogParts> file);
582
583 // Copying and moving will mess up the internal raw pointers. Just don't do
584 // it.
585 TimestampMapper(TimestampMapper const &) = delete;
586 TimestampMapper(TimestampMapper &&) = delete;
587 void operator=(TimestampMapper const &) = delete;
588 void operator=(TimestampMapper &&) = delete;
589
590 // TODO(austin): It would be super helpful to provide a way to queue up to
591 // time X without matching timestamps, and to then be able to pull the
592 // timestamps out of this queue. This lets us bootstrap time estimation
593 // without exploding memory usage worst case.
594
Austin Schuh0ca51f32020-12-25 21:51:45 -0800595 const Configuration *configuration() const { return configuration_.get(); }
Austin Schuhd2f96102020-12-01 20:27:29 -0800596
597 // Returns which node this is sorting for.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700598 size_t node() const { return boot_merger_.node(); }
Austin Schuhd2f96102020-12-01 20:27:29 -0800599
600 // The start time of this log.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700601 // TODO(austin): This concept is probably wrong... We have start times per
602 // boot, and an order of them.
603 monotonic_clock::time_point monotonic_start_time(size_t boot) const {
604 return boot_merger_.monotonic_start_time(boot);
Austin Schuhd2f96102020-12-01 20:27:29 -0800605 }
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700606 realtime_clock::time_point realtime_start_time(size_t boot) const {
607 return boot_merger_.realtime_start_time(boot);
Austin Schuhd2f96102020-12-01 20:27:29 -0800608 }
609
610 // Uses timestamp_mapper as the peer for its node. Only one mapper may be set
611 // for each node. Peers are used to look up the data for timestamps on this
612 // node.
613 void AddPeer(TimestampMapper *timestamp_mapper);
614
Austin Schuh24bf4972021-06-29 22:09:08 -0700615 // Returns true if anything has been queued up.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700616 bool started() const { return boot_merger_.started(); }
Austin Schuhd2f96102020-12-01 20:27:29 -0800617
618 // Returns the next message for this node.
619 TimestampedMessage *Front();
620 // Pops the next message. Front must be called first.
621 void PopFront();
622
623 // Returns debug information about this node.
624 std::string DebugString() const;
625
Austin Schuh79b30942021-01-24 22:32:21 -0800626 // Queues data the provided time.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700627 void QueueUntil(BootTimestamp queue_time);
Austin Schuhe639ea12021-01-25 13:00:22 -0800628 // Queues until we have time_estimation_buffer of data in the queue.
629 void QueueFor(std::chrono::nanoseconds time_estimation_buffer);
Austin Schuh79b30942021-01-24 22:32:21 -0800630
Austin Schuh06601222021-01-26 17:02:50 -0800631 // Queues until the condition is met.
632 template <typename T>
633 void QueueUntilCondition(T fn) {
634 while (true) {
635 if (fn()) {
636 break;
637 }
638 if (!QueueMatched()) {
639 break;
640 }
641 }
642 }
643
Austin Schuh79b30942021-01-24 22:32:21 -0800644 // Sets a callback to be called whenever a full message is queued.
645 void set_timestamp_callback(std::function<void(TimestampedMessage *)> fn) {
646 timestamp_callback_ = fn;
647 }
648
Austin Schuhd2f96102020-12-01 20:27:29 -0800649 private:
650 // The state for a remote node. This holds the data that needs to be matched
651 // with the remote node's timestamps.
652 struct NodeData {
653 // True if we should save data here. This should be true if any of the
654 // bools in delivered below are true.
655 bool any_delivered = false;
656
Austin Schuh36c00932021-07-19 18:13:21 -0700657 // True if we have a peer and therefore should be saving data for it.
658 bool save_for_peer = false;
659
Austin Schuhd2f96102020-12-01 20:27:29 -0800660 // Peer pointer. This node is only to be considered if a peer is set.
661 TimestampMapper *peer = nullptr;
662
663 struct ChannelData {
664 // Deque per channel. This contains the data from the outside
665 // TimestampMapper node which is relevant for the node this NodeData
666 // points to.
667 std::deque<Message> messages;
668 // Bool tracking per channel if a message is delivered to the node this
669 // NodeData represents.
670 bool delivered = false;
671 };
672
673 // Vector with per channel data.
674 std::vector<ChannelData> channels;
675 };
676
677 // Returns (and forgets about) the data for the provided timestamp message
678 // showing when it was delivered to this node.
679 Message MatchingMessageFor(const Message &message);
680
681 // Queues up a single message into our message queue, and any nodes that this
682 // message is delivered to. Returns true if one was available, false
683 // otherwise.
684 bool Queue();
685
Austin Schuh79b30942021-01-24 22:32:21 -0800686 // Queues up a single matched message into our matched message queue. Returns
687 // true if one was queued, and false otherwise.
688 bool QueueMatched();
689
Austin Schuhd2f96102020-12-01 20:27:29 -0800690 // Queues up data until we have at least one message >= to time t.
691 // Useful for triggering a remote node to read enough data to have the
692 // timestamp you care about available.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700693 void QueueUnmatchedUntil(BootTimestamp t);
Austin Schuhd2f96102020-12-01 20:27:29 -0800694
Austin Schuh79b30942021-01-24 22:32:21 -0800695 // Queues m into matched_messages_.
696 void QueueMessage(Message *m);
Austin Schuhd2f96102020-12-01 20:27:29 -0800697
698 // The node merger to source messages from.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700699 BootMerger boot_merger_;
Austin Schuh0ca51f32020-12-25 21:51:45 -0800700
701 std::shared_ptr<const Configuration> configuration_;
702
Austin Schuhd2f96102020-12-01 20:27:29 -0800703 // The buffer of messages for this node. These are not matched with any
704 // remote data.
705 std::deque<Message> messages_;
706 // The node index for the source node for each channel.
707 std::vector<size_t> source_node_;
708
709 // Vector per node. Not all nodes will have anything.
710 std::vector<NodeData> nodes_data_;
711
712 // Latest message to return.
Austin Schuh79b30942021-01-24 22:32:21 -0800713 std::deque<TimestampedMessage> matched_messages_;
Austin Schuhd2f96102020-12-01 20:27:29 -0800714
Austin Schuh79b30942021-01-24 22:32:21 -0800715 // Tracks the state of the first message in matched_messages_. Do we need to
716 // update it, is it valid, or should we return nullptr?
Austin Schuhd2f96102020-12-01 20:27:29 -0800717 enum class FirstMessage {
718 kNeedsUpdate,
719 kInMessage,
720 kNullptr,
721 };
722 FirstMessage first_message_ = FirstMessage::kNeedsUpdate;
723
724 // Timestamp of the last message returned. Used to make sure nothing goes
725 // backwards.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700726 BootTimestamp last_message_time_ = BootTimestamp::min_time();
Austin Schuhd2f96102020-12-01 20:27:29 -0800727 // Time this node is queued up until. Used for caching.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700728 BootTimestamp queued_until_ = BootTimestamp::min_time();
Austin Schuh79b30942021-01-24 22:32:21 -0800729
730 std::function<void(TimestampedMessage *)> timestamp_callback_;
Austin Schuh8f52ed52020-11-30 23:12:39 -0800731};
732
Austin Schuhee711052020-08-24 16:06:09 -0700733// Returns the node name with a trailing space, or an empty string if we are on
734// a single node.
735std::string MaybeNodeName(const Node *);
736
Brian Silvermanf51499a2020-09-21 12:49:08 -0700737} // namespace aos::logger
Austin Schuha36c8902019-12-30 18:07:15 -0800738
739#endif // AOS_EVENTS_LOGGING_LOGFILE_UTILS_H_