Detailed Information

Cited 0 time in webofscience Cited 0 time in scopus
Metadata Downloads

메시지 전달 프로그램에서의 수행 중 경합탐지

Full metadata record
DC Field Value Language
dc.contributor.author박미영-
dc.contributor.author강문혜-
dc.contributor.author전용기-
dc.contributor.author박혁로-
dc.date.accessioned2022-12-27T07:18:28Z-
dc.date.available2022-12-27T07:18:28Z-
dc.date.issued2007-
dc.identifier.issn1229-683X-
dc.identifier.urihttps://scholarworks.gnu.ac.kr/handle/sw.gnu/28756-
dc.description.abstract프로그램에서 발생하는 메시지경합은 프로그램의 비결정적 수행결과를 초래하므로 효과적인 디버깅을 위하여 탐지되어야 한다. 특히 각 프로세스에서 가장 먼저 발생하는 최초경합은 동일한 프로세스 내에서 다른 경합의 발생을 초래할 수 있으므로, 효과적인 경합탐지를 위해서 우선적으로 탐지되어야 한다. 이러한 경합을 탐지하기 위한 기존의 기법들은 적어도 프로그램을 두 번 수행하거나, 메시지들의 수에 비례한 크기의 추적 파일의 분석을 요구한다. 본 논문은 추적파일을 생성하지 않으면서 단 한번의 프로그램 수행으로 각 프로세스에서 발생하는 최초경합을 탐지하는 기법을 제시하고, 실험을 통해서 본 기법이 최초경합을 정확히 탐지함을 보인다.-
dc.format.extent9-
dc.publisher한국정보과학회-
dc.title메시지 전달 프로그램에서의 수행 중 경합탐지-
dc.title.alternativeOn-the-fly Detection of Race Conditions in Message-Passing Programs-
dc.typeArticle-
dc.publisher.location대한민국-
dc.identifier.bibliographicCitation정보과학회논문지 : 시스템 및 이론, v.34, no.7, pp 267 - 275-
dc.citation.title정보과학회논문지 : 시스템 및 이론-
dc.citation.volume34-
dc.citation.number7-
dc.citation.startPage267-
dc.citation.endPage275-
dc.identifier.kciidART001200640-
dc.description.isOpenAccessN-
dc.description.journalRegisteredClasskci-
dc.subject.keywordAuthormessage-passing program-
dc.subject.keywordAuthordebugging-
dc.subject.keywordAuthormessage races-
dc.subject.keywordAuthoron-the-fly detection-
dc.subject.keywordAuthorfirst races-
dc.subject.keywordAuthor메시지전달 프로그램-
dc.subject.keywordAuthor디버깅-
dc.subject.keywordAuthor메시지 경합-
dc.subject.keywordAuthor수행 중 탐지-
dc.subject.keywordAuthor최초경합-
Files in This Item
There are no files associated with this item.
Appears in
Collections
공과대학 > Department of Aerospace and Software Engineering > Journal Articles

qrcode

Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.

Altmetrics

Total Views & Downloads

BROWSE