Skia에 컴파일러식 최적화를 적용해 GPU 백엔드보다 18.7% 빨라졌다

Compiler-style optimization for drawing via Skia

Skia, CoreGraphics, Direct2D 같은 래스터화 라이브러리는 매우 정교하지만, 이를 호출하는 애플리케이션이 비효율적인 연산 순서를 만들어낸다. Skia와 함께 개발된 Google Chrome조차 상위 100개 웹사이트에서 비효율적인 명령 시퀀스를 생성한다. 연구진은 Skia의 형식 의미론 μSkia를 Lean으로 기계화하고, Chrome이 만들어내는 네 가지 비효율 패턴을 찾아 대체 코드를 검증한 뒤 고성능 최적화기를 구현했다. 상위 100개 웹사이트에서 수집한 99개 Skia 프로그램에서 최신 GPU 백엔드 대비 18.7% 속도 향상을 얻었고, 최적화 시간은 최대 32μs에 불과하다.