Search results

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

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

Мы продолжаем обсуждение развертывания SDN в дикой природе, в магистральных сетях большой площади. В этом уроке мы рассмотрим B4, развертывание программно-определяемой сети в широкой магистральной сети в Google. Google управляет двумя крупными магистральными сетями. Одним из них является магистральная сеть, которая несет трафик пользователя. Другая — это магистральная сеть, которая осуществляет внутренний трафик или трафик между центрами обработки данных.

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

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.