[논문 리뷰] Let's Annotate to Let Our Code Run in Parallel

Patrizio Dazzi|arXiv (Cornell University)|2013. 06. 06.

Parallel Computing and Optimization Techniques참고 문헌 18인용 수 3

한 줄 요약

이 논문은 Java 애너테이션을 사용하여 로드 타임에 순차적 자바 프로그램을 자동으로 다중 스레드 기반 병렬 코드로 변환하는 로드 타임, 애너테이션 기반 접근법을 제안한다. @Parallel 애너테이션을 메서드에 표시함으로써 시스템은 런타임 시 타겟 아키텍처에 따라 향후(futures)를 생성하고 바이트코드를 재구성하며, 맨델브로트 집합 계산과 같이 매우 병렬화가 쉬운 워크로드에 대해 거의 영향을 주지 않는 오버헤드와 낮은 프로그래머 노력으로 성능을 달성한다.

ABSTRACT

This paper presents an approach that exploits Java annotations to provide meta information needed to automatically transform plain Java programs into parallel code that can be run on multicore workstation. Programmers just need to decorate the methods that will eventually be executed in parallel with standard Java annotations. Annotations are automatically processed at launch-time and parallel byte code is derived. Once in execution the program automatically retrieves the information about the executing platform and evaluates the information specified inside the annotations to transform the byte-code into a semantically equivalent multithreaded version, depending on the target architecture features. The results returned by the annotated methods, when invoked, are futures with a wait-by-necessity semantics.

연구 동기 및 목표

• 멀티코어 시스템에서 병렬 응용 프로그램을 개발하는 복잡성을 줄이기 위해 프로그래머의 지식을 활용해 작업 분해를 유도하기 위해.
• 로드 타임에 순차적 자바 코드를 의미적으로 동일한 병렬 코드로 자동 변환하기 위해.
• 애너테이션이 무시될 경우 순차적 실행을 허용함으로써 이전 호환성을 유지하기 위해.
• 런타임 플랫폼 정보와 사용자 지정 비기능 요구사항을 기반으로 병렬 실행을 최적화하기 위해.
• 성능 오버헤드를 최소화하면서 공유 메모리 및 분산 실행 모델 모두를 지원하기 위해.

제안 방법

• 프로그래머가 @Parallel 애너테이션을 사용해 비동기적으로 실행되어야 할 코드 부분을 표시한다.
• 시스템은 리플렉션을 사용하여 로드 타임에 애너테이션을 처리하고 바이트코드의 중간 언어(IL)를 변환한다.
• 비동기 실행은 기다림이 필요할 경우에만 대기하는 의미 체계를 가지는 향후(futures)를 사용하여 구현되며, 이는 비차단 계산을 가능하게 한다.
• 변환 과정은 프로세서 수와 메모리 레이아웃과 같은 타겟 아키텍처 기능에 동적으로 적응한다.
• 이 방법은 IL 수준에서 작동하여 재컴파일이 필요 없으며 소스 수준의 변환보다 런타임 오버헤드를 줄인다.
• 프로토타입은 로컬 멀티코어 실행과 분산 병렬성에 대한 원격 메서드 호출(RMI)을 모두 지원한다.

실험 결과

연구 질문

• RQ1 소스 코드 수준에서 프로그래머가 제공한 애너테이션이 응용 프로그램 로직에 깊은 변경 없이 자동 병렬화를 효과적으로 이끌 수 있는가?
• RQ2 런타임 플랫폼 정보에 기반한 로드 타임 바이트코드 변환이 효율적이고 확장 가능한 병렬 실행을 이끌 수 있는가?
• RQ3 애너테이션과 향후를 사용할 경우 순차적 실행에 비해 성능 오버헤드는 얼마나 되는가?
• RQ4 동일한 애너테이션 기반 접근법이 공유 메모리 및 분산(그리드/클라우드) 실행 환경을 모두 지원할 수 있는가?
• RQ5 기존의 스켈레톤 또는 RMI 기반 시스템과 비교했을 때 프로그래머의 노력과 런타임 효율성 측면에서 이 방법은 어떻게 다른가?

주요 결과

• 프로토타입은 다양한 해상도와 작업 크기에서 맨델브로트 집합 계산에서 거의 영향을 주지 않는 성능 오버헤드를 입증하였다.
• 매우 병렬화가 쉬운 응용 프로그램의 수동 병렬화에 비해 프로그래머의 노력이 크게 감소하였다.
• 시스템은 이전 호환성을 유지하였으며, 애너테이션이 무시될 경우 순차적 실행이 가능하였다.
• 로드 타임 변환은 타겟 아키텍처에 대한 동적 적응을 가능하게 하여 런타임 효율성을 향상시켰다.
• 기다림이 필요할 경우에만 대기하는 의미 체계를 가지는 향후를 사용함으로써 주 스레드를 차단하지 않고도 효율적인 결과 접근이 가능하였다.
• 작업 크기와 처리 요소의 수가 증가함에 따라 성능이 잘 확장되었으며, 멀티코어 워크스테이션에서 일관된 성능 향상을 보였다.