• 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 Convergence Society for SMB
• /
• v.1 no.1
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML) is widely accepted in industry and particularly UML State Machine Diagram is popular for describing the dynamic behavior of classes. This paper discusses deadlock detection of System using UML State Machine Diagram. Since a State Machine Diagram is used for indivisual class' behavior, all the State Machine Diagrams of the classes in the system are combined to make a big system-wide State Machine Diagram to describe system behavior. Generally this system-wide State Machine Diagram is very complex and contains invalid state and transitions. To make it a usable and valid State Machine Diagram, synchronization and externalization are applied. The reduced State Machine Diagram can be used for describing system behavior thus conventional model-checking technique can be applied. This paper shows how deadlock detection of system can be applied with simple examples. All the procedures can be automatically done in the tool.

• Journal of Navigation and Port Research
• /
• v.30 no.10 s.116
• /
• pp.855-860
• /
• 2006

In the environment where multiple 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 one of the factors 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 set of time-driven simulation works validated the effectiveness of the proposed methods.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.922-924
• /
• 2005

실시간 시스템의 개발 및 운영에 사용되는 실시간 운영체제는 여러 개의 태스크가 동시에 작업할 수 있는 멀티태스킹 환경과 각 태스크에 우선순위를 부여하여 가장 높은 우선순위의 태스크가 CPU 를 선점하는 스케줄링 방법, 그리고 태스크간 동기화 및 통신을 위한 메커니즘을 제공하고 있다. 또한 여러 태스크들에 의해 사용되는 공유자원을 관리하기 위해 세마포어(Semaphore)를 사용하여 태스크간 동기화를 제공한다. 그러나 하나의 태스크가 세마포어를 이용하여 공유자원에 대해 여러 번 접근 할 경우, 데드락(Deadlock)을 일으킬 소지가 많다. 본 논문에서는 실시간 운영체제인 $iRTOS^{TM}$ 에서 데드락을 방지하기 위한 재귀적 세마포어(Recursive Semaphore)를 설계 및 구현하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 1998.10a
• /
• pp.106-111
• /
• 1998

본 연구의 목적은 트랜잭션 순서화 기법중 데이터 우선순위 알고리즘(DPLP: Data-Priority Based Locking Potocol)의 높은 재시작 비율을 낮추고, 시스템의 처리 효율을 향상 시키는 것이다. 이를 위해서 트랜잭션을 일정한 크기의 그룹으로 그룹핑하고, 같은 그룹에 있는 트랜잭션은 선점권을 인정함으로써 자원을 점유하고 있는 트랜잭션에게 우선순위를 상속하여 트랜잭션의 재시작 비율을 낮춘다. 낮은 트랜잭션이 데이터를 장시간 잠금(lock)하는 것을 방지하기 위해서 그룹 우선순위를 적용한다. 상속에 의한 데드락 방지를 위해서 충돌전에 다른 데이터의 잠금여부를 검사한다. 성능을 평가하기 위해서 분산 데이터 베이스 시스템으로 시뮬레이션 환경을 구축하여 기존의 기법들과 성능을 비교하였다. 성능 비교 결과는 본 논문에서 제안하는 데이터 우선순위 상속 알고리즘이 기존의 상속 알고리즘과 데이터 우선순위 알고리즘 보다 성능이 우수함을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.226-231
• /
• 2007

최근 비즈니스 프로세스가 복잡해짐에 따라, 비즈니스 프로세스를 설계 한 후 실행하는 과정에서 예상치 못한 문제들이 발생할 가능성 또한 높아지고 있다. 예상치 못한 문제의 발생은 막대한 비용 및 인적자원의 손실을 초래하기 때문에, 설계 된 비즈니스 프로세스는 엔진에 의해 실행되기 전에 다양한 방법으로 검증을 받아야 한다. 본 논문은, BPMN으로 설계된 비즈니스 프로세스의 컨트롤 플로우(Control Flow)에 대한 이상현상 중 데드락과 동기화의 부족에 대한 검증을 목적으로 한다. 데드락과 동기화의 부족은 Split 게이트웨이와 Join 게이트웨이의 종류에 따른 의미적 차이에 의해 발생한다. 본 논문에서는 비즈니스 프로세스를 방향성 그래프로 변환함으로써 Split 게이트웨이와 쌍을 이루는 Join 게이트웨이를 찾을 것을 제안하며, 찾아낸 (Split,Join)쌍은 컨트롤 플로우 검증 테이블을 이용하여 이상현상을 검증한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.37-40
• /
• 2011

