• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.8
• /
• pp.192-200
• /
• 1994

Gupta defined deadlocks in the blocks world and proved that decision making problem in the blocks world is NP-Complete. The types of deadlocks are classified and the properties of deadlocks are analyzed in this paper. The heuristic planner algorithm for the limited table-capacity blocks world using both the inverse position of the block and properties of deadlocks is designed and its performance is also evaluated.

• Journal of The Korean Association of Information Education
• /
• v.2 no.2
• /
• pp.269-277
• /
• 1998

In most of the distributed deadlock detection algorithms using messages called probes, only a portion of the generated messages are effectively used, and hence the wasted probes cause heavy communication traffic. In this paper, a distributed deadlock detection algorithm is proposed which can efficiently detect deadlocks making use of those residue probes. Our algorithm is complete in the sense that they detect not only those deadlocks in which the initiator is involved as most other algorithms do, but all the other deadlocks that are present anywhere in a connected wait-for-graph. To detect all the deadlocks, the algorithms known to be most efficient require O(ne) messages, where e and n are the number of edges and nodes in the graph, respectively. The single execution of the presented algorithm can accomplish the same task with O(e) messages.

• Journal of Korean Institute of Industrial Engineers
• /
• v.26 no.4
• /
• pp.392-401
• /
• 2000

In this work, a deadlock avoidance strategy is proposed in order to effectively handle conflicts and deadlocks occurring in zone-control AGV (Automated Guided Vehicle) systems. The basic idea is based on Capacity-designated Directed Graph (CDG) theory that was developed to avoid from deadlocks in manufacturing systems. However, to enforce the effectiveness of detecting impending and restricted deadlocks, AGV routings are explicitly described in Extended Directed Graph (EDG). From EDG, a non-conservative deadlock-avoidance strategy is derived. The superiority of the proposed strategy lies on the applicability to diverse AGV path configurations using zone control. Also, because of its insensibility and robustness, it can be effectively used when the system has randomness and stochastic nature.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.5_6
• /
• pp.257-267
• /
• 2004

Most algorithms for handling distributed deadlock problem in the generalized request model use the diffusing computation technique where propagation of probes and backward propagation of replies carrying dependency information between processes are both required to detect deadlock Since fast deadlock detection is critical, we propose an algorithm that lets probes rather than replies carry the information required for deadlock detection. This helps to remove the backward propagation of replies and reduce the time cost for deadlock detection to almost half of that of the existing algorithms. Moreover, the proposed algorithm is extended to deal with concurrent executions, which achieves further improvement of deadlock detection time, whereas the current algorithms deal only with a single execution. We compare the performance of the proposed algorithm with that of the other algorithms through simulation experiments.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.31 no.3
• /
• pp.24-34
• /
• 2008

본 논문은 존 조정하에서의 자동반송차량 네트워크에서 발생하는 고착을 해결하기 위한 두 가지 효과적인 알고리듬을 소개한다. 이 알고리듬들은 특별히 양방향 네트워크에 알맞도록 고안되었다. 사이클 제거 알고리듬은 고착을 예방하기 위한 차량의 안전한 라우트를 결정하나, 그래프 축소 알고리듬은 고착을 회피하기 위하여 미래 잠재적인 고착 발생 조건을 결정한다. 시뮬레이션을 통하여 알고리듬들의 성능을 비교 분석한 결과 작업물의 이동 횟수와 알고리듬의 시간 복잡성 측면에서 그래프 축소 알고리듬이 사이클 제거 알고리듬 보다 우수함을 나타내었다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.1
• /
• pp.387-392
• /
• 2006

In the environment where AGVs(Automated Guided Vehicles) operate concurrently in limited space, collisions. deadlocks, and livelocks which have negative effect on the productivity of AGVs occure more frequently. The accelerated motion of an AGV is also the factor that make the AGV routing more difficult because the accelerated motion makes it difficult to estimate the vehicle's exact travel time. In this study, we propose methods of avoiding collisions, deadlocks, and livelocks using OAR(Occupancy Area Reservation) table, and selecting best route by estimating the travel time of an AGV in accelerated motion. A time-driven simulation validated the effectiveness of the proposed methods.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.13 no.3
• /
• pp.475-481
• /
• 2009

The frequency and probability of deadlock are influential factors in the design of algorithms for deadlock. However, little work has been done in this area because it's not easy to analyze how factors such as the characteristics of process or resource, resource request and release patterns, or the number of process affect the occurrence of deadlock. This study was designed to reduce remarkably the number of state by adapting the model 'state (a,b)t' to represent the resource allocation state, as well as to include the effect of resource error rate and recovery rate in the system analysis. Various formulas about deadlock occurrence were resulted in this study such as the average time interval of deadlock, the probability that a process requesting a resource waits or deadlocks, and the probability that a request deadlocks in a cycle of length 2.

• Journal of Intelligence and Information Systems
• /
• v.11 no.3
• /
• pp.25-43
• /
• 2005

In modern automated container terminals, automated guided vehicle (AGV) systems are considered a viable option for the horizontal tansportation of containers between the stacking yard and the quayside cranes. AGVs in a container terminal move rather freely and do not follow fixed guide paths. For an efficient operation of such AGVs, however, a sophisticated traffic management system is required. Although the flexible routing scheme allows us to find the shortest possible routes for each of the AGVs, it may incur many coincidental encounters and path intersections of the AGVs, leading to collisions or deadlocks. However, the computational cost of perfect prediction and avoidance of deadlocks is prohibitively expensive for a real time application. In this paper, we propose a traffic control method that predicts and avoids some simple, but at the same time the most frequently occurring, cases of deadlocks between two AGVs. More complicated deadlock situations are not predicted ahead of time but detected and resolved after they occur. Our method is computationally cheap and readily applicable to real time applications. The efficiency and effectiveness of our proposed methods have been validated by simulation.

• Journal of the Korea Society of Computer and Information
• /
• v.6 no.2
• /
• pp.34-40
• /
• 2001

This thesis shows that the edge-chasing deadlock detection algorithm of Choudhary fails to remove the existing deadlocks after committing the transaction whose priority is lowest on the transaction wait-fer path. A modified algorithm that solves this problem is proposed.

• ETRI Journal
• /
• v.11 no.4
• /
• pp.22-36
• /
• 1989

In this paper, a design and implementation of an efficient protocol verification system named LOVE has been described. The LOVE has been developed specifically for LOTOS. It performs not only protocol syntax validation (PSV) but also protocol functional verification(PFV). The PSV is a test to check if a protocol is free from protocol syntax errors such as deadlocks and livelocks. The PFV confirms whether or not a protocol achieves its functional objectives. For the PSV, the reachability analysis is employed, and the observational equivalence test is used for the PFV. For protocol verification using the LOVE, a schematic protocol verification methodology has been outlined.