Deadlock in a shared resource system is a well-known problem. It has been extensively studied and recently a new class of resource reservation technique is researched upon for deadlock free resource management. This c...
详细信息
In Multi-user and Multi-take environment, to ensure the normal operation of the system, we must to take measures in advance, to avoidance strategy or prevention strategy take place, The banker'salgorithm is the f...
详细信息
In Multi-user and Multi-take environment, to ensure the normal operation of the system, we must to take measures in advance, to avoidance strategy or prevention strategy take place, The banker'salgorithm is the famous method to avoidance strategy. In this paper, we studied the principle and data structure of banker'salgorithm, designed the concrete steps of the algorithm, and implement the algorithm by design a program. In the experiment, although we repeated changes the method of the loop algorithm, we Can still get the same conclusion. That is: no matter what loop order, the result that system is in or not in safe is the same. Because if in safe station, the system sometimes exist several security sequence, We adopted a different method, in which different sequence obtained。
It is essential to avoid deadlock and blockage in the operation of an automated manufacturing system (AMs) since they cripple a part of the system, if not the whole, and then deteriorate system performance. Though a l...
详细信息
It is essential to avoid deadlock and blockage in the operation of an automated manufacturing system (AMs) since they cripple a part of the system, if not the whole, and then deteriorate system performance. Though a large number of approaches are developed to resolve this issue, few of them are directly applicable to AMss with failure-prone resources. Thisstudy focuses on the supervision for deadlock avoidance and blockage control in a class of AMss with multiple unreliable resources, where each resource is a workstation. The authors hope that the system, under the control of a supervisor, can at all time automatically continue producing parts whose processing routes do not contain any of the currently failed workstations. Inspired by the widely known banker'salgorithm and a resource order policy, thisstudy presents a robust supervisory controller that satisfies the above desired requirement. All the evidence shows that authors' policy performs better than the original one in terms of permissiveness. Furthermore, an example AMs from existing literature is used to illustrate the effectiveness of authors' proposed method.
In Multi-user and Multi-take environment, to ensure the normal operation of the system, we must to take measures in advance, to avoidance strategy or prevention strategy take place, The banker'salgorithm is the f...
详细信息
In Multi-user and Multi-take environment, to ensure the normal operation of the system, we must to take measures in advance, to avoidance strategy or prevention strategy take place, The banker'salgorithm is the famous method to avoidance strategy. In this paper, we studied the principle and data structure of banker'salgorithm, designed the concrete steps of the algorithm, and implement the algorithm by design a program. In the experiment, although we repeated changes the method of the loop algorithm, we Can still get the same conclusion. That is: no matter what loop order, the result that system is in or not in safe is the same. Because if in safe station, the system sometimes exist several security sequence, We adopted a different method, in which different sequence obtained。
Presents a method for deadlock avoidance algorithm used in Flexible Manufacturing system(FMs). This method is an improvement of the bankeralgorithm. The bankeralgorithm is commonly used in the Operating system (Os),...
详细信息
Presents a method for deadlock avoidance algorithm used in Flexible Manufacturing system(FMs). This method is an improvement of the bankeralgorithm. The bankeralgorithm is commonly used in the Operating system (Os), but some improvements will have to be made on the algorithm if thisalgorithm is used in FMs. The difference between the process in operating system and the job in the FMs is fully discussed. Based on this difference, the improvement is made. In order to improve the algorithm, formal methods are adopted to the manufacturing systems. The simulation model is translated into a format suitable for model checking. That is, the model is written into PROMELA, the input language of the popular model checker sPIN. After that, sPIN is used to verify that the model does not have deadlock. Thisalgorithm proves to be highly effective in practice.
The subject of this paper is the computational complexity of the deadlock prediction problem for resource allocation. This problem is the question “Is deadlock avoidable?” i.e. “Is there a feasible sequence in whic...
详细信息
The subject of this paper is the computational complexity of the deadlock prediction problem for resource allocation. This problem is the question “Is deadlock avoidable?” i.e. “Is there a feasible sequence in which to allocate all the resource requests?” given the current status of a resource allocation system. Thisstatus is defined by (1) the resource vector held by the banker, i.e. the quantity of resources presently available for allocation, and (2) the resource requests of the processes: Each process is required to make a termination request of the form “Give me resource vector y and I will eventually terminate and return resource vector z.” Also, each process can make any number of partial requests of the form “If you can’t give me y, then give me a smaller resource vector yspan><span style="display: inline-block; width:
暂无评论