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.
منابع مشابه
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