| Tim Windelschmidt | 6d33a43 | 2025-02-04 14:34:25 +0100 | [diff] [blame] | 1 | // Copyright The Monogon Project Authors. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 2 | // SPDX-License-Identifier: Apache-2.0 |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 3 | |
| 4 | package logtree |
| 5 | |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 6 | import ( |
| Serge Bazanski | b027218 | 2020-11-02 18:39:44 +0100 | [diff] [blame] | 7 | "errors" |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 8 | "sync/atomic" |
| Serge Bazanski | 3c5d063 | 2024-09-12 10:49:12 +0000 | [diff] [blame] | 9 | |
| 10 | "source.monogon.dev/go/logging" |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 11 | ) |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 12 | |
| Tim Windelschmidt | 01491a7 | 2025-07-23 21:49:11 +0200 | [diff] [blame] | 13 | type ReadDirection int |
| 14 | |
| 15 | const ( |
| 16 | ReadDirectionAfter ReadDirection = iota |
| 17 | ReadDirectionBefore |
| 18 | ) |
| 19 | |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 20 | // LogReadOption describes options for the LogTree.Read call. |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 21 | type LogReadOption func(*logReaderOptions) |
| 22 | |
| 23 | type logReaderOptions struct { |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 24 | withChildren bool |
| 25 | withStream bool |
| 26 | withBacklog int |
| 27 | onlyLeveled bool |
| 28 | onlyRaw bool |
| Serge Bazanski | 3c5d063 | 2024-09-12 10:49:12 +0000 | [diff] [blame] | 29 | leveledWithMinimumSeverity logging.Severity |
| Tim Windelschmidt | c263592 | 2025-07-21 18:01:23 +0200 | [diff] [blame] | 30 | withStreamBufferSize int |
| Tim Windelschmidt | 01491a7 | 2025-07-23 21:49:11 +0200 | [diff] [blame] | 31 | withStartPosition int |
| 32 | startPositionReadDirection ReadDirection |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 33 | } |
| 34 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 35 | // WithChildren makes Read return/stream data for both a given DN and all its |
| 36 | // children. |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 37 | func WithChildren() LogReadOption { |
| 38 | return func(lro *logReaderOptions) { |
| 39 | lro.withChildren = true |
| 40 | } |
| 41 | } |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 42 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 43 | // WithStream makes Read return a stream of data. This works alongside WithBacklog |
| 44 | // to create a read-and-stream construct. |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 45 | func WithStream() LogReadOption { |
| 46 | return func(lro *logReaderOptions) { |
| 47 | lro.withStream = true |
| 48 | } |
| 49 | } |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 50 | |
| Tim Windelschmidt | c263592 | 2025-07-21 18:01:23 +0200 | [diff] [blame] | 51 | // WithStreamBuffer applies WithStream and overrides the default stream buffer |
| 52 | // size of 128. |
| 53 | func WithStreamBuffer(size int) LogReadOption { |
| 54 | return func(lro *logReaderOptions) { |
| 55 | lro.withStreamBufferSize = size |
| 56 | lro.withStream = true |
| 57 | } |
| 58 | } |
| 59 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 60 | // WithBacklog makes Read return already recorded log entries, up to count |
| 61 | // elements. |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 62 | func WithBacklog(count int) LogReadOption { |
| 63 | return func(lro *logReaderOptions) { lro.withBacklog = count } |
| 64 | } |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 65 | |
| Tim Windelschmidt | 01491a7 | 2025-07-23 21:49:11 +0200 | [diff] [blame] | 66 | // WithStartPosition makes Read return log entries from the given position. |
| 67 | // It requires WithBacklog to be provided. |
| 68 | // |
| 69 | // The Journal keeps a global counter for all logs, starting at 0 for the |
| 70 | // first message. Based on this the user can read entries |
| 71 | // (based on the ReadDirection option) either after or before the given |
| 72 | // position. |
| 73 | func WithStartPosition(pos int, direction ReadDirection) LogReadOption { |
| 74 | return func(lro *logReaderOptions) { |
| 75 | lro.withStartPosition = pos |
| 76 | lro.startPositionReadDirection = direction |
| 77 | } |
| 78 | } |
| 79 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 80 | // BacklogAllAvailable makes WithBacklog return all backlogged log data that |
| 81 | // logtree possesses. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 82 | const BacklogAllAvailable int = -1 |
| 83 | |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 84 | func OnlyRaw() LogReadOption { return func(lro *logReaderOptions) { lro.onlyRaw = true } } |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 85 | |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 86 | func OnlyLeveled() LogReadOption { return func(lro *logReaderOptions) { lro.onlyLeveled = true } } |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 87 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 88 | // LeveledWithMinimumSeverity makes Read return only log entries that are at least |
| 89 | // at a given Severity. If only leveled entries are needed, OnlyLeveled must be |
| 90 | // used. This is a no-op when OnlyRaw is used. |
| Serge Bazanski | 3c5d063 | 2024-09-12 10:49:12 +0000 | [diff] [blame] | 91 | func LeveledWithMinimumSeverity(s logging.Severity) LogReadOption { |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 92 | return func(lro *logReaderOptions) { lro.leveledWithMinimumSeverity = s } |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 93 | } |
| 94 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 95 | // LogReader permits reading an already existing backlog of log entries and to |
| 96 | // stream further ones. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 97 | type LogReader struct { |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 98 | // Backlog are the log entries already logged by LogTree. This will only be set if |
| 99 | // WithBacklog has been passed to Read. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 100 | Backlog []*LogEntry |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 101 | // Stream is a channel of new entries as received live by LogTree. This will only |
| 102 | // be set if WithStream has been passed to Read. In this case, entries from this |
| 103 | // channel must be read as fast as possible by the consumer in order to prevent |
| 104 | // missing entries. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 105 | Stream <-chan *LogEntry |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 106 | // done is channel used to signal (by closing) that the log consumer is not |
| 107 | // interested in more Stream data. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 108 | done chan<- struct{} |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 109 | // missed is an atomic integer pointer that tells the subscriber how many messages |
| 110 | // in Stream they missed. This pointer is nil if no streaming has been requested. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 111 | missed *uint64 |
| 112 | } |
| 113 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 114 | // Missed returns the amount of entries that were missed from Stream (as the |
| 115 | // channel was not drained fast enough). |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 116 | func (l *LogReader) Missed() uint64 { |
| 117 | // No Stream. |
| 118 | if l.missed == nil { |
| 119 | return 0 |
| 120 | } |
| 121 | return atomic.LoadUint64(l.missed) |
| 122 | } |
| 123 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 124 | // Close closes the LogReader's Stream. This must be called once the Reader does |
| 125 | // not wish to receive streaming messages anymore. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 126 | func (l *LogReader) Close() { |
| 127 | if l.done != nil { |
| 128 | close(l.done) |
| 129 | } |
| 130 | } |
| 131 | |
| Serge Bazanski | b027218 | 2020-11-02 18:39:44 +0100 | [diff] [blame] | 132 | var ( |
| Tim Windelschmidt | 01491a7 | 2025-07-23 21:49:11 +0200 | [diff] [blame] | 133 | ErrRawAndLeveled = errors.New("cannot return logs that are simultaneously OnlyRaw and OnlyLeveled") |
| 134 | ErrStartPositionWithoutBacklog = errors.New("cannot return logs that are WithStartingPosition and missing WithBacklog") |
| Serge Bazanski | b027218 | 2020-11-02 18:39:44 +0100 | [diff] [blame] | 135 | ) |
| 136 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 137 | // Read and/or stream entries from a LogTree. The returned LogReader is influenced |
| 138 | // by the LogReadOptions passed, which influence whether the Read will return |
| 139 | // existing entries, a stream, or both. In addition the options also dictate |
| 140 | // whether only entries for that particular DN are returned, or for all sub-DNs as |
| 141 | // well. |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 142 | func (l *LogTree) Read(dn DN, opts ...LogReadOption) (*LogReader, error) { |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 143 | l.journal.mu.RLock() |
| 144 | defer l.journal.mu.RUnlock() |
| 145 | |
| Tim Windelschmidt | c263592 | 2025-07-21 18:01:23 +0200 | [diff] [blame] | 146 | lro := logReaderOptions{ |
| 147 | withStreamBufferSize: 128, |
| Tim Windelschmidt | 01491a7 | 2025-07-23 21:49:11 +0200 | [diff] [blame] | 148 | withStartPosition: -1, |
| Tim Windelschmidt | c263592 | 2025-07-21 18:01:23 +0200 | [diff] [blame] | 149 | } |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 150 | |
| 151 | for _, opt := range opts { |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 152 | opt(&lro) |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 153 | } |
| 154 | |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 155 | if lro.onlyLeveled && lro.onlyRaw { |
| Serge Bazanski | b027218 | 2020-11-02 18:39:44 +0100 | [diff] [blame] | 156 | return nil, ErrRawAndLeveled |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 157 | } |
| 158 | |
| Tim Windelschmidt | 01491a7 | 2025-07-23 21:49:11 +0200 | [diff] [blame] | 159 | isWithBacklog := lro.withBacklog > 0 || lro.withBacklog == BacklogAllAvailable |
| 160 | if lro.withStartPosition != -1 && !isWithBacklog { |
| 161 | return nil, ErrStartPositionWithoutBacklog |
| 162 | } |
| 163 | |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 164 | var filters []filter |
| Tim Windelschmidt | 01491a7 | 2025-07-23 21:49:11 +0200 | [diff] [blame] | 165 | if lro.withStartPosition != -1 { |
| 166 | filters = append(filters, filterStartPosition(lro.withBacklog, lro.withStartPosition, lro.startPositionReadDirection)) |
| 167 | } |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 168 | if lro.onlyLeveled { |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 169 | filters = append(filters, filterOnlyLeveled) |
| 170 | } |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 171 | if lro.onlyRaw { |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 172 | filters = append(filters, filterOnlyRaw) |
| 173 | } |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 174 | if lro.withChildren { |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 175 | filters = append(filters, filterSubtree(dn)) |
| 176 | } else { |
| 177 | filters = append(filters, filterExact(dn)) |
| 178 | } |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 179 | if lro.leveledWithMinimumSeverity != "" { |
| 180 | filters = append(filters, filterSeverity(lro.leveledWithMinimumSeverity)) |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 181 | } |
| 182 | |
| 183 | var entries []*entry |
| Tim Windelschmidt | 01491a7 | 2025-07-23 21:49:11 +0200 | [diff] [blame] | 184 | if isWithBacklog { |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 185 | if lro.withChildren { |
| 186 | entries = l.journal.scanEntries(lro.withBacklog, filters...) |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 187 | } else { |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 188 | entries = l.journal.getEntries(lro.withBacklog, dn, filters...) |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 189 | } |
| 190 | } |
| 191 | |
| Tim Windelschmidt | ce0ea8f | 2025-07-21 19:13:43 +0200 | [diff] [blame] | 192 | lr := &LogReader{} |
| Tim Windelschmidt | 50093be | 2025-07-21 17:39:09 +0200 | [diff] [blame] | 193 | if lro.withStream { |
| Tim Windelschmidt | ce0ea8f | 2025-07-21 19:13:43 +0200 | [diff] [blame] | 194 | sub := &subscriber{ |
| Tim Windelschmidt | c263592 | 2025-07-21 18:01:23 +0200 | [diff] [blame] | 195 | dataC: make(chan *LogEntry, lro.withStreamBufferSize), |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 196 | doneC: make(chan struct{}), |
| 197 | filters: filters, |
| 198 | } |
| 199 | l.journal.subscribe(sub) |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 200 | |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 201 | lr.Stream = sub.dataC |
| 202 | lr.done = sub.doneC |
| 203 | lr.missed = &sub.missed |
| 204 | } |
| Tim Windelschmidt | ce0ea8f | 2025-07-21 19:13:43 +0200 | [diff] [blame] | 205 | |
| 206 | lr.Backlog = make([]*LogEntry, len(entries)) |
| 207 | for i, entry := range entries { |
| 208 | lr.Backlog[i] = entry.external() |
| 209 | } |
| 210 | |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 211 | return lr, nil |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 212 | } |