技术文章: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语言协程的代码细节 - 天天要闻

科技分类资讯推荐

全球媒体聚焦丨79%全球专利+80%市场份额!外媒从一场救援看中国无人机产业实力 - 天天要闻

全球媒体聚焦丨79%全球专利+80%市场份额!外媒从一场救援看中国无人机产业实力

近日,一段中国无人机在洪水中成功营救被困人员的短视频在海外社交平台广泛传播,多家国际媒体也竞相报道,并深入探讨中国无人机产业技术发展与创新应用。 《纽约时报》网站截图 据了解,这段短视频中的救援发生在广西柳州三江侗族自治县一村庄。受上游来水影响,这个村子里一些处于低洼地带的房屋被淹。由于水流上涨快,一...
博士天团攻坚激光芯片,拿到3个亿融资 - 天天要闻

博士天团攻坚激光芯片,拿到3个亿融资

记者|鄢子为编辑|陈晓平7月1日,北京飓芯科技对外官宣,完成3亿元B轮融资。飓芯成立于2017年7月,核心团队由多名经验丰富的博士组成,主攻氮化镓激光芯片产业化,实现关键核心器件的自主可控。本轮融资,飓芯获得国家基金、半导体产业方和一线投资机构的认可。3亿融资由深创投制造业转型升级新材料基金(国家制造业转型升...
臻宝科技科创板IPO获受理 系半导体零部件制造商 大基金二期等参投 - 天天要闻

臻宝科技科创板IPO获受理 系半导体零部件制造商 大基金二期等参投

《科创板日报》7月2日讯(记者 黄修眉 实习记者 戴嘉怡) 重庆臻宝科技股份有限公司(下称“臻宝科技”)科创板IPO申请近日获上交所受理,辅导机构为中信证券。臻宝科技是国内少数实现集成电路先进制程设备和高世代、高电压显示面板制造设备非金属零部件多品类供应、规模化量产的企业之一。此次IPO,臻宝科技拟募资13.98亿...
BW2025即将开展,技嘉AORUS雕妹约你3H|3A08 雕宅见 - 天天要闻

BW2025即将开展,技嘉AORUS雕妹约你3H|3A08 雕宅见

史上规模空前的BilibiliWorld2025将于2025年7月11日-13日在上海国家会展中心开展!知名电竞硬件品牌技嘉AORUS已确认参展,为玩家打造游戏盛宴。现场不仅能体验新款硬核电竞装备、畅玩热门游戏大作,参与激烈的1V1对战PK,更有甜辣萌趣的雕妹喊你3H|3A08等你来!多重互动火力全开,带你玩转整个BW,开启今夏最燃电竞狂欢。...
35项服务可跨境办理,“澳政易”自助服务机上线珠海市民服务中心 - 天天要闻

35项服务可跨境办理,“澳政易”自助服务机上线珠海市民服务中心

“十几分钟就办完了,现场的协助人员指导我操作,太方便了!”7月1日上午,澳门居民梁女士来到珠海市民服务中心1号楼3楼的综合服务厅办理业务,在工作人员的帮助下,她在港澳跨境服务自助办理区的“澳政易”自助服务机上很快就办完了身份证明业务。6月30日,广州、珠海、中山、江门四个大湾区城市的政务服务中心正式启用了...
65亿美元芯片收购案,遭美国二次调查 - 天天要闻

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

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

DRAM市场,将创新高

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

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

未来十年,将是晶圆代工业的关键转折期。 这一判断,在近期一组数据中得到了清晰印证。根据 Yole Group 的最新报告,中国大陆有望在 2030 年超越中国台湾,跃居全球最大半导体晶圆代....