Formal Specification of Memory Coherence Protocol
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2018, Vol 9, Issue 8
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
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-...