Title :
A Domain-Specific Embedded Language for Programming Parallel Architectures
Author :
McGuiness, Jason ; Egan, Colin
Author_Institution :
Count Zero Ltd., London, UK
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.
Keywords :
C++ language; concurrency theory; embedded systems; parallel programming; program debugging; scheduling; software architecture; system recovery; C++; CREW-PRAM; DSEL; EREW-PRAM; concurrent-read, exclusive-write, parallel random-access machine; deadlock-free schedule; debugging; domain-specific embedded language; exclusive-read EW-PRAM; imperative language; parallel architectures programming; poly-logarithmic order; racecondition-free schedule; Business; Debugging; Instruction sets; Libraries; Parallel processing; Schedules; DSEL; PRAM; concurrent; data-flow; data-parallel; grammar; library; parallel;
Conference_Titel :
Distributed Computing and Applications to Business, Engineering & Science (DCABES), 2013 12th International Symposium on
Conference_Location :
Kingston upon Thames, Surrey, UK
DOI :
10.1109/DCABES.2013.22
