NetQuery: A Knowledge Plane for Reasoning about Network Properties - PowerPoint PPT Presentation

NetQuery: A Knowledge Plane for Reasoning about Network Properties Alan Shieh † , Emin Gün Sirer, Fred B. Schneider Department of Computer Science Cornell University † Nicira Networks

Problem � ��������������������������������� ������������������������������������������ �������������������� � �������������������������� � ������������������������� � ��������������������������������������������

No mechanisms for querying network properties Clients cannot differentiate between different networks Identical WiFi base stations! � � TinCan ISP Proper ISP 1 Mb/s 100 Mb/s 90% uptime 99% uptime

No mechanisms for querying network properties Networks cannot differentiate between clients Identical end-points! � �

No mechanisms for querying network properties Networks cannot differentiate between other networks Identical IP packet delivery interface! � ISP A ISP B Forward all DoS filter packets Customer AS

Other examples • ����������������������������������������������������� ����� ! • "������������������#���������#������������������$����!� %��&������'���������(��)����������������*�!+ %��&������'���������(��)����������������*�!+ • "������� ��������������������������������������������! • ��������������������,���������������������������#��������! • ��������������������������������������������������������!

Commoditization of Networks • ������������������������������������������ ������������������������������&��������������&� ���������� – -���������������������������������������������� – -���������������������������������������������� ����������� • .������������������������������������� ������������������������������ – /���������������������0������ – ����������������������

Goals • ����������������������������������������� ���������������������� • 1����2 – '���������� '���������� – ������3���������� – �������� – 4�������� – ����������

A Knowledge Plane � ��������������������������������������������������������� �����������������������������3����������� � ��������&����������������3�������������������������������� ���������������������� ���������������������� ���������������&��5�5��������&���������&������&����5 � 6���������������&��5�5������&�����������&�����&����5 � � ������������������������������������������������������� ����������� �����

Tuplespace Example H1 : Type = Host H1 : OS = ... R1 : Type = Router R2 : Type = Router R1 : FwdTable = ... R2 : FwdTable = ... R1 : PhyLinks = ... R2 : PhyLinks = ... R3 : Type = Router R3 : FwdTable = ... R3 : PhyLinks = ...

Tuplespace Example H1 : Type = Host R1 : Type = Router H1 : OS = ... R1 : FwdTable = ... R1 : PhyLinks = ... R1 : Type = Link R1 : Speed = 10 Gb/s H2 : Type = Host H2 : Type = Host H2 : OS = ... R1 : Type = Link R1 : Type = Router R1 : Speed = 10 Gb/s R2 : Type = Router R1 : FwdTable = ... R2 : FwdTable = ... R1 : PhyLinks = ... R2 : PhyLinks = ... R3 : Type = Router R3 : FwdTable = ... R3 : PhyLinks = ...

Tuple Abstraction � ����������������� �������� &����������3�������������������� ��������������������������������� Attribute name Attribute value S : MachineType = Router Principal � '��������������������������'�����" ������������������������������������������� � � �������������������������������������������������������� �������������������&��5�5��������&������&������&������&����

Tuplespace Implementation � '���������������������� Global Tuplespace Cornell ISP1 ISP2 CS ECE CIT � �����������������������)�������������������� 2 /7' ������������������������������� � '�����"�������������� 2 /7'2�"&���'�����"������������������ � ���������������������������������� � ������������������������������������������������������ ��������������������������������������&����������� �

Factoid Origins � 4�������������������������������������� ���8����3���������������������������������������� � �����. 3���������������9�����������������������. �������� � ��������������������������������������������������� � '����3�����������������������������3����� '����3�����������������������������3����� � � � �������������������������������! � ��������������������������������!

Trusting Factoids • �������������������&�������������'������� ��������.�����&������������������������� • ' .����������������� ������������������ ��� • ' .����������������� ������������������ ��� ����������������������������������������� – 1��������������������������������& ���������������������������