http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
MOS 커널에서의 락과 세마포어 관련 오류의 동적 디버깅 기법
강성익(Sung-Ick Kang),박상서(Sang-Seo Park),김성조(Sung-Jo Kim) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.2
MOS(Multiprocessor Operating System) 커널 개발시 락 설정 범위(lock granularity)를 부적절하게 설정하거나 락과 세마포어를 잘못 사용함으로서 시스템 성능의 저하 혹은 교착상태 방생 등의 문제가 빈번히 발생할 수 있다. 본 논문에서는 동작중인 MOS 커널에서 세마포어와 락에 관련된 정보를 동적으로 추출하여 분석한 뒤 우선순위(hierarchy), 일관성(consistency) 및 락 설정 범위의 조사와 교착상태 검출을 지원하는 락과 세마포어 관련 동적 디버깅 기법에 관하여 기술한다.