MDEV-9077 add sys_schema from https://github.com/mysql/mysql-sys

scripts/sys_schema/functions/format_time.sql

@@ -0,0 +1,91 @@
+-- Copyright (c) 2014, 2015, Oracle and/or its affiliates. All rights reserved.
+--
+-- This program is free software; you can redistribute it and/or modify
+-- it under the terms of the GNU General Public License as published by
+-- the Free Software Foundation; version 2 of the License.
+--
+-- This program is distributed in the hope that it will be useful,
+-- but WITHOUT ANY WARRANTY; without even the implied warranty of
+-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+-- GNU General Public License for more details.
+--
+-- You should have received a copy of the GNU General Public License
+-- along with this program; if not, write to the Free Software
+-- Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
+
+DROP FUNCTION IF EXISTS format_time;
+
+DELIMITER $$
+
+CREATE DEFINER='root'@'localhost' FUNCTION format_time (
+        -- We feed in and return TEXT here, as aggregates of
+        -- picoseconds can return numbers larger than BIGINT UNSIGNED
+        picoseconds TEXT
+    )
+    RETURNS TEXT CHARSET UTF8
+    COMMENT '
+             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
+
+             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)
+            '
+    SQL SECURITY INVOKER
+    DETERMINISTIC
+    NO SQL
+BEGIN
+  IF picoseconds IS NULL THEN RETURN NULL;
+  ELSEIF picoseconds >= 604800000000000000 THEN RETURN CONCAT(ROUND(picoseconds / 604800000000000000, 2), ' w');
+  ELSEIF picoseconds >= 86400000000000000 THEN RETURN CONCAT(ROUND(picoseconds / 86400000000000000, 2), ' d');
+  ELSEIF picoseconds >= 3600000000000000 THEN RETURN CONCAT(ROUND(picoseconds / 3600000000000000, 2), ' h');
+  ELSEIF picoseconds >= 60000000000000 THEN RETURN CONCAT(ROUND(picoseconds / 60000000000000, 2), ' m');
+  ELSEIF picoseconds >= 1000000000000 THEN RETURN CONCAT(ROUND(picoseconds / 1000000000000, 2), ' s');
+  ELSEIF picoseconds >= 1000000000 THEN RETURN CONCAT(ROUND(picoseconds / 1000000000, 2), ' ms');
+  ELSEIF picoseconds >= 1000000 THEN RETURN CONCAT(ROUND(picoseconds / 1000000, 2), ' us');
+  ELSEIF picoseconds >= 1000 THEN RETURN CONCAT(ROUND(picoseconds / 1000, 2), ' ns');
+  ELSE RETURN CONCAT(picoseconds, ' ps');
+  END IF;
+END$$
+
+DELIMITER ;