Abstract
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe programs performing read and write access to unitary pieces of shared data. Extensions allow shared data to be decomposed and atomic copies to be made, reflecting the common operations of parallel programs. We describe the theory and give an example of its use in analysing and transforming a sample mathematical application.
Chapter PDF
Similar content being viewed by others
References
Baeten, J.C.M. and Weijland, W.P. (1990) Process algebra. Cambridge University Press.
Bird, R. (1986) An introduction to the theory of lists, in Logics for Programming and Calculi of Discrete Design.
Frank, S. (1992) Virtual memory to ALLCACHE memory, in Proceedings of the Virtual Shared Memory Symposium, Centre for Novel Computing, University of Manchester
Li, K. and Hudak, P. (1989) Memory coherence in shared virtual memory systems. ACM Transactions on Computer Systems, 7, 243–271.
Lucassen, J.M. and Gifford, D.K. (1988) Polymorphic effect systems, in Proceedings of the 15th ACM Symposium on Principles of Programming Languages.
McColl, W.F. (1994) BSP programming, in DIMACS series in Discrete Mathematics and Theoretical Computer Science.
Milner, R. (1986) A calculus of communicating systems. Technical report ECS-LFCS-86–7, Laboratory for Foundations of Computer Science, University of Edinburgh.
Skillicorn, D.B. (1991) Models for practical parallel computation. International Journal of Parallel Programming, 20, 133–158.
Skillicorn, D.B. (1995) Categorical data types, in Abstract Machine Models for Highly Parallel Computing (ed. J.R. Davy and P.M. Dew), Oxford Science Publishers.
Zima, H. and Chapman, B. (1991) Supercompilers for parallel and vector computers. ACM Press.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Dobson, S., Wadsworth, C.P. (1996). Towards a theory of shared data in distributed systems. In: Jelly, I., Gorton, I., Croll, P. (eds) Software Engineering for Parallel and Distributed Systems. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34984-8_15
Download citation
DOI: https://doi.org/10.1007/978-0-387-34984-8_15
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2948-0
Online ISBN: 978-0-387-34984-8
eBook Packages: Springer Book Archive