4 ms·
Google Spanner beat the CAP Theorem years ago. It focused on C+P, put in some atomic clocks at every datacenter for synchronization, and then simply accepted th
by ttfkam 3y ago
Google Spanner beat the CAP Theorem years ago. It focused on C+P, put in some atomic clocks at every datacenter for synchronization, and then simply accepted the supposition that Google's global network simply never goes down (is always Accessible). Definitely at least five nines.
C+P + Google-implied A. (Or C+A + chance of P approaching zero.)
https://static.googleusercontent.com/media/research.google.com/en//pubs/archive/45855.pdf https://static.googleusercontent.com/media/research.google.c...
- no_wizard 3y agoFauna[0] which if I recall correctly, also upends Cap Theorum. They implemented Calvin[1] which differs from Spanner [0]: https://fauna.com/ https://fauna.com/ [1]: https://fauna.com/blog/distributed-consistency-at-scale-spanner-vs-calvin https://fauna.com/blog/distributed-consistency-at-scale-span...
- dimitrios1 3y agowow. > https://www.cs.umd.edu/~abadi/ https://www.cs.umd.edu/~abadi/ > He is best-known for the development of the storage and query execution engines of the C-Store (column-oriented database) prototype, which was commercialized by Vertica and eventually acquired by Hewlett-Packard in 2011, for his HadoopDB research on fault tolerant scalable analytical database systems which was commercialized by Hadapt and acquired by Teradata in 2014, and deterministic, scalable, transactional, distributed systems such as Calvin which is currently being commercialized by Fauna. That is as an impressive of a resume as I have ever seen. Dude spawned 3 successful commercial database offerings.
- no_wizard 3y agoReally not sure why this got downvoted. Not usually one to ask but I did link out to their information and papers
- almost_usual 3y agoThe post could use a 2011 in the title.