【Redis】Redis 高性能IO模型原理

news/2024/10/18 16:53:48/

前言

在面试的时候遇到Redis肯定会问,Redis单线程为什么那么快呀?你可以说下你对IO多路复用的机制嘛。但是仔细一想Redis真的是单线程在运行处理嘛,其实这个单线程主要指的Redis的网络IO和键值对读写是由一个线程来完成的,Redis在处理客户端的请求,包括socket读取、解析、执行、写入socket都由一个顺序串行的主线程处理。但是其他的流程比如说持久化AOF、RDB、集群数据同步等都有别的线程完成。
Redis命令工作线程是单线程的,但是,整个Redis来说,是多线程的;
在这里插入图片描述

Redis为什么用单线程

多线程的开销
程序设计中,一般为了充分利用操作系统底层资源,都需要进行设计多线程编程,但是无脑的使用多线程编程,并不会得到一直较高的系统吞吐率。因为多线程之间存在系统资源的竞争,如果不能合理的设计对共享资源的访问,那么就可能出现串行执行的结果。
在这里插入图片描述
在并发编程领域来说,共享资源竞争问题是必须面对的问题,否则处理不好,可能会导致数据出现紊乱。比如同时操作key1,A线程修改为1,B线程修改为2。如何保证同一时间只有一个线程在处理。并且我们需要维护对共享资源的互斥关系,在程序设计需要去考虑这些问题,因此Redis采用单线程。

单线程为什么快?

一是由于本身在内存中操作,并且利用高效的数据结构哈希表,跳表等。二是由于利用了IO多路服用机制来实现在网络IO中可以并发处理大量的客户端请求。

基本IO模型与阻塞点

如果我们操作的是简单的get key1操作,全流程就是首先监听客户端的请求(bind/listen)、Accept(建立连接)、recv(从socket获取数据)、parse(解析数据)、获取数据之后get,最后发送数据写入socket中。
在这里插入图片描述
但是图中,在accept建立连接和recv\send过程可能出现连接建立被阻塞,或者从socket中获取不到数据。

非阻塞模式

在Socket模型中,不同的操作会返回不同的套接字类型,socket()会返回套接字,接着调用listen()返回监听套接字,然后调用accept()返回已连接套接字。
在这里插入图片描述
当我们调用accept()套接字,如果一直没有请求建立连接,那么不会一直等待,而是返回去操作其他请求。

IO多路复用模型

IO多路复用是指一个线程可以处理多个IO流,Redis在单线程运行的情况下,可以同时监听多个套接字和已连接套接字,一旦有请求到达,Redis线程就可以处理。
FD就是多个套接字,
在这里插入图片描述
上述流程一个线程进行监听套接字,当有对应的套接字发生时,出发对应的事件写入到对应的事件队列中,然后通过对应的事件回调函数进行处理。
但是这里其实也设计到了网络编程中的模型,以及对应的同步、异步、阻塞、非阻塞
BIO、NIO、IO多路复用,对应的select、poll、epoll等由于涉及的东西比较多,这个我在下一篇文章中具体解释下。

小结

本篇主要介绍了Redis为什么执行快,已经引入多线程的存在的问题。最后引入IO多路复用机制。


http://www.ppmy.cn/news/63318.html

相关文章

华为中国合作伙伴大会2023前瞻:哪些信息值得关注?

中小企业的数字化转型升级可以说是时下最热门的议题之一。 根据联合国大会在第五个“中小微企业日”上公布的数据:中小微企业占全球企业总数的90%,为全球提供了60%-70%的就业岗位,并贡献了全球50%的GDP,已然成为世界各地社会的支…

Vue响应式核心

响应式数据&#xff1a;Ref、Reactive <script setup>import { ref, reactive } from vue;// ref 基础类型数据const name ref(高启强);// reactive 引用类型数据object, array, functionconst obj reactive({ name: 高启盛, age: 28,});// ref数据在js中需要使用.va…

flink cdc原理与使用

flink cdc原理与使用 1 cdc 介绍1.1 cdc简介与对比1.2 基于日志的 CDC 方案介绍 2 基于 Flink SQL CDC 的数据同步方案实践2.1 案例 1 : Flink SQL CDC JDBC Connector2.2 案例 2 : CDC Streaming ETL2.3 案例 3 : Streaming Changes to Kafka 3 Flink SQL CDC 的更多应用场景…

node.js 处理路径问题

node.js 处理路径问题 什么是path路径模块 path模块是Node.js官方提供的、用来处理路径的模块。它提供了一系列的方法和属性&#xff0c;用来满足用户对路径的处理需求。 例如&#xff1a; path.join()方法&#xff0c;用来将多个路径片段拼接成一个完整的路径字符串path.ba…

《通过并行蒙特卡洛方法合成桡动脉的光电容积图(PPG),及其与体重指数(BMI)的相关性》阅读笔记

目录 一、论文摘要 二、论文十问 Q1&#xff1a;论文试图解决什么问题&#xff1f; Q2&#xff1a;这是否是一个新的问题&#xff1f; Q3&#xff1a;这篇文章要验证一个什么科学假设&#xff1f; Q4&#xff1a;有哪些相关研究&#xff1f;如何归类&#xff1f;谁是这一课…

VHDL的基本语法(一)

1 VHDL基本结构 1 实体 Entity&#xff1a;描述所设计的系统的外部接口信号&#xff0c;定义电路设计中所有的输入和输出端口 2 结构体 Architecture&#xff1a;描述系统内部的结构和行为 3 包集合 package&#xff1a;存放各设模块能共享的数据类型、常数和子程序等&#xf…

C++11多线程:std::thread创建线程和std::async创建异步任务的区别,std::async创建异步任务后没有被推迟执行。

系列文章目录 文章目录 系列文章目录前言一、thread和async的区别1.1 新线程和异步任务1.2 std::async和std::thread最明显的不同&#xff0c;就是async有时候并不创建新线程。1.3 std::async和std::thread的区别1.4 std::async不确定性问题的解决 二、使用方法2.1 std::async创…

动态规划--01背包问题

01背包问题 背包问题题目最优解结构性质状态转移方程方程理解 递归实现核心思想代码实现用例测试 画表非递归实现核心思路代码实现画表展示 计算哪些物品放入算法思想代码实现 背包问题 题目 0-1背包问题:给定n种物品和一背包。物品的重量是w;,其价值为v; ,背包的容量为C。问…