Change search
ReferencesLink to record
Permanent link

Direct link
Automatic Software Synthesis from High-Level ForSyDe Models Targeting Massively Parallel Processors
KTH, School of Information and Communication Technology (ICT).
2013 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

In the past decade we have witnessed an abrupt shift to parallel computing subsequent to the increasing demand for performance and functionality that can no longer be satisfied by conventional paradigms. As a consequence, the abstraction gab between the applications and the underlying hardware increased, triggering both industry and academia in several research directions.

This thesis project aims at analyzing some of these directions in order to offer a solution for bridging the abstraction gap between the description of a problem at a functional level and the implementation on a heterogeneous parallel platform using ForSyDe – a formal design methodology. This report treats applications employing data-parallel and time-parallel computation, regards nvidia CUDA-enabled GPGPUs as the main backend platform. The report proposes a heuristic transformation-and-refinement process based on analysis methods and design decisions to automate and aid in a correct-by-design backend code synthesis.

Its purpose is to identify potential data parallelism and time parallelism in a high-level system. Furthermore, based on a basic platform model, the algorithm load-balances and maps the execution onto the best computation resources in an automated design flow. This design flow will be embedded into an already existing tool, f2cc (ForSyDe-to-CUDA C) and tested for correctness on an industrial-scale image processing application aimed at monitoring inkjet print-heads reliability.

Place, publisher, year, edition, pages
2013. , 151 p.
Trita-ICT-EX, 2013:139
Keyword [en]
system design flow, high abstraction-level models, ForSyDe, GPGPU, CUDA, time-parallel, data-parallel
National Category
Engineering and Technology
URN: urn:nbn:se:kth:diva-127832OAI: diva2:646340
Educational program
Master of Science - System-on-Chip Design
Available from: 2013-09-09 Created: 2013-09-09 Last updated: 2013-09-09Bibliographically approved

Open Access in DiVA

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

By organisation
School of Information and Communication Technology (ICT)
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 275 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: 197 hits
ReferencesLink to record
Permanent link

Direct link