mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 20:42:30 +01:00
447e0f023f
ANALYZE and ANALYZE FORMAT=JSON structures are changed in the way that they show additional information when rowid filter is used: - r_selectivity_pct - the observed filter selectivity - r_buffer_size - the size of the rowid filter container buffer - r_filling_time_ms - how long it took to fill rowid filter container New class Rowid_filter_tracker was added. This class is needed to collect data about how rowid filter is executed.
3 lines
149 B
PHP
3 lines
149 B
PHP
# The time on ANALYSE FORMAT=JSON is rather variable
|
|
|
|
--replace_regex /("(r_total_time_ms|r_buffer_size|r_filling_time_ms)": )[^, \n]*/\1"REPLACED"/
|