System Performance Analysis Extension of DiVinE
Petr Bauch · 2011
Tato prace se zabýva kompozicionalnim modelovanim a analýzou výkonnosti distribuovaných systemů typu klient/server. V teto praci zhodnotime existujici formalismy dovolujici analýzu výkonnosti a navrhneme rozsiřeni enumerativniho nastroje pro kontrolu modelů DiVinE, ktere umožni tomuto nastroji měřit spotřebu výpocetnich zdrojů vstupnich modelů distribuovaných systemů. Rozsiřeni je navrženo jak teoreticky (vytvořime dva nove formalismy pro modelovani komunikujicich systemů a měřeni jejich zatěže během výpoctu), tak prakticky implementaci komplexnějsiho z těchto dvou formalismů do nastroje DiVinE. Nasledně popiseme navrh a implementaci datově paralelniho algoritmu pro výpocet optimalni průměrne delky hrany cyklu (což je centralnim problemem obou navržených formalismů) a experimentalně shodnotime jeho efektivitu. Navržený postup byl použit v připadove studii online PDF editoru, který je v soucasne době vyvijen firmou Normex, a popis výsledků teto studie je zahrnut v teto praci.