Papers
Topics
Authors
Recent
Assistant
AI Research Assistant
Well-researched responses based on relevant abstracts and paper content.
Custom Instructions Pro
Preferences or requirements that you'd like Emergent Mind to consider when generating responses.
GPT-5.1
GPT-5.1 96 tok/s
Gemini 3.0 Pro 48 tok/s Pro
Gemini 2.5 Flash 155 tok/s Pro
Kimi K2 197 tok/s Pro
Claude Sonnet 4.5 36 tok/s Pro
2000 character limit reached

Araucaria: Simplifying INC Fault Tolerance with High-Level Intents (2404.11728v1)

Published 17 Apr 2024 in cs.NI and cs.DC

Abstract: Network programmability allows modification of fine-grain data plane functionality. The performance benefits of data plane programmability have motivated many researchers to offload computation 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 aims to simplify the definition and implementation of fault tolerance requirements for INC. The system allows requirements specification using an intent language, which enables the expression of consistency and availability requirements in a constrained natural language. A refinement process translates the intent and incorporates the essential building blocks and configurations into the INC code. We present a prototype of Araucaria and analyze the end-to-end system behavior. Experiments demonstrate that the refinement scales to multiple intents and that the system provides fault tolerance with negligible overhead in failure scenarios.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (48)
  1. Supporting diverse dynamic intent-based policies using janus. In Proceedings of the 13th International Conference on Emerging Networking EXperiments and Technologies, CoNEXT ’17, page 296–309, New York, NY, USA, 2017. Association for Computing Machinery.
  2. Sdn heading north: Towards a declarative intent-based northbound interface. In 2020 16th International Conference on Network and Service Management (CNSM), pages 1–5. IEEE, 2020.
  3. Reducing p4 language’s voluminosity using higher-level constructs. In Proceedings of the 5th International Workshop on P4 in Europe, pages 19–25, 2022.
  4. Nlp4: An architecture for intent-driven data plane programmability. In 2022 IEEE 8th International Conference on Network Softwarization (NetSoft), pages 25–30. IEEE, 2022.
  5. Cheetah: A high-speed programmable load-balancer framework with guaranteed per-connection-consistency. IEEE/ACM Transactions on Networking, 30(1):354–367, 2021.
  6. P4: Programming protocol-independent packet processors. SIGCOMM Comput. Commun. Rev., 44(3):87–95, July 2014.
  7. New directions in cloud programming. In 11th Conference on Innovative Data Systems Research (CIDR’ 21), 2021.
  8. Intent-Based Networking - Concepts and Definitions. RFC 9315, October 2022.
  9. The ponder policy specification language. In International Workshop on Policies for Distributed Systems and Networks, pages 18–38. Springer, 2001.
  10. Charting an intent driven network. In 2017 13th International Conference on Network and Service Management (CNSM), pages 1–5. IEEE, 2017.
  11. A behavior-driven approach to intent specification for software-defined infrastructure management. In 2018 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), pages 1–6, Nov 2018.
  12. P4 weaver: Supporting modular and incremental programming in p4. In Proceedings of the ACM SIGCOMM Symposium on SDN Research (SOSR), pages 54–65, 2021.
  13. Simplification of the design, deployment, and testing of 5g vertical services. In NOMS 2020-2020 IEEE/IFIP Network Operations and Management Symposium, pages 1–7. IEEE, 2020.
  14. Lyra: A cross-platform language and compiler for data plane programming on heterogeneous asics. In Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication, pages 435–450, 2020.
  15. Towards executing computer vision functionality on programmable network devices. In Proceedings of the 1st ACM CoNEXT Workshop on Emerging in-Network Computing Paradigms, pages 15–20, 2019.
  16. Intent-driven composition of resource-management sdn applications. CoNEXT ’18, page 86–97, New York, NY, USA, 2018. Association for Computing Machinery.
  17. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems (TOPLAS), 12(3):463–492, 1990.
  18. Modular switch programming under resource constraints. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22), pages 193–207, 2022.
  19. Hypersfp: Fault-tolerant service function chain provision on programmable switches in data centers. In NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium, pages 1–9. IEEE, 2022.
  20. Refining network intents for self-driving networks. In Proceedings of the Afternoon Workshop on Self-Driving Networks, SelfDN 2018, page 15–21, New York, NY, USA, 2018. Association for Computing Machinery.
  21. Netchain: Scale-free sub-rtt coordination. In 15th {normal-{\{{USENIX}normal-}\}} Symposium on Networked Systems Design and Implementation ({normal-{\{{NSDI}normal-}\}} 18), pages 35–49, 2018.
  22. Redplane: enabling fault-tolerant stateful in-switch applications. In Proceedings of the 2021 ACM SIGCOMM 2021 Conference, pages 223–244, 2021.
  23. Iot device fingerprinting on commodity switches. In NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium, pages 1–9. IEEE, 2022.
  24. A survey on intent based networking. IEEE Communications Surveys & Tutorials, 2022.
  25. Using p4 to enable scalable intents in software defined networks. In 2018 IEEE 26th International Conference on Network Protocols (ICNP), pages 442–443, 2018.
  26. Eris: Coordination-free consistent transactions using in-network concurrency control. In Proceedings of the 26th Symposium on Operating Systems Principles, pages 104–120, 2017.
  27. Automatic policy generation for {{\{{Inter-Service}}\}} access control of microservices. In 30th USENIX Security Symposium (USENIX Security 21), pages 3971–3988, 2021.
  28. Arkham: an advanced refinement toolkit for handling service level agreements in software-defined networking. Journal of Network and Computer Applications, 90:1–16, 2017.
  29. The programmable data plane: Abstractions, architectures, algorithms, and applications. ACM Computing Surveys (CSUR), 54(4):1–36, 2021.
  30. A survey on intent-driven networks. IEEE Access, 8:22862–22873, 2020.
  31. Netgvt: offloading global virtual time computation to programmable switches. In Proceedings of the Symposium on SDN Research, pages 16–24, 2022.
  32. Exploiting commutativity for practical fast replication. In 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19), pages 47–64, 2019.
  33. Pga: Using graphs to express and automatically reconcile network policies. In Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication, SIGCOMM ’15, pages 29–42, New York, NY, USA, 2015. ACM.
  34. P4i/o: Intent-based networking with p4. In 2019 IEEE Conference on Network Softwarization (NetSoft), pages 438–443. IEEE, 2019.
  35. Intent-based networks: An industrial perspective. In Proceedings of the 1st International Workshop on Future Industrial Communication Networks, pages 35–40, 2018.
  36. In-network computation is a dumb idea whose time has come. In Proceedings of the 16th ACM Workshop on Hot Topics in Networks, HotNets-XVI, page 150–156, New York, NY, USA, 2017. Association for Computing Machinery.
  37. Scaling distributed machine learning with in-network aggregation. In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21), pages 785–808. USENIX Association, April 2021.
  38. Inspire: Integrated nfv-based intent refinement environment. In 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), pages 186–194. IEEE, 2017.
  39. A controlled natural language to support intent-based blockchain selection. In 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), pages 1–9. IEEE, 2020.
  40. Conflict-free replicated data types. In Stabilization, Safety, and Security of Distributed Systems: 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings 13, pages 386–400. Springer, 2011.
  41. Towards network-accelerated ml-based distributed computer vision systems. In 2021 IEEE 27th International Conference on Parallel and Distributed Systems (ICPADS), pages 122–129, 2021.
  42. Composing dataplane programs with μ𝜇\muitalic_μp4. In Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication, pages 329–343, 2020.
  43. Accelerator-aware in-network load balancing for improved application performance. In 2022 IFIP Networking Conference (IFIP Networking), pages 1–9. IEEE, 2022.
  44. Safely and automatically updating in-network acl configurations with intent language. In Proceedings of the ACM Special Interest Group on Data Communication, pages 214–226. 2019.
  45. Safely and automatically updating in-network acl configurations with intent language. In Proceedings of the ACM Special Interest Group on Data Communication, SIGCOMM ’19, page 214–226, New York, NY, USA, 2019. Association for Computing Machinery.
  46. Reactive configuration updating for intent-based networking. In 2017 International Conference on Information Networking (ICOIN), pages 97–102. IEEE, 2017.
  47. {{\{{SwiSh}}\}}: Distributed shared state abstractions for programmable switches. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22), pages 171–191, 2022.
  48. Noa Zilberman. In-network computing, Apr 2019. https://www.sigarch.org/in-network-computing-draft [Accessed: Feb 22 2024].

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now
Dice Question Streamline Icon: https://streamlinehq.com

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Generate Now
Lightbulb Streamline Icon: https://streamlinehq.com

Continue Learning

We haven't generated follow-up questions for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Generate Now
List To Do Tasks Checklist Streamline Icon: https://streamlinehq.com

Collections

Sign up for free to add this paper to one or more collections.

User Circle Single Streamline Icon: https://streamlinehq.com Sign Up
X Twitter Logo Streamline Icon: https://streamlinehq.com

Tweets

This paper has been mentioned in 2 tweets and received 0 likes.

Upgrade to Pro to view all of the tweets about this paper:

Start a free 7-day Pro trial