Future of Information and Communication Conference (FICC) 2025
28-29 April 2025
Publication Links
IJACSA
Special Issues
Future of Information and Communication Conference (FICC)
Computing Conference
Intelligent Systems Conference (IntelliSys)
Future Technologies Conference (FTC)
International Journal of Advanced Computer Science and Applications(IJACSA), Volume 9 Issue 8, 2018.
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.
Jahanzaib Khan, Muhammad Atif, Muhammad Khurram Zahoor Bajwa, Muhammad Sohaib Mahmood and Sobia Usman, “Formal Specification of Memory Coherence Protocol” International Journal of Advanced Computer Science and Applications(IJACSA), 9(8), 2018. http://dx.doi.org/10.14569/IJACSA.2018.090881
@article{Khan2018,
title = {Formal Specification of Memory Coherence Protocol},
journal = {International Journal of Advanced Computer Science and Applications},
doi = {10.14569/IJACSA.2018.090881},
url = {http://dx.doi.org/10.14569/IJACSA.2018.090881},
year = {2018},
publisher = {The Science and Information Organization},
volume = {9},
number = {8},
author = {Jahanzaib Khan and Muhammad Atif and Muhammad Khurram Zahoor Bajwa and Muhammad Sohaib Mahmood and Sobia Usman}
}
Copyright Statement: This is an open access article licensed under a Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, even commercially as long as the original work is properly cited.