University of Hertfordshire

A domain-specific embedded language for programming parallel architectures

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Jason McGuiness
  • Colin Egan
View graph of relations
Original languageEnglish
Title of host publicationProcs - 12th Int Symposium on Distributed Computing and Applications to Business, Engineering and Science
Subtitle of host publicationDCABES 2013
PublisherIEEE Computer Society
Pages83-88
Number of pages6
DOIs
Publication statusPublished - Sep 2013
Event12th International Symposium on Distributed Computing and Applications to Business, Engineering and Science, DCABES 2013 - London, United Kingdom
Duration: 2 Sep 20134 Sep 2013

Conference

Conference12th International Symposium on Distributed Computing and Applications to Business, Engineering and Science, DCABES 2013
CountryUnited Kingdom
CityLondon
Period2/09/134/09/13

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.

ID: 7613870