亚洲精品,日韩av,亚洲国产一区二区三区亚瑟,玩弄寡妇丰满肉体,香蕉久久夜色精品升级完成,亚洲av无码成人精品区一区

  • 助力產(chǎn)業(yè)數(shù)字化 推動(dòng)數(shù)字產(chǎn)業(yè)化

阿里云DNS形式化驗(yàn)證論文入選國(guó)際計(jì)算機(jī)系統(tǒng)頂級(jí)會(huì)議SOSP’23

   時(shí)間：2023-10-27 20:37 來(lái)源：網(wǎng)界科技

近日，阿里云和北京大學(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，全稱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全稱Domain Name System，即域名解析系統(tǒng)。它將用戶輸入的網(wǎng)址(例如：www.example.com)翻譯為網(wǎng)絡(luò)設(shè)備可以讀懂的地址(例如：1.2.3.4)，從而引導(dǎo)用戶連接到正確的網(wǎng)絡(luò)服務(wù)器。DNS系統(tǒng)的正確性和穩(wěn)定性，是網(wǎng)絡(luò)可否成功服務(wù)廣大互聯(lián)網(wǎng)用戶的先決條件。

針對(duì)解析程序，傳統(tǒng)的測(cè)試技術(shù)只能保證測(cè)試用例部分正確性，并不能完整的、無(wú)死角的確保程序沒(méi)有 bug，阿里云形式化驗(yàn)證工作則實(shí)現(xiàn)了無(wú)死角發(fā)現(xiàn)程序中全部bug，并降低了對(duì)人工輔助的大量依賴，目前，該驗(yàn)證技術(shù)在業(yè)界已首次實(shí)際應(yīng)用于規(guī)?；渴鸬漠a(chǎn)品代碼程序中，并高效完成了2000多行代碼的DNS權(quán)威解析程序的驗(yàn)證，為云上客戶提供了真實(shí)有力的穩(wěn)定性保障。

論文鏈接參考：https://dl.acm.org/doi/10.1145/3600006.3613153

 
 
更多>同類內(nèi)容
“大家醒醒吧，字節(jié)去年2萬(wàn)億的GMV卻收了4000億的廣告費(fèi)!”名創(chuàng)優(yōu)品創(chuàng)始人葉國(guó)富朋友圈貼臉開(kāi)大抖音，聽(tīng)起來(lái)很有煽動(dòng)力。葉國(guó)富引用的視頻博主稱，“抖音環(huán)境的惡化是大品牌、小品牌、白牌，大達(dá)人、小達(dá)人，一個(gè)都不放過(guò)”。此外，該博主還表示，抖音電商激進(jìn)的流量貨
11-29
內(nèi)容 視頻來(lái)源：青島市疾病預(yù)防控制中心青島市預(yù)防醫(yī)學(xué)研究院青島市衛(wèi)生健康大數(shù)據(jù)中心
11-28
大模型與AI浪潮正撲面而來(lái)!AIPC和快速涌現(xiàn)的AI應(yīng)用正在不斷刷新我們的工作與生活方式。中國(guó)軟件網(wǎng)重磅推出的《非凡AI體驗(yàn)》系列體驗(yàn)故事，就是致力于探索那些將AI技術(shù)巧妙融入日常生活的優(yōu)秀應(yīng)用與智能終端絕佳組合。我們將逐一體驗(yàn)各種特色AIPC及其配套的AI應(yīng)用。不僅
11-07
賈躍亭IP公司“成長(zhǎng)吧、奮斗者”公司(簡(jiǎn)稱奮斗者)將迎來(lái)一位超級(jí)主播?10月29日，據(jù)FF官方社交賬號(hào)透露，國(guó)際超模Suede Brooks和美國(guó)著名超模經(jīng)紀(jì)人Paul Fisher日前來(lái)到FF公司美國(guó)總部，深度體驗(yàn)FF 91 2.0后贊不絕口，表示有意成為FF共創(chuàng)官的同時(shí)，與賈躍亭個(gè)人IP化公司
10-29
史上“最長(zhǎng)”雙11火熱進(jìn)行中，美妝江湖激戰(zhàn)正酣。隨著國(guó)潮崛起，近兩年，各電商平臺(tái)上的國(guó)貨美妝品牌和國(guó)際品牌呈現(xiàn)平分秋色之勢(shì)，前者增長(zhǎng)勢(shì)頭尤為迅猛。不過(guò)，從今年雙11初期數(shù)據(jù)來(lái)看，一些國(guó)際彩妝品牌已借助以抖音電商為代表的全域興趣電商平臺(tái)找到了新的生意增長(zhǎng)點(diǎn)
10-25
10月20日，“抖音商城雙11好物節(jié)”服飾品類日期間，抖音電商服飾行業(yè)推出“百大紅人上新啦”活動(dòng)，為用戶帶來(lái)應(yīng)季潮流趨勢(shì)新品。截至10月23日，服飾產(chǎn)業(yè)帶、設(shè)計(jì)師、紅人店鋪首發(fā)上新近5000款商品，超8萬(wàn)名達(dá)人參與帶貨，超18萬(wàn)個(gè)商家實(shí)現(xiàn)生意增長(zhǎng)，超270萬(wàn)款商品熱銷。
10-25
10月9日，F(xiàn)araday Future(FF)公司創(chuàng)始人賈躍亭與全球10多位“奮斗者英雄聯(lián)盟”合伙人組成的全球IP商業(yè)化公司——“成長(zhǎng)吧!奮斗者” (Grow Fandor)日前在美國(guó)和中國(guó)正式注冊(cè)成立，正式開(kāi)啟了包括全球IP合伙人、供應(yīng)鏈合伙人在內(nèi)的全球合伙人招募，這標(biāo)志著在幾個(gè)月的籌備
10-09
9月25日，國(guó)際權(quán)威評(píng)測(cè)機(jī)構(gòu)沙利文聯(lián)合頭豹研究院發(fā)布《2024年AI代碼生成市場(chǎng)觀測(cè)報(bào)告-里程碑》年度報(bào)告，從十個(gè)維度對(duì)百度、阿里、騰訊、科大訊飛、商湯、智譜AI等六家中國(guó)AI代碼生成廠商進(jìn)行了綜合競(jìng)爭(zhēng)力表現(xiàn)評(píng)估。結(jié)果顯示，百度文心快碼Baidu Comate在技術(shù)底蘊(yùn)、應(yīng)用
09-26
9月25日，2024開(kāi)放原子開(kāi)源生態(tài)大會(huì)在北京舉行。工業(yè)和信息化部黨組書(shū)記、部長(zhǎng)金壯龍，北京市委副書(shū)記、市長(zhǎng)殷勇出席大會(huì)并致辭。工業(yè)和信息化部總經(jīng)濟(jì)師高東升出席大會(huì)。金壯龍指出，黨中央、國(guó)務(wù)院高度重視開(kāi)源體系建設(shè)，國(guó)家軟件發(fā)展戰(zhàn)略和“十四五”規(guī)劃綱要作出重
09-25
北京時(shí)間9月20日(洛杉磯時(shí)間9月19日)，總部位于美國(guó)加州的全球共享智能電動(dòng)出行生態(tài)公司Faraday Future(納斯達(dá)克：FFIE、簡(jiǎn)稱FF)今天宣布，公司推出第二品牌Faraday X(簡(jiǎn)稱FX)，并推出兩款A(yù)IEV車型FX 5、FX6。此外，F(xiàn)F還宣布與國(guó)內(nèi)4家主機(jī)廠簽署合作協(xié)議或MOU，以成為全
09-20
在《魔獸世界》國(guó)服重啟的輝煌篇章中，阿里云的技術(shù)實(shí)力不僅為艾澤拉斯大陸注入了新的活力，更為玩家?guī)?lái)了前所未有的游戲體驗(yàn)。這標(biāo)志著技術(shù)與游戲的深度融合，開(kāi)啟了一段全新的冒險(xiǎn)旅程。云端的心臟： 阿里云ECS云服務(wù)器g8a機(jī)型，以其AMD第四代處理器Genoa的強(qiáng)大性能
09-09
8月30日，記者獲悉，通義網(wǎng)頁(yè)版上線“PPT創(chuàng)作”功能，具備言之有物、設(shè)計(jì)精美、智能編排三大核心特點(diǎn)。PPT創(chuàng)作功能完全免費(fèi)，基于通義大模型打造，由通義實(shí)驗(yàn)室全鏈路自研，極大地簡(jiǎn)化了PPT制作過(guò)程，讓創(chuàng)意表達(dá)更簡(jiǎn)捷。此外，在通義網(wǎng)頁(yè)版，音視頻轉(zhuǎn)文字產(chǎn)品“通義聽(tīng)悟
08-30
當(dāng)下，“流量至上”成了一些人“一夜成名”“一夜暴富”的致富經(jīng)。在他們眼里，流量就是衡量一切的標(biāo)準(zhǔn)，只要能吸引到流量，就是王道，流量靠“刷”，人設(shè)靠“造”，評(píng)論靠“控”，口碑靠“編”。粉絲經(jīng)濟(jì)時(shí)代，只要你擁有了龐大的粉絲，就能帶來(lái)巨大的流量和超強(qiáng)的變現(xiàn)
08-24
8月22日，F(xiàn)araday Future(FF)股價(jià)一夜暴漲124%，這是繼8月21日股價(jià)上漲19.67%后的再次大漲。公司創(chuàng)始人賈躍亭在圓石灘車展表示，公司將在9月18日橋梁戰(zhàn)略暨第二品牌戰(zhàn)略發(fā)布會(huì)(簡(jiǎn)稱919發(fā)布會(huì))上公布國(guó)內(nèi)多家主機(jī)廠及全球供應(yīng)商名單，華爾街分析師稱此次上漲或與此緊密相
08-23
當(dāng)再一次面對(duì)所謂大V憑空捏造謠言，抹黑聯(lián)想，制造輿論場(chǎng)對(duì)立情緒的時(shí)候，聯(lián)想不再一味隱忍，而是拿起了法律武器。近日，北京互聯(lián)網(wǎng)法院一審裁定：科技大V宗某(ID@萬(wàn)能的大熊)因憑空捏造關(guān)于聯(lián)想的謠言，造成惡劣影響，嚴(yán)重侵犯了聯(lián)想集團(tuán)的名譽(yù)權(quán)，被判向聯(lián)想集團(tuán)公開(kāi)
08-22
全站最新
熱門內(nèi)容