| Texto completo | |
| Autor(es): |
Parizotto, Ricardo
;
Hague, Israat
;
Schaeffer-Filho, Alberto
Número total de Autores: 3
|
| Tipo de documento: | Artigo Científico |
| Fonte: | NOMS 2025-2025 IEEE NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM; v. N/A, p. 9-pg., 2025-01-01. |
| Resumo | |
The performance benefits of data plane programmability have motivated many researchers to offload the computation of applications that previously operated only on servers to the network, creating the notion of in-network computing (INC). Because failures can occur in the data plane, fault tolerance mechanisms are essential for INC. However, INC operators and developers must manually set fault tolerance requirements using domain knowledge to change the source code. These manually set requirements may take time and lead to errors in case of misconfiguration. In this work, we present ARAUCARIA, a system that composes fault tolerance building blocks for INC based on high-level intents. The system allows the specification of requirements using an intent language, which allows the expression of consistency and availability requirements in a constrained natural language. A refinement process translates the intent and instruments the INC with essential building blocks and configurations. Our prototype of ARAUCARIA enables fault tolerance for INC applications on BMv2 and in a testbed with Tofino ASICs. Experiments show that the system provides fault tolerance with negligible overhead. (AU) | |
| Processo FAPESP: | 23/00673-7 - Inteligência distribuída em redes de comunicação e internet das coisas |
| Beneficiário: | Nelson Luis Saldanha da Fonseca |
| Modalidade de apoio: | Auxílio à Pesquisa - Temático |
| Processo FAPESP: | 23/00764-2 - RESIST: Computação In-Network Resiliente |
| Beneficiário: | Alberto Egon Schaeffer Filho |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |
| Processo FAPESP: | 20/05152-7 - PROFISSA: internet do futuro programável para arquiteturas e softwares seguros |
| Beneficiário: | Lisandro Zambenedetti Granville |
| Modalidade de apoio: | Auxílio à Pesquisa - Temático |
| Processo FAPESP: | 20/05183-0 - SkyNet: rumo à era dos planos de dados inteligentes |
| Beneficiário: | Luciano Paschoal Gaspary |
| Modalidade de apoio: | Auxílio à Pesquisa - Temático |