Formal Analysis of Distributed Shared Memory Algorithms

The memory coherence problem occurs while mapping shared virtual memory in a loosely coupled multiprocesses setup. Memory is considered coherent if a read operation provides the same data written in the last write operation. The problem has been addressed in the literature using different algorithms...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	UMT Artificial Intelligence Review Jg. 2; H. No 2
Hauptverfasser:	Atif, Muhammad, Mudassar Naseer, Ahmad Salman Khan
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	22.03.2023
ISSN:	2791-1268, 2791-1276
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!