异步开发的终极答案—协程

2024-06-21 20:20

本文主要是介绍异步开发的终极答案—协程,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

我们在之前的文章中讲过,在并发场景下,传统的基于多线程的命令式开发模型虽然比较简单,但并发数高了之后资源占用较高,大量线程会阻塞;而响应式编程模式我们可以通过异步化处理提升系统资源的利用效率,但异步开发有违人的直觉,门槛比较高。作为成年人,我们肯定希望全都要呀,那么能实现吗?今天我们就来介绍另一种并发的开发模式—协程

背景知识

在正式介绍协程的定义时,我们还需要先了解一些操作系统的基础知识:

用户态与内核态

在现代的操作系统中,为了有效减少内核资源的访问和冲突,一般会将功能划分为不同的层级,与硬件关系紧密相关的模块(中断处理)以及运行频率较高的模块(时钟,进度调度等),都会将它们常驻内存,这些就构成了通常所谓的OS内核,这样安排主要基于两个目的:

  1. 有效减少内核资源的访问及冲突,提升访问效率
  2. 对这些软件进行保护,防止遭受其他应用程序的破坏

因此OS的运行状态又分为了两种:

  • 内核态:它具有较高的特权,能执行一切指令,访问所有的寄存器和存储区,OS内核都运行在内核态;
  • 用户态:它具有较低特权的执行状态,仅能执行规定的指令,访问指定的寄存器和存储区。一般情况下,应用程序只能在用户态运行。

在这里插入图片描述

用户态的应用程序有时候也需要运行一些敏感操作,比如访问硬件(磁盘,网卡等),创建进程等,这些操作必须要通过一种叫做系统调用的形式去实现,系统调用可以看作是OS内核暴露给用户态应用程序的一些接口和函数,这里不做过多解释。

当用户态应用程序通过系统调用访问内核态的资源时,就涉及到运行上下文的切换,这种切换是有开销的,一般需要几十纳秒到数微秒左右的时间。

N:M线程模型

有了上面的介绍,我们可以再回顾一下我们经常使用的线程的概念,线程其实是为了并发和资源共享从而抽象出来的一种基本的调度单元,那谁来调度和管理线程呢?其实也可以分成两类:

  • 用户线程:由编程语言或者应用程序自行管理和调度,不需要内核的支持,内核也不会感知到,消耗资源非常少。
  • 内核线程:由操作系统创建,管理以及调度,只运行在内核态,资源消耗较大。

但单纯的用户线程没有什么意义,因为从操作系统的视角,只能感知到内核线程,所有的系统的调用和计算也只能通过内核线程才能完成,所以用户线程必须得映射到内核线程。这就是所谓得N:M线程模型,N是用户线程,M是内核线程,Java在1.2版本前是N:1的,即所有的用户线程都会对应到一个内核线程中,这样做线程的操作较快且消耗较低,并且线程数量不受操作系统限制。但缺点也很明显,由于只有一个内核线程,所谓的并发都是伪并发,只有内核线程阻塞了,其上的所有用户线程都会阻塞,更无法发挥多核CPU的优势

在这里插入图片描述

1.2之后的Java版本都是1:1的映射模式,即一个用户线程对应一个内核线程,这样每个线程的创建、调度、销毁都需要内核的支持,每次线程的创建、切换都会设计用户状态/内核状态的切换,性能开销比较大,都能够真正利用多核CPU的能力。

~~1:1图.png~~

线程的调度

为了有效的使用系统资源,确保公平性和及时响应,线程是需要经过调度才能执行的,不然就乱套了。主流的调度算法一般有两种:

  • 抢占式调度: 管理者能在任意时候中断正在运行的任务,并将CPU分配给另一个任务。
  • 协作式调度: 任务在适当的时机主动放弃CPU的控制权,管理者不强制中断任务,调度这个动作是由多个任务主动协作来实现的。

抢占式调度初看起来非常的不讲理,如果某个线程马上就要执行完了确被强迫让出执行权,下次还要等待重新调度才能执行,这样会无端多出很多上下文切换的开销。但如果站在操作系统得视角,就能理解这样得无奈了,因为操作

