Abstract:Mobile and PC/server class processor companies continue to roll out flagship core micro architectures that are faster than their predecessors. Meanwhile placing more cores on a chip coupled with constant supply voltage puts per-core energy consumption at a premium. Hence, the challenge is to find future micro architecture optimizations that not only increase performance but also conserve energy. Eliminating branch mispredictions -- which waste both time and energy -- is valuable in this respect. We first explore the control-flow landscape by characterizing mispredictions in four benchmark suites. We find that a third of mispredictions-per-1K-instructions (MPKI) come from what we call separable branches: branches with large control-dependent regions (not suitable for if-conversion), whose backward slices do not depend on their control-dependent instructions or have only a short dependence. We propose control-flow decoupling (CFD) to eradicate mispredictions of separable branches. The idea is to separate the loop containing the branch into two loops: the first contains only the branch's predicate computation and the second contains the branch and its control-dependent instructions. The first loop communicates branch outcomes to the second loop through an architectural queue. Micro architecturally, the queue resides in the fetch unit to drive timely, non-speculative fetching or skipping of successive dynamic instances of the control-dependent region. Either the programmer or compiler can transform a loop for CFD, and we evaluate both. On a micro architecture configured similar to Intel's Sandy Bridge core, CFD increases performance by up to 43%, and reduces energy consumption by up to 41%. Moreover, for some applications, CFD is a necessary catalyst for future complexity-effective large-window architectures to tolerate memory latency.

Control-Flow Decoupling

Exact solutions in f(R) theory of gravity

Cosmology of F(R) Nonlinear Massive Gravity

Some exact solutions of Friedmann cosmological equation

Some exact relativistic star solutions in $f(R)$ gravity

Infinitely degenerate slowly rotating solutions in $f(R)$ gravity

Cosmological solutions of a chiral self-gravitating model of $f(R,(\nabla R)^2,\square R)$ gravity

Infinitely degenerate slowly rotating solutions in f(R) gravity

Isotropic Exact Solutions via Noether Symmetries in $f(R,T,R_{μν}T^{μν})$ Gravity

F(R) Nonlinear Massive Theories of Gravity and Their Cosmological Implications

Dynamical systems of modified Gauss-Bonnet gravity: cosmological implications

Universal black hole solutions for all F(R) gravitational theories

Asymptotically Schwarzschild solutions in $f(R)$ extension of general relativity

Non-minimal $\ln(R)F^2$ Couplings of Electromagnetic Fields to Gravity: Static, Spherically Symmetric Solutions

Physical non-viability of a wide class of $f(R)$ models and their constant-curvature solutions

Kantowski–Sachs Spherically Symmetric Solutions in Teleparallel F(T) Gravity

Asymptotically Schwarzschild solutions in extension of general relativity

The Euclidean-hyperboloidal foliation method. Application to f(R) modified gravity

Starobinsky inflation and its spin-offs in the light of exact solutions

New integrable models and analytical solutions in $f(R)$~cosmology with an ideal gas

The Euclidean-hyperboloidal foliation method: application to f(R) modified gravity