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

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
저널정보
Korean Institute of Information Scientists and Engineers 정보과학회논문지(B) 정보과학회논문지(B) 제24권 제2호
발행연도
1997.2
수록면
218 - 230 (13page)

이용수

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

초록· 키워드

오류제보하기
병행 프로그램에서 생성되는 프로세스에는 비결정성이 존재하여 동일한 입력에 대해서 반복 실행할 경우에 항상 같은 실행 순서 및 결과가 보장되지 않는다. 이러한 비결정성은 일반적인 디버깅 방법의 기본 개념인 오류의 재현을 힘들게 만든다. 따라서 프로그램의 재실행성을 보장하는 것이 병행 프로그램 디버깅의 가장 중요한 요소이다.
본 논문은 병행 프로세스의 비결정적 실행을 유발하는 사건의 기록만을 이용하여 프로그램의 실행을 재현함으로 오류의 재현을 보장하는 결정적 재실행 방법을 제안하였다. 이 방법을 기반으로 병행 처리 기능을 지원하고 병행 처리 사건의 실행 순서를 기록하는 모니터링 시스템과 기록된 사건 이력과 입력 데이타를 이용하여 원시 실행의 재현을 보장하는 결정적 재실행 시스템을 개발하였다.

목차

요약

Abstract

1. 서론

2. 병행 프로그램 실행 모델

3. 결정적 재실행 구현 방법

4. 사건 포획 및 기록

5. 결정적 재실행

6. 구현 및 실험

7. 결론

참고문헌

저자소개

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

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

이 논문의 저자 정보

최근 본 자료

전체보기

댓글(0)

0

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