Evaluating Sequential Consistency in a Virtually Shared Memory System by Deterministic and Stochastic Petri Nets
Christoph Lindemann, Friedrich Schön · 1993
This paper introduces a modeling approach for evaluating the performance of consistency models for Virtually Shared Memory systems. The proposed approach employs Deterministic and Stochastic Petri Nets (DSPNs) which provide a unified modeling tool for both qualitative and quantitative analysis. A DSPN of a sequential consistency model is presented which is employed for a quantitative performance analysis. This analysis of the sequential consistency model gives important hints for designing more relaxed consistency models.