Titlebook: Languages and Compilers for Parallel Computing; 21th International W José Nelson Amaral Conference proceedings 2008 Springer-Verlag Berlin

旋转一周

VOC

甜瓜

,Identification of Heap–Carried Data Dependence Via Explicit Store Heap Models,nd loop iterations that do not depend on each other enables many transformations which increase the instruction and thread-level parallelism in a program. When program variables contain complex data structures including arrays, records, and recursive data structures, the ability to precisely model d

SEMI

On the Scalability of an Automatically Parallelized Irregular Application,elization because the amount of parallelism is input dependent and changes dynamically. Traditional dependence analysis techniques are too conservative to expose this parallelism. Even manual parallelization is difficult, time consuming, and error prone. The Galois system parallelizes such applicati

Synovial-Fluid

Statistically Analyzing Execution Variance for Soft Real-Time Applications,ons have repetitive components whose desired performance characteristics are more naturally expressed using soft real-time theory with its probabilistic guarantees. However, for large complex gaming and multimedia applications, programmers typically avoid real-time constructs as they significantly c

WAG

Minimum Lock Assignment: A Method for Exploiting Concurrency among Critical Sections,o annotate the regions of code that are expected to be mutually exclusive as . sections, without using explicit locks. The compiler then automatically infers an assignment of the minimum number of locks to critical sections by solving the Minimum Lock Assignment (MLA) problem so as to enforce mutual

thalamus

Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS),e classes of programs, often fail due to the one-sided (conservative) approximation of program behavior. Thread-level speculation enables increased parallelism by allowing out-of-order execution: correct dependences are ensured by run-time monitoring and possible rollbacks. Two-sided approximations

烤架

Thread Safety through Partitions and Effect Agreements,read and written from within a transaction, while allowing for unsynchronized access to thread-local and (shared) read-only data, as well as the migration of data between threads. The analysis is based on a type and effect system for object-oriented programs called .. Programmers specify a partition

nocturnal

飞来飞去真休