引子 在討論 TiKV Transaction 之前，我們先聊聊 Percolator。TiKV 的事務是參考 Google [Percolat...
投稿
收錄了4篇文章 · 12人關注
引子 在討論 TiKV Transaction 之前，我們先聊聊 Percolator。TiKV 的事務是參考 Google [Percolat...
前面對 TLA+ 有了一個大概的介紹，但我相信大家可能仍然是一頭霧水，我們如何使用 TLA+ 去驗證系統(tǒng)原型設計的正確性呢？我覺得我們可以先從一...
TLA+ 并不是一門很容易掌握的語言，在學習之前，我們需要了解一些簡單的數(shù)學知識。這里需要注意，為了打字方便，很多數(shù)學符號我直接使用了 ASCI...
介紹 對于一套系統(tǒng)的設計，通常我都是想好了，然后直接捋起袖子寫代碼了。寫完了，在開始加很多 test 來保證它的正確性。但其實，我并不能保證設計...
{var%20f='http://v.t.sina.com.cn/share/share.php?appkey=1881139527',u=z||d.location,p=['&url=',e(u),'&title=',e(t||d.title),'&source=',e(r),'&sourceUrl=',e(l),'&content=',c||'gb2312','&pic=',e(p||'')].join('');function%20a(){if(!window.open([f,p].join(''),'mb',['toolbar=0,status=0,resizable=1,width=440,height=430,left=',(s.width-440)/2,',top=',(s.height-430)/2].join('')))u.href=[f,p].join('');};if(/Firefox/.test(navigator.userAgent))setTimeout(a,0);else%20a();})(screen,document,encodeURIComponent,'','','https://upload.jianshu.io/collections/images/648875/2684289.png', '推薦專題《TLA+》（ 分享自 @簡書 ）','http://www.itdecent.cn/c/269f9e986f72?utm_campaign=maleskine&utm_content=collection&utm_medium=reader_share&utm_source=weibo','頁面編碼gb2312|utf-8默認gb2312'));){kind=link}