Abstract:Effective resource allocation is crucial in operating systems to prevent deadlocks, especially when resources are limited and non-shareable. Traditional methods like the Banker's algorithm provide solutions but suffer from limitations such as static process handling, high time complexity, and a lack of real-time adaptability. To address these challenges, we propose the Dynamic Banker's Deadlock Avoidance Algorithm (DBDAA). The DBDAA introduces real-time processing for safety checks, significantly improving system efficiency and reducing the risk of deadlocks. Unlike conventional methods, the DBDAA dynamically includes processes in safety checks, considerably decreasing the number of comparisons required to determine safe states. This optimization reduces the time complexity to O(n) in the best-case and O( nd ) in the average and worst-case scenarios, compared to the O( n 2 d ) complexity of the original Banker's algorithm. The integration of real-time processing ensures that all processes can immediately engage in safety checks, improving system responsiveness and making the DBDAA suitable for dynamic and time-sensitive applications. Additionally, the DBDAA introduces a primary unsafe sequence mechanism that enhances the acceptability and efficiency of the algorithm by allowing processes to participate in safety checks repeatedly after a predetermined amount of system-defined time. Experimental comparisons with existing algorithms demonstrate the superiority of the DBDAA in terms of reduced safe state prediction time and increased efficiency, making it a robust solution for deadlock avoidance in real-time systems.

A framework for deadlock detection in core ABS

Deadlock and Blockage Control for Manufacturing Systems with Failure-Prone Workstations

Supervisory Control of Deadlock-Prone Production Systems with Routing Flexibility and Unreliable Resources.

A Polynomial Complexity Deadlock Avoidance Method for a Class of Flexible Manufacturing Systems

Design of Petri net-based deadlock prevention controllers for flexible manufacturing systems

Computationally Improved Optimal Control Methodology for Linear Programming Problems of Flexible Manufacturing Systems.

Petri‐net‐based Deadlock Detection and Recovery for Control of Interacting Equipment in Automated Container Terminals

Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets

Deadlock Detection in Linear Recursive Programs

Constraint-Based Deadlock Checking of High-Level Specifications

DBDAA: A real-time approach to Dynamic Banker's Deadlock Avoidance Algorithm with optimized time complexity

Capability Analysis and Integrated Application of Deadlock Detection Tools

On the Generation of Initial Contexts for Effective Deadlock Detection

Formal verification of a deadlock detection algorithm

Static Deadlock Detection for Rust Programs

On-the-fly Deadlock Detection with Partial-order Reduction Based on CEGAR

A Mobile Agent Enabled Approach for Distributed Deadlock Detection.

Don't Get Stuck: A Deadlock Recovery Approach

Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra

The Before, During, and After of Multi-Robot Deadlock

Deadlock-Free Solution in Collaborative Workflow Environment