01

　　宇航級，用不起

　　大家好，我是九天波粒。

　　在航天圈里，有一種器件如貴族般存在：

　　宇航級器件

　　一個二極管只要上天驗證成功，

　　就可以從一個工業(yè)級十八線小明星躍升為

　　宇航級一線大明星，

　　身價可以倍增上百倍甚至上萬倍。

　　以現(xiàn)有載人飛船搭載的星載計算機和控制器舉例，

　　單個控制器價格為500萬人民幣左右，

　　一共14個系統(tǒng)，

　　為了追求高可靠性，

　　每個系統(tǒng)1+1備份，

　　一共28個控制器，

　　成本總計約1.4億人民幣！

　　而SpaceX的龍飛船主控系統(tǒng)的芯片組，

　　僅用了2.6萬人民幣，

　　成本相差5384倍！

　　Elon Musk到底是如何做到的？

　　我們看以下幾條重要的知識點，

　　有可能讓你從攢機工程師，

　　階躍為一個航天工程師。

　　知識點

　　1、 SpaceX 獵鷹九號和龍飛船用的都是Intel雙核的x86處理器；

　　2、 操作系統(tǒng)用的是Linux，還有LabView和Matlab；

　　3、 軟件工程用的是C++，有些時候也用Python；

　　4、 整個主控程序只有幾十萬行代碼。

　　02

　　工業(yè)級器件小屌絲的困境：粒子翻轉(zhuǎn)

　　航天器所有的器件都是特種兵，不是loser，

　　他們要經(jīng)歷很苛刻很苛刻的環(huán)境。

　　首先發(fā)射時要禁得住劇烈的抖動和很高的溫度，

　　才能走出地球。

　　而真正的煉獄在入軌后才剛剛開始，

　　面對太陽面的時候，溫度迅速提升，最高到120°C

　　背離太陽面的時候，溫度驟減，最低到-150°C

　　就這樣90分鐘一圈又一圈，周而復(fù)始，

　　每圈都是270°C的溫差。

　　而對于電子器件來說，溫度不是最難熬的，

　　最難熬的是太空中的輻射，

　　這些輻射有來自地球的召喚：地球磁場

　　也有來自太陽的問候：高能粒子

　　還可能有來自三體文明的問候：

　　其他太陽系以外的粒子。

　　而這些粒子，將引發(fā)電子器件的神經(jīng)紊亂，

　　專業(yè)名詞是：粒子翻轉(zhuǎn)

　　它將很Surprise地告訴星載計算機和星載存儲器

　　“下面將是見證奇跡發(fā)生的一刻！”

　　“我要把1變成0，然后再把0變成1。”

　　有些人問了，多大點事啊，不就差個1嗎？！

　　但是在比特界，差一位就可差之千里。

　　舉個栗子：

　　如果指令20是向上爬升，指令24是停止推進(jìn)，

　　后果是難以想象的。

　　所以如果發(fā)生了1和0不分的情況，

　　整個飛行器的運算結(jié)果曾導(dǎo)致非常大的災(zāi)難。

　　在1996年，阿里安501火箭，

　　雖然沒有粒子翻轉(zhuǎn)，

　　但是系統(tǒng)試圖將一個64位的數(shù)字，

　　放到一個16位的地址里面去，

　　隨即發(fā)生了1/0錯亂的現(xiàn)象。

　　結(jié)果在點火37秒后，

　　火箭開始側(cè)翻，

　　隨之爆炸，

　　因為這個“小”問題，

　　那次發(fā)射損失高達(dá)3.7億美金！

　　回到主題，既然粒子翻轉(zhuǎn)這么恐怖，

　　那SpaceX如何做到發(fā)現(xiàn)問題和解決問題的呢？

　　很簡單：民主決策

　　技術(shù)名詞叫：parity bits

　　同位位元

　　既然判斷不了一個是否翻轉(zhuǎn)，

　　那就多放幾個一樣的設(shè)備，

　　通過比較，把不一樣的結(jié)果給踢出去。

　　03

　　手把手?jǐn)€火箭之硬件選擇

　　上文提到，SpaceX沒有選擇用貴族宇航級器件，

　　而是選擇了經(jīng)典廠牌Intel的X86雙核處理器，

　　京東售價僅478元人民幣

　　（參考價為奔騰系列，賽揚更便宜）：

　　而SpaceX也沒有用雙核做一件事，

　　而是把雙核拆成了兩個單核，

　　分別計算同樣的數(shù)據(jù)。

　　每個系統(tǒng)配置3塊芯片做冗余，

　　也就是6個核做計算。

　　如果其中1個核的數(shù)據(jù)和其他5個核不同，

　　那么主控系統(tǒng)會告訴這個核重新啟動，

　　再把其他5個核的數(shù)據(jù)拷貝給重啟的核，

　　從而達(dá)到數(shù)據(jù)一直同步。

　　周而復(fù)始，不讓一個核掉隊，

　　這是多么寶貴的批評與自我批評的精神??！

　　據(jù)SpaceX前火箭總師John Muratore透露，

　　龍飛船一共有18個系統(tǒng)，

　　每個系統(tǒng)配置了3塊X86芯片，

　　龍飛船一共有54塊。

　　所以龍飛船主控芯片的總價約：

　　2.6萬人民幣，3600美元！

　　而獵鷹九號一共有9個分立式發(fā)動機，

　　每個發(fā)動機配置了3塊X86芯片，

　　加上主控系統(tǒng)配置了3塊，

