sponsored links

超級計算機面臨的太空挑戰

宇宙線簇射產生的快中子會導致超級計算機出現各種嚴重的錯誤。物理學家們透過實驗測定,研究減輕宇宙線影響的方法,同時也能保護自動駕駛和量子計算等方面的安全。

超級計算機面臨的太空挑戰

2013年,一名玩家在任天堂超級馬里奧遊戲中遭遇了一個“不可能發生”的“瞬移”,這個事故透過直播平臺引起了另一名資深玩家關注,他決心解釋發生的事情,甚至向任何能夠重現這一“瞬移”的人提供1000美元的獎勵。很多玩家進行了嘗試,但都徒勞無功。最後他的結論是:定義角色高度位元組中的某一位元位恰好被改寫了,而元兇很可能是來自外太空的電離粒子。2008年10月7日,一架從新加坡飛往澳大利亞的航班在11300m的高度飛行時突然發生俯衝,造成12名乘客嚴重受傷。調查員認為問題源自“單粒子翻轉”(SEU)導致的錯誤資料進入了電子飛行系統。這一次可能也是宇宙射線造成的。而2003年比利時的一場電子投票中,同樣由於SEU導致4096張選票的記錄錯誤。

宇宙線同樣會改寫超級計算機中的資料,並造成系統崩潰。這一點受到了越來越多的關注,特別是今年將誕生E級水平的計算機,每秒計算能力達到百億億次。目前還不清楚宇宙線對E級機會造成多少威脅。但隨著電晶體造得越來越小,翻轉一個位元所需要的能量也越來越低,同時計算機的總表面積卻越來越大,因此資料侵蝕(data corruption)的風險不斷增加。

幸運的是,行業專家正在嚴肅地對待這一挑戰,比如,一項對電子器件進行的所謂“宇宙壓力測試”實驗,就是使用中子束流照射的方式來模擬宇宙線效應。

宇宙線當然不是唯一造成計算機誤差的原因,還有溫度、工藝等問題,不過從第一臺超級計算機Cray-1開始,宇宙線的效應就很明顯,也是由於它恰巧在海拔2300 m的洛斯阿拉莫斯,那裡宇宙線的影響很顯著。它的製造者極不情願地在系統中增加了“校驗位”,這一數位記錄的是所有資料位求和之後的奇偶性,任何數位發生反轉都會造成“校驗失敗”。在最初6個月的執行中,Cray-1記錄下了152次校驗失敗。隨著超級計算機的發展,宇宙線的影響並未消失。2002年,當時世界第二快的計算機ASCIQ同樣在洛斯阿拉莫斯,甚至不能穩定執行一小時,後來的解決方式是在伺服器上加了金屬板,使其穩定時間達到了6小時。

宇宙亂局

宇宙線來源於太陽或者超新星爆發等災變事件,甚至來自我們的銀河系之外。成分主要是高能質子和氦核,以接近光速在宇宙中執行,當這些高能粒子到達地球大氣的時候產生次級的粒子線簇,有中子、π介子和α粒子。能存活到地面附近的主要是中子,尤其是快中子。

每秒鐘都會有上百萬箇中子穿過我們的身體,但只有極低的機率會改變計算機記憶體的數位。當中子穿過晶片時,雖然不會造成物理破壞,但會造成二進位制位數值的波動,有時可能完全看不出來,有時則是災難性的。這有點像人體中DNA受到輻射的後果,取決於突變發生在哪裡,可能造成癌症,但並不絕對。低能的熱中子比原本宇宙線中的能量要低9個量級,它們會與晶片中的硼-10發生碰撞,硼核吸收一箇中子衰變為鋰,並釋放出一個α粒子。

防護測量

採用冗餘設計可以有效降低錯誤的發生,使用兩套甚至三套硬體去存放資料,一旦錯誤發生就會被發現,這在衛星和宇宙飛船上很常見。但對於長期執行的超級計算機來說,太昂貴了。而修建3 m厚的混凝土牆來遮蔽中子也是不現實的,有的計算中心已經被放到地下深處。今天的計算機使用比校驗碼更加複雜的錯誤更正碼(ECC),佔資料量的12%。另外一個重要的革新就是檢查點的使用,它會儲存一些中間的結果,一旦發生錯誤,可以從上一個檢查點續跑。

系統崩潰和資料丟失並不是問題的全部,還有一些不可察覺的錯誤,比如ECC可以發現兩個數位的錯誤,但如果宇宙線造成三個數位的反轉就無能為力了。

