Transaction synchronization in distributed shared virtual memory systems

Synchronization in DSVM (distributed shared virtual memory) can be approached top-down by first understanding the synchronization needs at the process level instead of only at the memory access level. The authors demonstrate this idea in the context of transaction synchronization, devising two-phase locking-based algorithms under two DSVM scenarios: with and without an underlying memory coherence system. They compare the performances of the two algorithms and argue that significant performance gain can potentially result from bypassing memory coherence and supporting process synchronization directly on distributed memory. They also study the role of the optimistic algorithms in transaction synchronization in DSVM and show that some optimistic policy appears promising under the scenarios studied.<<ETX>>

[1]  Albert Chang,et al.  801 storage: architecture and programming , 1988, TOCS.

[2]  Robert Metcalfe,et al.  Ethernet: distributed packet switching for local computer networks , 1976, CACM.

[3]  David A. Mosher,et al.  User-Process Communication Performance in Networks of Computers , 1988, IEEE Trans. Software Eng..

[4]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[5]  Edsger W. Dijkstra,et al.  Solution of a problem in concurrent programming control , 1965, CACM.

[6]  David L. Black,et al.  The duality of memory and communication in the implementation of a multiprocessor operating system , 1987, SOSP '87.

[7]  Jo-Mei Chang,et al.  Reliable broadcast protocols , 1984, TOCS.

[8]  Philip A. Bernstein,et al.  Concurrency Control in Distributed Database Systems , 1986, CSUR.

[9]  Jim Gray,et al.  The Transaction Concept: Virtues and Limitations (Invited Paper) , 1981, VLDB.

[10]  J. T. Robinson,et al.  On optimistic methods for concurrency control , 1979, TODS.

[11]  Bruce Jay Nelson Remote procedure call , 1981 .

[12]  Laura M. Haas,et al.  Computation and communication in R*: a distributed database manager , 1984, TOCS.

[13]  Peter J. Denning,et al.  The working set model for program behavior , 1968, CACM.

[14]  Y. C. Tay,et al.  Locking performance in centralized databases , 1985, TODS.

[15]  Christos H. Papadimitriou,et al.  The serializability of concurrent database updates , 1979, JACM.