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