skip to main content
10.1145/3472716.3472848acmconferencesArticle/Chapter ViewAbstractPublication PagescommConference Proceedingsconference-collections
demonstration

Sarasate: a strong representation system for networking policies

Published: 23 August 2021 Publication History

Abstract

Policy information in computer networking today is hard to manage. This is in sharp contrast to relational data structured in a database that allows easy access. In this demonstration, we ask why cannot (or how can) turn network policies into relational data. Our key observation is that oftentimes a policy does not prescribe a single ``definite'' network state, but rather is an ``incomplete'' description of all the legitimate network states. Based on this idea, we adopt conditional tables and the usual SQL interface (a relational structure developed for incomplete database) as a means to represent and query sets of network states in exactly the same way as a single definite network snapshot. More importantly, like relational tables that improve data productivity and innovation, relational policies allow us to extend a rich set of data mediating methods to address the networking problem of coordinating policies in a distributed environment.

References

[1]
S. Abiteboul, R. Hull, and V. Vianu, editors. Foundations of Databases: The Logical Level. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1st edition, 1995.
[2]
S. Abiteboul, P. Kanellakis, and G. Grahne. On the representation and querying of sets of possible worlds. In Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data, SIGMOD ’87, page 34–48, New York, NY, USA, 1987. Association for Computing Machinery.
[3]
R. Beckett, A. Gupta, R. Mahajan, and D. Walker. A general approach to network configuration verification. In Proceedings of the Conference of the ACM Special Interest Group on Data Communication, SIGCOMM '17, page 155–168, New York, NY, USA, 2017. Association for Computing Machinery.
[4]
R. Beckett, R. Mahajan, T. Millstein, J. Padhye, and D. Walker. Don't mind the gap: Bridging network-wide objectives and device-level configurations. In Proceedings of the 2016 ACM SIGCOMM Conference, SIGCOMM '16, pages 328–341, New York, NY, USA, 2016. ACM.
[5]
R. Birkner, D. Drachsler-Cohen, L. Vanbever, and M. Vechev. Config2spec: Mining network specifications from network configurations. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20), pages 969–984, Santa Clara, CA, Feb. 2020. USENIX Association.
[6]
L. De Moura and N. Bjørner. Z3: An efficient smt solver. In Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'08/ETAPS'08, pages 337–340, Berlin, Heidelberg, 2008. Springer-Verlag.
[7]
S. Donovan and N. Feamster. Intentional network monitoring: Finding the needle without capturing the haystack. In Proceedings of the 13th ACM Workshop on Hot Topics in Networks, HotNets-XIII, page 1–7, New York, NY, USA, 2014. Association for Computing Machinery.
[8]
N. Feamster, H. Balakrishnan, and J. Rexford. Some foundational problems in interdomain routing. In In HotNets, 2004. (Cited on, pages 41–46, 2004.
[9]
N. Feamster, J. Borkenhagen, and J. Rexford. Controlling the impact of bgp policy changes on ip traffic, 2001.
[10]
N. Foster, A. Guha, M. Reitblatt, A. Story, M. J. Freedman, N. P. Katta, C. Monsanto, J. Reich, J. Rexford, C. Schlesinger, D. Walker, and R. Harrison. Languages for software-defined networks. IEEE Communications Magazine, 51(2):128–134, 2013.
[11]
T. G. Griffin, F. B. Shepherd, and G. Wilfong. The stable paths problem and interdomain routing. IEEE Trans. on Networking, 10:232–243, 2002.
[12]
T. G. Griffin and G. Wilfong. A Safe Path Vector Protocol. In INFOCOM, 2000.
[13]
J. M. Halpern and C. Pignataro. Service Function Chaining (SFC) Architecture. RFC 7665, 2015.
[14]
T. Imieliundefinedski and W. Lipski. Incomplete information in relational databases. J. ACM, 31(4):761–791, Sept. 1984.
[15]
X. Jin, J. Gossels, J. Rexford, and D. Walker. Covisor: A compositional hypervisor for software-defined networks. In Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation, NSDI'15, pages 87–101, Berkeley, CA, USA, 2015. USENIX Association.
[16]
H. Kim, J. Reich, A. Gupta, M. Shahbaz, N. Feamster, and R. Clark. Kinetic: Verifiable dynamic network control. In Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation, NSDI'15, pages 59–72, Berkeley, CA, USA, 2015. USENIX Association.
[17]
R. Mahajan, D. Wetherall, and T. Anderson. Negotiation-based routing between neighboring isps. In NSDI, 2005.
[18]
R. Mahajan, D. Wetherall, and T. Anderson. Mutually controlled routing with independent ISPs. In NSDI, 2007.
[19]
N. McKeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson, J. Rexford, S. Shenker, and J. Turner. Openflow: Enabling innovation in campus networks. SIGCOMM Comput. Commun. Rev., 38(2):69–74, Mar. 2008.
[20]
C. Monsanto, J. Reich, N. Foster, J. Rexford, and D. Walker. Composing software-defined networks. In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation, nsdi'13, pages 1–14, Berkeley, CA, USA, 2013. USENIX Association.
[21]
PostgreSQL: The World's Most Advanced Open Source Relational Database. https://www.postgresql.org/.
[22]
C. Prakash, J. Lee, Y. Turner, J.-M. Kang, A. Akella, S. Banerjee, C. Clark, Y. Ma, P. Sharma, and Y. Zhang. Pga: Using graphs to express and automatically reconcile network policies. In SIGCOMM '15.
[23]
J. Reich, C. Monsanto, N. Foster, J. Rexford, and D. Walker. Modular SDN Programming with Pyretic. USENIX ;login, 38(5), October 2013.
[24]
Y. Rekhter, T. Li, and S. Hares. A Border Gateway Protocol 4 (BGP-4). RFC 4271, RFC Editor, 2006.
[25]
R. Views. Route views. http://www.routeviews.org/routeviews/.
[26]
T. Wirtgen, Q. De Coninck, R. Bush, L. Vanbever, and O. Bonaventure. Xbgp: When you can't wait for the ietf and vendors. In Proceedings of the 19th ACM Workshop on Hot Topics in Networks, HotNets '20, page 1–7, New York, NY, USA, 2020. Association for Computing Machinery.
[27]
W. Xu and J. Rexford. MIRO: Multi-path interdomain routing. In ACM SIGCOMM, 2006.
[28]
Y. Yuan, D. Lin, A. Mishra, S. Marwaha, R. Alur, and B. T. Loo. Quantitative network monitoring with netqre. In Proceedings of the Conference of the ACM Special Interest Group on Data Communication, SIGCOMM '17, page 99–112, New York, NY, USA, 2017. Association for Computing Machinery.
[29]
P. Zhang, Y. Huang, A. Gember-Jacobson, W. Shi, X. Liu, H. Yang, and Z. Zuo. Incremental network configuration verification. In Proceedings of the 19th ACM Workshop on Hot Topics in Networks, HotNets '20, page 81–87, New York, NY, USA, 2020. Association for Computing Machinery.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SIGCOMM '21: Proceedings of the SIGCOMM '21 Poster and Demo Sessions
August 2021
94 pages
ISBN:9781450386296
DOI:10.1145/3472716
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 August 2021

Check for updates

Author Tags

  1. c-tables
  2. knowledge representation
  3. network policies

Qualifiers

  • Demonstration

Funding Sources

  • National Science Foundation

Conference

SIGCOMM '21
Sponsor:
SIGCOMM '21: ACM SIGCOMM 2021 Conference
August 23 - 27, 2021
Virtual Event

Acceptance Rates

SIGCOMM '21 Paper Acceptance Rate 30 of 56 submissions, 54%;
Overall Acceptance Rate 92 of 158 submissions, 58%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 174
    Total Downloads
  • Downloads (Last 12 months)10
  • Downloads (Last 6 weeks)0
Reflects downloads up to 14 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media