比如垃圾回收的問題，你就假設自己要打掃房子，但房子里還有人活動，再不斷制造垃圾，你怎么打掃？ 最簡單粗暴的辦法就是把人趕出去，打掃完了再進來。這就是所謂的 stop world 模式。如果你打掃的足夠快，這種辦法其實也可以用。 那如果房間比較大，垃圾比較多，這種辦法不可接受怎么辦？你發現打掃衛生的時候時間耗費在判斷一個東西是不是垃圾上了。于是你想了個辦法，先把每個垃圾都打上標記，標記完了再 stop world，快速清理。這就是所謂的 Mark-Sweep。 那如果垃圾和有用的東西混雜在一起，即使清理完屋里也亂糟糟的怎么辦？那就順便整理下唄。先騰出一塊空間，把有用的東西搬到那邊整理好。其他的垃圾清理掉。這就是所謂的 Copying 整理算法。 那如果空間本來就小，弄一塊空的空間不容易呢？那就把上面兩個辦法結合下唄，一遍標記一遍整理。就是所謂的 Mark-Compact 算法。 再后面的優化就是能不能分成不同的區域用不同的算法（分代）？如果你再請幾個幫手來一起打掃會如何進行（并發）？雖然越來越復雜，但理解了前面的問題，它的優化點也就容易理解。