리눅스 운영체제는 처리율(throughput)을 보장하는 것을 우선으로 하고 있으며, 태스크들의 응답시간을 보장하지는 않기 때문에 실시간 처리가 필요한 경우에는 적용하기 어렵다. 이러한 문제를 해결하기 위해 RT 패치는 선점형 커널, 인터럽트 쓰레드화, 뮤텍스의 도입 등을 통해 리눅스의 실시간 처리를 지원한다. 그러나 RT 패치는 우선순위 상속만을 지원하기 때문에, 뮤텍스의 스핀락 대체로 인한 데드락 문제를 야기할 수 있다. 본 논문에서는 이를 해결하기 위하여 PCP(Priority Ceiling Protocol)의 변형인 ICPP(Immediate Ceiling Priority Protocol)을 RT 패치에 통합되도록 구현하고, 그 성능을 분석한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04a
• /
• pp.473-476
• /
• 2001

본 논문에서는 HOL 블록킹 현상과 데드락을 줄이기 위해 공유 메모리 스위치를 이용하고 셀에 형태에 따라 유니캐스트 셀과 멀티캐스트 셀을 따로 저장하는 방법을 이용하여 셀의 부하를 줄이는 멀티캐스트 ATM 스위치를 제안한다. 그리고, 트래픽 셀의 손실을 줄이고, 효과적으로 출력하기 위해 제어부에서 출력 포트에 따라 스케줄링하는 기법을 택하였다. 제안한 스위치의 성능을 시뮬레이션을 통해 그 유효성을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.642-644
• /
• 2000

본 논문은 병렬 프로그래밍 개념 LINDA에서 read()와 in() 프리미티브의 역전에 따른 데드락 문제를 read() 프리미티브를 제거하고 in() 프리미티브와 튜플에 계수(counter) 필드를 추가하는 간편화를 통하여 해결하는 방법에 대하여 기술한다. 기존의 LIMDA 개념에서 read()와 in() 프리미티브의 차이는 전자는 튜플을 읽기만 하고 후자는 읽은 후 그 튜플을 지운다는 점에 있다. 결국 같은 튜플에 대하여 in() 프리미티브가 먼저 실행된다면 read() 프리미티브의 서비스를 요구한 프로세스는 한없이 기다리게 되는 문제가 있다. 따라서 각 프리미티브를 사용해야 하는 시점을 사용자가 주의 깊게 결정해야 하지만 이것이 병렬 프로그램의 개발에서는 그리 쉬운 일이 아니다. 따라서 본 논문에서는 read(0와 in() 프리미티브 2가지를 결합하여 in() 프리미티브 한가지와 튜플에 추가된 counter 필드를 이용하여 이 문제를 해결할 수 있는 방법을 소개한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.904-906
• /
• 2005

자바 언어는 병행 프로그래밍을 위해 쓰레드를 제공한다. 자바 병행 프로그램은 레이스 컨디션이나 데드락에 의하여 사용자가 원하지 않은 값을 출력하거나 예기치 못한 오류를 발생시킬 수 있다. 이러한 문제는 프로그램의 전반적인 신뢰성 및 안정성에 악영향을 미칠 수 있다. 본 연구에서는 실행 중에 실시간으로 쓰레드와 동기화 객체의 발생과 처리 과정을 보여줄 수 있는 모니터링 시스템을 코드 인라인 기법을 기반으로 설계 개발하였다. 이 시스템은 사용자 옵션에 따라 관심 있는 쓰레드나 동기화 객체만을 추적할 수 있으며 실행 후에 쓰레드와 동기화 객체 관련 요약 프로파일 정보를 제공한다.