Write a Blog >>
Tue 20 Jun 2017 14:30 - 15:00 at Vertex WS208 - Afternoon Session

With the rapid growth of number of cores, together with the heterogeneous access latencies, the cost of synchronization and communication between distant components keeps growing. As more general purpose programs exploit the many-core architectures, the speedup achieved will then be limited by the synchronization needed to access shared objects. When building Internet-scale systems, similar concerns lead to the design of scalable systems that limit global synchronization and operate locally when possible. CRDTs succeed in capturing data types with clear concurrency semantics and are now common components in Internet-scale systems. However, they do not migrate trivially to shared-memory architectures due to high computational costs from merge functions, which becomes apparent once network communication is removed.

In this talk, we discuss multi-view data types for shared-memory architectures, that leverages a global-local view model that distinguishes between a local fast state and a distant shared state. By executing operations on the local state without synchronization, while only synchronizing with the shared state when needed, applications can achieve better scalability at the expense of linearizability - the default correctness criteria for concurrent objects.

Slides (multiview_slides.pdf)281KiB

Tue 20 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Afternoon SessionPMLDC at Vertex WS208
14:00
30m
Talk
Monotonicity Types for Distributed Dataflow
PMLDC
Kevin Clancy , Heather Miller Ecole Polytechnique Federale de Lausanne
File Attached
14:30
30m
Talk
Multi-view data types for scalable concurrency in the multi-core era
PMLDC
Deepthi Devaki Akkoorath , José Brandão , Annette Bieniusa Technischen Universität Kaiserslautern, Carlos Baquero HASLab/INESC TEC & University of Minho
File Attached
15:00
30m
Talk
The Single-Writer Principle in CRDT Composition
PMLDC
Vitor Enes , Paulo Sérgio Almeida , Carlos Baquero HASLab/INESC TEC & University of Minho
File Attached