Abstract

Regularity is a shared memory consistency condition that has received considerable attention. Lamport's original definition of regularity assumed a single-writer model, however, and is not well defined when the shared register may have multiple writers. In this paper, we consider four possible definitions of multiwriter regularity. The definitions are motivated by variations on a quorum-based algorithm schema for implementing them. We study the relationships between these definitions and a number of other well-known consistency conditions, and we give a partial order describing the relative strengths of these consistency conditions. Finally, we provide a practical context for our results by studying the correctness of two well-known algorithms for mutual exclusion under each of our proposed consistency conditions.

MSC codes

  1. 68M14
  2. 68W15

Keywords

  1. shared memory consistency
  2. regularity
  3. multiwriter registers
  4. quorum systems
  5. mutual exclusion

Get full access to this article

View all available purchase options and get full access to this article.

References

1.
M. Ahamad, R. Bazzi, R. John, P. Kohli, and G. Neiger, The power of processor consistency, in Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures, 1993, pp. 251–260.
2.
M. Ahamad, P. W. Hutto, G. Neiger, J. E. Burns, and P. Kohli, Causal Memory: Definitions, Implementations and Programming, Technical Report GIT-CC-93/55, Georgia Institute of Technology, 1994.
3.
F. Anger, On Lamport's interprocess communication model, ACM Trans. Programming Languages and Systems, 11 (1989) pp. 404–417.
4.
H. Attiya, A. Bar-Noy, and D. Dolev, Sharing memory robustly in message passing systems, J. ACM, 42 (1995), pp. 124–142.
5.
H. Attiya and R. Friedman, A correctness condition for high-performance multiprocessors, SIAM J. Comput., 27 (1998), pp. 1637–1670.
6.
R. A. Bazzi, Synchronous Byzantine quorum systems, Distrib. Comput., 13 (2000), pp. 45–52.
7.
S. Ben-David, The global time assumption and semantics for concurrent systems, in Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, 1988, pp. 223–231.
8.
T. D. Chandra and S. Toueg, Unreliable failure detectors for reliable distributed systems, J. ACM, 43 (1996), pp. 225–267.
9.
R. Friedman, R. Vitenberg, and G. Chockler, On the composability of consistency conditions, Inform. Process. Lett., 86 (2003), pp. 169–176.
10.
V. K. Garg and M. Raynal, Normality: A consistency condition for concurrent objects, Parallel Process. Lett., 9 (1999), pp. 123–134.
11.
J. Goodman, Cache Consistency and Sequential Consistency, Technical Report 61, IEEE Scalable Coherent Interface Working Group, 1989.
12.
M. Herlihy and J. Wing, Linearizability: A correctness condition for concurrent objects, ACM Trans. Programming Languages and Systems, 12 (1990), pp. 463–492.
13.
L. Higham and J. Kawash, Tight bounds for critical sections in processor consistent platforms, IEEE Trans. Parallel Distrib. Systems, 17 (2006), pp. 1072–1083.
14.
L. Lamport, A new solution of Dijkstra's concurrent programming problem, Commun. ACM, 17 (1974), pp. 453–455.
15.
L. Lamport, How to make a multiprocessor computer that correctly executes multiprocess programs, IEEE Trans. Comput., C-28 (1979), pp. 690–691.
16.
L. Lamport, On interprocessor communication. Parts I and II, Distrib. Comput., 1 (1986), pp. 77–101.
17.
H. Lee and J. Welch, Randomized registers and iterative algorithms, Distrib. Comput., 17 (2005), pp. 209–221
18.
R. Lipton and J. Sandberg, PRAM: A Scalable Shared Memory, Technical Report 180-88, Department of Computer Science, Princeton University, Princeton, NJ, 1988.
19.
N. Lynch and A. Shvartsman, RAMBO: A reconfigurable atomic memory service for dynamic networks, in Proceedings of the Sixteenth International Symposium on Distributed Computing, 2002, pp. 173–190.
20.
D. Malkhi and M. Reiter, Byzantine quorum systems, Distrib. Comput., 11 (1998), pp. 203–213.
21.
D. Malkhi, M. Reiter, A. Wool, and R. Wright, Probabilistic quorum systems, Inform. and Comput., 170 (2001), pp. 184–206.
22.
G. L. Peterson, Myths about the mutual exclusion problem, Inform. Process. Lett., 12 (1981), pp. 115–116.
23.
G. L. Peterson and M. J. Fischer, Economical solutions for the critical section problem in a distributed system, in Proceedings of the Ninth ACM Symposium on Theory of Computing, 1977, pp. 91–97.
24.
M. Raynal, Algorithms for Mutual Exclusion, MIT Press, Cambridge, MA, 1986.
25.
M. Raynal and A. Schiper, From causal consistency to sequential consistency in shared memory systems, in Proceedings of the Fifteenth Conference on Foundations of Software Technologies and Theoretical Computer Science, 1995, pp. 180–194.
26.
M. Raynal and A. Schiper, A suite of formal definitions for consistency criteria in distributed shared memories, in Proceedings of the Ninth International Conference on Parallel and Distributed Computing Systems, 1996, pp. 125–131.
27.
C. Shao, Multi-Writer Consistency Conditions for Shared Memory Objects, M.S. Thesis, Department of Computer Science, Texas A&M University, College Station, TX, 2007.
28.
C. Shao, E. Pierce, and J. L. Welch, Multi-writer consistency conditions for shared memory objects, in Proceedings of the Seventeenth International Symposium on Distributed Computing, 2003, pp. 106–120.
29.
R. C. Steinke and G. J. Nutt, A unified theory of shared memory consistency, J. ACM, 51 (2004), pp. 800–849.
30.
R. Vitenberg and R. Friedman, On the locality of consistency conditions, in Proceedings of the Seventeenth International Symposium on Distributed Computing, 2003, pp. 92–105.

Information & Authors

Information

Published In

cover image SIAM Journal on Computing
SIAM Journal on Computing
Pages: 28 - 62
ISSN (online): 1095-7111

History

Submitted: 21 December 2007
Accepted: 28 September 2010
Published online: 4 January 2011

MSC codes

  1. 68M14
  2. 68W15

Keywords

  1. shared memory consistency
  2. regularity
  3. multiwriter registers
  4. quorum systems
  5. mutual exclusion

Authors

Affiliations

Metrics & Citations

Metrics

Citations

If you have the appropriate software installed, you can download article citation data to the citation manager of your choice. Simply select your manager software from the list below and click Download.

Cited By

Media

Figures

Other

Tables

Share

Share

Copy the content Link

Share with email

Email a colleague

Share on social media

The SIAM Publications Library now uses SIAM Single Sign-On for individuals. If you do not have existing SIAM credentials, create your SIAM account https://my.siam.org.