Publications associées à Modèle de cohérence

GentleRain: Cheap and Scalable Causal Consistency with Physical Clocks

Willy Zwaenepoel, Calin Iorgulescu, Jiaqing Du, Amitabha Roy

GentleRain is a new causally consistent geo-replicated data store that provides throughput comparable to eventual consistency and superior to current implementations of causal consistency. GentleRain uses a periodic aggregation protocol to deter- mine whet ...

ACM2014

Consensus Inside

Rachid Guerraoui, Maysam Yabandeh, Tudor Alexandru David

Scaling to a large number of cores with non-uniform communication latency and unpredictable response time may call for viewing a modern many-core architecture as a distributed system. In this view, the cores replicate shared data and ensure consistency amo ...

2014

Consensus inside

Rachid Guerraoui, Maysam Yabandeh, Tudor Alexandru David

ACM Press2014

A paradox of eventual linearizability in shared memory

Rachid Guerraoui, Eric Ruppert

This paper compares, for the rst time, the computational power of linearizable objects with that of eventually linearizable ones. We present the following paradox. We show that, unsurprisingly, no set of eventually linearizable objects can (1) implement an ...

ACM Press2014

Leveraging Hardware Message Passing for Efficient Thread Synchronization

André Schiper, Thomas Ropars, Darko Petrovic

As the level of parallelism in manycore processors keeps increasing, providing efficient mechanisms for thread synchronization in concurrent programs is becoming a major concern. On cache-coherent shared-memory processors, synchronization efficiency is ult ...

2014

Leveraging Hardware Message Passing for Efficient Thread Synchronization

André Schiper, Thomas Ropars, Darko Petrovic

Assoc Computing Machinery2014

Everything You Always Wanted to Know about Synchronization but Were Afraid to Ask

Rachid Guerraoui, Vasileios Trigonakis, Tudor Alexandru David

This paper presents the most exhaustive study of synchronization to date. We span multiple layers, from hardware cache-coherence protocols up to high-level concurrent software. We do so on different types of architectures, from single-socket - uniform and ...

2013

Orbe: Scalable Causal Consistency Using Dependency Matrices and Physical Clocks

Willy Zwaenepoel, Sameh Mohamed Elnikety, Jiaqing Du, Amitabha Roy

We propose two protocols that provide scalable causal consistency for both partitioned and replicated data stores using dependency matrices (DM) and physical clocks. The DM protocol supports basic read and update operations and uses two-dimensional depende ...

2013

Buffer optimization based on critical path analysis of a dataflow program design

Marco Mattavelli, Simone Casale Brunet

The trade-off between throughput and memory constraints is a common design problem in embedded systems, and especially for streaming applications, where the memory in question usually occurs in the form of buffers for streams of data. This paper presents a ...

IEEE2013

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Modèle de cohérence

GentleRain: Cheap and Scalable Causal Consistency with Physical Clocks

Consistency Models in Distributed Systems with Physical Clocks

Consensus Inside

Consensus inside

A paradox of eventual linearizability in shared memory

Leveraging Hardware Message Passing for Efficient Thread Synchronization

Leveraging Hardware Message Passing for Efficient Thread Synchronization

Everything You Always Wanted to Know about Synchronization but Were Afraid to Ask

Orbe: Scalable Causal Consistency Using Dependency Matrices and Physical Clocks

Buffer optimization based on critical path analysis of a dataflow program design

Graph Chatbot

Chattez avec Graph Search

Consensus Inside

Consensus inside

Leveraging Hardware Message Passing for Efficient Thread Synchronization

GentleRain: Cheap and Scalable Causal Consistency with Physical Clocks

Consistency Models in Distributed Systems with Physical Clocks

A paradox of eventual linearizability in shared memory

Leveraging Hardware Message Passing for Efficient Thread Synchronization

Everything You Always Wanted to Know about Synchronization but Were Afraid to Ask

Buffer optimization based on critical path analysis of a dataflow program design

Orbe: Scalable Causal Consistency Using Dependency Matrices and Physical Clocks