加速測試

越來越多商業顯示卡(GPUs)進入高效能計算的領域,它本是設計用於圖形顯示的,但現在這種低能耗高效率的裝置大量進入了超級計算機和自動駕駛汽車領域,如果發生錯誤將可能造成一場災難。

基於ChipIR光束線(圖1),可以檢驗無人汽車中使用的顯示卡發生錯誤的機率。即在暴露於高能中子輻照的硬體裝置上執行一個確定結果的應用。比如,在無人駕駛汽車系統中測試一個預先錄製的影片,看軟體是否能正確地識別出行人。

超級計算機面臨的太空挑戰

圖1 大氣中子束生成器件(ChipIR)示意圖。放置於ISIS裂變源,由盧瑟福阿普爾頓實驗室與義大利國家研究委員會(CNR)合作製造,用於微電子器件的放射性效應和高能中子SEU效應的快速檢驗

當然,在這個實驗中,中子流的強度要比宇宙線強得多,實際上高達地表水平的15億倍。這可以加速實驗的程序,如同把裝置放在真實的環境中上萬年,每小時這個實驗可以造成100次錯誤,由此推算真實環境中的GPU平均每3.2年會出現一次錯誤。看起來機率很低,但是如果在超級計算機上大規模地部署就不一樣了。按照這個錯誤率估計,裝有1800塊GPU的超級計算機平均每15小時就會發生一次錯誤。而對於汽車來說,整個歐盟有2.68億輛,就算其中十分之一在路上,那每小時也會有380個錯誤發生。

規模問題

隨著超級計算機變得越來越大,這個問題愈加嚴重,如果第一臺超級計算機Cray-1有幾個房間那麼大,那麼今天的計算機已經有足球場那麼大了。相應地,也引入了更多的校驗機制。而在自動駕駛領域,究竟何種錯誤會造成致命事故的研究也在進行中。

另一個用來檢驗數值模擬正確性的方法就是透過物理規律本身,比如系統的總能量在模擬中應該守恆之類。另外,使用AI的方法,依據連續的影象來“感知”錯誤的發生。目前這種方法能找到90%的錯誤。比如在氣候模式的模擬中,不斷監控是否有資料突然超出了正常的範圍,一旦發生躍變,可能就是一個錯誤。

量子困境

量子計算在未來可能有著巨大的應用,但宇宙線對它的影響也更大。量子資訊的基本單元是量子位元(qubit),它可以有三個狀態,0,1和混合態,這是它能夠平行計算,能力超過超級計算機的原理所在。量子位元必須是相干的,也就是彼此之間是協同作用的。目前持續最久的相干時間大概為200 μs,而這可能也會受到宇宙線的影響(圖2)。

圖2 未來的障礙:科學家已經開始研究宇宙線是如何導致退相干的,這是量子計算中的嚴重問題

放射性同位素銅-64的半衰期超過12小時,把它放在低溫下帶有超導量子位的3He/4He稀釋製冷機中,幾天之後,放射性變得很低,超導量子位進入量子相干態,再經過幾周的時間,量子位元慢慢地回到基礎水平。也可以使用很重的鉛磚牆來做類似的實驗,每10分鐘就升起然後降下鉛遮蔽,可以看到量子位元穩定性的週期變化。

透過這些實驗可知,在沒有宇宙線和其他輻射環境條件下,量子位元最多可以持續4 ms,大大高於當前的數值。谷歌將在53位元的Sycamore量子處理器上增加鋁膜島。在顆粒狀超導鋁材料上製備的量子位元位於矽襯底上,當受到輻射時,量子位元和襯底之間交換光子,導致退相干,希望這些鋁膜島會優先捕獲這些光子。另一個辦法是使用糾錯碼,谷歌開發了一個棋盤狀的佈局,在“白格”裡放資料量子位元,而“黑格”裡放驗證鄰格正誤的量子位元,這種佈局可以避免量子糾纏帶來的退相干。

在未來的幾年中,來自太空的挑戰將會進一步加劇,如果不能引入更多的技術,那麼宇宙線將有可能是限制超級計算機發展的重要因素,即便晶片尺寸能夠做得越來越小。也許需要更多新的糾錯方法,我們並不需要太過悲觀,相信一定能夠找到解決的方案。

分類: 健身
時間: 2022-01-12

相關文章

減脂乾貨 (一)健身七年的經驗全部給你

