Abstract:Existing dynamic methods for deadlock avoidance have four main draw backs :limited capability ,passive or blind avoiding algorithm , large performance overhead and no guarantee of correctness of target programs . In order to solve these problems , a combined static and dynamic avoiding method based on future lockset is proposed and named as Flider .The key idea is that ,for a lock operation ,if none of its future locks are occupied ,then it makes sure that executing this lock operation won't lead the current thread to trap into a deadlock state .The future lockset for a lock operation is a set of locks that will be requested by the current thread before the corresponding unlock operation is reached .Firstly ,Flider statically computes lock effects for lock operations and function call operations , and inserts them before and after the corresponding operations . Secondly , Flider dynamically intercepts lock operations and computes its future lockset using lock effects inserted by static analysis .Flider permits a lock operation to be executed if and only if all locks of its lockset are not held by any other threads .Otherwise ,the lock operation waits until the condition is satisfied . Evaluation and comparison experiments verify that this method can efficiently avoid multi-type deadlocks in an active ,intelligent ,scalable and correctness-guaranteed way .

System forecast locking in collaborative pattern design

Intelligent Locking in Collaborative Pattern Design Based on Forecast

Deadlock-free Genetic Scheduling Algorithm for Flexible Manufacturing Systems with Key Resources

Pre-allocation and partition of buffers for deadlock control in flexible manufacturing systems

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

Distributed Dynamic-Locking In Real-Time Collaborative Editing Systems

Process Rule Abstraction and Storage of Collaborative Pattern Design

Semantic locking in real-time Internet-based collaborative graphics design systems

Design and Implementation of Lock Management System in Engineering Database

A Late Join Approach for Distributed Dynamic-locking in Real-time Collaborative Editing Systems

Maintaining Semantic Consistency in Real-Time Collaborative Graphics Editing Systems

Research on Collaborative Locking Strategy for Distributed Locking System of Space Manipulator

Deadlock Avoiding Based on Future Lockset

Preserving Consistency In Distributed Embedded Collaborative Editing Systems

Locking Intention Preservation Based On Address Space Transformation Technique

Collaborative model for concurrent product design

Plock: A Fast Lock for Architectures with Explicit Inter-core Message Passing.

DPCP-p: A Distributed Locking Protocol for Parallel Real-Time Tasks

Function Block Based Design Pattern For Flexible Manufacturing Control System

Flexible Concurrency Control for Synchronized Collaborative Design

Lock-Free Collaboration Support for Cloud Storage Services with Operation Inference and Transformation.