Detail publikace
CSP-based Modeling of SM Architectures
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ástroj Transim založený na CSP nám umožnil porovnat výkonnost nejen teoretického modelu PRAM a modelu se zasíláním zpráv (MP), ale i skutečných SM systémů založených na sběrnici s koherentními vyrovná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 koherence zneplatnění/aktualizace paměti a nejčastěji používané strategie př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. V závěru jsou představeny a diskutovány výkonnostní výsledky.
@INPROCEEDINGS{FITPUB5664, author = "Rudolf \v{C}ejka and V\'{a}clav Dvo\v{r}\'{a}k", title = "CSP-based Modeling of SM Architectures", pages = "163--168", booktitle = "Proceedings of conference Computer Engineering and Informatics CE\&I'99", year = 1999, location = "Kosice - Herlany, SK", publisher = "Faculty of Electrical Engineering and Informatics, University of Technology Ko\v{s}ice", ISBN = "80-88922-05-4", language = "english", url = "https://www.fit.vut.cz/research/publication/5664" }