減脂乾貨 (一)健身七年的經驗全部給你
已經賣了這麼久的關子,是時候給大家講真的乾貨知識了 首先大橘子先爆一條非常識,對於減脂來講即使不運動,在家躺著,趴著,肆意妄為的葛優癱著,也能瘦. 凹凸有致的小姐姐鎮樓 是不是與你所接收到的理念不符合 ...

內幕!健身房裡教練的亂象

內幕!健身房裡教練的亂象
愛美之心人人有,不止是容貌上的美,保持好身材也尤其重要. 我們經常可以看到某某明星又暴瘦了,身材更好了. 這不,熱播的[披荊斬棘的哥哥]裡的李雲迪為了更加上鏡,直接暴瘦15斤! 在大家吃著小龍蝦.烤腸 ...

4種“沒卵用”的健身行為,其實是在浪費時間

4種“沒卵用”的健身行為,其實是在浪費時間
為什麼擁有相同健身習慣的兩個人, 鍛煉出來的身材效果卻是千差萬別? 你說為什麼別人能夠在短時間內擁有比較完美的身材, 而自己卻增肌速度緩慢, 減脂效果也不如人意? 健身是一門科學的學問, 有非常多細節 ...

健身分化訓練,到底是三分化好還是五分化好?其本質與原理要明白

健身分化訓練,到底是三分化好還是五分化好?其本質與原理要明白
最近,有人在後臺私信問我有關分化訓練的問題:"對於健身訓練來說,尤其是肌肉的增長,到底是採用三分化好?還是五分化好?今天我就從我個人角度來談一談分化訓練,讓你瞭解其中的本質和原理,之後你再去 ...

李若彤,人到五十,堅持健身到底是在堅持什麼?

李若彤,人到五十,堅持健身到底是在堅持什麼?
今天想聊聊李若彤. 最近提起她,總與身材有關.那一身緊實有型的肌肉線條,讓我佩服得五體投地,作為練十分鐘帕梅拉都累得半死不活的本人,太知道要練就這樣一副身材,需要多大的毅力,需要付出多少辛苦. 李若彤 ...

朱亞文:拋棄相戀七年的富家女,轉身愛上陳思誠女友,結局如何?

朱亞文:拋棄相戀七年的富家女,轉身愛上陳思誠女友,結局如何?
沈佳妮總覺得,陳思誠不夠愛她,因為他嘴上說著喜歡她,身邊卻從來不缺美女. 她想要一份純粹的愛情,那個男人眼裡只能有她,只愛她一人.這份愛情朱亞文給她了. 朱亞文有一個相戀9年的富家女,為何還會愛上陳思 ...

你噴他啞鈴沒做對,他說你不會單槓,不同健身流派的差別這麼大?

你噴他啞鈴沒做對,他說你不會單槓,不同健身流派的差別這麼大?
我是茉莉綠茶加寒天. 一個用5個月,成功減掉20斤脂肪的同時又實現增肌目標的徒手健身愛好者. 追求"穿衣顯瘦,脫衣有肉"的精壯型身材一直是我的目標. 如果你現在也是這種體型而遲遲無 ...

堅持健身有什麼用?看看這我74歲的老奶奶,狀態比同齡人好太多

堅持健身有什麼用?看看這我74歲的老奶奶,狀態比同齡人好太多
在年輕的時候擁有一身肌肉令人羨慕,如果能將這份健康持續到老年,那會比同齡人更顯年輕,今天給大家介紹一位來自加拿大的健身奶奶--Michelle MacDonald,肌肉比大多數年輕人都要健碩. 74歲 ...

老兵不死 芮乃偉胡耀宇組合七勝後輩 奪得全運會混雙金牌

老兵不死 芮乃偉胡耀宇組合七勝後輩 奪得全運會混雙金牌
9月18日至20日,第十四屆全國運動會群眾比賽圍棋決賽的混合雙人公開組在安徽合肥打響.經過五輪迴圈賽與四輪淘汰賽,上海隊芮乃偉九段/胡耀宇八段這一"高齡組合"三天內七次擊敗年輕棋手 ...

健身 | 第八套廣播體操,是時候該練起來了(內附具體動作分解)

健身 | 第八套廣播體操,是時候該練起來了(內附具體動作分解)
很多人中老年人都糾結晨起練太極還是八段錦對身體更好,其實我們國家研究出來的第八套廣播體操也是很多人的心血和健身運動的結晶. [原地踏步](8拍×2) 預備姿勢:直立. 左腳開始踏步. 要求及注意事項: ...

