최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기한국시뮬레이션학회논문지 = Journal of the Korea Society for Simulation, v.18 no.1, 2009년, pp.9 - 16
김종욱 (창원대학교 컴퓨터공학과) , 이종근 (창원대학교 컴퓨터공학과)
Since a deadlock is a condition in which the excessive demand for the resources being used by others causes activities to stop, it is very important to detect and prevent a deadlock. About the deadlock detection analysis methods are may divide like as Siphon, DAPN and transitive matrix, but it's ver...
* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.
핵심어 | 질문 | 논문에서 추출한 답변 |
---|---|---|
패트리 넷을 이용한 교착 상태 확인 알고리즘에는 어떤 것이 가장 많이 사용되고 있는가? | 이러한 교착 문제를 해결하기 위하여 패트리 넷(Petri Net)을 활용 한 교착 상태 확인 및 회피 방법 연구가 활발하다. 패트리 넷을 이용한 교착 상태 확인 알고리즘에는 특히 사이폰(siphon)을 이용한 교착상태 확인 기법이 가장 많이 사용되고 있으며[1-4,7-10], 관계 행렬을 이용한 기법[6] 그리고 추이적 행렬을 이용한 기법[11,12] 등이 있다. 사이폰이란 입력 플레이스에 의하여 삽입 된 토큰이 다시 입력플레이스로 주입되는 특성을 가진 서브 넷 개념으로 이러한 과정을 통하여 토큰의 수가 줄어들어 교착상태의 발생 여부를 확인할 수 있는 알고리즘이다. | |
교착상태란? | 교착상태란 시스템의 공정 중에 포함 된 여러 작업에서 공동으로 사용되는 공유 자원을 각 작업에서 상호적으로 사용을 기다려 시스템의 작업 공정이 중단 된 상태를 의미하며, 현대의 많은 기술 시스템인 자동생산시스템, 데이터 통신, 다중처리 운영시스템과 분산 데이터베이스 시스템 등에서 가장 잘 알려진 문제이다. 이러한 교착 문제를 해결하기 위하여 패트리 넷(Petri Net)을 활용 한 교착 상태 확인 및 회피 방법 연구가 활발하다. | |
사이폰과 트랩을 이용한 교착상태 확인 알고리즘은 어떤 과정을 거치게 되는가? | step 1. 패트리 넷에서 시작 마킹을 시작으로 사이클 프로세스를 찾는다; step 2. 마지막 마킹까지를 시작으로 모든 사이클 프로세스를 찾을 때까지 step 1을 반복한다; step 3. 모든 사이클 프로세스 n개를 구한다; step 4. 각 사이클 프로세스에서 사이폰과 트랩의 성질을 분석한다; step 5. 사이클의 성질 분석에서 최소 사이폰이면 교착 상태로, 없으면 교착자유상태로 확인; step 6. 모든 사이클 프로세스 n까지 step 4-5를 반복 한다; |
Corbett JC (1996), "Evaluating Deadlock detection methods for concurrent software", IEEE tr. Sof. Eng. Vol. 22 (3), pp. 161-180.
Damasceno BC. And Xie X. (1999), "Petri nets and deadlock-free scheduling of multiple-resource operations", In IEEE SMC'99, pp. 878-883.
F. Chu and X-L. Xie (1997), "Deadlock Analysis of Petri nets using Siphon and Mathematical Programming", IEEE Tr on Robotics and Automation, Vol. 13, No. 6, pp. 793-804.
Ezpleta J.,Colom JM,Martinez J. (1995), "A Petri net based deadlock prevention policy for flexible manufacturing systems", IEEE tr. Robotics and Automat., Vol. 11, No. 2, pp. 173-184.
Liu J.,Itoh Y., Miyazawa I., Seikiguchi T., (1999). "A Research on Petri nets Properties using Transitive matrix", In: Proceeding IEEE SMC'99, pp. 888-893.
송유진, 이종근 (2006), "DAPN과 인접행렬을 이용한 교착상태 회피에 대한 연구", 한국시뮬레이션학회 논문지, 15권 (1호), pp. 1-10.
Y-Sheng Huang (2007), "Design of deadlock prevention supervisors using Petri nets", In: J.Adv. manuf. Tech., Vol. 35, pp. 349-362.
ZW Li, M.Uzam, MCZhou (2008), "Deadlock control of concurrent manufacturing processes sharing finite resources", In J. Adv. manuf. Tech., Vol. 38, pp. 787-800.
김정철 외 2 (2007), "Siphon특성을 이용한 FMS의 Deadlock 해석과 제어", 제어자동시스템공학 논문지, 13권 (7호), pp. 677-682.
ZW Li,MC Zhou,MD Jeng (2008), "A Maximally Permissive deadlock prevention policy for FMS based on petri nets Siphon control and the theory of regions", In: IEEE tr. on Automation Scie. and Eng., Vol. 5, No. 1, pp. 182-188.
김종욱, 이종근 (2008), "자원공유플레이스 추이적행렬을 이용한 효율적인 교착상태 확인정책", 한국시뮬레이션학회 논문지, 17권 (3호), pp. 75-83.
김종욱, 정상운, 이종근 (2008), "추이적 행렬을 이용한 교착상태확인 알고리즘의 성능 분석", '08추계학술대회논문집, 한국시뮬레이션학회, 서울산업대, pp. 98-102.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
Free Access. 출판사/학술단체 등이 허락한 무료 공개 사이트를 통해 자유로운 이용이 가능한 논문
※ AI-Helper는 부적절한 답변을 할 수 있습니다.