技術文章: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日有網友發消息稱微信最新版本可以關閉共同好友點贊提醒了開啟這項功能後,共同好友對你互動過的朋友圈進行點贊或評論時,系統不再推送紅點提醒,但仍可在消息列表中查看,也就是共友互動時就不再通知了。