선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
문제 정의
- 본 절에서는 비동기적 메시지전달 프로그램에서 발생하는 메시지경합들간의 영향관계를 정의하여 영향받지 않은 경합의 개념과 중요성을 설명한다. 그리고 이러한 경합을 탐지하기 위한 기존 기법들을 소개하고, 가장 효 율적으로 탐지하는 기존 기법이 가진 문제점을 살펴본다.
- 본 기법의 정확성은 공용벤치마크 프로그램을 이용하여 평가하였다. 본 기법과 기존의 기법 간의 정확성에 대한 평가 실험에서는 본 기법만이 정확하게 영향받지 않은 경합을 모두 보고 함을 확인하였다.
- 본 연구에서는 프로세스별로 탐지된 지역적 최초경합 들 간의 영향 관계에 따라 탐지된 경합의 상태를 전이함으로써, 영향받지 않은 경합만을 보고하는 기법을 제안하였다. 본 기법의 정확성은 공용벤치마크 프로그램을 이용하여 평가하였다.
- 본 절에서는 기존의 기법과 동일한 복잡도를 가지면 서 각 프로세스에서 수신되는 메시지들의 경합 여부와 메시지에 포함된 영향관계 정보를 검사하여 영향받지 않은 경합만을 탐지하는 새로운 기법을 제안한다. 먼저 프로세스별로 발생하는 지역적 최초경합을 효율적으로 탐지하는 2-Pass 기법을 소개하고, Pass-2 알고리즘을 확장하여 탐지된 경합이 영향받지 않은 경합인지를 판 단하는 기법을 소개한다.
- 본 절에서는 비동기적 메시지전달 프로그램에서 발생하는 메시지경합들간의 영향관계를 정의하여 영향받지 않은 경합의 개념과 중요성을 설명한다. 그리고 이러한 경합을 탐지하기 위한 기존 기법들을 소개하고, 가장 효 율적으로 탐지하는 기존 기법이 가진 문제점을 살펴본다.
- 본 논문은 첫 수행에서 프로세스별로 가장 먼저 발생하는 경합의 위치 정보를 획득하고, 두 번째 수행에서는 그 위치 정보를 이용해서 탐지된 경합의 상태를 프로그 램의 수행 종료까지 수신하는 메시지들의 영향 여부에 따라 전이하는 기법을 제안한다. 이 기법은 탐지된 경합 의 상태 전이를 위해서 매 수신사건마다 다른 프로세스 에게 송신할 영향관계 정보를 생성하고, 프로그램의 수 행 종료까지 수신된 메시지의 영향 여부에 따라 탐지된 경합의 상태를 전이함으로써 영향받지 않은 경합만을 보고한다. 그러므로 본 기법은 경합을 탐지하고 그들간의 영향관계를 프로그램.
가설 설정
- 이때 하나 이상의 채널에서 메시지의 수산이 가능하면 수신사건은 임의의 채널을 비결정적으 로 선택하여 하나의 메시지를 수신하게 된다. 그리고 임 의의 채널로 송신된 메시지는 반드시 하나의 수신사건 에서 수신되며, 결과적으로 프로그램 수행 중에 송신된 모든 메시지들은 임의의 대응되는 수신사건에서 모두 수신된다고 가정한다. 이러한 모델은 대부분의 메시지전 달 기법[1-3]을 표현할 수 있으므로 일반적인 모델이다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.