format_time

Description

Takes a raw picoseconds value, and converts it to a human readable form.

Picoseconds are the precision that all latency values are printed in within Performance Schema, however are not user friendly when wanting to scan output from the command line.

Parameters

picoseconds (TEXT): The raw picoseconds value to convert.

Returns

TEXT CHARSET UTF8MB4

Example

mysql> select format_time(342342342342345); +——————————+ | format_time(342342342342345) | +——————————+ | 00:05:42 | +——————————+ 1 row in set (0.00 sec)

mysql> select format_time(342342342); +————————+ | format_time(342342342) | +————————+ | 342.34 us | +————————+ 1 row in set (0.00 sec)

mysql> select format_time(34234); +——————–+ | format_time(34234) | +——————–+ | 34.23 ns | +——————–+ 1 row in set (0.00 sec)