Hanjun Kim will present his preFPO on Tuesday November 13 at 8:30 AM
in Room 402. The members of his committee are: David August, advisor;
David Wentzlaff and Kai Li, readers; JP Singh and Sharad Malik, nonreaders.
Everyone is invited to attend his talk. His abstract follows below.
----------------------

ASAP: Automatic Speculative Acyclic Parallelization

Speculative Decoupled Software Pipelining (Spec-DSWP) is a promising
automatic parallelization technique that speculatively partitions a
loop into multiple threads that communicate in a pipelined manner.
Speculation can complement conservative static analysis, making
automatic parallelization more robust and applicable. Pipelining
allows Spec-DSWP to speculate only rarely occurring dependences while
respecting the other dependences through communication among threads.
Acyclic communication patterns in pipelining make the parallelized
programs tolerant of communication latency. However, since Spec-DSWP
partitions a loop iteration (a transaction) into multiple
sub-transactions across multiple threads according to the pipeline
stages, a special runtime system is required that supports
multi-threaded transactions (MTX).

This dissertation proposes Automatic Speculative Acyclic
Parallelization (ASAP) that supports Spec-DSWP on real hardware
without any hardware modiﬁcation. ASAP consists of a speculative
acyclic parallelizing compiler and an MTX runtime system. The ASAP
compiler automatically parallelizes loops using the Spec-DSWP
transformation, and the ASAP runtime system correctly executes the
speculatively transformed programs. With synergistic combination of
speculation, acyclic communication, and runtime system support, ASAP
achieves scalable performance for a wide range of applications on
various parallel platforms such as multicore machines and clusters
without any hardware modiﬁcation.