netquery a knowledge plane for reasoning about network
play

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

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


  1. 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

  2. Problem � ��������������������������������� ������������������������������������������ �������������������� � �������������������������� � ������������������������� � ��������������������������������������������

  3. 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

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

  5. 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

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

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

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

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

  10. 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 = ...

  11. 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 = ...

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

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

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

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

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend