state monad & reverse state monad

動機 state monad是left 2 right,對應到iteration (左遞迴) reverse state monad是right 2 left,對應到recursion (右遞迴) ...

July 30, 2022 · 3 min · zhengcf

條件變數與原子性

動機...

April 13, 2022 · 2 min · zhengcf

分散式手法

動機 整理常見分散式設計手法 ...

April 10, 2022 · 1 min · zhengcf

共識、錯誤、時間、排序

動機 分散式系統最重要的就是在不同的錯誤情境下達成共識 之後追求performance 串起這一切的就是時間與與之對應的排序 下面就來簡單的整理一下 ...

March 31, 2022 · 2 min · zhengcf

raft補遺

動機 同樣是補6.824上沒有的部分 換成員 raft博論的練習題 (有練習題你敢信,同時還有paxos的練習題!!) ...

March 31, 2022 · 1 min · zhengcf

Erasure Code

動機 文章很好懂,紀錄一下 同時把6.824沒說到的補完 ...

March 31, 2022 · 1 min · zhengcf

raft優化

動機 raft有一些優化,這邊記錄一些 主要出自raft作者的博論 ...

March 14, 2022 · 1 min · zhengcf

paxos到zab再到raft

動機 整理一下 ...

March 13, 2022 · 2 min · zhengcf

電腦從0開始

動機 這篇主要在看怎麼從最一開始到一個可以打字的kernel的過程 重點不是裡面的code,而是過程 因為真正讓人痛苦的東西其實是在os提供的各種抽象設施,也是progammer要在意的點 ...

January 18, 2022 · 9 min · zhengcf

Distributed computing

動機 論選好課、書的重要性 ...

January 17, 2022 · 8 min · zhengcf