Explore >> Select a destination
|
You are here 
|
bloom-lang.net | ||
| | | | |
databeta.wordpress.com
|
|
| | | | | For folks who care about what's possible in distributed computing: Peter Alvaro and I wrote an introduction to the CALM Theorem and subsequent work that is now up on arXiv. The CALM Theorem formally characterizes the class of programs that can achieve distributed consistency without the use of coordination. I spent a good fraction of... | |
| | | | |
jeremywsherman.com
|
|
| | | | | ||
| | | | |
robertovitillo.com
|
|
| | | | | Coordination is expensive as it reduces the availability and performance of distributed applications (PACELC theorem). I have extended chapter 10 of Understanding Distributed Systems with a discussion of how to minimize coordination using one of the following patterns: Keep coordination off the critical path Use protocols that guarantee some form of consistency without coordination Proceed without coordination and apologize when an inconsistency is detected Section 10.4 describes chain replication, a wid... | |
| | | | |
www.memorysafety.org
|
|
| | | ISRG's Prossimo is committed to moving the Internet's security-sensitive software to memory safe code and to encouraging people to prioritize memory safety. | ||
