为什么redis可以做分布式锁，是因为redis是单线程的吗?