A Poly-Log Approximation for Transaction Scheduling in Fog-Cloud Computing and Beyond

TL;DR

This paper introduces a poly-logarithmic approximation algorithm for transaction scheduling in fog-cloud networks, optimizing resource allocation with minimal cost, applicable to networks with constant doubling dimension.

Contribution

It presents the first poly-logarithmic approximation algorithms for transaction scheduling in fog-cloud networks, including distributed versions without global knowledge.

Findings

Achieves an $O(\log n imes \log D)$ approximation for single-object transactions.

Extends to multiple objects with an $O(k imes \log n imes \log D)$ approximation.

Provides distributed algorithms that do not require global network knowledge.

Abstract

Transaction scheduling is crucial to efficiently allocate shared resources in a conflict-free manner in distributed systems. We investigate the efficient scheduling of transactions in a network of fog-cloud computing model, where transactions and their associated shared objects can move within the network. The schedule may require objects to move to transaction nodes, or the transactions to move to the object nodes. Moreover, the schedule may determine intermediate nodes where both objects and transactions meet. Our goal is to minimize the total combined cost of the schedule. We focus on networks of constant doubling dimension, which appear frequently in practice. We consider a batch problem where an arbitrary set of nodes has transactions that need to be scheduled. First, we consider a single shared object required by all the transactions and present a scheduling algorithm that gives an $O(\log n \cdot \log D)$ approximation of the optimal schedule, where $n$ is the number of nodes and $D$ is the diameter of the network. Later, we consider transactions accessing multiple shared objects (at most $k$ objects per transaction) and provide a scheduling algorithm that gives an $O(k \cdot \log n \cdot \log D)$ approximation. We also provide a fully distributed version of the scheduling algorithms where the nodes do not need global knowledge of transactions.