TCP vrstva pro verifikační nástroj DIVINE

Bc. Jiří Weiser

Master's thesis

TCP Layer for Divine Model Checker

Anotácia:

V práci je prezentována motivace pro distribuované výpočty a jejich vztah ke knihovně MPI. Dále je v práci navržen a popsán nový přístup k řízení distribuovaného výpočtu, který lze použít v lokálních sítích. V závěru práce je nové řešení experimentálně porovnáno s knihovnou MPI. Porovnání je zaměřeno převážně na paralelní přístup ke komunikačnímu rozhraní.

Abstract:

This thesis presents the motivation for distributed computation and its relation to MPI library. Furthermore, new library for distributed computation in local networks is designed and described in the thesis. The new approach and MPI are experimentally compared in the conclusion of the thesis. The comparison is mainly focused to a parallel access to the communication interface.

Kľúčové slová

Distribuované výpočty, MPI, Síť, TCP, Formální verifikace, Paralelizmus, DIVINE

Jazyk práce: Czech

Datum vytvoření / odevzdání či podání práce: 11. 1. 2016

Obhajoba závěrečné práce

• Obhajoba proběhla 16. 2. 2016
• Vedúci: prof. RNDr. Jiří Barnat, Ph.D.
• Oponent: RNDr. Petr Ročkai, Ph.D.

Masaryk University

Faculty of Informatics

Master programme / odbor:
Applied Informatics / Applied Informatics