　　獵鷹九號一共有30塊這樣的芯片。

　　獵鷹九號主控芯片的總價約：

　　1.4萬人民幣，2000美元！

　　我差點砸了手里的X1，

　　是它阻攔了我攢火箭的大計！

　　更讓SpaceX開心的事情，

　　是Intel X86的程序員一抓一大把啊，

　　而專業(yè)宇航級器件的程序用的基本都是特定語言，

　　程序員比元器件還難找。

　　而且硬件工程師壓力也小，

　　X86芯片隨便造，

　　燒壞了？再來1個。不不，再買一打！

　　可是宇航級器件僅僅是測試費，

　　就都夠再買一車X86芯片的。

　　04

　　手把手教你攢火箭之軟件選擇

　　以后遇到會Linux或者C++的程序員，

　　盡管他們發(fā)量稀少了，也一定要保持尊重。

　　因為SpaceX就用的開源Linux寫的操作系統(tǒng)，

　　而Linux用隨便一臺電腦就可以編寫。

　　同樣的，SpaceX程序員最愛的還是C++，

　　用開源的GCC或者GDB做火箭的主控程序，

　　同樣的碼農(nóng)，卻可以秒殺其他C++選手，

　　這就是上天和開源的力量。

　　當(dāng)然，除了這兩個，

　　SpaceX還用LabView，

　　一款圖形化編輯語言，

　　對于火箭程序來講，

　　它更容易實現(xiàn)可視化和流程化，

　　更容易做復(fù)雜的算法設(shè)計和數(shù)據(jù)分析。

　　而更讓波粒感到興奮的是，

　　SpaceX也用Matlab，

　　作為通信工程師，我只能自豪的說，

　　我本科和碩士的通信系統(tǒng)仿真全是用Matlab做的

　　在仿真和矩陣計算上，真的很好用。

　　而且，龍飛船，獵鷹九號，獵鷹重型，

　　分享著同一款代碼，

　　分享著同一類迭代，

　　分享著同一種喜悅，

　　多么的模塊化，

　　多么的互聯(lián)網(wǎng)，

　　簡直給我勇氣再次舉起互聯(lián)網(wǎng)思維的大旗，

　　進(jìn)軍互聯(lián)網(wǎng)+商業(yè)航天的新時代！

　　05

　　大數(shù)據(jù)監(jiān)控和測試

　　2018年，SpaceX一共發(fā)射21次，

　　一個公司占全球發(fā)射數(shù)量約20%，

　　而SpaceX的工程師和分析師，

　　也是全球最幸福的航天軟件工程師，

　　因為他們手里有大量的測試數(shù)據(jù)和實際數(shù)據(jù)，

　　而且他們也被鼓勵用不同的維度，

　　去檢驗飛行器的安全性，

　　形成最新的也最實用的測試程序，

　　從而降低實測成本。

　　同時，Continuous Integration

　　持續(xù)集成也被應(yīng)用在了程序測試上。

　　持續(xù)集成

　　為了配合敏捷開發(fā)（相對于瀑布開發(fā)）的速度和效率而產(chǎn)生的一個用于編譯、測試、發(fā)布、部署的工具。

　　通過這種辦法，

　　可以讓團隊每時每刻在持續(xù)的基礎(chǔ)上，

　　收到反饋并進(jìn)行改進(jìn)，

　　不必等到開發(fā)周期后期才尋找和修復(fù)缺陷。

　　而且火箭程序不同于其他，

　　會進(jìn)行“斷弦式”測試，

　　突然關(guān)閉一臺電腦，

　　來看看發(fā)動機到底有什么反應(yīng)。

　　06

　　總結(jié)

　　航天已經(jīng)經(jīng)歷了60年的歷史，

　　每一次階躍其實都伴隨著各類器件技術(shù)革新，

　　比如：

　　1950年代的晶體管技術(shù)，

　　1970年代的微控制器技術(shù)，

　　1980年代的數(shù)字信號處理技術(shù)，

　　1990年代的高性能存儲技術(shù)，

　　現(xiàn)在，芯片工藝從28nm，16nm，10nm到7nm，

　　工藝的提升也增加了芯片在太空中的抗輻射性能，

　　讓商業(yè)器件在太空中應(yīng)用可行性大大提升！

　　伴隨航天成長的是經(jīng)典的：摩爾定律。

　　但是摩爾定律到現(xiàn)在在地面?zhèn)榷伎焓Я耍?/p>

　　而在航天側(cè)還沒有開始。

　　比如Greg Wyler在2019年1月6號，

　　Twitter的Oneweb的新型相控陣天線，

　　目標(biāo)定價15美金。

　　比如AWS與Lockheed Martin在2018年11月

　　發(fā)布的超小型地面站，

　　可降低地面站80%的成本

　　北京九天微星正在研制

　　200mW衛(wèi)星物聯(lián)網(wǎng)終端模組，

　　目標(biāo)定價5美金。

　　因此，波粒相信，

　　航天缺少的僅僅是大膽的商業(yè)器件驗證，

　　缺少的僅僅是采用MVP快速迭代的環(huán)境，

　　而逐年降低的發(fā)射成本正在迅速降低試驗成本，

　　因此，

　　屬于航天的摩爾定律才剛剛開始！

　　屬于航天的互聯(lián)網(wǎng)思維才剛剛開始！

　　屬于航天的大時代才剛剛開始！

　　PS

　　請尊重你身邊的

　　C++，Linux，Python，Labview，Matlab

　　程序猿

　　他們隨時都有可能上天 : )