DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kim, Moon-Zoo | - |
dc.contributor.advisor | 김문주 | - |
dc.contributor.author | Hong, Shin | - |
dc.contributor.author | 홍신 | - |
dc.date.accessioned | 2011-12-13T06:08:52Z | - |
dc.date.available | 2011-12-13T06:08:52Z | - |
dc.date.issued | 2010 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=419207&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34913 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 2010.2, [ viii, 75 p. ] | - |
dc.description.abstract | Many software systems today are concurrent programs as multi-core processors become popular. However, the correctness of an industrial-size concurrent program (e.g. operating system) is difficult to achieve by the traditional testing or model checking technique. In this research, we propose a light-weight concurrency bug detection technique based on bug pattern matching targeting for Linux kernel source code. In order to understand concurrency bugs (e.g. deadlock, data race), we first survey the previously reported bugs detected from Linux file systems, and then classify the bugs with respect to the five attributes: symptom, fault, resolution, synchronization primitives, and synchronization granularity. Second, we identify ten concurrency bug patterns. And then we develop the bug pattern detectors and applied to the Linux file systems. Finally, and foremost, we improve the accuracy of the concurrency bug detection technique by enhancing semantic information in pattern matching. We demonstrate the effectiveness of our technique through detection of concurrency bugs in the Linux file systems. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Pattern matching | - |
dc.subject | Bug | - |
dc.subject | Concurrency | - |
dc.subject | Linux | - |
dc.subject | 리눅스 | - |
dc.subject | 패턴매칭 | - |
dc.subject | 버그 | - |
dc.subject | 결함 | - |
dc.subject | 동시성 | - |
dc.title | Concurrency bug detection through improved pattern matching using semantic information | - |
dc.title.alternative | 시맨틱 정보를 이용한 패턴 매칭을 통한 동시성 결함 검출 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 419207/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 020073636 | - |
dc.contributor.localauthor | Kim, Moon-Zoo | - |
dc.contributor.localauthor | 김문주 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.