这篇关于异步开发的终极答案—协程的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1082234

相关文章

Agent开发核心技术解析以及现代Agent架构设计

《Agent开发核心技术解析以及现代Agent架构设计》在人工智能领域,Agent并非一个全新的概念,但在大模型时代,它被赋予了全新的生命力,简单来说,Agent是一个能够自主感知环境、理解任务、制定... 目录一、回归本源:到底什么是Agent?二、核心链路拆解:Agent的"大脑"与"四肢"1. 规划模

Python中4大日志记录库比较的终极PK

《Python中4大日志记录库比较的终极PK》日志记录框架是一种工具,可帮助您标准化应用程序中的日志记录过程,:本文主要介绍Python中4大日志记录库比较的相关资料,文中通过代码介绍的非常详细,... 目录一、logging库1、优点2、缺点二、LogAid库三、Loguru库四、Structlogphp

Python+wxPython开发一个文件属性比对工具

《Python+wxPython开发一个文件属性比对工具》在日常的文件管理工作中,我们经常会遇到同一个文件存在多个版本,或者需要验证备份文件与源文件是否一致,下面我们就来看看如何使用wxPython模... 目录引言项目背景与需求应用场景核心需求运行结果技术选型程序设计界面布局核心功能模块关键代码解析文件大

C++多线程开发环境配置方法

《C++多线程开发环境配置方法》文章详细介绍了如何在Windows上安装MinGW-w64和VSCode,并配置环境变量和编译任务,使用VSCode创建一个C++多线程测试项目,并通过配置tasks.... 目录下载安装 MinGW-w64下载安装VS code创建测试项目配置编译任务创建 tasks.js

Python列表去重的9种方法终极指南

《Python列表去重的9种方法终极指南》在Python开发中,列表去重是一个常见需求,尤其当需要保留元素原始顺序时,本文为大家详细介绍了Python列表去重的9种方法,感兴趣的小伙伴可以了解下... 目录第一章:python列表去重保持顺序方法概述使用字典去重(Python 3.7+)使用集合辅助遍历性能

python协程实现高并发的技术详解

《python协程实现高并发的技术详解》协程是实现高并发的一种非常高效的方式,特别适合处理大量I/O操作的场景,本文我们将简单介绍python协程实现高并发的相关方法,需要的小伙伴可以了解下... 目录核心概念与简单示例高并发实践:网络请求协程如何实现高并发:核心技术协作式多任务与事件循环非阻塞I/O与连接

一文详解Python如何开发游戏

《一文详解Python如何开发游戏》Python是一种非常流行的编程语言,也可以用来开发游戏模组,:本文主要介绍Python如何开发游戏的相关资料,文中通过代码介绍的非常详细,需要的朋友可以参考下... 目录一、python简介二、Python 开发 2D 游戏的优劣势优势缺点三、Python 开发 3D

基于Python开发Windows自动更新控制工具

《基于Python开发Windows自动更新控制工具》在当今数字化时代,操作系统更新已成为计算机维护的重要组成部分,本文介绍一款基于Python和PyQt5的Windows自动更新控制工具,有需要的可... 目录设计原理与技术实现系统架构概述数学建模工具界面完整代码实现技术深度分析多层级控制理论服务层控制注

Python爬虫HTTPS使用requests,httpx,aiohttp实战中的证书异步等问题

《Python爬虫HTTPS使用requests,httpx,aiohttp实战中的证书异步等问题》在爬虫工程里,“HTTPS”是绕不开的话题,HTTPS为传输加密提供保护,同时也给爬虫带来证书校验、... 目录一、核心问题与优先级检查(先问三件事)二、基础示例:requests 与证书处理三、高并发选型:

Java中的分布式系统开发基于 Zookeeper 与 Dubbo 的应用案例解析

《Java中的分布式系统开发基于Zookeeper与Dubbo的应用案例解析》本文将通过实际案例,带你走进基于Zookeeper与Dubbo的分布式系统开发,本文通过实例代码给大家介绍的非常详... 目录Java 中的分布式系统开发基于 Zookeeper 与 Dubbo 的应用案例一、分布式系统中的挑战二