有關(guān)于青蔥年少的記憶，已經(jīng)稀稀落落，七七八八，但有一處卻是巋然不動(dòng)的存在，那就是宮崎駿的電影。 宮崎駿的電影是充滿夏日情懷的，是蔚藍(lán)天空上劃過(guò)的飛機(jī)留下的長(zhǎng)長(zhǎng)的云跡，是清冽泉...
發(fā)簡(jiǎn)信
IP屬地：河南
-
《千與千尋》——人生中的一堂必修課 -
學(xué)習(xí) TLA+ - Example
前面對(duì) TLA+ 有了一個(gè)大概的介紹，但我相信大家可能仍然是一頭霧水，我們?nèi)绾问褂?TLA+ 去驗(yàn)證系統(tǒng)原型設(shè)計(jì)的正確性呢？我覺(jué)得我們可以先從一些簡(jiǎn)單的例子入手，然后再逐漸理...
-
go-ycsb：一個(gè) Go 的 YCSB 移植YCSB 是一個(gè)非常出名的性能測(cè)試框架，我們可以非常方便的用它來(lái)對(duì)系統(tǒng)進(jìn)行多維度的性能測(cè)試，本來(lái)我也準(zhǔn)備使用它來(lái)對(duì)我們系統(tǒng)進(jìn)行性能測(cè)試的，但在調(diào)研了一番之后，我決定直接用 G...
-
FoundationDB 學(xué)習(xí) - 事務(wù)流程
不久之前，F(xiàn)oundationDB （后面用 fdb 簡(jiǎn)化） 重新開(kāi)源，對(duì)于大家來(lái)說(shuō)，這真的是一個(gè)非常好的消息。我也在第一時(shí)間下載了 fdb 的源碼，開(kāi)始研究，一方面是看我...
-
為什么隨機(jī)測(cè)試能有效的發(fā)現(xiàn)網(wǎng)絡(luò)隔離下的 Bugs
在使用 Jepsen 和我自己折騰的 chaos 的時(shí)候，我都有一個(gè)困惑，就是這些測(cè)試能測(cè)出來(lái)問(wèn)題嗎？ 譬如對(duì)于 Jepsen 來(lái)說(shuō)，它會(huì)啟動(dòng)一批節(jié)點(diǎn)，運(yùn)行要測(cè)試的集群，然后...
-
深入了解 gRPC：協(xié)議
經(jīng)過(guò)很長(zhǎng)一段時(shí)間的開(kāi)發(fā)，TiDB 終于發(fā)了 RC3。RC3 版本對(duì)于 TiKV 來(lái)說(shuō)最重要的功能就是支持了 gRPC，也就意味著后面大家可以非常方便的使用自己喜歡的語(yǔ)言對(duì)接 ...
-
工欲性能調(diào)優(yōu)，必先利其器（1）
最近在排查 TiDB 性能問(wèn)題的時(shí)候，通過(guò)工具發(fā)現(xiàn)了一些問(wèn)題，覺(jué)得有必要記錄一下，讓自己繼續(xù)深刻的去理解相關(guān)工具的使用，也同時(shí)讓同學(xué)們對(duì)類似問(wèn)題的時(shí)候別再踩坑。 使用 ios...
-
關(guān)于Markdown中如何使用尖括號(hào)
這兩天準(zhǔn)備進(jìn)擊Web前端嘗試學(xué)習(xí)HTML，在使用Markdown中發(fā)現(xiàn)HTML已經(jīng)被兼容了，使用“<”符號(hào)會(huì)被文本默認(rèn)為HTML語(yǔ)句而不予顯示，比如： < a href="#...
