英特爾與學(xué)院的研究人員合作開(kāi)發(fā)了一種自動(dòng)引擎

英特爾科學(xué)家表示，他們與麻省理工學(xué)院和佐治亞理工學(xué)院的研究人員合作開(kāi)發(fā)了一種自動(dòng)引擎-機(jī)器推斷代碼相似性(MISIM)，該引擎可以確定兩段代碼何時(shí)執(zhí)行相似的任務(wù)，即使它們使用不同的結(jié)構(gòu)和算法。從表面上看，MISIM的性能要比當(dāng)前最先進(jìn)的系統(tǒng)高40倍，顯示出從代碼推薦到自動(dòng)錯(cuò)誤修復(fù)的應(yīng)用前景。

隨著異構(gòu)計(jì)算(即使用多個(gè)處理器的系統(tǒng))的興起，軟件平臺(tái)變得越來(lái)越復(fù)雜。機(jī)器編程(由英特爾實(shí)驗(yàn)室和麻省理工學(xué)院創(chuàng)造的術(shù)語(yǔ))旨在通過(guò)自動(dòng)化的，由AI驅(qū)動(dòng)的工具來(lái)解決這一問(wèn)題。關(guān)鍵技術(shù)是代碼相似性，或者是試圖確定兩個(gè)代碼片段是否顯示相似特征或?qū)崿F(xiàn)相似目標(biāo)的系統(tǒng)。然而，建立精確的代碼相似性系統(tǒng)是一個(gè)相對(duì)未解決的問(wèn)題。

MISIM之所以起作用，是因?yàn)樗哂行路f的上下文感知語(yǔ)義結(jié)構(gòu)(CASS)，該結(jié)構(gòu)使用AI和機(jī)器學(xué)習(xí)算法來(lái)確定給定源代碼的目的。一旦將代碼的結(jié)構(gòu)與CASS集成在一起，算法就會(huì)根據(jù)代碼要執(zhí)行的工作分配相似性分?jǐn)?shù)。如果兩個(gè)代碼看起來(lái)不同但執(zhí)行相同的功能，則模型會(huì)將它們?cè)u(píng)為相似，反之亦然。

可以將CASS配置為特定的上下文，使其能夠捕獲更高級(jí)別描述代碼的信息。而且它可以在不使用編譯器的情況下對(duì)代碼進(jìn)行評(píng)級(jí)，該程序?qū)⑷祟?lèi)可讀的源代碼轉(zhuǎn)換為計(jì)算機(jī)可執(zhí)行的機(jī)器代碼。英特爾稱(chēng)，這賦予了可用性優(yōu)勢(shì)，允許開(kāi)發(fā)人員在不完整的代碼片段上執(zhí)行。

英特爾表示，它正在擴(kuò)展MISIM的功能集，并將其從研究階段轉(zhuǎn)移到演示階段，目的是創(chuàng)建一個(gè)代碼推薦引擎，以協(xié)助內(nèi)部和外部研究人員對(duì)其架構(gòu)進(jìn)行編程。所提出的系統(tǒng)將能夠識(shí)別算法背后的意圖，并提供語(yǔ)義上相似但性能有所提高的候選代碼。

這可以為雇主省去一些麻煩-更不用說(shuō)幫助開(kāi)發(fā)人員自己了。根據(jù)劍橋大學(xué)法官商學(xué)院的一項(xiàng)研究，程序員花費(fèi)50.1%的工作時(shí)間不進(jìn)行編程，而將其編程時(shí)間的一半用于調(diào)試。估計(jì)每年的調(diào)試總費(fèi)用為3120億美元。像MISIM這樣的以AI為動(dòng)力的代碼建議和審查工具有望大幅削減開(kāi)發(fā)成本，同時(shí)使編碼人員能夠?qū)Ｗ⒂诟邉?chuàng)造性，減少重復(fù)性的任務(wù)。

“如果我們?cè)跈C(jī)器編程方面取得成功，最終目標(biāo)之一就是使全球人口能夠創(chuàng)建軟件，”英特爾實(shí)驗(yàn)室首席科學(xué)家兼機(jī)器編程研究總監(jiān)賈斯汀·戈茨利希(Justin Gottschlich)在上一次采訪中對(duì)VentureBeat表示。“您要做的關(guān)鍵事情之一是使人們能夠簡(jiǎn)單地指定他們要表達(dá)或試圖構(gòu)建的內(nèi)容的意圖。一旦理解了意圖，就可以通過(guò)機(jī)器編程來(lái)處理軟件的創(chuàng)建，即實(shí)際的編程。”