Commit Graph
2 Commits
Author SHA1 Message Date
Joe Tsai 1a9090f14e util/ioqueue: add helper functions
This adds the following helpers:

* WaitLength waits until the buffer is non-empty or a context is canceled.
  It supports batchDelays so that even if data is ready, it blocks
  until the delay is over. This is useful for how we upload logs for iOS,
  where we deliberately wait a few minutes to reduce wakeup costs.

* DiscardOversize asynchronously discards data in the buffer
  once it exceeds the specified maxSize. It takes in an optional frameLen
  to ensure discarding maintains consistent frames in the buffer.
  This avoids known problems with today's ring buffer where we can get
  torn frames that lead to silent data corruption.

  An alternative approach would be to synchronously delete data upon
  an oversize condition at Write time, but there are two reasons
  not to do that:

    1. Doing requires teaching each Buffer implementation about
    the concept of framing, which the interface deliberately avoids.

    2. We want the write path to be extremely fast as we never want to
    be blocking production logic. Going over maxSize momentarily is
    considered a better tradeoff than synchronously blocking writes.

* StreamReader converts a non-blocking Buffer reader into a blocking one.
  This exists primarily for debugging where you can simply stream
  the entirety of a buffer to stdout.

We also adjust the package to avoid wrapping io.EOF and ErrEmpty
as those are sentinel errors with very specific meanings.

Updates tailscale/corp#21363

Signed-off-by: Joe Tsai <joetsai@digital-static.net>
2026-08-14 12:35:33 -07:00
Joe Tsai 9f4fe8b5f2 util/ioqueue: new log buffer implementation (#20816)
This adds a new ring buffer implementation that aims to replace
logtail.Buffer and the on-disk implementation in filch.Filch.

There are several problems with filch.Filch:

* Filching stderr should not be done at the buffer layer.
  This makes structured representation within the buffer difficult
  as arbitrary stderr data may unexpectedly appear,
  which hinders attempts at more structured data.

* Log messages are assumed to be discreet lines rather than arbitrary bytes.
  This makes it harder to switch the structured representation (e.g., using CBOR instead).

* Data that appears asynchronously through stderr never triggers a wake-up within logtail.
  Consequently logs may never be uploaded.

* Relatedly, there is no mechanism for notifying that data has newly arrived in the buffer.

* There is no two-stage exfiltration. The TryReadLine method may or may not persist
  the fact that the data was read. It arbitrarily depends on whether we cross
  a magical file boundary in the dual-file approach.
  A failed upload followed by a restart results in dropped logs.
  A successful upload followed by a restart results in duplicated logs.

The new Buffer interface and VolatileBuffer implementation are
a step in the direction to resolving these problems.

* In the future, filching will output to a separate pipe
  that we explicitly process the data for,
  before putting it into the log buffer.
  By processing the data, we can protect against stderr garbage being inserted
  into the buffer unexpectedly breaking any structure.

* The Buffer.Peek and Buffer.DiscardUntil methods provide a way
  to exfiltrate in a two-step manner.
  When uploading, we peek at a chunk of data to upload.
  When successful, we discard the data, ensuring that the buffer knows
  not to provide that data again. The Len method can be used to suggest
  to the logging service the amount of back pressure that exists.

Updates tailscale/corp#21363

Signed-off-by: Joe Tsai <joetsai@digital-static.net>
2026-08-13 13:04:53 -07:00