php读取文件使用redis的pipeline（管道）导入大批量数据