본문 바로가기
HOME> 보고서 > 보고서 검색상세

보고서 상세정보

프로그램의 의미정보기반 패턴매칭을 통한 동시성결함 검출기법
Concurrency Bug Detection through Improved Pattern Matching Using Se mantic Information

  • 사업명

    일반연구자지원

  • 과제명

    프로그램의 의미정보기반 패턴매칭을 통한 동시성결함 검출기법

  • 주관연구기관

    KAIST

  • 연구책임자

    김문주

  • 보고서유형

    최종보고서

  • 발행국가

    대한민국

  • 언어

    한국어

  • 발행년월

    2010-04

  • 과제시작년도

    2009

  • 주관부처

    교육과학기술부

  • 사업 관리 기관

    한국연구재단

  • 등록번호

    TRKO201000013240

  • 과제고유번호

    1345103615

  • 키워드

    동시성 결함.패턴매칭.프로그램의미정보.결함 패턴.정적 분석.리눅스.운영체제 커널.교착상태.데이터 경쟁.Concurrency Bug.Pattern-matching.Semantic Information.Bug Pattern.Static Analysis.Linux.Operating System.Deadlock.Data-race.

  • DB 구축일자

    2013-04-18

  • 초록 


    As multi-core hardware has become more popular, concurrent programming is being more widely adopted in software for performance i...

    As multi-core hardware has become more popular, concurrent programming is being more widely adopted in software for performance improvement. In particular, operating systems such as Linux heavily utilize multi-threaded techniques. However, current analysis techniques and tools for concurrent programs are not yet mature enough to support operating system developers in practical manner due to the unique characteristics of the operating systems. In order to detect concurrent bugs in operating systems in a practical manner, we have developed a COncurrency Bug dETector (COBET) framework based on bug patterns augmented with semantic information. The effectiveness of COBET has been demonstrated by detecting 8 undetected bugs of Linux 2.6.30.4, confirmed by Linux maintainers.


    고성능의 다중 코어 프로세서 환경에서 리눅스와 같은 운영체제는 높은 성능을 위해 멀티스레드 프로그램으로 작성되고 있다. 하지만 기존의 동시성 프로그램 분석 기술은 운영체제프로그램에 적용하기에 여러 한계점을 가지고 있어 실제 개발 과...

    고성능의 다중 코어 프로세서 환경에서 리눅스와 같은 운영체제는 높은 성능을 위해 멀티스레드 프로그램으로 작성되고 있다. 하지만 기존의 동시성 프로그램 분석 기술은 운영체제프로그램에 적용하기에 여러 한계점을 가지고 있어 실제 개발 과정에서 사용되는 경우가 적다. 본 연구에서는 운영체제 프로그램에서 동시성 결함을 효과적으로 검출하기 위하여 패턴 기반 결함 검출 기법 프레임워크인 COBET(COncurrency Bug dETector)을 제안한다. COBET 프레임워크는 결함패턴 기술 및 검출에 프로그램 의미정보를 활용함으로써 기존의 프로그램 구문정보만을 사용하는 패턴기반 기법에 대하여 정확도를 향상을 목표로 한다. 또한 다양한 동기화 기법의 결함패턴을 반영하여 운영체제 프로그램 개발에 실제적인 도움을 주는 결함검출 기술 개발을 목표로 한다


  • 목차(Contents) 

    1. 일반연구자지원사업 최종보고서(초안) ...1
    2. 목차 ...3
    3. I. 연구 계획 요약문 ...4
    4. 1. 국문 요약문 ...4
    5. II. 연구 결과 요약문 ...5
    6. 1. 국문 요약문 ...5
    7. 2. 영문 요약문 ...6
    8. III. 연구내용 및 결과...7...
    1. 일반연구자지원사업 최종보고서(초안) ...1
    2. 목차 ...3
    3. I. 연구 계획 요약문 ...4
    4. 1. 국문 요약문 ...4
    5. II. 연구 결과 요약문 ...5
    6. 1. 국문 요약문 ...5
    7. 2. 영문 요약문 ...6
    8. III. 연구내용 및 결과...7
    9. 1. 연구 개발 과제의 개요 ...7
    10. 2. 국내.외 기술 개발 현황 ...9
    11. 3. 연구 수행 내용 및 결과 ...11
    12. 4. 목표 달성도 및 관련 분야에의 기여도 ...26
    13. 5. 연구 결과의 활용 계획 ...27
    14. 6. 연구 과정에서 수집한 해외 과학기술 정보 ...28
    15. 7. 주관연구책임자 대표적 연구 실적 ...28
    16. 8. 참고 문헌 ...28
    17. 9. 연구 성과 ...30
    18. 10. 기타사항 ...31
  • 참고문헌

    1. 전체(0)
    2. 논문(0)
    3. 특허(0)
    4. 보고서(0)

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역