Satellite edge computing (SEC) is an important component for future network deployments. This article studies the task offloading in the SEC system with limited buffers (SEC–LB) and data dependencies among tasks. Due to the competition for LBs, a resource circular-waiting pattern may be formed, leading to a deadlock. To well analyze deadlocks, the Petri net model of SEC–LB is constructed for the first time. Then, a Petri-net-based modified Banker's algorithm (MBA) is proposed to determine the safety of a state, and a deadlock avoidance policy (DAP) $\rho_{\text{MBA}}$ with polynomial complexity is developed for SEC–LB. Moreover, we present an improved version of MBA, namely topology-based Banker's algorithm (TBBA), as well as its corresponding DAP $\rho_{\text{TBBA}}$. Compared with $\rho_{\text{MBA}}$, a scheme of simplifying the safety-determining is employed in $\rho_{\text{TBBA}}$. Simulation results demonstrate that $\rho_{\text{TBBA}}$ has higher efficiency and better performance than $\rho_{\text{MBA}}$ and the existing DAPs, especially for large-scale SEC–LB.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Polynomial-Complexity Deadlock Avoidance Policy for Tasks Offloading in Satellite Edge Computing With Data-Dependent Constraints and Limited Buffers


    Contributors:


    Publication date :

    2024-10-01


    Size :

    3039089 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    High-Performance, Low-Complexity Deadlock Avoidance for Arbitrary Topologies/Routings

    Jose A. Pascual / Javier Navaridas | BASE | 2018

    Free access

    Optimal Offloading of Computing-intensive Tasks for Edge-aided Maritime UAV Systems

    Li, Huanran / Wu, Shaohua / Li, Dongqing et al. | IEEE | 2022


    Autonomous navigation with deadlock detection and avoidance

    Sanchez, Guido Marcelo / Giovanini, Leonardo Luis | BASE

    Free access

    Resource Allocation and Offloading Strategy for UAV-Assisted LEO Satellite Edge Computing

    Hongxia Zhang / Shiyu Xi / Hongzhao Jiang et al. | DOAJ | 2023

    Free access