[論文レビュー] Efficient Tree Layout in a Multilevel Memory Hierarchy

Stephen Alstrup, Michael A. Bender+4 more|ArXiv.org|Nov 12, 2002

Algorithms and Data Compression参考文献 15被引用数 14

ひとこと要約

この論文は、ブロックサイズを事前に知らない状態でも、多層メモリ階層においてほぼ最適なパフォーマンスを達成する高速なキャッシュオブリビアスな木レイアウトアルゴリズムを提示する。既知のブロックサイズレイアウトをキャッシュオブリビアスなレイアウトに変換するための「スプリット・アンド・リファイン」手法を導入し、パフォーマンスの低下が定数倍以内に抑えられる。$O(N\lg N)$ の実行時間で、既知のブロックサイズレイアウトアルゴリズムを $O(\lg N)$ 回呼び出すことで実現される。

ABSTRACT

We consider the problem of laying out a tree with fixed parent/child structure in hierarchical memory. The goal is to minimize the expected number of block transfers performed during a search along a root-to-leaf path, subject to a given probability distribution on the leaves. This problem was previously considered by Gil and Itai, who developed optimal but slow algorithms when the block-transfer size B is known. We present faster but approximate algorithms for the same problem; the fastest such algorithm runs in linear time and produces a solution that is within an additive constant of optimal. In addition, we show how to extend any approximately optimal algorithm to the cache-oblivious setting in which the block-transfer size is unknown to the algorithm. The query performance of the cache-oblivious layout is within a constant factor of the query performance of the optimal known-block-size layout. Computing the cache-oblivious layout requires only logarithmically many calls to the layout algorithm for known block size; in particular, the cache-oblivious layout can be computed in O(N lg N) time, where N is the number of nodes. Finally, we analyze two greedy strategies, and show that they have a performance ratio between Omega(lg B / lg lg B) and O(lg B) when compared to the optimal layout.

研究の動機と目的

• ブロックサイズが未知で、アクセスパターンが非一様な階層的メモリシステムにおける木レイアウト最適化の課題に対処すること。
• ルートからリーフへの探索における予想ブロック転送回数を最小化する固定トポロジー木のための効率的アルゴリズムを開発すること。
• 既知のブロックサイズレイアウトアルゴリズムをキャッシュオブリビアスな設定に拡張し、ブロックサイズに依存しない形で最適解の定数倍以内のパフォーマンスを保証すること。
• 既知のブロックサイズ設定におけるグリーディ戦略のパフォーマンスを分析し、近似比の上限を確立すること。

提案手法

• ブロックサイズ $B$ が既知の状態で、$O(N)$ 時間で実行され、任意の $\delta > 0$ に対して最適解から加法的 $1+\delta$ 以内のレイアウトを生成する動的計画法のアプローチを提案する。
• 複数の詳細レベルにわたるブロック分割を再帰的に精緻化する「スプリット・アンド・リファイン」手法を導入し、ブロック境界をまたぐエッジ（ストラドリングエッジ）の数を最小化する。
• 期待値の線形性を用いて、精緻化されたレイアウトにおけるブロック転送回数の期待値を評価し、既知のブロックサイズレイアウトの最適解の定数倍以内であることを示す。
• 同様の再帰的精緻化戦略を用いて、期待コストではなく最大ブロックコストを最小化するように「スプリット・アンド・リファイン」フレームワークを適応させる。
• ストラドリングエッジの寄与度を各レベルにわたって評価することで、精緻化されたレイアウトの期待コストが最適コストの最大16倍であることを証明する。
• スムーズネス補題を活用し、精緻化されたレイアウトにおける最大ブロックコストが最適解の定数倍以内に保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ブロックサイズが既知の任意の状況において、最適レイアウトの定数倍以内のパフォーマンスを達成するキャッシュオブリビアスな木レイアウトアルゴリズムを設計できるか？
• RQ2 ブロックサイズが既知の状況において、自然なグリーディアルゴリズムの木レイアウトに対する近似比は何か？
• RQ3 ブロックサイズを事前に知らない状態で、既知のブロックサイズレイアウトをキャッシュオブリビアスレイアウトに効率的に変換する方法は何か？
• RQ4 動的計画法に基づく木レイアウトアルゴリズムにおいて、実行時間効率とレイアウト品質のトレードオフは何か？
• RQ5 「スプリット・アンド・リファイン」手法を、期待コストではなく最大ブロックコストを最小化するように適応できるか？

主な発見

• 既知のブロックサイズレイアウトで最も高速なアルゴリズムは $O(N)$ 時間で実行され、任意の $\delta > 0$ に対して最適解から加法的 $1+\delta$ 以内のレイアウトを生成する。
• 「スプリット・アンド・リファイン」手法により、任意の既知のブロックサイズレイアウトを、期待ブロック転送回数が最大定数倍増加する範囲でキャッシュオブリビアスレイアウトに変換できる。
• キャッシュオブリビアスレイアウトは、$O(N\lg N)$ 時間で計算可能であり、既知のブロックサイズレイアウトアルゴリズムを $O(\lg N)$ 回呼び出すことで実現される。
• 既知のブロックサイズに対して用いられる2つのグリーディ戦略の性能比は、最適レイアウトに対して $\Omega(\lg B / \lg\lg B)$ から $O(\lg B)$ の間である。
• 精緻化されたキャッシュオブリビアスレイアウトにおけるブロック転送回数の期待値は、既知のブロックサイズケースの最適期待コストの最大16倍である。
• 最大ブロックコストを最小化するように拡張した手法は、スムーズネス補題を用いた類似の解析により、定数倍の近似を維持する。