In the algorithm to implement sequential consistency using local Write operations, as given in Figure 12.8, why is a single counter counter sufficient for the algorithm's correctness?
In other words, why is a separate counter counterx not required to track the number of updates issued to each variable x, where a Read operation on x gets delayed only if counterx > 0? If such a separate counter were used for every variable, what consistency model would be implemented?
