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