Detail publikace
CSP-based Modeling of SM Architectures
Dvořák Václav, prof. Ing., DrSc.
Sdílená paměť, CSP, Transim, porovnání výkonnosti
V článku je popsána možnost modelování architektur se sdílenou pamětí(SM) s použitím komunikujících sekvenčních procesů (CSP). NástrojTransim založený na CSP nám umožnil porovnat výkonnost nejenteoretického modelu PRAM a modelu se zasíláním zpráv (MP), ale iskutečných SM systémů založených na sběrnici s koherentnímivyrovnávacími pamětmi. Byly zkoumány různé strategie zápisů do paměti,protokoly pro koherenci vyrovnávacích pamětí a způsoby přidělovánísběrnice, jako jsou přímý/zpožděný zápis do paměti, protokoly koherencezneplatnění/aktualizace paměti a nejčastěji používané strategiepřidělování sběrnice (spravedlivá, prioritní, náhodná). Pro srovnáníjsme vybrali paralelní řešení velkého systému lineárních rovnic. Vzávěru jsou představeny a diskutovány výkonnostní výsledky.
@inproceedings{BUT192268,
author="Rudolf {Čejka} and Václav {Dvořák}",
title="CSP-based Modeling of SM Architectures",
booktitle="Proceedings of conference Computer Engineering and Informatics CE&I'99",
year="1999",
pages="163--168",
publisher="Faculty of Electrical Engineering and Informatics, University of Technology Košice",
address="Kosice - Herlany",
isbn="80-88922-05-4"
}