[논문 리뷰] Ebb: A DSL for Physical Simulation on CPUs and GPUs

Gilbert Bernstein, Chinmayee Shah외 5명|arXiv (Cornell University)|2015. 06. 24.

Parallel Computing and Optimization Techniques참고 문헌 16인용 수 5

한 줄 요약

Ebb는 관계 기반의 3층 아키텍처를 사용하여 응용 로직, 기하 도메인 라이브러리, 저수준 런타임 추상화를 분리하는 도메인 특화 언어(DSL)이다. 이는 효율적인 병렬 코드로 컴파일하여 CPU와 GPU 모두에서 고성능 시뮬레이션을 가능하게 하며, 수작업 최적화된 GPU 코드의 27% 이내 성능을 달성하고, GPU 대체 옵션이 없는 경우 최적화된 CPU 코드보다 최대 9배 빠른 성능을 보인다.

ABSTRACT

Designing programming environments for physical simulation is challenging because simulations rely on diverse algorithms and geometric domains. These challenges are compounded when we try to run efficiently on heterogeneous parallel architectures. We present Ebb, a domain-specific language (DSL) for simulation, that runs efficiently on both CPUs and GPUs. Unlike previous DSLs, Ebb uses a three-layer architecture to separate (1) simulation code, (2) definition of data structures for geometric domains, and (3) runtimes supporting parallel architectures. Different geometric domains are implemented as libraries that use a common, unified, relational data model. By structuring the simulation framework in this way, programmers implementing simulations can focus on the physics and algorithms for each simulation without worrying about their implementation on parallel computers. Because the geometric domain libraries are all implemented using a common runtime based on relations, new geometric domains can be added as needed, without specifying the details of memory management, mapping to different parallel architectures, or having to expand the runtime's interface. We evaluate Ebb by comparing it to several widely used simulations, demonstrating comparable performance to hand-written GPU code where available, and surpassing existing CPU performance optimizations by up to 9$ imes$ when no GPU code exists.

연구 동기 및 목표

• CPU 및 GPU와 같은 이종 아키텍처에서 실행되는 효율적이고 이식 가능한 시뮬레이션 코드를 구축하는 데 도전하는 것.
• 격자, 메쉬, 입자와 같은 다양한 기하 도메인을 공통의 추상화로 통합하여 시뮬레이션 개발을 단순화하는 것.
• 물리학자와 엔지니어가 저수준 병렬 프로그래밍이 아닌 알고리즘과 물리학에 집중할 수 있도록 전문성 장벽을 낮추는 것.
• 런타임이나 언어를 수정하지 않고도 새로운 기하 도메인을 추가할 수 있도록 확장성을 제공하는 것.
• 공통의 관계 인터페이스를 통해 서로 다른 도메인 간에 여러 물리 현상을 조합할 수 있도록 지원하는 것.

제안 방법

• Ebb는 응용 코드(이브로 작성), 도메인 특화 라이브러리(관계 데이터 모델 기반), CPU 및 GPU를 대상으로 하는 저수준 런타임으로 구성된 3층 아키텍처를 채택한다.
• 정규 격자, 테트라헤드럴 메쉬, 입자 시스템과 같은 기하 도메인은 통일된 관계형 API를 사용하여 라이브러리로 구현되며, 저수준 메모리 및 실행 세부 정보를 추상화한다.
• 관계 모델은 데이터를 컬럼 기반 형식으로 저장하여 다양한 아키텍처에서 효율적인 병렬 액세스와 최적화를 가능하게 한다.
• Ebb 런타임은 Ebb 코드를 CPU 및 GPU용 최적화된 커널로 컴파일하며, 동적으로 실행을 스케줄링하고 메모리 레이아웃을 관리한다.
• 시스템은 동적 컴파일 및 재컴파일을 지원하여 데이터 레이아웃과 커널 실행 전략의 자동 최적화를 가능하게 한다.
• 포화 변환 또는 충돌 감지와 같은 지원되지 않는 기능을 위한 외부 라이브러리 통합을 허용하여 확장성을 보장한다.

실험 결과

연구 질문

• RQ1 물리 시뮬레이션을 위한 DSL이 성능을 희생시키지 않고 CPU와 GPU 모두를 효율적으로 대상으로 삼을 수 있는가?
• RQ2 통합된 관계형 데이터 모델이 격자, 메쉬, 입자와 같은 다양한 기하 도메인을 효과적으로 추상화할 수 있는가?
• RQ3 DSL이 서로 다른 기하 도메인 간에 여러 물리 현상을 조합할 수 있도록 지원할 수 있는가?
• RQ4 고수준 DSL이 수작업 최적화된 GPU 코드와 비교해 성능을 유사하게 달성할 수 있는가?
• RQ5 시스템은 입자 삽입이나 적응형 메쉬 재구성과 같은 동적 연산을 지원하기 위해 어떻게 확장될 수 있는가?

주요 결과

• Ebb는 여러 시뮬레이션에서 수작업 최적화된 GPU 코드의 27% 이내 성능을 달성하여 뛰어난 이식성과 효율성을 입증했다.
• GPU 최적화 기준이 없는 경우 Ebb는 최적화된 CPU 코드보다 최대 9배 빠른 성능을 보였으며, 이는 CPU 전용 환경에서의 효과성을 강력히 보여준다.
• 관계 추상화 덕분에 테트라헤드럴 메쉬, 비구조적 격자, 입자 간의 원활한 상호 운용성이 공통 인터페이스를 통해 가능해졌다.
• 3층 아키텍처는 응용 로직과 저수준 구현을 성공적으로 분리하여 응용 개발자가 물리학과 알고리즘에 집중할 수 있도록 했다.
• 시스템은 동적 컴파일 및 자동 최적화를 지원하여 런타임에서 데이터 레이아웃과 커널 실행 전략의 최적화를 가능하게 했다.
• Ebb는 충돌 감지나 푸리에 변환과 같은 기능이 누락된 경우 외부 라이브러리 통합을 가능하게 하여 핵심 기능을 초월한 확장성을 보장한다.