Теория массового обслуживания: сети поллинга (Polling Systems) и оптимизация циклического опроса

Математическая модель системы поллинга включает N очередей (станций), в каждую из которых поступает независимый пуассоновский поток заявок. Один сервер циклически перемещается от первой станции к последней и затем возвращается в начало. Центральным элементом, делающим эту задачу аналитически тяжелой, является время переключения (Switch-over Time) — стохастическая пауза, в течение которой сервер перемещается между узлами и не выполняет никакой полезной работы. Если загрузка системы высока, сервер редко переключается вхолостую. Но если загрузка низка, сервер постоянно мечется между пустыми очередями, и суммарная доля потерянного на переключения времени катастрофически возрастает.

Ключевым фактором, определяющим пропускную способность сети поллинга, является Дисциплина обслуживания (Service Discipline). Наиболее изученными являются три классические стратегии. Исчерпывающая дисциплина (Exhaustive) предписывает серверу оставаться на текущей станции до тех пор, пока ее очередь не опустеет полностью (включая те заявки, которые прибыли уже во время обслуживания). Шлюзовая дисциплина (Gated) требует обслуживания только тех заявок, которые находились в очереди в момент прибытия сервера на станцию; все вновь прибывшие откладываются до следующего цикла. Ограниченная дисциплина (k-Limited) разрешает серверу обработать не более k заявок за один визит. Каждая из этих дисциплин порождает свои уникальные интегро-дифференциальные уравнения для расчета времени ожидания.

Для строгого алгебраического анализа сетей поллинга исследователи операций разработали мощный аппарат псевдозаконов сохранения (Pseudo-Conservation Laws). Эти законы связывают средние времена ожидания во всех очередях системы в единое уравнение, которое инвариантно (постоянно) для широкого класса дисциплин обслуживания. Формула псевдозакона сохранения позволяет мгновенно вычислить средневзвешенное время задержки пакета данных по всей компьютерной сети, основываясь только на интенсивностях потоков, дисперсиях времени обслуживания и суммарном времени переключения. Это избавляет инженеров от необходимости решать сложнейшие марковские цепи с тысячами состояний для получения макроскопической оценки производительности.

Исторически сети поллинга стали теоретическим фундаментом для протоколов передачи данных Token Ring и FDDI, где маркер (сервер) передавался по кольцевой топологии от компьютера к компьютеру. Сегодня этот же математический аппарат управляет протоколами беспроводной связи (Wi-Fi и Bluetooth), координируя доступ множества смартфонов к единому радиоканалу без коллизий. В производственной логистике системы циклического опроса оптимизируют графики движения автоматизированных грузовых тележек (AGV) по цехам автозаводов, минимизируя холостой пробег роботов и гарантируя равномерный вывоз готовых деталей со всех производственных участков.