文献

J-GLOBAL ID：202002282517012183   整理番号：20A1799306

プログラマブルデータ平面のためのp4v実用的検証【JST・京大機械翻訳】

p4v practical verification for programmable data planes

著者 (10件)： Liu Jed (Barefoot Networks) ,  Hallahan William (Yale University) ,  Schlesinger Cole (Barefoot Networks) ,  Sharif Milad (Barefoot Networks) ,  Lee Jeongkeun (Barefoot Networks) ,  Soule Robert (University of Lugano, Lugano, Switzerland) ,  Wang Han (Barefoot Networks) ,  Cascaval Calin (Barefoot Networks) ,  McKeown Nick (Stanford University) ,  Foster Nate (Cornell University)
資料名： ACM Proceedings  (ACM Proceedings)
号： SIGCOMM ’18  ページ： 490-503  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： P4プログラミング言語を用いて記述されたデータ平面を検証するために実用的ツールであるp4vの設計と実装を示した。p4vの設計は古典的検証技術に基づいているが,大きなプログラムにスケールするために必要な制御平面とドメイン特異的最適化に関する仮定を組み込むための新しいメカニズムを含むいくつかの重要な革新を加える。p4vが重要な特性を確認し,実世界プログラムでバグを見つけることを示す事例研究を示した。広範囲の追加例に対するp4vのスケーラビリティを定量化する実験を行った。制御平面アノテーションの数百のラインで,p4vは,スイッチp4,現代のデータセンタスイッチの機能性を3分以内で実装するプログラム,のクリティカルな安全特性を検証することができることを示す。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 最適化 ,  プログラミング言語 ,  データセンタ ,  事例研究 ,  *ソフトウェア障害 ,  アノテーション
準シソーラス用語： 機能性 ,  コントロールプレーン , 【Automatic Indexing@JST】

著者キーワード (3件)： P4 ,  プログラマブルデータ平面 ,  検証

分類 (3件)： その他の光伝送素子  (BD06040S) ,  光通信方式・機器  (ND10000B) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (1件)： 検証