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 2022: Novice Track (Online Conference on 7th December 2022)
- Haskell eXchange 2022: Online Conference (Online Conference on 8th - 9th December 2022)
- Haskell: Why and How the External STG Interpreter is Useful (SkillsCast recorded in December 2021)
- Keynote — Haskell: What To Do When Success Can't Be Avoided (SkillsCast recorded in November 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”.