http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
멀티 스레드 프로그램의 자료경합 탐지를 위한 수행 중 감시 도구
팽봉준(Bong-Jun Paeng),박세원(Se-Won Park),구인본(In-Bon Kuh),하옥균(Ok-Kyoon Ha),전용기(Yong-Kee Jun) Korean Institute of Information Scientists and Eng 2015 정보과학회논문지 Vol.42 No.2
It is difficult and cumbersome to figure out whether a multithread program runs with concurrency bugs, such as data races and atomicity violations, because there are many possible executions of the program and a lot of the defects are hard to reproduce. Hence, monitoring techniques for collecting and analyzing the information from program execution, such as thread executions, memory accesses, and synchronization information, are important to locate data races for debugging multithread programs. This paper presents an efficient and practical monitoring tool, called VcTrace, that analyzes the partial ordering of concurrent threads and events during an execution of the program based on the vector clock system. Empirical results on C/C++ benchmarks using Pthreads show that VcTrace is a sound and practical tool for on-the-fly data race detection as well as for analyzing multithread programs.