Please log in to watch this conference skillscast.
Current database design forces application developers to decide early in the design cycle, and once and for all, what type of consistency the database should provide. At one extreme, strong consistency requires frequent global coordination; restricting concurrency in this way greatly simplifies application development, but it reduces availability and increases latency. At the opposite extreme, there are systems that provide eventual consistency only: they never sacrifice availability, but application developers must write code to deal with all sorts of concurrency anomalies in order to prevent violation of application invariants.
But a system only needs to be consistent enough for the application to be correct. Antidote, an open-source cloud-scale database operates, on a unique middle ground by providing Just-Right Consistency (JRC). It composes various techniques that do not sacrifice availability, unless provably required for the application to execute correctly, including Conflict-free Replicated Data Types (CRDTs) and causal consistency.
In the talk, you will learn how application developers can benefit from Antidote's features in their Haskell applications.
YOU MAY ALSO LIKE:
- Haskell Fundamentals (2-Day Course) with Alejandro Serrano (Online Course on 5th - 6th July 2021)
- Haskell Fundamentals (4-Day Course) with Alejandro Serrano (Online Course on 8th - 11th November 2021)
- Haskell eXchange 2021 (Online Conference on 16th - 17th November 2021)
- Network Automation and Tooling (Online Meetup on 29th April 2021)
- Theorems for Free (SkillsCast recorded in November 2020)
- Comparing Strict and Lazy (SkillsCast recorded in November 2020)
Antidote - Just the Right Kind of Consistency for your Data
Annette is a lecturer and researcher at the University of Kaiserslautern. Her research interests include semantics of concurrent and distributed programming, with a focus on replication, synchronization, and programming language concepts such as Software Transactional Memory and Replicated Data Structures. Annette was involved in several national and international research projects, including EU-Projects “SyncFree: Large-scale Computation without Synchronization” and “Lightkone: Lightweight computation for networks at the edge”.