• 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 KIISE:Computer Systems and Theory
• /
• v.29 no.10
• /
• pp.561-572
• /
• 2002

Deadlock detection in distributed systems is considered difficult since no single site knows the exact information on the whole system state. This paper proposes a time-efficient algorithm for distributed deadlock detection and resolution. The initiator of the algorithm propagates a deadlock detection message and builds a reduced wait-for graph from the information carried by the replies. The time required for deadlock detection is reduced to half of that of the other algorithms. Moreover, any deadlock reachable from the initiator is detected whereas most previous algorithms only find out whether the initiator is involved in deadlock. This feature accelerates the detection of deadlock. Resolution of the detected deadlock is also simplified and precisely specified, while the current algorithms either present no resolution scheme or simply abort the initiator of the algorithm upon detecting deadlock.

• Journal of KIISE:Computer Systems and Theory
• /
• v.30 no.5_6
• /
• pp.280-289
• /
• 2003

Deadlock recovery-based routing algorithms in wormhole networks have gained attraction due to low hardware complexity and high routing adaptability Progressive deadlock recovery techniques require a few dedicated resources to transmit deadlocked packets rather than killing them. Selection of deadlocked packets is primarily based on time-out value which should be carefully determined considering various traffic patterns or packet length. By its nature, current techniques using time-out accompany unignorable number of false deadlock detections especially in a heavy-loaded network or with long packet size. Moreover, when a deadlock occurs, more than one packet may be marked as deadlocked, which saturate the resources allocated for recovery. This paper proposes more accurate deadlock detection scheme which does not make use of time-out to declare deadlock. The proposed scheme reduces the probability to detect false deadlocks considerably. Furthermore, a single message is selected as deadlocked for each cycle of blocked messages, thereby eliminating recovery overheads.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.24-29
• /
• 2008

여러 개의 작업이 동시에 작동 할 때 서로 다른 작업에서 특정한 로봇이나 장치를 사용하기 위하여 상대방의 작업이 끝나기를 기다리는 상태를 교착상태라 하며 생산공정에서는 효율성과 경제성 제고에 가장 중요한 문제 중 하나다. 지금까지 이러한 교착상태 확인은 도달성(reachability)기법이나 서브넷(Subnet)으로 분리하여 분석하는 기법 등이 가장 많이 사용 되었으나, 분석에 필요한 시간과 노력, 복잡성과 효율성에 있어서 효과적이지 못한 단점을 가지고 있다. 본 연구는 페트리넷(Petri Net)에서 모든 플레이스(Place) 간의 관계를 나타내는 추이(Transitive)행렬을 이용하여 교착상태가 나타날 가능성이 있는 자원공유 플레이스(Place)를 분석하여 교착상태를 검증하는 정책을 제시한다. 이를 위하여 교착상태를 확인할 수 있는 자원공유 플레이스의 관계를 정의하고, FMS(Flexible Manufacturing System) 모델을 이용하여 제안한 알고리즘의 성과를 검증한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06c
• /
• pp.343-346
• /
• 2011

대부분의 퍼즐 게임에서 발생 할 수 있는 중요한 문제 중 하나는 교착상태 문제이다. 본 논문에서는 이러한 교착상태를 해결하기 위해 퍼즐 게임을 그래프 기법으로 나타낸 뒤, 이를 이용한 새로운 교착상태 발견 기법인 Cycle Detection을 제안한다. 기존의 기법들은 알고리즘을 수행하는데 너무 많은 시간이 걸리거나, 패턴에 대한 데이터베이스가 구축되어 있어야 하기 때문에 실시간으로 교착상태를 발견하기엔 문제가 있다. 본 논문에서는 이러한 문제점을 해결하기 위하여 탐색해야 하는 노드의 개수를 최대한 줄이는 Local search 기법과 Pruning 기법을 적용하여 퍼즐 게임을 플레이하는 동안 실시간으로 교착상태를 발견할 수 있는 기법을 제안한다. 본 기법은 성능을 평가하기 위해 실제 퍼즐게임 환경에서 알고리즘을 수행하고, 그 결과로 검색하는 노드의 개수와 검색 시간을 기존의 기법과 비교하여 성능향상을 확인하였다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.19 no.39
• /
• pp.193-204
• /
• 1996

본 연구는 FMC(Flexible Manufacturing Cell)에 있어 상호 간섭이 없는 부품의 흐름을 제어하기 위한 교착제거방법(Deadlock Avoidance Method)에 대한 제안으로서, 이 방법이 주요한 장점은 첫째, FMC의 환경을 쉽게 적용시킬 수 있고 둘째, 공정상의 부품에 대한 dispatching 모듈이 협력하도록 설계되어 있다는 것이다. 교착제거방법은 두 개의 모듈로 구성되어 있는데 이는 순환발견알고리즘(A Cycle Detection Algorithm)과 원료주문 정책으로서, 특이할 만한 사항은 순환발견알고리즘을 채용하더라도 원료주문정책이 잘못될 수 있기 때문에 교착제거방법에 있어서 원료주문정책은 매우 중요하다는 것이다. 이를 위하여 교착전의 N-step 교착을 제거하고, 발견할 수 있는 교착제거방법과 N-step의 사전주무정책을 제시하였다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2005.05a
• /
• pp.103-112
• /
• 2005

