2006年的圖靈獎給了IBM終生院士(IBM Fellow Emerita), Frances E. Allen。ACM的官方聲明說Frances因爲在編譯器優化的理論和實踐方面做出的開創性貢獻而獲獎。她的工作奠定了現代優化編譯器和自動並行化執行的基礎。 這裏有IBM研究院牛人的一手八卦。![]()
Frances是IBM歷史上第一位女院士。IBM Fellow是IBM的最高技術職位。當年 Frances本想當一名光榮的人民教師，於是上了阿爾班尼州立師範（Albany State Teacher’s College），又在密西根大學拿了數學碩士學位。臨近畢業，她需要錢償還學生貸款，才加入IBM Watson 研究中心。說到這兒不得不提T.J Watson Jr.高瞻遠矚，建立IBM研究院系統，並大力推進IBM的公平僱傭政策。上世紀50年代，計算機還是公衆眼裏的新鮮事物，還是高校里長發胡子男們的內寵。IBM已經開始用My Fair Ladies這類花哨宣傳材料廣納女牛，只盼桃花過處，競爭對手寸草不生。有興趣的可以讀Watson Jr.的傳記Father, Son & Co。一轉眼，50年過去，Frances帶出一票頂尖研發團隊，開發出衆多優秀大型系統，發表無數經典論文。整個計算機工業界因之改觀。於是2007年，圖靈獎歷史上第一位女英雄誕生。 ![]()
剛進IBM時Frances負責教工程師們使用Fortran。很快她便發現當時的編譯器十分原始，大有值得改進的餘地，於是着手研究編譯器優化。幾年後，IBM推出了世界上第一款Fortran優化編譯器。1970年到1980年間她發表了一系列經典論文。1970年的Control Flow Analysis和A Basis of Program Optimization一舉奠定了基於有向圖的程序優化方法，以及基於區間的優化。1971年的A Catalog of Optimizing Transformations更是當時系統執行優化變換的集大成之作。和衆多老一輩牛人一樣，Frances也是左手理論右手編程的雙料高手。她在領導開發IBM的STRETCH系統時，不僅親手實現了許多她提出的優化算法，還實現了IBM的第一個優化程序的符號調試器。
說Frances深刻影響計算機工業界並非誇張。CSDN老大們多半熟知摩爾定律。不知有多少老大瞭解Proebsting’s Law? 簡單說，就是編譯優化技術讓計算能力每18年翻一番。不錯，單位面積上的晶體管數量每18個月翻倍，隨之帶來硬件性能的高速增長。可是沒有編譯技術幫助我們，強大的硬件性能也不過是我們茶餘飯後的談資而已。動不動就鬧着要用匯編優化程序的老大們也可以洗洗睡了。就憑個人的小腦袋瓜兒，能優化過幾十年來幾代科學家和工程師千錘百煉的算法麼？系統優化早已超越了跟一條兩條機器指令較勁的作坊階段。現代計算機體系對優化的要求也超越了人的進化速度。亂序執行，分支預測，管道優化，緩存優化，自動並行化，基於數據流的全局優化。。。這些技術都需要複雜的分析。現在是改動兩條獨立指令的執行順序都可以對程序性能造成明顯影響的時代了。更不用說基於Strongtalk和JIT的動態優化技術了。就憑人腦幾十萬年的緩慢進化，拼死能同時跟蹤9個變量的能力，呵呵，我們還是和編譯器親密合作的好。當然，如果哪位老大是下面八卦裏的那種人，另當別論：
博弈論的發明人馮.諾依曼智商奇高，習慣於在頭腦裏做複雜計算和推論。一次在公共汽車上，有人認出馮，就請教下面這道題：兩列火車相隔200公里，各以每小時50公里的速度，迎頭對開。一隻蒼蠅從其中一列前端出發，以一小時75公里的速率，在兩列車之間來來回回飛個不停，直到兩車相撞、壓死蒼蠅爲止。蒼蠅飛過的總距離是多少?
據說馮聽了問題後，閉目想了幾秒鐘，給出了正確答案。提問的人自然五體投地，說道，想不到您那麼快就想出了答案。能說一下您的解法麼？於是人肉計算機馮.諾依曼先生無辜地說道：“當然是用無窮級數求和”。
Trackback: http://tb.blog.csdn.net/TrackBack.aspx?PostId=1512490