1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
|
/**
* SERVER-39788 Test that the values in the $limit and $skip stages do not overflow when the
* pipeline is optimized and the $sort stage doesn't crash the server due to unreasonable memory
* requirements.
*
* This test makes assumptions about how the explain output will be formatted, so cannot be
* transformed to be put inside a $facet stage or in a sharded explain output.
* @tags: [do_not_wrap_aggregations_in_facets, assumes_unsharded_collection]
*/
(function() {
"use strict";
load("jstests/libs/analyze_plan.js"); // For 'aggPlanHasStages' and other explain helpers.
const coll = db.server39788;
coll.drop();
function testPipeline(pipeline, expectedResult, optimizedAwayStages) {
const explainOutput = coll.explain().aggregate(pipeline);
assert(explainOutput.hasOwnProperty("stages"),
"Expected pipeline " + tojsononeline(pipeline) +
" to use an aggregation framework in the explain output: " + tojson(explainOutput));
if (optimizedAwayStages) {
optimizedAwayStages.forEach(
(stage) =>
assert(!aggPlanHasStage(explainOutput, stage),
"Expected pipeline " + tojsononeline(pipeline) + " to *not* include a " +
stage + " stage in the explain output: " + tojson(explainOutput)));
}
for (let path in expectedResult) {
const subPaths = path.split(".");
const stageName = subPaths[0];
const stages = getAggPlanStages(explainOutput, stageName);
assert(stages !== null,
"Expected pipeline " + tojsononeline(pipeline) + " to include a " + stageName +
" stage in the explain output: " + tojson(explainOutput));
assert(stages.length == expectedResult[path].length,
"Expected pipeline " + tojsononeline(pipeline) + " to include " +
expectedResult[path].length + stageName +
" stages in the explain output: " + tojson(explainOutput));
assert.eq(
stages.reduce(
(res, stage) => {
res.push(subPaths.reduce((res, cur) => res[cur], stage));
return res;
},
[]),
expectedResult[path],
"Stage: " + stageName + ", path: " + path + ", explain: " + tojson(explainOutput));
}
// Ensure the aggregate command doesn't fail.
assert.eq(coll.aggregate(pipeline).toArray(), []);
}
// Case where overflow of limit + skip prevents limit stage from being absorbed. Values
// are specified as integrals > MAX_LONG. Note that we cannot specify this huge value as
// a NumberLong, as we get a number conversion error (even if it's passed as a string).
testPipeline([{$sort: {x: -1}}, {$skip: 18446744073709552000}, {$limit: 6}],
{"$limit": [NumberLong(6)], "$skip": [NumberLong("9223372036854775807")]});
testPipeline([{$sort: {x: -1}}, {$skip: 6}, {$limit: 18446744073709552000}],
{"$limit": [NumberLong("9223372036854775807")], "$skip": [NumberLong(6)]});
// Case where overflow of limit + skip prevents limit stage from being absorbed. One of the
// values == MAX_LONG, another one is 1.
testPipeline([{$sort: {x: -1}}, {$skip: NumberLong("9223372036854775807")}, {$limit: 1}],
{"$limit": [NumberLong(1)], "$skip": [NumberLong("9223372036854775807")]});
testPipeline([{$sort: {x: -1}}, {$skip: 1}, {$limit: NumberLong("9223372036854775807")}],
{"$limit": [NumberLong("9223372036854775807")], "$skip": [NumberLong(1)]});
// Case where limit + skip do not overflow. Limit == MAX_LONG and skip is 0. Should be able to
// absorb the limit and skip stages.
// Note that we cannot specify limit == 0, so we expect an error in this case.
testPipeline([{$sort: {x: -1}}, {$skip: 0}, {$limit: NumberLong("9223372036854775807")}],
{"$cursor.limit": [NumberLong("9223372036854775807")]},
["$skip", "$limit"]);
// Case where limit + skip do not overflow. One value is MAX_LONG - 1 and another one is 1.
// Should be able to absorb the limit stage.
testPipeline([{$sort: {x: -1}}, {$skip: NumberLong("9223372036854775806")}, {$limit: 1}],
{
"$cursor.limit": [NumberLong("9223372036854775807")],
"$skip": [NumberLong("9223372036854775806")]
},
["$limit"]);
testPipeline([{$sort: {x: -1}}, {$skip: 1}, {$limit: NumberLong("9223372036854775806")}],
{"$cursor.limit": [NumberLong("9223372036854775807")], "$skip": [NumberLong(1)]},
["$limit"]);
// Case where limit + skip do not overflow. Both values are < MAX_LONG.
testPipeline([{$sort: {x: -1}}, {$skip: 674761616283}, {$limit: 35361718}],
{"$cursor.limit": [NumberLong(674796978001)], "$skip": [NumberLong(674761616283)]},
["$limit"]);
testPipeline([{$sort: {x: -1}}, {$skip: 35361718}, {$limit: 674761616283}],
{"$cursor.limit": [NumberLong(674796978001)], "$skip": [NumberLong(35361718)]},
["$limit"]);
// Case where where overflow of limit + skip + skip prevents limit stage from being absorbed.
// One skip == MAX_LONG - 1, another one is 1. Should merge two skip stages into one.
testPipeline(
[{$sort: {x: -1}}, {$skip: 1}, {$skip: NumberLong("9223372036854775806")}, {$limit: 1}],
{"$limit": [NumberLong(1)], "$skip": [NumberLong("9223372036854775807")]});
// Case where where overflow of limit + skip + skip prevents limit stage from being absorbed.
// One skip == MAX_LONG, another one is 1. Should not absorb or merge any stages.
testPipeline(
[{$sort: {x: -1}}, {$skip: 1}, {$skip: NumberLong("9223372036854775807")}, {$limit: 1}],
{"$limit": [NumberLong(1)], "$skip": [NumberLong(1), NumberLong("9223372036854775807")]});
// Case where sample size is > MAX_LONG.
testPipeline([{$sample: {size: 18446744073709552000}}],
{"$sample.size": [NumberLong("9223372036854775807")]});
// Case where sample size is == MAX_LONG.
testPipeline([{$sample: {size: NumberLong("9223372036854775807")}}],
{"$sample.size": [NumberLong("9223372036854775807")]});
// Case where sample size is == MAX_LONG - 1.
testPipeline([{$sample: {size: NumberLong("9223372036854775806")}}],
{"$sample.size": [NumberLong("9223372036854775806")]});
})();
|