| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 1 | // Copyright 2020 The Monogon Project Authors. |
| 2 | // |
| 3 | // SPDX-License-Identifier: Apache-2.0 |
| 4 | // |
| 5 | // Licensed under the Apache License, Version 2.0 (the "License"); |
| 6 | // you may not use this file except in compliance with the License. |
| 7 | // You may obtain a copy of the License at |
| 8 | // |
| 9 | // http://www.apache.org/licenses/LICENSE-2.0 |
| 10 | // |
| 11 | // Unless required by applicable law or agreed to in writing, software |
| 12 | // distributed under the License is distributed on an "AS IS" BASIS, |
| 13 | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 14 | // See the License for the specific language governing permissions and |
| 15 | // limitations under the License. |
| 16 | |
| 17 | package logtree |
| 18 | |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 19 | import ( |
| Serge Bazanski | b027218 | 2020-11-02 18:39:44 +0100 | [diff] [blame] | 20 | "errors" |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 21 | "sync/atomic" |
| Serge Bazanski | 3c5d063 | 2024-09-12 10:49:12 +0000 | [diff] [blame] | 22 | |
| 23 | "source.monogon.dev/go/logging" |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 24 | ) |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 25 | |
| 26 | // LogReadOption describes options for the LogTree.Read call. |
| 27 | type LogReadOption struct { |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 28 | withChildren bool |
| 29 | withStream bool |
| 30 | withBacklog int |
| 31 | onlyLeveled bool |
| 32 | onlyRaw bool |
| Serge Bazanski | 3c5d063 | 2024-09-12 10:49:12 +0000 | [diff] [blame] | 33 | leveledWithMinimumSeverity logging.Severity |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 34 | } |
| 35 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 36 | // WithChildren makes Read return/stream data for both a given DN and all its |
| 37 | // children. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 38 | func WithChildren() LogReadOption { return LogReadOption{withChildren: true} } |
| 39 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 40 | // WithStream makes Read return a stream of data. This works alongside WithBacklog |
| 41 | // to create a read-and-stream construct. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 42 | func WithStream() LogReadOption { return LogReadOption{withStream: true} } |
| 43 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 44 | // WithBacklog makes Read return already recorded log entries, up to count |
| 45 | // elements. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 46 | func WithBacklog(count int) LogReadOption { return LogReadOption{withBacklog: count} } |
| 47 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 48 | // BacklogAllAvailable makes WithBacklog return all backlogged log data that |
| 49 | // logtree possesses. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 50 | const BacklogAllAvailable int = -1 |
| 51 | |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 52 | func OnlyRaw() LogReadOption { return LogReadOption{onlyRaw: true} } |
| 53 | |
| 54 | func OnlyLeveled() LogReadOption { return LogReadOption{onlyLeveled: true} } |
| 55 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 56 | // LeveledWithMinimumSeverity makes Read return only log entries that are at least |
| 57 | // at a given Severity. If only leveled entries are needed, OnlyLeveled must be |
| 58 | // used. This is a no-op when OnlyRaw is used. |
| Serge Bazanski | 3c5d063 | 2024-09-12 10:49:12 +0000 | [diff] [blame] | 59 | func LeveledWithMinimumSeverity(s logging.Severity) LogReadOption { |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 60 | return LogReadOption{leveledWithMinimumSeverity: s} |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 61 | } |
| 62 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 63 | // LogReader permits reading an already existing backlog of log entries and to |
| 64 | // stream further ones. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 65 | type LogReader struct { |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 66 | // Backlog are the log entries already logged by LogTree. This will only be set if |
| 67 | // WithBacklog has been passed to Read. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 68 | Backlog []*LogEntry |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 69 | // Stream is a channel of new entries as received live by LogTree. This will only |
| 70 | // be set if WithStream has been passed to Read. In this case, entries from this |
| 71 | // channel must be read as fast as possible by the consumer in order to prevent |
| 72 | // missing entries. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 73 | Stream <-chan *LogEntry |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 74 | // done is channel used to signal (by closing) that the log consumer is not |
| 75 | // interested in more Stream data. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 76 | done chan<- struct{} |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 77 | // missed is an atomic integer pointer that tells the subscriber how many messages |
| 78 | // 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] | 79 | missed *uint64 |
| 80 | } |
| 81 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 82 | // Missed returns the amount of entries that were missed from Stream (as the |
| 83 | // channel was not drained fast enough). |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 84 | func (l *LogReader) Missed() uint64 { |
| 85 | // No Stream. |
| 86 | if l.missed == nil { |
| 87 | return 0 |
| 88 | } |
| 89 | return atomic.LoadUint64(l.missed) |
| 90 | } |
| 91 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 92 | // Close closes the LogReader's Stream. This must be called once the Reader does |
| 93 | // not wish to receive streaming messages anymore. |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 94 | func (l *LogReader) Close() { |
| 95 | if l.done != nil { |
| 96 | close(l.done) |
| 97 | } |
| 98 | } |
| 99 | |
| Serge Bazanski | b027218 | 2020-11-02 18:39:44 +0100 | [diff] [blame] | 100 | var ( |
| 101 | ErrRawAndLeveled = errors.New("cannot return logs that are simultaneously OnlyRaw and OnlyLeveled") |
| 102 | ) |
| 103 | |
| Serge Bazanski | 216fe7b | 2021-05-21 18:36:16 +0200 | [diff] [blame] | 104 | // Read and/or stream entries from a LogTree. The returned LogReader is influenced |
| 105 | // by the LogReadOptions passed, which influence whether the Read will return |
| 106 | // existing entries, a stream, or both. In addition the options also dictate |
| 107 | // whether only entries for that particular DN are returned, or for all sub-DNs as |
| 108 | // well. |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 109 | func (l *LogTree) Read(dn DN, opts ...LogReadOption) (*LogReader, error) { |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 110 | l.journal.mu.RLock() |
| 111 | defer l.journal.mu.RUnlock() |
| 112 | |
| 113 | var backlog int |
| 114 | var stream bool |
| 115 | var recursive bool |
| Serge Bazanski | 3c5d063 | 2024-09-12 10:49:12 +0000 | [diff] [blame] | 116 | var leveledSeverity logging.Severity |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 117 | var onlyRaw, onlyLeveled bool |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 118 | |
| 119 | for _, opt := range opts { |
| 120 | if opt.withBacklog > 0 || opt.withBacklog == BacklogAllAvailable { |
| 121 | backlog = opt.withBacklog |
| 122 | } |
| 123 | if opt.withStream { |
| 124 | stream = true |
| 125 | } |
| 126 | if opt.withChildren { |
| 127 | recursive = true |
| 128 | } |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 129 | if opt.leveledWithMinimumSeverity != "" { |
| 130 | leveledSeverity = opt.leveledWithMinimumSeverity |
| 131 | } |
| 132 | if opt.onlyLeveled { |
| 133 | onlyLeveled = true |
| 134 | } |
| 135 | if opt.onlyRaw { |
| 136 | onlyRaw = true |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 137 | } |
| 138 | } |
| 139 | |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 140 | if onlyLeveled && onlyRaw { |
| Serge Bazanski | b027218 | 2020-11-02 18:39:44 +0100 | [diff] [blame] | 141 | return nil, ErrRawAndLeveled |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 142 | } |
| 143 | |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 144 | var filters []filter |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 145 | if onlyLeveled { |
| 146 | filters = append(filters, filterOnlyLeveled) |
| 147 | } |
| 148 | if onlyRaw { |
| 149 | filters = append(filters, filterOnlyRaw) |
| 150 | } |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 151 | if recursive { |
| 152 | filters = append(filters, filterSubtree(dn)) |
| 153 | } else { |
| 154 | filters = append(filters, filterExact(dn)) |
| 155 | } |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 156 | if leveledSeverity != "" { |
| 157 | filters = append(filters, filterSeverity(leveledSeverity)) |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 158 | } |
| 159 | |
| 160 | var entries []*entry |
| 161 | if backlog > 0 || backlog == BacklogAllAvailable { |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 162 | if recursive { |
| Serge Bazanski | 8fab014 | 2023-03-29 16:48:16 +0200 | [diff] [blame] | 163 | entries = l.journal.scanEntries(backlog, filters...) |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 164 | } else { |
| Serge Bazanski | 8fab014 | 2023-03-29 16:48:16 +0200 | [diff] [blame] | 165 | entries = l.journal.getEntries(backlog, dn, filters...) |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 166 | } |
| 167 | } |
| 168 | |
| 169 | var sub *subscriber |
| 170 | if stream { |
| 171 | sub = &subscriber{ |
| 172 | // TODO(q3k): make buffer size configurable |
| 173 | dataC: make(chan *LogEntry, 128), |
| 174 | doneC: make(chan struct{}), |
| 175 | filters: filters, |
| 176 | } |
| 177 | l.journal.subscribe(sub) |
| 178 | } |
| 179 | |
| 180 | lr := &LogReader{} |
| 181 | lr.Backlog = make([]*LogEntry, len(entries)) |
| 182 | for i, entry := range entries { |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 183 | lr.Backlog[i] = entry.external() |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 184 | } |
| 185 | if stream { |
| 186 | lr.Stream = sub.dataC |
| 187 | lr.done = sub.doneC |
| 188 | lr.missed = &sub.missed |
| 189 | } |
| Serge Bazanski | f68153c | 2020-10-26 13:54:37 +0100 | [diff] [blame] | 190 | return lr, nil |
| Serge Bazanski | 5faa2fc | 2020-09-07 14:09:30 +0200 | [diff] [blame] | 191 | } |