Formal Specification of Memory Coherence Protocol

Memory coherence is the most fundamental re-quirement in a shared virtual memory system where there are concurrent as well as loosely coupled processes. These processes can demand a page for reading or writing. The memory is called coherent if the last update in a page remains constant for each proc...

Full description

Saved in:
Bibliographic Details
Published inInternational journal of advanced computer science & applications Vol. 9; no. 8
Main Authors Khan, Jahanzaib, Atif, Muhammad, Khurram, Muhammad, Sohaib, Muhammad, Usman, Sobia
Format Journal Article
LanguageEnglish
Published West Yorkshire Science and Information (SAI) Organization Limited 2018
Subjects
Algorithms
Boolean
Coherence
Computer networks
Computer science
Distributed memory
Distributed processing
Embedded systems
Formal specifications
Protocol
Software
Virtual memory systems
Wireless networks
Writing
Online AccessGet full text

Cover

More Information
Summary:Memory coherence is the most fundamental re-quirement in a shared virtual memory system where there are concurrent as well as loosely coupled processes. These processes can demand a page for reading or writing. The memory is called coherent if the last update in a page remains constant for each process until the owner of that page does not change it. The ownership is transferred to a process interested to update that page. In [Kai LI, and Paul Hudak. Memory Coherence in Shared Virtual Memory Systems, 1986. Proc. of Fifth Annual ACM Symposium on Principles of Distributed Computing.], algorithms ensuring memory coherence are given. We formally specify these protocols and report the improvements through formal analysis. The protocols are specified in UPPAAL, i.e., a tool for modeling, validation and verification of real-time systems.
ISSN:2158-107X
2156-5570
DOI:10.14569/IJACSA.2018.090881