-
Notifications
You must be signed in to change notification settings - Fork 807
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
add query fuzz test with promqlsmith (#5200)
Signed-off-by: Ben Ye <[email protected]>
- Loading branch information
Showing
22 changed files
with
1,759 additions
and
3 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -39,3 +39,4 @@ run: | |
| - integration_memberlist | ||
| - integration_querier | ||
| - integration_ruler | ||
| - integration_query_fuzz | ||
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,204 @@ | ||
| //go:build integration_query_fuzz | ||
| // +build integration_query_fuzz | ||
|
|
||
| package integration | ||
|
|
||
| import ( | ||
| "math/rand" | ||
| "path" | ||
| "sort" | ||
| "strconv" | ||
| "testing" | ||
| "time" | ||
|
|
||
| "github.com/cortexproject/promqlsmith" | ||
| "github.com/google/go-cmp/cmp" | ||
| "github.com/google/go-cmp/cmp/cmpopts" | ||
| "github.com/prometheus/common/model" | ||
| "github.com/prometheus/prometheus/model/labels" | ||
| "github.com/prometheus/prometheus/prompb" | ||
| "github.com/stretchr/testify/require" | ||
|
|
||
| "github.com/cortexproject/cortex/integration/e2e" | ||
| e2edb "github.com/cortexproject/cortex/integration/e2e/db" | ||
| "github.com/cortexproject/cortex/integration/e2ecortex" | ||
| "github.com/cortexproject/cortex/pkg/storage/tsdb" | ||
| ) | ||
|
|
||
| func TestVerticalShardingFuzz(t *testing.T) { | ||
| s, err := e2e.NewScenario(networkName) | ||
| require.NoError(t, err) | ||
| defer s.Close() | ||
|
|
||
| // Start dependencies. | ||
| consul1 := e2edb.NewConsulWithName("consul1") | ||
| consul2 := e2edb.NewConsulWithName("consul2") | ||
| require.NoError(t, s.StartAndWaitReady(consul1, consul2)) | ||
|
|
||
| flags := map[string]string{ | ||
| "-store.engine": blocksStorageEngine, | ||
| "-blocks-storage.backend": "filesystem", | ||
| "-blocks-storage.tsdb.head-compaction-interval": "4m", | ||
| "-blocks-storage.tsdb.block-ranges-period": "2h", | ||
| "-blocks-storage.tsdb.ship-interval": "1h", | ||
| "-blocks-storage.bucket-store.sync-interval": "15m", | ||
| "-blocks-storage.tsdb.retention-period": "2h", | ||
| "-blocks-storage.bucket-store.index-cache.backend": tsdb.IndexCacheBackendInMemory, | ||
| "-blocks-storage.bucket-store.bucket-index.enabled": "true", | ||
| "-querier.ingester-streaming": "true", | ||
| "-querier.query-store-for-labels-enabled": "true", | ||
| // Ingester. | ||
| "-ring.store": "consul", | ||
| "-consul.hostname": consul1.NetworkHTTPEndpoint(), | ||
| // Distributor. | ||
| "-distributor.replication-factor": "1", | ||
| // Store-gateway. | ||
| "-store-gateway.sharding-enabled": "false", | ||
| } | ||
|
|
||
| path1 := path.Join(s.SharedDir(), "cortex-1") | ||
| path2 := path.Join(s.SharedDir(), "cortex-2") | ||
|
|
||
| flags1 := mergeFlags(flags, map[string]string{"-blocks-storage.filesystem.dir": path1}) | ||
| // Start Cortex replicas. | ||
| cortex1 := e2ecortex.NewSingleBinary("cortex-1", flags1, "") | ||
| // Enable vertical sharding for the second Cortex instance. | ||
| flags2 := mergeFlags(flags, map[string]string{ | ||
| "-frontend.query-vertical-shard-size": "2", | ||
| "-blocks-storage.filesystem.dir": path2, | ||
| "-consul.hostname": consul2.NetworkHTTPEndpoint(), | ||
| }) | ||
| cortex2 := e2ecortex.NewSingleBinary("cortex-2", flags2, "") | ||
| require.NoError(t, s.StartAndWaitReady(cortex1, cortex2)) | ||
|
|
||
| // Wait until Cortex replicas have updated the ring state. | ||
| require.NoError(t, cortex1.WaitSumMetrics(e2e.Equals(float64(512)), "cortex_ring_tokens_total")) | ||
| require.NoError(t, cortex2.WaitSumMetrics(e2e.Equals(float64(512)), "cortex_ring_tokens_total")) | ||
|
|
||
| c1, err := e2ecortex.NewClient(cortex1.HTTPEndpoint(), cortex1.HTTPEndpoint(), "", "", "user-1") | ||
| require.NoError(t, err) | ||
| c2, err := e2ecortex.NewClient(cortex2.HTTPEndpoint(), cortex2.HTTPEndpoint(), "", "", "user-1") | ||
| require.NoError(t, err) | ||
|
|
||
| now := time.Now() | ||
| // Push some series to Cortex. | ||
| start := now.Add(-time.Minute * 10) | ||
| end := now.Add(-time.Minute * 1) | ||
| numSeries := 3 | ||
| numSamples := 20 | ||
| lbls := make([]labels.Labels, numSeries) | ||
| serieses := make([]prompb.TimeSeries, numSeries) | ||
| scrapeInterval := 30 * time.Second | ||
| for i := 0; i < numSeries; i++ { | ||
| series := e2e.GenerateSeriesWithSamples("test_series", start, scrapeInterval, i*numSamples, numSamples, prompb.Label{Name: "job", Value: "test"}, prompb.Label{Name: "series", Value: strconv.Itoa(i)}) | ||
| serieses[i] = series | ||
| builder := labels.NewBuilder(labels.EmptyLabels()) | ||
| for _, lbl := range series.Labels { | ||
| builder.Set(lbl.Name, lbl.Value) | ||
| } | ||
| lbls[i] = builder.Labels(labels.EmptyLabels()) | ||
| } | ||
| res, err := c1.Push(serieses) | ||
| require.NoError(t, err) | ||
| require.Equal(t, 200, res.StatusCode) | ||
| res, err = c2.Push(serieses) | ||
| require.NoError(t, err) | ||
| require.Equal(t, 200, res.StatusCode) | ||
|
|
||
| labelSet1, err := c1.Series([]string{`{job="test"}`}, start, end) | ||
| require.NoError(t, err) | ||
| labelSet2, err := c2.Series([]string{`{job="test"}`}, start, end) | ||
| require.NoError(t, err) | ||
| require.Equal(t, labelSet1, labelSet2) | ||
|
|
||
| rnd := rand.New(rand.NewSource(now.Unix())) | ||
| ps := promqlsmith.New(rnd, lbls, false, false) | ||
|
|
||
| type testCase struct { | ||
| query string | ||
| res1, res2 model.Value | ||
| err1, err2 error | ||
| instantQuery bool | ||
| } | ||
|
|
||
| now = time.Now() | ||
| cases := make([]*testCase, 0, 200) | ||
| for i := 0; i < 100; i++ { | ||
| expr := ps.WalkInstantQuery() | ||
| query := expr.Pretty(0) | ||
| res1, err1 := c1.Query(query, now) | ||
| res2, err2 := c2.Query(query, now) | ||
| cases = append(cases, &testCase{ | ||
| query: query, | ||
| res1: res1, | ||
| res2: res2, | ||
| err1: err1, | ||
| err2: err2, | ||
| instantQuery: true, | ||
| }) | ||
| } | ||
|
|
||
| for i := 0; i < 100; i++ { | ||
| expr := ps.WalkRangeQuery() | ||
| query := expr.Pretty(0) | ||
| res1, err1 := c1.QueryRange(query, start, end, scrapeInterval) | ||
| res2, err2 := c2.QueryRange(query, start, end, scrapeInterval) | ||
| cases = append(cases, &testCase{ | ||
| query: query, | ||
| res1: res1, | ||
| res2: res2, | ||
| err1: err1, | ||
| err2: err2, | ||
| instantQuery: false, | ||
| }) | ||
| } | ||
|
|
||
| for i, tc := range cases { | ||
| qt := "instant query" | ||
| if !tc.instantQuery { | ||
| qt = "range query" | ||
| } | ||
| if tc.err1 != nil || tc.err2 != nil { | ||
| if !cmp.Equal(tc.err1, tc.err2) { | ||
| t.Logf("case %d error mismatch.\n%s: %s\nerr1: %v\nerr2: %v\n", i, qt, tc.query, tc.err1, tc.err2) | ||
| } | ||
| } else if !sameModelValue(tc.res1, tc.res2) { | ||
| t.Logf("case %d results mismatch.\n%s: %s\nres1: %s\nres2: %s\n", i, qt, tc.query, tc.res1.String(), tc.res2.String()) | ||
| } | ||
| } | ||
| } | ||
|
|
||
| func sameModelValue(a model.Value, b model.Value) bool { | ||
| if a.Type() != b.Type() { | ||
| return false | ||
| } | ||
| // We allow a margin for comparing floats. | ||
| opts := []cmp.Option{cmpopts.EquateNaNs(), cmpopts.EquateApprox(0, 1e-6)} | ||
| switch a.Type() { | ||
| case model.ValMatrix: | ||
| s1, _ := a.(model.Matrix) | ||
| s2, _ := b.(model.Matrix) | ||
| // Sort to make sure we are not affected by series order. | ||
| sort.Sort(s1) | ||
| sort.Sort(s2) | ||
| return cmp.Equal(s1, s2, opts...) | ||
| case model.ValVector: | ||
| s1, _ := a.(model.Vector) | ||
| s2, _ := b.(model.Vector) | ||
| // Sort to make sure we are not affected by series order. | ||
| sort.Sort(s1) | ||
| sort.Sort(s2) | ||
| return cmp.Equal(s1, s2, opts...) | ||
| case model.ValScalar: | ||
| s1, _ := a.(*model.Scalar) | ||
| s2, _ := b.(*model.Scalar) | ||
| return cmp.Equal(s1, s2, opts...) | ||
| case model.ValString: | ||
| s1, _ := a.(*model.String) | ||
| s2, _ := b.(*model.String) | ||
| return cmp.Equal(s1, s2, opts...) | ||
| default: | ||
| // model.ValNone is impossible. | ||
| return false | ||
| } | ||
| } |
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
Oops, something went wrong.