Concurrent system deadlock detection method based on stochastic process algebra
A random process and system deadlock technology, applied in program synchronization, multi-programming device, electrical digital data processing, etc., to achieve significant deadlock detection effect and alleviate the effect of space explosion problem
Inactive Publication Date: 2013-12-25
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
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
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
Login to View More Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/46G06F9/52G06F17/50
Inventor 丁杰朱新山唐元生乔科
Owner YANGZHOU UNIV