1. 02 Feb, 2023 40 commits
    • Vicențiu Ciorbaru's avatar
      Fix bug in WITH ties · 367c780d
      Vicențiu Ciorbaru authored
      The old code had a bug when the normal sorting code where
      where eliminated as part of "Using index for group-by" optimization.
      The effect was that the result contained more rows than expected
      367c780d
    • Monty's avatar
      MDEV-29677 Wrong result with join query and innodb fulltext search · aa5e7880
      Monty authored
      InnoDB FTS scan was used by a subquery. A subquery execution may start
      a table read and continue until it finds the first matching record
      combination. This can happen before the table read returns EOF.
      
      The next time the subquery is executed, it will start another table read.
      InnoDB FTS table read fails to re-initialize its data structures in this
      scenario and will try to continue the scan started at the first execution.
      
      Fixed by ha_innobase::ft_init() to stop the FTS scan if there is one.
      
      Author: Sergei Petrunia <sergey@mariadb.com>
      Reviewer: Monty
      aa5e7880
    • Monty's avatar
      Fixes for 'Filtering' · 66d9c1b2
      Monty authored
      - table_after_join_selectivity() should use records_init (new bug)
      - get_examined_rows() changed to double to get similar results
        as in MariaDB 10.11
      - Fixed bug where table_after_join_selectivity() did not correct
        selectivity in the case where a RANGE is used instead of a REF.
        This can happen if the range can use more key_parts than the REF.
        WHERE key_part1=10 and key_part2 < 10
      
      Other things:
      - Use JT_RANGE instead of JT_ALL for RANGE access in all parts of the code.
        Before we used JT_ALL for RANGE.
      - Force RANGE be used in best_access_path() if the range used more key
        parts than ref. In the original code, this was done much later in
        make_join_select)(). However we need to know in
        table_after_join_selectivity() if we have used RANGE or not.
      - Added more information about filtering to optimizer_trace.
      66d9c1b2
    • Monty's avatar
      Updated number of expected rows from 2 to 100 for information_schema tables · 4464aa46
      Monty authored
      The reason is that 2 is usually way to low and as information_schema
      tables may have implicit locks when accessing rows, it is better that
      the optimizer doesn't think that these tables are 'very small and fast'.
      
      This change will affect a very small set of test cases.
      4464aa46
    • Monty's avatar
      Added optimizer_trace info for index_intersects · 15cce52b
      Monty authored
      15cce52b
    • Monty's avatar
      Removed worst_seek argument for cost_for_index_read() · 0fada9c2
      Monty authored
      The argument was not used.
      0fada9c2
    • Monty's avatar
      Changed aggregate distinct optimization with indexes to be cost based. · 43dc831e
      Monty authored
      Before the cost of an aggregate distinct (COUNT(DISTINCT ...)) was set
      to 0 if the values where part of an index and the cost of grouping
      was higher than the best cost so far.  This was shown in explain with
      "Using index for group-by (scanning)".
      
      This patch fixes it by calculating the cost of aggregate distinct
      and using scanning only if the cost was better than group-by-optimization.
      
      Thing taken into account:
      - When using aggregate distinct on index, the filtering is done before
        the row is checked against the WHERE and we have thus less WHERE cost.
      - When comparing a cost from aggregate distinct, we add to the compared
        to plan the cost of doing the filtering later in the SQL level.
      43dc831e
    • Monty's avatar
      Fixes some issues in Firstmatch optimization · 2eb6b801
      Monty authored
      Allows FirstMatch to handle the case where the fanout of firstmatch tables
      is already less than 1.
      Also Fixes LooseScan strategy to set position->{records_init, records_out}
      (They were set to 0 which also caused assertion failures)
      
      Author: Sergei Petrunia <sergey@mariadb.com>
      Reviewer: Monty
      2eb6b801
    • Monty's avatar
      804c91ba
    • Monty's avatar
      Indexes where not used for sorting in sub queries · 99db92f6
      Monty authored
      This happens when the subquery marks some index fields as constant
      but the fields are still present in GROUP BY
      
      Fixed by checking if the 'constant field' is still part of GROUP BY before
      skipping it.
      
      Other things:
      - Added Item_field::contains() to make it easier to check if a field
        is equal to a Item_field or part of Item_equal.
      99db92f6
    • Monty's avatar
      Add limits for how many IO operations a table access will do · d9d0e780
      Monty authored
      This solves the current problem in the optimizer
      - SELECT FROM big_table
        - SELECT from small_table where small_table.eq_ref_key=big_table.id
      
      The old code assumed that each eq_ref access will cause an IO.
      As the cost of IO is high, this dominated the cost for the later table
      which caused the optimizer to prefer table scans + join cache over
      index reads.
      
      This patch fixes this issue by limit the number of expected IO calls,
      for rows and index separately, to the size of the table or index or
      the number of accesses that we except in a range for the index.
      
      The major changes are:
      
      - Adding a new structure ALL_READ_COST that is mainly used in
        best_access_path() to hold the costs parts of the cost we are
        calculating. This allows us to limit the number of IO when multiplying
        the cost with the previous row combinations.
      - All storage engine cost functions are changed to return IO_AND_CPU_COST.
        The virtual cost functions should now return in IO_AND_CPU_COST.io
        the number of disk blocks that will be accessed instead of the cost
        of the access.
      - We are not limiting the io_blocks for table or index scans as we
        assume that engines may not store these in the 'hot' part of the
        cache. Table and index scan also uses much less IO blocks than
        key accesses, so the original issue is not as critical with scans.
      
      Other things:
        OPT_RANGE now holds a 'Cost_estimate cost' instead a lot of different
        costs. All the old costs, like index_only_read, can be extracted
        from 'cost'.
      - Added to the start of some functions 'handler *file= table->file'
        to shorten the code that is using the handler.
      - handler->cost() is used to change a ALL_READ_COST or IO_AND_CPU_COST
        to 'cost in milliseconds'
      - New functions:  handler::index_blocks() and handler::row_blocks()
        which are used to limit the IO.
      - Added index_cost and row_cost to Cost_estimate and removed all not
        needed members.
      - Removed cost coefficients from Cost_estimate as these don't make sense
        when costs (except IO_BLOCKS) are in milliseconds.
      - Removed handler::avg_io_cost() and replaced it with DISK_READ_COST.
      - Renamed best_range_rowid_filter_for_partial_join() to
        best_range_rowid_filter() as using the old name made rows too long.
      - Changed all SJ_MATERIALIZATION_INFO 'Cost_estimate' variables to
        'double' as Cost_estimate power was not used for these and thus
        just caused storage and performance overhead.
      - Changed cost_for_index_read() to use 'worst_seeks' to only limit
        IO, not number of table accesses. With this patch worst_seeks is
        probably not needed anymore, but I kept it around just in case.
      - Applying cost for filter got to be much shorter and easier thanks
        to the API changes.
      - Adjusted cost for fulltext keys in collaboration with Sergei Golubchik.
      - Most test changes caused by this patch is that table scans are changed
        to use indexes.
      - Added ha_seq::keyread_time() and ha_seq::key_scan_time() to get
        make checking number of potential IO blocks easier during debugging.
      d9d0e780
    • Monty's avatar
      Fix cost calculation for get_best_group_min_max() · 7afa819f
      Monty authored
      If the final range restrictions (SEL_ARG tree) over GROUP BY
      columns are single-point, we can compute the number of GROUP BY groups.
      
      Example: in the query:
      SELECT ... FROM tbl
      WHERE keypart1 IN (1,2,3) and keypart2 IN ('foo','bar')
      
      Other things:
      - Fixed cost calculation to more correctly count the number of blocks
        that may be read. The old code could use the total blocks in the file
        even if a range was available.
      7afa819f
    • Monty's avatar
      Fixed limit optimization in range optimizer · 009db228
      Monty authored
      The issue was that when limit is used,
      SQL_SELECT::test_quick_select would set the cost of table scan to be
      unreasonable high to force a range to be used.
      The problem with this approach was that range was used even when the
      cost of range, when it would only read 'limit rows' would be higher
      than the cost of a table scan.
      
      This patch fixes it by not accepting ranges when the range can never
      have a lower cost than a table scan, even if every row would match the
      WHERE clause.
      009db228
    • Monty's avatar
      Changing all cost calculation to be given in milliseconds · b66cdbd1
      Monty authored
      This makes it easier to compare different costs and also allows
      the optimizer to optimizer different storage engines more reliably.
      
      - Added tests/check_costs.pl, a tool to verify optimizer cost calculations.
        - Most engine costs has been found with this program. All steps to
          calculate the new costs are documented in Docs/optimizer_costs.txt
      
      - User optimizer_cost variables are given in microseconds (as individual
        costs can be very small). Internally they are stored in ms.
      - Changed DISK_READ_COST (was DISK_SEEK_BASE_COST) from a hard disk cost
        (9 ms) to common SSD cost (400MB/sec).
      - Removed cost calculations for hard disks (rotation etc).
      - Changed the following handler functions to return IO_AND_CPU_COST.
        This makes it easy to apply different cost modifiers in ha_..time()
        functions for io and cpu costs.
        - scan_time()
        - rnd_pos_time() & rnd_pos_call_time()
        - keyread_time()
      - Enhanched keyread_time() to calculate the full cost of reading of a set
        of keys with a given number of ranges and optional number of blocks that
        need to be accessed.
      - Removed read_time() as keyread_time() + rnd_pos_time() can do the same
        thing and more.
      - Tuned cost for: heap, myisam, Aria, InnoDB, archive and MyRocks.
        Used heap table costs for json_table. The rest are using default engine
        costs.
      - Added the following new optimizer variables:
        - optimizer_disk_read_ratio
        - optimizer_disk_read_cost
        - optimizer_key_lookup_cost
        - optimizer_row_lookup_cost
        - optimizer_row_next_find_cost
        - optimizer_scan_cost
      - Moved all engine specific cost to OPTIMIZER_COSTS structure.
      - Changed costs to use 'records_out' instead of 'records_read' when
        recalculating costs.
      - Split optimizer_costs.h to optimizer_costs.h and optimizer_defaults.h.
        This allows one to change costs without having to compile a lot of
        files.
      - Updated costs for filter lookup.
      - Use a better cost estimate in best_extension_by_limited_search()
        for the sorting cost.
      - Fixed previous issues with 'filtered' explain column as we are now
        using 'records_out' (min rows seen for table) to calculate filtering.
        This greatly simplifies the filtering code in
        JOIN_TAB::save_explain_data().
      
      This change caused a lot of queries to be optimized differently than
      before, which exposed different issues in the optimizer that needs to
      be fixed.  These fixes are in the following commits.  To not have to
      change the same test case over and over again, the changes in the test
      cases are done in a single commit after all the critical change sets
      are done.
      
      InnoDB changes:
      - Updated InnoDB to not divide big range cost with 2.
      - Added cost for InnoDB (innobase_update_optimizer_costs()).
      - Don't mark clustered primary key with HA_KEYREAD_ONLY. This will
        prevent that the optimizer is trying to use index-only scans on
        the clustered key.
      - Disabled ha_innobase::scan_time() and ha_innobase::read_time() and
        ha_innobase::rnd_pos_time() as the default engine cost functions now
        works good for InnoDB.
      
      Other things:
      - Added  --show-query-costs (\Q) option to mysql.cc to show the query
        cost after each query (good when working with query costs).
      - Extended my_getopt with GET_ADJUSTED_VALUE which allows one to adjust
        the value that user is given. This is used to change cost from
        microseconds (user input) to milliseconds (what the server is
        internally using).
      - Added include/my_tracker.h  ; Useful include file to quickly test
        costs of a function.
      - Use handler::set_table() in all places instead of 'table= arg'.
      - Added SHOW_OPTIMIZER_COSTS to sys variables. These are input and
        shown in microseconds for the user but stored as milliseconds.
        This is to make the numbers easier to read for the user (less
        pre-zeros).  Implemented in 'Sys_var_optimizer_cost' class.
      - In test_quick_select() do not use index scans if 'no_keyread' is set
        for the table. This is what we do in other places of the server.
      - Added THD parameter to Unique::get_use_cost() and
        check_index_intersect_extension() and similar functions to be able
        to provide costs to called functions.
      - Changed 'records' to 'rows' in optimizer_trace.
      - Write more information to optimizer_trace.
      - Added INDEX_BLOCK_FILL_FACTOR_MUL (4) and INDEX_BLOCK_FILL_FACTOR_DIV (3)
        to calculate usage space of keys in b-trees. (Before we used numeric
        constants).
      - Removed code that assumed that b-trees has similar costs as binary
        trees. Replaced with engine calls that returns the cost.
      - Added Bitmap::find_first_bit()
      - Added timings to join_cache for ANALYZE table (patch by Sergei Petrunia).
      - Added records_init and records_after_filter to POSITION to remember
        more of what best_access_patch() calculates.
      - table_after_join_selectivity() changed to recalculate 'records_out'
        based on the new fields from best_access_patch()
      
      Bug fixes:
      - Some queries did not update last_query_cost (was 0). Fixed by moving
        setting thd->...last_query_cost in JOIN::optimize().
      - Write '0' as number of rows for const tables with a matching row.
      
      Some internals:
      - Engine cost are stored in OPTIMIZER_COSTS structure.  When a
        handlerton is created, we also created a new cost variable for the
        handlerton. We also create a new variable if the user changes a
        optimizer cost for a not yet loaded handlerton either with command
        line arguments or with SET
        @@global.engine.optimizer_cost_variable=xx.
      - There are 3 global OPTIMIZER_COSTS variables:
        default_optimizer_costs   The default costs + changes from the
                                  command line without an engine specifier.
        heap_optimizer_costs      Heap table costs, used for temporary tables
        tmp_table_optimizer_costs The cost for the default on disk internal
                                  temporary table (MyISAM or Aria)
      - The engine cost for a table is stored in table_share. To speed up
        accesses the handler has a pointer to this. The cost is copied
        to the table on first access. If one wants to change the cost one
        must first update the global engine cost and then do a FLUSH TABLES.
        This was done to be able to access the costs for an open table
        without any locks.
      - When a handlerton is created, the cost are updated the following way:
        See sql/keycaches.cc for details:
        - Use 'default_optimizer_costs' as a base
        - Call hton->update_optimizer_costs() to override with the engines
          default costs.
        - Override the costs that the user has specified for the engine.
        - One handler open, copy the engine cost from handlerton to TABLE_SHARE.
        - Call handler::update_optimizer_costs() to allow the engine to update
          cost for this particular table.
        - There are two costs stored in THD. These are copied to the handler
          when the table is used in a query:
          - optimizer_where_cost
          - optimizer_scan_setup_cost
      - Simply code in best_access_path() by storing all cost result in a
        structure. (Idea/Suggestion by Igor)
      b66cdbd1
    • Sergei Petrunia's avatar
      590416e2
    • Sergei Petrunia's avatar
      6d179ad1
    • Michael Widenius's avatar
      Fixed some issues with FORCE INDEX · 33fc8037
      Michael Widenius authored
      Added code to support that force index can be used to force an index scan
      instead of a full table scan. Currently this code is disable but I added
      a test to verify that things works if the code is ever enabled.
      
      Other things:
      
      - FORCE INDEX will now work with "Range checked for each record" and
        join cache (see main/type_time_6065)
      - Removed code ifdef with BAD_OPTIMIZATION (New cost calculations should
        fix this).
      - Removed TABLE_LIST->force_index and comment that it should be removed
      - Added TABLE->force_index_join and use in the corresponding places.
        This means that FORCE INDEX FOR ORDER BY will not affect keys used
        in joins anymore.
        Remove TODO that the above should be added.
        I still kept TABLE->force_index as it's used in
        test_if_cheaper_ordering() and opt_range.cc
      - Removed setting table->force_index when calling test_quick_select() as
        it's not needed (force_index is an argument to test_quick_select())
      33fc8037
    • Monty's avatar
      Fix cost calculation in test_if_cheaper_ordering() to be cost based · 013ba37a
      Monty authored
      The original code was mostly rule based and preferred clustered or
      covering indexed independent of cost.
      
      There where a few test changes:
      - Some test changed from using filesort to index or table scan. This
        happened when most of the rows had to be sorted and the ORDER BY could
        use covering or a clustered index (innodb_mysql, create_spatial_index).
      - Some test changed range to filesort. This where mainly because the range
        was scanning most of the rows or using index scan + row lookup and
        filesort with table scan is cheaper. (order_by).
      - Change in join_cache was because sorting 2 rows is faster than retrieving
        10 rows.
      - In selectivity_innodb.test one test changed to use a cheaper index.
      013ba37a
    • Vicențiu Ciorbaru's avatar
      Implement cost_of_filesort() · 59193ef6
      Vicențiu Ciorbaru authored
      The sort length is extracted similarly to how sortlength() function does
      it. The function makes use of filesort_use_addons function to compute
      the length of addon fields. Finally, by calling compute_sort_costs we
      get the fastest_sort possible.
      
      Other changes:
      * Sort_param::using_addon_fields() assumes addon fields are already
        allocated. This makes the use of Sort_param unusable for
        compute_sort_costs *if* we don't want to allocate addon fields.
      
        As a preliminary fix, pass "with_addon_fields" as bool value to
        compute_sort_costs() and make the internal functions use that value
        instead of Sort_param::using_addon_fields() method.
      
        The ideal fix would be to define a "leaner" struct with only the
        necessary members, but this can be done as a separate commit.
      
      Reviewer: Monty
      59193ef6
    • Vicențiu Ciorbaru's avatar
      Refactor Sort_param::init_for_filesort · b7029086
      Vicențiu Ciorbaru authored
      No logic changes.
      Extract some of init_for_filesort logic into a separate function:
      * Sort_param::setup_lengths_and_limit can be used to fill in the various
        xxx_length members of Sort_param, without having to allocate any of the
        other buffers.
      
      Reviewer: Monty
      b7029086
    • Vicențiu Ciorbaru's avatar
      Rewrite cost computation for filesort operations · 50e9f7ae
      Vicențiu Ciorbaru authored
      This is a rework of how filesort calculates costs to allow functions
      like test_if_skip_sort_order() to calculate the cost of filesort to
      decide between filesort and using a key to resolve ORDER BY.
      
      Changes:
      - Split cost calculation of qsort + optional merge sort and priority queue
        to dedicated functions.
      - Fixed some wrong calculations of cost in old code (use of log() instead
        of log2()).
      - Added costs realted to fetching the rows if addon fields are not used.
      - Updated get_merge_cost() to take into account that we are going to
        read data from temporary files in big chuncks (DISK_CHUNCK_SIZE (64K) and
        not in IO_SIZE (4K).
      - More code documentation including various variables in Sort_param.
      
      One effect of the cost update is that the cost of priority queue
      with addon field has decreased slightly and is used in more cases.
      When the rowid is large (like with InnoDB where rowid is the priority key),
      using addon fields is in many cases preferable.
      
      Reviewer: Monty
      50e9f7ae
    • Vicențiu Ciorbaru's avatar
      cleanup: Don't pass THD to get_merge_many_buff_cost_fast · 06be2c64
      Vicențiu Ciorbaru authored
      We can pass the cost directly.
      
      Reviewer: Monty
      06be2c64
    • Vicențiu Ciorbaru's avatar
      cleanup: Make tempfile creation uniform with DISK_CHUNK_SIZE · ca2851d1
      Vicențiu Ciorbaru authored
      Replace READ_RECORD_SIZE and DISK_BUFFER_SIZE (renamed to
      DISK_CHUNK_SIZE) to be used across all open_cached_file calls.
      
      Reviewer: Monty
      ca2851d1
    • Vicențiu Ciorbaru's avatar
      cleanup: Rename Sort_param::max_rows to limit_rows · fa90ac61
      Vicențiu Ciorbaru authored
      This makes the code easier to read as the intent of the parameter is
      clearer.
      
      Reviewer: Monty
      fa90ac61
    • Monty's avatar
      Added checking of arguments to COST_ADD and COST_MULT · 488148dd
      Monty authored
      These functions don't work with negative values and should never be
      called with negative values. Added an assert to ensure this will
      not happen.
      488148dd
    • Monty's avatar
      Adjust cost for re-creating a row from the JOIN CACHE · 07df2029
      Monty authored
      Creating a record from the join cache is faster than getting a row from
      the engine (less and simpler code to execute).
      
      Added JOIN_CACHE_ROW_COPY_COST_FACTOR (0.5 for now) as the factor to
      take this into account. This is multiplied with ROW_COPY_COST.
      
      Other things:
      - Added cost of copying rows to hash join, similar to join_cache joins.
      07df2029
    • Monty's avatar
      Fixed cost calculations for materialized tables · 4515a898
      Monty authored
      One effect of this change in the test suite is that tests with very few
      rows changed to use sub queries instead of materialization. This is
      correct and expected as for these the materialization overhead is too high.
      
      A lot of tests where fixed to still use materialization by adding a
      few rows to the tables (most tests has only 2-3 rows and are thus easily
      affected when cost computations are changed).
      
      Other things:
      - Added more variables to TMPTABLE_COSTS for better cost calculation
      - Added cost of copying rows to TMPTABLE_COSTS lookup and write
      - Added THD::optimizer_cache_hit_ratio for easier cost calculations
      - Added DISK_FAST_READ_SIZE to be used when calculating costs when
        reading big blocks from a disk
      4515a898
    • Monty's avatar
      Move join->emb_smj_nest setting to choose_plan() · 1d82e5da
      Monty authored
      This cleans up the interface for choose_plan() as it is not depending
      on setting join->emb_sj_nest.
      
      choose_plan() now sets up join->emb_sj_nest and join->allowed_tables before
      calling optimize_straight_join() and best_extension_by_limited_search().
      
      Other things:
      - Converted some 'if' to DBUG_ASSERT() as these should always be true.
      - Calculate 'allowed_tables' in choose_plan() as this never changes in
        the childs.
      - Added assert to check that next_emb->nested_join->n_tables doesn't
        get to a wrong value.
      - Documented some variables in sql_select.h
      1d82e5da
    • Sergei Petrunia's avatar
      249475b9
    • Monty's avatar
    • Monty's avatar
      Derived tables and union can now create distinct keys · 5e5a8eda
      Monty authored
      The idea is that instead of marking all select_lex's with DISTINCT, we
      only mark those that really need distinct result.
      
      Benefits of this change:
      - Temporary tables used with derived tables, UNION, IN are now smaller
        as duplicates are removed already on the insert phase.
      - The optimizer can now produce better plans with EQ_REF. This can be
        seen from the tests where several queries does not anymore materialize
        derived tables twice.
      - Queries affected by 'in_predicate_conversion_threshold' where large IN
        lists are converted to sub query produces better plans.
      
      Other things:
      - Removed on duplicate call to sel->init_select() in
        LEX::add_primary_to_query_expression_body()
      - I moved the testing of
        tab->table->pos_in_table_list->is_materialized_derived()
        in join_read_const_table() to the caller as it caused problems for
        derived tables that could be proven to be const tables.
        This also is likely to fix some bugs as if join_read_const_table()
        was aborted, the table was left marked as JT_CONST, which cannot
        be good.  I added an ASSERT there for now that can be removed when
        the code has been properly tested.
      5e5a8eda
    • Monty's avatar
      Fixed crashing bug in create_internal_tmp_table_from_heap() · 868d577c
      Monty authored
      An assert/crash could happen if newtable.alias would be reallocated,
      (for example if newtable.alias.safe_c_ptr() was called) when doing
      *table= newtable.
      Fixed by ensuring that we keep the original state of the alias in 'table'.
      868d577c
    • Monty's avatar
      Add test cases for MDEV-20595 and MDEV-21633 to show these are solved · 2d70ff42
      Monty authored
      MDEV-21633 Assertion `tmp >= 0' failed in best_access_path with
                 rowid_filter=ON
      MDEV-20595 Assertion `0 < sel && sel <= 2.0' failed in
                 table_cond_selectivity
      2d70ff42
    • Monty's avatar
      Added 'records_out' and join_type to POSITION · 2387ee9b
      Monty authored
      records_out is the numbers of rows expected to be accepted from a table.
      records_read is in contrast the number of rows that the optimizer excepts
      to read from the engine.
      
      This patch causes not plan changes. The differences in test results comes
      from renaming "records" to "records_read" and printing of record_out in
      the optimizer trace.
      
      Other things:
      - Renamed table_cond_selectivity() to table_after_join_selectivity()
        to make the purpose of the function more clear.
      2387ee9b
    • Monty's avatar
      Align elements in struct system_variables · 9db877c9
      Monty authored
      This reduces the size of THD from 1128 to 1104 (24 bytes)
      Note much but will still save some memory accesses
      9db877c9
    • Sergei Petrunia's avatar
    • Monty's avatar
      Make the most important optimizer constants user variables · 5e651c9a
      Monty authored
      Variables added:
      - optimizer_index_block_copy_cost
      - optimizer_key_copy_cost
      - optimizer_key_next_find_cost
      - optimizer_key_compare_cost
      - optimizer_row_copy_cost
      - optimizer_where_compare_cost
      
      Some rename of defines was done to make the internal defines similar to
      the visible ones:
      TIME_FOR_COMPARE -> WHERE_COST; WHERE_COST was also "inverted" to be
      a number between 0 and 1 that is multiply with accepted records
      (similar to other optimizer variables).
      TIME_FOR_COMPARE_IDX -> KEY_COMPARE_COST. This is also inverted,
      similar to TIME_FOR_COMPARE.
      TIME_FOR_COMPARE_ROWID -> ROWID_COMPARE_COST. This is also inverted,
      similar to TIME_FOR_COMPARE.
      
      All default costs are identical to what they where before this patch.
      
      Other things:
      - Compare factor in get_merge_buffers_cost() was inverted.
      - Changed namespace to static in filesort_utils.cc
      5e651c9a
    • Monty's avatar
      Update row and key fetch cost models to take into account data copy costs · b6215b9b
      Monty authored
      Before this patch, when calculating the cost of fetching and using a
      row/key from the engine, we took into account the cost of finding a
      row or key from the engine, but did not consistently take into account
      index only accessed, clustered key or covered keys for all access
      paths.
      
      The cost of the WHERE clause (TIME_FOR_COMPARE) was not consistently
      considered in best_access_path().  TIME_FOR_COMPARE was used in
      calculation in other places, like greedy_search(), but was in some
      cases (like scans) done an a different number of rows than was
      accessed.
      
      The cost calculation of row and index scans didn't take into account
      the number of rows that where accessed, only the number of accepted
      rows.
      
      When using a filter, the cost of index_only_reads and cost of
      accessing and disregarding 'filtered rows' where not taken into
      account, which made filters cost less than there actually where.
      
      To remedy the above, the following key & row fetch related costs
      has been added:
      
      - The cost of fetching and using a row is now split into different costs:
        - key + Row fetch cost (as before) but multiplied with the variable
        'optimizer_cache_cost' (default to 0.5). This allows the user to
        tell the optimizer the likehood of finding the key and row in the
        engine cache.
      - ROW_COPY_COST, The cost copying a row from the engine to the
        sql layer or creating a row from the join_cache to the record
        buffer. Mostly affects table scan costs.
      - ROW_LOOKUP_COST, the cost of fetching a row by rowid.
      - KEY_COPY_COST the cost of finding the next key and copying it from
        the engine to the SQL layer. This is used when we calculate the cost
        index only reads. It makes index scans more expensive than before if
        they cover a lot of rows. (main.index_merge_myisam)
      - KEY_LOOKUP_COST, the cost of finding the first key in a range.
        This replaces the old define IDX_LOOKUP_COST, but with a higher cost.
      - KEY_NEXT_FIND_COST, the cost of finding the next key (and rowid).
        when doing a index scan and comparing the rowid to the filter.
        Before this cost was assumed to be 0.
      
      All of the above constants/variables are now tuned to be somewhat in
      proportion of executing complexity to each other.  There is tuning
      need for these in the future, but that can wait until the above are
      made user variables as that will make tuning much easier.
      
      To make the usage of the above easy, there are new (not virtual)
      cost calclation functions in handler:
      - ha_read_time(), like read_time(), but take optimizer_cache_cost into
        account.
      - ha_read_and_copy_time(), like ha_read_time() but take into account
        ROW_COPY_TIME
      - ha_read_and_compare_time(), like ha_read_and_copy_time() but take
        TIME_FOR_COMPARE into account.
      - ha_rnd_pos_time(). Read row with row id, taking ROW_COPY_COST
        into account.  This is used with filesort where we don't need
        to execute the WHERE clause again.
      - ha_keyread_time(), like keyread_time() but take
        optimizer_cache_cost into account.
      - ha_keyread_and_copy_time(), like ha_keyread_time(), but add
        KEY_COPY_COST.
      - ha_key_scan_time(), like key_scan_time() but take
        optimizer_cache_cost nto account.
      - ha_key_scan_and_compare_time(), like ha_key_scan_time(), but add
        KEY_COPY_COST & TIME_FOR_COMPARE.
      
      I also added some setup costs for doing different types of scans and
      creating temporary tables (on disk and in memory). This encourages
      the optimizer to not use these for simple 'a few row' lookups if
      there are adequate key lookup strategies.
      - TABLE_SCAN_SETUP_COST, cost of starting a table scan.
      - INDEX_SCAN_SETUP_COST, cost of starting an index scan.
      - HEAP_TEMPTABLE_CREATE_COST, cost of creating in memory
        temporary table.
      - DISK_TEMPTABLE_CREATE_COST, cost of creating an on disk temporary
        table.
      
      When calculating cost of fetching ranges, we had a cost of
      IDX_LOOKUP_COST (0.125) for doing a key div for a new range. This is
      now replaced with 'io_cost * KEY_LOOKUP_COST (1.0) *
      optimizer_cache_cost', which matches the cost we use for 'ref' and
      other key lookups. The effect is that the cost is now a bit higher
      when we have many ranges for a key.
      
      Allmost all calculation with TIME_FOR_COMPARE is now done in
      best_access_path(). 'JOIN::read_time' now includes the full
      cost for finding the rows in the table.
      
      In the result files, many of the changes are now again close to what
      they where before the "Update cost for hash and cached joins" commit,
      as that commit didn't fix the filter cost (too complex to do
      everything in one commit).
      
      The above changes showed a lot of a lot of inconsistencies in
      optimizer cost calculation. The main objective with the other changes
      was to do calculation as similar (and accurate) as possible and to make
      different plans more comparable.
      
      Detailed list of changes:
      
      - Calculate index_only_cost consistently and correctly for all scan
        and ref accesses. The row fetch_cost and index_only_cost now
        takes into account clustered keys, covered keys and index
        only accesses.
      - cost_for_index_read now returns both full cost and index_only_cost
      - Fixed cost calculation of get_sweep_read_cost() to match other
        similar costs. This is bases on the assumption that data is more
        often stored on SSD than a hard disk.
      - Replaced constant 2.0 with new define TABLE_SCAN_SETUP_COST.
      - Some scan cost estimates did not take into account
        TIME_FOR_COMPARE. Now all scan costs takes this into
        account. (main.show_explain)
      - Added session variable optimizer_cache_hit_ratio (default 50%). By
        adjusting this on can reduce or increase the cost of index or direct
        record lookups. The effect of the default is that key lookups is now
        a bit cheaper than before. See usage of 'optimizer_cache_cost' in
        handler.h.
      - JOIN_TAB::scan_time() did not take into account index only scans,
        which produced a wrong cost when index scan was used. Changed
        JOIN_TAB:::scan_time() to take into consideration clustered and
        covered keys. The values are now cached and we only have to call
        this function once. Other calls are changed to use the cached
        values.  Function renamed to JOIN_TAB::estimate_scan_time().
      - Fixed that most index cost calculations are done the same way and
        more close to 'range' calculations. The cost is now lower than
        before for small data sets and higher for large data sets as we take
        into account how many keys are read (main.opt_trace_selectivity,
        main.limit_rows_examined).
      - Ensured that index_scan_cost() ==
        range(scan_of_all_rows_in_table_using_one_range) +
        MULTI_RANGE_READ_INFO_CONST. One effect of this is that if there
        is choice of doing a full index scan and a range-index scan over
        almost the whole table then index scan will be preferred (no
        range-read setup cost).  (innodb.innodb, main.show_explain,
        main.range)
        - Fixed the EQ_REF and REF takes into account clustered and covered
          keys.  This changes some plans to use covered or clustered indexes
          as these are much cheaper.  (main.subselect_mat_cost,
          main.state_tables_innodb, main.limit_rows_examined)
        - Rowid filter setup cost and filter compare cost now takes into
          account fetching and checking the rowid (KEY_NEXT_FIND_COST).
          (main.partition_pruning heap.heap_btree main.log_state)
        - Added KEY_NEXT_FIND_COST to
          Range_rowid_filter_cost_info::lookup_cost to account of the time
          to find and check the next key value against the container
        - Introduced ha_keyread_time(rows) that takes into account finding
          the next row and copying the key value to 'record'
          (KEY_COPY_COST).
        - Introduced ha_key_scan_time() for calculating an index scan over
          all rows.
        - Added IDX_LOOKUP_COST to keyread_time() as a startup cost.
        - Added index_only_fetch_cost() as a convenience function to
          OPT_RANGE.
        - keyread_time() cost is slightly reduced to prefer shorter keys.
          (main.index_merge_myisam)
        - All of the above caused some index_merge combinations to be
          rejected because of cost (main.index_intersect). In some cases
          'ref' where replaced with index_merge because of the low
          cost calculation of get_sweep_read_cost().
        - Some index usage moved from PRIMARY to a covering index.
          (main.subselect_innodb)
      - Changed cost calculation of filter to take KEY_LOOKUP_COST and
        TIME_FOR_COMPARE into account.  See sql_select.cc::apply_filter().
        filter parameters and costs are now written to optimizer_trace.
      - Don't use matchings_records_in_range() to try to estimate the number
        of filtered rows for ranges. The reason is that we want to ensure
        that 'range' is calculated similar to 'ref'. There is also more work
        needed to calculate the selectivity when using ranges and ranges and
        filtering.  This causes filtering column in EXPLAIN EXTENDED to be
        100.00 for some cases where range cannot use filtering.
        (main.rowid_filter)
      - Introduced ha_scan_time() that takes into account the CPU cost of
        finding the next row and copying the row from the engine to
        'record'. This causes costs of table scan to slightly increase and
        some test to changed their plan from ALL to RANGE or ALL to ref.
        (innodb.innodb_mysql, main.select_pkeycache)
        In a few cases where scan time of very small tables have lower cost
        than a ref or range, things changed from ref/range to ALL.
        (main.myisam, main.func_group, main.limit_rows_examined,
        main.subselect2)
      - Introduced ha_scan_and_compare_time() which is like ha_scan_time()
        but also adds the cost of the where clause (TIME_FOR_COMPARE).
      - Added small cost for creating temporary table for
        materialization. This causes some very small tables to use scan
        instead of materialization.
      - Added checking of the WHERE clause (TIME_FOR_COMPARE) of the
        accepted rows to ROR costs in get_best_ror_intersect()
      - Removed '- 0.001' from 'join->best_read' and optimize_straight_join()
        to ensure that the 'Last_query_cost' status variable contains the
        same value as the one that was calculated by the optimizer.
      - Take avg_io_cost() into account in handler::keyread_time() and
        handler::read_time(). This should have no effect as it's 1.0 by
        default, except for heap that overrides these functions.
      - Some 'ref_or_null' accesses changed to 'range' because of cost
        adjustments (main.order_by)
      - Added scan type "scan_with_join_cache" for optimizer_trace. This is
        just to show in the trace what kind of scan was used.
      - When using 'scan_with_join_cache' take into account number of
        preceding tables (as have to restore all fields for all previous
        table combination when checking the where clause)
        The new cost added is:
        (row_combinations * ROW_COPY_COST * number_of_cached_tables).
        This increases the cost of join buffering in proportion of the
        number of tables in the join buffer. One effect is that full scans
        are now done earlier as the cost is then smaller.
        (main.join_outer_innodb, main.greedy_optimizer)
      - Removed the usage of 'worst_seeks' in cost_for_index_read as it
        caused wrong plans to be created; It prefered JT_EQ_REF even if it
        would be much more expensive than a full table scan. A related
        issue was that worst_seeks only applied to full lookup, not to
        clustered or index only lookups, which is not consistent. This
        caused some plans to use index scan instead of eq_ref (main.union)
      - Changed federated block size from 4096 to 1500, which is the
        typical size of an IO packet.
      - Added costs for reading rows to Federated. Needed as there is no
        caching of rows in the federated engine.
      - Added ha_innobase::rnd_pos_time() cost function.
      - A lot of extra things added to optimizer trace
        - More costs, especially for materialization and index_merge.
        - Make lables more uniform
        - Fixed a lot of minor bugs
        - Added 'trace_started()' around a lot of trace blocks.
      - When calculating ORDER BY with LIMIT cost for using an index
        the cost did not take into account the number of row retrivals
        that has to be done or the cost of comparing the rows with the
        WHERE clause. The cost calculated would be just a fraction of
        the real cost. Now we calculate the cost as we do for ranges
        and 'ref'.
      - 'Using index for group-by' is used a bit more than before as
        now take into account the WHERE clause cost when comparing
        with 'ref' and prefer the method with fewer row combinations.
        (main.group_min_max).
      
      Bugs fixed:
      - Fixed that we don't calculate TIME_FOR_COMPARE twice for some plans,
        like in optimize_straight_join() and greedy_search()
      - Fixed bug in save_explain_data where we could test for the wrong
        index when displaying 'Using index'. This caused some old plans to
        show 'Using index'.  (main.subselect_innodb, main.subselect2)
      - Fixed bug in get_best_ror_intersect() where 'min_cost' was not
        updated, and the cost we compared with was not the one that was
        used.
      - Fixed very wrong cost calculation for priority queues in
        check_if_pq_applicable(). (main.order_by now correctly uses priority
        queue)
      - When calculating cost of EQ_REF or REF, we added the cost of
        comparing the WHERE clause with the found rows, not all row
        combinations. This made ref and eq_ref to be regarded way to cheap
        compared to other access methods.
      - FORCE INDEX cost calculation didn't take into account clustered or
        covered indexes.
      - JT_EQ_REF cost was estimated as avg_io_cost(), which is half the
        cost of a JT_REF key. This may be true for InnoDB primary key, but
        not for other unique keys or other engines. Now we use handler
        function to calculate the cost, which allows us to handle
        consistently clustered, covered keys and not covered keys.
      - ha_start_keyread() didn't call extra_opt() if keyread was already
        enabled but still changed the 'keyread' variable (which is wrong).
        Fixed by not doing anything if keyread is already enabled.
      - multi_range_read_info_cost() didn't take into account io_cost when
        calculating the cost of ranges.
      - fix_semijoin_strategies_for_picked_join_order() used the wrong
        record_count when calling best_access_path() for SJ_OPT_FIRST_MATCH
        and SJ_OPT_LOOSE_SCAN.
      - Hash joins didn't provide correct best_cost to the upper level, which
        means that the cost for hash_joins more expensive than calculated
        in best_access_path (a difference of 10x * TIME_OF_COMPARE).
        This is fixed in the new code thanks to that we now include
        TIME_OF_COMPARE cost in 'read_time'.
      
      Other things:
      - Added some 'if (thd->trace_started())' to speed up code
      - Removed not used function Cost_estimate::is_zero()
      - Simplified testing of HA_POS_ERROR in get_best_ror_intersect().
        (No cost changes)
      - Moved ha_start_keyread() from join_read_const_table() to join_read_const()
        to enable keyread for all types of JT_CONST tables.
      - Made a few very short functions inline in handler.h
      
      Notes:
      - In main.rowid_filter the join order of order and lineitem is swapped.
        This is because the cost of doing a range fetch of lineitem(98 rows) is
        almost as big as the whole join of order,lineitem. The filtering will
        also ensure that we only have to do very small key fetches of the rows
        in lineitem.
      - main.index_merge_myisam had a few changes where we are now using
        less keys for index_merge. This is because index scans are now more
        expensive than before.
      - handler->optimizer_cache_cost is updated in ha_external_lock().
        This ensures that it is up to date per statements.
        Not an optimal solution (for locked tables), but should be ok for now.
      - 'DELETE FROM t1 WHERE t1.a > 0 ORDER BY t1.a' does not take cost of
        filesort into consideration when table scan is chosen.
        (main.myisam_explain_non_select_all)
      - perfschema.table_aggregate_global_* has changed because an update
        on a table with 1 row will now use table scan instead of key lookup.
      
      TODO in upcomming commits:
      - Fix selectivity calculation for ranges with and without filtering and
        when there is a ref access but scan is chosen.
        For this we have to store the lowest known value for
        'accepted_records' in the OPT_RANGE structure.
      - Change that records_read does not include filtered rows.
      - test_if_cheaper_ordering() needs to be updated to properly calculate
        costs. This will fix tests like main.order_by_innodb,
        main.single_delete_update
      - Extend get_range_limit_read_cost() to take into considering
        cost_for_index_read() if there where no quick keys. This will reduce
        the computed cost for ORDER BY with LIMIT in some cases.
        (main.innodb_ext_key)
      - Fix that we take into account selectivity when counting the number
        of rows we have to read when considering using a index table scan to
        resolve ORDER BY.
      - Add new calculation for rnd_pos_time() where we take into account the
        benefit of reading multiple rows from the same page.
      b6215b9b
    • Michael Widenius's avatar
      Added optimizer_costs.h which includes all optimizer costs · 034aedad
      Michael Widenius authored
      This makes it easier to see how costs changes over commits
      034aedad
    • Monty's avatar
      Split cost calculations into fetch and total · e6205c96
      Monty authored
      This patch causes no changes in costs or result files.
      
      Changes:
      - Store row compare cost separately in Cost_estimate::comp_cost
      - Store cost of fetching rows separately in OPT_RANGE
      - Use range->fetch_cost instead of adjust_quick_cost(total_cost)
      
      This was done to simplify cost calculation in sql_select.cc:
      - We can use range->fetch_cost directly without having to call
        adjust_quick_cost(). adjust_quick_cost() is now removed.
      
      Other things:
      - Removed some not used functions in Cost_estimate
      e6205c96