mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
68ed3a81f2
Count the "gap" time between table accesses and display it as r_other_time_ms in the "table" element. * The advantage of this approach is that it doesn't add any new my_timer_cycles() calls. * The disadvantage is that the definition of what is done during "other time" is not that clear: it includes checking the WHERE (for this table), constructing index lookup tuple (for the next table) writing to GROUP BY temporary table (as we dont account for that time separately [yet], etc)
3 lines
181 B
PHP
3 lines
181 B
PHP
# The time on ANALYSE FORMAT=JSON is rather variable
|
|
|
|
--replace_regex /("(r_total_time_ms|r_table_time_ms|r_other_time_ms|r_buffer_size|r_filling_time_ms)": )[^, \n]*/\1"REPLACED"/
|