인문학
사회과학
자연과학
공학
의약학
농수해양학
예술체육학
복합학
DBpia AI
AI 에이전트
AI 아이디어
AI 리더
AI 뷰어
Citeasy
크롬 서지관리 다운로드
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 1991.12
- 수록면
- 586 - 598 (13page)
이용수
초록· 키워드
다중프로세서 시스템에서 수행되는 병행 프로그램들은 자원의 공유와 프로세스간의 동기화를 위해 세마포어 메카니즘을 주로 이용하고 있다. 이러한 병행 프로그램에서 교착상태와 같은 동기화 에러가 발생하기 쉬운 반면, 이들을 검출할 수 있는 도구가 거의 없을 뿐만 아니라, 효율성 또한 좋지 않다. 본 논문에서는 먼저 교착상태 검출을 위하여 주로 사용되고 있는 네가지 모델을 비교하고 각 모델의 문제점을 파악한다. 그 다음 기하학적 모델을 이용한 Carson 알고리즘의 문제점을 보완ㆍ발전시킨 효율적인 교착상태 검출 알고리즘을 제안하고, 이를 바탕으로 병행 프로그램을 분석하여 교착상태가 발생한 경우 교착상태 타입을 보고하는 동기화 에러 검출 도구인 SDDT를 구현한다. 마지막으로, 본 논문은 기하학적 모델을 이용한 Carson의 동기화 에러 검출 도구와 SDDT의 성능을 비교한다.
상세정보 수정요청해당 페이지 내 제목·저자·목차·페이지정보가 잘못된 경우 알려주세요!
목차
- 요약
- ABSTRACT
- Ⅰ. 서론
- Ⅱ. 교착상태 검출 모델들의 비교 및 SDDT 구현 모델
- Ⅲ. SDDT의 구현
- Ⅳ. SDDT의 성능 평가 및 비교
- Ⅴ. 실행 예
- Ⅵ. 결론
- 참고문헌
- 저자소개
참고문헌
참고문헌 신청최근 본 자료
UCI(KEPA) : I410-ECN-0101-2009-569-017778413
