Unlock instant, AI-driven research and patent intelligence for your innovation.

A Deadlock Detection Method for Concurrent Systems Based on Random Process Algebra

A random process and system deadlock technology, applied in the direction of program synchronization, multi-program device, electronic digital data processing, etc., to achieve a significant effect of deadlock detection and alleviate the problem of space explosion

Inactive Publication Date: 2016-07-06
YANGZHOU UNIV
View PDF10 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Claim 4 of the present invention is to protect a method for detecting whether an action matrix with the characteristic of one-to-one correspondence between column vectors and model transitions has EQ properties. As far as we know, there is no document discussing this aspect.

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A Deadlock Detection Method for Concurrent Systems Based on Random Process Algebra
  • A Deadlock Detection Method for Concurrent Systems Based on Random Process Algebra
  • A Deadlock Detection Method for Concurrent Systems Based on Random Process Algebra

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0030] The above description is only an overview of the technical solution of the present invention. In order to understand the present invention more clearly, it can be implemented according to the contents of the description, and in order to make the purpose, characteristics and advantages of the present invention more obvious and understandable, the following special examples are given together with Accompanying drawing, detailed description is as follows.

[0031] What needs to be detected here is a concurrent system of users and servers. This concurrent system is composed of two subsystems, the user and the server, through concurrent actions job1 and job2. Each user has two local derivatives, namely "user 1" and "user 2"; each server also has two local derivatives, namely "server 1" and "server 2". In the initial state, there are M1 and M2 users in "User 1" and "User 2", respectively, and N1 and N2 servers in "User 1" and "User 2", so the total number of servers in the c...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention relates to a concurrent system deadlock detection method based on stochastic process algebra, and belongs to the technical field of computer application. The current concurrent system deadlock detection technology is influenced by a state space explosion problem so as to have bad effect. The concurrent system deadlock detection method based on the stochastic process algebra carries out deadlock detection mainly based on a logic structure of a concurrent system and structural property of a state spaced decided by the logic structure of the concurrent system, so that the complexity of the concurrent system deadlock detection method is not increased basically along with the increase of the number of same type processes in the system. Therefore, by utilizing the concurrent system deadlock detection method provided by the invention, the problem of explosion of the state space during deadlock detection of multiple large concurrent systems can be effectively released.

Description

technical field [0001] The invention relates to the technical field of computer applications, in particular to a method for detecting deadlock in a concurrent system based on random process algebra. Background technique [0002] A deadlock in a concurrent system refers to a state in which the system cannot perform any actions or tasks, which must be avoided in any system design. The description and verification of concurrent systems in the fields of computer and communication are often done by using stochastic process algebra as a modeling method. Stochastic process algebra is a formal modeling method that uses algebra as a tool to describe concurrent systems. Commonly used stochastic process algebras include PEPA[1], IMC[2], and so on. After the stochastic process algebra model of the concurrent system is established, the verification of the designed concurrent system (such as whether the system has deadlock) can be carried out on this model. [0003] For the deadlock det...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F9/46G06F9/52G06F17/50
Inventor 丁杰朱新山唐元生乔科
Owner YANGZHOU UNIV