자동 버그 탐지를 위한 타일 프로그램의 실제 버그 특성 분석

요약

본 논문은 고성능 GPU 커널 작성을 위한 타일 기반 프로그래밍 프레임워크에서 발생하는 코드 생성 버그를 체계적으로 분석한 최초의 연구입니다. GitHub의 버그 리포트를 바탕으로 301개의 버그를 식별하여 근본 원인, 증상, 입력 패턴 및 수정 전략을 분류하였습니다. 이 연구는 타일 기반 컴파일러 인프라를 위한 맞춤형 디버깅 및 테스트 도구 개발의 기초를 제공합니다.

핵심 포인트

• 타일 기반 프레임워크의 다단계 컴파일 파이프라인은 입력 형상 및 데이터 타입과 결합된 독특한 코드 생성 버그를 유발함
• 이러한 버그는 무음의 정확성 문제나 성능 저하로 나타나 기존 컴파일러 테스트 도구로 탐지하기 어려움
• 301개의 실제 버그 사례를 통해 근본 원인, 증상, 입력 패턴, 테스트 오라클 및 수정 전략을 체계적으로 분류함
• 타일 기반 시스템의 특수성을 고려한 전용 디버깅 및 수리 도구 구축의 필요성을 제시함