［導讀］ 前面寫了些文章分享C語言面向對象設計的一些個人體會，個人認為RT-Thread內核對于面向對象實現思想是一個非常好的設計。向這些在基礎軟件上深耕的國人大牛們致敬。本文基于學習RT-Thread內核設計的初衷，來分享一下個人對于其內核對象子系統設計的理解與體會。在此，也給各位RT-Thread原創大牛們打call，分享本文也期望有更多的盆友去學習并使用RT_Thread。

RT-Tread內核架構RT-Thread，全稱是 Real Time-Thread，顧名思義，它是一個嵌入式實時多線程操作系統，基本屬性之一是支持多任務，允許多個任務同時運行并不意味著處理器在同一時刻真地執行了多個任務。其內核架構如下圖所示：

RT-Thread 內核及底層結構

對于各部分的功能，這里不做展開描述。RT-Tread內核吸引我的方面：

代碼優雅、可讀性非常高

體積小巧、代碼類Linux風格，可裁剪

社區活躍，國人自主開發，用戶越來越多

優秀的設計，對于面向對象設計思想可以說是非常優秀的實踐

主要定位于物聯網應用，各種組件豐富，融合的也很好。

所以如果是RTOS應用或者開發從業者，面對這么優秀且比較容易深入學習的內核，如果不去好好讀讀，實在有點可惜。要去體會RT-Thread對象設計思想，從其對內核對象object的管理入手，不失為一個非常好的切入點。

什么是RT-Thread內核對象管理？RT-Thread 采用內核對象管理系統來訪問 / 管理所有內核對象，內核對象包含了內核中絕大部分設施，這些內核對象既可以是靜態分配的靜態對象，也可以是從系統內存堆中分配的動態對象。通過這種內核對象的設計方式，RT-Thread 做到了不依賴于具體的內存分配方式，系統的靈活性得到極大的提高。

RT-Thread 內核對象包括：線程，信號量，互斥量，事件，郵箱，消息隊列和定時器，內存池，設備驅動等。對象容器中包含了每類內核對象的信息，包括對象類型，大小等。對象容器給每類內核對象分配了一個鏈表，所有的內核對象都被鏈接到該鏈表上，如圖 RT-Thread 的內核對象容器及鏈表如下圖所示：

RT-Thread 的內核對象容器及鏈表

這個集中管理的內核對象容器在內存的開銷方面代價很小，但卻具有高度的靈活性，從設計的角度看其代碼也非常利于擴展，增加新的內核對象類別，以及對于相應的內核對象功能的裁剪適配。

內核對象主要干什么？RT-Thread內核對象子系統其主體實現代碼為object.c，本文嘗試從整體到局部來嘗試解讀其設計思想。object.c這個子系統從外部以黑盒的角度看，就個人理解主要實現了這樣些用例需求：

所以個人理解內核對象管理器，主要是為其他內核功能模塊提供數據管理支撐，屬于內核底層支持功能組件，并從設計上兼顧了可擴展、可裁剪的需求。

怎么實現的呢？RT-Thread內核對象子系統其主要核心數據結構如下：

其中rt_object_class_type枚舉定義內核對象類別：

enum rt_object_class_type{ RT_Object_Class_Null = 0， /* 未使用 */ RT_Object_Class_Thread， /* thread對象 */ RT_Object_Class_Semaphore， /* semaphore對象 */ RT_Object_Class_Mutex， /* mutex對象 */ RT_Object_Class_Event， /* event對象 */ RT_Object_Class_MailBox， /* mail box對象 */ RT_Object_Class_MessageQueue， /* message queue */ RT_Object_Class_MemHeap， /* memory heap */ RT_Object_Class_MemPool， /* memory pool */ RT_Object_Class_Device， /* device對象 */ RT_Object_Class_Timer， /* timer對象 */ RT_Object_Class_Module， /* module */ RT_Object_Class_Unknown， /* unknown */ RT_Object_Class_Static = 0x80 /*8位類型變量高位置1表示靜態對象 */};

而rt_object_information則抽象了對象類型，加入了一個雙向鏈表指針數據域rt_list_node，從而將同類別的內核對象利用該雙鏈指針鏈接起來，這些同類別的內核對象具有如下可能的特點：

可能在軟件運行時生成，也可能在os初始化創建。

其存儲類型可能為靜態類型，也可能為動態類型（所謂動態類型這里是確指在內核堆上動態申請的內存區域用于存儲相應的內核對象）。

在內存空間中，其位置并不連續。

如此以來，將這些內核對象在空間上不連續的變量，利用鏈表形成了可統一管理、可增可刪、可檢索的邏輯結構。

而rt_object_container內核容器，其本質是一個內核對象索引表，主要集中管理了下面的信息：

