Distributed Transactional Systems Cannot Be Fast

[stonewhitener]

Resources

• https://dl.acm.org/doi/10.1145/3323165.3323189
• https://arxiv.org/abs/1903.09106

Summary

複数オブジェクトへの書き込みトランザクションと高速な読み取り専用トランザクションの両方をサポートする分散ストレージシステムの因果一貫性の実装が存在しないことを形式的に証明．厳密な直列化可能性などのより強い一貫性モデルにおいても成立．