A type and effect system for deterministic parallel Java

RL Bocchino Jr, VS Adve, D Dig, SV Adve… - Proceedings of the 24th …, 2009 - dl.acm.org
Today's shared-memory parallel programming models are complex and error-prone. While
many parallel programs are intended to be deterministic, unanticipated thread interleavings …

Bulk disambiguation of speculative threads in multiprocessors

L Ceze, J Tuck, J Torrellas, C Cascaval - ACM SIGARCH Computer …, 2006 - dl.acm.org
Transactional Memory (TM), Thread-Level Speculation (TLS), and Checkpointed
multiprocessors are three popular architectural techniques based on the execution of …

[PDF][PDF] Parallel programming must be deterministic by default

RL Bocchino, V Adve, S Adve, M Snir - Usenix HotPar, 2009 - usenix.org
In today's widely used parallel programming models, subtle programming errors can lead to
unintended nondeterministic behavior and hard to catch bugs. In contrast, we argue for a …

A survey on thread-level speculation techniques

A Estebanez, DR Llanos… - ACM Computing Surveys …, 2016 - dl.acm.org
Thread-Level Speculation (TLS) is a promising technique that allows the parallel execution
of sequential code without relying on a prior, compile-time-dependence analysis. In this …

How much parallelism is there in irregular applications?

M Kulkarni, M Burtscher, R Inkulu, K Pingali… - ACM sigplan …, 2009 - dl.acm.org
Irregular programs are programs organized around pointer-based data structures such as
trees and graphs. Recent investigations by the Galois project have shown that many …

Kremlin: Rethinking and rebooting gprof for the multicore age

S Garcia, D Jeon, CM Louie, MB Taylor - ACM SIGPLAN Notices, 2011 - dl.acm.org
Many recent parallelization tools lower the barrier for parallelizing a program, but overlook
one of the first questions that a programmer needs to answer: which parts of the program …

SD3: A scalable approach to dynamic data-dependence profiling

M Kim, H Kim, CK Luk - 2010 43rd Annual IEEE/ACM …, 2010 - ieeexplore.ieee.org
As multicore processors are deployed in mainstream computing, the need for software tools
to help parallelize programs is increasing dramatically. Data-dependence profiling is an …

Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory

M Mehrara, J Hao, PC Hsu, S Mahlke - ACM Sigplan Notices, 2009 - dl.acm.org
Multicore designs have emerged as the mainstream design paradigm for the microprocessor
industry. Unfortunately, providing multiple cores does not directly translate into performance …

Alchemist: A transparent dependence distance profiling infrastructure

X Zhang, A Navabi… - … Symposium on Code …, 2009 - ieeexplore.ieee.org
Effectively migrating sequential applications to take advantage of parallelism available on
multicore platforms is a well-recognized challenge. This paper addresses important aspects …

HELIX-RC: An architecture-compiler co-design for automatic parallelization of irregular programs

S Campanoni, K Brownell, S Kanev, TM Jones… - ACM SIGARCH …, 2014 - dl.acm.org
Data dependences in sequential programs limit parallelization because extracted threads
cannot run independently. Although thread-level speculation can avoid the need for precise …