Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
East of Eden: Parallel Functional Programming in Idris. |
| Συγγραφείς: |
Brown, Christopher1 (AUTHOR) cmb21@st-andrews.ac.uk, Barwell, Adam D.1 (AUTHOR) adb23@st-andrews.ac.uk |
| Πηγή: |
International Journal of Parallel Programming. Dec2026, Vol. 54 Issue 4, p1-20. 20p. |
| Θεματικοί όροι: |
*Parallel programming, *Programming languages, Functional programming (Computer science), Parallel algorithms, Benchmark problems (Computer science) |
| Περίληψη: |
Implicit parallel programming models typically give less parallelism control to the programmer, but require less specialised expertise. Explicit parallel models, on the other hand, give much greater parallelism control, but can require significant expertise from the programmer. In this paper, we introduce a novel semi-implicit parallel model, called Elysium, for Idris. Elysium therefore demonstrates semi-explicit parallelism for an emerging class of languages known as dependently-typed languages. These dependently-typed languages encourage safer software via their ability to express strong logical guarantees, in the form of proofs, directly in code. Our semi-implicit approach is based on a process model that uses dependent types to guarantee parallelism properties. We demonstrate how we can use this semi-implicit process model to build common algorithmic skeletons, including farms, pipelines and divide and conquer skeletons. We evaluate our process skeleton approach on a number of examples, achieving speedups of up to 22 on a 28-core machine. [ABSTRACT FROM AUTHOR] |
|
Copyright of International Journal of Parallel Programming is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Βάση Δεδομένων: |
Business Source Index |