Results 11 to 20 of about 21,187 (254)
Deadlock Prevention Algorithm in Grid Environment
MATEC Web of Conferences, 2016 Deadlock is a highly unfavourable situation, the deadlock problem becomes further complicated if the underlying system is distributed. Deadlocks in distributed systems are similar to deadlocks in single processor systems, only worse.
Malhotra Deepti
doaj +2 more sources
Deadlock-Free Monitors and Channels
, 2019 <p><a href="https://github.com/jafarhamin/deadlock-free-monitors-soundness">This repository</a> provides a formalization and a soundness proof, carried out by <a href="https://coq.inria.fr/">Coq proof assistant v8.6</a>,
Hamin, Jafar +3 more
core +4 more sources
Guaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation [PDF]
Traditionally, deadlock resolution is performed by simply aborting any process or the lowest-priority process (called the victim) involved in a deadlock cycle.
Romanovsky A, Merritt MJ, Wang Y-M
core +5 more sources
Machines, 2023 Internet of things (IoT) applications, which include environmental sensors and control of automated manufacturing systems (AMS), are growing at a rapid rate.
Husam Kaid +2 more
doaj +1 more source
Моделирование и анализ информационных систем, 2018 In this paper, we consider the classification and applications of switching methods, their advantages and disadvantages. A model of a computing grid was constructed in the form of a colored Petri net with a node which implements cut-through packet ...
Tatiana R. Shmeleva
doaj +1 more source
Fog computing effective load balancing and strategy for deadlock prediction management
Ain Shams Engineering Journal, 2023 The reliability, real-time performance, and quality of service of fog computing are dramatically affected by deadlock. In this paper, a new Deadlock Management System for a fog computing environment is proposed to achieve the best task scheduling while ...
Marwa Talaat +3 more
doaj +1 more source
Deadlock-Free Online Plan Repair in Multi-robot Coordination with Disturbances
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2021 Multirobot systems are increasingly deployed in environments where they interact with humans. From the perspective of a robot, such interaction could be considered a disturbance that causes a well-planned trajectory to fail.
Adem Coskun +2 more
doaj +1 more source
An Efficient Deadlock Recovery Policy for Flexible Manufacturing Systems Modeled With Petri Nets
IEEE Access, 2019 This paper focuses on solving deadlock problems in flexible manufacturing systems modeled with Petri nets by adding a set of recovery transitions. Different from the traditional deadlock control policies that add control places to a net model, this paper
Yunyun Dong +4 more
doaj +1 more source
Deadlock and deadlock freedom [PDF]
, 2017 We introduce a number of techniques for establishing the deadlock freedom of concurrent systems. Our methods are based on the local analysis (or at worst a directed global analysis) of networks.
Dathi, Naiem
core +1 more source
Algon: a framework for supporting comparison of distributed algorithm performance [PDF]
, 2003 Programmers often need to use distributed algorithms to add non-functional behaviour such as mutual exclusion, deadlock detection and termination, to a distributed application.
B. Worrall +9 more
core +1 more source