[論文レビュー] Cross-Layer Decision Timing Orchestration in Cost-Based Database Systems: Resolving Structural Temporal Misalignment

Ilsun Chang|arXiv (Cornell University)|Feb 27, 2026

Advanced Database Systems and Queries被引用数 0

ひとこと要約

要約: 本論文は、Unified Risk Signal によるランタイム中心のクロスレイヤーオーケストレーションを提案し、最終決定権をオプティマがエグゼキュータへ移すことで、不確実性下のテールレイテンシを改善する。

ABSTRACT

This paper analyzes execution instability in traditional cost-based database management systems (DBMS) and identifies a structural timing misalignment between optimization and execution stages that contributes to tail-latency amplification. Beyond estimation accuracy and raw execution throughput, we argue that decision timing and the availability of runtime signals materially affect robustness under uncertainty. In conventional DBMS architectures, the optimizer relies on historical statistics, the executor observes runtime data distributions and resource states, and accelerators impose up-front transfer costs and amortization constraints. This temporal asynchrony can lead to rigid early-bound decisions that fail under input-scale shifts or stale statistics. We propose a cross-layer decision timing orchestration framework that shifts final decision authority from the compile-time optimizer to the runtime executor via selective late binding of operator-level choices. A Unified Risk Signal (URS) integrates optimizer uncertainty, execution-time observations, and accelerator cost signals without collapsing them into a single static cost model. Experiments on a modified PostgreSQL prototype evaluate (i) input-scale shift, (ii) stale-statistics drift, and (iii) GPU offload break-even regimes using controlled microbenchmarks. The proposed orchestration improves execution stability, reducing P99 latency by up to 20x under severe estimation drift while maintaining comparable median latency.

研究の動機と目的

• 従来のコストベースDBMSアーキテクチャにおける構造的時間的ミスマッチを同定する。
• 最終決定権をオプティマからエグゼキュータへ移すクロスレイヤーフレームワークを提案する。
• オプティマイザ、エグゼキュータ、アクセラレータの視点を取り入れたランタイム決定を導くUnified Risk Signalを定義する。
• ドリフト、スケールシフト、アクセラレータのアモータイズ制約下での実行安定性とテールレイテンシへの影響を評価する。

提案手法

• 実行時に小さなオペレータレベルの選択を選択的に確定する Late Binding を導入する。
• R = (R_opt, R_exec, R_acc) の Unified Risk Signal を定義し、異なる時点で観測されたクロスレイヤーのリスクシグナルを統合する。
• オペレータ境界で事前列挙された戦略変種の間を切り替える軽量なランタイムフックを実装する。
• 入力サイズ、統計のドリフト、アクセラレータコストのランタイム変更の意思決定閾値を較正するための制御型マイクロベンチマークを用いる。
• ベースライン（オプティマ中心）と提案するクロスレイヤーオーケストレーションを用いた独立ゲートを改良したPostgreSQLプロトタイプで比較する。

実験結果

リサーチクエスチョン

• RQ1 最終決定権をエグゼキュータへ移すことで、推定ドリフトや入力スケールシフト下でテールレイテンシを低減し安定性を向上させられるか。
• RQ2 Unified Risk Signal がオプティマ、エグゼキュータ、アクセラレータの視点を横断したランタイム意思決定をどれだけ効果的にガイドできるか。
• RQ3 オペレータレベルの選択に限定した Late-Binding がオーバーヘッドと実行局所性に与える影響はどの程度か。
• RQ4 CPU と GPU 実行のブレークイーブン挙動が経験的コストモデルにどれだけ近いか。
• RQ5 難しいワークロード下での中央値遅延を維持しつつ P99/P95 テール遅延を低減できるか。

主な発見

• オペレータレベルの選択の late binding は中央値遅延を劣化させずテール遅延を改善できる。
• 統合オーケストレーション系は推定ドリフトと入力スケールシフトが厳しい場合に P99 遅延を最大20倍低減する。
• 古い統計下では Unified Risk Signal が実行経路の安定性を高め、プランの不安定性を緩和する。
• CPU vs GPU オフロードのブレークイーブン点は URS によりほぼ一致しており、差はわずか 2.7% の距離に留まる。
• アクセラレータを考慮した意思決定は、固定前払いコストではなくランタイム制約として効果的に統合される。