近日，阿里云和北京大學(xué)合作的論文《Automated Verification of an In-Production DNS Authoritative Engine》（DNS 產(chǎn)品級(jí)解析服務(wù)的自動(dòng)化驗(yàn)證）被國(guó)際計(jì)算機(jī)系統(tǒng)頂級(jí)會(huì)議SOSP 2023主會(huì)收錄。論文提出的形式化驗(yàn)證技術(shù)，對(duì)阿里云基礎(chǔ)設(shè)施網(wǎng)絡(luò)的DNS權(quán)威解析服務(wù)進(jìn)行嚴(yán)格檢查，保證其無(wú)代碼bug、正確穩(wěn)定運(yùn)行，這也是世界上第一個(gè)針對(duì)工業(yè)界產(chǎn)品級(jí)DNS 權(quán)威解析進(jìn)行的代碼驗(yàn)證技術(shù)，屬業(yè)界首創(chuàng)。
SOSP，全稱(chēng)ACM Symposium on Operating Systems Principles，是ACM組織在計(jì)算機(jī)系統(tǒng)領(lǐng)域的旗艦型會(huì)議，也是目前國(guó)際計(jì)算機(jī)系統(tǒng)領(lǐng)域的頂級(jí)會(huì)議。SOSP頂會(huì)對(duì)論文的質(zhì)量和數(shù)量要求極高，每年只錄用30-40篇左右正式會(huì)議論文，通常錄取率約19%（今年錄取率是 18.78%），要求投稿方具有基礎(chǔ)性貢獻(xiàn)、領(lǐng)導(dǎo)性影響和堅(jiān)實(shí)的系統(tǒng)背景。
阿里云入選論文主要介紹了云基礎(chǔ)設(shè)施網(wǎng)絡(luò)自研DNS權(quán)威解析的形式化驗(yàn)證工作，該工作對(duì)于提升阿里云DNS產(chǎn)品穩(wěn)定性、正確性具有重要意義。DNS全稱(chēng)Domain Name System，即域名解析系統(tǒng)。它將用戶(hù)輸入的網(wǎng)址（例如：www.example.com）翻譯為網(wǎng)絡(luò)設(shè)備可以讀懂的地址（例如：1.2.3.4），從而引導(dǎo)用戶(hù)連接到正確的網(wǎng)絡(luò)服務(wù)器。DNS系統(tǒng)的正確性和穩(wěn)定性，是網(wǎng)絡(luò)可否成功服務(wù)廣大互聯(lián)網(wǎng)用戶(hù)的先決條件。
針對(duì)解析程序，傳統(tǒng)的測(cè)試技術(shù)只能保證測(cè)試用例部分正確性，并不能完整的、無(wú)死角的確保程序沒(méi)有 bug，阿里云形式化驗(yàn)證工作則實(shí)現(xiàn)了無(wú)死角發(fā)現(xiàn)程序中全部bug，并降低了對(duì)人工輔助的大量依賴(lài)，目前，該驗(yàn)證技術(shù)在業(yè)界已首次實(shí)際應(yīng)用于規(guī)模化部署的產(chǎn)品代碼程序中，并高效完成了2000多行代碼的DNS權(quán)威解析程序的驗(yàn)證，為云上客戶(hù)提供了真實(shí)有力的穩(wěn)定性保障。
論文鏈接參考：https://dl.acm.org/doi/10.1145/3600006.3613153
- 鯤鵬開(kāi)源開(kāi)放創(chuàng)新成效卓著，計(jì)算產(chǎn)業(yè)革新行勝于言
- 浪潮云“分布式智能云”戰(zhàn)略正式發(fā)布 目標(biāo)年內(nèi)分布式智能云節(jié)點(diǎn)破千個(gè)
- IDC：2025年亞太地區(qū)云支出將達(dá)到2500億美元
- 亞馬遜云科技在Amazon Bedrock提供完全托管的DeepSeek-R1模型
- 正受科技與IBM攜手合作，共推制造業(yè)數(shù)智化轉(zhuǎn)型
- 世界第一！阿里云PolarDB登頂全球數(shù)據(jù)庫(kù)性能及性?xún)r(jià)比排行榜
- 阿里官宣巨投3800億：云與AI硬件基礎(chǔ)設(shè)施加速構(gòu)建，人形伴侶機(jī)器人賽道迎新機(jī)遇？
- 數(shù)據(jù)中心管道設(shè)施深度洞察：制冷、效率與可持續(xù)性
- 加速出海！美的與阿里云合作打造海外區(qū)域業(yè)務(wù)數(shù)字底座
- AI服務(wù)器出貨量預(yù)計(jì)2025年增速放緩，市場(chǎng)不確定性增加
免責(zé)聲明：本網(wǎng)站內(nèi)容主要來(lái)自原創(chuàng)、合作伙伴供稿和第三方自媒體作者投稿，凡在本網(wǎng)站出現(xiàn)的信息，均僅供參考。本網(wǎng)站將盡力確保所提供信息的準(zhǔn)確性及可靠性，但不保證有關(guān)資料的準(zhǔn)確性及可靠性，讀者在使用前請(qǐng)進(jìn)一步核實(shí)，并對(duì)任何自主決定的行為負(fù)責(zé)。本網(wǎng)站對(duì)有關(guān)資料所引致的錯(cuò)誤、不確或遺漏，概不負(fù)任何法律責(zé)任。任何單位或個(gè)人認(rèn)為本網(wǎng)站中的網(wǎng)頁(yè)或鏈接內(nèi)容可能涉嫌侵犯其知識(shí)產(chǎn)權(quán)或存在不實(shí)內(nèi)容時(shí)，應(yīng)及時(shí)向本網(wǎng)站提出書(shū)面權(quán)利通知或不實(shí)情況說(shuō)明，并提供身份證明、權(quán)屬證明及詳細(xì)侵權(quán)或不實(shí)情況證明。本網(wǎng)站在收到上述法律文件后，將會(huì)依法盡快聯(lián)系相關(guān)文章源頭核實(shí)，溝通刪除相關(guān)內(nèi)容或斷開(kāi)相關(guān)鏈接。
