Compare commits
2
Commits
next
..
727fdb9a7d
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
727fdb9a7d | ||
|
|
5670edb269 |
@@ -1,76 +1,75 @@
|
|||||||
# Repository Rules
|
# Repository Rules
|
||||||
|
|
||||||
Last Updated 2026-10-27
|
Last Updated 2026-01-08
|
||||||
|
|
||||||
These rules MUST be followed at all times. This is very important.
|
These rules MUST be followed at all times, it is very important.
|
||||||
|
|
||||||
- Never use `git add -A`. Stage specific changes for a deliberate commit. A
|
- Never use `git add -A` - add specific changes to a deliberate commit. A commit
|
||||||
commit holds one change. After each change, make a commit with a good one-line
|
should contain one change. After each change, make a commit with a good
|
||||||
summary.
|
one-line summary.
|
||||||
|
|
||||||
- NEVER modify the linter config without asking first.
|
- NEVER modify the linter config without asking first.
|
||||||
|
|
||||||
- NEVER modify a test to exclude special cases or otherwise make it pass without
|
- NEVER modify tests to exclude special cases or otherwise get them to pass
|
||||||
asking first. In almost all cases, change the code, NOT the test. You need
|
without asking first. In almost all cases, the code should be changed, NOT the
|
||||||
explicit user approval to modify an existing test. If you think a test needs
|
tests. If you think the test needs to be changed, make your case for that and
|
||||||
to change, make your case and ask for permission to proceed. Then stop. A bug
|
ask for permission to proceed, then stop. You need explicit user approval to
|
||||||
fix may change an existing test without asking only when that test pins
|
modify existing tests. A bug fix may change an existing test without asking
|
||||||
exactly the behavior the filed bug calls wrong. The change must then move the
|
when that test pins exactly the behavior the filed bug calls wrong, and the
|
||||||
test to the fixed behavior and nothing else. Any other change to an existing
|
change moves it to the fixed behavior and nothing else; any other change to an
|
||||||
test needs explicit user approval. Writing NEW tests needs no approval.
|
existing test still needs explicit user approval. (You do not need user
|
||||||
|
approval for writing NEW tests.)
|
||||||
|
|
||||||
- When linting, assume the linter config is CORRECT. Treat each item the linter
|
- When linting, assume the linter config is CORRECT, and that each item output
|
||||||
reports as something that legitimately needs fixing in the code.
|
by the linter is something that legitimately needs fixing in the code.
|
||||||
|
|
||||||
- When running tests, use `make test`.
|
- When running tests, use `make test`.
|
||||||
|
|
||||||
- Before committing, run `make check`. It runs `make test`, `make lint` and
|
- Before commits, run `make check`. This runs `make lint` and `make test` and
|
||||||
`make fmt-check`. Any issue it finds MUST be resolved before committing,
|
`make check-fmt`. Any issues discovered MUST be resolved before committing
|
||||||
unless you are explicitly told otherwise.
|
unless explicitly told otherwise.
|
||||||
|
|
||||||
- When fixing a bug, write a failing test for the bug FIRST. Add appropriate
|
- When fixing a bug, write a failing test for the bug FIRST. Add appropriate
|
||||||
logging to the test, to make sure the test is written correctly. Commit that.
|
logging to the test to ensure it is written correctly. Commit that. Then go
|
||||||
Then work on the fix until the test passes, without changing the test further.
|
about fixing the bug until the test passes (without modifying the test
|
||||||
Then commit the fix.
|
further). Then commit that.
|
||||||
|
|
||||||
- When adding a new feature, do the same: write a test first (test-driven
|
- When adding a new feature, do the same - implement a test first (TDD). It
|
||||||
development, TDD). The test does not need to be very complex. Commit the test,
|
doesn't have to be super complex. Commit the test, then commit the feature.
|
||||||
then commit the feature.
|
|
||||||
|
|
||||||
- When adding a new feature, use a feature branch. The feature branch reaches
|
- When adding a new feature, use a feature branch. When the feature is
|
||||||
`next` through a PR that passes review. It is merged only when the feature is
|
completely finished and the code is up to standards (passes `make check`) then
|
||||||
completely finished and the code is up to standards. The code is up to
|
and only then can the feature branch be merged into `main` and the branch
|
||||||
standards when it passes `make check`. The branch is deleted after the merge.
|
deleted.
|
||||||
Only the user merges `next` into `main`.
|
|
||||||
|
|
||||||
- Write `godoc` comments for all exported types and functions as you go along.
|
- Write godoc documentation comments for all exported types and functions as you
|
||||||
|
go along.
|
||||||
|
|
||||||
- ALWAYS be consistent in naming. If you name something one way in one place,
|
- ALWAYS be consistent in naming. If you name something one thing in one place,
|
||||||
use the EXACT SAME name in every other place.
|
name it the EXACT SAME THING in another place.
|
||||||
|
|
||||||
- Be descriptive and specific in naming. `al` is bad; `SourceHostAllowlist` is
|
- Be descriptive and specific in naming. `wl` is bad; `SourceHostWhitelist` is
|
||||||
good. `ConnsPerHost` is bad; `MaxConnectionsPerHost` is good.
|
good. `ConnsPerHost` is bad; `MaxConnectionsPerHost` is good.
|
||||||
|
|
||||||
- This is not prototype or teaching code. It is designed for production. Any
|
- This is not prototype or teaching code - this is designed for production. Any
|
||||||
security issue (such as denial of service) or other web vulnerability is a P1
|
security issues (such as denial of service) or other web vulnerabilities are
|
||||||
bug. It must be added at the top of `TODO.md`.
|
P1 bugs and must be added to TODO.md at the top.
|
||||||
|
|
||||||
- Do not stub an implementation unless you are specifically instructed to. This
|
- As this is production code, no stubbing of implementations unless specifically
|
||||||
is production code, and we need working implementations.
|
instructed. We need working implementations.
|
||||||
|
|
||||||
- NEVER silently fall back to a different setting when a user's parameter
|
- NEVER silently fall back to a different setting when a user's parameter
|
||||||
explicitly specifies a value. For example, if a user requests `format=webp`
|
explicitly specifies a value. If a user requests format=webp and WebP encoding
|
||||||
and WebP encoding is not supported, return an error. Do NOT silently output
|
is not supported, return an error - do NOT silently output PNG instead. If a
|
||||||
PNG instead. If a user specifies `fit=invalid` and that fit mode does not
|
user specifies fit=invalid and that fit mode doesn't exist, return an error -
|
||||||
exist, return an error. Do NOT silently default to `cover`. A silent fallback
|
do NOT silently default to "cover". Silent fallbacks violate the principle of
|
||||||
violates the principle of least surprise and masks bugs. Defaults are
|
least surprise and mask bugs. The only acceptable defaults are for OMITTED
|
||||||
acceptable only for OMITTED parameters, never for INVALID explicit values.
|
parameters, never for INVALID explicit values.
|
||||||
|
|
||||||
- Avoid vendoring dependencies unless specifically instructed to. NEVER commit
|
- Avoid vendoring deps unless specifically instructed to. NEVER commit the
|
||||||
the `vendor/` directory. NEVER commit compiled binaries. If such a directory
|
vendor directory, NEVER commit compiled binaries. If these directories or
|
||||||
or file exists and `.gitignore` does not list it, add it to `.gitignore`.
|
files exist, add them to .gitignore (and commit the .gitignore) if they are
|
||||||
Commit that `.gitignore` change. Keep the entire git repository, history
|
not already in there. Keep the entire git repository (with history) small -
|
||||||
included, under 20 MiB. Go over 20 MiB only when you specifically must commit
|
under 20MiB, unless you specifically must commit larger files (e.g. test
|
||||||
a large file, such as a media file used as a test fixture. Only OUR source
|
fixture example media files). Only OUR source code and immediately supporting
|
||||||
code and its immediately supporting files, such as test examples, go into the
|
files (such as test examples) goes into the repo/history.
|
||||||
repository and its history.
|
|
||||||
|
|||||||
@@ -252,15 +252,6 @@ less than ten times as long after the last look ended as that look took. After a
|
|||||||
look that took one minute, the next one starts 10 to 15 minutes after that look
|
look that took one minute, the next one starts 10 to 15 minutes after that look
|
||||||
ended.
|
ended.
|
||||||
|
|
||||||
Each look also drops the rows of variants whose files are missing. When pixa
|
|
||||||
cannot read a variant file's size for another reason, it keeps the variant's
|
|
||||||
row. It logs a warning naming the variant key and the error.
|
|
||||||
|
|
||||||
During a look, pixa skips a directory it cannot list and a file whose size it
|
|
||||||
cannot read. It logs a warning naming the path and the error, and goes on with
|
|
||||||
the rest of the look. A file renamed or removed after pixa listed its directory
|
|
||||||
gets no warning.
|
|
||||||
|
|
||||||
pixa's target is 1-5k r/s, which has not been measured at that rate (see Load
|
pixa's target is 1-5k r/s, which has not been measured at that rate (see Load
|
||||||
Test). Toward it, a cache hit opens the variant's file and nothing else, and
|
Test). Toward it, a cache hit opens the variant's file and nothing else, and
|
||||||
makes no database call. The content type comes from the file's first bytes,
|
makes no database call. The content type comes from the file's first bytes,
|
||||||
@@ -319,8 +310,8 @@ path under `/v1/` answers 200, in maintenance mode too.
|
|||||||
- 403 when the upstream host, or a host it redirects to, has an address in a
|
- 403 when the upstream host, or a host it redirects to, has an address in a
|
||||||
blocked network (see `blocked_networks`).
|
blocked network (see `blocked_networks`).
|
||||||
- 429 over `image_requests_per_minute` (below).
|
- 429 over `image_requests_per_minute` (below).
|
||||||
- 499, with no body, when the client goes away before its image is ready,
|
- 499 when the client goes away while waiting for an image another request
|
||||||
unless its request is the one making the image (below).
|
is making (below).
|
||||||
- 415 when the upstream answers with a `Content-Type` that is not one of the
|
- 415 when the upstream answers with a `Content-Type` that is not one of the
|
||||||
source formats (below).
|
source formats (below).
|
||||||
- 415 when the upstream sends a body whose first bytes are not those of the
|
- 415 when the upstream sends a body whose first bytes are not those of the
|
||||||
@@ -352,7 +343,7 @@ path under `/v1/` answers 200, in maintenance mode too.
|
|||||||
- 403
|
- 403
|
||||||
- 415
|
- 415
|
||||||
- 429
|
- 429
|
||||||
- 499, with no body
|
- 499
|
||||||
- 502
|
- 502
|
||||||
- 503
|
- 503
|
||||||
- 504
|
- 504
|
||||||
|
|||||||
@@ -30,28 +30,10 @@ P2: security: per-origin rate limiting
|
|||||||
|
|
||||||
# Completed Steps
|
# Completed Steps
|
||||||
|
|
||||||
- 2026-10-27 the reconciliation pass skips a directory it cannot list and a file
|
|
||||||
whose info it cannot read, and goes on (closes #343). It stopped before its
|
|
||||||
later checks at a directory it could not list, or at a source or variant file
|
|
||||||
whose info it could not read.
|
|
||||||
- It logs the warning "skipped unreadable entry in cache directory", with
|
|
||||||
the path and the error.
|
|
||||||
- A file renamed or removed after its directory was listed gets no warning.
|
|
||||||
- `reconcileFiles` reads each file's info once, before the temp-file check,
|
|
||||||
and hands it to `sweepStaleTempFile`, `reconcileVariantFile` or
|
|
||||||
`reconcileSourceFile`.
|
|
||||||
- A cancelled context still stops the walk with its error.
|
|
||||||
- 2026-10-26 the reconciliation pass drops a variant's accounting row only when
|
|
||||||
its file is missing (closes #340). Any other error reading the file's size
|
|
||||||
keeps the row. It dropped the row on any error and logged the file as missing.
|
|
||||||
- The kept row gets the warning "kept accounting row for unreadable variant
|
|
||||||
file", with the variant key and the error.
|
|
||||||
- The pass checks for `ErrNotFound`, which `FileStore.Size` returns for a
|
|
||||||
missing file.
|
|
||||||
- 2026-10-26 on both image routes, a request is answered 499 and logged at info
|
- 2026-10-26 on both image routes, a request is answered 499 and logged at info
|
||||||
level when its client goes away before its image is ready, unless it is the
|
level when its client goes away while waiting for an image another request is
|
||||||
request making the image (closes #339). It was answered 500 and logged at
|
making (closes #339). It was answered 500 and logged at error level, as pixa's
|
||||||
error level, as pixa's own failure.
|
own failure.
|
||||||
- The line is "client went away before the image was ready". It carries the
|
- The line is "client went away before the image was ready". It carries the
|
||||||
`request_id`, the host and the path.
|
`request_id`, the host and the path.
|
||||||
- The 499 has no body, since nobody reads it.
|
- The 499 has no body, since nobody reads it.
|
||||||
|
|||||||
@@ -58,14 +58,13 @@ func readLogLines(t *testing.T, logs *bytes.Buffer) []map[string]any {
|
|||||||
return lines
|
return lines
|
||||||
}
|
}
|
||||||
|
|
||||||
// TestImageRoutes_ClientGoneWhileWaitingAnswers499 checks that both image
|
// TestImageRoutes_ClientGoneAnswers499 checks that both image routes answer
|
||||||
// routes answer 499 to a request whose client goes away while it waits for an
|
// 499 to a request whose client goes away while its image is being made. A
|
||||||
// image another request is making. A first request's fetch is held, so the
|
// first request's fetch is held, so the image is being made, and a second
|
||||||
// image is being made, and a second request for the same image waits for it
|
// request for the same image waits for it until its client goes away. The
|
||||||
// until its client goes away. The second request must be logged once at info
|
// second request must be logged once at info level with its request ID and
|
||||||
// level with its request ID and the source host and path. Nothing may be
|
// the source host and path. Nothing may be logged at error level.
|
||||||
// logged at error level.
|
func TestImageRoutes_ClientGoneAnswers499(t *testing.T) {
|
||||||
func TestImageRoutes_ClientGoneWhileWaitingAnswers499(t *testing.T) {
|
|
||||||
t.Parallel()
|
t.Parallel()
|
||||||
|
|
||||||
const requestID = "test-request-id"
|
const requestID = "test-request-id"
|
||||||
|
|||||||
@@ -21,9 +21,9 @@ import (
|
|||||||
)
|
)
|
||||||
|
|
||||||
// statusClientClosedRequest is the status nginx calls "client closed
|
// statusClientClosedRequest is the status nginx calls "client closed
|
||||||
// request". The image routes answer it when the client goes away before its
|
// request". The image routes answer it when the client goes away while
|
||||||
// image is ready, unless its request is the one making the image. Nobody reads
|
// waiting for an image another request is making. Nobody reads it; it is for
|
||||||
// it; it is for logs and metrics.
|
// logs and metrics.
|
||||||
const statusClientClosedRequest = 499
|
const statusClientClosedRequest = 499
|
||||||
|
|
||||||
// HandleImage handles the main image proxy route:
|
// HandleImage handles the main image proxy route:
|
||||||
@@ -353,8 +353,8 @@ func notModified(w http.ResponseWriter, r *http.Request, etag string) bool {
|
|||||||
// once they have the request and its URL's expiry, which ends the
|
// once they have the request and its URL's expiry, which ends the
|
||||||
// Cache-Control max-age. It chooses the format for the format auto, answers
|
// Cache-Control max-age. It chooses the format for the format auto, answers
|
||||||
// If-None-Match with 304 and HEAD with the headers only. It answers 499 when
|
// If-None-Match with 304 and HEAD with the headers only. It answers 499 when
|
||||||
// the image service stopped because the client went away, and any other error
|
// the client goes away while waiting for an image another request is making.
|
||||||
// of the image service with respondImageError.
|
// It answers any other error of the image service with respondImageError.
|
||||||
func (s *Handlers) serveImage(
|
func (s *Handlers) serveImage(
|
||||||
w http.ResponseWriter, r *http.Request,
|
w http.ResponseWriter, r *http.Request,
|
||||||
req *imagerequest.Request, expires time.Time,
|
req *imagerequest.Request, expires time.Time,
|
||||||
|
|||||||
@@ -515,15 +515,12 @@ func (c *Cache) reconcileAccounting(ctx context.Context) error {
|
|||||||
}
|
}
|
||||||
|
|
||||||
// reconcileFiles walks baseDir, one of the cache's storage directories,
|
// reconcileFiles walks baseDir, one of the cache's storage directories,
|
||||||
// sweeping stale temp files and passing each other file, with its info and
|
// sweeping stale temp files and passing each other file, with its name, to
|
||||||
// name, to reconcileFile. It skips a directory it cannot list and a file
|
// reconcileFile. Once ctx is cancelled it stops at the next file and
|
||||||
// whose info it cannot read, so one such entry does not stop the pass. It
|
// returns ctx's error.
|
||||||
// logs a warning naming the path and the error. A file renamed or removed
|
|
||||||
// after its directory was listed is skipped with no warning. Once ctx is
|
|
||||||
// cancelled it stops at the next file and returns ctx's error.
|
|
||||||
func (c *Cache) reconcileFiles(
|
func (c *Cache) reconcileFiles(
|
||||||
ctx context.Context, baseDir string,
|
ctx context.Context, baseDir string,
|
||||||
reconcileFile func(path string, info fs.FileInfo, name string) error,
|
reconcileFile func(path string, entry fs.DirEntry, name string) error,
|
||||||
) error {
|
) error {
|
||||||
return filepath.WalkDir(
|
return filepath.WalkDir(
|
||||||
baseDir,
|
baseDir,
|
||||||
@@ -532,38 +529,19 @@ func (c *Cache) reconcileFiles(
|
|||||||
return ctx.Err()
|
return ctx.Err()
|
||||||
}
|
}
|
||||||
|
|
||||||
if err != nil {
|
if err != nil || entry.IsDir() {
|
||||||
c.log.Warn("skipped unreadable entry in cache directory",
|
return err
|
||||||
"path", path, "error", err)
|
|
||||||
|
|
||||||
return nil
|
|
||||||
}
|
|
||||||
|
|
||||||
if entry.IsDir() {
|
|
||||||
return nil
|
|
||||||
}
|
|
||||||
|
|
||||||
info, err := entry.Info()
|
|
||||||
if errors.Is(err, fs.ErrNotExist) {
|
|
||||||
return nil
|
|
||||||
}
|
|
||||||
|
|
||||||
if err != nil {
|
|
||||||
c.log.Warn("skipped unreadable entry in cache directory",
|
|
||||||
"path", path, "error", err)
|
|
||||||
|
|
||||||
return nil
|
|
||||||
}
|
}
|
||||||
|
|
||||||
name := entry.Name()
|
name := entry.Name()
|
||||||
|
|
||||||
if strings.HasPrefix(name, tempFilePrefix) {
|
if strings.HasPrefix(name, tempFilePrefix) {
|
||||||
c.sweepStaleTempFile(path, info)
|
c.sweepStaleTempFile(path, entry)
|
||||||
|
|
||||||
return nil
|
return nil
|
||||||
}
|
}
|
||||||
|
|
||||||
return reconcileFile(path, info, name)
|
return reconcileFile(path, entry, name)
|
||||||
},
|
},
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
@@ -573,8 +551,8 @@ func (c *Cache) reconcileFiles(
|
|||||||
// and sweeping stale temp files.
|
// and sweeping stale temp files.
|
||||||
func (c *Cache) reconcileVariantFiles(ctx context.Context) error {
|
func (c *Cache) reconcileVariantFiles(ctx context.Context) error {
|
||||||
return c.reconcileFiles(ctx, c.variants.baseDir,
|
return c.reconcileFiles(ctx, c.variants.baseDir,
|
||||||
func(path string, info fs.FileInfo, name string) error {
|
func(path string, entry fs.DirEntry, name string) error {
|
||||||
return c.reconcileVariantFile(ctx, path, info, imagerequest.VariantKey(name))
|
return c.reconcileVariantFile(ctx, path, entry, imagerequest.VariantKey(name))
|
||||||
})
|
})
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -584,11 +562,16 @@ func (c *Cache) reconcileVariantFiles(ctx context.Context) error {
|
|||||||
// crash or a restored snapshot can leave it, is removed with its row and
|
// crash or a restored snapshot can leave it, is removed with its row and
|
||||||
// a warning naming it, so the variant is converted again.
|
// a warning naming it, so the variant is converted again.
|
||||||
func (c *Cache) reconcileVariantFile(
|
func (c *Cache) reconcileVariantFile(
|
||||||
ctx context.Context, path string, info fs.FileInfo, cacheKey imagerequest.VariantKey,
|
ctx context.Context, path string, entry fs.DirEntry, cacheKey imagerequest.VariantKey,
|
||||||
) error {
|
) error {
|
||||||
|
info, err := entry.Info()
|
||||||
|
if err != nil {
|
||||||
|
return fmt.Errorf("failed to stat variant file: %w", err)
|
||||||
|
}
|
||||||
|
|
||||||
var recordedSize int64
|
var recordedSize int64
|
||||||
|
|
||||||
err := c.db.QueryRowContext(ctx,
|
err = c.db.QueryRowContext(ctx,
|
||||||
`SELECT size_bytes FROM variant_content WHERE cache_key = ?`, string(cacheKey),
|
`SELECT size_bytes FROM variant_content WHERE cache_key = ?`, string(cacheKey),
|
||||||
).Scan(&recordedSize)
|
).Scan(&recordedSize)
|
||||||
|
|
||||||
@@ -630,9 +613,7 @@ func (c *Cache) adoptVariantFile(
|
|||||||
}
|
}
|
||||||
|
|
||||||
// reconcileVariantRows drops accounting rows whose variant files are
|
// reconcileVariantRows drops accounting rows whose variant files are
|
||||||
// missing, so the database never references deleted content. A file whose
|
// missing, so the database never references deleted content.
|
||||||
// size cannot be read for another reason may still be on disk, so its row
|
|
||||||
// stays, with a warning naming its key and the error.
|
|
||||||
func (c *Cache) reconcileVariantRows(ctx context.Context) error {
|
func (c *Cache) reconcileVariantRows(ctx context.Context) error {
|
||||||
var after imagerequest.VariantKey
|
var after imagerequest.VariantKey
|
||||||
|
|
||||||
@@ -660,13 +641,6 @@ func (c *Cache) reconcileVariantRows(ctx context.Context) error {
|
|||||||
continue
|
continue
|
||||||
}
|
}
|
||||||
|
|
||||||
if !errors.Is(err, ErrNotFound) {
|
|
||||||
c.log.Warn("kept accounting row for unreadable variant file",
|
|
||||||
"cache_key", key, "error", err)
|
|
||||||
|
|
||||||
continue
|
|
||||||
}
|
|
||||||
|
|
||||||
_, err = c.db.ExecContext(ctx,
|
_, err = c.db.ExecContext(ctx,
|
||||||
`DELETE FROM variant_content WHERE cache_key = ?`, string(key))
|
`DELETE FROM variant_content WHERE cache_key = ?`, string(key))
|
||||||
if err != nil {
|
if err != nil {
|
||||||
@@ -731,8 +705,8 @@ func queryStringColumn[T ~string](
|
|||||||
// and sweeping stale temp files.
|
// and sweeping stale temp files.
|
||||||
func (c *Cache) reconcileSourceFiles(ctx context.Context) error {
|
func (c *Cache) reconcileSourceFiles(ctx context.Context) error {
|
||||||
return c.reconcileFiles(ctx, c.srcContent.baseDir,
|
return c.reconcileFiles(ctx, c.srcContent.baseDir,
|
||||||
func(path string, info fs.FileInfo, name string) error {
|
func(path string, entry fs.DirEntry, name string) error {
|
||||||
return c.reconcileSourceFile(ctx, path, info, imagerequest.SourceKey(name))
|
return c.reconcileSourceFile(ctx, path, entry, imagerequest.SourceKey(name))
|
||||||
})
|
})
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -743,11 +717,16 @@ func (c *Cache) reconcileSourceFiles(ctx context.Context) error {
|
|||||||
// is removed with its row and a warning naming it, so the source is
|
// is removed with its row and a warning naming it, so the source is
|
||||||
// fetched again.
|
// fetched again.
|
||||||
func (c *Cache) reconcileSourceFile(
|
func (c *Cache) reconcileSourceFile(
|
||||||
ctx context.Context, path string, info fs.FileInfo, key imagerequest.SourceKey,
|
ctx context.Context, path string, entry fs.DirEntry, key imagerequest.SourceKey,
|
||||||
) error {
|
) error {
|
||||||
|
info, err := entry.Info()
|
||||||
|
if err != nil {
|
||||||
|
return fmt.Errorf("failed to stat source content file: %w", err)
|
||||||
|
}
|
||||||
|
|
||||||
var recordedSize int64
|
var recordedSize int64
|
||||||
|
|
||||||
err := c.db.QueryRowContext(ctx,
|
err = c.db.QueryRowContext(ctx,
|
||||||
`SELECT size_bytes FROM source_content WHERE source_key = ?`,
|
`SELECT size_bytes FROM source_content WHERE source_key = ?`,
|
||||||
string(key),
|
string(key),
|
||||||
).Scan(&recordedSize)
|
).Scan(&recordedSize)
|
||||||
@@ -912,12 +891,17 @@ func (c *Cache) correctUsageTotal(
|
|||||||
|
|
||||||
// sweepStaleTempFile removes a temp file left behind by a crashed
|
// sweepStaleTempFile removes a temp file left behind by a crashed
|
||||||
// write once it is old enough that no in-flight store can own it.
|
// write once it is old enough that no in-flight store can own it.
|
||||||
func (c *Cache) sweepStaleTempFile(path string, info fs.FileInfo) {
|
func (c *Cache) sweepStaleTempFile(path string, entry fs.DirEntry) {
|
||||||
|
info, err := entry.Info()
|
||||||
|
if err != nil {
|
||||||
|
return
|
||||||
|
}
|
||||||
|
|
||||||
if time.Since(info.ModTime()) < staleTempFileAge {
|
if time.Since(info.ModTime()) < staleTempFileAge {
|
||||||
return
|
return
|
||||||
}
|
}
|
||||||
|
|
||||||
err := os.Remove(path)
|
err = os.Remove(path)
|
||||||
if err != nil && !os.IsNotExist(err) {
|
if err != nil && !os.IsNotExist(err) {
|
||||||
c.log.Warn("failed to remove stale temp file", "path", path, "error", err)
|
c.log.Warn("failed to remove stale temp file", "path", path, "error", err)
|
||||||
|
|
||||||
|
|||||||
@@ -9,10 +9,8 @@ import (
|
|||||||
"log/slog"
|
"log/slog"
|
||||||
"os"
|
"os"
|
||||||
"path/filepath"
|
"path/filepath"
|
||||||
"slices"
|
|
||||||
"strings"
|
"strings"
|
||||||
"sync"
|
"sync"
|
||||||
"syscall"
|
|
||||||
"testing"
|
"testing"
|
||||||
"time"
|
"time"
|
||||||
|
|
||||||
@@ -701,291 +699,6 @@ func TestStartEvictionReconcilesAccountingWithDisk(t *testing.T) {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
// logLineNaming returns the first line of logs, written by slog's JSON
|
|
||||||
// handler, that is at level and names the variant key, or "" if none is.
|
|
||||||
func logLineNaming(logs, level string, key imagerequest.VariantKey) string {
|
|
||||||
for line := range strings.Lines(logs) {
|
|
||||||
if strings.Contains(line, `"level":"`+level+`"`) &&
|
|
||||||
strings.Contains(line, `"cache_key":"`+string(key)+`"`) {
|
|
||||||
return line
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
return ""
|
|
||||||
}
|
|
||||||
|
|
||||||
// TestReconcileVariantRowsDropsOnlyRowsOfMissingFiles gives
|
|
||||||
// reconcileVariantRows two tracked variants. The first one's file is a
|
|
||||||
// symbolic link to itself, so its size cannot be read. Its row must stay,
|
|
||||||
// with a warning naming its key and the error. The second one has no file.
|
|
||||||
// Its row must go, with the info line for a missing file.
|
|
||||||
func TestReconcileVariantRowsDropsOnlyRowsOfMissingFiles(t *testing.T) {
|
|
||||||
t.Parallel()
|
|
||||||
|
|
||||||
cache, _ := newEvictionTestCache(t, 1<<30)
|
|
||||||
storeEvictionTestVariant(t, cache, testVariantKeyOne, []byte("variant one"))
|
|
||||||
storeEvictionTestVariant(t, cache, testVariantKeyTwo, []byte("variant two"))
|
|
||||||
|
|
||||||
unreadablePath := cache.variants.keyToPath(string(testVariantKeyOne))
|
|
||||||
|
|
||||||
err := os.Remove(unreadablePath)
|
|
||||||
if err != nil {
|
|
||||||
t.Fatalf("failed to remove the first variant's file: %v", err)
|
|
||||||
}
|
|
||||||
|
|
||||||
err = os.Symlink(unreadablePath, unreadablePath)
|
|
||||||
if err != nil {
|
|
||||||
t.Fatalf("failed to link the first variant's path to itself: %v", err)
|
|
||||||
}
|
|
||||||
|
|
||||||
_, statErr := os.Stat(unreadablePath)
|
|
||||||
if statErr == nil || errors.Is(statErr, fs.ErrNotExist) {
|
|
||||||
t.Fatalf("os.Stat() of the first variant: error = %v, "+
|
|
||||||
"want an error other than a missing file", statErr)
|
|
||||||
}
|
|
||||||
|
|
||||||
err = os.Remove(cache.variants.keyToPath(string(testVariantKeyTwo)))
|
|
||||||
if err != nil {
|
|
||||||
t.Fatalf("failed to remove the second variant's file: %v", err)
|
|
||||||
}
|
|
||||||
|
|
||||||
var logBuf bytes.Buffer
|
|
||||||
|
|
||||||
cache.log = slog.New(slog.NewJSONHandler(&logBuf, nil))
|
|
||||||
|
|
||||||
err = cache.reconcileVariantRows(t.Context())
|
|
||||||
t.Logf("reconcileVariantRows() error = %v, log: %s", err, logBuf.String())
|
|
||||||
|
|
||||||
if err != nil {
|
|
||||||
t.Fatalf("reconcileVariantRows() error = %v", err)
|
|
||||||
}
|
|
||||||
|
|
||||||
rowQuery := `SELECT COUNT(*) FROM variant_content WHERE cache_key = ?`
|
|
||||||
|
|
||||||
if n := countRows(t, cache, rowQuery, string(testVariantKeyOne)); n != 1 {
|
|
||||||
t.Errorf("the variant whose size cannot be read has %d rows, want 1", n)
|
|
||||||
}
|
|
||||||
|
|
||||||
if n := countRows(t, cache, rowQuery, string(testVariantKeyTwo)); n != 0 {
|
|
||||||
t.Errorf("the variant with no file has %d rows, want 0", n)
|
|
||||||
}
|
|
||||||
|
|
||||||
logs := logBuf.String()
|
|
||||||
|
|
||||||
warning := logLineNaming(logs, "WARN", testVariantKeyOne)
|
|
||||||
if !strings.Contains(warning, statErr.Error()) {
|
|
||||||
t.Errorf("no warning names %s and the error %q", testVariantKeyOne, statErr)
|
|
||||||
}
|
|
||||||
|
|
||||||
if line := logLineNaming(logs, "INFO", testVariantKeyOne); line != "" {
|
|
||||||
t.Errorf("the variant whose size cannot be read was logged at info: %s", line)
|
|
||||||
}
|
|
||||||
|
|
||||||
dropped := logLineNaming(logs, "INFO", testVariantKeyTwo)
|
|
||||||
if !strings.Contains(dropped, "dropped accounting row for missing variant file") {
|
|
||||||
t.Errorf("no info line says the file of %s is missing", testVariantKeyTwo)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// openDirectoryNearPathLimit makes a chain of directories inside dir, each
|
|
||||||
// named with 255 zeros, the longest name Linux allows. Linux refuses a path
|
|
||||||
// of 4096 bytes or more, and the chain goes as deep as it can below that.
|
|
||||||
// It returns the chain's deepest directory as an os.Root, closed when the
|
|
||||||
// test ends. An entry made through it with a 255-byte name has a path even
|
|
||||||
// the root user cannot read. The os.Root can make that entry because it
|
|
||||||
// names the entry only by its name, not by the whole path.
|
|
||||||
func openDirectoryNearPathLimit(t *testing.T, dir string) *os.Root {
|
|
||||||
t.Helper()
|
|
||||||
|
|
||||||
name := strings.Repeat("0", 255)
|
|
||||||
deepest := dir
|
|
||||||
|
|
||||||
for len(filepath.Join(deepest, name)) < 4096 {
|
|
||||||
deepest = filepath.Join(deepest, name)
|
|
||||||
}
|
|
||||||
|
|
||||||
err := os.MkdirAll(deepest, StorageDirPerm)
|
|
||||||
if err != nil {
|
|
||||||
t.Fatalf("failed to make a chain of directories: %v", err)
|
|
||||||
}
|
|
||||||
|
|
||||||
root, err := os.OpenRoot(deepest)
|
|
||||||
if err != nil {
|
|
||||||
t.Fatalf("os.OpenRoot(%s) error = %v", deepest, err)
|
|
||||||
}
|
|
||||||
|
|
||||||
t.Cleanup(func() { _ = root.Close() })
|
|
||||||
|
|
||||||
return root
|
|
||||||
}
|
|
||||||
|
|
||||||
// makeEntriesTooLongToRead makes a new directory and a new file in the
|
|
||||||
// deepest directory of the chain that openDirectoryNearPathLimit makes
|
|
||||||
// inside dir. Even the root user can then neither list the new directory
|
|
||||||
// nor read the new file's info. It returns the paths of the new directory
|
|
||||||
// and the new file.
|
|
||||||
func makeEntriesTooLongToRead(t *testing.T, dir string) []string {
|
|
||||||
t.Helper()
|
|
||||||
|
|
||||||
deepest := openDirectoryNearPathLimit(t, dir)
|
|
||||||
dirName := strings.Repeat("0", 255)
|
|
||||||
|
|
||||||
err := deepest.Mkdir(dirName, StorageDirPerm)
|
|
||||||
if err != nil {
|
|
||||||
t.Fatalf("failed to make a directory too deep to list: %v", err)
|
|
||||||
}
|
|
||||||
|
|
||||||
fileName := strings.Repeat("1", 255)
|
|
||||||
|
|
||||||
err = deepest.WriteFile(fileName, []byte("unreadable"), StorageFilePerm)
|
|
||||||
if err != nil {
|
|
||||||
t.Fatalf("failed to make a file too deep to read: %v", err)
|
|
||||||
}
|
|
||||||
|
|
||||||
return []string{
|
|
||||||
filepath.Join(deepest.Name(), dirName),
|
|
||||||
filepath.Join(deepest.Name(), fileName),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// makeTempFileTooLongToRead makes a temp file in the deepest directory of
|
|
||||||
// the chain that openDirectoryNearPathLimit makes inside dir. Even the
|
|
||||||
// root user then cannot read the temp file's info. It returns the temp
|
|
||||||
// file's path.
|
|
||||||
func makeTempFileTooLongToRead(t *testing.T, dir string) string {
|
|
||||||
t.Helper()
|
|
||||||
|
|
||||||
deepest := openDirectoryNearPathLimit(t, dir)
|
|
||||||
name := tempFilePrefix + strings.Repeat("1", 255-len(tempFilePrefix))
|
|
||||||
|
|
||||||
err := deepest.WriteFile(name, []byte("partial"), StorageFilePerm)
|
|
||||||
if err != nil {
|
|
||||||
t.Fatalf("failed to make a temp file too deep to read: %v", err)
|
|
||||||
}
|
|
||||||
|
|
||||||
return filepath.Join(deepest.Name(), name)
|
|
||||||
}
|
|
||||||
|
|
||||||
// assertSkippedEntryWarning checks that logs hold the warning "skipped
|
|
||||||
// unreadable entry in cache directory" naming path, with the error
|
|
||||||
// ENAMETOOLONG for that path.
|
|
||||||
func assertSkippedEntryWarning(t *testing.T, logs, path string) {
|
|
||||||
t.Helper()
|
|
||||||
|
|
||||||
for line := range strings.Lines(logs) {
|
|
||||||
if strings.Contains(line, `"level":"WARN"`) &&
|
|
||||||
strings.Contains(line, `"msg":"skipped unreadable entry in cache directory"`) &&
|
|
||||||
strings.Contains(line, `"path":"`+path+`"`) &&
|
|
||||||
strings.Contains(line, path+": "+syscall.ENAMETOOLONG.Error()) {
|
|
||||||
return
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
t.Errorf("no warning %q names %s with the error %q",
|
|
||||||
"skipped unreadable entry in cache directory", path, syscall.ENAMETOOLONG)
|
|
||||||
}
|
|
||||||
|
|
||||||
// TestReconciliationGoesOnPastEntriesItCannotRead puts, in each storage
|
|
||||||
// directory, a directory the pass cannot list and a file whose info it
|
|
||||||
// cannot read. The pass walks each directory in name order, so it reaches
|
|
||||||
// them before the cache's files, whose keys start with a letter. It must
|
|
||||||
// log a warning naming each one's path and the error, and still do the
|
|
||||||
// rest of its work:
|
|
||||||
// - adopt a variant file that has no row
|
|
||||||
// - drop the row of a variant whose file is missing
|
|
||||||
// - remove a source file that has no row
|
|
||||||
// - correct a wrong total cache usage
|
|
||||||
func TestReconciliationGoesOnPastEntriesItCannotRead(t *testing.T) {
|
|
||||||
t.Parallel()
|
|
||||||
|
|
||||||
cache, _ := newEvictionTestCache(t, 1<<30)
|
|
||||||
ctx := t.Context()
|
|
||||||
|
|
||||||
untrackedVariant := []byte("variant with no row")
|
|
||||||
|
|
||||||
err := cache.variants.Write(string(testVariantKeyOne), untrackedVariant)
|
|
||||||
if err != nil {
|
|
||||||
t.Fatalf("failed to write a variant file with no row: %v", err)
|
|
||||||
}
|
|
||||||
|
|
||||||
storeEvictionTestVariant(t, cache, testVariantKeyTwo, []byte("variant two"))
|
|
||||||
|
|
||||||
err = os.Remove(cache.variants.keyToPath(string(testVariantKeyTwo)))
|
|
||||||
if err != nil {
|
|
||||||
t.Fatalf("failed to remove the second variant's file: %v", err)
|
|
||||||
}
|
|
||||||
|
|
||||||
untrackedSourceKey := "ffeeddcc0001"
|
|
||||||
|
|
||||||
err = cache.srcContent.Write(untrackedSourceKey, []byte("source with no row"))
|
|
||||||
if err != nil {
|
|
||||||
t.Fatalf("failed to write a source file with no row: %v", err)
|
|
||||||
}
|
|
||||||
|
|
||||||
_, err = cache.db.ExecContext(ctx,
|
|
||||||
`UPDATE cache_usage SET total_size_bytes = 1 WHERE id = 1`)
|
|
||||||
if err != nil {
|
|
||||||
t.Fatalf("failed to set a wrong total: %v", err)
|
|
||||||
}
|
|
||||||
|
|
||||||
unreadable := slices.Concat(
|
|
||||||
makeEntriesTooLongToRead(t, cache.variants.baseDir),
|
|
||||||
makeEntriesTooLongToRead(t, cache.srcContent.baseDir),
|
|
||||||
)
|
|
||||||
|
|
||||||
logs := reconcileAsAtStartup(t, cache)
|
|
||||||
|
|
||||||
for _, path := range unreadable {
|
|
||||||
assertSkippedEntryWarning(t, logs, path)
|
|
||||||
}
|
|
||||||
|
|
||||||
rowQuery := `SELECT COUNT(*) FROM variant_content WHERE cache_key = ?`
|
|
||||||
|
|
||||||
if n := countRows(t, cache, rowQuery, string(testVariantKeyOne)); n != 1 {
|
|
||||||
t.Errorf("the variant file with no row got %d rows, want 1", n)
|
|
||||||
}
|
|
||||||
|
|
||||||
if n := countRows(t, cache, rowQuery, string(testVariantKeyTwo)); n != 0 {
|
|
||||||
t.Errorf("the variant with no file kept %d rows, want 0", n)
|
|
||||||
}
|
|
||||||
|
|
||||||
_, err = os.Stat(cache.srcContent.keyToPath(untrackedSourceKey))
|
|
||||||
if err == nil {
|
|
||||||
t.Error("the source file with no row is still on disk")
|
|
||||||
}
|
|
||||||
|
|
||||||
usage, err := cache.UsageBytes(ctx)
|
|
||||||
if err != nil {
|
|
||||||
t.Fatalf("UsageBytes() error = %v", err)
|
|
||||||
}
|
|
||||||
|
|
||||||
if usage != int64(len(untrackedVariant)) {
|
|
||||||
t.Errorf("UsageBytes() = %d, want %d, the size of the adopted variant",
|
|
||||||
usage, len(untrackedVariant))
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// TestReconciliationWarnsOfTempFilesWhoseInfoItCannotRead puts, in each
|
|
||||||
// storage directory, a temp file whose info the pass cannot read. The
|
|
||||||
// pass must log a warning naming each one's path and the error, as it
|
|
||||||
// does for any other file whose info it cannot read.
|
|
||||||
func TestReconciliationWarnsOfTempFilesWhoseInfoItCannotRead(t *testing.T) {
|
|
||||||
t.Parallel()
|
|
||||||
|
|
||||||
cache, _ := newEvictionTestCache(t, 1<<30)
|
|
||||||
|
|
||||||
unreadable := []string{
|
|
||||||
makeTempFileTooLongToRead(t, cache.variants.baseDir),
|
|
||||||
makeTempFileTooLongToRead(t, cache.srcContent.baseDir),
|
|
||||||
}
|
|
||||||
|
|
||||||
logs := reconcileAsAtStartup(t, cache)
|
|
||||||
|
|
||||||
for _, path := range unreadable {
|
|
||||||
assertSkippedEntryWarning(t, logs, path)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// TestPeriodicReconciliationAdoptsFileThatAppearsAfterStartup proves
|
// TestPeriodicReconciliationAdoptsFileThatAppearsAfterStartup proves
|
||||||
// reconciliation is not a one-shot startup-only pass: it must also run
|
// reconciliation is not a one-shot startup-only pass: it must also run
|
||||||
// on the periodic ticker, so a variant file that lands on disk with no
|
// on the periodic ticker, so a variant file that lands on disk with no
|
||||||
|
|||||||
Reference in New Issue
Block a user