dependabot[bot] a421aee837 build(deps): bump github.com/google/certificate-transparency-go | 8 mēneši atpakaļ | |
---|---|---|
.. | ||
.golangci.yaml | 1 gadu atpakaļ | |
CHANGELOG.md | 2 gadi atpakaļ | |
CONTRIBUTING.md | 2 gadi atpakaļ | |
LICENSE | 2 gadi atpakaļ | |
README.md | 8 mēneši atpakaļ | |
SECURITY.md | 8 mēneši atpakaļ | |
context.go | 8 mēneši atpakaļ | |
context_noslog.go | 8 mēneši atpakaļ | |
context_slog.go | 8 mēneši atpakaļ | |
discard.go | 1 gadu atpakaļ | |
logr.go | 8 mēneši atpakaļ | |
sloghandler.go | 8 mēneši atpakaļ | |
slogr.go | 8 mēneši atpakaļ | |
slogsink.go | 8 mēneši atpakaļ |
logr offers an(other) opinion on how Go programs and libraries can do logging without becoming coupled to a particular logging implementation. This is not an implementation of logging - it is an API. In fact it is two APIs with two different sets of users.
The Logger
type is intended for application and library authors. It provides
a relatively small API which can be used everywhere you want to emit logs. It
defers the actual act of writing logs (to files, to stdout, or whatever) to the
LogSink
interface.
The LogSink
interface is intended for logging library implementers. It is a
pure interface which can be implemented by logging frameworks to provide the actual logging
functionality.
This decoupling allows application and library developers to write code in
terms of logr.Logger
(which has very low dependency fan-out) while the
implementation of logging is managed "up stack" (e.g. in or near main()
.)
Application developers can then switch out implementations as necessary.
Many people assert that libraries should not be logging, and as such efforts like this are pointless. Those people are welcome to convince the authors of the tens-of-thousands of libraries that DO write logs that they are all wrong. In the meantime, logr takes a more practical approach.
Somewhere, early in an application's life, it will make a decision about which logging library (implementation) it actually wants to use. Something like:
func main() {
// ... other setup code ...
// Create the "root" logger. We have chosen the "logimpl" implementation,
// which takes some initial parameters and returns a logr.Logger.
logger := logimpl.New(param1, param2)
// ... other setup code ...
Most apps will call into other libraries, create structures to govern the flow,
etc. The logr.Logger
object can be passed to these other libraries, stored
in structs, or even used as a package-global variable, if needed. For example:
app := createTheAppObject(logger)
app.Run()
Outside of this early setup, no other packages need to know about the choice of
implementation. They write logs in terms of the logr.Logger
that they
received:
type appObject struct {
// ... other fields ...
logger logr.Logger
// ... other fields ...
}
func (app *appObject) Run() {
app.logger.Info("starting up", "timestamp", time.Now())
// ... app code ...
If the Go standard library had defined an interface for logging, this project probably would not be needed. Alas, here we are.
When the Go developers started developing such an interface with slog, they adopted some of the logr design but also left out some parts and changed others:
Feature | logr | slog |
---|---|---|
High-level API | Logger (passed by value) |
Logger (passed by pointer) |
Low-level API | LogSink |
Handler |
Stack unwinding | done by LogSink |
done by Logger |
Skipping helper functions | WithCallDepth , WithCallStackHelper |
not supported by Logger |
Generating a value for logging on demand | Marshaler |
LogValuer |
Log levels | >= 0, higher meaning "less important" | positive and negative, with 0 for "info" and higher meaning "more important" |
Error log entries | always logged, don't have a verbosity level | normal log entries with level >= LevelError |
Passing logger via context | NewContext , FromContext |
no API |
Adding a name to a logger | WithName |
no API |
Modify verbosity of log entries in a call chain | V |
no API |
Grouping of key/value pairs | not supported | WithGroup , GroupValue |
Pass context for extracting additional values | no API | API variants like InfoCtx |
The high-level slog API is explicitly meant to be one of many different APIs
that can be layered on top of a shared slog.Handler
. logr is one such
alternative API, with interoperability provided by
some conversion functions.
Before you consider this package, please read this blog post by the inimitable Dave Cheney. We really appreciate what he has to say, and it largely aligns with our own experiences.
The main differences are:
fmt.Printf()
. We disagree, especially when you consider things like output
locations, timestamps, file and line decorations, and structured logging. This
package restricts the logging API to just 2 types of logs: info and error.Info logs are things you want to tell the user which are not errors. Error
logs are, well, errors. If your code receives an error
from a subordinate
function call and is logging that error
and not returning it, use error
logs.
There are implementations for the following logging libraries:
Interoperability goes both ways, using the logr.Logger
API with a slog.Handler
and using the slog.Logger
API with a logr.LogSink
. FromSlogHandler
and
ToSlogHandler
convert between a logr.Logger
and a slog.Handler
.
As usual, slog.New
can be used to wrap such a slog.Handler
in the high-level
slog API.
logr.LogSink
as backend for slogIdeally, a logr sink implementation should support both logr and slog by
implementing both the normal logr interface(s) and SlogSink
. Because
of a conflict in the parameters of the common Enabled
method, it is not
possible to implement both slog.Handler and logr.Sink in the same
type.
If both are supported, log calls can go from the high-level APIs to the backend
without the need to convert parameters. FromSlogHandler
and ToSlogHandler
can
convert back and forth without adding additional wrappers, with one exception:
when Logger.V
was used to adjust the verbosity for a slog.Handler
, then
ToSlogHandler
has to use a wrapper which adjusts the verbosity for future
log calls.
Such an implementation should also support values that implement specific
interfaces from both packages for logging (logr.Marshaler
, slog.LogValuer
,
slog.GroupValue
). logr does not convert those.
Not supporting slog has several drawbacks:
slog.Logger
, but may be wrong in other cases. That's because a
logr.Sink
does its own stack unwinding instead of using the program counter
provided by the high-level API.slog.LevelWarning
as
used by slog.Logger.Warn
) must be mapped to 0 before calling the sink
because logr does not support "more important than info" levels.These drawbacks are severe enough that applications using a mixture of slog and logr should switch to a different backend.
slog.Handler
as backend for logrUsing a plain slog.Handler
without support for logr works better than the
other direction:
SlogSink
and the resulting program
counter is passed to the slog.Handler
.Logger.WithName
are gathered and recorded in an additional
attribute with logger
as key and the names separated by slash as value.Logger.Error
is turned into a log record with slog.LevelError
as level
and an additional attribute with err
as key, if an error was provided.The main drawback is that logr.Marshaler
will not be supported. Types should
ideally support both logr.Marshaler
and slog.Valuer
. If compatibility
with logr implementations without slog support is not important, then
slog.Valuer
is sufficient.
Storing a logger in a context.Context
is not supported by
slog. NewContextWithSlogLogger
and FromContextAsSlogLogger
can be
used to fill this gap. They store and retrieve a slog.Logger
pointer
under the same context key that is also used by NewContext
and
FromContext
for logr.Logger
value.
When NewContextWithSlogLogger
is followed by FromContext
, the latter will
automatically convert the slog.Logger
to a
logr.Logger
. FromContextAsSlogLogger
does the same for the other direction.
With this approach, binaries which use either slog or logr are as efficient as
possible with no unnecessary allocations. This is also why the API stores a
slog.Logger
pointer: when storing a slog.Handler
, creating a slog.Logger
on retrieval would need to allocate one.
The downside is that switching back and forth needs more allocations. Because
logr is the API that is already in use by different packages, in particular
Kubernetes, the recommendation is to use the logr.Logger
API in code which
uses contextual logging.
An alternative to adding values to a logger and storing that logger in the context is to store the values in the context and to configure a logging backend to extract those values when emitting log entries. This only works when log calls are passed the context, which is not supported by the logr API.
With the slog API, it is possible, but not required. https://github.com/veqryn/slog-context is a package for slog which provides additional support code for this approach. It also contains wrappers for the context functions in logr, so developers who prefer to not use the logr APIs directly can use those instead and the resulting code will still be interoperable with logr.
Structured logs are more easily queryable: Since you've got key-value pairs, it's much easier to query your structured logs for particular values by filtering on the contents of a particular key -- think searching request logs for error codes, Kubernetes reconcilers for the name and namespace of the reconciled object, etc.
Structured logging makes it easier to have cross-referenceable logs: Similarly to searchability, if you maintain conventions around your keys, it becomes easy to gather all log lines related to a particular concept.
Structured logs allow better dimensions of filtering: if you have structure to your logs, you've got more precise control over how much information is logged -- you might choose in a particular configuration to log certain keys but not others, only log lines where a certain key matches a certain value, etc., instead of just having v-levels and names to key off of.
Structured logs better represent structured data: sometimes, the data that you want to log is inherently structured (think tuple-link objects.) Structured logs allow you to preserve that structure when outputting.
V-levels give operators an easy way to control the chattiness of log operations. V-levels provide a way for a given package to distinguish the relative importance or verbosity of a given log message. Then, if a particular logger or package is logging too many messages, the user of the package can simply change the v-levels for that library.
Read Dave Cheney's post. Then read Differences from Dave's ideas.
Format strings negate many of the benefits of structured logs:
They're not easily searchable without resorting to fuzzy searching, regular expressions, etc.
They don't store structured data well, since contents are flattened into a string.
They're not cross-referenceable.
They don't compress easily, since the message is not constant.
(Unless you turn positional parameters into key-value pairs with numerical keys, at which point you've gotten key-value logging with meaningless keys.)
Key-value pairs are much easier to optimize, especially around allocations. Zap (a structured logger that inspired logr's interface) has performance measurements that show this quite nicely.
While the interface ends up being a little less obvious, you get
potentially better performance, plus avoid making users type
map[string]string{}
every time they want to log.
That's fine. Control your V-levels on a per-logger basis, and use the
WithName
method to pass different loggers to different libraries.
Generally, you should take care to ensure that you have relatively consistent V-levels within a given logger, however, as this makes deciding on what verbosity of logs to request easier.
That's not actually a question. Assuming your question is "how do I convert my mental model of logging with format strings to logging with constant messages":
Figure out what the error actually is, as you'd write in a TL;DR style, and use that as a message.
For every place you'd write a format specifier, look to the word before it, and add that as a key value pair.
For instance, consider the following examples (all taken from spots in the Kubernetes codebase):
klog.V(4).Infof("Client is returning errors: code %v, error %v",
responseCode, err)
becomes logger.Error(err, "client returned an
error", "code", responseCode)
klog.V(4).Infof("Got a Retry-After %ds response for attempt %d to %v",
seconds, retries, url)
becomes logger.V(4).Info("got a retry-after
response when requesting url", "attempt", retries, "after
seconds", seconds, "url", url)
If you really must use a format string, use it in a key's value, and
call fmt.Sprintf
yourself. For instance: log.Printf("unable to
reflect over type %T")
becomes logger.Info("unable to reflect over
type", "type", fmt.Sprintf("%T"))
. In general though, the cases where
this is necessary should be few and far between.
This is basically the only hard constraint: increase V-levels to denote more verbose or more debug-y logs.
Otherwise, you can start out with 0
as "you always want to see this",
1
as "common logging that you might possibly want to turn off", and
10
as "I would like to performance-test your log collection stack."
Then gradually choose levels in between as you need them, working your way down from 10 (for debug and trace style logs) and up from 1 (for chattier info-type logs). For reference, slog pre-defines -4 for debug logs (corresponds to 4 in logr), which matches what is recommended for Kubernetes.
Keys are fairly flexible, and can hold more or less any string value. For best compatibility with implementations and consistency with existing code in other projects, there are a few conventions you should consider.
While key names are mostly unrestricted (and spaces are acceptable), it's generally a good idea to stick to printable ascii characters, or at least match the general character set of your log lines.
The point of structured logging is to make later log processing easier. Your
keys are, effectively, the schema of each log message. If you use different
keys across instances of the same log line, you will make your structured logs
much harder to use. Sprintf()
is for values, not for keys!
The Logger type is implemented as a struct in order to allow the Go compiler to
optimize things like high-V Info
logs that are not triggered. Not all of
these implementations are implemented yet, but this structure was suggested as
a way to ensure they can be implemented. All of the real work is behind the
LogSink
interface.