php读取文件加锁和解锁