Performance Analysis of Buffer Coherency Policies in a Multisystem Data Sharing Environment

Six buffer coherency policies for a multisystem transaction processing environment are compared. These policies differ in their basic approaches on how and when the invalidated pages are identified or if the updated pages are propagated to the buffers of the remote nodes. They can be classified as detection, notification (of invalid pages), and (update) propagation oriented approaches. The policies trade off CPU overhead of coherency messages with buffer hit probability in different ways, resulting in a tradeoff of response time and maximum throughput. The main contribution is to develop analytical models to predict buffer hit probabilities under various buffer coherency policies assuming the LRU replacement policy and the independent reference model (IRM). The buffer models are validated using simulation models and show excellent agreement. Integrated analytic models capturing buffer hit probability and CPU overhead are developed to predict the overall response times under these coherency policies. The difference in buffer hit probabilities amongst various policies are found to be very sensitive to the skewness of the data access. >

[1]  Michel Dubois,et al.  Effects of Cache Coherency in Multiprocessors , 1982, IEEE Trans. Computers.

[2]  Peter P. Uhrowczik,et al.  IMS/VS: An Evolving System , 1982, IBM Syst. J..

[3]  Erhard Rahm,et al.  Primary copy synchronization for DB-Sharing , 1986, Inf. Syst..

[4]  Asit Dan Performance analysis of data sharing environments , 1990, ACM distinguished dissertations.

[5]  Mary K. Vernon,et al.  An accurate and efficient performance analysis technique for multiprocessor snooping cache-consistency protocols , 1988, ISCA '88.

[6]  Anupam Bhide,et al.  An Analysis of Three Transaction Processing Architectures , 1988, VLDB.

[7]  John T. Robinson A fast general-purpose hardware synchronization mechanism , 1985, SIGMOD '85.

[8]  Philip S. Yu,et al.  Database buffer model for the data sharing environment , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[9]  Meichun Hsu,et al.  Update propagation in distributed memory hierarchy , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[10]  Philip S. Yu,et al.  Integrated Concurrency-Coherency Controls for Multisystem Data Sharing , 1989, IEEE Trans. Software Eng..

[11]  Philip S. Yu,et al.  Database access characterization for buffer hit prediction , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[12]  J. T. Robinson,et al.  On coupling multi-systems through data sharing , 1987, Proceedings of the IEEE.

[13]  Stephen S. Lavenberg,et al.  Computer Performance Modeling Handbook , 1983, Int. CMG Conference.

[14]  Philip S. Yu,et al.  Analysis of Hybrid Concurrency Control Schemes For a High Data Contention Environment , 1992, IEEE Trans. Software Eng..

[15]  Philip S. Yu,et al.  Analysis of Replication in Distributed Database Systems , 1990, IEEE Trans. Knowl. Data Eng..

[16]  Laxmi N. Bhuyan,et al.  Analysis and Comparison of Cache Coherence Protocols for a Packet-Switched Multiprocessor , 1989, IEEE Trans. Computers.

[17]  Philip S. Yu,et al.  On the analytical modeling of database concurrency control , 1993, JACM.

[18]  R. H. Katz,et al.  Evaluating the performance of four snooping cache coherency protocols , 1989, ISCA '89.

[19]  Philip S. Yu,et al.  Performance analysis of coherency control policies through lock retention , 1992, SIGMOD '92.

[20]  C. Mohan,et al.  Recovery and Coherency-Control Protocols for Fast Intersystem Page Transfer and Fine-Granularity Locking in a Shared Disks Transaction Environment , 1991, VLDB.

[21]  Kenneth C. Sevcik,et al.  A buffer management model for use in predicting overall database system performance , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

[22]  Albert G. Greenberg,et al.  Analysis of Snooping Caches , 1987, Performance.

[23]  Stephen E. Deering,et al.  Multicast routing in datagram internetworks and extended LANs , 1990, TOCS.

[24]  Nancy P. Kronenberg,et al.  VAXcluster: a closely-coupled distributed system , 1986, TOCS.

[25]  Willy Zwaenepoel,et al.  Munin: distributed shared memory based on type-specific memory coherence , 1990, PPOPP '90.

[26]  Miron Livny,et al.  Data caching tradeoffs in client-server DBMS architectures , 1991, SIGMOD '91.

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

[28]  Asit Dan,et al.  An approximate analysis of the LRU and FIFO buffer replacement schemes , 1990, SIGMETRICS '90.

[29]  Paul Hudak,et al.  Memory coherence in shared virtual memory systems , 1989, TOCS.

[30]  Philip S. Yu,et al.  Tradeoffs Between Coupling Small and Large Processors for Transaction Processing , 1988, IEEE Trans. Computers.

[31]  Philip S. Yu,et al.  Concurrency control using locking with deferred blocking , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[32]  Philip S. Yu,et al.  The Effect of Skewed Data Access on Buffer Hits and Data Contention an a Data Sharing Environment , 1990, VLDB.

[33]  Samuel DeFazio,et al.  Diversity in database reference behavior , 1989, SIGMETRICS '89.

[34]  Mahadev Satyanarayanan,et al.  Scale and performance in a distributed file system , 1988, TOCS.

[35]  Kevin Wilkinson,et al.  Maintaining Consistency of Client-Cached Data , 1990, VLDB.

[36]  Jim Gray,et al.  Benchmark Handbook: For Database and Transaction Processing Systems , 1992 .

[37]  Umakishore Ramachandran,et al.  Coherence of Distributed Shared Memory: Unifying Synchronization and Data Transfer , 1989, International Conference on Parallel Processing.

[38]  James K. Archibald,et al.  Cache coherence protocols: evaluation using a multiprocessor simulation model , 1986, TOCS.