🤖 AI Summary
This work addresses end-to-end latency minimization in arbitrary heterogeneous edge networks by jointly optimizing congestion-aware data/result routing and computational offloading decisions. To capture node capability heterogeneity and nonlinear, congestion-dependent transmission and processing delays, we formulate the first geodesically convex optimization model for this problem. We derive a sufficient global optimality condition based on the Karush–Kuhn–Tucker (KKT) conditions and establish lower semicontinuity of the solution set to ensure robustness against parameter perturbations. Furthermore, we design a fully distributed algorithm with provable convergence to the global optimum. Experiments demonstrate that our approach significantly reduces end-to-end latency compared to multiple baseline methods, while improving resource utilization and system fairness. It also supports utility-driven congestion control and admits natural extensions for fairness enhancement.
📝 Abstract
Emerging edge computing paradigms enable heterogeneous devices to collaborate on complex computation applications. However, for arbitrary heterogeneous edge networks, delay-optimal forwarding and computation offloading remains an open problem. In this paper, we jointly optimize data/result routing and computation placement in arbitrary networks with heterogeneous node capabilities, and congestion-dependent nonlinear transmission and processing delay. Despite the non-convexity of the formulated problem, based on analyzing the KKT condition, we provide a set of sufficient optimality conditions that solve the problem globally. To provide the insights for such global optimality, we show that the proposed non-convex problem is geodesic-convex with mild assumptions. We also show that the proposed sufficient optimality condition leads to a lower hemicontinuous solution set, providing stability against user-input perturbation. We then extend the framework to incorporate utility-based congestion control and fairness. A fully distributed algorithm is developed to converge to the global optimum. Numerical results demonstrate significant improvements over multiple baselines algorithms.