TLA+ Specifications of the Consistency Guarantees Provided by Cosmos DB
1 954
17.6
Microsoft Research333 тыс
Следующее
28.11.18 – 1 14852:19Популярные
Опубликовано 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...
Свежие видео
8 дней – 931:01
11 дней – 2 8670:15
13 дней – 1 280 0319:15
15 дней – 2 8340:49
15 дней – 6 504 4391:14
17 дней – 31 1130:48Случайные видео
13 дней – 108 3225:29
70 дней – 476 4630:08
05.11.23 – 18 4520:56
04.12.22 – 79 4226:36
15.02.22 – 3 8686:02
16.12.21 – 8791:00:19
21 час – 80 68618:46
1 день – 1 7231:39
7 дней – 119 28510:57
8 дней – 5070:17
8 дней – 80 2860:12
9 дней – 44 0219:37
10 дней – 1430:59
8 дней – 1 163 9003:39