Кратко

  • Пропорциональная справедливость не означает равные скорости. Она сравнивает выбранное допустимое распределение со всеми допустимыми альтернативами и проверяет, может ли сумма относительных изменений стать положительной. Один поток такого сравнения не видит.
  • Модель Kelly 1997 года разделила частную полезность и сетевые ограничения. В 1998 году Frank Kelly, Aman Maulloo и David Tan связали взвешенную логарифмическую цель с распределёнными прямыми и двойственными алгоритмами управления скоростью.
  • Теневая цена и функция Lyapunov являются свидетельствами внутри заданной модели. Без единицы идентичности, происхождения весов, маршрутов, ёмкостей, задержек и шума они не доказывают ни реальный счёт, ни универсальную устойчивость.

Собственная скорость не содержала альтернатив

Пусть два эластичных потока делят узкое место. Первый получает шесть единиц скорости, второй — четыре. Каждый знает своё число. Ни один не знает из него, какие другие векторы удовлетворяют всем ограничениям ресурсов.

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

Слово «пропорционально» относится к изменению, а не к одинаковому виду долей. При одном узком месте и равных весах решение может дать равные скорости. Пересекающиеся маршруты, несколько ресурсов и разные веса меняют допустимую область. Визуальное равенство не является определением.

Поэтому доказательство включает полный вектор, матрицу маршрутов и ресурсов, снимок ёмкостей и правило, определяющее поток. Если один субъект способен открыть десять соединений, а другой собран в один туннель, задача распределения меняется ещё до первого сигнала перегрузки.

Модель 1997 года не требовала передать все предпочтения центру

В Charging and rate control for elastic traffic Kelly описывает ценность регулируемой скорости возрастающей строго вогнутой функцией полезности. Маршруты расходуют конечные ёмкости. Системная задача максимизирует общую полезность, не нарушая ограничений.

Главный ход — декомпозиция. Пользователь решает локальную задачу при заданной цене; сеть распределяет скорость при своих ограничениях. Множители Lagrange связывают эти решения. Множитель канала можно понимать как неявную стоимость дополнительной единицы потока или теневую цену добавочной ёмкости.

Работа рассматривает и вариант, где пользователь выбирает плату в единицу времени, а сеть назначает скорость. В равновесии скорости на единицу платы пропорционально справедливы, и возникает системный оптимум.

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

Два локальных контура стремились к одной цели

Статья 1998 года принадлежит Frank Kelly, Aman Maulloo и David Tan. Она максимизирует взвешенную сумму логарифмов скоростей при ограничениях ёмкости. Логарифм вводит относительные изменения, а ограничения порождают теневые цены ресурсов.

Центральному решателю понадобилось бы знать всё состояние, а его связи сами страдали бы от задержек и отказов. Поэтому авторы исследуют две распределённые семьи.

В прямом, primal, алгоритме ресурсы посылают признаки перегрузки по мере роста нагрузки. Источник наращивает скорость и уменьшает её в ответ на полученные сигналы. Основное усреднение происходит на концах. Связь с аддитивным увеличением и мультипликативным уменьшением помогает понять модель, но не превращает каждый реальный TCP в точную копию уравнений.

В двойственном, dual, алгоритме ресурс обновляет теневую цену по избыточному спросу, а скорость маршрута реагирует на сумму цен вдоль пути. Экономист увидит настройку цены, инженер — явную обратную связь.

Их журналы различаются. Для primal нужно связать ресурс, метку, время и реакцию источника. Для dual необходимы оценка нагрузки, цена каждого ресурса, сумма по маршруту и итоговая скорость. Одинаковый финальный throughput может скрывать разные поверхности управления.

Доказательство устойчивости не отменило границу

При указанных условиях Kelly, Maulloo и Tan строят функцию Lyapunov. Траектории дифференциальной системы сходятся к устойчивой точке, связанной с ослабленной оптимизационной задачей. Глобальное поведение получает математического свидетеля.

Первая система не включает случайные возмущения и временные лаги; далее статья разбирает их около равновесия. Больший коэффициент может ускорить сходимость и увеличить разброс. При задержке более резкая реакция способна нарушить устойчивость. Немонотонная ценовая функция может породить несколько стационарных точек.

Позднейший обзор Kelly подчёркивает информационный предел: поток знает собственный опыт перегрузки и задержку обратной связи, но не число соперников и не обязательно число ресурсов на пути. Задержочная и стохастическая неустойчивость имеют разные причины.

Функция Lyapunov — свидетельство для описанной динамики, а не страховка любого производства. Реальные очереди, неодинаковые RTT, короткие потоки, смена маршрута, ошибки измерения и стратегические источники не покрываются автоматически. Верное равновесие может наступить после того, как приложение уже завершилось.

Единица справедливости уже распределяла власть

Формула сравнивает скорости после того, как субъекты определены. Она не выбирает между соединением, человеком, приложением, домохозяйством, компанией и маршрутом. От этого выбора зависит число долей, доступных одному принципалу.

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

Аудит связывает математический поток с реальным субъектом: кто создаёт идентичности, когда они агрегируются, кто назначает вес, может ли другая сторона проверить правило, какой снимок маршрутов и ёмкостей задавал допустимость. Изменившаяся сеть делает старое доказательство историческим.

Эта граница не ослабляет критерий. Она не позволяет точному инструменту самовольно стать моральной властью. Пропорциональная справедливость отвечает на условный вопрос, но не выбирает законных обладателей долей.

Kelly соединил глобальную цель с исполняемыми реакциями

Royal Society относит работы Frank Kelly к случайным процессам, сетям, оптимизации и саморегулированию крупных систем. Его вклад объединил экономический язык полезности и дефицита, математический язык ограничений и инженерный язык обратной связи.

Авторство остаётся коллективным. Работа 1998 года написана Kelly, Maulloo и Tan. Предшествующий контроль перегрузки и последующая максимизация сетевой полезности созданы широким сообществом. Профиль одного учёного не превращает область в его исключительную собственность.

Более поздний принцип Heng Lu Minimum Initial Specification служит современной аналитической линзой, а не историческим свидетельством намерений авторов. Участникам нужны минимальные общие значения идентичности, ёмкости, сигнала и совместимости. Им не нужно отдавать все предпочтения центральной власти или навечно выбирать один контроллер. Изменение становится фактом через реализацию, проверку и добровольное принятие.

Наследие Kelly — не печать со словом «справедливо». Это способ связать глобальное свойство с локальными действиями и обязанность хранить квитанции: кого считали, какие альтернативы были допустимы, какие веса и границы действовали, какие сигналы двигали скорости и что происходило до равновесия. Без них название заменяет опыт.

Источники