Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Dynamic, Fine-Grained Data Plane Monitoring with Monocle
KTH, Skolan för elektroteknik och datavetenskap (EECS), Kommunikationssystem, CoS, Network Systems Laboratory (NS Lab).ORCID-id: 0000-0002-1256-1070
2018 (Engelska)Ingår i: IEEE/ACM Transactions on Networking, ISSN 1063-6692, E-ISSN 1558-2566, Vol. 26, nr 1, s. 534-547Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

Ensuring network reliability is important for satisfying service-level objectives. However, diagnosing network anomalies in a timely fashion is difficult due to the complex nature of network configurations. We present Monocle — a system that uncovers forwarding problems due to hardware or software failures in switches, by verifying that the data plane corresponds to the view that an SDN controller installs via the control plane. Monocle works by systematically probing the switch data plane; the probes are constructed by formulating the switch forwarding table logic as a Boolean satisfiability (SAT) problem. Our SAT formulation quickly generates probe packets targeting a particular rule considering both existing and new rules. Monocle can monitor not only static flow tables (as is currently typically the case), but also dynamic networks with frequent flow table changes. Our evaluation shows that Monocle is capable of fine-grained monitoring for the majority of rules, and it can identify a rule suddenly missing from the data plane or misbehaving in a matter of seconds. In fact, during our evaluation Monocle uncovered problems with two hardware switches that we were using in our evaluation. Finally, during network updates Monocle helps controllers cope with switches that exhibit transient inconsistencies between their control and data plane states.

Ort, förlag, år, upplaga, sidor
2018. Vol. 26, nr 1, s. 534-547
Nyckelord [en]
Software-Defined Networking, Monitoring, Reliability
Nationell ämneskategori
Datavetenskap (datalogi) Kommunikationssystem
Forskningsämne
Datalogi
Identifikatorer
URN: urn:nbn:se:kth:diva-223564DOI: 10.1109/TNET.2018.2793765ISI: 000425324000039Scopus ID: 2-s2.0-85041692715OAI: oai:DiVA.org:kth-223564DiVA, id: diva2:1184865
Projekt
Time-Critical Clouds
Anmärkning

QC 20180223

Tillgänglig från: 2018-02-22 Skapad: 2018-02-22 Senast uppdaterad: 2018-03-13Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Sök vidare i DiVA

Av författaren/redaktören
Kuzniar, MaciejKostic, Dejan
Av organisationen
Network Systems Laboratory (NS Lab)
I samma tidskrift
IEEE/ACM Transactions on Networking
Datavetenskap (datalogi)Kommunikationssystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 276 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf