Affiliation:
1. The University of Manchester, Oxford Road, Manchester, UK
2. Red Hat Inc., Farnborough, UK
Abstract
The increase in computational capability of low-power Arm architectures has seen them diversify from their more traditional domain of portable battery powered devices into data center servers, personal computers, and even Supercomputers. Thus, managed languages (Java, Javascript, etc.) that require a managed runtime environment (MRE) need to be ported to the Arm architecture, requiring an understanding of different design tradeoffs.
This article studies how the lack of strong hardware support for Self Modifying Code (SMC) in low-power architectures (e.g., absence of cache coherence between instruction cache and data caches), affects Just-In-Time (JIT) compilation and runtime behavior in MREs. Specifically, we focus on the implementation and treatment of call-sites, that must maintain code consistency in the face of concurrent execution and modification to redirect control (patching) by the MRE. The lack of coherence, is compounded with the maximum distance (reach of) a call-site can jump to as the reach is more constrained (smaller distance) in Arm when compared with Intel/AMD. We present four different robust implementations for call-sites and discuss their advantages and disadvantages in the absence of strong hardware support for SMC. Finally, we evaluate each approach using a microbenchmark, further evaluating the best three techniques using three JVM benchmark suites and the open source MaxineVM showcasing performance differences up to 12%. Based on these observations, we propose extending code-cache partitioning strategies for JIT compiled code to encourage more efficient local branching for architectures with limited direct branch ranges.
Funder
DSbD InnovateUK Soteria
EU Horizon 2020 ACTiCLOUD
E2Data
EPSRC PAMELA programme
Publisher
Association for Computing Machinery (ACM)
Subject
Hardware and Architecture,Information Systems,Software
Reference50 articles.
1. Antoine Amarilli, Sascha Müller, David Naccache, Daniel Page, Pablo Rauzy, and Michael Tunstall. 2011. Can code polymorphism limit information leakage? In Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication. Claudio A. Ardagna and Jianying Zhou (Eds.), Springer, Berlin, 1–21.
2. A Model for Self-Modifying Code
3. A Model for Self-Modifying Code
4. ARM. 2019. Arm Architecture Reference Manual Armv8.
5. ARM. 2019. Arm Neoverse N1 CPU. Technical Report.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. JACO: JAva Code Layout Optimizer Enabling Continuous Optimization without Pausing Application Services;2023 IEEE International Conference on Cluster Computing (CLUSTER);2023-10-31
2. Threaded Execution as a Dual to Native Code;Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming;2023-03-13
3. JavaScript Performance Tuning as a Crowdsourced Service;IEEE Transactions on Mobile Computing;2023