Abstrakt. I detta dokument presenterar vi en ram för att formellt beskriva och studera sammankopplingen av distribuerade delade minnessystem. I våra modeller minimerar vi beroendena mellan de ursprungliga systemen och sammanlänkningssystemet (dvs. de är frikopplade) och överväger system som implementeras med ogiltighet och spridning. Vi visar först att endast snabba minnesmodeller kan kopplas samman. Vi visar sedan att kausal- och PRAM-system kan kopplas samman om de uppfyller vissa begränsningar, och för dessa fall presenterar vi protokoll för att koppla samman dem. Slutligen lägger vi fram ett protokoll för sammankoppling av cachesystem.
De definierade vidare en formell ram för att beskriva sammankopplingen av distribuerade delade minnessystem i REF och visade att endast snabba minnesmodeller kan kopplas samman, där läs- och skrivoperationer återvänder omedelbart efter endast lokala beräkningar (dvs. ingen global synkronisering, som krävs för att genomföra SC-system).
Decoupled Interconnection of Distributed Memory Models
{'venue': 'IEEE Transactions on Communications', 'journal': None, 'mag_field_of_study': ['Computer Science']}