Formal Specification of Memory Coherence Protocol

Abstract

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.

Authors and Affiliations

Jahanzaib Khan, Muhammad Atif, Muhammad Khurram Zahoor Bajwa, Muhammad Sohaib Mahmood, Sobia Usman

Keywords

Related Articles

IMPLEMENTATION OF NODE ENERGY BASED ON ENCRYPTION KEYING 

This paper deals with Designing cost-efficient, secure network protocols for any Networks is a challenging problem because node in a network itself is resource-limited. Since the communication cost is the most dominant f...

A Flexible Approach to Modelling Adaptive Course Sequencing based on Graphs implemented using XLink

A major challenge in developing systems of distance learning is the ability to adapt learning to individual users. This adaptation requires a flexible scheme for sequencing the material to teach diverse learners. This is...

Comparison of Intelligent Methods of SOC Estimation for Battery of Photovoltaic System

It is essential to estimate the state of charge (SOC) of lead-acid batteries to improve the stability and reliability of photovoltaic systems. In this paper, we propose SOC estimation methods for a lead-acid battery usin...

Fixation Detection with Ray-casting in Immersive Virtual Reality

This paper demonstrates the application of a proposed eye fixation detection algorithm to eye movement recorded during eye gaze input within immersive Virtual Reality and compares it with the standard frame-by-frame anal...

The Effect of Social Feature Quality on the Social Commerce System

The emergence of social networks has triggered the evolution of e-commerce to what is now known as social-commerce (s-commerce). However, s-commerce users experience problems related to its social features that affect s-...

Download PDF file
  • EP ID EP376684
  • DOI 10.14569/IJACSA.2018.090881
  • Views 116
  • Downloads 0

How To Cite

Jahanzaib Khan, Muhammad Atif, Muhammad Khurram Zahoor Bajwa, Muhammad Sohaib Mahmood, Sobia Usman (2018). Formal Specification of Memory Coherence Protocol. International Journal of Advanced Computer Science & Applications, 9(8), 641-650. https://europub.co.uk/articles/-A-376684