Search results

Мы продолжаем изучение программных сетевых приложений в мире. И в этом уроке мы рассмотрим приложения программно-определяемых сетей, в домашних сетях. Пользователи домашних сетей сталкиваются с двумя проблемами. Одним из них является достижение надлежащего уровня видимости. В использовании и проблемах, которые могут возникнуть в домашней сети.

In this module, we will apply that knowledge to explore how SDN can be used to solve problems in various networking domains. We'll start by looking at data-center networking, where SDN has arguably gained the strongest foothold (to date). We'll then explore applications of SDN to interdomain routing, where new applications and deployments are emerging. Finally, we'll explore the application of SDN in home networks, which has seen some preliminary work, deployments, and ideas. Задачи обучения Relate the challenges of network management data center networking. Discuss how SDN can help solve some of the problems that data center network operators face. Review the basics of Internet peering and interdomain routing, how BGP supports interdomain routing policies today, and things that GBP does not do well today. Compare the advantages and challenges of using SDN for interdomain routing. Explore how SDN can be used to simplify network management challenges in homes.

Мы запускаем модуль проверки. Мотивация проверки заключается в том , чтобы определить, правильно ли работает сеть. В этом модуле мы рассмотрим различные методы проверки, такие как проверка конфигурации, которая была возможной до программного обеспечения определенной сети. Затем мы рассмотрим верификацию плоскости управления и верификацию плоскости данных. Начнем с проверки конфигурации.

Мы продолжаем обсуждение вопроса о проверке. И в этой лекции мы поговорим о верификации плоскости данных. В частности, мы рассмотрим, как проверить, приведет ли состояние плоскости данных к проблемам корректности при пересылке пакетов через сеть.

В этой лекции я дам краткий обзор появления программно-определяемых сетей в беспроводных сетях. У нас нет времени подробно освещать эту тему, но я дам краткий обзор нескольких проектов, в которых программно определяемые сети дают некоторые обещания. Давайте сначала поговорим о целях программно-определяемых сетей применительно к беспроводным сетям.

Мы говорим о будущем SDN и, в частности, я буду обсуждать то, что я считаю некоторыми важными открытыми проблемами и вызовами по мере продвижения вперед в этой области. Оговорка с этой конкретной лекцией заключается в том, что слишком много открытых проблем, чтобы обсудить в такой короткой лекции. Итак, мы подытожим основные моменты из некоторых интервью курса. Я хочу поговорить о конкретных проблемах, которые, на мой взгляд, интересны в этой области. Следует также отметить, что многие из проблем, которые я обсужу в этом уроке, являются проблемами, над которыми я работаю в своей собственной исследовательской лаборатории. Так что если какая-то проблема поразит вас, я настоятельно рекомендую вам оставить мне записку, и мы можем исследовать совместную работу над одной из этих захватывающих проблем.

In this module, we'll be looking at another control framework built using Pyretic called "Kinetic". Kinetic is a domain-specific language embedded in Pyretic that allows programmers and network operators to automatically verify the correctness properties of the control program. Your previous experience with Pox and Pyretic should provide you with very useful experience and perspective for comparing the three ways of programming a controller. In the assignment, we ask you to compare Kinetic to either Pox or Pyretic, so the experience you gained from those assignments should prove very useful. Задачи обучения Describe the different types of ways to verify the correctness of a network configuration and behavior. Distinguish between methods of checking assertions in model checking. Write control programs and automatically model check them using Kinetic.

Мартин Касадо с нами, так что нам очень повезло, быть в состоянии, поговорить с ним о SDN. Многие из вас, наверное, знают Мартина, но для тех из вас, кто этого не знает. Мартин получил докторскую степень из Стэнфорда. Его PhD ведущий, исследования непосредственно привели к началу революции SDN. Он проделал кучу работы, в том числе. Основание Nicira, который является одним из ранних стартапов в этом районе, и сегодня мы собираемся поговорить с ним о OpenFlow SDN, истории, мифах, заблуждениях и так далее. Так что спасибо Мартину за то, что присоединился к нам.

Мы завершаем курс на этой неделе, и нам очень повезло, как раз вовремя, чтобы один из отцов SDN присоединился к нам, Ник Маккиун. Ник действительно был очень вовлечен в сетевые исследования даже до эры открытого потока SDN. Ранее он работал с Cisco, он помогал в проектировании маршрутизатора GSR. Он присоединился к Стэнфорду в 1995 году. С тех пор он также основал пару других компаний, одна из которых также была куплена Cisco в 2006 году. Он основал в Стэнфорде программу создания чистых сетей, которая в конечном итоге стала генезисом OpenFlow и движения SDN.