go icon indicating copy to clipboard operation
go copied to clipboard

proposal: log/slog: add `slog.DiscardHandler`

Open flowchartsman opened this issue 2 years ago • 27 comments

Proposal

Add a package-level variable slog.DiscardHandler (type slog.Handler) that will discard all log output.

link to comment

Rationale

I have been happily busying myself integrating log/slog into old packages and replacing the exp import in new ones, however I've found myself implementing the same "nop handler" again and again in packages with optional logging APIs.

A common pattern in logging injection is to consume an interface or a pointer to a logging type to allow the dependency to use a derived logger with some field marking the messages as originating from that component, enabling both a standard format as well as per-component level thresholds to keep the output sane. For packages that support slog, this will likely often end up being a *slog.Logger or a slog.Handler, however I've also had to develop a series of log adapters for common dependencies which use their own concrete types, interfaces and callbacks.

In both of these cases, it is helpful to have a default fallback which logs nothing, so that the packages can be tested or used on their own without needing boilerplate guard clauses on every logging method to check for nil values. It's also helpful for less well-behaved dependencies which create their own loggers if one is not provided, some of whom are exceptionally chatty for no good reason. Packages like this are sadly far too common, and we're likely to continue seeing them, so a way to bring some sanity to the process would be very useful.

While it's true that checks for the presence of logging can be reduced by funneling all handler interaction through a single point, this introduces another sort of boilerplate for slog where Records need to be created manually, adjusting their PC to account for the extra frame as seen in the wrapping example. This is a low-level and overly-manual process just to enable conditional logging.

Currently, there doesn't seem to be a great answer for this in slog:

  • there are no guards for a nil receiver on *Logger methods
  • the zero value of Logger is not usable and will panic
  • Loggers initialized with a nil handler will panic
  • there is no way to modify a logger to change its handler or logging level once it's created, making slog.Default() unworkable as a fallback
  • defaultHandler is unexported, so it cannot act as a fallback, and handlers do not provide a WithLevel or WithLeveler method, so it wouldn't work as a fallback even if it were exported.
  • HandlerOptions, which allows specifying a minimum level, only applies to the built-in handlers, and there is no WithHandlerOptions that would allow derived handlers to adjust their logging level using this type.

Leaving aside the arguments on the merits of logging in packages, this pattern is nonetheless common enough that it would probably be useful to have a type DisabledHandler struct{} or even a func DisabledLogger()*Logger convenience method that could act as a default. when the zero values are nil.

flowchartsman avatar Aug 14 '23 04:08 flowchartsman

log.Logger has an optimization where it detects when the writer is io.Discard and does no allocations. Maybe slog should do the same thing.

earthboundkid avatar Aug 14 '23 16:08 earthboundkid

(CC @jba)

bcmills avatar Aug 14 '23 18:08 bcmills

log.Logger has an optimization where it detects when the writer is io.Discard and does no allocations. Maybe slog should do the same thing.

I'm not sure this would work in this case, since this would be an implementation at the handler level, which would mean it would only apply to the standard lib JSON and KV handlers. It would require the user to take an slog.Handler and write something like:

if config.LoggingHandler == nil {
     //default: this JSONHandler does nothing
    config.LoggingHandler = slog.NewJSONHandler(io.Discard, nil)
}

// need the handler since slog.New(nil) will panic
logger := slog.New(config.LoggingHandler)

Which still feels pretty awkward.

flowchartsman avatar Aug 14 '23 18:08 flowchartsman

I wouldn't want to make a nil *Logger meaningful. I think it would lead to hard-to-find errors where forgetting to set a logger resulted in no log output, and that is only detected when you need the log output (like during a production outage).

I think a slog.DiscardHandler variable would make sense, just as we have io.Discard. Or maybe NopHandler is a better name. Does that work for you?

jba avatar Aug 18 '23 14:08 jba

I wouldn't want to make a nil *Logger meaningful. I think it would lead to hard-to-find errors where forgetting to set a logger resulted in no log output, and that is only detected when you need the log output (like during a production outage).

Concur. Either handler name works for me and, while I like NopHandler, I think it probably serves as more of a mnemonic to call it DiscardHandler in keeping with the convention elsewhere.

This would make the fallback story for logging injection something like:

type ClientConfig struct {
    Logger: *slog.Logger
}

func NewClient(config ClientConfig) (*Client, error) {
    if config.Logger == nil {
        config.Logger = slog.New(slog.DiscardHandler)
    }
    //...
    return &Client{
        logger: config.Logger,
    }, nil
}

Which isn't too bad, and makes a DiscardLogger() *Logger redundant, unless you really care about those 9 characters ;)

flowchartsman avatar Aug 21 '23 18:08 flowchartsman

The only reason to prefer DiscardLogger() *Logger might be that it could be created fresh on invocation, which would prevent dependencies from mucking about with slog.DiscardHandler, though the flip side is that they can already call slog.SetDefault(), and it could be useful for debugging to explicitly set slog.DiscardHandler in main(). I guess it depends on your attitude towards package-level variables.

flowchartsman avatar Aug 21 '23 18:08 flowchartsman

The proposal here is to add slog.DiscardHandler as a global variable, like io.Discard, or possibly a function.

It's ready for the proposal committee.

/cc @rsc

jba avatar Aug 29 '23 13:08 jba

I want to cast a vote for this being added. I found myself writing the following today in a test suite because the portion of my application I was testing relies on having a logger instance, but I don't care about logs during the tests:

package main

import "log/slog"

type NullWriter struct{}

func (NullWriter) Write([]byte) (int, error) { return 0, nil }

func main() {
	logger := NullLogger()
	logger.Info("foo")
}

func NullLogger() *slog.Logger {
	return slog.New(slog.NewTextHandler(NullWriter{}, nil))
}

Reading through this thread I learned about io.Discard (I had searched for combination of "null" and "writer" but never would have guessed "Discard"). So that'll remove some code for me. But it would be really nice if we could invoke slog.NewNullLogger() or some such to avoid this sort of boilerplate.

jsumners avatar Oct 04 '23 20:10 jsumners

