Zusammenfassung
Disjunkter Parallelismus ist eine sehr eingeschränkte Form von Parallelismus. In Anwendungen kommt es häufig vor, daß sich parallel arbeitetende Komponenten Ressourcen wie Datenbanken, Drucker oder Datenbusse teilen. Eine gemeinsame Benutzung von Ressourcen ist notwendig, wenn es zu kostspielig ist, jede Komponente mit einer eigenen Kopie zu versorgen. Dies ist zum Beispiel bei großen Datenbanken der Fall. Eine gemeinsame Benutzung ist sogar wünschenswert, wenn dadurch Kommunikation zwischen verschiedenen Komponenten ermöglicht wird, etwa im Falle eines gemeinsamen Datenbusses. Diese Form des Parallelismus wollen wir durch parallele Programme mit Variablen modellieren, die von mehreren Komponenten gemeinsam gelesen und verändert werden können.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Apt, K.R., Olderog, ER. (1994). Parallele Programme mit gemeinsamen Variablen. In: Programmverifikation. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-57947-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-57947-9_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57479-8
Online ISBN: 978-3-642-57947-9
eBook Packages: Springer Book Archive