如何評價中航計算機所研製的天脈操作系統？

01-26

不給源碼，沒有文檔，無法詳細評價，只能從新聞上簡單分析一下。

新聞鏈接：媒體：機載操作系統實現國產航空裝備有了"中國魂"_新聞

首先，這東西肯定不是Linux，也肯定不是Linux的某個變種。

用在航空航天領域的RTOS，要想過認證，需要滿足ARINC 653規範（或者654），不滿足這個規範的操作系統，是不可以在航空航天領域裡使用的。國內的情況不清楚但國外肯定是不行的。

滿足規範的意思不是說API兼容這麼簡單，是需要交給代碼審核機構審核，並通過認證（需要交錢），審核的過程是按代碼行數收費的，價格可能是每行幾美元。所以像Linux這麼龐大的系統，先不說實時性的問題，代碼規模也導致它無法直接通過653規範。

VxWorks有特定的版本是通過653認證的，在波音客機上使用的，這個版本跟通用的VxWorks長的也不太一樣。

關於653的介紹，可以參考這個鏈接：ARINC 653

其次，這東西長的確實很像虛擬機，叫虛擬機也沒問題，可以算是RTOS虛擬機。

653有一套API，叫APEX，負責管理、通信，虛擬機之間是可以通信的。這套API功能可能跟POSIX的差不多，但名字不一樣。按照規範上的說法，這種模型叫做：space and time partitioning in safety-critical avionics real-time operating systems. 上面的虛機叫POS（partition OS）

至於為什麼API要搞成不一樣的，我不清楚，但規範就是規範，不叫這個名字就不符合規範，不符合規範就不能在飛機上用。航空航天領域經常有這種事，比如民航客機如果沒有符合XXX規範，就不允許在歐洲北美飛。

新聞上說的應該是用在C919飛機上，這飛機如果想要賣到歐美市場，就必須滿足相關規範，所以這個操作系統必須要做成這樣的。

再次，這個操作系統可能跟SpaceOS一樣，參考了很多VxWorks的東西。

它號稱兼容VxWorks的API，目的應該是為了打開市場，因為目前這一塊基本上被VxWorks壟斷的。國產操作系統要佔有市場就必須兼容VxWorks API才有戲。

但具體是原創或者借鑒或者抄襲，就不好判定了，因為沒有開放的源碼，沒有文檔。

我好奇的是，這個系統的銷售渠道以及售後支持情況，因為賣軟體的不可能直接賣完就不管了，板子的支持範圍、硬體驅動的支持情況怎麼樣，還有待進一步觀察。

這個只是vxWorks的山寨品，下圖是vxWorks 653的

好像就是封裝的vxworks。第一代是封裝的rtems。

有個東西叫反彙編

之前一直保密的吧。自己做RTOS。。。不容易。

不過有VxWorks的源碼可做參考，理論上是能做出來。

官方的性能對比測試是把天脈1與VxWorks 5.5，天脈2與VxWorks 653對比的

是不是是在RTMES的基礎上改的。。。。。

圖上怎麼看都是vxworks653。竟然連裡面的模塊名字都懶得改。真的是自主創新的么？我表示懷疑。

我來湊湊熱鬧

支持PowerPC、x86系列單核處理器晶元，支持國產SM750晶元，多核處理器的支持正在研發中

這個絕對是吐槽點，這年頭不支持SMT／SMP的OS，一點也不好玩

另外網站介紹及其簡陋，完全看不出東西

筒子們還是繼續搞各自的QNX／SEL4吧