TLA+ Specifications of the Consistency Guarantees Provided by Cosmos DB

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=Ej6dlMBvUBI


Duration: 1:19:49
1,800 views
32

Microsoft Azure Cosmos DB provides 5 well defined operation consistency properties to the clients: strong consistency, bounded staleness, session consistency, consistent prefix, and eventual consistency. Here we provide client-centric TLA+ specifications of these properties to help the users understand the consistency guarantees provided to them. We refrain from discussing the models for Cosmos DB internals as that is not very useful/relevant for the Cosmos DB users.

See more at https://www.microsoft.com/en-us/research/video/tla-specifications-of-the-consistency-guarantees-provided-by-cosmos-db/



Other Videos By Microsoft Research


2018-12-06How to Obtain and Run Light and Efficient Deep Learning Networks
2018-12-06Machine Teaching Demo
2018-12-06Advanced Machine Learning Day 3: Neural Program Synthesis
2018-12-06Advanced Machine Learning Day 3: Neural Architecture Search
2018-12-06Delayed Impact of Fair Machine Learning
2018-12-03Machine learning and the learning machine with Dr. Christopher Bishop
2018-12-03Deep Generative Models for Imitation Learning and Fairness
2018-11-29Machine Teaching Overview
2018-11-28Policy Optimization as Predictable Online Learning Problems: Imitation Learning and Beyond
2018-11-28Algorithmic Social Intervention
2018-11-26TLA+ Specifications of the Consistency Guarantees Provided by Cosmos DB
2018-11-21The 20th Northwest Probability Seminar: Cutoff for Product Replacement on Finite Groups
2018-11-21The 20th Northwest Probability Seminar: The KPZ Fixed Point
2018-11-20Stochastic Explosions in Branching Processes and Non-uniqueness for Nonlinear PDE
2018-11-20The 20th Northwest Probability Seminar: First Order Logic on Galton-Watson Trees
2018-11-20Causal Effects and Overlap in High-dimensional or Sequential Data
2018-11-20Stochastic Approximation and Reinforcement Learning: Hidden Theory and New Super-Fast Algorithms
2018-11-20Towards a Conscious AI: A Computer Architecture inspired by Neuroscience
2018-11-19Fireside Chat with Manuel Blum
2018-11-19Reinforcement Learning: Bringing Together Computation, Behavior and Neural Coding
2018-11-19Harnessing Communities of Knowledge: Building an Automated Species Identification Tool


Tags:
microsoft research