A practical comparison of cluster operating systems implementing sequential and transactional consistency

Authors:
Stefan Frenz;Renaud Lottiaux;Michael Schoettner;Christine Morin;Ralph Goeckelmann;Peter Schulthess
Affiliations:
Ulm University, Ulm, Germany;IRISA/INRIA, Rennes, France;Ulm University, Ulm, Germany;IRISA/INRIA, Rennes, France;Ulm University, Ulm, Germany;Ulm University, Ulm, Germany
Venue:
ICA3PP'05 Proceedings of the 6th international conference on Algorithms and Architectures for Parallel Processing
Year:
2005

Citing 8
Cited 0

The Sprite Network Operating System

Computer
Project Oberon: the design of an operating system and compiler

Project Oberon: the design of an operating system and compiler
Memory consistency models

ACM SIGOPS Operating Systems Review
The MOSIX Distributed Operating System: Load Balancing for UNIX

The MOSIX Distributed Operating System: Load Balancing for UNIX
Containers: A Sound Basis For a True Single System Image

CCGRID '01 Proceedings of the 1st International Symposium on Cluster Computing and the Grid
Optimistic Synchronization and Transactional Consistency

CCGRID '02 Proceedings of the 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid
Programming with transactional coherence and consistency (TCC)

ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
TreadMarks: distributed shared memory on standard workstations and operating systems

WTEC'94 Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference

Quantified Score

Hi-index	0.00

Visualization

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.