TLA+ Specifications of the Consistency Guarantees Provided by Cosmos DB
1 890
18.5
Microsoft Research320 тыс
Следующее
28.11.18 – 1 14252:19Популярные
49 дней – 1 2101:07:34
07.12.22 – 3491:00:45Опубликовано 26 ноября 2018, 16:03
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 microsoft.com/en-us/research/v...
See more at microsoft.com/en-us/research/v...
Свежие видео
1 день – 931:21
1 день – 6921:50
1 день – 2742:09
2 дня – 046:27
2 дня – 622:17Случайные видео
164 дня – 269 8120:48
262 дня – 816 63618:31
12.01.22 – 4 9537:39
25.10.21 – 2 5567:55
28.05.21 – 7381:33
13.10.19 – 365 9938:53
14 часов – 4 4300:19
1 день – 4 7400:21
1 день – 17019:04
2 дня – 211:53
3 дня – 9141:35
5 часов – 85415:41