redis实现轮询算法_Redis如何保证原子性

本文探讨了Redis如何确保操作的原子性,并解析其单线程模型下如何实现异步与非阻塞特性。通过阐述同步/异步及阻塞/非阻塞的概念,揭示Redis使用EventLoop和多路复用器处理网络请求的机制。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

众所周知,Redis是一个key-value存储系统,它有一些特性,例如基于内存、单线程、非阻塞、操作原子性、高性能等。

不做过多展开,本篇主要记录我对Redis如何保证原子性问题的思考,以及此问题衍生出的问题,如有错误和疑问欢迎大家在底部留言。

问题一、Redis如何保证原子性?

答案很简单,因为redis是单线程。

问题来了,既然Redis是单线程,可以保证原子性,那么它的异步和非阻塞是什么?单线程如何实现异步和非阻塞?

问题二、Redis单线程,如何实现异步和非阻塞

再查阅了很多资料之后,我发现我对于同步/异步、阻塞/非阻塞以及单线程/多线程的概念有些不清晰,下面给出简单解释。

同步/异步:首先同步和异步主要是从消息通知机制来讲起的。

同步:一个任务的完成必须依赖另一个任务,两个要么都成功要么都失败,是一种可靠的任务序列。当一个同步调用发生后,调用者必须等待返回结果,才能继续后面任务的执行。

异步:不需要等待被依赖任务的完成,只需要完成自己的任务就可以,所以是不可靠任务序列。当一个异步调用发生后,调用者不必等待返回结果,调用者可以去做其他的事情,被调用部件在处理完成后,通过(状态、通知、回调)来通知调用者。

阻塞/非阻塞:阻塞和非阻塞和调用者等待消息通知时的状态有关。很重要,不要和同步混淆。

阻塞:调用者在等待通知的过程中,不能执行其他业务,傻傻的等待通知到来。

非阻塞:和阻塞相反,调用者可以去执行其他业务。

总结一下:对于Redis的网络请求,Redis会有一个EventLoop,里面有两个数组events,fired。events存放被注册的事件,fired用于存放EventLoop从多路复用器(epoll)中读取到的,将要执行的事件。

异步和非阻塞就反映在这里,注册到多路复用器(epoll)后去做其他事,之后通过主动轮询多路复用器,来逐个取出将要执行的事件,放入fired,逐个执行,这个过程是单线程的,因此不会出现并发问题。

问题三:什么是多路复用?select 、poll、epoll的区别(待解决)

主要问题已经解决,这个问题等我整理好再发出来。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值