サクサク読めて、アプリ限定の機能も多数!
via:"DynamoDBのレプリカ同期を維持するために、分散合意アルゴリズムのMulti Paxosが利用されている。あと、TLA+の形式手法によりコア機能のモデルチェック" https://twitter.com/msy78/status/1547722101708140547
rgfx のブックマーク 2022/07/15 09:49
Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service | USENIX[aws][NoSQL][DynamoDB]via:"DynamoDBのレプリカ同期を維持するために、分散合意アルゴリズムのMulti Paxosが利用されている。あと、TLA+の形式手法によりコア機能のモデルチェック" <a href="https://twitter.com/msy78/status/1547722101708140547" target="_blank" rel="noopener nofollow">https://twitter.com/msy78/status/1547722101708140547</a>2022/07/15 09:49
via:"DynamoDBのレプリカ同期を維持するために、分散合意アルゴリズムのMulti Paxosが利用されている。あと、TLA+の形式手法によりコア機能のモデルチェック" <a href="https://twitter.com/msy78/status/1547722101708140547" target="_blank" rel="noopener nofollow">https://twitter.com/msy78/status/1547722101708140547</a>
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.usenix.org2022/07/15
Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service Mostafa Elhemali, Niall Gallagher, Nicholas Gordon, Joseph Idziorek, Richard Krog, Colin Lazier, Erben ...
22 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
via:"DynamoDBのレプリカ同期を維持するために、分散合意アルゴリズムのMulti Paxosが利用されている。あと、TLA+の形式手法によりコア機能のモデルチェック" https://twitter.com/msy78/status/1547722101708140547
rgfx のブックマーク 2022/07/15 09:49
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service | USENIX
www.usenix.org2022/07/15
Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service Mostafa Elhemali, Niall Gallagher, Nicholas Gordon, Joseph Idziorek, Richard Krog, Colin Lazier, Erben ...
22 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /