| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2026-03-06 13:50 プログラマブルスイッチの計算機化とチューリング完全性 ○吉仲佑太郎・武政淳二（阪大）・長谷川 亨（島根大）・小泉佑揮（阪大）  NS2025-324 |
|
| 抄録 | （和） | 本稿では，プログラマブルスイッチ上でのチューリング完全な仮想機械の実現法を，3 ステップで示す．その過程は，チューリング機械の実装に始まり，実用的な命令セットと C 言語処理系を持つ CPU を経由する．最後に，これを Intel Tofino 2 プログラマブルスイッチ ASIC の物理アーキテクチャに最適化された論理アーキテクチャと，オペレーティングシステムに相当する機能を備え，最適な命令実行性能を実現する仮想機械 Anomalocaris へと拡張した．我々は，Tofino 2 プログラマブルスイッチの実機上で Anomalocaris を動作させ，複雑性の異なる様々な計算タスクについて評価を行うことで，その万能性と高速化を実証した． |
| （英） | This paper realizes a Turing-complete virtual machine on programmable switches. The construction begins with an implementation of a Turing machine, proceeds through a CPU equipped with a practical instruction set and a C-language compiler, and is ultimately extended to a virtual machine called Anomalocaris. Anomalocaris is optimized for the physical architecture of the Intel Tofino 2 programmable switch ASIC, along with functionalities analogous to an operating system, to achieve efficient instruction execution. We implement Anomalocaris on a real Tofino 2 programmable switch and evaluate it across computational tasks of varying complexity, demonstrating its computational universality and acceleration. | |
| キーワード | （和） | プログラマブルスイッチ / ネットワーク内計算 / チューリング完全性 / 計算機アーキテクチャ / / / / |
| （英） | Programmable switch / In-network computing / Turing completeness / Computer architecture / / / / | |
| 文献情報 | 信学技報, vol. 125, no. 385, NS2025-324, pp. 603-608, 2026年3月. | |
| 資料番号 | NS2025-324 | |
| 発行日 | 2026-02-25 (NS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | NS2025-324 |
|
| 研究会情報 | |
| 研究会 | IN NS |
| 開催期間 | 2026-03-04 - 2026-03-06 |
| 開催地（和） | 沖縄県市町村自治会館 |
| 開催地（英） | Okinawa-Ken Shichoson Jichi Kaikan |
| テーマ（和） | 一般 |
| テーマ（英） | General |
| 講演論文情報の詳細 | |
| 申込み研究会 | NS |
| 会議コード | 2026-03-IN-NS |
| 本文の言語 | 日本語 |
| タイトル（和） | プログラマブルスイッチの計算機化とチューリング完全性 |
| サブタイトル（和） | |
| タイトル（英） | Transforming Programmable Switches into Turing-complete Computers |
| サブタイトル（英） | |
| キーワード(1)（和/英） | プログラマブルスイッチ / Programmable switch |
| キーワード(2)（和/英） | ネットワーク内計算 / In-network computing |
| キーワード(3)（和/英） | チューリング完全性 / Turing completeness |
| キーワード(4)（和/英） | 計算機アーキテクチャ / Computer architecture |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 吉仲 佑太郎 / Yutaro Yoshinaka / ヨシナカ ユウタロウ |
| 第1著者 所属（和/英） | 大阪大学 (略称： 阪大) The University of Osaka (略称： Univ. Osaka) |
| 第2著者 氏名（和/英/ヨミ） | 武政 淳二 / Junji Takemasa / タケマサ ジュンジ |
| 第2著者 所属（和/英） | 大阪大学 (略称： 阪大) The University of Osaka (略称： Univ. Osaka) |
| 第3著者 氏名（和/英/ヨミ） | 長谷川 亨 / Toru Hasegawa / ハセガワ トオル |
| 第3著者 所属（和/英） | 島根大学 (略称： 島根大) Shimane University (略称： Shimane Univ.) |
| 第4著者 氏名（和/英/ヨミ） | 小泉 佑揮 / Yuki Koizumi / コイズミ ユウキ |
| 第4著者 所属（和/英） | 大阪大学 (略称： 阪大) The University of Osaka (略称： Univ. Osaka) |
| 講演者 | 第1著者 |
| 発表日時 | 2026-03-06 13:50:00 |
| 発表時間 | 25分 |
| 申込先研究会 | NS |
| 資料番号 | NS2025-324 |
| 巻番号（vol） | vol.125 |
| 号番号（no） | no.385 |
| ページ範囲 | pp.603-608 |
| ページ数 | 6 |
| 発行日 | 2026-02-25 (NS) |
[研究会発表申込システムのトップページに戻る]