Morpheus

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27740%2F20%3A10246016" target="_blank" >RIV/61989100:27740/20:10246016 - isvavai.cz</a>

Výsledek na webu

<a href="https://github.com/It4innovations/morpheus" target="_blank" >https://github.com/It4innovations/morpheus</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Morpheus

Popis výsledku v původním jazyce

Morpheus is an open-source tool for extracting an abstract model of communication from a code MPI (Message Passing Interface) applications. Generated abstract model of communication is called MP net and it is strongly inspired by Coloured Petri nets. MP net aims to help people better understand the communication aspect of MPI program. The assumption is, that the structure of communication which has inherently spatial character can be better understood by looking at a kind of graph than by reading the code.

Název v anglickém jazyce

Morpheus

Popis výsledku anglicky

Morpheus is an open-source tool for extracting an abstract model of communication from a code MPI (Message Passing Interface) applications. Generated abstract model of communication is called MP net and it is strongly inspired by Coloured Petri nets. MP net aims to help people better understand the communication aspect of MPI program. The assumption is, that the structure of communication which has inherently spatial character can be better understood by looking at a kind of graph than by reading the code.

Druh

R - Software

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/LQ1602" target="_blank" >LQ1602: IT4Innovations excellence in science</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Interní identifikační kód produktu

026/23-12-2020_SW

Technické parametry

Morpheus je napsán v jazyku C++. Analýza zdrojového kódu je postavena nad LLVM infrastrukturou a jednotlivé algoritmy jsou psány jako LLVM pluginy. Takto je dané řešení do budoucna relativně snadno udržovatelné a robustní vůči změnám v analyzovaném jazyce.

Ekonomické parametry

Dřívější odhalení problému v komunikaci v kódu MPI aplikací, vede k snížení potřebného času na vývoj aplikace a tím pádem k zvýšení produktivity práce vývojářů a vědců.

IČO vlastníka výsledku

61989100

Název vlastníka

VŠB - Technical University of Ostrava