메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술대회자료
저자정보
저널정보
Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 1985년도 봄 학술발표논문집 제12권 제1호
발행연도
1985.4
수록면
419 - 428 (10page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
운영체제를 설계할 때 중요한 문제중의 하나는 자원할당정책상에서의 DEADLOCK 문제를 들 수 있다. 본 논문에서는 컴퓨터 시스템내의 일련의 "free-running" 프로세스들이 자원을 공유함에 있어 DEADLOCK 발생을 Detection 하는 알고리즘을 구축 및 실행하였다.
그리고 이 알고리즘의 구축 및 실행을 위한 접근방법으로 "PETRI NET"라고 하는 그래프 구조의 시스템 모델화 방법과 이의 분석 기법인 "Matrix Equation" 기법을 이용하였다.

목차

요약

Ⅰ. 서론

Ⅱ. Deadlock Model

Ⅲ. 시스템의 Petri Net 모델화 및 분석

Ⅳ. 컴퓨터 시스템의 deadlock detection 알고리즘

Ⅴ. 결론

참고문헌

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2009-569-017908273