[논문 리뷰] Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software

Zeming Yu, Linhai Song외 1명|arXiv (Cornell University)|2019. 02. 05.

Software Testing and Debugging Techniques참고 문헌 13인용 수 11

한 줄 요약

이 논문은 실제 러스트 애플리케이션에서 동시성 프로그래밍에 대한 최초의 실증 연구를 제시하며, 세 개의 주요 오픈소스 프로젝트—Servo, TiKV, Rand—에서 동시성 사용 및 버그를 분석한다. 데이터 레이스는 안전한 러스트 코드에서도 원자 연산의 오용으로 인해 여전히 발생할 수 있음을 드러내며, '두려움 없는 동시성'의 개념에 도전하고, 비안전 코드 및 원자 연산을 대상으로 한 고급 정적 및 동적 분석 도구의 필요성을 강조한다.

ABSTRACT

Rust is a popular programming language in building various low-level software in recent years. It aims to provide safe concurrency when implementing multi-threaded software through a suite of compiler checking rules. Unfortunately, there is limited understanding of how the checking rules influence the safety of concurrent programming in Rust applications. In this paper, we perform a preliminary study on Rust's concurrency safety from two aspects: concurrency usage and concurrency bugs. Our study can provide better understanding on Rust's concurrency and can guide future researchers and practitioners in writing better, more reliable Rust software and in developing debugging and bug detection tools for Rust.

연구 동기 및 목표

• 러스트 컴파일러의 체크가 실제 동시성 프로그래밍에 어떻게 영향을 미치는지 이해하기 위해.
• 실제 러스트 소프트웨어에서 동시성 버그의 빈도와 성격을 조사하기 위해.
• 러스트가 약속한 '두려움 없는 동시성'이 실제로 성립하는지 평가하기 위해.
• 미래의 러스트에서 동시성 버그를 탐지하기 위한 도구 개발을 뒷받침하기 위해.

제안 방법

• 대규모이고 생산용으로 사용되는 러스트 애플리케이션 세 곳—Servo(브라우저), TiKV(키-값 스토어), Rand(유틸리티 라이브러리)—에 대한 정적 및 동적 분석을 수행하였다.
• 소스 코드, 커밋 기록, 버그 보고서를 수집하고 분석하여 동시성 패턴과 버그를 식별하였다.
• 실제로 발생한 동시성 버그를 식별하고, 특히 원자 연산과 비안전 코드와 관련된 버그를 역공학적으로 분석하였다.
• 형식적 추론과 컴파일러 의미론을 사용하여 안전한 코드에서의 데이터 레이스의 근본 원인을 검증하였다.
• 러스트의 소유권 및 참조 규칙이 동시성 프리미티브 사용 패턴과 프로그래머 행동에 어떻게 영향을 미치는지 평가하였다.
• 관찰된 패턴과 버그를 바탕으로 언어 설계 및 도구 개발에 대한 함의를 제안하였다.

실험 결과

연구 질문

• RQ1 실제 러스트 애플리케이션에서 동시성에 대해 비안전 코드를 얼마나 의존하는가? 이는 안전성에 어떤 영향을 미치는가?
• RQ2 안전한 러스트 코드에 데이터 레이스가 존재하는가? 만약 존재한다면 그 근본 원인은 무엇인가?
• RQ3 러스트의 소유권 및 참조 규칙은 실생활에서 동시성 프리미티브 사용에 어떻게 영향을 미치는가?
• RQ4 실제 시스템에서 관찰된 러스트 동시성 프로그래밍의 일반적인 패턴과 악성 패턴은 무엇인가?
• RQ5 러스트의 고유한 안전 모델을 고려할 때, 기존의 동시성 버그 탐지 기법은 어떻게 개선되어야 하는가?

주요 결과

• 러스트의 강력한 타입 체계와 컴파일 타임 소유권 체크에도 불구하고, 데이터 레이스는 여전히 안전한 러스트 코드에서 발생하며, 주로 원자 연산의 잘못된 사용으로 인해 발생한다.
• 이 연구는 원자 변수를 사용해 공유 상태를 비원자적으로 갱신함으로써 발생한 실제 데이터 레이스를 Rand 라이브러리에서 식별하였으며, 이후 Once 프리미티브를 사용해 수정되었다.
• 러스트 컴파일러의 체크로 인해 일부 프로그래밍 패턴이 제한되면서, 개발자들이 원하는 동시성 의미를 달성하기 위해 Once나 비안전 코드를 사용하는 워크어웨이를 채택하고 있다.
• 비안전 코드는 여전히 데이터 레이스의 주요 원인일 뿐 아니라, 안전한 코드에서의 원자 연산 오용 역시 마찬가지로 문제를 일으키며, 이는 정적 분석이 양쪽 모두를 커버해야 한다는 것을 시사한다.
• '두려움 없는 동시성'에 대한 믿음은 과장되어 있다. 개발자들은 컴파일러만으로 모든 동시성 버그를 방지할 수 없다.
• 미래의 러스트 도구는 비안전 코드에서의 레이스 조건과 안전한 코드에서의 원자 연산 오용을 탐지하는 데 집중해야 한다.