blob: ee13a7c2a1db826234b6979189989533039534aa [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 Schuhadd6eb32020-11-09 21:24:26 -0800202std::optional<SizePrefixedFlatbufferVector<LogFileHeader>> ReadHeader(
Austin Schuh3bd4c402020-11-06 18:19:06 -0800203 std::string_view filename);
Austin Schuhadd6eb32020-11-09 21:24:26 -0800204std::optional<SizePrefixedFlatbufferVector<MessageHeader>> ReadNthMessage(
Austin Schuh3bd4c402020-11-06 18:19:06 -0800205 std::string_view filename, size_t n);
Austin Schuh6f3babe2020-01-26 20:34:50 -0800206
Austin Schuh05b70472020-01-01 17:11:17 -0800207// Class to read chunks out of a log file.
208class SpanReader {
209 public:
210 SpanReader(std::string_view filename);
Austin Schuha36c8902019-12-30 18:07:15 -0800211
Austin Schuh6f3babe2020-01-26 20:34:50 -0800212 std::string_view filename() const { return filename_; }
213
Austin Schuhcf5f6442021-07-06 10:43:28 -0700214 // Returns a span with the data for the next message from the log file,
215 // including the size. The result is only guarenteed to be valid until
216 // ReadMessage() or PeekMessage() is called again.
Austin Schuh05b70472020-01-01 17:11:17 -0800217 absl::Span<const uint8_t> ReadMessage();
218
Austin Schuhcf5f6442021-07-06 10:43:28 -0700219 // Returns a span with the data for the next message without consuming it.
220 // Multiple calls to PeekMessage return the same data. ReadMessage or
221 // ConsumeMessage must be called to get the next message.
222 absl::Span<const uint8_t> PeekMessage();
223 // Consumes the message so the next call to ReadMessage or PeekMessage returns
224 // new data. This does not invalidate the data.
225 void ConsumeMessage();
226
Austin Schuh05b70472020-01-01 17:11:17 -0800227 private:
228 // TODO(austin): Optimization:
229 // Allocate the 256k blocks like we do today. But, refcount them with
230 // shared_ptr pointed to by the messageheader that is returned. This avoids
231 // the copy. Need to do more benchmarking.
Brian Silvermanf51499a2020-09-21 12:49:08 -0700232 // And (Brian): Consider just mmapping the file and handing out refcounted
233 // pointers into that too.
Austin Schuh05b70472020-01-01 17:11:17 -0800234
235 // Reads a chunk of data into data_. Returns false if no data was read.
236 bool ReadBlock();
237
Austin Schuhc41603c2020-10-11 16:17:37 -0700238 std::string filename_;
Austin Schuh6f3babe2020-01-26 20:34:50 -0800239
Brian Silvermanf51499a2020-09-21 12:49:08 -0700240 // File reader and data decoder.
241 std::unique_ptr<DataDecoder> decoder_;
Austin Schuh05b70472020-01-01 17:11:17 -0800242
Brian Silvermanf51499a2020-09-21 12:49:08 -0700243 // Vector to read into.
244 ResizeableBuffer data_;
Austin Schuh05b70472020-01-01 17:11:17 -0800245
246 // Amount of data consumed already in data_.
247 size_t consumed_data_ = 0;
Austin Schuh05b70472020-01-01 17:11:17 -0800248};
249
250// Class which handles reading the header and messages from the log file. This
251// handles any per-file state left before merging below.
252class MessageReader {
253 public:
254 MessageReader(std::string_view filename);
255
Austin Schuh6f3babe2020-01-26 20:34:50 -0800256 std::string_view filename() const { return span_reader_.filename(); }
257
Austin Schuh05b70472020-01-01 17:11:17 -0800258 // Returns the header from the log file.
259 const LogFileHeader *log_file_header() const {
Austin Schuh97789fc2020-08-01 14:42:45 -0700260 return &raw_log_file_header_.message();
261 }
262
263 // Returns the raw data of the header from the log file.
Austin Schuhadd6eb32020-11-09 21:24:26 -0800264 const SizePrefixedFlatbufferVector<LogFileHeader> &raw_log_file_header()
265 const {
Austin Schuh97789fc2020-08-01 14:42:45 -0700266 return raw_log_file_header_;
Austin Schuh05b70472020-01-01 17:11:17 -0800267 }
268
269 // Returns the minimum maount of data needed to queue up for sorting before
270 // ware guarenteed to not see data out of order.
271 std::chrono::nanoseconds max_out_of_order_duration() const {
272 return max_out_of_order_duration_;
273 }
274
Austin Schuhcde938c2020-02-02 17:30:07 -0800275 // Returns the newest timestamp read out of the log file.
Austin Schuh05b70472020-01-01 17:11:17 -0800276 monotonic_clock::time_point newest_timestamp() const {
277 return newest_timestamp_;
278 }
279
280 // Returns the next message if there is one.
Austin Schuhadd6eb32020-11-09 21:24:26 -0800281 std::optional<SizePrefixedFlatbufferVector<MessageHeader>> ReadMessage();
Austin Schuh05b70472020-01-01 17:11:17 -0800282
283 // The time at which we need to read another chunk from the logfile.
284 monotonic_clock::time_point queue_data_time() const {
285 return newest_timestamp() - max_out_of_order_duration();
286 }
287
288 private:
289 // Log chunk reader.
290 SpanReader span_reader_;
291
Austin Schuh97789fc2020-08-01 14:42:45 -0700292 // Vector holding the raw data for the log file header.
Austin Schuhadd6eb32020-11-09 21:24:26 -0800293 SizePrefixedFlatbufferVector<LogFileHeader> raw_log_file_header_;
Austin Schuh05b70472020-01-01 17:11:17 -0800294
295 // Minimum amount of data to queue up for sorting before we are guarenteed
296 // to not see data out of order.
297 std::chrono::nanoseconds max_out_of_order_duration_;
298
299 // Timestamp of the newest message in a channel queue.
300 monotonic_clock::time_point newest_timestamp_ = monotonic_clock::min_time;
301};
302
Austin Schuhc41603c2020-10-11 16:17:37 -0700303// A class to seamlessly read messages from a list of part files.
304class PartsMessageReader {
305 public:
306 PartsMessageReader(LogParts log_parts);
307
308 std::string_view filename() const { return message_reader_.filename(); }
309
Austin Schuhd2f96102020-12-01 20:27:29 -0800310 // Returns the LogParts that holds the filenames we are reading.
311 const LogParts &parts() const { return parts_; }
312
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800313 const LogFileHeader *log_file_header() const {
314 return message_reader_.log_file_header();
315 }
316
Austin Schuhc41603c2020-10-11 16:17:37 -0700317 // Returns the minimum amount of data needed to queue up for sorting before
318 // we are guarenteed to not see data out of order.
319 std::chrono::nanoseconds max_out_of_order_duration() const {
320 return message_reader_.max_out_of_order_duration();
321 }
322
323 // Returns the newest timestamp read out of the log file.
324 monotonic_clock::time_point newest_timestamp() const {
325 return newest_timestamp_;
326 }
327
328 // Returns the next message if there is one, or nullopt if we have reached the
329 // end of all the files.
330 // Note: reading the next message may change the max_out_of_order_duration().
Austin Schuhadd6eb32020-11-09 21:24:26 -0800331 std::optional<SizePrefixedFlatbufferVector<MessageHeader>> ReadMessage();
Austin Schuhc41603c2020-10-11 16:17:37 -0700332
333 private:
334 // Opens the next log and updates message_reader_. Sets done_ if there is
335 // nothing more to do.
336 void NextLog();
337
338 const LogParts parts_;
339 size_t next_part_index_ = 1u;
340 bool done_ = false;
341 MessageReader message_reader_;
342
Austin Schuh315b96b2020-12-11 21:21:12 -0800343 // True after we have seen a message after the start of the log. The
344 // guarentees on logging essentially are that all data from before the
345 // starting time of the log may be arbitrarily out of order, but once we get
346 // max_out_of_order_duration past the start, everything will remain within
347 // max_out_of_order_duration. We shouldn't see anything before the start
348 // after we've seen a message that is at least max_out_of_order_duration after
349 // the start.
350 bool after_start_ = false;
351
Austin Schuhc41603c2020-10-11 16:17:37 -0700352 monotonic_clock::time_point newest_timestamp_ = monotonic_clock::min_time;
353};
354
Austin Schuh1be0ce42020-11-29 22:43:26 -0800355// Struct to hold a message as it gets sorted on a single node.
356struct Message {
357 // The channel.
358 uint32_t channel_index = 0xffffffff;
359 // The local queue index.
360 uint32_t queue_index = 0xffffffff;
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700361 // The local timestamp.
362 BootTimestamp timestamp;
Austin Schuhf16ef6a2021-06-30 21:48:17 -0700363
Austin Schuh1be0ce42020-11-29 22:43:26 -0800364 // The data (either a timestamp header, or a data header).
365 SizePrefixedFlatbufferVector<MessageHeader> data;
366
367 bool operator<(const Message &m2) const;
368 bool operator>=(const Message &m2) const;
Austin Schuh8f52ed52020-11-30 23:12:39 -0800369 bool operator==(const Message &m2) const;
Austin Schuh1be0ce42020-11-29 22:43:26 -0800370};
371
372std::ostream &operator<<(std::ostream &os, const Message &m);
373
Austin Schuhd2f96102020-12-01 20:27:29 -0800374// Structure to hold a full message and all the timestamps, which may or may not
375// have been sent from a remote node. The remote_queue_index will be invalid if
376// this message is from the point of view of the node which sent it.
377struct TimestampedMessage {
378 uint32_t channel_index = 0xffffffff;
379
380 uint32_t queue_index = 0xffffffff;
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700381 BootTimestamp monotonic_event_time;
Austin Schuhd2f96102020-12-01 20:27:29 -0800382 realtime_clock::time_point realtime_event_time = realtime_clock::min_time;
383
384 uint32_t remote_queue_index = 0xffffffff;
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700385 BootTimestamp monotonic_remote_time;
Austin Schuhd2f96102020-12-01 20:27:29 -0800386 realtime_clock::time_point realtime_remote_time = realtime_clock::min_time;
387
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700388 BootTimestamp monotonic_timestamp_time;
Austin Schuh8bf1e632021-01-02 22:41:04 -0800389
Austin Schuhd2f96102020-12-01 20:27:29 -0800390 SizePrefixedFlatbufferVector<MessageHeader> data;
391};
392
393std::ostream &operator<<(std::ostream &os, const TimestampedMessage &m);
394
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800395// Class to sort the resulting messages from a PartsMessageReader.
396class LogPartsSorter {
397 public:
398 LogPartsSorter(LogParts log_parts);
399
Austin Schuh0ca51f32020-12-25 21:51:45 -0800400 // Returns the parts that this is sorting messages from.
401 const LogParts &parts() const { return parts_message_reader_.parts(); }
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800402
Austin Schuhd2f96102020-12-01 20:27:29 -0800403 monotonic_clock::time_point monotonic_start_time() const {
Austin Schuh0ca51f32020-12-25 21:51:45 -0800404 return parts().monotonic_start_time;
Austin Schuhd2f96102020-12-01 20:27:29 -0800405 }
406 realtime_clock::time_point realtime_start_time() const {
Austin Schuh0ca51f32020-12-25 21:51:45 -0800407 return parts().realtime_start_time;
Austin Schuhd2f96102020-12-01 20:27:29 -0800408 }
409
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800410 // The time this data is sorted until.
411 monotonic_clock::time_point sorted_until() const { return sorted_until_; }
412
413 // Returns the next sorted message from the log file. It is safe to call
414 // std::move() on the result to move the data flatbuffer from it.
415 Message *Front();
416 // Pops the front message. This should only be called after a call to
417 // Front().
418 void PopFront();
419
420 // Returns a debug string representing the contents of this sorter.
421 std::string DebugString() const;
422
423 private:
424 // Log parts reader we are wrapping.
425 PartsMessageReader parts_message_reader_;
426 // Cache of the time we are sorted until.
427 aos::monotonic_clock::time_point sorted_until_ = monotonic_clock::min_time;
428
Austin Schuhb000de62020-12-03 22:00:40 -0800429 // Timestamp of the last message returned. Used to make sure nothing goes
430 // backwards.
431 monotonic_clock::time_point last_message_time_ = monotonic_clock::min_time;
432
Austin Schuh4b5c22a2020-11-30 22:58:43 -0800433 // Set used for efficient sorting of messages. We can benchmark and evaluate
434 // other data structures if this proves to be the bottleneck.
435 absl::btree_set<Message> messages_;
436};
437
Austin Schuh8f52ed52020-11-30 23:12:39 -0800438// Class to run merge sort on the messages from multiple LogPartsSorter
439// instances.
440class NodeMerger {
441 public:
Austin Schuhd2f96102020-12-01 20:27:29 -0800442 NodeMerger(std::vector<LogParts> parts);
443
Austin Schuhf16ef6a2021-06-30 21:48:17 -0700444 // Copying and moving will mess up the internal raw pointers. Just don't do
445 // it.
446 NodeMerger(NodeMerger const &) = delete;
447 NodeMerger(NodeMerger &&) = delete;
448 void operator=(NodeMerger const &) = delete;
449 void operator=(NodeMerger &&) = delete;
450
Austin Schuhd2f96102020-12-01 20:27:29 -0800451 // Node index in the configuration of this node.
452 int node() const { return node_; }
Austin Schuh8f52ed52020-11-30 23:12:39 -0800453
Austin Schuh0ca51f32020-12-25 21:51:45 -0800454 // List of parts being sorted together.
455 std::vector<const LogParts *> Parts() const;
456
457 const Configuration *configuration() const {
458 return parts_sorters_[0].parts().config.get();
Austin Schuhd2f96102020-12-01 20:27:29 -0800459 }
460
461 monotonic_clock::time_point monotonic_start_time() const {
462 return monotonic_start_time_;
463 }
464 realtime_clock::time_point realtime_start_time() const {
465 return realtime_start_time_;
Austin Schuh8f52ed52020-11-30 23:12:39 -0800466 }
467
468 // The time this data is sorted until.
469 monotonic_clock::time_point sorted_until() const { return sorted_until_; }
470
471 // Returns the next sorted message from the set of log files. It is safe to
472 // call std::move() on the result to move the data flatbuffer from it.
473 Message *Front();
474 // Pops the front message. This should only be called after a call to
475 // Front().
476 void PopFront();
477
478 private:
479 // Unsorted list of all parts sorters.
Austin Schuhd2f96102020-12-01 20:27:29 -0800480 std::vector<LogPartsSorter> parts_sorters_;
Austin Schuh8f52ed52020-11-30 23:12:39 -0800481 // Pointer to the parts sorter holding the current Front message if one
482 // exists, or nullptr if a new one needs to be found.
483 LogPartsSorter *current_ = nullptr;
484 // Cached sorted_until value.
485 aos::monotonic_clock::time_point sorted_until_ = monotonic_clock::min_time;
Austin Schuhd2f96102020-12-01 20:27:29 -0800486
487 // Cached node.
488 int node_;
489
Austin Schuhb000de62020-12-03 22:00:40 -0800490 // Timestamp of the last message returned. Used to make sure nothing goes
491 // backwards.
492 monotonic_clock::time_point last_message_time_ = monotonic_clock::min_time;
493
Austin Schuhd2f96102020-12-01 20:27:29 -0800494 realtime_clock::time_point realtime_start_time_ = realtime_clock::max_time;
495 monotonic_clock::time_point monotonic_start_time_ = monotonic_clock::max_time;
496};
497
Austin Schuhf16ef6a2021-06-30 21:48:17 -0700498// Class to concatenate multiple boots worth of logs into a single per-node
499// stream.
500class BootMerger {
501 public:
502 BootMerger(std::vector<LogParts> file);
503
504 // Copying and moving will mess up the internal raw pointers. Just don't do
505 // it.
506 BootMerger(BootMerger const &) = delete;
507 BootMerger(BootMerger &&) = delete;
508 void operator=(BootMerger const &) = delete;
509 void operator=(BootMerger &&) = delete;
510
511 // Node index in the configuration of this node.
512 int node() const { return node_mergers_[0]->node(); }
513
514 // List of parts being sorted together.
515 std::vector<const LogParts *> Parts() const;
516
517 const Configuration *configuration() const {
518 return node_mergers_[0]->configuration();
519 }
520
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700521 monotonic_clock::time_point monotonic_start_time(size_t boot) const {
522 CHECK_LT(boot, node_mergers_.size());
523 return node_mergers_[boot]->monotonic_start_time();
Austin Schuhf16ef6a2021-06-30 21:48:17 -0700524 }
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700525 realtime_clock::time_point realtime_start_time(size_t boot) const {
526 CHECK_LT(boot, node_mergers_.size());
527 return node_mergers_[boot]->realtime_start_time();
Austin Schuhf16ef6a2021-06-30 21:48:17 -0700528 }
529
530 bool started() const {
531 return node_mergers_[index_]->sorted_until() != monotonic_clock::min_time ||
532 index_ != 0;
533 }
534
535 // Returns the next sorted message from the set of log files. It is safe to
536 // call std::move() on the result to move the data flatbuffer from it.
537 Message *Front();
538 // Pops the front message. This should only be called after a call to
539 // Front().
540 void PopFront();
541
542 private:
543 int index_ = 0;
544
545 // TODO(austin): Sanjay points out this is pretty inefficient. Don't keep so
546 // many things open.
547 std::vector<std::unique_ptr<NodeMerger>> node_mergers_;
548};
549
Austin Schuhd2f96102020-12-01 20:27:29 -0800550// Class to match timestamps with the corresponding data from other nodes.
Austin Schuh79b30942021-01-24 22:32:21 -0800551//
552// This class also buffers data for the node it represents, and supports
553// notifying when new data is queued as well as queueing until a point in time.
Austin Schuhd2f96102020-12-01 20:27:29 -0800554class TimestampMapper {
555 public:
556 TimestampMapper(std::vector<LogParts> file);
557
558 // Copying and moving will mess up the internal raw pointers. Just don't do
559 // it.
560 TimestampMapper(TimestampMapper const &) = delete;
561 TimestampMapper(TimestampMapper &&) = delete;
562 void operator=(TimestampMapper const &) = delete;
563 void operator=(TimestampMapper &&) = delete;
564
565 // TODO(austin): It would be super helpful to provide a way to queue up to
566 // time X without matching timestamps, and to then be able to pull the
567 // timestamps out of this queue. This lets us bootstrap time estimation
568 // without exploding memory usage worst case.
569
Austin Schuh0ca51f32020-12-25 21:51:45 -0800570 const Configuration *configuration() const { return configuration_.get(); }
Austin Schuhd2f96102020-12-01 20:27:29 -0800571
572 // Returns which node this is sorting for.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700573 size_t node() const { return boot_merger_.node(); }
Austin Schuhd2f96102020-12-01 20:27:29 -0800574
575 // The start time of this log.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700576 // TODO(austin): This concept is probably wrong... We have start times per
577 // boot, and an order of them.
578 monotonic_clock::time_point monotonic_start_time(size_t boot) const {
579 return boot_merger_.monotonic_start_time(boot);
Austin Schuhd2f96102020-12-01 20:27:29 -0800580 }
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700581 realtime_clock::time_point realtime_start_time(size_t boot) const {
582 return boot_merger_.realtime_start_time(boot);
Austin Schuhd2f96102020-12-01 20:27:29 -0800583 }
584
585 // Uses timestamp_mapper as the peer for its node. Only one mapper may be set
586 // for each node. Peers are used to look up the data for timestamps on this
587 // node.
588 void AddPeer(TimestampMapper *timestamp_mapper);
589
Austin Schuh24bf4972021-06-29 22:09:08 -0700590 // Returns true if anything has been queued up.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700591 bool started() const { return boot_merger_.started(); }
Austin Schuhd2f96102020-12-01 20:27:29 -0800592
593 // Returns the next message for this node.
594 TimestampedMessage *Front();
595 // Pops the next message. Front must be called first.
596 void PopFront();
597
598 // Returns debug information about this node.
599 std::string DebugString() const;
600
Austin Schuh79b30942021-01-24 22:32:21 -0800601 // Queues data the provided time.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700602 void QueueUntil(BootTimestamp queue_time);
Austin Schuhe639ea12021-01-25 13:00:22 -0800603 // Queues until we have time_estimation_buffer of data in the queue.
604 void QueueFor(std::chrono::nanoseconds time_estimation_buffer);
Austin Schuh79b30942021-01-24 22:32:21 -0800605
Austin Schuh06601222021-01-26 17:02:50 -0800606 // Queues until the condition is met.
607 template <typename T>
608 void QueueUntilCondition(T fn) {
609 while (true) {
610 if (fn()) {
611 break;
612 }
613 if (!QueueMatched()) {
614 break;
615 }
616 }
617 }
618
Austin Schuh79b30942021-01-24 22:32:21 -0800619 // Sets a callback to be called whenever a full message is queued.
620 void set_timestamp_callback(std::function<void(TimestampedMessage *)> fn) {
621 timestamp_callback_ = fn;
622 }
623
Austin Schuhd2f96102020-12-01 20:27:29 -0800624 private:
625 // The state for a remote node. This holds the data that needs to be matched
626 // with the remote node's timestamps.
627 struct NodeData {
628 // True if we should save data here. This should be true if any of the
629 // bools in delivered below are true.
630 bool any_delivered = false;
631
632 // Peer pointer. This node is only to be considered if a peer is set.
633 TimestampMapper *peer = nullptr;
634
635 struct ChannelData {
636 // Deque per channel. This contains the data from the outside
637 // TimestampMapper node which is relevant for the node this NodeData
638 // points to.
639 std::deque<Message> messages;
640 // Bool tracking per channel if a message is delivered to the node this
641 // NodeData represents.
642 bool delivered = false;
643 };
644
645 // Vector with per channel data.
646 std::vector<ChannelData> channels;
647 };
648
649 // Returns (and forgets about) the data for the provided timestamp message
650 // showing when it was delivered to this node.
651 Message MatchingMessageFor(const Message &message);
652
653 // Queues up a single message into our message queue, and any nodes that this
654 // message is delivered to. Returns true if one was available, false
655 // otherwise.
656 bool Queue();
657
Austin Schuh79b30942021-01-24 22:32:21 -0800658 // Queues up a single matched message into our matched message queue. Returns
659 // true if one was queued, and false otherwise.
660 bool QueueMatched();
661
Austin Schuhd2f96102020-12-01 20:27:29 -0800662 // Queues up data until we have at least one message >= to time t.
663 // Useful for triggering a remote node to read enough data to have the
664 // timestamp you care about available.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700665 void QueueUnmatchedUntil(BootTimestamp t);
Austin Schuhd2f96102020-12-01 20:27:29 -0800666
Austin Schuh79b30942021-01-24 22:32:21 -0800667 // Queues m into matched_messages_.
668 void QueueMessage(Message *m);
Austin Schuhd2f96102020-12-01 20:27:29 -0800669
670 // The node merger to source messages from.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700671 BootMerger boot_merger_;
Austin Schuh0ca51f32020-12-25 21:51:45 -0800672
673 std::shared_ptr<const Configuration> configuration_;
674
Austin Schuhd2f96102020-12-01 20:27:29 -0800675 // The buffer of messages for this node. These are not matched with any
676 // remote data.
677 std::deque<Message> messages_;
678 // The node index for the source node for each channel.
679 std::vector<size_t> source_node_;
680
681 // Vector per node. Not all nodes will have anything.
682 std::vector<NodeData> nodes_data_;
683
684 // Latest message to return.
Austin Schuh79b30942021-01-24 22:32:21 -0800685 std::deque<TimestampedMessage> matched_messages_;
Austin Schuhd2f96102020-12-01 20:27:29 -0800686
Austin Schuh79b30942021-01-24 22:32:21 -0800687 // Tracks the state of the first message in matched_messages_. Do we need to
688 // update it, is it valid, or should we return nullptr?
Austin Schuhd2f96102020-12-01 20:27:29 -0800689 enum class FirstMessage {
690 kNeedsUpdate,
691 kInMessage,
692 kNullptr,
693 };
694 FirstMessage first_message_ = FirstMessage::kNeedsUpdate;
695
696 // Timestamp of the last message returned. Used to make sure nothing goes
697 // backwards.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700698 BootTimestamp last_message_time_ = BootTimestamp::min_time();
Austin Schuhd2f96102020-12-01 20:27:29 -0800699 // Time this node is queued up until. Used for caching.
Austin Schuh2dc8c7d2021-07-01 17:41:28 -0700700 BootTimestamp queued_until_ = BootTimestamp::min_time();
Austin Schuh79b30942021-01-24 22:32:21 -0800701
702 std::function<void(TimestampedMessage *)> timestamp_callback_;
Austin Schuh8f52ed52020-11-30 23:12:39 -0800703};
704
Austin Schuhee711052020-08-24 16:06:09 -0700705// Returns the node name with a trailing space, or an empty string if we are on
706// a single node.
707std::string MaybeNodeName(const Node *);
708
Brian Silvermanf51499a2020-09-21 12:49:08 -0700709} // namespace aos::logger
Austin Schuha36c8902019-12-30 18:07:15 -0800710
711#endif // AOS_EVENTS_LOGGING_LOGFILE_UTILS_H_