[논문 리뷰] Partial Redundancy Elimination for Multi-threaded Programs

Mohamed A. El-Zawawy, Hamada Nayel|arXiv (Cornell University)|2011. 11. 02.

Parallel Computing and Optimization Techniques참고 문헌 28인용 수 9

한 줄 요약

이 논문은 다중 스레드 프로그램에서 부분 중복 제거(PRE)를 가능하게 하는 최적화 구성요소를 갖춘 타입 체계를 제안한다. 기존의 PRE 기법을 동시 실행 환경에 맞게 확장하여, 스레드 간 안전한 분석과 동기화 인식 코드 이동을 통합함으로써, 정확도를 해치지 않으면서도 동시성 환경에서 안전하게 루프 불변 코드 이동과 공통 부분식 제거를 수행할 수 있다. 이는 스레드 환경에서 상당한 최적화 잠재력을 제공한다.

ABSTRACT

Multi-threaded programs have many applications which are widely used such as operating systems. Analyzing multi-threaded programs differs from sequential ones; the main feature is that many threads execute at the same time. The effect of all other running threads must be taken in account. Partial redundancy elimination is among the most powerful compiler optimizations: it performs loop-invariant code motion and common subexpression elimination. We present a type system with optimization component which performs partial redundancy elimination for multi-threaded programs.

연구 동기 및 목표

• 스레드 간 상호작용으로 인해 코드 이동이 복잡해지는 다중 스레드 프로그램 환경에서 기존의 부분 중복 제거(PRE) 최적화를 적용하는 데 도전하는 문제를 해결하기 위해.
• 공통 부분식 제거와 루프 불변 코드 이동과 같은 PRE 기법을 동시 실행 환경에서 정확성을 유지할 수 있도록 확장하기 위해.
• 최적화를 안전하게 이끌 수 있도록 스레드 간 데이터 의존성과 동기화 효과를 추적할 수 있는 타입 체계를 설계하기 위해.
• 스레드 간 간섭과 레이스 컨dition이 존재하는 상황에서도 제안된 최적화가 프로그램 의미를 유지함을 형식적으로 검증하기 위해.
• 형식적 프레임워크와 사례 연구를 통해 다중 스레드 프로그램에 PRE를 적용하는 것이 실현 가능하고 효과적임을 보여주기 위해.

제안 방법

• 저자는 표현식과 문장에 데이터 의존성 및 스레드 안전성 속성에 관한 정보를 주석 처리하는 타입 체계를 도입한다.
• 이 시스템은 스레드 간로 일정한 표현식과 프로그램 의미를 위반하지 않도록 안전하게 이동할 수 있는 표현식을 추적한다.
• 메모리 작업의 비안전한 재정렬을 방지하기 위해 동기화 원자성을 타입 체계에 통합한다.
• 최적화 구성요소는 타입 체계가 스레드 안전성을 확인한 경우에만 공통 부분식 제거와 루프 불변 코드 이동을 수행한다.
• 모든 스레드 인터리빙 상황에서 최적화된 프로그램이 원래 프로그램과 동치임을 보장하기 위해 형식적 의미 모델을 사용한다.
• 이 방법은 동시 프로그램 컴파일러 파이프라인에 통합될 수 있는 정적 분석 구성요소로 구현된다.

실험 결과

연구 질문

• RQ1 데이터 레이스나 의미 위반을 유발하지 않고 다중 스레드 프로그램에 부분 중복 제거를 안전하게 적용할 수 있는가?
• RQ2 최적화를 위한 동시 코드에서 스레드 안전성과 데이터 의존성을 추적하기 위해 타입 체계를 어떻게 확장할 수 있는가?
• RQ3 동시 환경에서 루프 불변 코드 이동과 공통 부분식 제거를 안전하게 수행하기 위한 필수 조건는 무엇인가?
• RQ4 동기화 효과를 타입 체계 내에서 어떻게 모델링하여 다중 스레드 환경에서의 안전한 코드 이동을 이끌 수 있는가?
• RQ5 정확성을 유지하면서 고전적 PRE 최적화를 다중 스레드 프로그램에 얼마나 잘 적응시킬 수 있는가?

주요 결과

• 제안된 타입 체계는 데이터 레이스를 유발하지 않으면서도 다중 스레드 프로그램에서 부분 중복을 성공적으로 식별하고 제거한다.
• 이 방법은 동시 스레드 실행이 존재하는 상황에서도 안전한 루프 불변 코드 이동과 공통 부분식 제거를 가능하게 한다.
• 형식적 프레임워크는 모든 가능한 스레드 인터리빙 상황에서 최적화가 원래 프로그램 의미를 유지함을 보장한다.
• 이 접근법은 의존성과 동기화를 타입 기반으로 세밀하게 추적함으로써 PRE를 동시 프로그램에 효과적으로 확장할 수 있음을 보여준다.
• 평가 결과, 최적화가 운영체제에서 관찰되는 실제 동시 코드 패턴에 적용 가능함을 확인하였다.
• 이 작업는 형식적 정확성 보장을 갖춘 동시 언어 컴파일러에 고급 컴파일러 최적화를 통합하기 위한 기초를 제공한다.