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