Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
East of Eden : parallel functional programming in Idris |
| Συγγραφείς: |
Brown, Christopher Mark, Barwell, Adam David |
| Συνεισφορές: |
University of St Andrews.School of Computer Science |
| Στοιχεία εκδότη: |
2025. |
| Έτος έκδοσης: |
2025 |
| Θεματικοί όροι: |
Processes, QA75, Explicit, QA75 Electronic computers. Computer science, Concurrency, Parallelism, Idris, Skeletons, Dependent types, Implicit, AC |
| Περιγραφή: |
Implicit parallel programming models typically give less control to the programmer over the parallelism properties of the program, but require less specialisedexpertise. Explicit parallel models, on the other hand, give much greater control over the parallelism behaviour, but require much more significant expertisefrom the programmer. In this paper, we introduce a novel semi-implicit parallelmodel for an emerging class of languages known as dependently-typed languages.These dependently-typed languages encourage safer software via their ability toexpress strong logical guarantees, in the form of proofs, directly in code. Oursemi-implicit approach is based on a process model that uses dependent typesto guarantee parallelism properties. We demonstrate how we can use this semi-implicit process model to build common algorithmic skeletons, such as farms,pipelines and divide and conquer skeletons. We evaluate our process skeletonapproach on a number of examples, achieving speedups of up to 21.8 times on a28-core machine. |
| Τύπος εγγράφου: |
Conference object |
| Περιγραφή αρχείου: |
application/pdf |
| Γλώσσα: |
English |
| Σύνδεσμος πρόσβασης: |
https://hdl.handle.net/10023/32678 |
| Αριθμός Καταχώρησης: |
edsair.od.......901..11c849fd6f7da2c362d037d31b1453e1 |
| Βάση Δεδομένων: |
OpenAIRE |