[논문 리뷰] Deep Static Modeling of invokedynamic

Fourtounis, George, Smaragdakis, Yannis|arXiv (Cornell University)|2019. 01. 01.

Advanced Software Engineering Methodologies참고 문헌 26인용 수 6

한 줄 요약

JooFlux는 Java 7 이상 애플리케이션에서 invokedynamic 지시어를 활용해 런타임 동적 메서드 교체 및 어드바이스 웨이빙을 가능하게 하는 JVM 에이gent입니다. 런타임에 바이트코드를 변환함으로써 클래스 리로딩을 피하고 JIT 최적화를 유지함으로써 근사한 네이티브 성능을 달성하며, 전통적인 AOP 플랫폼과 동적 언어에 비해 낮은 오버헤드를 제공합니다. 벤치마크에서 뛰어난 성능을 보입니다.

ABSTRACT

Java 7 introduced programmable dynamic linking in the form of the invokedynamic framework. Static analysis of code containing programmable dynamic linking has often been cited as a significant source of unsoundness in the analysis of Java programs. For example, Java lambdas, introduced in Java 8, are a very popular feature, which is, however, resistant to static analysis, since it mixes invokedynamic with dynamic code generation. These techniques invalidate static analysis assumptions: programmable linking breaks reasoning about method resolution while dynamically generated code is, by definition, not available statically. In this paper, we show that a static analysis can predictively model uses of invokedynamic while also cooperating with extra rules to handle the runtime code generation of lambdas. Our approach plugs into an existing static analysis and helps eliminate all unsoundness in the handling of lambdas (including associated features such as method references) and generic invokedynamic uses. We evaluate our technique on a benchmark suite of our own and on third-party benchmarks, uncovering all code previously unreachable due to unsoundness, highly efficiently.

연구 동기 및 목표

• 애플리케이션을 재시작하지 않고도 런타임에 동적 메서드 교체 및 어드바이스 웨이빙을 가능하게 하기 위해.
• 기존 AOP 플랫폼과 동적 언어에 비해 성능 오버헤드를 줄이기 위해.
• 효율적이고 투명한 런타임 코드 변환을 위해 invokedynamic 지시어를 활용하기 위해.
• 코드 수정을 원격으로 런타임 관리할 수 있도록 JMX 기반 제어 인터페이스를 제공하기 위해.
• 클래스 리로딩을 방지함으로써 JIT 최적화의 호환성을 유지하기 위해.

제안 방법

• 시스템은 모든 메서드 호출을 invokedynamic 콜 사이트로 교체하기 위해 바이트코드 재작성을 수행합니다.
• java.lang.invoke.MethodHandles 및 MethodType API를 사용하여 런타임 동적 디스패치 및 메서드 교체를 가능하게 합니다.
• JMX 에이전트가 애노테이션이나 전용 언어 없이도 런타임에 수정을 적용할 수 있는 제어 인터페이스를 노출합니다.
• 이 접근법은 콜 사이트에 얇은 간접 계층을 도입하여 비용이 많이 드는 가드 체크나 룩업 오버헤드를 피합니다.
• 바이트코드 변환은 시작 시점에 적용되어 JIT 컴파일된 코드 최적화를 유지하면서도 동적 동작을 가능하게 합니다.
• 시스템은 클래스 리로딩을 방지하여 기존 최적화의 유효성을 유지하고 런타임 비용을 줄입니다.

실험 결과

연구 질문

• RQ1 invokedynamic은 동적 언어 지원을 초월해 실시간 코드 수정에 효과적으로 재사용될 수 있는가?
• RQ2 AOP 플랫폼과 동적 언어에 비해 invokedynamic을 사용한 동적 메서드 교체 및 어드바이스 웨이빙의 성능 오버헤드는 어느 정도인가?
• RQ3 클래스 리로딩 없이도 JIT 최적화의 이점을 유지하면서 런타임 코드 수정을 달성할 수 있는가?
• RQ4 애노테이션 기반 또는 DSL 기반 접근법에 비해 JMX 기반 제어 인터페이스의 사용성과 성능는 어떻게 비교되는가?
• RQ5 생산 환경의 Java 애플리케이션에서 광범위한 바이트코드 변환의 확장성과 정확성에 대한 영향은 무엇인가?

주요 결과

• JooFlux는 대부분의 연산에서 근사한 네이티브 성능을 달성하며, 메서드 호출에 대해 극히 미미한 오버헤드만을 유발합니다.
• 일부 사례에서는 JIT 최적화가 유지되고 간접 참조 비용이 감소함으로써 표준 자바보다도 JooFlux가 더 빠른 성능을 보입니다.
• 어드바이스 웨이빙의 성능 오버헤드는 제한적이며 수용 가능하며, 기존 AOP 플랫폼에 비해 훨씬 낮습니다.
• 동적 언어 벤치마크에서 JooFlux는 JRuby나 Groovy와 같은 동적 언어보다 메서드 디스패치 성능에서 일관되게 뛰어난 성능을 보입니다.
• 클래스 리로딩을 방지함으로써 JIT 컴파일된 코드를 유지하고 재최적화 주기로 인한 성능 저하를 방지합니다.
• 프로토타입은 마이크로벤치마크에서 실현 가능성과 성능 우수성을 입증했지만, 실제 환경에서의 확장성은 아직 완전히 검증되지 않았습니다.