2026-09-19T08:43:53Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/29658 2023-07-10 col_2142_10761 col_2142_5131 com_2142_10755 com_2142_234 com_2142_5130

Zilles, Craig Adve, Vikram S. Hwu, Wen-Mei W. Rajwar, Ravi Srinivas, Suresh Snir, Marc Neelakantam, Naveen 2012-02-06T20:09:25Z 2012-02-06T20:09:25Z 2011-12 2012-02-06T20:09:25Z 2011-12 This dissertation introduces the atomic region as a novel compiler abstraction which eases the development of speculative compiler optimizations. As this dissertation will show, speculation enables a compiler writer to exploit dynamically occurring opportunities which would otherwise be difficult or even impossible to expose. Despite their potential, speculative optimizations typically involve complex implementation and significant compiler re-engineering. In comparison, the atomic region abstraction is both simple to incorporate into a compiler infrastructure and also exposes speculative opportunity to existing and unmodified optimizations. The utility of the atomic region abstraction largely derives from its use of hardware atomicity---the execution of a region of code either completely, and as if all operations in the region occurred at one instant, or not at all. Hardware atomicity is an architectural primitive which provides software with a simple and intuitive model of execution, namely the ability to either explicitly commit or rollback a region of code. The atomic region abstraction leverages hardware atomicity to enable a compiler writer to easily reason about and implement speculative optimization. In the atomic region abstraction, the compiler encapsulates commonly executed regions of the program using the hardware atomicity primitive. This permits the compiler to generate a speculative version of the code where uncommonly executed code paths are completely removed such that they do not need to be considered in (and hence do not constrain) a region's optimization. Pruned paths are converted into assert operations that trigger an abort in the uncommon case that one of these paths is needed. On an abort, hardware reverts state back to the beginning of the region and transfers control to a non-speculative version of the code. Two implementations of the atomic region abstraction are also presented, the first of which demonstrates potential for a 10-15% average performance improvement in the context of a Java Virtual Machine, albeit running on simulated hardware. Incorporation of the atomic region abstraction is shown to be a simple and, thereby, a cost-effective means for exposing speculative optimization opportunities to the compiler. The second implementation leverages a real system to demonstrate that at least some of these gains are achievable in practice. By incorporating the atomic region abstraction into the dynamic translator of the Transmeta Efficeon processor, practical concerns related to the identification of speculative opportunities and adaptation to misspeculations are explored. In the context of this real system, a straightforward implementation using simple control mechanisms is shown to be sufficient to achieve a 3% average performance improvement. Item withdrawn by Katherine Eriksen (eriksen3@illinois.edu) on 2011-11-29T15:20:36Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 2 dissertation.tar.gz: 23492196 bytes, checksum: 1a58f69967305bca0745feebeeedfa58 (MD5) Neelakantam_Naveen.pdf: 1655311 bytes, checksum: 8f90b4b6eabe783462c064abca3503a0 (MD5) Made available in DSpace on 2012-02-06T20:09:25Z (GMT). No. of bitstreams: 3 Neelakantam_Naveen.pdf: 1655311 bytes, checksum: 8f90b4b6eabe783462c064abca3503a0 (MD5) license.txt: 4068 bytes, checksum: ed8b07d57e2dd24e34e96ff4507ddffa (MD5) dissertation.tar.gz: 23492196 bytes, checksum: 1a58f69967305bca0745feebeeedfa58 (MD5) http://hdl.handle.net/2142/29658 en Copyright 2011 by Naveen Neelakantam Hardware Atomicity Speculative Compiler Optimization Control Speculation Hardware/Software Co-design Dynamic Optimization Computer Architecture Hardware atomicity for compiler-directed control speculation Dissertation / Thesis text Computer Science 1434 Computer Science 0112 University of Illinois at Urbana-Champaign Dissertation Ph.D. PHD:Computer Science -UIUC 10KS0112PHD