3月21日下午14時38分許，東方航空公司一架波音737-800客機（MU5735航班）執(zhí)行“昆明-廣州”任務(wù)時，在廣西梧州市上空失聯(lián)并墜毀。

據(jù)悉，該機上載有乘客123人、機組人員9人。目前，現(xiàn)場救援、善后處置，以及事故原因調(diào)查等工作仍在緊張進行中。截至發(fā)稿時，尚無權(quán)威機構(gòu)公布相關(guān)傷亡數(shù)據(jù)。

本次空難發(fā)生后，東航目前已將所有波音737-800執(zhí)飛航班的飛機控制在地面，而空中的航班落地后也不再執(zhí)行航班。

▲當?shù)叵谰仍犖榈谝粫r間趕赴現(xiàn)場進行搜救

根據(jù)飛常準APP數(shù)據(jù)顯示，MU5735航班從昆明機場起飛后，一直在約8869米的高度進行巡航，直到當天下午14點19分，飛機突然從巡航高度下降，同時飛行速度從845公里/小時開始下降。然后在14點20分左右，該航班的飛行高度為8869.68米，最后消失于14點22分，高度為1333.5米。

由于飛機是在廣西梧州市附近出現(xiàn)驟降的，曾在兩分鐘內(nèi)極速墜落了8000米，“就像bug”一樣，事故原因不明，因此引發(fā)了網(wǎng)友對于墜機原因的種種猜測：有沒有遭遇極端天氣？是不是操作系統(tǒng)出了問題？

▲東航波音737-800兩分鐘急墜8000米

在事故原因查明之前，小編恰巧在V2EX上看到了有人發(fā)問：飛機上用的是什么操作系統(tǒng)？

根據(jù)V友轉(zhuǎn)自百度知道的答案：

航空軟件其實并不神秘，從計算機架構(gòu)上來說，同普通的計算機系統(tǒng)并無太大區(qū)別，都是由處理器、總線、I/O設(shè)備、存儲設(shè)備、網(wǎng)絡(luò)設(shè)備、通訊設(shè)備、操作系統(tǒng)和應(yīng)用軟件所構(gòu)成的。僅僅是為了滿足很高指標的可靠性、健壯性和實時性，而采用了另一套東西而已。

1、波音-787、AH-64用的操作系統(tǒng)是VxWorks

VxWorks官網(wǎng)：http://www.windriver.com/products/vxworks/

2、B-2、F-16、F-22、F-35、空客-380使用的操作系統(tǒng)均是Integrity-178B

Integrity-178B官網(wǎng)：https://www.ghs.com/products/safety_critical/integrity-do-178b.html

類似波音-787、空客-380、空客-350內(nèi)部設(shè)備之間是使用以太網(wǎng)的一種變體來互聯(lián)的，叫AFDX，在應(yīng)用軟件這一層，同普通的以太網(wǎng)程序沒有任何區(qū)別。

3、過去這些設(shè)備經(jīng)常使用ADA語言來編寫，現(xiàn)在為了降低成本，在F-35項目上已經(jīng)改為使用C++了

F-35項目的C++編程規(guī)范：http://www.stroustrup.com/JSF-AV-rules.pdf

F-35的微處理器是PowerPC指令集的，為了保證可靠性，采用的編譯器也是同普通的編譯器不太一樣。編譯器也是有可能出現(xiàn)bug的，為了保障源代碼同編譯出來的目標代碼完全一致，避免編譯器的bug造成問題，在JSF項目內(nèi)部的軟件開發(fā)中，經(jīng)常使用CompCert編譯器。這個編譯器只能編譯C99，但是可靠性極高。

要知道，近幾年全球范圍內(nèi)飛機失事發(fā)生的次數(shù)不少。據(jù)不完全統(tǒng)計，每年全球大約有4000萬次的飛機起落，而我國的飛機失事率一直處于非常低的水平。此前中國已經(jīng)連續(xù)12年沒有發(fā)生過重大民航事故了，而上一次墜機事故還是發(fā)生在2010年8月24日，河南航空的伊春空難，當時墜毀的機型為ERJ-190。

截至目前，東航墜機已經(jīng)過去24小時了。總體來說，無論大家討論什么因素導(dǎo)致的，都不具有肯定性的說法，包括為什么急速驟降，最后垂直墜落，飛機本身有沒有問題，是不是操作系統(tǒng)出了故障，有沒有遭遇極端天氣影響等等，這一切都是屬于未知數(shù)。

任何空難發(fā)生都是悲劇的，事故真實原因還需要等待官方調(diào)查結(jié)論、依靠黑匣子等來解開謎團。

參考來源：

1. VxWorks官方網(wǎng)站

http://www.windriver.com/products/vxworks/

2. Integrity-178B的官方網(wǎng)站

https://www.ghs.com/products/safety_critical/integrity-do-178b.html

3. 《F-35項目的C++編程規(guī)范》PDF

http://www.stroustrup.com/JSF-AV-rules.pd