/** * Copyright (C) 2020-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 "mongo/db/exec/plan_stats.h" #include "mongo/db/exec/sbe/stages/plan_stats.h" #include "mongo/util/container_size_helper.h" #include "mongo/util/overloaded_visitor.h" namespace mongo::plan_ranker { struct StatsDetails { // Execution stats for each candidate plan sorted in descending order by score. std::vector> candidatePlanStats; }; struct SBEStatsDetails { // Execution stats for each candidate plan sorted in descending order by score. std::vector> candidatePlanStats; // A serialized winning plan is it would appear in the Explain output at "queryPlanner" // verbosity. BSONObj serializedWinningPlan; }; template struct StatsToDetailMap {}; template <> struct StatsToDetailMap { using Value = SBEStatsDetails; }; template <> struct StatsToDetailMap { using Value = StatsDetails; }; /** * Information about why a plan was picked to be the best. Data here is placed into the cache * and used to compare expected performance with actual. */ struct PlanRankingDecision { PlanRankingDecision() {} /** * Make a deep copy. */ std::unique_ptr clone() const { auto decision = std::make_unique(); stdx::visit( OverloadedVisitor{[&decision](const StatsDetails& details) { std::vector> copy; copy.reserve(details.candidatePlanStats.size()); for (auto&& stats : details.candidatePlanStats) { invariant(stats); copy.emplace_back(stats->clone()); } decision->stats = StatsDetails{std::move(copy)}; }, [&decision](const SBEStatsDetails& details) { std::vector> copy; copy.reserve(details.candidatePlanStats.size()); for (auto&& stats : details.candidatePlanStats) { invariant(stats); copy.emplace_back(stats->clone()); } decision->stats = SBEStatsDetails{std::move(copy), details.serializedWinningPlan}; }}, stats); decision->scores = scores; decision->candidateOrder = candidateOrder; decision->failedCandidates = failedCandidates; return decision; } uint64_t estimateObjectSizeInBytes() const { return // Add size of 'stats' instance. stdx::visit( OverloadedVisitor{ [](const StatsDetails& details) { return container_size_helper::estimateObjectSizeInBytes( details.candidatePlanStats, [](auto&& stat) { return stat->estimateObjectSizeInBytes(); }, true); }, [](const SBEStatsDetails& details) { return details.serializedWinningPlan.objsize() + container_size_helper::estimateObjectSizeInBytes( details.candidatePlanStats, [](auto&& stat) { return stat->estimateObjectSizeInBytes(); }, true); }}, stats) + // Add size of each element in 'candidateOrder' vector. container_size_helper::estimateObjectSizeInBytes(candidateOrder) + // Add size of each element in 'failedCandidates' vector. container_size_helper::estimateObjectSizeInBytes(failedCandidates) + // Add size of each element in 'scores' vector. container_size_helper::estimateObjectSizeInBytes(scores) + // Add size of the object. sizeof(*this); } template const auto& getStats() const { return stdx::get::Value>(stats); } template auto& getStats() { return stdx::get::Value>(stats); } /* * Returns true if there are at least two possible plans, and at least the top two plans * have the same scores. */ bool tieForBest() const { if (scores.size() > 1) { const double epsilon = 1e-10; return (std::abs(scores[0] - scores[1]) < epsilon); } return false; } // Execution stats details for each candidate plan. stdx::variant stats; // The "goodness" score corresponding to 'stats'. // Sorted in descending order. std::vector scores; // Ordering of original plans in descending of score. // Filled in by PlanScorer::pickBestPlan(candidates, ...) // so that candidates[candidateOrder[0]] refers to the best plan // with corresponding cores[0] and stats[0]. Runner-up would be // candidates[candidateOrder[1]] followed by // candidates[candidateOrder[2]], ... // // Contains only non-failing plans. std::vector candidateOrder; // Contains the list of original plans that failed. // // Like 'candidateOrder', the contents of this array are indicies into the 'candidates' array. std::vector failedCandidates; }; } // namespace mongo::plan_ranker