第76章 想法
到了九月,氣溫還是沒降下來! 陸晨陽看了一個新聞,覺得很有趣,就自己開始研究一下。 新聞?wù)f,第44個梅森素數(shù)被人發(fā)現(xiàn)了,那么多年,居然才發(fā)現(xiàn)了44個,速度有些慢啊! 素數(shù),又稱為質(zhì)數(shù),指的是大于1的整數(shù)中只能被1和自身整除的,素數(shù)已經(jīng)被反證法證明有無窮多個,2、3、5、7、11這些都是素數(shù)。 梅森是位數(shù)學(xué)家,為了紀(jì)念他,把符合2^p-1的形式的稱為梅森數(shù),用mp=2^p-1的形式表達(dá),其中p為素數(shù)。 當(dāng)mp也是素數(shù)的時候,如3、7、31、127,這些滿足表達(dá)式的素數(shù)又稱為梅森素數(shù),在沒有計算機(jī)的時代,靠著個人的計算,當(dāng)數(shù)字變大以后,梅森素數(shù)的發(fā)現(xiàn)變得很困難。 首先最大素數(shù)的發(fā)現(xiàn)和證明就是一件困難的事情,1772年,數(shù)學(xué)家歐拉在數(shù)目失明的情況下靠著心算證明了2147483647是一個素數(shù),進(jìn)而得知它是第八個梅森素數(shù)。 后來數(shù)學(xué)家盧卡斯提出了一個判別mp是否為素數(shù)的定理,稱為盧卡斯定理,并且他證明了m127是素數(shù),這是靠手工發(fā)現(xiàn)的最大素數(shù)。 而有了計算機(jī)以后,可以利用計算機(jī)程序來尋找梅森素數(shù),這之后所有的發(fā)現(xiàn)都離不開計算機(jī),因為隨著指數(shù)p的增大,每一個梅森素數(shù)產(chǎn)生變得更加艱難,梅森素數(shù)m44497是靠著超級計算機(jī)cray1發(fā)現(xiàn)的。 后來,crayxmp、necsx2、crayt94等計算機(jī)的加入促進(jìn)了梅森素數(shù)的發(fā)現(xiàn)。 只是由于使用超級計算機(jī)尋找梅森素數(shù)的代價很昂貴,到了互聯(lián)網(wǎng)時代以后,沃特曼和庫爾沃斯基等人建立了第一個基于互聯(lián)網(wǎng)的分布式計算項目,因特網(wǎng)梅森素數(shù)大搜索——gimps。 你可以在gimps的主頁上下載一個計算梅森素數(shù)的程序,參與到梅森素數(shù)的搜索,通過這種方式,不僅成本降低,而且參與度有很大提升,即便是普通人也可以加入到尋找的行列。 eff在1999年宣布,為通過gimps項目尋找新的更大的梅森素數(shù)而設(shè)立獎金,向第一個找到超過100萬位數(shù)的個人或機(jī)構(gòu)頒發(fā)5萬美金,第一個找到超過1000萬位數(shù)的獎勵10萬美金,第一個找到一億位數(shù)的獎勵15萬美金,超過10億位數(shù)的獎勵25萬美金,任何的發(fā)現(xiàn)者都有3000美金的獎勵。 遺憾的是,到第44個梅森素數(shù)發(fā)現(xiàn)為止,還沒有一個是國人發(fā)現(xiàn)的,關(guān)于梅森素數(shù)分布規(guī)律的研究,只有一個周氏猜想是有關(guān)這方面的,至于具體發(fā)現(xiàn)梅森素數(shù),國人是毫無建樹,這也沒辦法苛責(zé),畢竟知道的人都很少。 而第44個梅森素數(shù)還沒突破一千位,如果能找到第45個,那可不僅是10萬美金的獎勵,這點錢誰在乎,更重要的是名譽(yù)啊,一個留名的機(jī)會。 到了公司后,陸晨陽就把自己看到的新聞?wù)f給公司里的程序員聽,想問問他們能不能利用公司的計算機(jī),在機(jī)器空閑的時候,也能發(fā)揮下余熱,搞一搞看看能不能有所發(fā)現(xiàn),或者是通過發(fā)布一個類似的程序,讓更多人參與進(jìn)來。 對于陸總的突發(fā)奇想,一群人都有些懵比,他們以為陸總找他們又是為了項目的事,這一點對他們來說還在自己預(yù)知的范圍內(nèi),可是當(dāng)陸晨陽開口說數(shù)學(xué)問題,他們就覺得不太正常了,這么不務(wù)正業(yè)嗎? 好在聽了陸晨陽說的事情以后,大家覺得并不是什么超出界限的事,對陸晨陽什么時候變成了數(shù)學(xué)愛好者他們并不關(guān)心,只是在思考利用公司的電腦能有多大的效果。 最好是能發(fā)布個程序,讓有興趣的人都參與進(jìn)來,這個對他們來說才是有些挑戰(zhàn)的東西。 利用分布式計算,讓每一臺安裝了軟件的計算機(jī)的閑置資源得到利用,通過數(shù)據(jù)共享,最終可以解決某些需要海量計算的問題。 梅森素數(shù)也只是數(shù)學(xué)領(lǐng)域的一個問題之一,還有很多類似的問題,如密碼系統(tǒng)、生物病理研究、信號處理等。 在陸晨陽的建議下,一些程序員組成了非正式的小組私底下研究這些問題,而陸晨陽也說,這算是自己和他們之間私人的愛好,陸晨陽不勉強(qiáng)不喜歡的硬加入其中。 于是在吃飯和下班的時候,陸晨陽都會和這些人抽空討論關(guān)于素數(shù)的問題,不知道還以為陸晨陽又在搞什么秘密項目呢! 其實這只是被他當(dāng)做興趣來研究罷了,他還真沒什么計劃,只是打算如果真的國人能夠有新發(fā)現(xiàn),他也拿出10萬來獎勵發(fā)現(xiàn)者。 唯一擔(dān)心的是,可能這些錢他想送也送不出去,這是最遺憾的,希望有聰明才智的讓他破財。 分布式計算的問題,陸晨陽跟員工討論后,卻讓他聯(lián)想到云計算的問題,又想到自己公司在建設(shè)數(shù)據(jù)中心,對于這一塊的市場,現(xiàn)在不知道國內(nèi)有幾個人看得清楚。 這個概念可能還沒人提出來,就更不用說誰懂了,就算過了很多年,也會有人誤把它跟網(wǎng)絡(luò)存儲等混為一談。 實際上,云計算是一種融合的產(chǎn)物,分布式計算、效用計算、網(wǎng)絡(luò)存儲、虛擬化、負(fù)載均衡、熱備份冗余等多種技術(shù)發(fā)展融合的產(chǎn)物。 這是一個大市場,主要是面向企業(yè)的,如果能夠抓住的話,不僅有利于自己公司的擴(kuò)展,而且也能成為公司重要的支柱項目。 但是陸晨陽明白,想要搞自己云計算,難度可比開發(fā)個軟件要大的多,云計算要設(shè)計的有硬件、軟件、管理等各方面的問題,可不是一朝一夕,一年半載就能搞定的。 但是這個東西又怎么能放棄呢,不能等大家都想起來搞的時候你才去跟風(fēng)的搞,不敢第一個上,以后只能一群人打架。 云服務(wù)就是把計算、存儲、網(wǎng)絡(luò)、軟件和服務(wù)融為一體,傳統(tǒng)的方式,企業(yè)需要自己購置機(jī)器、購買帶寬等,而利用云服務(wù),一切都可以精簡,大大簡化了各種過程,制作好的東西,只需要發(fā)布就行了,配置不夠,隨時可以在云端增加。 在別的公司的管理者還不知道云是個什么東西的時候,陸晨陽已經(jīng)開始思索著云服務(wù)的開發(fā)跟應(yīng)用了! 他在等時間,也許公司的事務(wù)忙完,他就要規(guī)劃了,而蘇亦菲的行程安排中,他卻知道,關(guān)于公司總部的規(guī)劃,終于要出來了!