Abstract
The authors' goal in this paper has been to define a minimal and orthogonal DSEL (Domain-Specific Embedded Language) that would add parallelism to an imperative language. It will be demonstrated that this DSEL will guarantee correct, efficient schedules. The schedules will be shown to be deadlock- and racecondition-free. The efficiency of the schedules will be shown to add no worse than a poly-logarithmic order to the algorithmic run-time of the program on a CREW-PRAM (Concurrent-Read, Exclusive-Write, Parallel Random-Access Machine[15]) or EREW-PRAM (Exclusive-Read EW-PRAM[15]) computation model. Furthermore the DSEL assists the user with regards to debugging. An implementation of the DSEL in C++ exists.
Original language | English |
---|---|
Title of host publication | Procs - 12th Int Symposium on Distributed Computing and Applications to Business, Engineering and Science |
Subtitle of host publication | DCABES 2013 |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Pages | 83-88 |
Number of pages | 6 |
DOIs | |
Publication status | Published - Sept 2013 |
Event | 12th International Symposium on Distributed Computing and Applications to Business, Engineering and Science, DCABES 2013 - London, United Kingdom Duration: 2 Sept 2013 → 4 Sept 2013 |
Conference
Conference | 12th International Symposium on Distributed Computing and Applications to Business, Engineering and Science, DCABES 2013 |
---|---|
Country/Territory | United Kingdom |
City | London |
Period | 2/09/13 → 4/09/13 |
Keywords
- Concurrent
- Data-flow
- Data-parallel
- DSEL
- Grammar
- Library
- Parallel
- PRAM