A high performance mysql udf for pushing data to redis cache