Abstract:With the availability of chip multiprocessor (CMP) and simultaneous multithreading (SMT) machines, extracting thread level parallelism from a sequential program has become crucial for improving performance. However, many sequential programs cannot be easily parallelized due to the presence of dependences. To solve this problem, different solutions have been proposed. Some of them make the optimistic assumption that such dependences rarely manifest themselves at runtime. However, when this assumption is violated, the recovery causes very large overhead. Other approaches incur large synchronization or computation overhead when resolving the dependences. Consequently, for a loop with frequently arising cross-iteration dependences, previous techniques are not able to speed up the execution. In this paper we propose a compiler technique which uses state separation and multiple value prediction to speculatively parallelize loops in sequential programs that contain frequently arising cross-iteration dependences. The key idea is to generate multiple versions of a loop iteration based on multiple predictions of values of variables involved in cross-iteration dependences (i.e., live-in variables). These speculative versions and the preceding loop iteration are executed in separate memory states simultaneously. After the execution, if one of these versions is correct (i.e., its predicted values are found to be correct), then we merge its state and the state of the preceding iteration because the dependence between the two iterations is correctly resolved. The memory states of other incorrect versions are completely discarded. Based on this idea, we further propose a runtime adaptive scheme that not only gives a good performance but also achieves better CPU utilization. We conducted experiments on 10 benchmark programs on a real machine. The results show that our technique can achieve 1.7x speedup on average across all used benchmarks.

The performance model of Hyper-Threading Technology in Intel Nehalem microarchitecture

Hybrid Performance Modeling And Analyzing Of Parallel Systems

SoC performance modeling methodology and implementation basedon transaction dataflow

Characterizing Fine-Grain Parallelism on Modern Multicore Platform

Performance evaluation of SNPs machine-learning workload on Intel® Pentium® 4 hyper-threading architectures

Analyzing & modeling the performance in Xen-based virtual cluster environment

Position-aware Thread-Level Speculative Parallelization for Large-Scale Chip-Multiprocessor.

Precise Contention-Aware Performance Prediction on Virtualized Multicore System.

HEUSPEC: A Software Speculation Parallel Model

A Theoretical Research on Program Instruction Level Parallelism to Guide Microprocessor Design

Using heuristic value prediction and dynamic task granularity resizing to improve software speculation.

Performance Modeling of Stencil Computation on SW26010 Processors

On the Extreme Parallelism Inside Next-Generation Network Processors

Multi-Threading Performance on Commodity Multi-core Processors

Compiler-directed scratchpad memory data transfer optimization for multithreaded applications on a heterogeneous many-core architecture

Taming the "Monster": Overcoming Program Optimization Challenges on SW26010 Through Precise Performance Modeling

SPMTM: A Novel ScratchPad Memory Based Hybrid Nested Transactional Memory Framework

Real-time performance analysis of multiprocessor systems with shared memory

Performance Modelling of Parallel and Distributed Computing Using PACE1

Thermal-Sustainable Power Budgeting for Dynamic Threading

Speculative Parallelization Using State Separation and Multiple Value Prediction.