요약 | 본 발명은 공유메모리 프로그램의 최초경합 탐지 장치 및 방법에 관한 것으로, 공유메모리 프로그램에서 공유 변수에 대한 최초경합을 탐지하는 장치에 있어서, 읽기사건이 상기 최초경합의 읽기 후보사건으로 결정되면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 플래그(flag)를 설정된 값으로 갱신하고, 상기 플래그 값을 이용하여 이후에 발생되는 접근사건에 대한 경합 탐지를 수행하는 최초경합 탐지부를 포함함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 장치, 및 이에 의하여 수행되는 공유메모리 프로그램의 최초경합 탐지 방법을 개시한다. |
---|---|
Int. CL | G06F 11/28 (2006.01.01) G06F 11/36 (2006.01.01) G06F 9/46 (2006.01.01) |
CPC | |
출원번호/일자 | 1020120021230 (2012.02.29) |
출원인 | 경상대학교산학협력단 |
등록번호/일자 | 10-1293219-0000 (2013.07.30) |
공개번호/일자 | |
공고번호/일자 | (20130805) 문서열기 |
국제출원번호/일자 | |
국제공개번호/일자 | |
우선권정보 | |
법적상태 | 소멸 |
심사진행상태 | 수리 |
심판사항 | |
구분 | 신규 |
원출원번호/일자 | |
관련 출원번호 | |
심사청구여부/일자 | Y (2012.02.29) |
심사청구항수 | 15 |
번호 | 이름 | 국적 | 주소 |
---|---|---|---|
1 | 경상대학교산학협력단 | 대한민국 | 경상남도 진주시 |
번호 | 이름 | 국적 | 주소 |
---|---|---|---|
1 | 전용기 | 대한민국 | 경남 진주시 하대로 ***, |
2 | 박길준 | 대한민국 | 대전 유성구 |
3 | 강문혜 | 대한민국 | 경남 진주 |
번호 | 이름 | 국적 | 주소 |
---|---|---|---|
1 | 오세준 | 대한민국 | 서울특별시 강남구 테헤란로 *길 ** *층(역삼동)(특허법인 고려) |
2 | 권혁수 | 대한민국 | 서울특별시 강남구 언주로 ***, *층(삼일빌딩, 역삼동)(KS고려국제특허법률사무소) |
3 | 송윤호 | 대한민국 | 서울특별시 강남구 언주로 *** (역삼동) *층(삼일빌딩)(케이에스고려국제특허법률사무소) |
번호 | 이름 | 국적 | 주소 |
---|---|---|---|
1 | 경상대학교산학협력단 | 경상남도 진주시 |
번호 | 서류명 | 접수/발송일자 | 처리상태 | 접수/발송번호 |
---|---|---|---|---|
1 | [특허출원]특허출원서 [Patent Application] Patent Application |
2012.02.29 | 수리 (Accepted) | 1-1-2012-0169673-76 |
2 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2012.04.13 | 수리 (Accepted) | 4-1-2012-5079647-31 |
3 | 선행기술조사의뢰서 Request for Prior Art Search |
2013.02.04 | 수리 (Accepted) | 9-1-9999-9999999-89 |
4 | 심사처리보류(연기)보고서 Report of Deferment (Postponement) of Processing of Examination |
2013.02.04 | 발송처리완료 (Completion of Transmission) | 9-6-2013-0001616-49 |
5 | 선행기술조사보고서 Report of Prior Art Search |
2013.02.20 | 수리 (Accepted) | 9-1-2013-0010876-42 |
6 | 의견제출통지서 Notification of reason for refusal |
2013.03.28 | 발송처리완료 (Completion of Transmission) | 9-5-2013-0210615-72 |
7 | [거절이유 등 통지에 따른 의견]의견(답변, 소명)서 [Opinion according to the Notification of Reasons for Refusal] Written Opinion(Written Reply, Written Substantiation) |
2013.05.28 | 수리 (Accepted) | 1-1-2013-0472022-38 |
8 | [명세서등 보정]보정서 [Amendment to Description, etc.] Amendment |
2013.05.28 | 보정승인간주 (Regarded as an acceptance of amendment) | 1-1-2013-0472021-93 |
9 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2013.07.12 | 수리 (Accepted) | 4-1-2013-5097137-14 |
10 | 등록결정서 Decision to grant |
2013.07.22 | 발송처리완료 (Completion of Transmission) | 9-5-2013-0502392-01 |
11 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2016.12.20 | 수리 (Accepted) | 4-1-2016-5189075-76 |
12 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2016.12.20 | 수리 (Accepted) | 4-1-2016-5189369-94 |
13 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2017.09.13 | 수리 (Accepted) | 4-1-2017-5148295-43 |
14 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2017.12.19 | 수리 (Accepted) | 4-1-2017-5208281-01 |
15 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2019.03.21 | 수리 (Accepted) | 4-1-2019-5055369-44 |
16 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2019.07.15 | 수리 (Accepted) | 4-1-2019-5140738-61 |
17 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2020.02.10 | 수리 (Accepted) | 4-1-2020-5029557-91 |
18 | 출원인정보변경(경정)신고서 Notification of change of applicant's information |
2020.05.11 | 수리 (Accepted) | 4-1-2020-5103872-83 |
번호 | 청구항 |
---|---|
1 |
1 공유메모리 프로그램에서 공유 변수에 대한 최초경합을 탐지하는 장치에 있어서,읽기사건이 상기 최초경합의 읽기 후보사건으로 결정되면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 플래그(flag)를 설정된 값으로 갱신하고, 상기 플래그 값을 이용하여 이후에 발생되는 접근사건에 대한 경합 탐지를 수행하는 최초경합 탐지부를 포함하며,상기 최초경합 탐지부는,상기 플래그가 상기 설정된 값으로 갱신되면, 상기 스레드에서의 최초경합 탐지를 중지하지 않고, 상기 스레드에서 상기 읽기사건 이후에 발생되는 읽기사건만을 반환하여, 상기 스레드에서 상기 읽기사건 이후에 발생되는 쓰기사건에 대하여 최초경합 탐지를 수행함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 장치 |
2 |
2 삭제 |
3 |
3 공유메모리 프로그램에서 공유 변수에 대한 최초경합을 탐지하는 장치에 있어서,읽기사건이 상기 최초경합의 읽기 후보사건으로 결정되면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 플래그(flag)를 설정된 값으로 갱신하고, 상기 플래그 값을 이용하여 이후에 발생되는 접근사건에 대한 경합 탐지를 수행하는 최초경합 탐지부를 포함하며,상기 최초경합 탐지부는,상기 공유 변수에 대한 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 접근 역사 및 최초경합사건 역사 내에 접근사건들을 저장하는 제1 경합탐지부;현재의 접근사건과 상기 최초경합사건 역사 내에 수집된 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 상기 최초경합사건 역사를 갱신하는 제2 경합탐지부; 및상기 접근 역사 및 최초경합사건 역사 내에 접근사건들을 저장하는 저장부를 포함하고,상기 제2 경합탐지부는 현재의 읽기사건이 상기 최초경합사건 역사 내에 저장된 쓰기사건과 경합을 구성하면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 상기 플래그를 설정된 값으로 갱신하며,상기 제2 경합탐지부는,상기 플래그가 상기 설정된 값으로 갱신되면, 상기 스레드에서의 최초경합 탐지를 중지하지 않고, 상기 스레드에서 상기 읽기사건 이후에 발생되는 읽기사건만을 반환하여, 상기 스레드에서 상기 읽기사건 이후에 발생되는 쓰기사건에 대하여 최초경합 탐지를 수행함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 장치 |
4 |
4 공유메모리 프로그램에서 공유 변수에 대한 최초경합을 탐지하는 장치에 있어서,읽기사건이 상기 최초경합의 읽기 후보사건으로 결정되면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 플래그(flag)를 설정된 값으로 갱신하고, 상기 플래그 값을 이용하여 이후에 발생되는 접근사건에 대한 경합 탐지를 수행하는 최초경합 탐지부를 포함하며,상기 최초경합 탐지부는,상기 공유 변수에 대한 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 접근 역사 및 최초경합사건 역사 내에 접근사건들을 저장하는 제1 경합탐지부;현재의 접근사건과 상기 최초경합사건 역사 내에 수집된 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 상기 최초경합사건 역사를 갱신하는 제2 경합탐지부; 및상기 접근 역사 및 최초경합사건 역사 내에 접근사건들을 저장하는 저장부를 포함하고,상기 제2 경합탐지부는 현재의 읽기사건이 상기 최초경합사건 역사 내에 저장된 쓰기사건과 경합을 구성하면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 상기 플래그를 설정된 값으로 갱신하며,상기 제1 경합탐지부는,상기 공유 변수에 대한 읽기사건과 상기 저장부에 저장된 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 상기 접근 역사 및 최초경합사건 역사 내에 읽기사건을 저장하는 제1 읽기 경합탐지부; 및상기 공유 변수에 대한 쓰기사건과 상기 저장부에 저장된 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 상기 접근 역사 및 최초경합사건 역사 내에 쓰기사건을 저장하는 제1 쓰기 경합탐지부를 포함함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 장치 |
5 |
5 제4 항에 있어서,상기 제1 읽기 경합탐지부는,현재의 읽기사건과 상기 접근 역사 내의 쓰기사건 간의 선행 관계에 기초하여 경합 여부를 판단하는 제1 읽기 경합판단부;상기 현재의 읽기사건과 상기 접근 역사 내의 읽기사건 간의 좌우 관계에 기초하여 읽기 접근역사를 갱신하는 제1 읽기 접근역사 갱신부; 및상기 현재의 읽기사건이 상기 접근 역사 내의 쓰기사건과 경합이 아니면 반환하고, 경합이면 상기 최초경합사건 역사 내의 읽기사건들과의 좌우 관계에 기초하여 읽기 최초경합사건 역사를 갱신하는 제1 읽기 최초경합사건 역사 갱신부를 포함함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 장치 |
6 |
6 제4 항에 있어서,상기 제1 쓰기 경합탐지부는,현재의 쓰기사건과 상기 접근 역사 내의 접근사건들 간의 선행 관계에 기초하여 경합 여부를 판단하는 제1 쓰기 경합판단부;쓰기 접근역사를 상기 현재의 쓰기사건으로 갱신하는 제1 쓰기 접근역사 갱신부; 및상기 현재의 쓰기사건이 경합을 구성하지 않으면 반환하고, 경합을 구성하면 상기 최초경합사건 역사 내의 쓰기사건들과의 좌우 관계에 기초하여 쓰기 최초경합사건 역사를 갱신한 후 상기 현재의 쓰기사건이 발생한 스레드에서의 경합탐지를 중지하는 제1 쓰기 최초경합사건 역사 갱신부를 포함함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 장치 |
7 |
7 공유메모리 프로그램에서 공유 변수에 대한 최초경합을 탐지하는 장치에 있어서,읽기사건이 상기 최초경합의 읽기 후보사건으로 결정되면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 플래그(flag)를 설정된 값으로 갱신하고, 상기 플래그 값을 이용하여 이후에 발생되는 접근사건에 대한 경합 탐지를 수행하는 최초경합 탐지부를 포함하며,상기 최초경합 탐지부는,상기 공유 변수에 대한 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 접근 역사 및 최초경합사건 역사 내에 접근사건들을 저장하는 제1 경합탐지부;현재의 접근사건과 상기 최초경합사건 역사 내에 수집된 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 상기 최초경합사건 역사를 갱신하는 제2 경합탐지부; 및상기 접근 역사 및 최초경합사건 역사 내에 접근사건들을 저장하는 저장부를 포함하고,상기 제2 경합탐지부는 현재의 읽기사건이 상기 최초경합사건 역사 내에 저장된 쓰기사건과 경합을 구성하면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 상기 플래그를 설정된 값으로 갱신하며,상기 제2 경합탐지부는,현재의 읽기사건과 상기 최초경합사건 역사 내에 저장된 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 상기 최초경합사건 역사를 갱신하는 제2 읽기 경합탐지부; 및현재의 쓰기사건과 상기 최초경합사건 역사 내에 수집된 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 상기 최초경합사건 역사를 갱신하는 제2 쓰기 경합탐지부를 포함함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 장치 |
8 |
8 제7 항에 있어서,상기 제2 읽기 경합탐지부는,현재의 스레드에서 읽기 후보사건이 발생하였는지 판단하는 읽기후보 발생 판단부;상기 현재의 스레드에서 읽기 후보사건이 발생하였으면, 상기 현재의 읽기사건이 상기 최초경합사건 역사 내에 수집된 쓰기사건과 경합을 구성하는지 판단하는 제2 읽기 경합판단부;상기 현재의 읽기사건이 경합을 구성하지 않으면 반환하고, 경합을 구성하면 상기 현재의 읽기사건과 상기 최초경합사건 역사 내에 수집된 읽기사건들 간의 좌우 관계에 기초하여 읽기 최초경합사건 역사를 갱신하는 제2 읽기 최초경합사건 역사 갱신부;상기 현재의 읽기사건을 최초경합 후보사건으로 백업하는 읽기 후보사건 백업부; 및상기 현재의 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 상기 플래그를 설정된 값으로 갱신하는 플래그 갱신부를 포함함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 장치 |
9 |
9 제7 항에 있어서,상기 제2 쓰기 경합탐지부는,상기 현재의 쓰기사건과 상기 최초경합사건 역사 내의 접근사건들 간의 선행 관계에 기초하여 경합 여부를 판단하는 제2 쓰기 경합판단부;상기 현재의 쓰기사건이 경합을 구성하지 않으면 반환하고, 경합을 구성하면 상기 최초경합사건 역사 내의 쓰기사건들과의 좌우 관계에 기초하여 쓰기 최초경합사건 역사를 갱신하는 제2 쓰기 최초경합사건 역사 갱신부; 및상기 현재의 쓰기사건을 최초경합 후보사건으로 백업하는 쓰기 후보사건 백업부를 포함함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 장치 |
10 |
10 공유메모리 프로그램에서 공유 변수에 대한 최초경합을 탐지하는 방법에 있어서,읽기사건이 상기 최초경합에 대한 읽기 후보사건으로 결정되면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 플래그(flag)를 설정된 값으로 갱신하고, 상기 플래그 값을 이용하여 이후에 발생되는 접근사건에 대한 최초경합 탐지를 수행하는 단계를 포함하며,상기 최초경합 탐지를 수행하는 단계는,상기 플래그가 상기 설정된 값으로 갱신되면, 상기 스레드에서의 최초경합 탐지를 중지하지 않고, 상기 스레드에서 상기 읽기사건 이후에 발생되는 읽기사건만을 반환하여, 상기 스레드에서 상기 읽기사건 이후에 발생되는 쓰기사건에 대하여 최초경합 탐지를 수행함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 방법 |
11 |
11 삭제 |
12 |
12 공유메모리 프로그램에서 공유 변수에 대한 최초경합을 탐지하는 방법에 있어서,읽기사건이 상기 최초경합에 대한 읽기 후보사건으로 결정되면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 플래그(flag)를 설정된 값으로 갱신하고, 상기 플래그 값을 이용하여 이후에 발생되는 접근사건에 대한 최초경합 탐지를 수행하는 단계를 포함하며,상기 최초경합 탐지를 수행하는 단계는,상기 공유 변수에 대한 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 접근 역사 및 최초경합사건 역사 내에 접근사건들을 수집하는 제1 단계; 및현재의 접근사건과 상기 최초경합사건 역사 내에 수집된 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 상기 최초경합사건 역사를 갱신하는 제2 단계를 포함하고,상기 제2 단계는,현재의 읽기사건이 상기 최초경합사건 역사 내에 수집된 쓰기사건과 경합을 구성하면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 상기 플래그를 설정된 값으로 갱신하는 단계; 및상기 플래그가 상기 설정된 값으로 갱신되면, 상기 스레드에서의 최초경합 탐지를 중지하지 않고, 상기 스레드에서 상기 읽기사건 이후에 발생되는 읽기사건만을 반환하여, 상기 스레드에서 상기 읽기사건 이후에 발생되는 쓰기사건에 대하여 최초경합 탐지를 수행하는 단계를 포함함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 방법 |
13 |
13 공유메모리 프로그램에서 공유 변수에 대한 최초경합을 탐지하는 방법에 있어서,읽기사건이 상기 최초경합에 대한 읽기 후보사건으로 결정되면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 플래그(flag)를 설정된 값으로 갱신하고, 상기 플래그 값을 이용하여 이후에 발생되는 접근사건에 대한 최초경합 탐지를 수행하는 단계를 포함하며,상기 최초경합 탐지를 수행하는 단계는,상기 공유 변수에 대한 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 접근 역사 및 최초경합사건 역사 내에 접근사건들을 수집하는 제1 단계; 및현재의 접근사건과 상기 최초경합사건 역사 내에 수집된 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 상기 최초경합사건 역사를 갱신하는 제2 단계를 포함하고,상기 제2 단계는,현재의 읽기사건이 상기 최초경합사건 역사 내에 수집된 쓰기사건과 경합을 구성하면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 상기 플래그를 설정된 값으로 갱신하며,상기 제1 단계는,현재의 읽기사건과 접근 역사 내의 쓰기사건 간의 선행 관계에 기초하여 경합 여부를 판단하는 단계;상기 현재의 읽기사건과 상기 접근 역사 내의 읽기사건 간의 좌우 관계에 기초하여 읽기 접근역사를 갱신하는 단계; 및상기 현재의 읽기사건이 상기 접근 역사 내의 쓰기사건과 경합을 구성하지 않으면 반환하고, 경합을 구성하면 상기 최초경합사건 역사 내의 읽기사건들과의 좌우 관계에 기초하여 읽기 최초경합사건 역사를 갱신하는 단계를 포함함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 방법 |
14 |
14 공유메모리 프로그램에서 공유 변수에 대한 최초경합을 탐지하는 방법에 있어서,읽기사건이 상기 최초경합에 대한 읽기 후보사건으로 결정되면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 플래그(flag)를 설정된 값으로 갱신하고, 상기 플래그 값을 이용하여 이후에 발생되는 접근사건에 대한 최초경합 탐지를 수행하는 단계를 포함하며,상기 최초경합 탐지를 수행하는 단계는,상기 공유 변수에 대한 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 접근 역사 및 최초경합사건 역사 내에 접근사건들을 수집하는 제1 단계; 및현재의 접근사건과 상기 최초경합사건 역사 내에 수집된 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 상기 최초경합사건 역사를 갱신하는 제2 단계를 포함하고,상기 제2 단계는,현재의 읽기사건이 상기 최초경합사건 역사 내에 수집된 쓰기사건과 경합을 구성하면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 상기 플래그를 설정된 값으로 갱신하며,상기 제1 단계는,현재의 쓰기사건과 접근 역사 내의 접근사건들 간의 선행 관계에 기초하여 경합 여부를 판단하고, 쓰기 접근역사를 갱신하는 단계;상기 현재의 쓰기사건이 경합을 구성하지 않으면 반환하고, 경합을 구성하면 상기 최초경합사건 역사 내의 쓰기사건들과의 좌우 관계에 기초하여 쓰기 최초경합사건 역사를 갱신하는 단계; 및상기 현재의 쓰기사건이 발생한 스레드에서의 경합탐지를 중지하는 단계를 포함함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 방법 |
15 |
15 공유메모리 프로그램에서 공유 변수에 대한 최초경합을 탐지하는 방법에 있어서,읽기사건이 상기 최초경합에 대한 읽기 후보사건으로 결정되면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 플래그(flag)를 설정된 값으로 갱신하고, 상기 플래그 값을 이용하여 이후에 발생되는 접근사건에 대한 최초경합 탐지를 수행하는 단계를 포함하며,상기 최초경합 탐지를 수행하는 단계는,상기 공유 변수에 대한 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 접근 역사 및 최초경합사건 역사 내에 접근사건들을 수집하는 제1 단계; 및현재의 접근사건과 상기 최초경합사건 역사 내에 수집된 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 상기 최초경합사건 역사를 갱신하는 제2 단계를 포함하고,상기 제2 단계는,현재의 읽기사건이 상기 최초경합사건 역사 내에 수집된 쓰기사건과 경합을 구성하면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 상기 플래그를 설정된 값으로 갱신하며,상기 제2 단계는,현재의 스레드에서 읽기 후보사건이 발생하였는지 판단하는 단계;상기 현재의 스레드에서 읽기 후보사건이 발생하였으면, 현재의 읽기사건이 상기 최초경합사건 역사 내에 수집된 쓰기사건과 경합을 구성하는지 판단하는 단계;상기 현재의 읽기사건이 경합을 구성하지 않으면 반환하고, 경합을 구성하면 상기 현재의 읽기사건과 상기 최초경합사건 역사 내에 수집된 읽기사건들 간의 좌우 관계에 기초하여 상기 최초경합사건 역사를 갱신하는 단계;상기 현재의 읽기사건을 최초경합 후보사건으로 백업하는 단계; 및상기 현재의 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 상기 플래그를 설정된 값으로 갱신하는 단계를 포함함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 방법 |
16 |
16 공유메모리 프로그램에서 공유 변수에 대한 최초경합을 탐지하는 방법에 있어서,읽기사건이 상기 최초경합에 대한 읽기 후보사건으로 결정되면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 플래그(flag)를 설정된 값으로 갱신하고, 상기 플래그 값을 이용하여 이후에 발생되는 접근사건에 대한 최초경합 탐지를 수행하는 단계를 포함하며,상기 최초경합 탐지를 수행하는 단계는,상기 공유 변수에 대한 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 접근 역사 및 최초경합사건 역사 내에 접근사건들을 수집하는 제1 단계; 및현재의 접근사건과 상기 최초경합사건 역사 내에 수집된 접근사건들 간의 선행 관계 및 좌우 관계에 기초하여, 상기 최초경합사건 역사를 갱신하는 제2 단계를 포함하고,상기 제2 단계는,현재의 읽기사건이 상기 최초경합사건 역사 내에 수집된 쓰기사건과 경합을 구성하면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 상기 플래그를 설정된 값으로 갱신하며,상기 제2 단계는,현재의 쓰기사건과 상기 최초경합사건 역사 내의 접근사건들 간의 선행 관계에 기초하여 경합 여부를 판단하는 단계;상기 현재의 쓰기사건이 경합을 구성하지 않으면 반환하고, 경합을 구성하면 상기 최초경합사건 역사 내의 쓰기사건들과의 좌우 관계에 기초하여 쓰기 최초경합사건 역사를 갱신하는 단계;상기 현재의 쓰기사건을 최초경합 후보사건으로 백업하는 단계; 및상기 현재의 쓰기사건이 발생한 스레드에서의 최초경합 탐지를 중지하는 단계를 포함함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 방법 |
17 |
17 제10 항, 제12 항 내지 제16 항 중 어느 한 항에 기재된 최초경합 탐지 방법을 실행시키기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록매체 |
지정국 정보가 없습니다 |
---|
순번 | 패밀리번호 | 국가코드 | 국가명 | 종류 |
---|---|---|---|---|
1 | WO2013129761 | WO | 세계지적재산권기구(WIPO) | FAMILY |
순번 | 패밀리번호 | 국가코드 | 국가명 | 종류 |
---|---|---|---|---|
1 | WO2013129761 | WO | 세계지적재산권기구(WIPO) | DOCDBFAMILY |
국가 R&D 정보가 없습니다. |
---|
공개전문 정보가 없습니다 |
---|
특허 등록번호 | 10-1293219-0000 |
---|
표시번호 | 사항 |
---|---|
1 |
출원 연월일 : 20120229 출원 번호 : 1020120021230 공고 연월일 : 20130805 공고 번호 : 특허결정(심결)연월일 : 20130722 청구범위의 항수 : 15 유별 : G06F 11/28 발명의 명칭 : 공유메모리 프로그램의 최초경합 탐지 방법 및 장치 존속기간(예정)만료일 : 20180731 |
순위번호 | 사항 |
---|---|
1 |
(권리자) 경상대학교산학협력단 경상남도 진주시 ... |
제 1 - 3 년분 | 금 액 | 315,000 원 | 2013년 07월 31일 | 납입 |
제 4 년분 | 금 액 | 259,000 원 | 2016년 07월 18일 | 납입 |
제 5 년분 | 금 액 | 259,000 원 | 2017년 07월 03일 | 납입 |
번호 | 서류명 | 접수/발송일자 | 처리상태 | 접수/발송번호 |
---|---|---|---|---|
1 | [특허출원]특허출원서 | 2012.02.29 | 수리 (Accepted) | 1-1-2012-0169673-76 |
2 | 출원인정보변경(경정)신고서 | 2012.04.13 | 수리 (Accepted) | 4-1-2012-5079647-31 |
3 | 선행기술조사의뢰서 | 2013.02.04 | 수리 (Accepted) | 9-1-9999-9999999-89 |
4 | 심사처리보류(연기)보고서 | 2013.02.04 | 발송처리완료 (Completion of Transmission) | 9-6-2013-0001616-49 |
5 | 선행기술조사보고서 | 2013.02.20 | 수리 (Accepted) | 9-1-2013-0010876-42 |
6 | 의견제출통지서 | 2013.03.28 | 발송처리완료 (Completion of Transmission) | 9-5-2013-0210615-72 |
7 | [거절이유 등 통지에 따른 의견]의견(답변, 소명)서 | 2013.05.28 | 수리 (Accepted) | 1-1-2013-0472022-38 |
8 | [명세서등 보정]보정서 | 2013.05.28 | 보정승인간주 (Regarded as an acceptance of amendment) | 1-1-2013-0472021-93 |
9 | 출원인정보변경(경정)신고서 | 2013.07.12 | 수리 (Accepted) | 4-1-2013-5097137-14 |
10 | 등록결정서 | 2013.07.22 | 발송처리완료 (Completion of Transmission) | 9-5-2013-0502392-01 |
11 | 출원인정보변경(경정)신고서 | 2016.12.20 | 수리 (Accepted) | 4-1-2016-5189075-76 |
12 | 출원인정보변경(경정)신고서 | 2016.12.20 | 수리 (Accepted) | 4-1-2016-5189369-94 |
13 | 출원인정보변경(경정)신고서 | 2017.09.13 | 수리 (Accepted) | 4-1-2017-5148295-43 |
14 | 출원인정보변경(경정)신고서 | 2017.12.19 | 수리 (Accepted) | 4-1-2017-5208281-01 |
15 | 출원인정보변경(경정)신고서 | 2019.03.21 | 수리 (Accepted) | 4-1-2019-5055369-44 |
16 | 출원인정보변경(경정)신고서 | 2019.07.15 | 수리 (Accepted) | 4-1-2019-5140738-61 |
17 | 출원인정보변경(경정)신고서 | 2020.02.10 | 수리 (Accepted) | 4-1-2020-5029557-91 |
18 | 출원인정보변경(경정)신고서 | 2020.05.11 | 수리 (Accepted) | 4-1-2020-5103872-83 |
기술번호 | KST2014057976 |
---|---|
자료제공기관 | NTB |
기술공급기관 | 경상국립대학교 |
기술명 | 공유메모리 프로그램의 최초경합 탐지 방법 및 장치 |
기술개요 |
본 발명은 공유메모리 프로그램의 최초경합 탐지 장치 및 방법에 관한 것으로, 공유메모리 프로그램에서 공유 변수에 대한 최초경합을 탐지하는 장치에 있어서, 읽기사건이 상기 최초경합의 읽기 후보사건으로 결정되면, 상기 읽기사건이 발생한 스레드에서 읽기 후보사건이 발생하였음을 나타내는 플래그(flag)를 설정된 값으로 갱신하고, 상기 플래그 값을 이용하여 이후에 발생되는 접근사건에 대한 경합 탐지를 수행하는 최초경합 탐지부를 포함함을 특징으로 하는 공유메모리 프로그램의 최초경합 탐지 장치, 및 이에 의하여 수행되는 공유메모리 프로그램의 최초경합 탐지 방법을 개시한다. |
개발상태 | 기술개발진행중 |
기술의 우수성 | |
응용분야 | 정보 |
시장규모 및 동향 | |
희망거래유형 | 기술매매,라이센스, |
사업화적용실적 | |
도입시고려사항 |
과제고유번호 | 1345176540 |
---|---|
세부과제번호 | 2010-0024778 |
연구과제명 | 멀티코어 소프트웨어의 병행 오류 디버깅을 위한 연구 |
성과구분 | 등록 |
부처명 | 교육과학기술부 |
연구관리전문기관명 | 한국연구재단 |
연구주관기관명 | 경상대학교 |
성과제출연도 | 2012 |
연구기간 | 201009~201308 |
기여율 | 0.5 |
연구개발단계명 | 기초연구 |
6T분류명 | IT(정보기술) |
과제고유번호 | 1415131141 |
---|---|
세부과제번호 | 10043591 |
연구과제명 | 중형항공기용 IMA 검증 시스템 개발 |
성과구분 | 등록 |
부처명 | 산업통상자원부 |
연구관리전문기관명 | |
연구주관기관명 | |
성과제출연도 | 2013 |
연구기간 | 201210~201709 |
기여율 | 0.5 |
연구개발단계명 | 응용연구 |
6T분류명 | IT(정보기술) |
과제고유번호 | 1345176540 |
---|---|
세부과제번호 | 2010-0024778 |
연구과제명 | 멀티코어 소프트웨어의 병행 오류 디버깅을 위한 연구 |
성과구분 | 출원 |
부처명 | 교육과학기술부 |
연구관리전문기관명 | 한국연구재단 |
연구주관기관명 | 경상대학교 |
성과제출연도 | 2012 |
연구기간 | 201009~201308 |
기여율 | 0.5 |
연구개발단계명 | 기초연구 |
6T분류명 | IT(정보기술) |
과제고유번호 | 1415123222 |
---|---|
세부과제번호 | H0301-12-3003 |
연구과제명 | 멀티코어 기반 항공 임베디드 소프트웨어 기술 개발 |
성과구분 | 출원 |
부처명 | 지식경제부 |
연구관리전문기관명 | 정보통신산업진흥원 |
연구주관기관명 | 경상대학교 산학협력단 |
성과제출연도 | 2012 |
연구기간 | 200903~201212 |
기여율 | 0.5 |
연구개발단계명 | 응용연구 |
6T분류명 | 기타 |
[1020120157252] | 변동하는 계산량을 갖는 복수개의 주기적 실시간 작업을 위한 멀티 코어 프로세서의 누수 전력 소모를 고려한 확률적 최소 전력 스케줄링 방법 | 새창보기 |
---|---|---|
[1020120106293] | 무인기를 이용한 지형 변화 감지 시스템 | 새창보기 |
[1020120093022] | 항공기용 제어기 시험 시스템 및 방법 | 새창보기 |
[1020120077989] | 레이더 반사 단면적 측정장치 및 이를 이용한 측정방법 | 새창보기 |
[1020120077400] | 병렬처리를 이용한 레이더 시뮬레이터 장치 및 그 시뮬레이션 방법 | 새창보기 |
[1020120021230] | 공유메모리 프로그램의 최초경합 탐지 방법 및 장치 | 새창보기 |
[1020110135518] | 변동하는 계산량을 갖는 실시간 작업을 위한 단일 코어 프로세서의 에너지 효율적 스케줄링 방법 | 새창보기 |
[1020110135267] | 항공기의 상황 대응 시스템 | 새창보기 |
[1020110103451] | 효율적인 병렬 스레드 식별을 위한 레이블링 기법 | 새창보기 |
[1020110040380] | 항공기 계기표시 시스템 및 그 방법 | 새창보기 |
[1020100127109] | 승압 전압 컨버터 | 새창보기 |
[1020100116355] | 3차원 데이터 통신을 위한 송신기, 수신기 및 송수신 시스템 | 새창보기 |
[1020100115882] | 데이터 송수신 장치 및 이에 따른 데이터 송수신 방법 | 새창보기 |
[1020100107507] | 승압형 전력 변환 시스템 | 새창보기 |
[1020100101965] | 전압 컨버터 | 새창보기 |
[1020090069869] | 센서 네트워크 장치 및 이를 이용한 라우팅 방법 | 새창보기 |
[KST2015186068][경상국립대학교] | 변동하는 계산량을 갖는 복수개의 주기적 실시간 작업을 위한 멀티 코어 프로세서의 누수 전력 소모를 고려한 확률적 최소 전력 스케줄링 방법 | 새창보기 |
---|---|---|
[KST2022008784][경상국립대학교] | 항공기 소프트웨어에서 순서위배의 자율적 수리를 위한 건전성 관리 시스템 및 방법 | 새창보기 |
[KST2014067108][경상국립대학교] | 효율적인 병렬 스레드 식별을 위한 레이블링 기법 | 새창보기 |
심판사항 정보가 없습니다 |
---|