맞춤기술찾기

홈으로 가기
맞춤기술찾기
이전대상기술
프린트하기

이전대상기술

쓰레드 프로그램에서 재실행을 위한 논리적 사건 식별자 생성방법

  • 기술번호 : KST2015076147
  • 담당센터 : 대전기술혁신센터
  • 전화번호 : 042-610-2279
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명은 논리적 식별자를 생성하는 방법을 제시함으로써 쓰레드 프로그램 재실행 시스템을 구현할 수 있는 쓰레드 프로그램에서 재실행을 위한 논리적 사건 식별자 생성 방법에 관한 것이다.일반적으로 병렬 프로그램의 동적 분석을 위해서는 병렬 프로그램을 결정적인 실행으로 바꾸어주는 재실행(replay) 기법이 개발되어야 한다. 재실행에 유용한 정보는 참조 실행을 관찰함으로써 얻어지는데 보통 사건 식별자, 사건의 접근 순서 그리고 실행 단위(쓰레드, 프로세스 식별자)이다. 그런데 C 프로그램에서 프로그램의 실행에 영향을 주는 사건이란 공유된 영역을 접근하는 임계 영역(critical section) 코드로 프로그램의 실행에 상관없이 항상 동일한 식별자가 동일한 임계 영역을 지정하지 못하면 동적 분석을 위한 재실행 시스템을 구현하는 것이 불가능하다.따라서, 본 발명은 쓰레드 프로그램을 동적으로 분석하기 위한 재실행 시스템을 구현할 때의 사건인 공유 변수를 나타내는 논리적 사건 식별자를 생성하여 병렬 프로그램의 분석을 쉽게할 수 있도록 한 쓰레드 프로그램에서 재실행을 위한 논리적 사건 식별자 생성 방법을 제시한다.
Int. CL G06F 15/00 (2006.01)
CPC G06F 9/4843(2013.01)
출원번호/일자 1019970047177 (1997.09.12)
출원인 한국전자통신연구원
등록번호/일자
공개번호/일자 10-1999-0025512 (1999.04.06) 문서열기
공고번호/일자
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 거절
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (1997.09.12)
심사청구항수 4

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 한국전자통신연구원 대한민국 대전광역시 유성구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 이범식 대한민국 대전광역시 서구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 신영무 대한민국 서울특별시 강남구 영동대로 ***(대치동) KT&G타워 *층(에스앤엘파트너스)
2 최승민 대한민국 서울특별시 중구 통일로 **, 에이스타워 *층 (순화동)(법무법인 세종)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
최종권리자 정보가 없습니다
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 대리인선임신고서
Notification of assignment of agent		 1997.09.12 수리 (Accepted) 1-1-1997-0149682-97
2 출원심사청구서
Request for Examination		 1997.09.12 수리 (Accepted) 1-1-1997-0149683-32
3 특허출원서
Patent Application		 1997.09.12 수리 (Accepted) 1-1-1997-0149681-41
4 의견제출통지서
Notification of reason for refusal		 1999.11.27 발송처리완료 (Completion of Transmission) 9-5-1999-0358470-87
5 의견서
Written Opinion		 2000.01.20 수리 (Accepted) 1-1-2000-5018169-93
6 거절사정서
Decision to Refuse a Patent		 2000.06.15 발송처리완료 (Completion of Transmission) 9-5-2000-0140394-41
7 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2001.04.19 수리 (Accepted) 4-1-2001-0046046-20
8 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2002.08.08 수리 (Accepted) 4-1-2002-0065009-76
9 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2009.08.04 수리 (Accepted) 4-1-2009-5150899-36
10 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2015.02.02 수리 (Accepted) 4-1-2015-0006137-44
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1

쓰레드 프로그램 실행 명령에 따라 잠금 변수를 초기화 한 후 상기 잠금 변수의 초기화 상태를 확인하는 단계와,

상기 잠금 변수의 초기화 상태에 따라 실행을 종료할 것인지를 확인하거나 테이블 정보를 갱신한 후 실행을 종료할 것인지를 확인하는 단계와,

상기 실행 종료 확인 결과에 따라 상기 잠금 변수 초기화 상태를 확인하는 단계로 복귀하여 상기 단계를 반복 시행하거나 상기 테이블 정보를 파일로 기록한 후 종료 하는 단계를 포함하여 이루어진 것을 특징으로 하는 쓰레드 프로그램에서 재실행을 위한 논리적 사건 식별자 생성 방법

2 2

제 1 항에 있어서, 상기 테이블 정보는 논리적 사건 식별자, 초기화하는 쓰레드의 논리적 값, 한 쓰레드 안에서의 초기화 순서 및 잠금 변수의 주소를 포함하여 이루어진 것을 특징으로 하는 쓰레드 프로그램에서 재실행을 위한 논리적 사건 식별자 생성 방법

3 3

쓰레드 프로그램 실행 명령에 따라 잠금 변수를 초기화 한 후 테이블 정보를 파일에서 읽어 온 후 상기 잠금 변수의 초기화 상태를 확인하는 단계와,

상기 잠금 변수의 초기화 상태에 따라 실행을 종료할 것인지를 확인하거나 테이블 정보를 탐색하여 논리 식별자를 지정한 후 실행을 종료할 것인지를 확인하는 단계와,

상기 실행 종료 확인 결과에 따라 상기 잡금 변수 초기화 상태를 확인하는 단계로 복귀하여 상기 단계를 반복 시행하거나 종료 하는 단계를 포함하여 이루어진 것을 특징으로 하는 쓰레드 프로그램에서 재실행을 위한 논리적 사건 식별자 생성 방법

4 4

제 3 항에 있어서, 상기 테이블 정보는 논리적 사건 식별자, 초기화하는 쓰레드의 논리적 값, 한 쓰레드 안에서의 초기화 순서 및 잠금 변수의 주소를 포함하여 이루어진 것을 특징으로 하는 쓰레드 프로그램에서 재실행을 위한 논리적 사건 식별자 생성 방법

지정국 정보가 없습니다
패밀리정보가 없습니다
국가 R&D 정보가 없습니다.