変更履歴
現在の DispatchAtlas ツリーが提供する内容を、領域ごとにまとめたものです。正式な
機械可読の履歴はリポジトリの
CHANGELOG.md
にあり、パッケージのリリースが始まると
Keep a Changelog と
セマンティックバージョニング に従います。タグ付けされた
バージョンは
リリースページ
に表示されます。
DispatchAtlas は、IoE / Edge–Fog–Cloud コンティニュアム全体にわたるタスク スケジューリングのための再現可能なベンチマークプラットフォームです。
✨ 現在のハイライト
- コアスケジューリングモデル — 無関連マシンのコストモデル(実行時間 行列、互換性マスク、順序依存セットアップ、負荷依存の実行 カーブ、リソース間通信)、マルチリソース共割り当て、 部分実行(不正確計算)、可変幅のモルダブルタスク、ギャング 共スケジューリング、マルチテナントの公平共有タスクセマンティクス、広範な目的 ファミリ(メイクスパン、セットアップ、エネルギー、コスト、カーボン、レイテンシ、遅延、公平性、 支配的リソース共有、信頼性、セキュリティ、ロバスト性、不正確報酬、 複合)とスカラーまたはベクトル値、実行不可能行レコードを伴う 実行可能性レポート、決定論的なシード導出、そして型付き統合プロトコルの背後にある JSON シリアライゼーション。
- ベンチマークアトラス — 汎用の組合せ最適化スケジューリングファミリ (無関連マシン、ジョブショップ、フレキシブルジョブショップ、順列フローショップ、 順序依存セットアップフローショップ、リソース制約付きプロジェクト スケジューリング)に加え、分散コンピューティング ファミリと Edge–Fog–Cloud ファミリのコンティニュアム(エッジオフローディング、 サーバーレスのコールドスタート、マイクロサービスのコールグラフ、レプリカ配置、空中 エッジ、ストリーミングウィンドウ、障害復旧、サイバーフィジカルスケジューリング、IoT センサー・トゥ・エッジ集約、GPU および機械学習クラスタのスケジューリング、エッジ サービス配置、カーボンアウェアな遅延実行、連合学習のクライアント 選択、没入型エクステンデッドリアリティのレンダリング、低軌道 衛星エッジスケジューリング、データセンターのタスクコロケーション、 仮想マシン割り当て、車両エッジオフローディング、産業用 時間制約ネットワーキング、5G ネットワークスライシング、デジタルツインエッジ 同期、スマートシティの映像分析、協調的なエッジ・クラウド 分割推論、機密エッジコンピューティング、バッテリーフリーの 間欠的エッジコンピューティング、プリエンプティブなスポット VM スケジューリング、 データローカリティ配置、コフロー共完了スケジューリング、そして キー・バリュー・キャッシュ予算下での生成モデル推論サービング)を含み、それぞれ プロファイルクラス、引用に裏付けられた メタデータ、特徴づけメトリクス、 難易度の階層化、そしてリアリティギャップのキャリブレーションメトリクスを伴います。
- ソルバーレジストリ — 構成的およびディスパッチングのベースライン、厳密アダプタ (CP-SAT、混合整数線形計画法および二次制約計画法、 分枝限定法、ネイティブな有界網羅的列挙ソルバー、そして専用のエクストラの背後にある オプションの商用バックエンド)、代表的なメタヒューリスティクス、 正規の参照を伴う多様化された競合セット、エンコーディングアダプタを介して スケジューリングに束ねられた連続ソルバー、多目的競合者、そして 実行可能なスケジュール上を直接探索するネイティブエンコーディングのソルバーファミリ。 すべてのディスクリプタは、フェイルクローズドな引用契約と宣言された 能力を備えています。
- 選択レイヤー — 宣言された能力とベンチマークの特徴づけからソルバーをランク付けする ルールベースおよび学習ベースのソルバー推薦であり、ホールドアウトの汎化を報告し グローバルに最良のソルバーを決して主張しない、リークのない交差検証プロトコルの 背後で動作します。
- 目的、制約、品質 — 目的ごとの評価、明確なハードブリーチ経路と ソフトペナルティ経路を持つ名前付きサービスレベル制約、 パレートフロンティアのヘルパーと 4 つの品質指標(ハイパーボリューム、IGD+、 加法的イプシロン指標、スプレッド)、そして明示的に宣言された摂動セット上の 最悪ケースまたは条件付きバリュー・アット・リスクのロバスト性。
- キャンペーンエンジン — 検証、ドライランの予算管理、チェックポイント化され リプレイ可能な実行、統計的検出力の下限における実行回数ポリシー、 公平比較の不変条件、記録されたコンテンツハッシュに対する決定論的なリプレイ、 そして容量プロービングとネスト並列性ガードを伴い、ホストの利用可能なコアに スケールする安全な並列トポロジー。
- 分析とエビデンス — ノンパラメトリック推論(Vargha-Delaney および Cliff's-delta の 効果量を伴う Wilcoxon 符号順位、Nemenyi 事後検定を伴う Friedman オムニバス、 Holm および Hochberg 補正、そしてバイアス補正加速ブートストラップ区間)を サードパーティの統計依存なしで提供し、決定論的な SVG および PGFPlots の図表、サポート外メソッドの限界面、そして汎用の エビデンス階層でキー付けされた開示フィルタ済みエビデンスバンドル。
- ドキュメントとポータル — インタラクティブな ポータル(ベンチマークカタログエクスプローラ、結果エクスプローラ、シミュレーションプレビュー、 説明可能なメタデータのみのソルバー推薦器、プラットフォーム検査、 ダウンロードセンター)を備えたドキュメントサイト、ブラウザ内で実行可能なデモ(収束や 探索・活用の図を含むエビデンスの可視化、ソルバーのライブ実行、 効果量とブートストラップ信頼区間を伴うシード付き実験の実行)、 オフライン検索、サイトマップ、機械可読のサイトインデックス、そしてビルド時にページへ レンダリングされる公開安全なポータルデータ。
- ガバナンスとサプライチェーン — ルートのガバナンスおよびコミュニティ面、 REUSE 準拠の単一行 SPDX ライセンシング、カバレッジ強制の CI、ピン留めされた 依存関係の監査、インストールされたディストリビューションクロージャ全体にわたる スケジュールされたサプライチェーン監査、CodeQL セキュリティ構成、CycloneDX SBOM 生成、そしてリリース署名とビルドプロビナンスの検証。