技术文章:C语言协程的代码细节

2022年10月08日01:57:07 科技 1901

“协程”(coroutine),就是把Linux epoll异步IO机制通过长跳转(long jmp)封装起来,形成一个在用户看来“连续的”流程。

所有操作系统的异步IO,都分为启动函数回调函数

Linux为例,启动函数负责往epoll框架里添加读写事件。

事件触发之后,再通过回调函数去进行下半部的处理。

整个事件处理过程,与Linux内核里的中断处理差不多。

一个完整的IO流程需要回调好几次,而且读代码时到处查找回调函数哪里设置的

甚至,有的程序员中途修改回调函数的指针[捂脸]

C的函数指针比C++的虚函数“灵活”的地方是,C++的虚函数表在编译时固定了,但C的函数指针可以在运行时修改(它就是个普通变量)。

然后,就真有人半截里修改它,让代码的可读性急剧下降。

再然后,就出现了coroutine,看上去至少是同步的了。

程序流程在一个函数里跳转,就是普通的goto语句

程序流程在2个函数的半截里跳转,就是长跳转(long jmp)。

协程的原理如下:

1,当某个文件描述符需要IO等待的时候,通过长跳转回到epoll的主框架函数,让其他的IO可以运行。

2,当这个文件描述符的IO再次就绪之后,再通过长跳转从主框架函数跳回来,接着上次的位置继续运行:

这个位置,是函数上一次放弃运行的位置,它是函数内的某个点。

技术文章:C语言协程的代码细节 - 天天要闻

在函数的半截里放弃CPU之后还能回来,就需要保存函数的运行上下文:信息、寄存器信息。

保存到哪里?

只能保存到上,因为栈和寄存器都会随着代码的运行而不断地覆盖,只有堆是受用户控制的。

技术文章:C语言协程的代码细节 - 天天要闻

用户测试代码

上图是“用户代码”,虽然两个函数__async_connect()和__async_write()的内部是异步执行的,但它们都在一个函数_async_test()里,整个流程看上去是同步的。

技术文章:C语言协程的代码细节 - 天天要闻

__async_connect()函数,上半部

__async_connect()分为上半部和下半部,以__asm_co_task_yield()为分隔点。

上半部调用异步的connect(),下半部调用getsockopt()读取结果。

为了避免阻塞线程,需要在异步connect()之后让出CPU,让主框架函数可以做别的

这个让出CPU的函数__asm_co_task_yield(),是“协程库”的关键。

它让出了CPU之后,在事件触发之后再次恢复运行:这时函数__asm_co_task_yield()才会返回,然后接着运行下图的代码。

技术文章:C语言协程的代码细节 - 天天要闻

__async_connect()函数,下半部

当异步connect()成功时,getsockopt()获取的错误码err是0。

技术文章:C语言协程的代码细节 - 天天要闻

__async_write()函数

__async_write()函数的流程与__async_connect()类似,也是在文件描述符变得不可写时放弃CPU,等待下次可写时再恢复运行。

技术文章:C语言协程的代码细节 - 天天要闻

epoll主框架函数

epoll的主框架函数是一个while循环:使用epoll_wait()系统调用去监控事件的触发。

它会同时处理IO事件定时器

定时器的精度受限于epoll_wait()的等待时间

技术文章:C语言协程的代码细节 - 天天要闻

epoll主框架函数

__scf_co_task_run(),可以让“协程任务”首次运行,或者再次恢复运行。

技术文章:C语言协程的代码细节 - 天天要闻

_scf_co_task_run()函数

这个函数只是调用了__asm_co_task_run(),具体的长跳转汇编里实现。

因为长跳转涉及到细致的内存控制,只能用汇编实现。

运行结果:

要在本机上用命令nc -vv -l 2000当服务端。

技术文章:C语言协程的代码细节 - 天天要闻

打印的日志,是长跳转时的栈信息的变化

技术文章:C语言协程的代码细节 - 天天要闻

两个汇编函数的大概功能,如下面的3张图。

细节就不说了,这种代码,时间久了连作者都快看不懂了[捂脸]

技术文章:C语言协程的代码细节 - 天天要闻

技术文章:C语言协程的代码细节 - 天天要闻

技术文章:C语言协程的代码细节 - 天天要闻

科技分类资讯推荐

65亿美元芯片收购案,遭美国二次调查 - 天天要闻

65亿美元芯片收购案,遭美国二次调查

本文由半导体产业纵横(ID:ICVIEWS)综合 美国FTC对软银收购Ampere展开深度调查。 据知情人士透露,美国联邦贸易委员会就软银拟收购 Arm 服务器处理器厂商Ampe....
DRAM市场,将创新高 - 天天要闻

DRAM市场,将创新高

本文由半导体产业纵横(ID:ICVIEWS)综合 传统通用型DRAM和服务器高价值DRAM量价齐升双重驱动,2025年DRAM市场有望创新高。 根据CFM最新报告显示,2025年....
国产晶圆代工,市场巨变! - 天天要闻

国产晶圆代工,市场巨变!

未来十年,将是晶圆代工业的关键转折期。 这一判断,在近期一组数据中得到了清晰印证。根据 Yole Group 的最新报告,中国大陆有望在 2030 年超越中国台湾,跃居全球最大半导体晶圆代....
像卖车一样卖机器人?机器人体验店迎来爆发潮 - 天天要闻

像卖车一样卖机器人?机器人体验店迎来爆发潮

变现是目前人形机器人最大的问题。为了提高销量,更快形成社会氛围,拉动人才集中,业内诞生出多个全新思路。其中,集中展示4S店以及比赛,无疑是近期人形机器人行业关注的焦点。本文盘点了近日出现的4S店新模式▍具微科技(机器人4S店)6月30日,杭州迎来全国首家具身智能机器人4S店的开业。这个由具微科技打造的具身智能...
79元,小米刚上架的这服务,真的太爽啦 - 天天要闻

79元,小米刚上架的这服务,真的太爽啦

虽然今天比较受关注的,是小米1999元/月租金的“小米青年公寓”。但机哥还是想提醒一波。手持小米老机型的机友们,要是电池健康度已经掉了很多、又或是觉得手机续航不太够用。可别错过小米今天开启的“七月服务周”活动。活动时间是7月1日10点-7月
“全球Z世代创未来”:“上海·未来城市”全球创意作品征集 - 天天要闻

“全球Z世代创未来”:“上海·未来城市”全球创意作品征集

上海的未来是什么样子?让青年人来说,才算数。无论你来自哪里,带着怎样的故事,都能在这座城市找到属于自己的归属感。只因上海,从来不只是一座城,更是无数梦想的交汇点。用年轻的方式,去看见这座城市的无限可能吧。一则视频,一张照片,一幅插画,甚至是一行代码……你的创意,将成为链接世界的桥梁;你的表达,将定义...
行进中国丨重庆汽车产业向“新”而行 - 天天要闻

行进中国丨重庆汽车产业向“新”而行

这座超级工厂内,1600多台智能终端、3000多台机器人协同运作,实现了焊接过程自动化率100%、喷涂自动化率100%、全自动智能伺服压机线自动化率100%,满产后下线一台车最快仅需30秒。
微信朋友圈有变动!网友:最讨厌的功能终于取消了 - 天天要闻

微信朋友圈有变动!网友:最讨厌的功能终于取消了

1日有网友发消息称微信最新版本可以关闭共同好友点赞提醒了开启这项功能后,共同好友对你互动过的朋友圈进行点赞或评论时,系统不再推送红点提醒,但仍可在消息列表中查看,也就是共友互动时就不再通知了。