@flowchartsman, can you edit your top post to refer to the actual proposal (https://github.com/golang/go/issues/62005#issuecomment-1697500900)?

jba avatar Oct 05 '23 10:10 jba

@flowchartsman ... or just edit it to be the proposal.

jba avatar Oct 05 '23 10:10 jba

Done!

flowchartsman avatar Oct 07 '23 19:10 flowchartsman

Seeing this is not on track for 1.22, what should package authors do in the meantime, in case they want to provide structured logging as an optional feature?

  • Implement their own no-op loggers, or
  • Require users to pass a *slog.Logger (which isn't harmful per-se but can add undesirable friction)

I'd assume that a gradual ecosystem-wide migration to slog starts with package authors adding support first, enabling downstream projects to flip the switch at some point in the future.

betamos avatar Nov 28 '23 12:11 betamos

Added https://go-review.googlesource.com/c/go/+/548335 which uses @bcmills example to demonstrate how users can solve this, for now.

kevinburkesegment avatar Dec 07 '23 21:12 kevinburkesegment

Change https://go.dev/cl/548335 mentions this issue: log/slog: add example showing how to discard logs

gopherbot avatar Dec 07 '23 21:12 gopherbot

Change https://go.dev/cl/547956 mentions this issue: log/slog: implement slog.Discard with example

gopherbot avatar Dec 11 '23 01:12 gopherbot

I've gone ahead and submitted change 547956, just to get the ball rolling. It required I rename the internal discardHandler, (which is similar, but also allows for initialization to test allocs) to nopHandler, which is a fitting use for the discarded name, IMO, and I've gone with slog.Discard for brevity and symmetry with io.Discard, but am happy to amend.

It seemed appropriate to make a whole file example demonstrating its usage in type initialization, since the initial purpose of the proposal was to have a sensible fallback handler that types which consume a *slog.Logger could use when none is provided. Hopefully this also helps illustrate that types should accept loggers, rather than generate them.

flowchartsman avatar Dec 11 '23 01:12 flowchartsman

Hey, I missed this issue while writing my own https://github.com/golang/go/issues/69227. I closed it.

As a workaround, you will see in my issue I used handler = slog.NewTextHandler(io.Discard, nil) . But I will check what @flowchartsman proposition becomes!

Nicolas-Peiffer avatar Sep 03 '24 10:09 Nicolas-Peiffer

This proposal has been added to the active column of the proposals project and will now be reviewed at the weekly proposal review meetings. — rsc for the proposal review group

rsc avatar Sep 04 '24 18:09 rsc

In the log package, we talked about adding a special "discard" mode and instead we recognized log.SetOutput(io.Discard). Here it seems like we should probably do the same thing: recognize slog.NewTextHandler(io.Discard, nil) instead of creating new API.

Thoughts?

rsc avatar Sep 11 '24 17:09 rsc

log.SetOutput(io.Discard) is optimized to be very fast. But that optimization is fragile; if you wrap io.Discard, you don't get it. The optimization is crucial for TextHandler, because it does a lot of work if it's going to print something.

If we do this for TextHandler, it would be surprising if we didn't do it for JSONHandler as well.

Those are the built-in handlers. Would people expect the same behavior from third-party handlers? It's already hard enough to write a handler.

I think we'll end up with wordy, brittle magic formula. A single new exported symbol is a small price to pay to avoid that.

jba avatar Sep 11 '24 18:09 jba

I agree that overloading TextHandler to have a short circuit for io.Discard is too magical. For log the output contract is io.Writer so it makes sense to recognize io.Discard. Forslog, the contract is slog.Handler, discards should be more clearly visible at that level.

seankhliao avatar Sep 11 '24 18:09 seankhliao

Prior art:

  • https://pkg.go.dev/github.com/go-kit/log#NewNopLogger
  • https://pkg.go.dev/go.uber.org/zap#NewNop
  • https://pkg.go.dev/github.com/inconshreveable/log15/v3#DiscardHandler
  • https://pkg.go.dev/github.com/rs/zerolog#Nop

ChrisHines avatar Sep 11 '24 18:09 ChrisHines

In the log package, we talked about adding a special "discard" mode and instead we recognized log.SetOutput(io.Discard). Here it seems like we should probably do the same thing: recognize slog.NewTextHandler(io.Discard, nil) instead of creating new API.

Thoughts?

I think it's much more ergonomic for the package to provide this itself. As I alluded to in https://github.com/golang/go/issues/62005#issuecomment-1747630201, it is not at all obvious how to instantiate a no-output logger, particularly to people not intimately familiar with the whole (quite large) standard library. If the package provides a canonical way to do it, then it becomes a lot easier to find; people who know they want to use the logger package, but don't know all of the other things, can see it right inline with the rest of the documentation they are reading around logging and opt to use it.

I also agree with https://github.com/golang/go/issues/62005#issuecomment-2344343003 that providing an optimized no-output option is better for applications that may want logging for debug situations, but don't want to incur the costs associated with building the logs when they are not in such a situation.

jsumners avatar Sep 11 '24 20:09 jsumners

My understanding of this proposal is that we want to optimize for the "discard logs" case, and could either achieve that by having every slog handler detect io.Discard, which requires O(n) changes and is potentially fragile, or we can have a specific slog.DiscardHandler and not add any extra logic to each slog handler. Is that understanding right?

If slog.DiscardHandler is a package variable of type slog.Handler, then the compiler can't constant-fold away log operations on it. It may be that that's not practical for other reasons, but I wanted to point it out as a consideration.

aclements avatar Sep 25 '24 17:09 aclements

is there any scenario where the compiler can constant fold away log operations? all user code will call logging methods on slog.Logger which stores a reference to the handler in an interface field.

imo it's sufficient for the Handler methods to just do no further work with the arguments it receives, code that's concerned about the cost for preparing the fields to log can wrap it in if logger.Enabled(slog.LevelDebug) { ... }

seankhliao avatar Sep 25 '24 18:09 seankhliao

@aclements That's correct.

Logging has to be fast when disabled, but that's fast relative to formatting and I/O. I don't think we need to worry about optimizations at the level of constant folding.

jba avatar Sep 25 '24 19:09 jba

Have all remaining concerns about this proposal been addressed?

The proposal is:

package slog

// DiscardHandler dicards all log output.
var DiscardHandler Handler

aclements avatar Oct 04 '24 00:10 aclements

Based on the discussion above, this proposal seems like a likely accept.

The proposal is:

package slog

// DiscardHandler dicards all log output.
var DiscardHandler Handler

aclements avatar Oct 23 '24 19:10 aclements

The only reason to prefer DiscardLogger() *Logger might be that it could be created fresh on invocation, which would prevent dependencies from mucking about with slog.DiscardHandler

For the folks paranoid about security out there (like me), is it worth considering adding a constructor to get a clean discard handler constructed from the same unexported type I assume is being created to back var DiscardHandler Handler.

func NewDiscardHandler() Handler

travbale avatar Oct 29 '24 21:10 travbale

If it's good enough for io.EOF, it's good enough for slog.DiscardHandler.

Less glibly, the threat model of Go does not include having access to the code of the program. If it did, many things about the language would be different. We do understand that writable globals are not great, but we are not going to start addressing that in slog.

jba avatar Oct 29 '24 21:10 jba