Abstract
Memory accesses form a well understood paradigm for developing concurrent applications. Distributed Shared Memory systems, enable the creation of distributed applications based on shared memory accesses. A DSM system is characterized by the memory model it uses to perform memory accesses. There have been numerous models proposed over the years, and until recently there has been little attempt to provide a common formal framework to study their properties. DSM models can be roughly classified into synchronized (those which, in addition to usual read-write accesses, use special synchronization operations) and non-synchronized. In this paper we focus on the formalization of synchronized DSM models, extending a previous work on non-synchronized models.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