七位女星的帥老爸們:楊穎父親顏值爆棚,趙露思父親堪稱少女殺手

七位女星的帥老爸們:楊穎父親顏值爆棚,趙露思父親堪稱少女殺手
#娛樂聚焦#按照老一輩的說法,女兒顏值隨爸,兒子顏值隨媽. 這樣看來,娛樂圈內長得好看的女明星,背後都"藏"著一個帥老爸. 下面一起來看看他們吧. 第一位:趙露思爸爸 透過網劇走紅 ...

身高最有欺騙性的7位女星,看臉是大高個,實際上卻不到1米七

身高最有欺騙性的7位女星,看臉是大高個,實際上卻不到1米七
所謂"高個臉"與"矮個臉",有人看臉感覺不太高,而有人看臉就覺得身形魁偉,得有一米八以上. 但實際上,身高和臉有時候並不對等,像毛不易,乍一看認為他只有一米七出 ...

健身的質量

健身的質量
健身的質量 黃自宏 有人問:每晚做20個俯臥撐能起到健身的作用嗎? 每晚20個俯臥撐,不論是什麼變化型別.即便是負重的,但由於根據時間和強度共同所決定20個俯臥撐,充其量只能算是熱身運動,完全達不到健 ...

41歲張靜初健身影片曝光!小蠻腰肌肉臂好惹眼,腳底襪子卻有破洞

41歲張靜初健身影片曝光!小蠻腰肌肉臂好惹眼,腳底襪子卻有破洞
近日,張靜初在社交平臺分享健身影片.影片中的她素顏露面沒施粉黛,穿一件粉色無袖運動背心,搭配黑色彈力褲,用雙手支撐在彈力球上,鍛鍊腹部的力量. 接著張靜初躺在運動板上舉槓鈴,動作一抬一放很標準,身邊的 ...

《傳聞中的七公主》“雪七”40歲了,看起來像少女一樣,活力滿滿

《傳聞中的七公主》“雪七”40歲了,看起來像少女一樣,活力滿滿
曾經在湖南衛視韓劇大火的時候,幾乎到暑假我們都會看到一部劇<傳聞中的七公主>,這部劇可以說是九零後的童年了.裡面的四個女兒,其中最漂亮的是羅雪七. 正因為雪七這一個角色,讓她的扮演提名了 ...

「臀肌訓練」訓練動作標準的七條學習技能(上)
如果你在動作訓練上有困難,那就應該更努力的投入到動作技術上.有些人在每次訓練時都需要被提醒動作技術,而有些人似乎沒練多久動作技術就很完美:因為練習就是運動,而運動是一種技能:總有些人一學就會,而有些人 ...

「臀肌訓練」達到訓練動作標準的七條學習技能(下)

「臀肌訓練」達到訓練動作標準的七條學習技能(下)
如果你在訓練時,始終達不到一個理想的訓練效果,那麼就應該反思一下訓練動作是否標準,昨天達到訓練動作標準的七條學習技能的前四條,今天繼續把後面的三條分享出來. 5.嘗過不同站姿和姿勢,直至找到最合適的, ...

入秋後女人健身減脂,記得吃10種食物,富含膳食纖維,價格也不高

入秋後女人健身減脂,記得吃10種食物,富含膳食纖維,價格也不高
"空山新雨後,天氣晚來秋",又是一年秋天到,你是否在享受秋風帶來的陣陣涼爽?你是否看到了累累的碩果?你是否胃口大開,在暢快的吃著珍饈佳餚?我想經過幾個月的苦夏,很多人在這個季節食慾 ...

和運動健身誤區say byebye

和運動健身誤區say byebye
為什麼自己管住嘴邁開腿仍然減不下來?為什麼堅持運動體重卻一直沒有變化?其實你可能已經走入了健身減肥的誤區. 以下是常見的幾個健身減肥誤區,你中槍了多少條? 誤區1:體重不變就是沒瘦 有很多妹子都會犯這 ...

慢性病不可“怠慢”,該咋調理?專家建議“三分治,七分養”

慢性病不可“怠慢”,該咋調理?專家建議“三分治,七分養”
作者:衣曉峰 有統計數字表明,至2019年,我國慢性病患病率已高達23%,慢性病患者遠遠超出了3億人.據黑龍江省康復醫學會慢性病中醫康復專業委員會主任委員.黑龍江中醫藥大學學術理論研究部教授馬豔春介紹 ...