Static prediction of parallel computation graphs

نویسندگان

چکیده

Many algorithms for analyzing parallel programs, example to detect deadlocks or data races calculate the execution cost, are based on a model variously known as cost graph, computation graph dependency which captures structure of threads in program. In modern graphs highly dynamic and depend greatly program inputs details. As such, most analyses that use these either specialized static gather subset information specific purpose. This paper introduces types, compactly represent all could arise from execution. Graph types inferred using type system inference algorithm, we present drawing ideas Hindley-Milner inference, affine logic region systems. We have implemented algorithm over OCaml, extended with parallelism primitives, demonstrate how can be used accelerate development new graph-based by presenting proof-of-concept deadlock detection analysis.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Static performance prediction of skeletal parallel programs

We demonstrate that the run time of implicitly parallel programs can be statically predicted with considerable accuracy when expressed within the constraints of a skeletal, shapely parallel programming language. Our work constitutes the first completely static system to account for both computation and communication in such a context. We present details of our language and its BSP implementatio...

متن کامل

Static and Dynamic Parallel Computation of Connected Components

The connected components of an undirected graph are determined in the EREW model with p processors, using a parallel extension of the “sparsification” technique. A previous algorithm due to Kruskal et al. is optimal forp < ml/(*+&) < n/2. We show that our algorithm is work-optimal for an extended range of values. Using the “sparsification” tree data structure we provide also a dynamic algorithm...

متن کامل

PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs

Large-scale graph-structured computation is central to tasks ranging from targeted advertising to natural language processing and has led to the development of several graph-parallel abstractions including Pregel and GraphLab. However, the natural graphs commonly found in the real-world have highly skewed power-law degree distributions, which challenge the assumptions made by these abstractions...

متن کامل

Parallel computation on interval graphs: algorithms and experiments

This paper describes efficient coarse-grained parallel algorithms and implementations for a suite of interval graph problems. Included are algorithms requiring only a constant number of communication rounds for connected components, maximum weighted clique, and breadth-first-search and depth-first-search trees, as well as O(log p) communication rounds algorithms for optimization problems such a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Proceedings of the ACM on programming languages

سال: 2022

ISSN: ['2475-1421']

DOI: https://doi.org/10.1145/3498708