鑒釋打造核心競爭力
時間:2022-03-23 13:06:01 | 來源:行業(yè)動態(tài)
時間:2022-03-23 13:06:01 來源:行業(yè)動態(tài)
鑒釋創(chuàng)始團隊在編譯器和靜態(tài)分析技術領域擁有數(shù)十年的開發(fā)經驗。鑒釋聯(lián)合創(chuàng)始人兼首席技術官陳新中先生和鑒釋聯(lián)合創(chuàng)始人兼首席架構師劉新銘先生,兩位都是全球編譯器技術領域首屈一指的計算機科學家,并在軟件安全和高級編譯器優(yōu)化方面具有深入的實踐經驗。
鑒釋的的核心優(yōu)勢在于使用最先進的深度編譯器優(yōu)化技術,能夠在代碼被編譯完成前更好地理解應用程序的運行方式,幫助客戶自主制定規(guī)則來分析承載其業(yè)務核心數(shù)據(jù)的軟件代碼。
比如鑒釋在通過編譯器實現(xiàn)C/C 的優(yōu)化,而且是全程序的性能優(yōu)化。而一般的編譯器,包括GCC、LLVM在內是做不到全程序優(yōu)化。鑒釋之所以能夠做到是因為其靜態(tài)掃描所積累的技術,在保證性能的同時確保代碼的絕對安全。
目前,AI也被引入到編譯器中,依靠AI可以通過數(shù)據(jù)統(tǒng)計實現(xiàn)個人代碼編寫行為的歸納總結,避免代碼編寫的錯誤,讓代碼的性能更好。劉新銘表示,雖然有了AI技術,但是代碼審計仍然是保證軟件質量合規(guī)安全的必備流程。特別是軟件組成解耦和有效溝通,解耦和溝通之間是一個微妙的關系,所以審計至關重要。
接下來是各種各樣的測試,特別是在原生的環(huán)境中。測試階段工具非常重要,這也是靜態(tài)分析技術的用武之地。靜態(tài)代碼分析是利用詞法分析、語法分析、抽象語法樹分析以及語義分析等手段,檢查代碼中潛在錯誤的過程。工具與人相互反饋,形成一個非常良性的循環(huán)。一個是制度,一個是工具,這兩者相輔相成。國外的Google、Facebook等公司已經在積極實踐。
劉新銘表示,鑒釋的工作不止是能夠對標國外廠商,更要為中國產業(yè)特有需求大幅創(chuàng)新。我們現(xiàn)在所有的創(chuàng)新基本上我們挑戰(zhàn)所有的工程師,你的工程如果沒有研究的話就沒有價值,所以研究跟開發(fā)是二合一的一個動作。
鑒釋的工程師不光要發(fā)表白皮書,還要申請專利。同時,鑒釋也會把關鍵組件進行開源,與整個產業(yè)界一起合作推動中國自主可控軟件生態(tài)的構建。鑒釋依托團隊打造核心產品,并聯(lián)合合作伙伴一起將他們采用高級語言編寫的程序和庫通過鑒釋的編譯器進行優(yōu)化。
劉新銘說,鑒釋希望把自己的編譯器環(huán)境實現(xiàn)云原生,充分利用中國在互聯(lián)網上的優(yōu)勢,把整個開發(fā)流程放到云端。我們原先最有優(yōu)勢的靜態(tài)掃描可以在每一個代碼提交的過程中幫助開發(fā)者實現(xiàn)代碼優(yōu)化,這樣中國的軟件開發(fā)速度會加速,但是軟件性能跟質量不會因為加速而降低。