Explore >> Select a destination
|
You are here 
|
ahelwer.ca | ||
| | | | |
jack-vanlightly.com
|
|
| | | | | The aim of this post is to give the reader an understanding of why formal methods exist and an introduction to TLA+ including the conceptual model of how it represents data and time. From here, you should be able to go out and read more advanced content on TLA+ with some foundational idea of what it is all about. | |
| | | | |
bytepawn.com
|
|
| | | | | This article examines where Lamport's original oral-messages Byzantine Generals algorithm does and does not apply in practice, contrasting unsuitable cases like distributed databases and rocket launches with a suitable case in redundant flight control systems. | |
| | | | |
archagon.net
|
|
| | | | | Alexei's pile o'stuff, featuring writing on software development, travel, photography, and more. | |
| | | | |
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. | ||
