mirror of
https://github.com/seaweedfs/seaweedfs.git
synced 2026-08-17 04:36:50 +00:00
test(s3/lifecycle): cover CompareVersionIds tiebreak surface (#9394)
* test(s3/lifecycle): cover CompareVersionIds tiebreak surface 13 tests pin every documented branch of the version-id comparator and its helpers (isNewFormatVersionId, getVersionTimestamp): equality and short-circuit paths, null sorting last, both-new-format with smaller- =-newer ordering, both-old-format with larger-=-newer ordering, mixed- format compared by parsed timestamp, mixed-format with synthesized equal timestamps, length / null / non-hex rejection, the strictly- greater-than threshold boundary at 0x4000000000000000, and the inverted-value invariant the comparator relies on. Getting any axis wrong silently inverts retention rankings, which would resurrect deleted versions or evict live ones. * test(s3/lifecycle): use plain assert.Equal in mixed-format compare test The previous local require := assert.New(t) shadowed testify's require package while actually returning an assert.Assertions (continue-on-fail semantics, not fail-fast). Use plain assert.Equal(t, ...) calls so the behavior matches the variable's name and the rest of the file.
This commit is contained in:
@@ -0,0 +1,168 @@
|
||||
package s3lifecycle
|
||||
|
||||
import (
|
||||
"testing"
|
||||
|
||||
"github.com/stretchr/testify/assert"
|
||||
)
|
||||
|
||||
// CompareVersionIds is the version-id tiebreak the router falls back to
|
||||
// when two versions land at the same mtime second; getting the format /
|
||||
// null / mixed-format axes wrong silently inverts retention rankings,
|
||||
// which would resurrect deleted versions or evict live ones. The tests
|
||||
// below pin every documented branch.
|
||||
|
||||
const (
|
||||
// 16-char hex prefix above 0x4000000000000000 → new-format inverted
|
||||
// timestamp.
|
||||
newFormatPrefix1 = "4123456789abcdef"
|
||||
newFormatPrefix2 = "5123456789abcdef" // strictly larger than prefix1
|
||||
// 16-char hex prefix at or below the threshold → old-format raw
|
||||
// timestamp.
|
||||
oldFormatPrefix1 = "0123456789abcdef"
|
||||
oldFormatPrefix2 = "0223456789abcdef" // strictly larger than prefix1
|
||||
)
|
||||
|
||||
func TestCompareVersionIds_EqualReturnsZero(t *testing.T) {
|
||||
assert.Equal(t, 0, CompareVersionIds("abc", "abc"))
|
||||
assert.Equal(t, 0, CompareVersionIds("null", "null"))
|
||||
assert.Equal(t, 0, CompareVersionIds("", ""))
|
||||
}
|
||||
|
||||
func TestCompareVersionIds_NullSortsLast(t *testing.T) {
|
||||
// "null" represents the bare pre-versioning entry; the router treats
|
||||
// it as older than any real version-id so genuine versions take
|
||||
// precedence in tiebreaks.
|
||||
assert.Equal(t, 1, CompareVersionIds("null", newFormatPrefix1))
|
||||
assert.Equal(t, 1, CompareVersionIds("null", oldFormatPrefix1))
|
||||
assert.Equal(t, -1, CompareVersionIds(newFormatPrefix1, "null"))
|
||||
assert.Equal(t, -1, CompareVersionIds(oldFormatPrefix1, "null"))
|
||||
}
|
||||
|
||||
func TestCompareVersionIds_BothNewFormatSmallerIsNewer(t *testing.T) {
|
||||
// New-format encodes the timestamp inverted, so the lexicographically
|
||||
// smaller string represents a newer wall-clock time.
|
||||
assert.Equal(t, -1, CompareVersionIds(newFormatPrefix1, newFormatPrefix2),
|
||||
"new-format: smaller lex → newer → -1")
|
||||
assert.Equal(t, 1, CompareVersionIds(newFormatPrefix2, newFormatPrefix1),
|
||||
"new-format: larger lex → older → 1")
|
||||
}
|
||||
|
||||
func TestCompareVersionIds_BothOldFormatLargerIsNewer(t *testing.T) {
|
||||
// Old-format encodes the timestamp raw, so the lexicographically
|
||||
// larger string is the newer wall-clock time.
|
||||
assert.Equal(t, 1, CompareVersionIds(oldFormatPrefix1, oldFormatPrefix2),
|
||||
"old-format: smaller lex → older → 1")
|
||||
assert.Equal(t, -1, CompareVersionIds(oldFormatPrefix2, oldFormatPrefix1),
|
||||
"old-format: larger lex → newer → -1")
|
||||
}
|
||||
|
||||
func TestCompareVersionIds_MixedFormatComparesByTimestamp(t *testing.T) {
|
||||
// New-format inverted timestamp = MaxInt64 - prefix; old-format raw =
|
||||
// prefix. With prefix1 = 0x4123… and old prefix1 = 0x0123… the
|
||||
// inverted new value is small but still positive, while the raw old
|
||||
// value is also small. Whichever is numerically larger wins.
|
||||
at := getVersionTimestamp(newFormatPrefix1)
|
||||
bt := getVersionTimestamp(oldFormatPrefix1)
|
||||
if at == bt {
|
||||
assert.Equal(t, 0, CompareVersionIds(newFormatPrefix1, oldFormatPrefix1))
|
||||
return
|
||||
}
|
||||
if at > bt {
|
||||
assert.Equal(t, -1, CompareVersionIds(newFormatPrefix1, oldFormatPrefix1))
|
||||
assert.Equal(t, 1, CompareVersionIds(oldFormatPrefix1, newFormatPrefix1))
|
||||
} else {
|
||||
assert.Equal(t, 1, CompareVersionIds(newFormatPrefix1, oldFormatPrefix1))
|
||||
assert.Equal(t, -1, CompareVersionIds(oldFormatPrefix1, newFormatPrefix1))
|
||||
}
|
||||
}
|
||||
|
||||
func TestCompareVersionIds_MixedFormatEqualTimestampReturnsZero(t *testing.T) {
|
||||
// If a new-format inverted timestamp equals an old-format raw
|
||||
// timestamp, neither is newer — should be 0. We can synthesize this:
|
||||
// pick an old prefix P, the matching new prefix is MaxInt64 - P.
|
||||
old := uint64(0x0000000000010000)
|
||||
new_ := uint64(int64(^uint64(0)>>1) - int64(old))
|
||||
oldHex := uintToHex16(old)
|
||||
newHex := uintToHex16(new_)
|
||||
// Sanity: new_ must be above the threshold, otherwise it'd be parsed
|
||||
// as old-format and the test wouldn't exercise the mixed branch.
|
||||
if !isNewFormatVersionId(newHex) {
|
||||
t.Fatalf("constructed new-format prefix %q didn't classify as new", newHex)
|
||||
}
|
||||
if isNewFormatVersionId(oldHex) {
|
||||
t.Fatalf("constructed old-format prefix %q classified as new", oldHex)
|
||||
}
|
||||
assert.Equal(t, 0, CompareVersionIds(newHex, oldHex), "mixed-format equal timestamps must be 0")
|
||||
}
|
||||
|
||||
func TestIsNewFormatVersionId_TooShortRejected(t *testing.T) {
|
||||
// Strings shorter than 16 chars can't carry a hex timestamp prefix;
|
||||
// they must classify as old-format so getVersionTimestamp returns 0
|
||||
// rather than panic on slice bounds.
|
||||
assert.False(t, isNewFormatVersionId(""))
|
||||
assert.False(t, isNewFormatVersionId("4123"))
|
||||
assert.False(t, isNewFormatVersionId("4123456789abcde")) // 15 chars
|
||||
}
|
||||
|
||||
func TestIsNewFormatVersionId_NullRejected(t *testing.T) {
|
||||
assert.False(t, isNewFormatVersionId("null"))
|
||||
}
|
||||
|
||||
func TestIsNewFormatVersionId_NonHexRejected(t *testing.T) {
|
||||
// Parse failure on the 16-char prefix means the comparator falls
|
||||
// back to old-format treatment. Non-hex characters or surrounding
|
||||
// whitespace must reject without erroring out.
|
||||
assert.False(t, isNewFormatVersionId("zzzzzzzzzzzzzzzz"))
|
||||
assert.False(t, isNewFormatVersionId("0xff000000000000")) // "0x" prefix breaks ParseUint base-16
|
||||
assert.False(t, isNewFormatVersionId("ABC GHIJKLMNOPQR")) // space mid-string
|
||||
}
|
||||
|
||||
func TestIsNewFormatVersionId_ThresholdBoundary(t *testing.T) {
|
||||
// versionIdFormatThreshold = 0x4000000000000000. The check is
|
||||
// strictly greater than, so the threshold value itself must
|
||||
// classify as old-format.
|
||||
assert.False(t, isNewFormatVersionId("4000000000000000"), "exactly at threshold is old")
|
||||
assert.True(t, isNewFormatVersionId("4000000000000001"), "one above threshold is new")
|
||||
assert.False(t, isNewFormatVersionId("3fffffffffffffff"), "one below threshold is old")
|
||||
}
|
||||
|
||||
func TestGetVersionTimestamp_ReturnsZeroOnMalformed(t *testing.T) {
|
||||
assert.Equal(t, int64(0), getVersionTimestamp(""))
|
||||
assert.Equal(t, int64(0), getVersionTimestamp("null"))
|
||||
assert.Equal(t, int64(0), getVersionTimestamp("4123456789abcde")) // too short
|
||||
assert.Equal(t, int64(0), getVersionTimestamp("zzzzzzzzzzzzzzzz")) // not hex
|
||||
assert.Equal(t, int64(0), getVersionTimestamp("zzzzzzzzzzzzzzzzMORE")) // not hex prefix
|
||||
}
|
||||
|
||||
func TestGetVersionTimestamp_OldFormatReturnsRawValue(t *testing.T) {
|
||||
// Old-format: prefix below threshold, returned raw.
|
||||
assert.Equal(t, int64(0x0123456789abcdef), getVersionTimestamp(oldFormatPrefix1))
|
||||
assert.Equal(t, int64(0x0223456789abcdef), getVersionTimestamp(oldFormatPrefix2))
|
||||
// Trailing characters past the 16-char prefix are ignored.
|
||||
assert.Equal(t, int64(0x0123456789abcdef), getVersionTimestamp(oldFormatPrefix1+"-suffix"))
|
||||
}
|
||||
|
||||
func TestGetVersionTimestamp_NewFormatReturnsInvertedValue(t *testing.T) {
|
||||
// New-format inversion: int64 max - parsed value. So a smaller
|
||||
// stored prefix yields a larger inverted timestamp (= newer time).
|
||||
maxI64 := int64(^uint64(0) >> 1)
|
||||
assert.Equal(t, maxI64-int64(0x4123456789abcdef), getVersionTimestamp(newFormatPrefix1))
|
||||
assert.Equal(t, maxI64-int64(0x5123456789abcdef), getVersionTimestamp(newFormatPrefix2))
|
||||
// The smaller-prefix-=-newer-timestamp invariant the comparator
|
||||
// relies on:
|
||||
assert.Greater(t, getVersionTimestamp(newFormatPrefix1), getVersionTimestamp(newFormatPrefix2))
|
||||
}
|
||||
|
||||
// uintToHex16 turns a uint64 into a 16-char lowercase hex string,
|
||||
// padding with leading zeros. Used for synthesizing mixed-format
|
||||
// equal-timestamp pairs in TestCompareVersionIds_MixedFormatEqualTimestampReturnsZero.
|
||||
func uintToHex16(v uint64) string {
|
||||
const hex = "0123456789abcdef"
|
||||
out := make([]byte, 16)
|
||||
for i := 15; i >= 0; i-- {
|
||||
out[i] = hex[v&0xf]
|
||||
v >>= 4
|
||||
}
|
||||
return string(out)
|
||||
}
|
||||
Reference in New Issue
Block a user