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á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{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"
}