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 eXchange 2021: Novice Track (Online Conference on 15th November 2021)
- Haskell eXchange 2021: Pro Track (Online Conference on 16th - 17th November 2021)
- Hashing Modulo Alpha Equivalence (SkillsCast recorded in May 2021)
- In The Belly Of The Whale: Tales From Haskell In The Enterprise (SkillsCast recorded in May 2021)
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”.