A Domain-Specific Embedded Language for Programming Parallel Architectures

Author

McGuiness, Jason ; Egan, Colin

Author_Institution

Count Zero Ltd., London, UK

fYear

2013

Firstpage

83

Lastpage

88

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Computing and Applications to Business, Engineering & Science (DCABES), 2013 12th International Symposium on

Conference_Location

Kingston upon Thames, Surrey, UK

Type

conf

DOI

10.1109/DCABES.2013.22

Filename

6636424