隨著數(shù)字經(jīng)濟(jì)的發(fā)展，作為數(shù)字基礎(chǔ)設(shè)施根技術(shù)的操作系統(tǒng)成為數(shù)字變革的關(guān)鍵力量，OpenAtom OpenHarmony（以下簡(jiǎn)稱“OpenHarmony”） 以泛智能終端數(shù)字為底座支撐著千行百業(yè)的產(chǎn)業(yè)生態(tài)。

構(gòu)建開(kāi)源生態(tài)，需要讓開(kāi)發(fā)者先用起來(lái)，本文希望通過(guò)分享 OpenHarmony 的 LiteOS-M 內(nèi)核對(duì)象隊(duì)列的算法詳解，讓大家對(duì)這一算法有更加清晰的認(rèn)識(shí)。

OpenHarmony 當(dāng)前分為以下幾種系統(tǒng)類型：輕量系統(tǒng) 、小型系統(tǒng)、標(biāo)準(zhǔn)系統(tǒng)。針對(duì)不同量級(jí)的系統(tǒng)，分別使用了不同形態(tài)的內(nèi)核。在輕量系統(tǒng)上，可以選擇 LiteOS-M；在小型系統(tǒng)和標(biāo)準(zhǔn)系統(tǒng)上，可以選用 LiteOS-A；在標(biāo)準(zhǔn)系統(tǒng)上，可以選用 Linux。

在輕小型系統(tǒng)中，OpenHarmony 所使用的內(nèi)核為 LiteOS，在標(biāo)準(zhǔn)系統(tǒng)中使用 Linux。LiteOS-M 在面向 loT 領(lǐng)域構(gòu)建了一款輕量級(jí)物聯(lián)網(wǎng)操作系統(tǒng)內(nèi)核，嵌入式從業(yè)者如果能更好地掌握內(nèi)核相關(guān)的知識(shí)，就能在未來(lái)做研發(fā)或者定制產(chǎn)品的時(shí)候獨(dú)當(dāng)一面。

二、關(guān)鍵數(shù)據(jù)結(jié)構(gòu)

首先關(guān)注隊(duì)列的關(guān)鍵數(shù)據(jù)結(jié)構(gòu) LosQueueCB，有了這個(gè)數(shù)據(jù)，才能理解隊(duì)列是如何工作的：

*queue：指向消息節(jié)點(diǎn)內(nèi)存區(qū)域，創(chuàng)建隊(duì)列時(shí)按照消息節(jié)點(diǎn)個(gè)數(shù)乘每個(gè)節(jié)點(diǎn)大小從動(dòng)態(tài)內(nèi)存池中申請(qǐng)一片空間。

queueState：隊(duì)列狀態(tài)，表明隊(duì)列控制塊是否被使用，有 OS_QUEUE_INUSED和OS_QUEUE_UNUSED 兩種狀態(tài)。

queueLen：消息節(jié)點(diǎn)個(gè)數(shù)，表示該消息隊(duì)列最大可存儲(chǔ)多少個(gè)消息。

queueSize：每個(gè)消息節(jié)點(diǎn)大小，表示隊(duì)列每個(gè)消息可存儲(chǔ)信息的大小。

queueID：消息 ID，通過(guò)它來(lái)操作隊(duì)列。

消息節(jié)點(diǎn)按照循環(huán)隊(duì)列的方式訪問(wèn)，隊(duì)列中的每個(gè)節(jié)點(diǎn)以數(shù)組下標(biāo)表示，下面的成員與消息節(jié)點(diǎn)循環(huán)隊(duì)列有關(guān)：

queueHead：循環(huán)隊(duì)列的頭部。

queueTail：循環(huán)隊(duì)列的尾部。

readWriteableCnt[OS_QUEUE_WRITE]：消息節(jié)點(diǎn)循環(huán)隊(duì)列中可寫(xiě)的消息個(gè)數(shù)，為 0 表示循環(huán)隊(duì)列為滿，等于 queueLen 表示循環(huán)隊(duì)列為空。

readWriteableCnt[OS_QUEUE_READ]：消息節(jié)點(diǎn)循環(huán)隊(duì)列中可讀的消息個(gè)數(shù)，為 0 表示循環(huán)隊(duì)列為空，等于 queueLen 表示消息隊(duì)列為滿。

readWriteList[OS_QUEUE_WRITE]：寫(xiě)消息阻塞鏈表，鏈接因消息隊(duì)列滿而無(wú)法寫(xiě)入時(shí)需要掛起的 TASK。

readWriteList[OS_QUEUE_READ]：讀消息阻塞鏈表，鏈接因消息隊(duì)列空而無(wú)法讀取時(shí)需要掛起的 TASK。

memList：申請(qǐng)內(nèi)存塊阻塞鏈表，鏈接因申請(qǐng)某一靜態(tài)內(nèi)存池中的內(nèi)存塊失敗而需要掛起的 TASK。

注意：在老的版本中，readWriteableCnt 和 readWriteList 拆分為 4 個(gè)變量，新版本用宏定義合并，OS_QUEUE_READ 標(biāo)識(shí)是讀操作，OS_QUEUE_WRITE 標(biāo)識(shí)為寫(xiě)操作。從中可看到代碼的微妙之處，0 的含義和 queueLen 對(duì)于讀寫(xiě)是統(tǒng)一的，內(nèi)核開(kāi)發(fā)者不斷使用抽象手段來(lái)優(yōu)化內(nèi)核。

三、關(guān)鍵算法

隊(duì)列的算法和 FIFO、FILO 有關(guān)，今天先給大家介紹 FIFO 算法。

