Change search
ReferencesLink to record
Permanent link

Direct link
Parallel Combinators for the Encore Programming Language
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2016 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

With the advent of the many-core architecture era, it will become increasingly important for programmers to utilize all of the computational power provided by the hardware in order to improve the performance of their programs. Traditionally, programmers had to rely on low- level, and possibly error-prone, constructs to ensure that parallel computations would be as efficient as possible. Since the parallel programming paradigm is still a maturing discipline, researchers have the opportunity to explore innovative solutions to build tools and languages that can easily exploit the computational cores in many-core architectures. Encore is an object-oriented programming language oriented to many-core computing and developed as part of the EU FP7 UpScale project. The inclusion of parallel combinators, a powerful high-level abstraction that provides implicit parallelism, into Encore would further help programmers parallelize their computations while minimizing errors. This thesis presents the theoretical framework that was built to provide Encore with parallel combinators, and includes the formalization of the core language and the implicit parallel tasks, as well as a proof of the soundness of this language extension and multiple suggestions to extend the core language. The work presented in this document shows that parallel combinators can be expressed in a simple, yet powerful, core language. Although this work is theoretical in nature, it is a useful starting point for the implementation of parallel combinators not only in Encore, but also in any language that has features similar to this language.

Place, publisher, year, edition, pages
2016. , 51 p.
IT, 16007
National Category
Engineering and Technology
URN: urn:nbn:se:uu:diva-281125OAI: diva2:913025
Educational program
Master Programme in Computer Science
Available from: 2016-03-18 Created: 2016-03-18 Last updated: 2016-03-18Bibliographically approved

Open Access in DiVA

fulltext(748 kB)45 downloads
File information
File name FULLTEXT01.pdfFile size 748 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 45 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 102 hits
ReferencesLink to record
Permanent link

Direct link