Explore >> Select a destination
|
You are here 
|
davquar.it | ||
| | | | |
decomposition.al
|
|
| | | | | Back in May, I gave the opening keynote (my first keynote talk!) at the FLOPS 2022 conference. I talked about the work weve been doing in my group on using Liquid Haskell for verifying the correctness of distributed systems. | |
| | | | |
jepsen.io
|
|
| | | | | ||
| | | | |
ferd.ca
|
|
| | | | | An old document I surfaced with my quick tour of distributed systems theory fundamentals | |
| | | | |
timilearning.com
|
|
| | | Distributed databases typically divide their tables into partitions spread across different servers which get accessed by many clients. In these databases, client transactions often span the different servers, as the transactions may need to read from various partitions. A distributed transaction is a database transaction which spans multiple servers. This post will detail how databases guarantee some ACID properties when executing distributed transactions. | ||
