Prevajanje funkcijskih ščepcev v grafno vmesno kodo za Maxelerjevo arhitekturo

Cerk, Sven (author), Slivnik, Boštjan (mentor)

V diplomskem delu je predstavljen nov način programiranja Maxelerjevih enot za podatovno-pretokovno računanje. Obstoječa orodja omogočajo programiranje v prilagojeni različici Jave. Verjamemo, da so za to nalogo bolj primeri funkcijski programski jeziki. V ta named definiramo MaxHs, nov programski jezik za programiranje ščepcev, ki se izvajajo na podatkovno-pretokovnih enotah. MaxHs temelji na idejah programskega jezika Haskell. Predstavimo tudi možnosti uporabe MaxHs v povezavi s Haskellom. Na vzorčnih programih primerjamo našo rešitev z obstoječimi orodji za programiranje. V zadnjem delu predstavimo način prevajanja našega jezika v grafno vmesno kodo. Elementi grafne vmesne kode odražajo vozlišča, ki jih ponuja Maxelerjeva arhitektura. Poleg prevajanja v grafno vmesno kodo predstavimo tudi, kako omogočimo povezavo s Haskellom.

• Language: Unknown
• Keywords: podatkovno-pretokovno računanje, funkcijski programski jeziki, prevajalnik
• Work type: Bachelor thesis/paper
• Organization: FRI - Faculty of Computer and Information Science
• Year: 2015
• PID: 20.500.12556/RUL-72331
• COBISS.SI-ID: 1536499139
• Publication date in RUL: 13.09.2015

Secondary language

• Language: Unknown
• Title: Compiling functional kernels into graph intermediate code for Maxeler architecture

Abstract

A new method for programming Maxeler's dataflow engines is presented. The existing tools allow programmers to program dataflow engines in Java. We belive that functional programming languages might provide a more suitable alternative. We define a new programming language called MaxHs for programming dataflow engine kernels. In addition, we present a way of interfacing MaxHs programs with programs written in Haskell. With the help of simple example programs we compare our solution with existing tools. In the last part we present a method for compiling MaxHs into a graph-based intermediate code. The elements of the intermediate code are based on the nodes supported by Maxeler's dataflow engines. We also outline how the support for interfacing with Haskell is achieved.

• Keywords: dataflow computing, functional programming languages, compiler