Spanner
TL;DR
I recently read Google's paper on Spanner. It helped me build better mental models around the challenges of distributed systems. Its biggest invention / callout is the "TrueTime API". Effectively, this api is a centralized clock that all transactions reach out to for timestamps. This alleviates the microsecond differences between the clocks in physical hardware and allows externally consistent timestamps.