Cookies

We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.


Durham e-Theses
You are in:

Type Oriented Parallel Programming

BROWN, NICHOLAS,EDWARD (2010) Type Oriented Parallel Programming. Doctoral thesis, Durham University.

[img]
Preview
PDF
1622Kb

Abstract

Context: Parallel computing is an important field within the sciences. With the emergence of multi, and soon many, core CPUs this is moving more and more into the domain of general computing. HPC programmers want performance, but at the moment this comes at a cost; parallel languages are either efficient or conceptually simple, but not both.

Aim: To develop and evaluate a novel programming paradigm which will address the problem of parallel programming and allow for languages which are both conceptually simple and efficient.

Method: A type-based approach, which allows the programmer to control all aspects of parallelism by the use and combination of types has been developed. As a vehicle to present and analyze this new paradigm a parallel language, Mesham, and associated compilation tools have also been created. By using types to express parallelism the programmer can exercise efficient, flexible control in a high level abstract model yet with a sufficiently rich amount of information in the source code upon which the compiler can perform static analysis and optimization.

Results: A number of case studies have been implemented in Mesham. Official benchmarks have been performed which demonstrate the paradigm allows one to write code which is comparable, in terms of performance, with existing high performance solutions. Sections of the parallel simulation package, Gadget-2, have been ported into Mesham, where substantial code simplifications have been made.

Conclusions: The results obtained indicate that the type-based approach does satisfy the aim of the research described in this thesis. By using this new paradigm the
programmer has been able to write parallel code which is both simple and efficient.

Item Type:Thesis (Doctoral)
Award:Doctor of Philosophy
Keywords:Types, Type Oriented Programming, Type Oriented Parallel Programming, Mesham
Faculty and Department:Faculty of Science > Engineering and Computing Science, School of (2008-2017)
Thesis Date:2010
Copyright:Copyright of this thesis is held by the author
Deposited On:28 Jan 2010 15:10

Social bookmarking: del.icio.usConnoteaBibSonomyCiteULikeFacebookTwitter