인문학
사회과학
자연과학
공학
의약학
농수해양학
예술체육학
복합학
DBpia AI
AI 에이전트
AI 아이디어
AI 리더
AI 뷰어
Citeasy
크롬 서지관리 다운로드
개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 저자정보
초록·키워드
본 논문의 주요 목표는 다중프로세서 운영체제(MOS)의 커널에서 상호배제를 구현하기 위해 사용된 세마포어들 간에 발생할 수 있는 교착상태를 정적으로 검출할 수 있는 도구의 원형을 설계하는데 있다. 먼저 병행 프로세스들 간의 교착 상태 검출을 위한 선행 연구들을 조사 분석한 뒤, MOS 커널 원시 코드내의 세마포어 사용 패턴 분석 방법을 제시하고, 이를 바탕으로 교착상태 발생에 대한 검출에 필요한 절차와 관련 알고리즘들을 제시한다. 설계한 도구는 기존의 교착상태 검출 방법에 비해 false 교착상태를 거의 보고하지 않으며, 여러 개의 세마포어들 간의 교착상태도 검출할 수 있으나, 계산 복잡도로 인하여 발생 가능한 모든 교착상태를 동시에 검출할 수는 없다.
본문·목차
인공지능 문자 인식 모델을 통해 추출된 텍스트로, 일부 오타나 오류가 포함될 수 있으나 지속적으로 개선 중입니다.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
최근 본 자료 전체보기
UCI(KEPA) : I410-ECN-0101-2009-569-017920339
