Redis如何保证原子性

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

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

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

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

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

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

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

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

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

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

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

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

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

我没有阅读源码,参考下面文章Redis 网络架构及单线程模型

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

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

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

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

    原文作者:王蜥蜴
    原文地址: https://www.jianshu.com/p/f42d5f5c495b
    本文转自网络文章,转载此文章仅为分享知识,如有侵权,请联系博主进行删除。
点赞