컴파일러 기법으로 Skia 그래픽 성능 최적화
원제 Compiler-style optimization for drawing via Skia
113 포인트댓글 22
Key Point
웹 브라우저와 그래픽 애플리케이션의 2D 렌더링 성능을 크게 개선할 수 있는 형식 검증 방법론이 제시되었으며, 실제 Chrome 데이터로 검증되었다.
핵심 요약
- Skia, CoreGraphics, Direct2D 같은 래스터화 라이브러리의 형식적 의미론을 정의한 μSkia를 개발했다.
- 복잡한 실행 모델 때문에 Google Chrome도 비효율적인 명령어를 생성하고 있다는 점을 발견했다.
- μSkia로 Chrome에서 찾은 4가지 부최적 코드 패턴을 분석하고 Lean으로 검증된 최적화 규칙을 만들었다.
- 상위 100개 웹사이트의 99개 Skia 프로그램에서 GPU 백엔드 대비 18.7% 성능 향상을 달성했다.
- 최적화는 최대 32μs 내에 완료되며, 다양한 웹사이트와 GPU에서 일관되게 효과를 보였다.