“실제 CPU 없이 버그를 잡는다” — KAIST 권영진 교수팀, 구글 Research Scholar Award 수상

최신 ARM·Apple M3 시스템 동시성 버그 자동 탐지 기술 개발… 리눅스 커널 신규 버그 11건 발견·수정

KAIST 전산학부 권영진 교수 연구팀이 구글이 수여하는 ‘Research Scholar Award’ 시스템 분야 수상자로 선정되며 국내 연구자의 국제 경쟁력을 다시 입증했다. Research Scholar Award는 인공지능, 보안, 시스템, 데이터 관리 분야를 포함해 세계 각지의 신진 교수 중 극히 일부만 선정하는 글로벌 연구 지원 프로그램으로, 산업계와 학계에서 동시에 권위를 인정받고 있다. 특히 시스템 분야에서의 국내 수상은 매우 드문 사례로, 구글이 직접 심사하는 만큼 기술적 완성도와 산업적 파급력이 높은 연구만 선정된다.

권 교수팀이 이번 수상의 주요 근거가 된 연구는 “실제 CPU를 사용하지 않고도 CPU 내부 동작을 가상 환경에서 정밀하게 재현해 동시성 버그를 자동 탐지하는 기술”이다. 최신 CPU는 구조가 복잡해 여러 작업을 동시에 처리하는 과정에서 명령 순서가 꼬이는 동시성 버그가 발생할 수 있는데, 이는 시스템 정지나 보안 취약점으로 이어질 수 있는 심각한 문제임에도 기존 방식으로는 발견이 매우 어려웠다. 권 교수팀은 실제 CPU 없이 소프트웨어만으로 CPU 내부의 명령 실행 순서를 완벽히 재구현하는 시스템을 개발했고, 이 기반 위에서 리눅스 운영체제를 실행해 자동으로 버그를 탐지하는 데 성공했다.

연구팀의 기술은 Apple의 최신 프로세서 M3, ARM 기반 서버 환경에서 발생하는 동시성 버그를 자동으로 탐지하는 데 적용되었다. 동시성 버그는 CPU가 여러 연산을 동시에 수행하며 작업 순서가 꼬이는 과정에서 발생해 시스템 멈춤이나 해킹 위험으로 이어질 수 있으나, 기존 테스트 방식으로는 매우 찾아내기 어려운 유형이다. 이번 연구를 통해 최신 리눅스 커널에서 신규 버그 11건이 실제로 발견되었고, 모두 개발자 커뮤니티에 보고되어 수정이 완료되었다고 연구진은 밝혔다. 이는 연구 성과가 실제 운영체제의 안전성 향상으로 즉각 이어졌다는 점에서 중요한 의미를 갖는다.

이번 기술은 리눅스뿐 아니라 안드로이드, 윈도우 등 다양한 운영체제에도 확장 가능한 범용성을 갖추고 있어 산업적 파급력이 크다. 구글은 이 기술을 “자사 글로벌 인프라에도 매우 중요한 기술”이라고 평가하며 수상을 결정했다. 또한 연구팀은 해당 기술과 시스템을 GitHub에 오픈소스로 공개해 전 세계 연구자와 개발자가 자유롭게 활용할 수 있도록 했다. 이는 시스템·OS·보안 분야의 기초 기술 발전에 기여할 국제적 오픈 플랫폼으로 이어질 전망이다.

권영진 교수는 “이번 수상은 KAIST 시스템 연구의 국제적 경쟁력을 보여주는 결과”라며, 앞으로도 안전하고 신뢰성 높은 컴퓨팅 환경을 구축하기 위해 연구를 지속하겠다고 밝혔다. 권 교수는 ACM SOSP Best Paper Award(2021·2024), IEEE Top Picks Honorable Mention 등 세계적 시스템 학회에서 이미 성과를 인정받아 왔으며, 이번 수상을 계기로 시스템·OS 분야의 핵심 연구자로서 국제적 위상을 더욱 공고히 했다.

#KAIST #권영진교수 #ResearchScholarAward #동시성버그 #CPU가상화 #리눅스커널 #시스템보안 #스포트라이트유