Bc. Jiří Weiser
Master's thesis
TCP vrstva pro verifikační nástroj DIVINE
TCP Layer for Divine Model Checker
Abstract:
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.
Language used: Czech
Date on which the thesis was submitted / produced: 11. 1. 2016
Identifier:
https://is.muni.cz/th/n2ek4/
Thesis defence
- Date of defence: 16. 2. 2016
- Supervisor: prof. RNDr. Jiří Barnat, Ph.D.
- Reader: RNDr. Petr Ročkai, Ph.D.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Formální modely distribuovaného výpočtu
Ondřej Soukup -
Formální modely distribuovaného výpočtu
Ondřej Soukup -
Memory-Model-Aware Analysis of Parallel Programs
Vladimír Štill