Перейти к содержимому
DispatchAtlas
Поиск

Журнал изменений

Что предоставляет текущее дерево DispatchAtlas, сгруппированное по областям. Каноническая, машиночитаемая история находится в репозитории CHANGELOG.md, который следует Keep a Changelog и семантическому версионированию с момента начала выпусков пакетов; помеченные версии появляются на странице релизов.

DispatchAtlas — это воспроизводимая платформа для эталонного тестирования планирования задач в континууме IoE / Edge–Fog–Cloud.

Текущие ключевые возможности

  • Базовая модель планирования — стоимостные модели несвязанных машин (матрица времени выполнения, маска совместимости, последовательно-зависимая настройка, нагрузочно-зависимые кривые выполнения, межресурсная связь), совместное распределение нескольких ресурсов, частичное выполнение (неточные вычисления), формуемые задачи переменной ширины, групповое совместное планирование и семантика справедливого распределения для множества арендаторов, широкое семейство целевых функций (makespan, настройка, энергия, стоимость, углерод, задержка, опоздание, справедливость, доля доминирующего ресурса, надёжность, безопасность, устойчивость, неточное вознаграждение, составная) со скалярными или векторными значениями, отчётность о допустимости с записями недопустимых строк, детерминированный вывод начального значения и сериализация в JSON за типизированными протоколами интеграции.
  • Атлас эталонов — обобщённые семейства планирования комбинаторной оптимизации (несвязанные машины, job-shop, гибкий job-shop, перестановочный flow-shop, flow-shop с последовательно-зависимой настройкой и планирование проектов с ограниченными ресурсами) наряду с семействами распределённых вычислений и континуумом семейств Edge–Fog–Cloud (граничная разгрузка, бессерверный холодный старт, графы вызовов микросервисов, размещение реплик, воздушная граница, потоковые окна, восстановление после сбоев, киберфизическое планирование, агрегация от датчиков IoT к границе, планирование кластеров GPU и машинного обучения, размещение граничных сервисов, отложенность с учётом углерода, выбор клиентов федеративного обучения, рендеринг иммерсивной расширенной реальности, граничное планирование спутников на низкой околоземной орбите, совместное размещение задач в дата-центре, распределение виртуальных машин, граничная разгрузка транспортных средств, промышленные сети с гарантированным временем доставки, нарезка сети 5G, граничная синхронизация цифровых двойников, видеоаналитика умного города, совместный сплит-вывод между границей и облаком, конфиденциальные граничные вычисления, прерывистые граничные вычисления без батареи, планирование прерываемых spot-VM, размещение с учётом локальности данных, планирование совместного завершения coflow и обслуживание вывода генеративных моделей при бюджете кэша ключ-значение), каждое с классом профиля, метаданными с цитированием, метриками характеризации, стратификацией сложности и метрикой калибровки расстояния между распределениями.
  • Реестр решателей — конструктивные и диспетчеризующие базовые линии, точные адаптеры (CP-SAT, смешанно-целочисленное линейное и квадратично- ограниченное программирование, метод ветвей и границ, нативный решатель ограниченного исчерпывающего перебора и опциональные коммерческие бэкенды за выделенным extra), репрезентативные метаэвристики, диверсифицированный набор конкурентов с каноническими ссылками, непрерывные решатели, привязанные к планированию через адаптеры кодирования, многоцелевой конкурент и нативно-кодирующее семейство решателей, которое ведёт поиск непосредственно по допустимым расписаниям. Каждый дескриптор несёт контракт цитирования с отказом по умолчанию и заявленные возможности.
  • Слой выбора — рекомендация решателей на основе правил и обучения, которая ранжирует решатели по заявленным возможностям и характеризации эталона, за протоколом перекрёстной проверки без утечек, который сообщает об обобщении на отложенных данных и никогда не заявляет о глобально лучшем решателе.
  • Целевые функции, ограничения и качество — оценка по каждой целевой функции, именованные ограничения уровня обслуживания с раздельными путями жёсткого нарушения и мягкого штрафа, помощники для границы Парето и четыре показателя качества (гиперобъём, IGD+, аддитивный эпсилон-индикатор и разброс), а также устойчивость по наихудшему случаю или условному значению под риском над явно заявленным множеством возмущений.
  • Движок кампаний — проверка, бюджетирование «вхолостую», выполнение с контрольными точками и возможностью воспроизведения, политика количества прогонов на нижней границе статистической мощности, инварианты честного сравнения, детерминированное воспроизведение по записанным хешам содержимого и безопасная параллельная топология, масштабируемая до доступных ядер хоста с проверкой ёмкости и защитой от вложенного параллелизма.
  • Анализ и доказательная база — непараметрический вывод (знаково-ранговый Wilcoxon с размерами эффекта Vargha-Delaney и Cliff's-delta, омнибусный Friedman с пост-хок Nemenyi, поправки Holm и Hochberg и интервалы ускоренного бутстрэпа с коррекцией смещения) без зависимости от сторонней статистики, детерминированные фигуры и таблицы SVG и PGFPlots, поверхность ограничений для неподдерживаемых методов и наборы доказательств с фильтрацией по раскрытию, ключёванные по обобщённым уровням доказательств.
  • Документация и портал — сайт документации с интерактивным порталом (обозреватель каталога эталонов, обозреватель результатов, предпросмотр симуляции, объяснимый рекомендатель решателей только по метаданным, инспекция платформы и центр загрузок), запускаемые в браузере демо (визуализация доказательств, включая фигуры сходимости и исследования–использования, живой запуск решателя и запуск эксперимента с заданным начальным значением, размером эффекта и доверительным интервалом бутстрэпа), офлайн-поиск, карта сайта, машиночитаемый индекс сайта и безопасные для публикации данные портала, отрендеренные в страницу во время сборки.
  • Управление и цепочка поставок — корневые поверхности управления и сообщества, однострочное лицензирование SPDX, совместимое с REUSE, CI с обеспечением покрытия, аудит закреплённых зависимостей, плановый аудит цепочки поставок над установленным замыканием дистрибутива, конфигурация безопасности CodeQL, генерация SBOM в формате CycloneDX и проверка подписи релиза и происхождения сборки.