Decoupled Interconnection of Distributed Memory Models

In this paper we present a framework to formally describe and study the interconnection of distributed shared memory systems. In our models we minimize the dependencies between the original systems and the interconnection system (that is, they are decoupled) and consider systems implemented with invalidation and propagation. We first show that only fast memory models can be interconnected. We then show that causal and pRAM systems can be interconnected if they fulfill some restrictions, and for these cases, we present protocols to interconnect them. Finally, we present a protocol to interconnect cache systems.

• Type: Conference
• Year: 2003
• Where: OPODIS
• Authors: Ernesto Jiménez, Antonio Fernández, Vicent Cholvi
• Keywords: Distributed Shared Memory, Fast Memory Models, Interconnection, OPODIS 2003, OPODIS 2007