百度定義：FIFO（First Input First Output），即先進(jìn)先出隊(duì)列。例如，在超市購(gòu)物之后我們會(huì)到收銀臺(tái)排隊(duì)結(jié)賬，看著前面的客戶一個(gè)個(gè)離開(kāi)，這就是一種先進(jìn)先出機(jī)制，先排隊(duì)的客戶先行結(jié)賬離開(kāi)。

那么 OpenHarmony 的隊(duì)列如何實(shí)現(xiàn)這個(gè)算法？

3.1 FIFO算法之入隊(duì)列

第一步：隊(duì)列初始化

由于 LOS_QueueCreate 函數(shù)太長(zhǎng)，便只截取關(guān)鍵函數(shù) LOS_QueueCreate。

數(shù)據(jù)結(jié)構(gòu)是支撐算法的靈魂，內(nèi)核對(duì)象的隊(duì)列控制結(jié)構(gòu) LosQueueCB 通過(guò) queue 指針來(lái)指向具體隊(duì)列的內(nèi)容，隊(duì)列分配了 queueLen 個(gè)消息，每個(gè)消息的大小為 queueSize，與此同時(shí)頭指針和尾指針不約而同初始化為 0。

第二步：第一個(gè)消息入隊(duì)列

生產(chǎn)者通過(guò)隊(duì)列來(lái)傳遞信息，這個(gè)生產(chǎn)者可以是形形色色的各個(gè)任務(wù)，產(chǎn)生一個(gè)隊(duì)列后，任務(wù)就迫不及待的需要放置消息，選擇 FIFO 還是 FILO？這一次我們選擇了 FIFO。

下圖是 FIFO 插入第一個(gè)數(shù)據(jù)后的內(nèi)存形態(tài)。

OpenHarmony 作為一個(gè)開(kāi)源系統(tǒng)，在下面的代碼中很好地體現(xiàn)了這個(gè)操作：

OsQueueBufferOperate 是隊(duì)列內(nèi)存的核心操作函數(shù)，F(xiàn)IFO 算法本質(zhì)是往隊(duì)列的尾處添加數(shù)據(jù)，代碼抽象為 OS_QUEUE_WRITE_TAIL 操作，請(qǐng)注意隊(duì)列是個(gè)循環(huán)隊(duì)列，插入數(shù)據(jù)后移動(dòng) tail 這個(gè)“尾巴”指針要尤為小心，在最后一個(gè)物理空間用完成后需要移到隊(duì)列頭部，這就是環(huán)形隊(duì)列的“循環(huán)大法”。

如何判斷最后一個(gè)物理空間已經(jīng)用完？(queueCB->queueTail + 1) == queueCB->queueLen)C 語(yǔ)言語(yǔ)句很好地解釋了這個(gè)疑問(wèn)。queueLen 是隊(duì)列物理空間的邊界值，如果下一個(gè)消息已經(jīng)指到這個(gè)邊界值，那么內(nèi)核必須讓它回到原位，即 queueCB->queueTail = 0，不然可能會(huì)出現(xiàn)“內(nèi)存越界”的問(wèn)題，可能會(huì)造成機(jī)毀物亡。因?yàn)?OpenHarmony 應(yīng)用在各個(gè)領(lǐng)域，如果是自動(dòng)化駕駛領(lǐng)域那么造成的后果非常嚴(yán)重。

第三步：繼續(xù)生產(chǎn)數(shù)據(jù)

接下來(lái)，再來(lái)一些圖片示例：

第四步：生產(chǎn)數(shù)據(jù)結(jié)束

生產(chǎn)者生產(chǎn)了四個(gè)消息后就結(jié)束了。

3.2 FIFO算法之出隊(duì)列

第一步：隊(duì)列第一個(gè)消息

如上圖所示我們回顧下入隊(duì)列的步驟，知道了每個(gè)消息的入隊(duì)順序，于是第一個(gè)消息被消費(fèi)后:

在生產(chǎn)消息過(guò)程中我們已經(jīng)提到 OsQueueBufferOperate 這個(gè)函數(shù)，我們回顧關(guān)鍵代碼：

/*getthequeueposition*/

queueHead 就是我們的頭指針，它的移動(dòng)也面臨著生產(chǎn)過(guò)程相同的問(wèn)題，在最后一個(gè)物理空間用完成后需要移到隊(duì)列的頭部。OS_QUEUE_READ_HEAD 是出隊(duì)列的關(guān)鍵處理，解決了 queueHead 頭指針如何移動(dòng)的問(wèn)題。

第二步：繼續(xù)消費(fèi)

第三步：消費(fèi)完畢

最后一個(gè)消息也消失了，head指針和tail指針均移動(dòng)到下圖的位置，此時(shí)隊(duì)列為空。

四、總結(jié)

本文主要介紹了 OpenHarmony 內(nèi)核對(duì)象隊(duì)列的算法之 FIFO，在后續(xù)的篇章中將給大家介紹內(nèi)核對(duì)象隊(duì)列另外一種算法——FILO。希望通過(guò)這篇文章，可以讓開(kāi)發(fā)者們對(duì)于目前 OpenHarmony LiteOS-M 內(nèi)核隊(duì)列算法有了更全面的概念。

當(dāng)然隊(duì)列算法也不遠(yuǎn)遠(yuǎn)如此，linux 標(biāo)準(zhǔn)內(nèi)核有加權(quán)隊(duì)列等更復(fù)雜的算法。但是“他山之石，可以攻玉”，技術(shù)萬(wàn)變不離其宗，掌握了 FIFO 的細(xì)節(jié)有助于工程師設(shè)計(jì)其它隊(duì)列算法，也能夠把更多更新的技術(shù)帶入到 OpenHarmony 社區(qū)，繁榮開(kāi)源生態(tài)。