Oracle-guided scheduling for controlling granularity in implicitly parallel languages
From MaRDI portal
Publication:5371969
DOI10.1017/S0956796816000101zbMath1420.68058MaRDI QIDQ5371969
Mike Rainey, Arthur Charguéraud, Umut A. Acar
Publication date: 23 October 2017
Published in: Journal of Functional Programming (Search for Journal in Brave)
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- Unnamed Item
- The data locality of work stealing
- A methodology for granularity-based control of parallelism in logic programs
- A provable time and space efficient implementation of NESL
- Scheduling multithreaded computations by work stealing
- Resource Oblivious Sorting on Multicores
- MULTILISP: a language for concurrent symbolic computation
- The Parallel Evaluation of General Arithmetic Expressions
- Lazy tree splitting
- Resource bound certification
- Static determination of quantitative resource usage for higher-order programs
- SPEED
- Thread scheduling for multiprogrammed multiprocessors
This page was built for publication: Oracle-guided scheduling for controlling granularity in implicitly parallel languages