자동화 컨테이너 터미널의 생산성을 향상시키기 위해서는 장치장과 안벽 사이를 오가며 컨테이너를 운반하는 무인유도 차량(Automated Guided Vehicle: AGV)들이 효율적으로 주행하여 제 시간에 필요한 위치에 도착함으로써 연계 작업들의 지연을 최소화하여야 한다, 만일 AGV들이 목적지까지 주행하여야 하는 거리가 길거나 주행 중에 다른 AGV들과의 충돌이나 교축을 피하기 위하여 대기하여야 하는 상황이 빈번히 발생하면 주행 효율이 떨어지게 된다, 주행 경로의 길이를 줄이기 위하여 경로들을 보다 유연하게 설정할 수 있게 허용하면 경로들간의 교차 가능성이 높아져 교통 통제가 어려워지고 결과적으로 충돌과 교착이 발생할 가능성은 높아진다. 특히 교착을 사전에 방지하기 위하서는 문제가 발생할 소지가 있는 영역을 미리 파악하여 일부 영역을 다른 AGV들이 점유하지 못하도록 제한하여야 하는데, 이는 자칫 AGV 주행 공간의 활용도를 떨어뜨릴 수 있다. 또한 교착의 파악과 이를 방지하기 위한 제어는 실시간에 이루어져야 하므로 연산 부담이 상당하다. 본 논문에서는 유연한 주행 경로 설정이 가능하며 주행 공간을 효율적으로 활용할 수 있는 주행 경로 표현법과 충돌 방지 방안을 제안한다. 또한 교착 발생 가능성을 사전에 파악하고 회피(avoidance)하는데 소요되는 연산비용을 줄여 실시간 적용 가능성을 높이기 위하여 교착해결(deadlock resolution)에 기반을 둔 AGV 주행 관리 방안을 제시한다. 본 논문에서 제안하는 방안의 효율성을 시뮬레이션을 통하여 검증해 보았다.

• Annual Conference on Human and Language Technology
• /
• 1992.10a
• /
• pp.105-117
• /
• 1992

교착어(agglutinating language)에서는 다양한 통사정보가 독자적인 형태소에 내재되어 있다. 국어의 경우 형태소의 분석이 통사구조 분석에 선행되어 이루어져야 하는 이유가 바로 국어의 교착어적인 속성에 기인한다. 이 논문의 전반부에서 국어의 교착성을 명확히 보여주는 등위 접속구문을 핵심어 주도 구구조문법(HPSG)에 의하여 분석한다. 후반부에서는 PROLOG로 구현된 국어의 형태소 분석기와 통사구조 분석기(PARSER)를 소개한다.

• Journal of Navigation and Port Research
• /
• v.42 no.1
• /
• pp.47-56
• /
• 2018

In this study, the focus is on the issue of whether a container terminal is facing the limitation of its productivity for serving mega-vessels with numerous containers. In order to enhance the terminal operations, a new conceptual design of the container handling system have been proposed. This research focuses on the rail-based container transport system and its operations. This system consists of rail-based shuttle cranes and rail-based transporters called flatcars. The deadlock problem for managing automated transporters in container terminals has been an important issue for a long measurement of time. Therefore, this study defines the deadlock situation and proposes its avoidance rules at the rail-based container transport system, which is required to handle numerous container throughput operations. The deadlock in the rail-based container transport system is classified into two parts: deadlock between cranes and flatcars; deadlock between flatcars. We developed the simulation model for use with characterizing and analyzing the rail-based container transport system. By running the simulation, we derived possible deadlock situations, and propose the several deadlock avoidance algorithms to provide results for these identified situations. In the simulation experiments, the performances of the deadlock avoidance algorithms are compared according to the frequency of deadlocks as noted in the simulations.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.6
• /
• pp.268-277
• /
• 2001

최소의 다중전송 지연시간을 갖기 위하여 다중 목적지 패킷의 경로 길이와 웜의 초기화 횟수를 최소화한 다중전송 알고리즘을 제안한다. 그 알고리즘은 교착이 탈출 채널에서 복구되면서 단일 전송과 다중전송 메시지에 대하여 완전 적응하며 교착이 발생하지 않게 한다. Disha로 동시에 경로 기반 다중 전송 할 때 교착이 발생하지 않기 위해서는 2개의 교착버퍼가 필요하다. 다중 전송 지연 시간은 메시지 startup 지연시간에 좌우된다. 제안된 시스템은 단지 2번 이하의 메시지 startup 횟수를 가지며 이것은 기존의 어떤 다른 시스템보다 뛰어난 성능을 갖는다.