Towards Compliant Distributed Shared Memory

Abstract

There exists a wide spectrum of coherency models for use in distributed shared memory (DSM)

Unifying static and dynamic approaches to evolution through the compliant systems architecture

“…This architecture supports experimentation into compliant policies for distributed systems, such as memory management [25] and cache coherency [10]. Here, the efficacy of the compliant evolution model is demonstrated through worked examples, detailing policy specification for concurrency and distribution models.…”