/** * Copyright (C) 2018-present MongoDB, Inc. * * This program is free software: you can redistribute it and/or modify * it under the terms of the Server Side Public License, version 1, * as published by MongoDB, Inc. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * Server Side Public License for more details. * * You should have received a copy of the Server Side Public License * along with this program. If not, see * . * * As a special exception, the copyright holders give permission to link the * code of portions of this program with the OpenSSL library under certain * conditions as described in each individual source file and distribute * linked combinations including the program with the OpenSSL library. You * must comply with the Server Side Public License in all respects for * all of the code used other than as permitted herein. If you modify file(s) * with this exception, you may extend this exception to your version of the * file(s), but you are not obligated to do so. If you do not wish to do so, * delete this exception statement from your version. If you delete this * exception statement from all source files in the program, then also delete * it in the license file. */ #pragma once #include #include #include "mongo/db/exec/requires_all_indices_stage.h" #include "mongo/db/exec/working_set.h" #include "mongo/db/jsobj.h" #include "mongo/db/query/canonical_query.h" #include "mongo/db/query/query_planner_params.h" #include "mongo/db/query/query_solution.h" #include "mongo/db/record_id.h" namespace mongo { class PlanYieldPolicy; /** * Runs a trial period in order to evaluate the cost of a cached plan. If the cost is unexpectedly * high, the plan cache entry is deactivated and we use multi-planning to select an entirely new * winning plan. This process is called "replanning". * * This stage requires all indices to stay intact during the trial period so that replanning can * occur with the set of indices in 'params'. As a future improvement, we could instead refresh the * list of indices in 'params' prior to replanning, and thus avoid inheriting from * RequiresAllIndicesStage. */ class CachedPlanStage final : public RequiresAllIndicesStage { public: CachedPlanStage(ExpressionContext* expCtx, const CollectionPtr& collection, WorkingSet* ws, CanonicalQuery* cq, const QueryPlannerParams& params, size_t decisionWorks, std::unique_ptr root); bool isEOF() final; StageState doWork(WorkingSetID* out) final; StageType stageType() const final { return STAGE_CACHED_PLAN; } std::unique_ptr getStats() final; const SpecificStats* getSpecificStats() const final; static const char* kStageType; /** * Runs the cached plan for a trial period, yielding during the trial period according to * 'yieldPolicy'. * * Feedback from the trial period is passed to the plan cache. If the performance is lower * than expected, the old plan is evicted and a new plan is selected from scratch (again * yielding according to 'yieldPolicy'). Otherwise, the cached plan is run. */ Status pickBestPlan(PlanYieldPolicy* yieldPolicy); private: /** * Uses the QueryPlanner and the MultiPlanStage to re-generate candidate plans for this * query and select a new winner. * * We fallback to a new plan if updatePlanCache() tells us that the performance was worse * than anticipated during the trial period. * * We only modify the plan cache if 'shouldCache' is true. */ Status replan(PlanYieldPolicy* yieldPolicy, bool shouldCache, std::string reason); /** * May yield during the cached plan stage's trial period or replanning phases. * * Returns a non-OK status if query planning fails. In particular, this function returns * ErrorCodes::QueryPlanKilled if the query plan was killed during a yield, or * ErrorCodes::MaxTimeMSExpired if the operation exceeded its time limit. */ Status tryYield(PlanYieldPolicy* yieldPolicy); // Not owned. WorkingSet* _ws; // Not owned. CanonicalQuery* _canonicalQuery; QueryPlannerParams _plannerParams; // The number of work cycles taken to decide on a winning plan when the plan was first // cached. size_t _decisionWorks; // If we fall back to re-planning the query, and there is just one resulting query solution, // that solution is owned here. std::unique_ptr _replannedQs; // Any results produced during trial period execution are kept here. std::queue _results; // Stats CachedPlanStats _specificStats; }; } // namespace mongo