[論文レビュー] Asynchronous Mobile-Edge Computation Offloading: Energy-Efficient Resource Management

Changsheng You, Yong Zeng+2 more|arXiv (Cornell University)|Jan 11, 2018

IoT and Edge/Fog Computing被引用数 6

ひとこと要約

本稿は、異なるデータ到着時刻と処理デッドラインを有する非同期モバイルエッジコンputationオフロード（MECO）システムにおけるエネルギー効率的なリソース管理フレームワークを提案する。ブロック座標降下法を用いてデータ分割と時間割り当ての共同最適化を定式化することで、総モバイルエネルギー消費を最小化する近似閉形式解が得られ、主な洞察として、最適な時間共有がユーザー間の有効計算パワーを均一化することを示している。

ABSTRACT

Mobile-edge computation offloading (MECO) is an emerging technology for enhancing mobiles' computation capabilities and prolonging their battery lives, by offloading intensive computation from mobiles to nearby servers such as base stations. In this paper, we study the energy-efficient resource-management policy for the asynchronous MECO system, where the mobiles have heterogeneous input-data arrival time instants and computation deadlines. First, we consider the general case with arbitrary arrival-deadline orders. Based on the monomial energy-consumption model for data transmission, an optimization problem is formulated to minimize the total mobile-energy consumption under the time-sharing and computation-deadline constraints. The optimal resource-management policy for data partitioning (for offloading and local computing) and time division (for transmissions) is shown to be computed by using the block coordinate decent method. To gain further insights, we study the optimal resource-management design for two special cases. First, consider the case of identical arrival-deadline orders, i.e., a mobile with input data arriving earlier also needs to complete computation earlier. The optimization problem is reduced to two sequential problems corresponding to the optimal scheduling order and joint data-partitioning and time-division given the optimal order. It is found that the optimal time-division policy tends to balance the defined effective computing power among offloading mobiles via time sharing. Furthermore, this solution approach is extended to the case of reverse arrival-deadline orders. The corresponding time-division policy is derived by a proposed transformation-and-scheduling approach, which first determines the total offloading duration and data size for each mobile in the transformation phase and then specifies the offloading intervals for each mobile in the scheduling phase.

研究の動機と目的

• 非同期データ到着と多様な処理デッドラインを有するマルチユーザーのモバイルエッジコンピューティング（MECO）システムにおけるエネルギー効率的コンピューティングオフロードの課題に対処する。
• 因果性およびデッドライン制約下で、総モバイルエネルギー消費を最小化するためのデータ分割と時分割多重アクセス（TDMA）スケジューリングの共同最適化問題を定式化する。
• 同一および逆順の到着・デッドライン順序の2つの特殊ケースに対する最適リソース割り当てポリシーを導出し、有効計算パワーのバランスに関する解析的洞察を提供する。
• ブロック座標降下法を用いて一般の非同期MECOシナリオにフレームワークを拡張し、実用的導入に適した（準）閉形式解を導出する。
• 逆順ケースに対して変換・スケジューリングアプローチを提供し、タイミング制約を破らずに効率的なオフロード時間帯の割り当てを可能にする。

提案手法

• 上行リンク伝送の単項エネルギー消費モデルを用いて、時間共有および処理デッドライン制約下で総モバイルエネルギー消費を最小化する非凸最適化問題を定式化する。
• ブロック座標降下法を適用し、データ分割と時間割り当ての共同最適化を逐次的サブ問題に分解することで、近似的最適解への反復収束を可能にする。
• 同一の到着・デッドライン順序の場合、問題を2段階に分解する：最適スケジューリング順序の選択、その後にデータ分割と時分割最適化を同時に行う。
• 最適時分割ポリシーが時間共有を通じてオフロードユーザー間の有効計算パワーを均一化することを導出し、エネルギー効率性の鍵となる洞察を提供する。
• 逆順の到着・デッドライン順序の場合、変換・スケジューリングアプローチを提案する。変換段階では総オフロード期間とデータサイズが決定され、スケジューリング段階では具体的な時間帯が割り当てられる。
• ラグランジュ双対性およびカーシュ＝クーン＝タッカー（KKT）条件を用いて、さまざまな制約下での最適データ分割および時間割り当ての解析的表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 非同期MECOシステムにおいて、異なるデータ到着時刻と処理デッドラインを有する場合、エネルギー効率的リソース管理はどのように設計可能か？
• RQ2 因果性およびデッドライン制約下で、総モバイルエネルギー消費を最小化するデータ分割と時間割り当ての最適共同ポリシーは何か？
• RQ3 すべてのモバイルが同一の到着・デッドライン順序を持つ場合、最適時分割ポリシーはどのように振る舞い、どのような構造的性質が生じるか？
• RQ4 逆順の到着・デッドライン順序のケースに最適解を拡張可能か。その場合、これを可能にする変換メカニズムは何か？
• RQ5 データサイズ、処理能力、デッドラインなどのシステムパラメータが、最適エネルギー消費およびリソース割り当てに与える影響は何か？

主な発見

• 同一の到着・デッドライン順序の場合、最適時分割ポリシーはオフロードユーザー間の有効計算パワーを均一化し、エネルギー消費のバランス化とシステム効率の向上をもたらす。
• 同一順序ケースでは、最適スケジューリング順序は逐次的（1, 2, ..., K）であり、ブロック座標降下法を用いて（準）閉形式でデータ分割と時分割ポリシーが導出される。
• 逆順の到着・デッドラインケースでは、提案された変換・スケジューリングアプローチにより、まず総オフロード期間とデータサイズが計算され、その後にエネルギー消費を最小化する時間帯が割り当てられる。
• 一般ケースの解はブロック座標降下法により得られ、与えられた制約下で主要変数の解析的表現を有するグローバル収束アルゴリズムを提供する。
• 各モバイルの最適データ分割は双対変数の解に基づき導出され、解が最小または最大データオフロード制限に達する条件が明示的に示される。
• Feasibility under the conditions $ F_k < rac{C_k heta_k}{T_k} $ and $ D_k < C_k(L_k - heta_k) $ cannot be simultaneously satisfied, ensuring the optimality of the derived policy.