MySQL執行計劃詳解

// 主要功能是把一個查詢塊Query_block優化成一個QEP_TAB，得到AccessPath
bool JOIN::optimize() { 
    ...
    // 下面主要是為了可以藉助INFORMATION_SCHEMA.OPTIMIZER_TRACE表，跟蹤優化器的執行狀態和執行步驟
    Opt_trace_context *const trace = &thd->opt_trace;
    Opt_trace_object trace_wrapper(trace);
    Opt_trace_object trace_optimize(trace, "join_optimization");
    trace_optimize.add_select_number(Query_block->select_number);
    Opt_trace_array trace_steps(trace, "steps");
    ...
    // 視窗函數裝配優化
    if (has_windows && Window::setup_windows2(thd, m_windows))
    ...
    // 拷貝Query_block上的條件副本到JOIN結構關聯的成員物件，為後續優化做準備
    if (Query_block->get_optimizable_conditions(thd, &where_cond, &having_cond))
    ...
    // 統計抽象語法樹中的葉節點表，其中leaf_tables是在Query_block::setup_tables中進行裝配
    tables_list = Query_block->leaf_tables;
    ...
    // 分割區裁剪
    if (Query_block->partitioned_table_count && prune_table_partitions()) {
    ...
    // 嘗試把聚合函數COUNT()、MIN()、MAX()對應的值，替換成常數
    if (optimize_aggregated_query(thd, Query_block, *fields, where_cond,
                                                                &outcome)) {
    ...
    // 採用超圖演演算法生成執行計劃，注意超圖演演算法通過set optimizer_switch="hypergraph_optimizer=on"方式啟用
    if (thd->lex->using_hypergraph_optimizer) {
        FindBestQueryPlan(thd, Query_block, /*trace=*/nullptr);
        // 如果Join優化器是超圖演演算法，處理結束直接返回
        return false;
    }
    ...

    if (make_join_plan()) {
    ...
    // 語句塊謂詞條件下推，提升過濾效能
    if (make_join_Query_block(this, where_cond)) {
    ...
    // 優化order by/distinct語句
    if (optimize_distinct_group_order()) return true;
    ...
    // 分配QEP_TAB陣列
    if (alloc_qep(tables)) return (error = 1); /* purecov: inspected */
    ...
    // 執行計劃細化，優化子查詢和半連線的情況，具體策略可以參考mariadb的檔案：
    // https:// mariadb.com/kb/en/optimization-strategies/
    // 關鍵程式碼是setup_semijoin_dups_elimination，主要對半連線關聯的策略進行裝配
    if (make_join_readinfo(this, no_jbuf_after))
    ...
    // 為處理group by/order by建立開闢臨時表空間
    if (make_tmp_tables_info()) return true;
    ...
    // 生成存取方式AccessPath，供後續迭代器Iterator存取使用
    create_access_paths();
    ...
    return false;
}