초록이 없습니다.

AI 본문요약

엑셀 다운로드 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

• 연구 주제
• 연구 방법

문제 정의

• Offset-Span (OS) 레이블링은 동기화가 없는 다중스레드 프로그램을 대상으로 하여, EH 레이블의 개념을 기반으로 레이블링에 필요한 기억공간의 감소를 목적으로 한다. OS 레 이블에서 레이블의 길이는 스레드에 관련되는 생성과 종료사건의 쌍이 나타나는 내포 수준에 비 례한다.

가설 설정

• 각 스레드들은 병행하게 수행되므로 T1 의 공유변수 X와 T2의 공유변수 X는 두 스레드에 의해 동시에 접근이 가능하므로 공유변수 X에 대한 스레드 T1 과 T2의 접근 순서는 여러 가지 경우로 발생할 수 있다. 만약, T1 스레드의 'X ='라는 수행문장에서 T라는 정수를 할당 받았다고 가정해보자. 그리고 T1 스레드의 그 다음 문장인 '= X'를 수행한다면, X의 값은 '1'일 것 이 다.

제안 방법

• 스레드의내포구역의 임의의 수행에서 나타나는 모든 스레드들에 대한 수 공간 (number space)에서의 간격을 의미한다. 두 스레드들의 논리적인 병행성을 결정하기 위한 비교에서 두 스레드의 내포구역의중복 여부를 검사하는 과정을 수행한다. 임의의 두 스레드 Ti와 Tj에 대해, 내포구역의 중복은 다음 식에 의해 결정된다.
• 그러므로 사건들 간의 순서관계 정보를 생성하는 기법은 다중스레드 프로그램의 오류를 탐지하는데 있어 중요한 자료로 이용된다. 본 장에서는 이와 같은 사건들의 순서관계 정보를 생성하는 대표적인 기법인 EngUsh-Hebrew LabeEng, Task Recycling, Offset-Span Labeling, Nest-Region Labeling을 소개 한다. 앞으로 소개하는 사건정보 생성기법은 루프 기반의 구조화된다중스레드 프로그램에 효율적으로 적용될 수 있도록 개 발된 것 이 다.

본문요약 정보가 도움이 되었나요? 예 아니오 제출

이 논문을 인용한 문헌

더보기