AtomicitySanitizer: C 멀티쓰레드 프로그램에 대한 실행연속성 위반 결함 검출 도구AtomicitySanitizer: Effective Runtime Atomicity Violation Detector for Multithreaded C Programs
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 홍신 | ko |
| dc.contributor.author | 김문주 | ko |
| dc.contributor.author | 김윤호 | ko |
| dc.contributor.author | 윤석영 | ko |
| dc.contributor.author | 정한웅 | ko |
| dc.contributor.author | 박사천 | ko |
| dc.date.accessioned | 2019-04-16T05:30:10Z | - |
| dc.date.available | 2019-04-16T05:30:10Z | - |
| dc.date.created | 2019-04-05 | - |
| dc.date.issued | 2018-12-20 | - |
| dc.identifier.citation | 2018 한국소프트웨어종합학술대회 | - |
| dc.identifier.uri | http://hdl.handle.net/10203/260775 | - |
| dc.description.abstract | 실행연속성위반은 멀티쓰레드 프로그램에서 발생하는 동시성 결함의 일종으로 한 쓰레드가 특정 공유 자원을 연속적으로 접근 하는 중에 다른 쓰레드가 의도치 않게 간섭을 할 경우 오류가 발생하는 결함이다. 실행연속성위반은 가장 빈번하게 발생하는 동시성 결함의 한 종류이지만, 멀티쓰레드 C/C++ 프로그램을 대상으로, 결함검출을 지원하는 도구가 부족한 실정이다. 본 논문에서는 멀티쓰레드 프로그램의 실행을 관찰함으로써 실행연속성 위반 결함을 효과적인 검출하는 Atomicity Sanitizer 결함검출기의 동적 분석과 구현을 설명한다. 또한, Atomicity Sanitizer를 소프트웨어 개발 과정에 적용함으로써 해당 도구가 실제 동시성 결함 검출에 효과적임을 보인 사례연구를 소개한다. | - |
| dc.language | Korean | - |
| dc.publisher | 한국정보과학회 | - |
| dc.title | AtomicitySanitizer: C 멀티쓰레드 프로그램에 대한 실행연속성 위반 결함 검출 도구 | - |
| dc.title.alternative | AtomicitySanitizer: Effective Runtime Atomicity Violation Detector for Multithreaded C Programs | - |
| dc.type | Conference | - |
| dc.type.rims | CONF | - |
| dc.citation.publicationname | 2018 한국소프트웨어종합학술대회 | - |
| dc.identifier.conferencecountry | KO | - |
| dc.identifier.conferencelocation | 평창 휘닉스파크 | - |
| dc.contributor.localauthor | 김문주 | - |
| dc.contributor.nonIdAuthor | 홍신 | - |
| dc.contributor.nonIdAuthor | 윤석영 | - |
| dc.contributor.nonIdAuthor | 정한웅 | - |
| dc.contributor.nonIdAuthor | 박사천 | - |
- Appears in Collection
- CS-Conference Papers(학술회의논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.