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

Cerk, Sven (avtor), 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.

• Jezik: Neznan jezik
• Ključne besede: podatkovno-pretokovno računanje, funkcijski programski jeziki, prevajalnik
• Vrsta gradiva: Diplomsko delo/naloga
• Organizacija: FRI - Fakulteta za računalništvo in informatiko
• Leto izida: 2015
• PID: 20.500.12556/RUL-72331
• COBISS.SI-ID: 1536499139
• Datum objave v RUL: 13.09.2015

Sekundarni jezik

• Jezik: Neznan jezik
• Naslov: Compiling functional kernels into graph intermediate code for Maxeler architecture

Izvleček

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.

• Ključne besede: dataflow computing, functional programming languages, compiler