The GARF library of DSM consistency models

Authors:
Rachid Guerraoui;Benoît Garbinato;Karim R. Mazouni
Affiliations:
Ecole Polytechnique Fédérale de Lausanne, CH-1015, Suisse;Ecole Polytechnique Fédérale de Lausanne, CH-1015, Suisse;Ecole Polytechnique Fédérale de Lausanne, CH-1015, Suisse
Venue:
EW 6 Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs
Year:
1994

Citing 5
Cited 4

The Amber system: parallel programming on a network of multiprocessors

SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Munin: distributed shared memory based on type-specific memory coherence

PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Wait-free synchronization

ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed Programming in GARF

ECOOP '93 Proceedings of the Workshop on Object-Based Distributed Programming
Shared virtual memory on loosely coupled multiprocessors

Shared virtual memory on loosely coupled multiprocessors

A comprehensive bibliography of distributed shared memory

ACM SIGOPS Operating Systems Review
Transactional memory for smalltalk

ICDL '07 Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007
Transactional memory in a dynamic language

Computer Languages, Systems and Structures
Revising 1-Copy Equivalence in Replicated Databases with Snapshot Isolation

OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I

Quantified Score

Hi-index	0.01

Visualization

Abstract

GARF is an object-oriented system intended to support high level and modular programming of reliable distributed applications. GARF provides a distributed shared memory abstraction, but does not enforce any particular consistency criterion. GARF rather offers an extensible library of consistency criteria. The programmer can bind a specific criterion to each object, according to its use and semantics. This flexible approach enables to increase availability of objects of which behaviors do not require strong consistency guarantees.