Abstract
Shared Memory is an interesting communication paradigm for SMP machines and clusters. Weak consistency models have been proposed to improve efficiency of shared memory applications. In a programming environment offering weak consistency it is a necessity to worry about individual load and store operations and about proper synchronization. In contrast to this explicit style of distributed programming hared memory systems implementing strong consistency models are easy to program and consistency is implicit. In this paper we compare two representatives: Kerrighed and Plurix implementing sequential and transactional consistency respectively. Kerrighed is a single system image operating system (OS) based on Linux whereas Plurix is a native OS for PC clusters designed for shared memory operation. The measurements presented in this paper show that strong consistency models implemented at the OS level are competitive.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Mosberger, D.: Memory Consistency Models. ACM Operating Systems Review 27(1), 18–26 (1993)
Goeckelmann, R., Frenz, S., Schoettner, M., Schulthess, P.: Compiler Support for Reference Tracking in a type-safe DSM. In: Proceedings of the Joint Modular Languages Conference Klagenfurt, Austria (2003)
Wende, M., Schoettner, M., Goeckelmann, R., Bindhammer, T., Schulthess, P.: Optimistic Synchronization and Transactional Consistency. In: Proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid, Berlin, Germany (2002)
Wirth, N., Guteknecht, J.: Project Oberon - The Design of an Operating System and Compiler. Addison-Wesley, Reading (1992)
Lottiaux, R., Morin, C.: Containers: A Sound Basis For a True Single System Image. In: Proceeding of IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), Brisbane, Australia (2001)
Vallée, G., Lottiaux, R., Rilling, L., Berthou, J.-Y., Dutka-Malhen, I., Morin, C.: A Case for Single System Image Cluster Operating Systems: Kerrighed Approach. Parallel Processing Letters 13(2) (June 2003)
Li, K.: IVY: A Shared Virutal Memory System for Parallel Computing. In: Proceedings of the International Conference on Parallel Processing (1988)
Keleher, P., et al.: TreadMarks: Distributed Shared Memory on Standard Workstations and Operating Systems. USENIX 1994 Winter (1994)
Hammond, L., Carlstrom, B.D., Wong, V., Hertzberg, B., Chen, M., Kozyrakis, C., Olukotun, K.: Programming with Transactional Coherence and Consistency. In: Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, USA (2004)
Ousterhout, J., Cherenson, A., Douglis, F., Nelson, M., Welch, B.: The Sprite network operating system. Computer 21(2), 23–36 (1988)
Barak, A., Guday, S., Wheeler, R.: The MOSIX Distributed Operating System. LNCS, vol. 672. Springer, Heidelberg (1993)
http://graphics.csail.mit.edu/classes/6.837/F01/Project05/project5.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Frenz, S., Lottiaux, R., Schoettner, M., Morin, C., Goeckelmann, R., Schulthess, P. (2005). A Practical Comparison of Cluster Operating Systems Implementing Sequential and Transactional Consistency. In: Hobbs, M., Goscinski, A.M., Zhou, W. (eds) Distributed and Parallel Computing. ICA3PP 2005. Lecture Notes in Computer Science, vol 3719. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11564621_3
Download citation
DOI: https://doi.org/10.1007/11564621_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29235-7
Online ISBN: 978-3-540-32071-5
eBook Packages: Computer ScienceComputer Science (R0)