enum rt_object_class_type type：內核對象類別，每項表記錄條目的類別

rt_list_t object_list：每類對象鏈表的頭結點的鏈表指針數據域

rt_size_t object_size：該類個體的大小

利用宏將相應的鏈表進行選編譯，在內核關鍵數據進行了裁剪管理。而對于內核本身的擴展性而言，如果需要增加新的內核功能，可以方便的增加新的內核對象類，并能方便的加入到這個內核對象容器中，利用公共的對外接口，實現統一管理，而不必對數據管理層進行額外的接口設計。

實現了哪些對外接口呢？有了這樣一個優雅的數據結構設計，那么基于這樣一個數據結構設計，相應就很容易實現其內核對象集中管理的對外服務接口，那么其主要的服務接口有哪些呢？

其中一部分主要接口實現對象的增加刪除檢索等，這里以rt_object_init接口為例，來簡要分析一下其實現：

void rt_object_init（struct rt_object *object， enum rt_object_class_type type， const char *name）{ register rt_base_t temp; struct rt_list_node *node = RT_NULL; struct rt_object_information *information;#ifdef RT_USING_MODULE struct rt_dlmodule *module = dlmodule_self（）;#endif /*1. 在容器中找到這是什么對象類*/ information = rt_object_get_information（type）; RT_ASSERT（information ！= RT_NULL）; /* check object type to avoid re-initialization */ /* 進入臨界區保護 */ rt_enter_critical（）; /* try to find object */ for （node = information-》object_list.next; node ！= &（information-》object_list）; node = node-》next） { struct rt_object *obj; obj = rt_list_entry（node， struct rt_object， list）; if （obj） /* skip warning when disable debug */ { RT_ASSERT（obj ！= object）; } } /* 離開臨界區 */ rt_exit_critical（）; /* 初始化對象參數，并置為靜態標記 */ object-》type = type | RT_Object_Class_Static; rt_strncpy（object-》name， name， RT_NAME_MAX）; RT_OBJECT_HOOK_CALL（rt_object_attach_hook， （object））; /* 禁止硬件中斷 */ temp = rt_hw_interrupt_disable（）;#ifdef RT_USING_MODULE if （module） { rt_list_insert_after（&（module-》object_list）， &（object-》list））; object-》module_id = （void *）module; } else#endif { /* 對象插入容器中相應對象分支鏈連 */ rt_list_insert_after（&（information-》object_list）， &（object-》list））; } /* 開硬件中斷 */ rt_hw_interrupt_enable（temp）;}

對于內核對象增加刪除其主要就是利用內核容器首先檢索到鏈表頭結點，然后再進一步做雙向鏈表的基本操作，這里對于具體如何操作鏈表就不做展開贅述了。

對于內核對象相關數據域的檢索、查詢有了明確的數據結構，以及能檢索到結點鏈表指針，由于結點鏈表指針與相應內核對象各數據域具有確定的相對位置關系，所以檢索而言是非常易于實現的。

而對于動態內核對象而言，其差異在于內核對象本身是動態申請的，這里需要注意的是向內核堆申請的，而不是C堆申請的，至于什么是內核堆，以及為什么要設計內核堆，之前有寫過一篇文章分享，有興趣可以去看看。

內核對象有什么相互繼承關系？RT-Thread管網上給出了這樣一個相互關系圖：

RT-Thread 內核對象繼承關系

如果不去具體看相應數據結構，或許不易理解為啥有這樣一張圖。這里以上圖中其中幾個內核對象來***其相互關系：

或許有盆友會問，為啥rt_thread對象中明明沒有直接包含rt_object，那為啥說rt_thread也是繼承自rt_object呢？如果你細看看上圖rt_thread中紅框框出來的數據域就恍然大悟了，即便沒有直接包含，但在內存中框里的內容就是rt_object的數據內容，所以利用指針轉換就可以方便訪問了，至于為什么是這樣？我想可能是歷史原因吧？所以rt_thread結構體前面幾個數據域的位置是不可以修改的。這里還有盆友可能會問為什么ipc線程通信相關內核對象需要單獨拎出來一個父結構體呢？我想應該是此類具有相同的一些共性，具有一些類似的特點。這也是對象設計提取共性進而抽象封裝的一個體現。

總結一下本文大致學習總結了一下RT-Thread內核對象子系統的設計思路的理解，從這里個人總結了一些啟示：

軟件是數據結構+算法，而良好的數據結構設計是優雅算法的基礎，所以在工程開發中，如何設計好的數據結構抽象是一個可以深入挖掘的話題

RT-Thread的內核對象設計個人認為非常易于理解，也是一個最佳實踐。如有興趣可以細細體會，多多揣摩。

責任編輯：haq