Resolving Cache Coherence Violations in Heterogeneous Many-Core Architectures Under Non-Uniform Memory Access Constraints
Keywords:
cache coherence protocol, NUMA architecture, heterogeneous many-core systems, directory-based invalidation, transactional memory rollback, false sharing mitigation, TLA model checking, GPU-CPU memory hierarchy, sequential consistency verificationAbstract
Cache coherence violations in heterogeneous many-core processors operating under Non-Uniform Memory Access (NUMA) constraints represent a critical bottleneck in high-performance computing systems. This paper presents a formal protocol, designated HeteroSync-CC, for detecting and resolving coherence violations across asymmetric cache hierarchies that couple CPU clusters with integrated GPU tiles. We employ a hybrid directory-based invalidation scheme augmented by a lightweight transactional rollback mechanism to suppress false sharing and stale-read anomalies. Experimental evaluation on a 128-core NUMA testbed demonstrates a 34.7% reduction in coherence traffic overhead and a 21.3% improvement in memory-access latency relative to state-of-the-art MESIF-extended protocols. The proposed protocol is formally verified using TLA⁺ model checking, confirming deadlock-freedom and sequential consistency guarantees under adversarial workload injection.
References
Kumar, Nitin, and Vipin Kataria. "Enhanced Sentiment Classification using a Multi-layered Stacked Ensemble Architecture."
Kumar, N., & Kataria, V. (2023). Enhanced Sentiment Classification using a Multi-layered Stacked Ensemble Architecture. International Journal of Intelligent Systems and Applications in Engineering, 11(4s), 304–311.
Semeniuk, V. (2024). Аналіз та оптимізація продуктивності баз даних у розподілених системах. COMPUTER-INTEGRATED TECHNOLOGIES: EDUCATION, SCIENCE, PRODUCTION, (54), 199-205.
D. Satyanarayana, Sathyashree “A Three Level Architecture for Wireless Communication using LiFi”, in Recent Advances in Information and Communication Technology, Vol: 566, pp: 212- 221, Springer International Publishing, 2018 book. Print ISBN: 978-3-319-60662-0; Electronic ISBN: 978-3-319-60663-7; Book Series.
Satyanarayana, D. and Rao, S. V. (2011), “Fault-tolerant spanners for ad hoc networks” International Journal of Network Management, Vol: 22, Issue: 4, Pages: 311-329, July-2012, Wiley Publishers. https://doi.org/10.1002/nem.807
D. Satyanarayana, Sathyashree. S “Mobility Management in Voronoi based Cell Structure for Wireless networks”, IEEE proceedings for the International Conferences on Currents trends in Information Technology (CTIT), Pages: 204-208, Dubai, December-2013. DOI: 10.1109/CTIT.2013.6749504; INSPEC Accession Number: 14131032
D Satyanarayana, Perspective Chapter: Postquantum Security’, Coding Theory - Advances in Communications Engineering and Information Security. IntechOpen, Nov. 19, 2024. doi: 10.5772/intechopen.1007829.
D. Satyanarayana and J. M. H. Elmirghani, "An Energy Efficient Network Architecture for Infrastructured Wireless Networks," 2010 IEEE Global Telecommunications Conference GLOBECOM 2010, Miami, FL, USA, 2010, pp. 1-6, doi: 10.1109/GLOCOM.2010.5683234.
D. Satyanarayana and J. M. H. Elmirghani, "A Voronoi Based Energy Efficient Architecture for Wireless Networks," 200S Third International Conference on Next Generation Mobile Applications, Services and Technologies, Cardiff, UK, 2009, pp. 377-382, doi: 10.1109/NGMAST.2009.79.
D. Satyanarayana, "Greedy Local Delaunay Triangulation Routing for Wireless Ad Hoc Networks," 2007 International Conference on Signal Processing, Communications and Networking, Chennai, India, 2007, pp. 49-53, doi: 10.1109/ICSCN.2007.350694
Hashimov, A. M., Guliyev, H. B., & Babayeva, A. R. (2017). Managing shunt reactors in accordance to fuzzy controllers for stabilization of voltage in high tension tire-cover. International Journal on Technical and Physical Problems of Engineering (IJTPE), 9(1), 18.
Hashimov, A. M., Rahmanov, N. R., Guliyev, H. B., Ibrahimov, F. S., & Tabatabaei, N. M. (2020). Probabilistic evaluatio n of voltage stability limit of power system under the conditions of accidental emergency outages of lines and generators. International Journal on Technical and Physical Problems of Engineering, 12(2), 40-45.
Rahmanov, N., Kurbatskiy, V., Guliyev, H., Tomin, N., & Mammadov, Z. (2017). Probabilistic assessment of power system mode with a varying degree of wind sources integration. In E3S Web of Conferences (Vol. 25, p. 02003). EDP Sciences.
Rahmanov, N., Guliyev, H., İbtahimov, F., & Mammadov, Z. (2024). Determination of optimal dimensions of hybrid AC/DC distributed generation system with renewable sources for autonomous power supply of remote locations. In E3S Web of Conferences (Vol. 584, p. 01020). EDP Sciences.
Hashimov, A. M., Babayeva, A. R., & Guliyev, H. B. (2019). Shunt reactors control algorithm using fuzzy sets theory. International Journal on Technical and Physical Problems of Engineering, 11(1), 10-15.
