4 ms·

TiDB 2.0 Is Ready – Faster, Smarter, and Battle-Tested

58 points by gregwebs 9y ago

manigandham 9y ago
Their site/domain seems to be having issues so here's a direct link to the blog post on github pages: https://pingcap.github.io/blog/tidb-2-0-announcement/ https://pingcap.github.io/blog/tidb-2-0-announcement/
russell_h 9y ago
I've been watching this project for a while, it seems pretty interesting. Does anyone here have experience operating this in production?
- gregwebs 9y ago
  Take a look at the third paragraph with links to accounts from Mobike (bike-sharing) [1] and Yiguo (fresh food deliver) [2]. [1] https://www.pingcap.com/blog/Use-Case-TiDB-in-Mobike/ https://www.pingcap.com/blog/Use-Case-TiDB-in-Mobike/ [2] https://www.datanami.com/2018/02/22/hybrid-database-capturing-perishable-insights-yiguo/ https://www.datanami.com/2018/02/22/hybrid-database-capturin...
makmanalp 9y ago
> To ensure correctness in our design and implementation, we use TLA+ to formally prove our work. Hah, I'm sure it's not for the whole thing but I wonder how many vendors can claim anything close to that!
- ceohockey60 9y ago
  Fwiw, they've open sourced their TLA+ proofs for percolator and raft merge. Worth checking out: https://github.com/pingcap/tla-plus https://github.com/pingcap/tla-plus
- rrdharan 9y ago
  Both Microsoft (Leslie Lamport's current employer) and AWS, at least: https://en.wikipedia.org/wiki/TLA%2B#Industry_use https://en.wikipedia.org/wiki/TLA%2B#Industry_use
  - staticassertion 9y ago
    Seems like good company to be in.
  - makmanalp 9y ago
    That Lamport and his current company are using TLA+ does not surprise me ;-) AWS is interesting. Before jepsen and similar stuff we used to have to take the vendor's word on a lot of claims. Hopefully the attitude there is changing towards more public self-verification (releasing stuff this) and then independent external verification!
DimitarIbra9 9y ago
developed in Golang?
bradknowles 9y ago
So, they greek all the text on the page unless you turn on Javascript, but even if you turn on Javascript for their own domain, they still greek all the text? I'm confused. Why would they want to do that?
hinkley 9y ago
Did I miss some development in networking theory? Seems popular to claim infinite horizontal scalability these days, and last I checked that's somewhere between hyperbole and a violation of physics (aka lying).

58 points by gregwebs 9y ago

Their site/domain seems to be having issues so here's a direct link to the blog post on github pages: https://pingcap.github.io/blog/tidb-2-0-announcement/ https://pingcap.github.io/blog/tidb-2-0-announcement/

russell_h 9y ago

I've been watching this project for a while, it seems pretty interesting. Does anyone here have experience operating this in production?

gregwebs 9y ago
Take a look at the third paragraph with links to accounts from Mobike (bike-sharing) [1] and Yiguo (fresh food deliver) [2]. [1] https://www.pingcap.com/blog/Use-Case-TiDB-in-Mobike/ https://www.pingcap.com/blog/Use-Case-TiDB-in-Mobike/ [2] https://www.datanami.com/2018/02/22/hybrid-database-capturing-perishable-insights-yiguo/ https://www.datanami.com/2018/02/22/hybrid-database-capturin...

makmanalp 9y ago

> To ensure correctness in our design and implementation, we use TLA+ to formally prove our work. Hah, I'm sure it's not for the whole thing but I wonder how many vendors can claim anything close to that!

ceohockey60 9y ago
Fwiw, they've open sourced their TLA+ proofs for percolator and raft merge. Worth checking out: https://github.com/pingcap/tla-plus https://github.com/pingcap/tla-plus
rrdharan 9y ago
Both Microsoft (Leslie Lamport's current employer) and AWS, at least: https://en.wikipedia.org/wiki/TLA%2B#Industry_use https://en.wikipedia.org/wiki/TLA%2B#Industry_use
- staticassertion 9y ago
  Seems like good company to be in.
- makmanalp 9y ago
  That Lamport and his current company are using TLA+ does not surprise me ;-) AWS is interesting. Before jepsen and similar stuff we used to have to take the vendor's word on a lot of claims. Hopefully the attitude there is changing towards more public self-verification (releasing stuff this) and then independent external verification!

DimitarIbra9 9y ago

developed in Golang?

bradknowles 9y ago

So, they greek all the text on the page unless you turn on Javascript, but even if you turn on Javascript for their own domain, they still greek all the text? I'm confused. Why would they want to do that?

hinkley 9y ago

Did I miss some development in networking theory? Seems popular to claim infinite horizontal scalability these days, and last I checked that's somewhere between hyperbole and a violation of physics (aka lying).