summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* MDEV-30310: patch from Monty, a bit amendedbb-11.0-mdev30310-updatedSergei Petrunia2022-12-288-12/+46
|
* Fixed wrong selectivity calculation in table_after_join_selectivity()Monty2022-12-211-7/+8
| | | | | | | | | | | | | The old code counted selectivity double in case of queries like: WHERE key_part1=1 and key_part2 < 100 if the optimizer would decide to use a REF access on key_part1. The new code in best_access_path() that changes REF access to RANGE if the RANGE key is longer makes this issue less likely to happen. I was not able to create a test case for 11.0, however if one ports this patch to a MariaDB version without the change of REF to RANGE, the selectivity will be counted double.
* Cache file->index_flags(index, 0, 1) in table->key_info[index].index_flagsMonty2022-12-2013-87/+126
| | | | | | | | | | | | | | | | | | | | | The reason for this is that we call file->index_flags(index, 0, 1) multiple times in best_access_patch()when optimizing a table. For example, in InnoDB, the calls is not trivial (4 if's and 2 assignments) Now the function is inlined and is just a memory reference. Other things: - handler::is_clustering_key() and pk_is_clustering_key() are now inline. - Added TABLE::can_use_rowid_filter() to simplify some code. - Test if we should use a rowid_filter only if can_use_rowid_filter() is true. - Added TABLE::is_clustering_key() to avoid a memory reference. - Simplify some code using the fact that HA_KEYREAD_ONLY is true implies that HA_CLUSTERED_INDEX is false. - Added DBUG_ASSERT to TABLE::best_range_rowid_filter() to ensure we do not call it with a clustering key. - Reorginized elements in struct st_key to get better memory alignment. - Updated ha_innobase::index_flags() to not have HA_DO_RANGE_FILTER_PUSHDOWN for clustered index
* Updated some tests for --valgrindMonty2022-12-203-1/+4
| | | | | | | - Increased timeout for binlog_mysqlbinlog_raw_flush.test. The old timeout was not enough when running with --valgrind - Disabled ssl_timeout for --valgrind as it times out - Disabled binlog_truncate_multi_engine for --valgrind as it does restarts
* Fixed 'undefined variable' error in mtrMonty2022-12-201-6/+9
| | | | This could happen if mtr_grab_file() returned empty (happened to me)
* Make tests work with --view-protocolSergei Petrunia2022-12-207-199/+285
|
* Stabilize rocksdb.rocksdb test.Sergei Petrunia2022-12-202-5/+5
|
* MDEV-21095: Make Optimizer Trace support Index Condition PushdownSergei Petrunia2022-12-206-812/+551
| | | | | | | Fixes over previous patches: do tracing of attached conditions close to where we generate them. Fix the tracing code to print the right conditions.
* MDEV-21092,MDEV-21095,MDEV-29997: Optimizer Trace for index condition ↵Rex2022-12-209-446/+1069
| | | | | | | | | pushdown, partition pruning, exists-to-in Add Optimizer Tracing for: - Index Condition Pushdown - Partition Pruning - Exists-to-IN optimization
* Stabilize engines/iuds.type_bit_iuds testSergei Petrunia2022-12-202-80/+280
| | | | Make sure the queries use the intended query plan
* Remove mysql-test/suite/versioning/r/select,trx_id.rdiff which is emptySergei Petrunia2022-12-201-0/+0
| | | | This seems to confuse windows.
* Update columnstore to include the patch to compile with the new cost model APIsSergei Petrunia2022-12-201-0/+0
|
* Fix debian config and remove lintian overridesVicențiu Ciorbaru2022-12-202-17/+2
|
* Fix debian control provides directiveVicențiu Ciorbaru2022-12-201-4/+0
|
* Removed "<select expression> INTO <destination>" deprication.Monty2022-12-2086-726/+65
| | | | | | | | | | | | | This was done after discussions with Igor, Sanja and Bar. The main reason for removing the deprication was to ensure that MariaDB is always backward compatible whenever possible. Other things: - Added statistics counters, mainly for the feedback plugin. - INTO OUTFILE - INTO variable - If INTO is using the old syntax (end of query)
* Removed diff dates from rdiff filesMonty2022-12-2060-120/+120
|
* In best_access_path() change record_count to 1.0 if its less than 1.0.Monty2022-12-2010-44/+52
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In essence this means that we expect the user query to have at least one matching row in the end. This change will not affect the estimated rows for the plan, but will ensure that the cost for adding a table is not neglected because of record count being too low. The reasons for this is that if we have table combination that together has a very high selectivity then join record_count could become very low (close to 0) This would cause costs for all future tables to be so small that they are irrelevant for the rest of the plan. This has been shown to be the case in some performance benchmarks and in a few mtr tests. There is also still a problem in selectivity calculations as joining two tables in different order causes a different estimation of total rows. This can be seen in selectivity_innodb.test, test 'Q20' where joining nation,supplier is expecting 1.111 rows_out while joining supplier,nation is expecting 0.04 rows_out. The reason for 0.04 is that the optimizer estimates 'supplier' to have 10 matching rows, and joining with nation (eq_ref) has 1 row. However selectivity of n_name = 'UNITED STATES' makes the optimizer things that there will be only 0.04 matching rows. This patch avoids this "too low row count" to affect cost caclulations.
* Changed some startup warnings to notesMonty2022-12-202-9/+10
| | | | | | - Changed 'WARNING' of type "You need to use --log-bin to make ... work" to 'Note' - Only print startup Notes if log_warnings >= 4
* Remove strlen() from Item::cleanupMonty2022-12-203-13/+10
|
* Do not give warnings about #rocksdb directory information_schemaMonty2022-12-202-1/+2
| | | | | | | "select * from information_schema.tables limit 1" was giving the following warning in the log: [ERROR] Invalid (old?) table or database name '#rocksdb'
* MDEV-30032: EXPLAIN FORMAT=JSON output: part #2: print 'loops'.Sergei Petrunia2022-12-2050-2/+1637
|
* MDEV-30032: EXPLAIN FORMAT=JSON output: print costsSergei Petrunia2022-12-2091-18/+3441
| | | | Basic printout for join and table execution costs.
* Change BUILD scripts to use wolfss by defaultMonty2022-12-202-6/+7
|
* Changed a rule to be cost based in test_if_cheaper_orderingMonty2022-12-202-3/+9
| | | | | | | | - Simplified test by setting read_time=DBL_MAX at start of loop if FORCE INDEX is used - No need to test for 'group by' as the cost compare should handle it. - Only one test change where index scan was replaced with table scan (correct)
* Simple cleanup of removing QQ comments from sql_select.ccMonty2022-12-201-4/+1
| | | | | - The comment in test_if_skip_sort_order was removed together with a not needed test of 'select'
* Added "override" to ha_heap.h, ha_myisam.h, ha_myisammrg.h and ha_sequence.hMonty2022-12-206-197/+207
| | | | Added override to a few functions in ha_partition.h
* Change default of histogram_type to JSON_HBMonty2022-12-203-3/+3
|
* Version change to 11.0Monty2022-12-209-24/+32
|
* Fixed bug in Aria with aria_log files that are exactly 8KMonty2022-12-203-55/+93
| | | | | | | | | | | | | | | | | | | | | | | In the case one has an old Aria log file that ands with a Aria checkpoint and the server restarts after next recovery, just after created a new Aria log file (of 8K), the Aria recovery code would abort. If one would try to delete all Aria log files after this (but not the aria_control_file), the server would crash during recovery. The problem was that translog_get_last_page_addr() would regard a log file of exactly 8K as illegal and the rest of the code could not handle this case. Another issue was that if there was a crash directly after the log file head was written to the next page, the code in translog_get_next_chunk() would crash. This patch fixes most of the issues, but not all. For Sanja to look at! Things fixed: - Added code to ignore 8K log files. - Removed ASSERT in translog_get_next_chunk() that checks if page only contains the log page header.
* Small improvements to aria recoveryMonty2022-12-206-8/+15
| | | | | | | | | | | | | | | | | | | I spent 4 hours on work and 12 hours of testing to try to find the reason for aria crashing in recovery when starting a new test, in which case the 'data directory' should be a copy of "install.db", but aria_log.00000001 content was not correct. The following changes are mostly done to make it a bit easier to find out more in case of future similar crashes: - Mark last_checkpoint_lsn volatile (safety). - Write checkpoint message to aria_recovery.trace - When compling with DBUG and with HAVE_DBUG_TRANSLOG_SRC, use checksum's for Aria log pages. We cannot have it on by default for DBUG servers yet as there is bugs when changing CRC between restarts. - Added a message to mtr --verbose when copying the data directory. - Removed extra linefeed in Aria recovery message (cleanup)
* Added rowid_filter support to AriaMonty2022-12-2036-2003/+3613
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This includes: - cleanup and optimization of filtering and pushdown engine code. - Adjusted costs for rowid filters (based on extensive testing and profiling). This made a small two changes to the handler_rowid_filter_is_active() API: - One should not call it with a zero pointer! - One does not need to call handler_rowid_filter_is_active() for every row anymore. It is enough to check if filter is active by calling it call it during index_init() or when handler::rowid_filter_changed() is called The changes was to avoid unnecessary function calls and checks if pushdown conditions and rowid_filter is not used. Updated costs for rowid_filter_lookup() to be closer to reality. The old cost was based only on rowid_compare_cost. This is now changed to take into account the overhead in checking the rowid. Changed the Range_rowid_filter class to use DYNAMIC_ARRAY directly instead of Dynamic_array<>. This was done to be able to use the new append_dynamic() functions which gives a notable speed improvment compared to the old code. Removing the abstraction also makes the code easier to understand. The cost of filtering is now slightly lower than before, which is reflected in some test cases that is now using rowid filters.
* Set thd->query() for internal (startup) transactionsMonty2022-12-208-0/+20
| | | | | This helps with debugging as 'Query: ' in DBUG traces will show something useful, for internal transactions, instead of just "".
* Added MARIADB_NEW_COST_MODEL for ColumnStore to detect new cost modelSergei Petrunia2022-12-201-1/+1
|
* Don't do zerofill of Aria table if it's already zerofilledMonty2022-12-204-7/+18
| | | | | This will speed up using tables that are already zerofilled with aria_chk --zerofill.
* MDEV-30059: Optimizer Trace: plan_prefix should be a comma-separated-listSergei Petrunia2022-12-208-632/+296
|
* Added test cases for preceding testMonty2022-12-20290-8816/+10868
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This includes all test changes from "Changing all cost calculation to be given in milliseconds" and forwards. Some of the things that caused changes in the result files: - As part of fixing tests, I added 'echo' to some comments to be able to easier find out where things where wrong. - MATERIALIZED has now a higher cost compared to X than before. Because of this some MATERIALIZED types have changed to DEPENDEND SUBQUERY. - Some test cases that required MATERIALIZED to repeat a bug was changed by adding more rows to force MATERIALIZED to happen. - 'Filtered' in SHOW EXPLAIN has in many case changed from 100.00 to something smaller. This is because now filtered also takes into account the smallest possible ref access and filters, even if they where not used. Another reason for 'Filtered' being smaller is that we now also take into account implicit filtering done for subqueries using FIRSTMATCH. (main.subselect_no_exists_to_in) This is caluculated in best_access_path() and stored in records_out. - Table orders has changed because more accurate costs. - 'index' and 'ALL' for small tables has changed to use 'range' or 'ref' because of optimizer_scan_setup_cost. - index can be changed to 'range' as 'range' optimizer assumes we don't have to read the blocks from disk that range optimizer has already read. This can be confusing in the case where there is no obvious where clause but instead there is a hidden 'key_column > NULL' added by the optimizer. (main.subselect_no_exists_to_in) - Scan on primary clustered key does not report 'Using Index' anymore (It's a table scan, not an index scan). - For derived tables, the number of rows is now 100 instead of 2, which can be seen in EXPLAIN. - More tests have "Using index for group by" as the cost of this optimization is now more correct (lower). - A primary key could be preferred for a normal key, even if it would access more rows, as it's faster to do 1 lokoup and 3 'index_next' on a clustered primary key than one lookup trough a secondary. (main.stat_tables_innodb) Notes: - There was a 4.7% more calls to best_extension_by_limited_search() in the main.greedy_optimizer test. However examining the test results it looked that the plans where slightly better (eq_ref where more chained together) so I assume this is ok. - I have verified a few test cases where there was notable/unexpected changes in the plan and in all cases the new optimizer plans where faster. (main.greedy_optimizer and some others)
* Added range_index to 'range' optimizer_trace outputMonty2022-12-202-3/+7
| | | | | | Other things: - Renamed "rowid_filter_key" to "rowid_filter_index" to keep things consistent
* Fix bug in WITH tiesVicențiu Ciorbaru2022-12-201-1/+8
| | | | | | 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
* MDEV-29677 Wrong result with join query and innodb fulltext searchMonty2022-12-201-0/+5
| | | | | | | | | | | | | | | 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
* Fixes for 'Filtering'Monty2022-12-206-52/+106
| | | | | | | | | | | | | | | | | | | - 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.
* Updated number of expected rows from 2 to 100 for information_schema tablesMonty2022-11-301-1/+8
| | | | | | | | 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.
* Added optimizer_trace info for index_intersectsMonty2022-11-301-3/+50
|
* Removed worst_seek argument for cost_for_index_read()Monty2022-11-302-38/+9
| | | | The argument was not used.
* Changed aggregate distinct optimization with indexes to be cost based.Monty2022-11-302-17/+64
| | | | | | | | | | | | | | | | 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.
* Fixes some issues in Firstmatch optimizationMonty2022-11-303-6/+14
| | | | | | | | | | 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
* Print more information in optimizer trace for LATERAL DERIVEDMonty2022-11-301-27/+38
|
* Indexes where not used for sorting in sub queriesMonty2022-11-304-21/+39
| | | | | | | | | | | | 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.
* Add limits for how many IO operations a table access will doMonty2022-11-3029-517/+605
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
* Fix cost calculation for get_best_group_min_max()Monty2022-11-304-74/+206
| | | | | | | | | | | | | | 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.
* Fixed limit optimization in range optimizerMonty2022-11-3019-85/+154
| | | | | | | | | | | | | 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.